Question: How find true parameter which satisfy pde?

restart

with(PDEtools)

with(LinearAlgebra)

NULL

with(SolveTools)

undeclare(prime)

`There is no more prime differentiation variable; all derivatives will be displayed as indexed functions`

(1)

declare(u(x, y, z, t))

u(x, y, z, t)*`will now be displayed as`*u

(2)

pde := diff(u(x, y, z, t), `$`(t, 2))+diff(u(x, y, z, t), `$`(x, 2))-(diff(u(x, y, z, t)^2, `$`(x, 2)))-(diff(u(x, y, z, t), `$`(x, 4)))+diff(diff(u(x, y, z, t), y)+diff(u(x, y, z, t), z)+diff(u(x, y, z, t), t), x)+2*(diff(u(x, y, z, t), y, t))+diff(u(x, y, z, t), `$`(y, 2)) = 0

diff(diff(u(x, y, z, t), t), t)+diff(diff(u(x, y, z, t), x), x)-2*(diff(u(x, y, z, t), x))^2-2*u(x, y, z, t)*(diff(diff(u(x, y, z, t), x), x))-(diff(diff(diff(diff(u(x, y, z, t), x), x), x), x))+diff(diff(u(x, y, z, t), x), y)+diff(diff(u(x, y, z, t), x), z)+diff(diff(u(x, y, z, t), t), x)+2*(diff(diff(u(x, y, z, t), t), y))+diff(diff(u(x, y, z, t), y), y) = 0

(3)

declare(v(t))

v(t)*`will now be displayed as`*v

(4)

declare(f(x, y, z, t))

f(x, y, z, t)*`will now be displayed as`*f

(5)

Q := u(x, y, z, t) = 6*(diff(ln(f(x, y, z, t)), `$`(x, 2)))

LL := diff(diff(diff(diff(diff(f(x, y, z, t), x), x), x), x), x)-(diff(diff(diff(f(x, y, z, t), x), x), x))-(diff(diff(diff(f(x, y, z, t), t), t), x))-(diff(diff(diff(f(x, y, z, t), t), x), x))-2*(diff(diff(diff(f(x, y, z, t), t), x), y))-(diff(diff(diff(f(x, y, z, t), x), x), y))-(diff(diff(diff(f(x, y, z, t), x), x), z))-(diff(diff(diff(f(x, y, z, t), x), y), y)) = 0

diff(diff(diff(diff(diff(f(x, y, z, t), x), x), x), x), x)-(diff(diff(diff(f(x, y, z, t), x), x), x))-(diff(diff(diff(f(x, y, z, t), t), t), x))-(diff(diff(diff(f(x, y, z, t), t), x), x))-2*(diff(diff(diff(f(x, y, z, t), t), x), y))-(diff(diff(diff(f(x, y, z, t), x), x), y))-(diff(diff(diff(f(x, y, z, t), x), x), z))-(diff(diff(diff(f(x, y, z, t), x), y), y)) = 0

(6)

S22 := f(x, y, z, t) = 1+exp((-(1/2)*k[1]-l[1]+(1/2)*sqrt(4*k[1]^4-3*k[1]^2-4*k[1]*s[1]))*t+k[1]*x+l[1]*y+s[1]*z)+exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*sqrt(4*k[2]^4-3*k[2]^2-4*k[2]*s[2]))*t)+B[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*sqrt(4*k[1]^4-3*k[1]^2-4*k[1]*s[1]))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*sqrt(4*k[2]^4-3*k[2]^2-4*k[2]*s[2]))*t)

f(x, y, z, t) = 1+exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)+exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)+B[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)

(7)

NULL

R11 := eval(LL, S22)

k[1]^5*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)+k[2]^5*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)+B[1]*(k[1]+k[2])^5*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-k[1]^3*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-k[2]^3*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-B[1]*(k[1]+k[2])^3*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-(-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))^2*k[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))^2*k[2]*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-B[1]*(-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2)-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))^2*(k[1]+k[2])*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-(-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*k[1]^2*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*k[2]^2*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-B[1]*(-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2)-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*(k[1]+k[2])^2*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-2*(-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*k[1]*l[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-2*(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*k[2]*l[2]*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-2*B[1]*(-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2)-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*(k[1]+k[2])*(l[1]+l[2])*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-k[1]^2*l[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-k[2]^2*l[2]*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-B[1]*(k[1]+k[2])^2*(l[1]+l[2])*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-k[1]^2*s[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-k[2]^2*s[2]*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-B[1]*(k[1]+k[2])^2*(s[1]+s[2])*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-k[1]*l[1]^2*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-k[2]*l[2]^2*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-B[1]*(k[1]+k[2])*(l[1]+l[2])^2*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t) = 0

(8)

L4 := collect(%, [x, y, t], 'distributed')

k[1]^5*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)+k[2]^5*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)+B[1]*(k[1]+k[2])^5*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-k[1]^3*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-k[2]^3*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-B[1]*(k[1]+k[2])^3*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-(-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))^2*k[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))^2*k[2]*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-B[1]*(-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2)-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))^2*(k[1]+k[2])*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-(-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*k[1]^2*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*k[2]^2*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-B[1]*(-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2)-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*(k[1]+k[2])^2*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-2*(-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*k[1]*l[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-2*(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*k[2]*l[2]*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-2*B[1]*(-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2)-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*(k[1]+k[2])*(l[1]+l[2])*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-k[1]^2*l[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-k[2]^2*l[2]*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-B[1]*(k[1]+k[2])^2*(l[1]+l[2])*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-k[1]^2*s[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-k[2]^2*s[2]*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-B[1]*(k[1]+k[2])^2*(s[1]+s[2])*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-k[1]*l[1]^2*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z)-k[2]*l[2]^2*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-B[1]*(k[1]+k[2])*(l[1]+l[2])^2*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t) = 0

(9)

indets(%)

{t, x, y, z, B[1], k[1], k[2], l[1], l[2], s[1], s[2], (4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2), (4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2), exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t), exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z), exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)}

(10)

eq2 := algsubs(exp((-(1/2)*k[1]-l[1]+(1/2)*sqrt(4*k[1]^4-3*k[1]^2-4*k[1]*s[1]))*t+k[1]*x+l[1]*y+s[1]*z) = X, L4)

-(1/4)*B[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])*k[2]-exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*B[1]*k[2]^2*s[1]-exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*B[1]*k[2]^2*s[2]+5*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*B[1]*k[1]^4*k[2]+10*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*B[1]*k[1]^3*k[2]^2+10*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*B[1]*k[1]^2*k[2]^3+5*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*B[1]*k[1]*k[2]^4-exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*B[1]*k[1]^2*s[1]-exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*B[1]*k[1]^2*s[2]-(9/4)*B[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*k[2]^2*k[1]-(9/4)*B[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*k[1]^2*k[2]-(1/4)*B[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])*k[1]-(1/4)*B[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])*k[2]-(1/4)*B[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])*k[1]+exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*B[1]*k[1]^5+exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*B[1]*k[2]^5-(3/4)*B[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*k[1]^3-(3/4)*B[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*k[2]^3-(1/4)*k[1]*X*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])-(1/4)*k[2]*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])-k[1]^2*s[1]*X-(3/4)*k[2]^3*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)+k[2]^5*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)-k[2]^2*s[2]*exp(k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)+k[1]^5*X-(3/4)*k[1]^3*X-2*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*B[1]*k[1]*k[2]*s[1]-2*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*B[1]*k[1]*k[2]*s[2]-(1/2)*B[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2)*k[1]-(1/2)*B[1]*exp((-(1/2)*k[1]-l[1]+(1/2)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2))*t+k[1]*x+l[1]*y+s[1]*z+k[2]*x+l[2]*y+s[2]*z+(-(1/2)*k[2]-l[2]+(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2))*t)*(4*k[1]^4-3*k[1]^2-4*k[1]*s[1])^(1/2)*(4*k[2]^4-3*k[2]^2-4*k[2]*s[2])^(1/2)*k[2] = 0

(11)

eq3 := simplify(eq2)

-(1/2)*(k[1]+k[2])*B[1]*((k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)-8*k[1]*k[2]^3-12*k[2]^2*k[1]^2+(-8*k[1]^3+3*k[1]+2*s[1])*k[2]+2*s[2]*k[1])*exp((1/2)*t*(k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+(1/2)*(-k[1]-k[2]-2*l[1]-2*l[2])*t+k[1]*x+k[2]*x+l[1]*y+l[2]*y+z*(s[1]+s[2])) = 0

(12)

indets(eq3)

{t, x, y, z, B[1], k[1], k[2], l[1], l[2], s[1], s[2], (k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2), (k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2), exp((1/2)*t*(k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+(1/2)*(-k[1]-k[2]-2*l[1]-2*l[2])*t+k[1]*x+k[2]*x+l[1]*y+l[2]*y+z*(s[1]+s[2]))}

(13)

eq4 := algsubs(exp((1/2)*t*sqrt(k[1]*(4*k[1]^3-3*k[1]-4*s[1]))+(1/2)*t*sqrt(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))+(1/2)*(-k[1]-k[2]-2*l[1]-2*l[2])*t+k[1]*x+k[2]*x+l[1]*y+l[2]*y+z*(s[1]+s[2])) = V, eq3)

-(1/2)*(k[1]+k[2])*B[1]*(-8*k[2]*k[1]^3-12*k[2]^2*k[1]^2-8*k[1]*k[2]^3+(k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+3*k[1]*k[2]+2*s[2]*k[1]+2*s[1]*k[2])*V = 0

(14)

indets(eq4)

{V, B[1], k[1], k[2], s[1], s[2], (k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2), (k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)}

(15)

eqs := {coeffs(collect(numer(normal(lhs(eq4))), {V}, 'distributed'), {V})}; nops(%); indets(eqs)

{-(k[1]+k[2])*B[1]*(-8*k[2]*k[1]^3-12*k[2]^2*k[1]^2-8*k[1]*k[2]^3+(k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+3*k[1]*k[2]+2*s[2]*k[1]+2*s[1]*k[2])}

 

1

 

{B[1], k[1], k[2], s[1], s[2], (k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2), (k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)}

(16)

vars := indets(eqs); ans := solve(eqs, vars)

{B[1], k[1], k[2], s[1], s[2], (k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2), (k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)}

 

Warning, solving for expressions other than names or functions is not recommended.

 

{B[1] = B[1], k[1] = -k[2], k[2] = k[2], s[1] = s[1], s[2] = s[2], (k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2) = (k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2), (k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2) = (k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)}, {B[1] = 0, k[1] = k[1], k[2] = k[2], s[1] = s[1], s[2] = s[2], (k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2) = (k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2), (k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2) = (k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)}, {B[1] = B[1], k[1] = k[1], k[2] = k[2], s[1] = (1/2)*(8*k[2]*k[1]^3+12*k[2]^2*k[1]^2+8*k[1]*k[2]^3-3*k[1]*k[2]-2*s[2]*k[1]-(k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))/k[2], s[2] = s[2], (k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2) = (k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2), (k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2) = (k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)}

(17)

case2 := ans[1]

{B[1] = B[1], k[1] = -k[2], k[2] = k[2], s[1] = s[1], s[2] = s[2], (k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2) = (k[1]*(4*k[1]^3-3*k[1]-4*s[1]))^(1/2), (k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2) = (k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)}

(18)

FF := subs(case2, S22)

NULL

F11 := eval(Q, FF)

pdetest(F11, pde)

-6*k[2]^2*exp(t*l[1]+t*l[2]+2*k[2]*x+l[1]*y+l[2]*y+s[1]*z+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))*(B[1]*exp(-(1/2)*t*k[2]+2*t*l[1]+t*l[2]+3*k[2]*x+l[2]*y+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+56*k[2]^4*exp(-t*k[2]+2*t*l[1]+4*k[2]*x+2*l[2]*y+2*s[2]*z+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-6*k[2]^2*exp(-t*k[2]+2*t*l[1]+4*k[2]*x+2*l[2]*y+2*s[2]*z+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-exp(-(1/2)*t*k[2]+2*t*l[1]+t*l[2]+3*k[2]*x+l[2]*y+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+B[1]*exp((1/2)*t*k[2]+t*l[1]+2*t*l[2]+k[2]*x+l[1]*y+s[1]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)-exp((1/2)*t*k[2]+t*l[1]+2*t*l[2]+k[2]*x+l[1]*y+s[1]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)-24*B[1]*k[2]^2*exp(t*l[1]+t*l[2]+2*k[2]*x+l[1]*y+l[2]*y+s[1]*z+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+2*exp(-t*k[2]+2*t*l[1]+4*k[2]*x+2*l[2]*y+2*s[2]*z+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+4*k[2]*s[1]*exp(-t*k[2]+2*t*l[1]+4*k[2]*x+2*l[2]*y+2*s[2]*z+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-4*k[2]*s[2]*exp(-t*k[2]+2*t*l[1]+4*k[2]*x+2*l[2]*y+2*s[2]*z+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+2*k[2]*s[2]*exp(-(1/2)*t*k[2]+2*t*l[1]+t*l[2]+3*k[2]*x+l[2]*y+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-2*k[2]*s[1]*exp(-(1/2)*t*k[2]+2*t*l[1]+t*l[2]+3*k[2]*x+l[2]*y+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-224*k[2]^4*exp(t*l[1]+t*l[2]+2*k[2]*x+l[1]*y+l[2]*y+s[1]*z+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-4*k[2]*s[2]*exp(t*k[2]+2*t*l[2]+2*l[1]*y+2*s[1]*z+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+4*k[2]*s[1]*exp(t*k[2]+2*t*l[2]+2*l[1]*y+2*s[1]*z+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+2*exp(t*k[2]+2*t*l[2]+2*l[1]*y+2*s[1]*z+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+6*B[1]*k[2]^2*exp(-t*k[2]+2*t*l[1]+4*k[2]*x+2*l[2]*y+2*s[2]*z+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-8*B[1]*k[2]^4*exp(-t*k[2]+2*t*l[1]+4*k[2]*x+2*l[2]*y+2*s[2]*z+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+3*B[1]*k[2]^2*exp(t*l[1]+3*k[2]*x+l[1]*y+2*l[2]*y+s[1]*z+2*s[2]*z-(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))-28*B[1]*k[2]^4*exp(t*l[2]+k[2]*x+2*l[1]*y+l[2]*y+2*s[1]*z+s[2]*z+(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-28*B[1]*k[2]^4*exp(t*l[1]+3*k[2]*x+l[1]*y+2*l[2]*y+s[1]*z+2*s[2]*z-(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+24*k[2]^2*exp(t*l[1]+t*l[2]+2*k[2]*x+l[1]*y+l[2]*y+s[1]*z+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+16*B[1]*k[2]*s[1]*exp(t*l[1]+t*l[2]+2*k[2]*x+l[1]*y+l[2]*y+s[1]*z+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-16*B[1]*k[2]*s[2]*exp(t*l[1]+t*l[2]+2*k[2]*x+l[1]*y+l[2]*y+s[1]*z+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+8*B[1]*exp(t*l[1]+t*l[2]+2*k[2]*x+l[1]*y+l[2]*y+s[1]*z+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)-4*B[1]*k[2]*s[1]*exp(-t*k[2]+2*t*l[1]+4*k[2]*x+2*l[2]*y+2*s[2]*z+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+4*B[1]*k[2]*s[2]*exp(-t*k[2]+2*t*l[1]+4*k[2]*x+2*l[2]*y+2*s[2]*z+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-2*B[1]*exp(-t*k[2]+2*t*l[1]+4*k[2]*x+2*l[2]*y+2*s[2]*z+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)-2*B[1]*k[2]*s[1]*exp(t*l[2]+k[2]*x+2*l[1]*y+l[2]*y+2*s[1]*z+s[2]*z+(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+2*B[1]*k[2]*s[2]*exp(t*l[2]+k[2]*x+2*l[1]*y+l[2]*y+2*s[1]*z+s[2]*z+(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-2*B[1]*k[2]*s[1]*exp(t*l[1]+3*k[2]*x+l[1]*y+2*l[2]*y+s[1]*z+2*s[2]*z-(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+2*B[1]*k[2]*s[2]*exp(t*l[1]+3*k[2]*x+l[1]*y+2*l[2]*y+s[1]*z+2*s[2]*z-(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+2*k[2]*s[1]*B[1]^2*exp(t*l[2]+k[2]*x+2*l[1]*y+l[2]*y+2*s[1]*z+s[2]*z+(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-2*k[2]*s[2]*B[1]^2*exp(t*l[2]+k[2]*x+2*l[1]*y+l[2]*y+2*s[1]*z+s[2]*z+(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-2*k[2]*s[2]*B[1]^2*exp(t*l[1]+3*k[2]*x+l[1]*y+2*l[2]*y+s[1]*z+2*s[2]*z-(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+2*k[2]*s[1]*B[1]^2*exp(t*l[1]+3*k[2]*x+l[1]*y+2*l[2]*y+s[1]*z+2*s[2]*z-(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))-4*B[1]*k[2]*s[1]*exp(t*k[2]+2*t*l[2]+2*l[1]*y+2*s[1]*z+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+4*B[1]*k[2]*s[2]*exp(t*k[2]+2*t*l[2]+2*l[1]*y+2*s[1]*z+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))-2*B[1]*exp(t*k[2]+2*t*l[2]+2*l[1]*y+2*s[1]*z+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)-2*B[1]*k[2]*s[2]*exp((1/2)*t*k[2]+t*l[1]+2*t*l[2]+k[2]*x+l[1]*y+s[1]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+32*B[1]*k[2]^4*exp(t*l[1]+t*l[2]+2*k[2]*x+l[1]*y+l[2]*y+s[1]*z+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+2*k[2]*s[2]*exp((1/2)*t*k[2]+t*l[1]+2*t*l[2]+k[2]*x+l[1]*y+s[1]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))-2*k[2]*s[1]*exp((1/2)*t*k[2]+t*l[1]+2*t*l[2]+k[2]*x+l[1]*y+s[1]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+2*B[1]*k[2]*s[1]*exp((1/2)*t*k[2]+t*l[1]+2*t*l[2]+k[2]*x+l[1]*y+s[1]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+3*k[2]^2*exp((1/2)*t*k[2]+t*l[1]+2*t*l[2]+k[2]*x+l[1]*y+s[1]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+3*k[2]^2*exp(-(1/2)*t*k[2]+2*t*l[1]+t*l[2]+3*k[2]*x+l[2]*y+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-28*k[2]^4*exp((1/2)*t*k[2]+t*l[1]+2*t*l[2]+k[2]*x+l[1]*y+s[1]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))-28*k[2]^4*exp(-(1/2)*t*k[2]+2*t*l[1]+t*l[2]+3*k[2]*x+l[2]*y+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+3*B[1]*k[2]^2*exp(t*l[2]+k[2]*x+2*l[1]*y+l[2]*y+2*s[1]*z+s[2]*z+(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-3*B[1]*k[2]^2*exp(-(1/2)*t*k[2]+2*t*l[1]+t*l[2]+3*k[2]*x+l[2]*y+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+4*B[1]*k[2]^4*exp((1/2)*t*k[2]+t*l[1]+2*t*l[2]+k[2]*x+l[1]*y+s[1]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+2*B[1]*k[2]*s[1]*exp(-(1/2)*t*k[2]+2*t*l[1]+t*l[2]+3*k[2]*x+l[2]*y+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-2*B[1]*k[2]*s[2]*exp(-(1/2)*t*k[2]+2*t*l[1]+t*l[2]+3*k[2]*x+l[2]*y+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+B[1]^2*exp(t*l[1]+3*k[2]*x+l[1]*y+2*l[2]*y+s[1]*z+2*s[2]*z-(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+B[1]^2*exp(t*l[2]+k[2]*x+2*l[1]*y+l[2]*y+2*s[1]*z+s[2]*z+(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)-B[1]*exp(t*l[1]+3*k[2]*x+l[1]*y+2*l[2]*y+s[1]*z+2*s[2]*z-(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)-B[1]*exp(t*l[2]+k[2]*x+2*l[1]*y+l[2]*y+2*s[1]*z+s[2]*z+(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+4*B[1]*k[2]^4*exp(-(1/2)*t*k[2]+2*t*l[1]+t*l[2]+3*k[2]*x+l[2]*y+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+4*B[1]^2*k[2]^4*exp(t*l[1]+3*k[2]*x+l[1]*y+2*l[2]*y+s[1]*z+2*s[2]*z-(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+16*k[2]*s[2]*exp(t*l[1]+t*l[2]+2*k[2]*x+l[1]*y+l[2]*y+s[1]*z+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-16*k[2]*s[1]*exp(t*l[1]+t*l[2]+2*k[2]*x+l[1]*y+l[2]*y+s[1]*z+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-8*exp(t*l[1]+t*l[2]+2*k[2]*x+l[1]*y+l[2]*y+s[1]*z+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)-6*k[2]^2*exp(t*k[2]+2*t*l[2]+2*l[1]*y+2*s[1]*z+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+56*k[2]^4*exp(t*k[2]+2*t*l[2]+2*l[1]*y+2*s[1]*z+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+6*B[1]*k[2]^2*exp(t*k[2]+2*t*l[2]+2*l[1]*y+2*s[1]*z+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))-8*B[1]*k[2]^4*exp(t*k[2]+2*t*l[2]+2*l[1]*y+2*s[1]*z+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))-3*B[1]*k[2]^2*exp((1/2)*t*k[2]+t*l[1]+2*t*l[2]+k[2]*x+l[1]*y+s[1]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))-3*B[1]^2*k[2]^2*exp(t*l[2]+k[2]*x+2*l[1]*y+l[2]*y+2*s[1]*z+s[2]*z+(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))-3*B[1]^2*k[2]^2*exp(t*l[1]+3*k[2]*x+l[1]*y+2*l[2]*y+s[1]*z+2*s[2]*z-(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+4*B[1]^2*k[2]^4*exp(t*l[2]+k[2]*x+2*l[1]*y+l[2]*y+2*s[1]*z+s[2]*z+(1/2)*t*k[2]+t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2)))/(B[1]*exp(k[2]*x+l[1]*y+l[2]*y+s[1]*z+s[2]*z+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2)+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+exp(t*l[1]+2*k[2]*x+l[2]*y+s[2]*z-(1/2)*t*k[2]+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]-4*s[2]))^(1/2))+exp(t*l[2]+l[1]*y+s[1]*z+(1/2)*t*k[2]+(1/2)*t*(k[2]*(4*k[2]^3-3*k[2]+4*s[1]))^(1/2))+exp(t*l[1]+t*l[2]+x*k[2]))^4

(19)
 

NULL

Download hard_parameters.mw

Please Wait...