off echo$backup_:='
(((list) nil 0 nil 1 nil nil 24 nil) (nil t nil nil t nil (to_eval to_fullint 
to_int to_sep to_gensep to_casesep to_decoup to_diff to_under to_symbol) nil -1
t t (list) 20 4000 15 10 28950662 nil 50 200 50 10 3 t nil nil nil 100 ((e_26 
u!`2 u!`1 u x t) (e_25 u!`2 u!`1 u x t) (e_24 u!`2 u!`1 u x t) (e_23 u!`2 u!`1 u
x t) (e_8 u!`2 u!`1 u x t) (q_1_ x t u u!`1 u!`2) (q_1 x t u u!`1 u!`2) (u_ x t)
) "http://lie.math.brocku.ca/crack/src" nil nil nil 0 e_ nil "" nil nil 1000 (
q_1) c_ nil nil 0 nil 10000 t t (q_1 p) 15 15 reduce 300 nil nil nil (((((p . 1)
 . 1)) . 1)) ((((((((df q_1 u!`1) . 1) . 1)) . 1)) ((((((df q_1 u!`2) . 1) . 1))
 . 1)))) nil nil nil nil 28950662 ((27 18 88 187 (df q_1 u!`1 2) 88 2) (27 17 32
74 (df q_1 u u!`1) 32 2) (27 16 51 74 (df q_1 u u!`1) 51 2) (27 15 41 51 (df q_1
u!`1 2) 41 2) (27 14 11 91 (df q_1 u!`2) 91 2) (27 13 11 91 (df q_1 u!`2 x) 91 2
) (27 12 11 95 (df q_1 u u!`2) 95 2) (27 11 11 47 (df q_1 t u!`2) 47 2) (27 10 
11 30 (df q_1 u!`2 x) 30 2) (27 9 11 27 (df q_1 u u!`2) 27 2) (27 8 11 27 (df 
q_1 u!`1 u!`2) 27 2) (27 7 11 25 (df q_1 u u!`2) 25 2) (27 6 11 22 (df q_1 u!`1
u!`2) 22 2) (27 5 5 11 (df q_1 u!`2 2) 5 2) (27 4 11 23 (df q_1 u u!`2) 23 2) (
27 3 23 31 (df q_1 u u!`2) 31 2) (27 2 5 30 (df q_1 u!`2 2) 30 2)) 1.0 1.0 nil t
nil t 6 100000000000000000 20 15 100 1 10 1 30 40 10 5 1000000 20 10 10 28 nil 
100 nil nil t 12 nil nil (to_do separation subst_level_0 subst_level_03 
quick_integration find_factorization factorize_to_substitute factorize_any 
subst_derivative subst_level_1 full_integration subst_level_3 subst_level_2 
subst_level_33 subst_level_35 subst_level_4 gen_separation case_separation 
integration diff_length_reduction decoupling undetlinode add_diff_ise 
try_other_ordering alg_solve_single undo_subst_derivative) "no_of_processes" nil
nil nil (nil e_27 e_20 e_21 e_19 e_22 e_12 e_16 e_15 e_18 e_17 e_2 e_14 e_9 e_13
e_4 e_11 e_10 e_6 e_3 e_7 e_5 e_1) nil nil nil t "bu868018-" nil nil nil nil nil
2 8 1000 20 1000 nil 1000 10000 1000 nil nil nil nil nil nil nil nil nil nil nil
nil nil nil (list) (u!`2 u!`1 u x t)) ((e_8 ((sqval ((((df q_1 u) . 1) ((u . 1)
 . 4)) (((df q_1 u!`1) . 1) ((p . 1) ((u!`1 . 1) . -1))) (((df q_1 u!`2) . 1) ((
p . 1) ((u!`2 . 1) . -3)))) . 1) (fac . 2) (pval plus (times 4 (df q_1 u) u) (
minus (times (df q_1 u!`1) p u!`1)) (minus (times 3 (df q_1 u!`2) p u!`2))) (
partitioned) (kern (df q_1 u) (df q_1 u!`1) (df q_1 u!`2) p u!`2 u!`1 u) (
fct_kern_lin) (fct_kern_nli) (fcts q_1 p) (vars u!`2 u!`1 u x t) (nvars . 5) (
level) (derivs ((q_1 u!`2) . 1) ((q_1 u!`1) . 1) ((q_1 u) . 1) ((p) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca)
(fct_nli_nli) (fct_nli_nus) (terms . 3) (length . 5) (printlength . 11) (
rational q_1 p) (nonrational) (allvarfcts q_1) (starde) (dec_with) (dec_with_rl
(0 e_25 e_24 e_23 e_22 e_21 e_20 e_19 e_16 e_15 e_12)) (rl_with) (hom_deg) (
split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup)) (e_24 (
(sqval ((((df q_1 t u) . 1) (((expt u p) . 1) ((u . 2) ((u!`1 . 1) ((u!`2 . 2)
 . 6)))) ((u . 2) ((u!`1 . 3) . -6))) (((df q_1 t u!`1) . 1) (((expt u p) . 2) (
(p . 1) ((u . 1) ((u!`2 . 4) . -9)))) (((expt u p) . 1) ((p . 1) ((u . 1) ((u!`1
 . 2) ((u!`2 . 2) . -3)))))) (((df q_1 t 2) . 1) (((expt u p) . 1) ((u . 2) ((
u!`2 . 2) . -9))) ((u . 2) ((u!`1 . 2) . -3))) (((df q_1 u x) . 1) (((expt u p)
 . 2) ((u . 2) ((u!`2 . 3) . 6))) (((expt u p) . 1) ((u . 2) ((u!`1 . 2) ((u!`2
 . 1) . -6))))) (((df q_1 u 2) . 1) (((expt u p) . 2) ((u . 2) ((u!`2 . 4) . -3)
)) (((expt u p) . 1) ((u . 2) ((u!`1 . 2) ((u!`2 . 2) . 6)))) ((u . 2) ((u!`1 . 
4) . -3))) (((df q_1 u) . 1) (((expt u p) . 2) ((p . 1) ((u . 1) ((u!`2 . 4) . 
-3)))) (((expt u p) . 1) ((p . 1) ((u . 1) ((u!`1 . 2) ((u!`2 . 2) . 11)))) ((u
 . 1) ((u!`1 . 2) ((u!`2 . 2) . 16))))) (((df q_1 u!`1 x) . 1) (((expt u p) . 2)
((p . 1) ((u . 1) ((u!`1 . 1) ((u!`2 . 3) . -15))))) (((expt u p) . 1) ((p . 1)
((u . 1) ((u!`1 . 3) ((u!`2 . 1) . 3)))))) (((df q_1 u!`1) . 1) (((expt u p) . 2
) ((p . 2) ((u!`1 . 1) ((u!`2 . 4) . 6))) ((p . 1) ((u!`1 . 1) ((u!`2 . 4) . 6))
)) (((expt u p) . 1) ((p . 2) ((u!`1 . 3) ((u!`2 . 2) . -2))) ((p . 1) ((u!`1 . 
3) ((u!`2 . 2) . 2))))) (((df q_1 x 2) . 1) (((expt u p) . 2) ((u . 2) ((u!`2 . 
2) . 9))) (((expt u p) . 1) ((u . 2) ((u!`1 . 2) . 3))))) . 1) (fac . 2) (pval 
plus (times 6 (expt u p) (df q_1 t u) (expt u 2) u!`1 (expt u!`2 2)) (minus (
times 6 (df q_1 t u) (expt u 2) (expt u!`1 3))) (minus (times 9 (expt u (times 2
p)) (df q_1 t u!`1) p u (expt u!`2 4))) (minus (times 3 (expt u p) (df q_1 t u!`1
) p u (expt u!`1 2) (expt u!`2 2))) (minus (times 9 (expt u p) (df q_1 t 2) (
expt u 2) (expt u!`2 2))) (minus (times 3 (df q_1 t 2) (expt u 2) (expt u!`1 2))
) (times 6 (expt u (times 2 p)) (df q_1 u x) (expt u 2) (expt u!`2 3)) (minus (
times 6 (expt u p) (df q_1 u x) (expt u 2) (expt u!`1 2) u!`2)) (minus (times 3
(expt u (times 2 p)) (df q_1 u 2) (expt u 2) (expt u!`2 4))) (times 6 (expt u p)
(df q_1 u 2) (expt u 2) (expt u!`1 2) (expt u!`2 2)) (minus (times 3 (df q_1 u 2
) (expt u 2) (expt u!`1 4))) (minus (times 3 (expt u (times 2 p)) (df q_1 u) p u
(expt u!`2 4))) (times 11 (expt u p) (df q_1 u) p u (expt u!`1 2) (expt u!`2 2))
(times 16 (expt u p) (df q_1 u) u (expt u!`1 2) (expt u!`2 2)) (minus (times 15
(expt u (times 2 p)) (df q_1 u!`1 x) p u u!`1 (expt u!`2 3))) (times 3 (expt u p
) (df q_1 u!`1 x) p u (expt u!`1 3) u!`2) (times 6 (expt u (times 2 p)) (df q_1
u!`1) (expt p 2) u!`1 (expt u!`2 4)) (times 6 (expt u (times 2 p)) (df q_1 u!`1)
p u!`1 (expt u!`2 4)) (minus (times 2 (expt u p) (df q_1 u!`1) (expt p 2) (expt
u!`1 3) (expt u!`2 2))) (times 2 (expt u p) (df q_1 u!`1) p (expt u!`1 3) (expt
u!`2 2)) (times 9 (expt u (times 2 p)) (df q_1 x 2) (expt u 2) (expt u!`2 2)) (
times 3 (expt u p) (df q_1 x 2) (expt u 2) (expt u!`1 2))) (partitioned) (kern (
df q_1 t u) (df q_1 t u!`1) (df q_1 t 2) (df q_1 u x) (df q_1 u 2) (df q_1 u) (
df q_1 u!`1 x) (df q_1 u!`1) (df q_1 x 2) (expt u p) u u!`1 u!`2 p) (
fct_kern_lin) (fct_kern_nli) (fcts q_1 p) (vars u!`2 u!`1 u x t) (nvars . 5) (
level) (derivs ((q_1 u!`1 x) . 1) ((q_1 t u!`1) . 1) ((q_1 u 2) . 1) ((q_1 u x)
 . 1) ((q_1 t u) . 1) ((q_1 x 2) . 1) ((q_1 t 2) . 1) ((q_1 u!`1) . 1) ((q_1 u)
 . 1) ((p) . 2) ((p) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli)
(fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 22) (length . 
44) (printlength . 175) (rational q_1) (nonrational p) (allvarfcts q_1) (starde)
(dec_with) (dec_with_rl (0 e_25 e_23 e_20 e_21 e_8)) (rl_with) (hom_deg) (
split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup)) (e_25 (
(sqval ((((df q_1 t u) . 1) (((expt u p) . 1) ((u . 2) ((u!`1 . 1) ((u!`2 . 2)
 . 54)))) ((u . 2) ((u!`1 . 3) . -6))) (((df q_1 t u!`1) . 1) (((expt u p) . 2)
((p . 1) ((u . 1) ((u!`2 . 4) . 24))))) (((df q_1 t 2) . 1) (((expt u p) . 1) ((
u . 2) ((u!`2 . 2) . 39))) ((u . 2) ((u!`1 . 2) . -3))) (((df q_1 u x) . 1) (((
expt u p) . 2) ((u . 2) ((u!`2 . 3) . -6))) (((expt u p) . 1) ((u . 2) ((u!`1 . 
2) ((u!`2 . 1) . 6))))) (((df q_1 u 2) . 1) (((expt u p) . 2) ((u . 2) ((u!`2 . 
4) . 33))) (((expt u p) . 1) ((u . 2) ((u!`1 . 2) ((u!`2 . 2) . 18)))) ((u . 2)
((u!`1 . 4) . -3))) (((df q_1 u) . 1) (((expt u p) . 2) ((p . 1) ((u . 1) ((u!`2
 . 4) . -17))) ((u . 1) ((u!`2 . 4) . 20))) (((expt u p) . 1) ((p . 1) ((u . 1)
((u!`1 . 2) ((u!`2 . 2) . -7)))) ((u . 1) ((u!`1 . 2) ((u!`2 . 2) . -20))))) (((
df q_1 u!`1 2) . 1) (((expt u p) . 3) ((p . 2) ((u!`2 . 6) . -15))) (((expt u p)
 . 2) ((p . 2) ((u!`1 . 2) ((u!`2 . 4) . 3))))) (((df q_1 u!`1) . 1) (((expt u p
) . 2) ((p . 2) ((u!`1 . 1) ((u!`2 . 4) . 14))) ((p . 1) ((u!`1 . 1) ((u!`2 . 4)
 . -26)))) (((expt u p) . 1) ((p . 2) ((u!`1 . 3) ((u!`2 . 2) . -2))) ((p . 1) (
(u!`1 . 3) ((u!`2 . 2) . 2))))) (((df q_1 x 2) . 1) (((expt u p) . 2) ((u . 2) (
(u!`2 . 2) . -39))) (((expt u p) . 1) ((u . 2) ((u!`1 . 2) . 3))))) . 1) (fac . 
2) (pval plus (times 54 (expt u p) (df q_1 t u) (expt u 2) u!`1 (expt u!`2 2)) (
minus (times 6 (df q_1 t u) (expt u 2) (expt u!`1 3))) (times 24 (expt u (times
2 p)) (df q_1 t u!`1) p u (expt u!`2 4)) (times 39 (expt u p) (df q_1 t 2) (expt
u 2) (expt u!`2 2)) (minus (times 3 (df q_1 t 2) (expt u 2) (expt u!`1 2))) (
minus (times 6 (expt u (times 2 p)) (df q_1 u x) (expt u 2) (expt u!`2 3))) (
times 6 (expt u p) (df q_1 u x) (expt u 2) (expt u!`1 2) u!`2) (times 33 (expt u
(times 2 p)) (df q_1 u 2) (expt u 2) (expt u!`2 4)) (times 18 (expt u p) (df q_1
u 2) (expt u 2) (expt u!`1 2) (expt u!`2 2)) (minus (times 3 (df q_1 u 2) (expt
u 2) (expt u!`1 4))) (minus (times 17 (expt u (times 2 p)) (df q_1 u) p u (expt
u!`2 4))) (times 20 (expt u (times 2 p)) (df q_1 u) u (expt u!`2 4)) (minus (
times 7 (expt u p) (df q_1 u) p u (expt u!`1 2) (expt u!`2 2))) (minus (times 20
(expt u p) (df q_1 u) u (expt u!`1 2) (expt u!`2 2))) (minus (times 15 (expt u (
times 3 p)) (df q_1 u!`1 2) (expt p 2) (expt u!`2 6))) (times 3 (expt u (times 2
p)) (df q_1 u!`1 2) (expt p 2) (expt u!`1 2) (expt u!`2 4)) (times 14 (expt u (
times 2 p)) (df q_1 u!`1) (expt p 2) u!`1 (expt u!`2 4)) (minus (times 26 (expt
u (times 2 p)) (df q_1 u!`1) p u!`1 (expt u!`2 4))) (minus (times 2 (expt u p) (
df q_1 u!`1) (expt p 2) (expt u!`1 3) (expt u!`2 2))) (times 2 (expt u p) (df 
q_1 u!`1) p (expt u!`1 3) (expt u!`2 2)) (minus (times 39 (expt u (times 2 p)) (
df q_1 x 2) (expt u 2) (expt u!`2 2))) (times 3 (expt u p) (df q_1 x 2) (expt u
2) (expt u!`1 2))) (partitioned) (kern (df q_1 t u) (df q_1 t u!`1) (df q_1 t 2)
(df q_1 u x) (df q_1 u 2) (df q_1 u) (df q_1 u!`1 2) (df q_1 u!`1) (df q_1 x 2)
(expt u p) u u!`1 u!`2 p) (fct_kern_lin) (fct_kern_nli) (fcts q_1 p) (vars u!`2
u!`1 u x t) (nvars . 5) (level) (derivs ((q_1 u!`1 2) . 1) ((q_1 t u!`1) . 1) ((
q_1 u 2) . 1) ((q_1 u x) . 1) ((q_1 t u) . 1) ((q_1 x 2) . 1) ((q_1 t 2) . 1) ((
q_1 u!`1) . 1) ((q_1 u) . 1) ((p) . 2) ((p) . 1)) (no_derivs) (fcteval_lin) (
fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (
fct_nli_nus) (terms . 22) (length . 46) (printlength . 179) (rational q_1) (
nonrational p) (allvarfcts q_1) (starde) (dec_with) (dec_with_rl (0 e_23 e_24 
e_20 e_8)) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol 
to_under to_diff to_decoup)) (e_26 ((sqval ((((df q_1 t u) . 1) (((expt u p) . 2
) ((u . 2) ((u!`1 . 1) ((u!`2 . 4) . 126)))) (((expt u p) . 1) ((u . 2) ((u!`1
 . 3) ((u!`2 . 2) . 24)))) ((u . 2) ((u!`1 . 5) . -6))) (((df q_1 t u!`1) . 1) (
((expt u p) . 3) ((p . 1) ((u . 1) ((u!`2 . 6) . 81)))) (((expt u p) . 2) ((p . 
1) ((u . 1) ((u!`1 . 2) ((u!`2 . 4) . 18))))) (((expt u p) . 1) ((p . 1) ((u . 1
) ((u!`1 . 4) ((u!`2 . 2) . -3)))))) (((df q_1 t 2) . 1) (((expt u p) . 2) ((u
 . 2) ((u!`2 . 4) . 81))) (((expt u p) . 1) ((u . 2) ((u!`1 . 2) ((u!`2 . 2) . 
18)))) ((u . 2) ((u!`1 . 4) . -3))) (((df q_1 u u!`1) . 1) (((expt u p) . 3) ((p
 . 1) ((u . 1) ((u!`1 . 1) ((u!`2 . 6) . 45))))) (((expt u p) . 2) ((p . 1) ((u
 . 1) ((u!`1 . 3) ((u!`2 . 4) . 6))))) (((expt u p) . 1) ((p . 1) ((u . 1) ((u!`1
 . 5) ((u!`2 . 2) . -3)))))) (((df q_1 u x) . 1) (((expt u p) . 3) ((u . 2) ((
u!`2 . 5) . -54))) (((expt u p) . 1) ((u . 2) ((u!`1 . 4) ((u!`2 . 1) . 6))))) (
((df q_1 u 2) . 1) (((expt u p) . 3) ((u . 2) ((u!`2 . 6) . 27))) (((expt u p)
 . 2) ((u . 2) ((u!`1 . 2) ((u!`2 . 4) . 63)))) (((expt u p) . 1) ((u . 2) ((u!`1
 . 4) ((u!`2 . 2) . 9)))) ((u . 2) ((u!`1 . 6) . -3))) (((df q_1 u) . 1) (((expt
u p) . 3) ((p . 1) ((u . 1) ((u!`2 . 6) . 27)))) (((expt u p) . 2) ((p . 1) ((u
 . 1) ((u!`1 . 2) ((u!`2 . 4) . -12)))) ((u . 1) ((u!`1 . 2) ((u!`2 . 4) . -24))
)) (((expt u p) . 1) ((p . 1) ((u . 1) ((u!`1 . 4) ((u!`2 . 2) . -7)))) ((u . 1)
((u!`1 . 4) ((u!`2 . 2) . -8))))) (((df q_1 u!`1) . 1) (((expt u p) . 3) ((p . 2
) ((u!`1 . 1) ((u!`2 . 6) . 36))) ((p . 1) ((u!`1 . 1) ((u!`2 . 6) . -54)))) (((
expt u p) . 2) ((p . 2) ((u!`1 . 3) ((u!`2 . 4) . 6))) ((p . 1) ((u!`1 . 3) ((
u!`2 . 4) . -12)))) (((expt u p) . 1) ((p . 2) ((u!`1 . 5) ((u!`2 . 2) . -2))) (
(p . 1) ((u!`1 . 5) ((u!`2 . 2) . 2))))) (((df q_1 x 2) . 1) (((expt u p) . 3) (
(u . 2) ((u!`2 . 4) . -81))) (((expt u p) . 2) ((u . 2) ((u!`1 . 2) ((u!`2 . 2)
 . -18)))) (((expt u p) . 1) ((u . 2) ((u!`1 . 4) . 3))))) . 1) (fac (((((expt u
p) . 1) ((u!`2 . 2) . 3)) ((u!`1 . 2) . 1)) . 1) (((((df q_1 t u) . 1) (((expt u
p) . 1) ((u . 2) ((u!`1 . 1) ((u!`2 . 2) . 42)))) ((u . 2) ((u!`1 . 3) . -6))) (
((df q_1 t u!`1) . 1) (((expt u p) . 2) ((p . 1) ((u . 1) ((u!`2 . 4) . 27)))) (
((expt u p) . 1) ((p . 1) ((u . 1) ((u!`1 . 2) ((u!`2 . 2) . -3)))))) (((df q_1
t 2) . 1) (((expt u p) . 1) ((u . 2) ((u!`2 . 2) . 27))) ((u . 2) ((u!`1 . 2) . 
-3))) (((df q_1 u u!`1) . 1) (((expt u p) . 2) ((p . 1) ((u . 1) ((u!`1 . 1) ((
u!`2 . 4) . 15))))) (((expt u p) . 1) ((p . 1) ((u . 1) ((u!`1 . 3) ((u!`2 . 2)
 . -3)))))) (((df q_1 u x) . 1) (((expt u p) . 2) ((u . 2) ((u!`2 . 3) . -18)))
(((expt u p) . 1) ((u . 2) ((u!`1 . 2) ((u!`2 . 1) . 6))))) (((df q_1 u 2) . 1)
(((expt u p) . 2) ((u . 2) ((u!`2 . 4) . 9))) (((expt u p) . 1) ((u . 2) ((u!`1
 . 2) ((u!`2 . 2) . 18)))) ((u . 2) ((u!`1 . 4) . -3))) (((df q_1 u) . 1) (((
expt u p) . 2) ((p . 1) ((u . 1) ((u!`2 . 4) . 9)))) (((expt u p) . 1) ((p . 1)
((u . 1) ((u!`1 . 2) ((u!`2 . 2) . -7)))) ((u . 1) ((u!`1 . 2) ((u!`2 . 2) . -8)
)))) (((df q_1 u!`1) . 1) (((expt u p) . 2) ((p . 2) ((u!`1 . 1) ((u!`2 . 4) . 
12))) ((p . 1) ((u!`1 . 1) ((u!`2 . 4) . -18)))) (((expt u p) . 1) ((p . 2) ((
u!`1 . 3) ((u!`2 . 2) . -2))) ((p . 1) ((u!`1 . 3) ((u!`2 . 2) . 2))))) (((df 
q_1 x 2) . 1) (((expt u p) . 2) ((u . 2) ((u!`2 . 2) . -27))) (((expt u p) . 1)
((u . 2) ((u!`1 . 2) . 3))))) . 1)) (pval) (partitioned) (kern (df q_1 t u) (df
q_1 t u!`1) (df q_1 t 2) (df q_1 u u!`1) (df q_1 u x) (df q_1 u 2) (df q_1 u) (
df q_1 u!`1) (df q_1 x 2) (expt u p) u u!`1 u!`2 p) (fct_kern_lin) (fct_kern_nli
) (fcts q_1 p) (vars u!`2 u!`1 u x t) (nvars . 5) (level) (derivs ((q_1 u u!`1)
 . 1) ((q_1 t u!`1) . 1) ((q_1 u 2) . 1) ((q_1 u x) . 1) ((q_1 t u) . 1) ((q_1 x
2) . 1) ((q_1 t 2) . 1) ((q_1 u!`1) . 1) ((q_1 u) . 1) ((p) . 2) ((p) . 1)) (
no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca)
(fct_nli_nli) (fct_nli_nus) (terms . 32) (length . 73) (printlength . 330) (
rational q_1) (nonrational p) (allvarfcts q_1) (starde) (dec_with) (dec_with_rl)
(rl_with) (hom_deg) (split_test . 0) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup to_int to_fullint to_eval)) (e_23 ((sqval ((((df q_1 t u) . 1)
(((expt u p) . 2) ((u . 2) ((u!`1 . 1) ((u!`2 . 4) . 18)))) (((expt u p) . 1) ((
u . 2) ((u!`1 . 3) ((u!`2 . 2) . 4)))) ((u . 2) ((u!`1 . 5) . -6))) (((df q_1 t
u!`1) . 1) (((expt u p) . 3) ((p . 1) ((u . 1) ((u!`2 . 6) . -27)))) (((expt u p
) . 2) ((p . 1) ((u . 1) ((u!`1 . 2) ((u!`2 . 4) . -12))))) (((expt u p) . 1) ((
p . 1) ((u . 1) ((u!`1 . 4) ((u!`2 . 2) . -1)))))) (((df q_1 t 2) . 1) (((expt u
p) . 2) ((u . 2) ((u!`2 . 4) . -27))) (((expt u p) . 1) ((u . 2) ((u!`1 . 2) ((
u!`2 . 2) . 6)))) ((u . 2) ((u!`1 . 4) . -3))) (((df q_1 u x) . 1) (((expt u p)
 . 3) ((u . 2) ((u!`2 . 5) . 18))) (((expt u p) . 2) ((u . 2) ((u!`1 . 2) ((u!`2
 . 3) . -4)))) (((expt u p) . 1) ((u . 2) ((u!`1 . 4) ((u!`2 . 1) . 2))))) (((df
q_1 u 2) . 1) (((expt u p) . 3) ((u . 2) ((u!`2 . 6) . -9))) (((expt u p) . 2) (
(u . 2) ((u!`1 . 2) ((u!`2 . 4) . 15)))) (((expt u p) . 1) ((u . 2) ((u!`1 . 4)
((u!`2 . 2) . -3)))) ((u . 2) ((u!`1 . 6) . -3))) (((df q_1 u) . 1) (((expt u p)
 . 3) ((p . 1) ((u . 1) ((u!`2 . 6) . -9)))) (((expt u p) . 2) ((p . 1) ((u . 1)
((u!`1 . 2) ((u!`2 . 4) . 26)))) ((u . 1) ((u!`1 . 2) ((u!`2 . 4) . 40)))) (((
expt u p) . 1) ((p . 1) ((u . 1) ((u!`1 . 4) ((u!`2 . 2) . -1)))) ((u . 1) ((u!`1
 . 4) ((u!`2 . 2) . -8))))) (((df q_1 u!`1 x) . 1) (((expt u p) . 3) ((p . 1) ((
u . 1) ((u!`1 . 1) ((u!`2 . 5) . -45))))) (((expt u p) . 2) ((p . 1) ((u . 1) ((
u!`1 . 3) ((u!`2 . 3) . 4))))) (((expt u p) . 1) ((p . 1) ((u . 1) ((u!`1 . 5) (
(u!`2 . 1) . 1)))))) (((df q_1 u!`1) . 1) (((expt u p) . 3) ((p . 2) ((u!`1 . 1)
((u!`2 . 6) . 18))) ((p . 1) ((u!`1 . 1) ((u!`2 . 6) . 18)))) (((expt u p) . 2)
((p . 2) ((u!`1 . 3) ((u!`2 . 4) . -8))) ((p . 1) ((u!`1 . 3) ((u!`2 . 4) . -4))
)) (((expt u p) . 1) ((p . 2) ((u!`1 . 5) ((u!`2 . 2) . -2))) ((p . 1) ((u!`1 . 
5) ((u!`2 . 2) . 2))))) (((df q_1 x 2) . 1) (((expt u p) . 3) ((u . 2) ((u!`2 . 
4) . 27))) (((expt u p) . 2) ((u . 2) ((u!`1 . 2) ((u!`2 . 2) . -6)))) (((expt u
p) . 1) ((u . 2) ((u!`1 . 4) . 3))))) . 1) (fac . 2) (pval plus (times 18 (expt
u (times 2 p)) (df q_1 t u) (expt u 2) u!`1 (expt u!`2 4)) (times 4 (expt u p) (
df q_1 t u) (expt u 2) (expt u!`1 3) (expt u!`2 2)) (minus (times 6 (df q_1 t u)
(expt u 2) (expt u!`1 5))) (minus (times 27 (expt u (times 3 p)) (df q_1 t u!`1)
p u (expt u!`2 6))) (minus (times 12 (expt u (times 2 p)) (df q_1 t u!`1) p u (
expt u!`1 2) (expt u!`2 4))) (minus (times (expt u p) (df q_1 t u!`1) p u (expt
u!`1 4) (expt u!`2 2))) (minus (times 27 (expt u (times 2 p)) (df q_1 t 2) (expt
u 2) (expt u!`2 4))) (times 6 (expt u p) (df q_1 t 2) (expt u 2) (expt u!`1 2) (
expt u!`2 2)) (minus (times 3 (df q_1 t 2) (expt u 2) (expt u!`1 4))) (times 18
(expt u (times 3 p)) (df q_1 u x) (expt u 2) (expt u!`2 5)) (minus (times 4 (
expt u (times 2 p)) (df q_1 u x) (expt u 2) (expt u!`1 2) (expt u!`2 3))) (times
2 (expt u p) (df q_1 u x) (expt u 2) (expt u!`1 4) u!`2) (minus (times 9 (expt u
(times 3 p)) (df q_1 u 2) (expt u 2) (expt u!`2 6))) (times 15 (expt u (times 2
p)) (df q_1 u 2) (expt u 2) (expt u!`1 2) (expt u!`2 4)) (minus (times 3 (expt u
p) (df q_1 u 2) (expt u 2) (expt u!`1 4) (expt u!`2 2))) (minus (times 3 (df q_1
u 2) (expt u 2) (expt u!`1 6))) (minus (times 9 (expt u (times 3 p)) (df q_1 u)
p u (expt u!`2 6))) (times 26 (expt u (times 2 p)) (df q_1 u) p u (expt u!`1 2)
(expt u!`2 4)) (times 40 (expt u (times 2 p)) (df q_1 u) u (expt u!`1 2) (expt 
u!`2 4)) (minus (times (expt u p) (df q_1 u) p u (expt u!`1 4) (expt u!`2 2))) (
minus (times 8 (expt u p) (df q_1 u) u (expt u!`1 4) (expt u!`2 2))) (minus (
times 45 (expt u (times 3 p)) (df q_1 u!`1 x) p u u!`1 (expt u!`2 5))) (times 4
(expt u (times 2 p)) (df q_1 u!`1 x) p u (expt u!`1 3) (expt u!`2 3)) (times (
expt u p) (df q_1 u!`1 x) p u (expt u!`1 5) u!`2) (times 18 (expt u (times 3 p))
(df q_1 u!`1) (expt p 2) u!`1 (expt u!`2 6)) (times 18 (expt u (times 3 p)) (df
q_1 u!`1) p u!`1 (expt u!`2 6)) (minus (times 8 (expt u (times 2 p)) (df q_1 u!`1
) (expt p 2) (expt u!`1 3) (expt u!`2 4))) (minus (times 4 (expt u (times 2 p))
(df q_1 u!`1) p (expt u!`1 3) (expt u!`2 4))) (minus (times 2 (expt u p) (df q_1
u!`1) (expt p 2) (expt u!`1 5) (expt u!`2 2))) (times 2 (expt u p) (df q_1 u!`1)
p (expt u!`1 5) (expt u!`2 2)) (times 27 (expt u (times 3 p)) (df q_1 x 2) (expt
u 2) (expt u!`2 4)) (minus (times 6 (expt u (times 2 p)) (df q_1 x 2) (expt u 2)
(expt u!`1 2) (expt u!`2 2))) (times 3 (expt u p) (df q_1 x 2) (expt u 2) (expt
u!`1 4))) (partitioned) (kern (df q_1 t u) (df q_1 t u!`1) (df q_1 t 2) (df q_1
u x) (df q_1 u 2) (df q_1 u) (df q_1 u!`1 x) (df q_1 u!`1) (df q_1 x 2) (expt u
p) u u!`1 u!`2 p) (fct_kern_lin) (fct_kern_nli) (fcts q_1 p) (vars u!`2 u!`1 u x
t) (nvars . 5) (level) (derivs ((q_1 u!`1 x) . 1) ((q_1 t u!`1) . 1) ((q_1 u 2)
 . 1) ((q_1 u x) . 1) ((q_1 t u) . 1) ((q_1 x 2) . 1) ((q_1 t 2) . 1) ((q_1 u!`1
) . 1) ((q_1 u) . 1) ((p) . 2) ((p) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca
) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms
 . 33) (length . 75) (printlength . 337) (rational q_1) (nonrational p) (
allvarfcts q_1) (starde) (dec_with) (dec_with_rl (0 e_25 e_24 e_20 e_19 e_21 e_8
)) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under 
to_diff to_decoup))) ((q_1) (p)) nil)
$
end$