off echo$backup_:=' (((list) nil 0 (2 1 1 1 1 1 1 1 1) 74 nil nil 199 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 8 t t (list) 20 4000 15 10 28950662 nil 50 200 50 10 3 t nil nil nil 100 ((c_33 u u!`1 u!`2) (c_32 u u!`1 u!`2) (c_31 u u!`1 u!`2) (c_30 u u!`1 u!`2) (c_29 u u!`1 u!`2) (c_28 u u!`1 u!`2) (c_27 u u!`1 u!`2) (c_26 u u!`1 u!`2 ) (c_25 u u!`1 u!`2) (c_24 u u!`1 u!`2) (c_23 u u!`1 u!`2) (c_22 u u!`1 u!`2) ( c_21 u u!`1 u!`2) (c_20 u u!`1 u!`2) (c_19 u u!`1 u!`2) (e_20 u!`2 u!`1 u) (e_19 u!`2 u!`1 u) (e_48 u!`2 u!`1 u) (e_47 u!`2 u!`1 u) (e_40 u!`2 u!`1 u) (e_39 u!`2 u!`1 u) (e_38 u!`2 u!`1 u) (e_37 u!`2 u!`1 u) (c_18 u!`1 u!`2) (c_17 u!`1 u!`2) (e_21 u!`2 u!`1 u) (e_5 u!`2 u!`1 u) (e_56 u!`2 u!`1 u) (e_10 u!`2 u!`1 u) (e_6 u!`2 u!`1 u) (e_3 u!`2 u!`1 u) (e_7 u!`2 u!`1 u) (e_46 u!`2 u!`1 u) (e_45 u!`2 u!`1 u) (e_94 u!`2 u!`1 u) (e_93 u!`2 u!`1 u) (e_92 u!`2 u!`1 u) (e_91 u!`2 u!`1 u) (e_89 u!`2 u!`1 u) (e_88 u!`2 u!`1 u) (e_87 u!`2 u!`1 u) (e_85 u!`2 u!`1 u) ( e_84 u!`2 u!`1 u) (e_83 u!`2 u!`1 u) (e_82 u!`2 u!`1 u) (e_81 u!`2 u!`1 u) (e_72 u!`2 u!`1 u) (e_71 u!`2 u!`1 u) (e_70 u!`2 u!`1 u) (e_69 u!`2 u!`1 u) (e_68 u!`2 u!`1 u) (c_4 u u!`1 u!`2) (c_3 u u!`1 u!`2) (e_44 u!`2 u!`1 u x) (e_28 u!`2 u!`1 u x) (e_54 u!`2 u!`1 u x) (e_43 u!`2 u!`1 u x) (e_53 u!`2 u!`1 u x) (e_52 u!`2 u!`1 u x) (e_51 u!`2 u!`1 u x) (e_50 u!`2 u!`1 u x) (e_31 u!`2 u!`1 u x) (e_32 u!`2 u!`1 u x) (e_29 u!`2 u!`1 u x) (e_42 u!`2 u!`1 u x) (e_41 u!`2 u!`1 u x) ( e_30 u!`2 u!`1 u x t) (e_24 u!`2 u!`1 u x t) (e_22 u!`2 u!`1 u x t) (e_12 u!`2 u!`1 u x t) (e_16 u!`2 u!`1 u x t) (e_15 u!`2 u!`1 u x t) (e_18 u!`2 u!`1 u x t) (e_14 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 (c_4 c_3 c_19 c_20 c_21 c_22 c_23 c_24 c_25 c_26 c_27 c_28 c_29 c_30 c_31 c_32 c_33 c_18 c_17 c_13) c_ nil nil 0 nil 10000 t t (c_4 c_3 c_18 c_17 p c_13) 15 15 reduce 300 nil nil nil (((((p . 1) . 1) . -4) . 1) ((((p . 1) . 1) . 2) . 1) ((( (p . 1) . 3) . 4) . 1) ((((p . 1) . 1) . 4) . 1) (((((expt u p) . 1) ((u!`2 . 2) . 9)) ((u!`1 . 2) . 1)) . 1) (((((expt u p) . 1) ((u!`2 . 2) . 3)) ((u!`1 . 2) . 1)) . 1) ((((p . 1) . 1)) . 1) ((((p . 1) . 5) . 4) . 1) (((((expt u p) . 1) ((u!`2 . 2) . 1)) ((u!`1 . 2) . -1)) . 1)) ((((((((df c_17 u!`1) . 1) (((expt u p) . 1) ((t . 1) ((u!`2 . 2) . 1))) ((t . 1) ((u!`1 . 2) . -1))) (((df c_18 u!`1 ) . 1) (((expt u p) . 3) ((p . 1) ((t . 1) ((u!`2 . 8) . 2)))) (((expt u p) . 2) ((p . 1) ((t . 1) ((u!`1 . 2) ((u!`2 . 6) . -6))))) (((expt u p) . 1) ((p . 1) ( (t . 1) ((u!`1 . 4) ((u!`2 . 4) . 6))))) ((p . 1) ((t . 1) ((u!`1 . 6) ((u!`2 . 2) . -2))))) (((df c_3 u!`1) . 1) (((expt u p) . 3) ((p . 1) ((u!`2 . 8) . -2))) (((expt u p) . 2) ((p . 1) ((u!`1 . 2) ((u!`2 . 6) . 6)))) (((expt u p) . 1) ((p . 1) ((u!`1 . 4) ((u!`2 . 4) . -6)))) ((p . 1) ((u!`1 . 6) ((u!`2 . 2) . 2)))) (((df c_4 u!`1) . 1) (((expt u p) . 3) ((p . 1) ((u!`2 . 8) ((x . 1) . -2)))) (( (expt u p) . 2) ((p . 1) ((u!`1 . 2) ((u!`2 . 6) ((x . 1) . 6))))) (((expt u p) . 1) ((p . 1) ((u!`1 . 4) ((u!`2 . 4) ((x . 1) . -6))))) ((p . 1) ((u!`1 . 6) ( (u!`2 . 2) ((x . 1) . 2))))) ((c_17 . 1) ((t . 1) ((u!`1 . 1) . 4)))) . 1)) (((( ((df c_17 u!`2) . 1) (((expt u p) . 1) ((t . 1) ((u!`2 . 3) . 1))) ((t . 1) (( u!`1 . 2) ((u!`2 . 1) . -1)))) (((df c_18 u!`2) . 1) (((expt u p) . 3) ((p . 1) ((t . 1) ((u!`2 . 9) . 2)))) (((expt u p) . 2) ((p . 1) ((t . 1) ((u!`1 . 2) (( u!`2 . 7) . -6))))) (((expt u p) . 1) ((p . 1) ((t . 1) ((u!`1 . 4) ((u!`2 . 5) . 6))))) ((p . 1) ((t . 1) ((u!`1 . 6) ((u!`2 . 3) . -2))))) (((df c_3 u!`2) . 1) (((expt u p) . 3) ((p . 1) ((u!`2 . 9) . -2))) (((expt u p) . 2) ((p . 1) (( u!`1 . 2) ((u!`2 . 7) . 6)))) (((expt u p) . 1) ((p . 1) ((u!`1 . 4) ((u!`2 . 5) . -6)))) ((p . 1) ((u!`1 . 6) ((u!`2 . 3) . 2)))) (((df c_4 u!`2) . 1) (((expt u p) . 3) ((p . 1) ((u!`2 . 9) ((x . 1) . -2)))) (((expt u p) . 2) ((p . 1) (( u!`1 . 2) ((u!`2 . 7) ((x . 1) . 6))))) (((expt u p) . 1) ((p . 1) ((u!`1 . 4) ( (u!`2 . 5) ((x . 1) . -6))))) ((p . 1) ((u!`1 . 6) ((u!`2 . 3) ((x . 1) . 2))))) (((expt u p) . 1) ((c_17 . 1) ((t . 1) ((u!`2 . 2) . -6)))) ((c_17 . 1) ((t . 1) ((u!`1 . 2) . 2)))) . 1)))) nil nil nil nil 28950662 ((subst c_5 nil) (subst c_5 59) (27 146 17 914 (df c_5 u!`1) 914 2) (27 145 17 348 (df c_4 u!`1) 348 2) ( subst c_14 nil) (27 143 17 417 (df c_5 u!`1) 417 3) (subst c_12 nil) (subst c_11 nil) (subst c_9 nil) (subst c_10 nil) (subst c_6 nil) (subst c_6 59) (27 127 17 242 (df c_6 u!`1) 242 2) (subst c_2 nil) (27 113 17 85 (df c_2 u!`1) 85 2) ( subst c_1 nil) (27 105 17 85 (df c_1 u!`1) 85 2) (subst q_1 nil) (27 92 84 17 ( df q_1 u!`1) 84 2) (27 91 11 17 (df q_1 u!`1) 11 2) (27 88 84 192 (df q_1 t 2 u) 192 2) (27 87 84 264 (df q_1 t 2 u!`1) 264 2) (27 86 11 188 (df q_1 u u!`2) 188 2) (27 85 11 160 (df q_1 u!`1 u!`2) 160 2) (27 75 84 124 (df q_1 t 2) 124 2) (27 72 97 84 (df q_1 t 2) 97 2) (27 69 97 208 (df q_1 u x 2) 208 2) (27 68 97 299 ( df q_1 u!`1 x 2) 299 2) (27 67 11 251 (df q_1 u u!`2) 251 2) (27 66 11 219 (df q_1 u!`1 u!`2) 219 2) (27 65 11 208 (df q_1 t 2 u!`2) 208 2) (27 57 89 102 (df q_1 t u!`1) 89 2) (27 56 89 467 (df q_1 t u u!`1) 467 2) (27 55 89 642 (df q_1 t u!`1 2) 642 2) (27 54 11 574 (df q_1 u u!`2) 574 2) (27 53 11 487 (df q_1 u!`1 u!`2) 487 2) (27 52 11 459 (df q_1 t 2 u!`2) 459 2) (27 51 11 383 (df q_1 u!`2 x 2) 383 2) (27 50 11 382 (df q_1 t u u!`2) 382 2) (27 48 89 332 (df q_1 t u!`1) 332 2) (27 47 89 203 (df q_1 t u!`1) 203 2) (27 46 89 96 (df q_1 t u!`1) 96 2) ( 27 44 96 130 (df q_1 u!`1 x) 130 2) (27 43 96 519 (df q_1 u u!`1 x) 519 2) (27 42 96 689 (df q_1 u!`1 2 x) 689 2) (27 41 11 655 (df q_1 u u!`2) 655 2) (27 40 11 613 (df q_1 u!`1 u!`2) 613 2) (27 39 11 597 (df q_1 t 2 u!`2) 597 2) (27 38 11 579 (df q_1 u!`2 x 2) 579 2) (27 37 11 567 (df q_1 t u u!`2) 567 2) (27 36 11 493 (df q_1 u u!`2 x) 493 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 95 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 ((e_59 e_62 e_61 e_64 e_73 e_49 e_74 e_76 e_75 e_77 e_63 e_78 e_65 e_79) e_34 e_58 e_2 e_33 e_17 e_35 e_4 e_9 e_26 e_25 e_8 e_57 e_1 e_27 e_55 e_23 e_11 e_13 e_90 e_86 e_67 e_66 e_80) 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_60 ((sqval (((p . 2) . 3) ((p . 1) . 5) . 2) . 1) (fac ((((p . 1) . 1) . 1) . 1) ((((p . 1) . 3) . 2) . 1)) (pval) (partitioned) (kern p) ( fct_kern_lin) (fct_kern_nli) (fcts p) (vars) (nvars . 0) (level 2 1 1 1 1 1 1 1 1) (derivs ((p) . 2)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) ( fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 3) (length . 3) (printlength . 6) (rational p) (nonrational) (allvarfcts p) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_70 ((sqval ((((df c_3 u) . 1) (((expt u p) . 1) ((u . 1) ((u!`2 . 2) . 3))) ((u . 1) ((u!`1 . 2) . 1)) ) (((df c_3 u!`2) . 1) (((expt u p) . 1) ((p . 1) ((u!`2 . 3) . -2))))) . 1) ( fac . 2) (pval plus (times 3 (expt u p) (df c_3 u) u (expt u!`2 2)) (times (df c_3 u) u (expt u!`1 2)) (minus (times 2 (expt u p) (df c_3 u!`2) p (expt u!`2 3) ))) (partitioned) (kern (df c_3 u) (df c_3 u!`2) (expt u p) p u!`2 u u!`1) ( fct_kern_lin) (fct_kern_nli) (fcts c_3 p) (vars u!`2 u!`1 u) (nvars . 3) (level 1 1 1 1 1 1 1) (derivs ((c_3 u!`2) . 1) ((c_3 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 . 17) (rational c_3) (nonrational p) (allvarfcts c_3) (starde) (dec_with) (dec_with_rl (0 e_72 e_68)) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint)) (e_71 ((sqval ((((df c_4 u) . 1) (((expt u p) . 1) ((u . 1) ((u!`2 . 2) . 3))) ((u . 1) ((u!`1 . 2) . 1))) (((df c_4 u!`2) . 1) (((expt u p) . 1) ((p . 1) ((u!`2 . 3) . -2))))) . 1) (fac . 2) (pval plus (times 3 (expt u p) (df c_4 u) u (expt u!`2 2)) (times (df c_4 u) u (expt u!`1 2 )) (minus (times 2 (expt u p) (df c_4 u!`2) p (expt u!`2 3)))) (partitioned) ( kern (df c_4 u) (df c_4 u!`2) (expt u p) p u!`2 u u!`1) (fct_kern_lin) ( fct_kern_nli) (fcts c_4 p) (vars u!`2 u!`1 u) (nvars . 3) (level 1 1 1 1 1 1 1) (derivs ((c_4 u!`2) . 1) ((c_4 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 . 17) (rational c_4) ( nonrational p) (allvarfcts c_4) (starde) (dec_with) (dec_with_rl (0 e_21 e_5 e_56 e_2 e_72 e_69)) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) ( to_symbol to_under to_diff to_decoup to_int to_fullint)) (e_68 ((sqval ((((df c_3 u) . 1) (((expt u p) . 1) ((u . 1) ((u!`2 . 2) . 1))) ((u . 1) ((u!`1 . 2) . 3))) (((df c_3 u!`1) . 1) (((expt u p) . 1) ((p . 1) ((u!`1 . 1) ((u!`2 . 2) . 2)))))) . 1) (fac . 2) (pval plus (times (expt u p) (df c_3 u) u (expt u!`2 2 )) (times 3 (df c_3 u) u (expt u!`1 2)) (times 2 (expt u p) (df c_3 u!`1) p u!`1 (expt u!`2 2))) (partitioned) (kern (df c_3 u) (df c_3 u!`1) (expt u p) p u!`1 u!`2 u) (fct_kern_lin) (fct_kern_nli) (fcts c_3 p) (vars u!`2 u!`1 u) (nvars . 3 ) (level 1 1 1 1 1 1 1) (derivs ((c_3 u!`1) . 1) ((c_3 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 . 17) ( rational c_3) (nonrational p) (allvarfcts c_3) (starde) (dec_with) (dec_with_rl (0 e_70)) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint)) (e_69 ((sqval ((((df c_4 u) . 1) (((expt u p) . 1) ((u . 1) ((u!`2 . 2) . 1))) ((u . 1) ((u!`1 . 2) . 3))) (((df c_4 u!`1) . 1) (((expt u p) . 1) ((p . 1) ((u!`1 . 1) ((u!`2 . 2) . 2)))))) . 1) (fac . 2) (pval plus (times (expt u p) (df c_4 u) u (expt u!`2 2)) (times 3 (df c_4 u) u (expt u!`1 2)) (times 2 (expt u p) (df c_4 u!`1) p u!`1 (expt u!`2 2))) (partitioned) (kern (df c_4 u) (df c_4 u!`1) (expt u p) p u!`1 u!`2 u) ( fct_kern_lin) (fct_kern_nli) (fcts c_4 p) (vars u!`2 u!`1 u) (nvars . 3) (level 1 1 1 1 1 1 1) (derivs ((c_4 u!`1) . 1) ((c_4 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 . 17) (rational c_4) (nonrational p) (allvarfcts c_4) (starde) (dec_with) (dec_with_rl (0 e_71)) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint)) (e_38 ((sqval ((((df c_17 u!`1) . 1) ((u!`1 . 1) . 1)) (((df c_18 u!`1) . 1) (((expt u p) . 2) ((p . 1) ((u!`1 . 1) ((u!`2 . 6) . 2)))) (((expt u p) . 1) ((p . 1) ((u!`1 . 3) ((u!`2 . 4) . -4)))) ((p . 1) ((u!`1 . 5) ((u!`2 . 2) . 2)))) ((c_17 . 1) . -1)) . 1) (fac . 2) (pval plus (times (df c_17 u!`1) u!`1) (times 2 (expt u (times 2 p)) (df c_18 u!`1) p u!`1 (expt u!`2 6)) (minus (times 4 (expt u p) (df c_18 u!`1) p (expt u!`1 3) (expt u!`2 4))) (times 2 (df c_18 u!`1) p (expt u!`1 5) (expt u!`2 2)) (minus c_17)) ( partitioned) (kern (df c_17 u!`1) (df c_18 u!`1) c_17 (expt u p) p u!`1 u!`2) ( fct_kern_lin) (fct_kern_nli) (fcts c_18 c_17 p) (vars u!`2 u!`1 u) (nvars . 3) ( level 1 1 1 1 1 1 1 1) (derivs ((c_18 u!`1) . 1) ((c_17 u!`1) . 1) ((c_17) . 1) ((p) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) ( fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 5) (length . 9) (printlength . 36) (rational c_18 c_17) (nonrational p) (allvarfcts) (starde (u) . 0) ( dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) ( to_symbol to_under to_diff to_decoup to_casesep to_gensep to_int to_fullint)) ( e_37 ((sqval ((((df c_17 u!`2) . 1) ((u!`2 . 1) . 1)) (((df c_18 u!`2) . 1) ((( expt u p) . 2) ((p . 1) ((u!`2 . 7) . 2))) (((expt u p) . 1) ((p . 1) ((u!`1 . 2 ) ((u!`2 . 5) . -4)))) ((p . 1) ((u!`1 . 4) ((u!`2 . 3) . 2)))) ((c_17 . 1) . -3 )) . 1) (fac . 2) (pval) (partitioned) (kern (df c_17 u!`2) (df c_18 u!`2) c_17 (expt u p) p u!`1 u!`2) (fct_kern_lin) (fct_kern_nli) (fcts c_18 c_17 p) (vars u!`2 u!`1 u) (nvars . 3) (level 1 1 1 1 1 1 1 1) (derivs ((c_18 u!`2) . 1) (( c_17 u!`2) . 1) ((c_17) . 1) ((p) . 1)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 5 ) (length . 9) (printlength . 36) (rational c_18 c_17) (nonrational p) ( allvarfcts) (starde (u) . 0) (dec_with) (dec_with_rl) (rl_with) (hom_deg) ( split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_casesep to_gensep to_sep to_int to_fullint)) (e_72 ((sqval ((((df c_3 u) . 1) (((expt u p) . 1) ((p . 3) ((u . 1) ((u!`2 . 3) . 4))) ((p . 2) ((u . 1) ((u!`2 . 3) . 40))) ((p . 1) ((u . 1) ((u!`2 . 3) . 128))) ((u . 1) ((u!`2 . 3) . 128) )) ((p . 3) ((u . 1) ((u!`1 . 2) ((u!`2 . 1) . 12)))) ((p . 2) ((u . 1) ((u!`1 . 2) ((u!`2 . 1) . 120)))) ((p . 1) ((u . 1) ((u!`1 . 2) ((u!`2 . 1) . 384)))) ((u . 1) ((u!`1 . 2) ((u!`2 . 1) . 384)))) (((df c_3 u!`1) . 1) (((expt u p) . 1 ) ((p . 4) ((u!`1 . 1) ((u!`2 . 3) . 8))) ((p . 3) ((u!`1 . 1) ((u!`2 . 3) . 80) )) ((p . 2) ((u!`1 . 1) ((u!`2 . 3) . 256))) ((p . 1) ((u!`1 . 1) ((u!`2 . 3) . 256))))) (((df c_4 u) . 1) (((expt u p) . 1) ((p . 2) ((u . 2) ((u!`2 . 2) . -4) )) ((p . 1) ((u . 2) ((u!`2 . 2) . 16)))) ((p . 2) ((u . 2) ((u!`1 . 2) . -4))) ((p . 1) ((u . 2) ((u!`1 . 2) . 16)))) (((df c_4 u!`1) . 1) (((expt u p) . 1) (( p . 3) ((u . 1) ((u!`1 . 1) ((u!`2 . 2) . -5)))) ((p . 2) ((u . 1) ((u!`1 . 1) ( (u!`2 . 2) . 20))))) ((p . 3) ((u . 1) ((u!`1 . 3) . 1))) ((p . 2) ((u . 1) (( u!`1 . 3) . -4))))) . 1) (fac . 2) (pval plus (times 4 (expt u p) (df c_3 u) ( expt p 3) u (expt u!`2 3)) (times 40 (expt u p) (df c_3 u) (expt p 2) u (expt u!`2 3)) (times 128 (expt u p) (df c_3 u) p u (expt u!`2 3)) (times 128 (expt u p) (df c_3 u) u (expt u!`2 3)) (times 12 (df c_3 u) (expt p 3) u (expt u!`1 2) u!`2) (times 120 (df c_3 u) (expt p 2) u (expt u!`1 2) u!`2) (times 384 (df c_3 u) p u (expt u!`1 2) u!`2) (times 384 (df c_3 u) u (expt u!`1 2) u!`2) (times 8 (expt u p) (df c_3 u!`1) (expt p 4) u!`1 (expt u!`2 3)) (times 80 (expt u p) (df c_3 u!`1) (expt p 3) u!`1 (expt u!`2 3)) (times 256 (expt u p) (df c_3 u!`1) ( expt p 2) u!`1 (expt u!`2 3)) (times 256 (expt u p) (df c_3 u!`1) p u!`1 (expt u!`2 3)) (minus (times 4 (expt u p) (df c_4 u) (expt p 2) (expt u 2) (expt u!`2 2))) (times 16 (expt u p) (df c_4 u) p (expt u 2) (expt u!`2 2)) (minus (times 4 (df c_4 u) (expt p 2) (expt u 2) (expt u!`1 2))) (times 16 (df c_4 u) p (expt u 2) (expt u!`1 2)) (minus (times 5 (expt u p) (df c_4 u!`1) (expt p 3) u u!`1 ( expt u!`2 2))) (times 20 (expt u p) (df c_4 u!`1) (expt p 2) u u!`1 (expt u!`2 2 )) (times (df c_4 u!`1) (expt p 3) u (expt u!`1 3)) (minus (times 4 (df c_4 u!`1 ) (expt p 2) u (expt u!`1 3)))) (partitioned) (kern (df c_3 u) (df c_3 u!`1) (df c_4 u) (df c_4 u!`1) (expt u p) p u u!`1 u!`2) (fct_kern_lin) (fct_kern_nli) ( fcts c_4 c_3 p) (vars u!`2 u!`1 u) (nvars . 3) (level 1 1 1 1 1 1 1) (derivs (( c_4 u!`1) . 1) ((c_4 u) . 1) ((c_3 u!`1) . 1) ((c_3 u) . 1) ((p) . 4) ((p) . 3) ((p) . 2)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) ( fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 20) (length . 46) (printlength . 146) (rational c_4 c_3) (nonrational p) (allvarfcts c_4 c_3) (starde) ( dec_with) (dec_with_rl (0 e_71 e_70)) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint)) (e_39 (( sqval ((((df c_17 u!`1) . 1) (((expt u p) . 1) ((p . 2) ((u . 1) ((u!`2 . 2) . 15))) ((p . 1) ((u . 1) ((u!`2 . 2) . 12)))) ((p . 2) ((u . 1) ((u!`1 . 2) . 5)) ) ((p . 1) ((u . 1) ((u!`1 . 2) . 4)))) (((df c_18 u!`1) . 1) (((expt u p) . 3) ((p . 3) ((u . 1) ((u!`2 . 8) . 30))) ((p . 2) ((u . 1) ((u!`2 . 8) . 24)))) ((( expt u p) . 2) ((p . 3) ((u . 1) ((u!`1 . 2) ((u!`2 . 6) . -50)))) ((p . 2) ((u . 1) ((u!`1 . 2) ((u!`2 . 6) . -40))))) (((expt u p) . 1) ((p . 3) ((u . 1) (( u!`1 . 4) ((u!`2 . 4) . 10)))) ((p . 2) ((u . 1) ((u!`1 . 4) ((u!`2 . 4) . 8)))) ) ((p . 3) ((u . 1) ((u!`1 . 6) ((u!`2 . 2) . 10)))) ((p . 2) ((u . 1) ((u!`1 . 6) ((u!`2 . 2) . 8))))) (((df c_3 u) . 1) (((expt u p) . 3) ((p . 3) ((u . 1) (( u!`2 . 8) . 72))) ((p . 2) ((u . 1) ((u!`2 . 8) . 336))) ((p . 1) ((u . 1) ((u!`2 . 8) . 512))) ((u . 1) ((u!`2 . 8) . 256))) (((expt u p) . 2) ((p . 3) ((u . 1) ((u!`1 . 2) ((u!`2 . 6) . 72)))) ((p . 2) ((u . 1) ((u!`1 . 2) ((u!`2 . 6) . 336 )))) ((p . 1) ((u . 1) ((u!`1 . 2) ((u!`2 . 6) . 512)))) ((u . 1) ((u!`1 . 2) (( u!`2 . 6) . 256)))) (((expt u p) . 1) ((p . 3) ((u . 1) ((u!`1 . 4) ((u!`2 . 4) . -360)))) ((p . 2) ((u . 1) ((u!`1 . 4) ((u!`2 . 4) . -1680)))) ((p . 1) ((u . 1) ((u!`1 . 4) ((u!`2 . 4) . -2560)))) ((u . 1) ((u!`1 . 4) ((u!`2 . 4) . -1280)))) ((p . 3) ((u . 1) ((u!`1 . 6) ((u!`2 . 2) . 216)))) ((p . 2) ((u . 1) ((u!`1 . 6) ((u!`2 . 2) . 1008)))) ((p . 1) ((u . 1) ((u!`1 . 6) ((u!`2 . 2) . 1536)))) ((u . 1) ((u!`1 . 6) ((u!`2 . 2) . 768)))) (((df c_3 u!`1) . 1) (((expt u p) . 3) ((p . 4) ((u!`1 . 1) ((u!`2 . 8) . 144))) ((p . 3) ((u!`1 . 1) ((u!`2 . 8) . 672))) ((p . 2) ((u!`1 . 1) ((u!`2 . 8) . 1024))) ((p . 1) ((u!`1 . 1) ( (u!`2 . 8) . 512)))) (((expt u p) . 2) ((p . 4) ((u!`1 . 3) ((u!`2 . 6) . -288)) ) ((p . 3) ((u!`1 . 3) ((u!`2 . 6) . -1344))) ((p . 2) ((u!`1 . 3) ((u!`2 . 6) . -2048))) ((p . 1) ((u!`1 . 3) ((u!`2 . 6) . -1024)))) (((expt u p) . 1) ((p . 4) ((u!`1 . 5) ((u!`2 . 4) . 144))) ((p . 3) ((u!`1 . 5) ((u!`2 . 4) . 672))) ((p . 2) ((u!`1 . 5) ((u!`2 . 4) . 1024))) ((p . 1) ((u!`1 . 5) ((u!`2 . 4) . 512))))) ((c_17 . 1) ((p . 2) ((u . 1) ((u!`1 . 1) . -20))) ((p . 1) ((u . 1) (( u!`1 . 1) . -16))))) . 1) (fac . 2) (pval plus (times 15 (expt u p) (df c_17 u!`1 ) (expt p 2) u (expt u!`2 2)) (times 12 (expt u p) (df c_17 u!`1) p u (expt u!`2 2)) (times 5 (df c_17 u!`1) (expt p 2) u (expt u!`1 2)) (times 4 (df c_17 u!`1) p u (expt u!`1 2)) (times 30 (expt u (times 3 p)) (df c_18 u!`1) (expt p 3) u ( expt u!`2 8)) (times 24 (expt u (times 3 p)) (df c_18 u!`1) (expt p 2) u (expt u!`2 8)) (minus (times 50 (expt u (times 2 p)) (df c_18 u!`1) (expt p 3) u (expt u!`1 2) (expt u!`2 6))) (minus (times 40 (expt u (times 2 p)) (df c_18 u!`1) ( expt p 2) u (expt u!`1 2) (expt u!`2 6))) (times 10 (expt u p) (df c_18 u!`1) ( expt p 3) u (expt u!`1 4) (expt u!`2 4)) (times 8 (expt u p) (df c_18 u!`1) ( expt p 2) u (expt u!`1 4) (expt u!`2 4)) (times 10 (df c_18 u!`1) (expt p 3) u ( expt u!`1 6) (expt u!`2 2)) (times 8 (df c_18 u!`1) (expt p 2) u (expt u!`1 6) ( expt u!`2 2)) (times 72 (expt u (times 3 p)) (df c_3 u) (expt p 3) u (expt u!`2 8)) (times 336 (expt u (times 3 p)) (df c_3 u) (expt p 2) u (expt u!`2 8)) ( times 512 (expt u (times 3 p)) (df c_3 u) p u (expt u!`2 8)) (times 256 (expt u (times 3 p)) (df c_3 u) u (expt u!`2 8)) (times 72 (expt u (times 2 p)) (df c_3 u) (expt p 3) u (expt u!`1 2) (expt u!`2 6)) (times 336 (expt u (times 2 p)) (df c_3 u) (expt p 2) u (expt u!`1 2) (expt u!`2 6)) (times 512 (expt u (times 2 p)) (df c_3 u) p u (expt u!`1 2) (expt u!`2 6)) (times 256 (expt u (times 2 p)) (df c_3 u) u (expt u!`1 2) (expt u!`2 6)) (minus (times 360 (expt u p) (df c_3 u) ( expt p 3) u (expt u!`1 4) (expt u!`2 4))) (minus (times 1680 (expt u p) (df c_3 u) (expt p 2) u (expt u!`1 4) (expt u!`2 4))) (minus (times 2560 (expt u p) (df c_3 u) p u (expt u!`1 4) (expt u!`2 4))) (minus (times 1280 (expt u p) (df c_3 u ) u (expt u!`1 4) (expt u!`2 4))) (times 216 (df c_3 u) (expt p 3) u (expt u!`1 6) (expt u!`2 2)) (times 1008 (df c_3 u) (expt p 2) u (expt u!`1 6) (expt u!`2 2 )) (times 1536 (df c_3 u) p u (expt u!`1 6) (expt u!`2 2)) (times 768 (df c_3 u) u (expt u!`1 6) (expt u!`2 2)) (times 144 (expt u (times 3 p)) (df c_3 u!`1) ( expt p 4) u!`1 (expt u!`2 8)) (times 672 (expt u (times 3 p)) (df c_3 u!`1) ( expt p 3) u!`1 (expt u!`2 8)) (times 1024 (expt u (times 3 p)) (df c_3 u!`1) ( expt p 2) u!`1 (expt u!`2 8)) (times 512 (expt u (times 3 p)) (df c_3 u!`1) p u!`1 (expt u!`2 8)) (minus (times 288 (expt u (times 2 p)) (df c_3 u!`1) (expt p 4) (expt u!`1 3) (expt u!`2 6))) (minus (times 1344 (expt u (times 2 p)) (df c_3 u!`1) (expt p 3) (expt u!`1 3) (expt u!`2 6))) (minus (times 2048 (expt u (times 2 p)) (df c_3 u!`1) (expt p 2) (expt u!`1 3) (expt u!`2 6))) (minus (times 1024 (expt u (times 2 p)) (df c_3 u!`1) p (expt u!`1 3) (expt u!`2 6))) (times 144 ( expt u p) (df c_3 u!`1) (expt p 4) (expt u!`1 5) (expt u!`2 4)) (times 672 (expt u p) (df c_3 u!`1) (expt p 3) (expt u!`1 5) (expt u!`2 4)) (times 1024 (expt u p ) (df c_3 u!`1) (expt p 2) (expt u!`1 5) (expt u!`2 4)) (times 512 (expt u p) ( df c_3 u!`1) p (expt u!`1 5) (expt u!`2 4)) (minus (times 20 c_17 (expt p 2) u u!`1)) (minus (times 16 c_17 p u u!`1))) (partitioned) (kern (df c_17 u!`1) (df c_18 u!`1) (df c_3 u) (df c_3 u!`1) c_17 p u u!`1 (expt u p) u!`2) (fct_kern_lin ) (fct_kern_nli) (fcts c_3 c_18 c_17 p) (vars u!`2 u!`1 u) (nvars . 3) (level 1 1 1 1 1 1 1 1) (derivs ((c_3 u!`1) . 1) ((c_3 u) . 1) ((c_18 u!`1) . 1) ((c_17 u!`1) . 1) ((c_17) . 1) ((p) . 4) ((p) . 3) ((p) . 2)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) ( fct_nli_nus) (terms . 42) (length . 107) (printlength . 489) (rational c_3 c_18 c_17) (nonrational p) (allvarfcts c_3) (starde) (dec_with) (dec_with_rl) ( rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint)) (e_56 ((sqval ((((df c_4 u 2) . 1) (((expt u p) . 5) ((p . 2) ((u . 2) ((u!`2 . 10) . 30))) ((p . 1) ((u . 2) ((u!`2 . 10) . -96)) ) ((u . 2) ((u!`2 . 10) . -96))) (((expt u p) . 4) ((p . 2) ((u . 2) ((u!`1 . 2) ((u!`2 . 8) . -150)))) ((p . 1) ((u . 2) ((u!`1 . 2) ((u!`2 . 8) . 480)))) ((u . 2) ((u!`1 . 2) ((u!`2 . 8) . 480)))) (((expt u p) . 3) ((p . 2) ((u . 2) (( u!`1 . 4) ((u!`2 . 6) . 300)))) ((p . 1) ((u . 2) ((u!`1 . 4) ((u!`2 . 6) . -960 )))) ((u . 2) ((u!`1 . 4) ((u!`2 . 6) . -960)))) (((expt u p) . 2) ((p . 2) ((u . 2) ((u!`1 . 6) ((u!`2 . 4) . -300)))) ((p . 1) ((u . 2) ((u!`1 . 6) ((u!`2 . 4) . 960)))) ((u . 2) ((u!`1 . 6) ((u!`2 . 4) . 960)))) (((expt u p) . 1) ((p . 2) ((u . 2) ((u!`1 . 8) ((u!`2 . 2) . 150)))) ((p . 1) ((u . 2) ((u!`1 . 8) (( u!`2 . 2) . -480)))) ((u . 2) ((u!`1 . 8) ((u!`2 . 2) . -480)))) ((p . 2) ((u . 2) ((u!`1 . 10) . -30))) ((p . 1) ((u . 2) ((u!`1 . 10) . 96))) ((u . 2) ((u!`1 . 10) . 96))) (((df c_4 u) . 1) (((expt u p) . 5) ((p . 3) ((u . 1) ((u!`2 . 10 ) . 297))) ((p . 2) ((u . 1) ((u!`2 . 10) . 966))) ((p . 1) ((u . 1) ((u!`2 . 10 ) . 1488))) ((u . 1) ((u!`2 . 10) . 1056))) (((expt u p) . 4) ((p . 3) ((u . 1) ((u!`1 . 2) ((u!`2 . 8) . -223)))) ((p . 2) ((u . 1) ((u!`1 . 2) ((u!`2 . 8) . 354)))) ((p . 1) ((u . 1) ((u!`1 . 2) ((u!`2 . 8) . 912)))) ((u . 1) ((u!`1 . 2) ((u!`2 . 8) . 352)))) (((expt u p) . 3) ((p . 3) ((u . 1) ((u!`1 . 4) ((u!`2 . 6 ) . -1182)))) ((p . 2) ((u . 1) ((u!`1 . 4) ((u!`2 . 6) . -7236)))) ((p . 1) ((u . 1) ((u!`1 . 4) ((u!`2 . 6) . -12384)))) ((u . 1) ((u!`1 . 4) ((u!`2 . 6) . -7872)))) (((expt u p) . 2) ((p . 3) ((u . 1) ((u!`1 . 6) ((u!`2 . 4) . 1914)))) ((p . 2) ((u . 1) ((u!`1 . 6) ((u!`2 . 4) . 9924)))) ((p . 1) ((u . 1) ((u!`1 . 6) ((u!`2 . 4) . 16800)))) ((u . 1) ((u!`1 . 6) ((u!`2 . 4) . 10944)))) (((expt u p) . 1) ((p . 3) ((u . 1) ((u!`1 . 8) ((u!`2 . 2) . -875)))) ((p . 2) ((u . 1) ((u!`1 . 8) ((u!`2 . 2) . -4386)))) ((p . 1) ((u . 1) ((u!`1 . 8) ((u!`2 . 2) . -7536)))) ((u . 1) ((u!`1 . 8) ((u!`2 . 2) . -4960)))) ((p . 3) ((u . 1) ((u!`1 . 10) . 69))) ((p . 2) ((u . 1) ((u!`1 . 10) . 378))) ((p . 1) ((u . 1) ((u!`1 . 10) . 720))) ((u . 1) ((u!`1 . 10) . 480))) (((df c_4 u!`1) . 1) (((expt u p) . 5) ((p . 4) ((u!`1 . 1) ((u!`2 . 10) . 474))) ((p . 3) ((u!`1 . 1) ((u!`2 . 10) . 2256))) ((p . 2) ((u!`1 . 1) ((u!`2 . 10) . 3552))) ((p . 1) ((u!`1 . 1) ( (u!`2 . 10) . 2304)))) (((expt u p) . 4) ((p . 4) ((u!`1 . 3) ((u!`2 . 8) . -1448))) ((p . 3) ((u!`1 . 3) ((u!`2 . 8) . -7104))) ((p . 2) ((u!`1 . 3) ((u!`2 . 8) . -11136))) ((p . 1) ((u!`1 . 3) ((u!`2 . 8) . -7168)))) (((expt u p) . 3) ((p . 4) ((u!`1 . 5) ((u!`2 . 6) . 1500))) ((p . 3) ((u!`1 . 5) ((u!`2 . 6) . 7776))) ((p . 2) ((u!`1 . 5) ((u!`2 . 6) . 12096))) ((p . 1) ((u!`1 . 5) ((u!`2 . 6) . 7680)))) (((expt u p) . 2) ((p . 4) ((u!`1 . 7) ((u!`2 . 4) . -552))) (( p . 3) ((u!`1 . 7) ((u!`2 . 4) . -3264))) ((p . 2) ((u!`1 . 7) ((u!`2 . 4) . -4992))) ((p . 1) ((u!`1 . 7) ((u!`2 . 4) . -3072)))) (((expt u p) . 1) ((p . 4) ((u!`1 . 9) ((u!`2 . 2) . 26))) ((p . 3) ((u!`1 . 9) ((u!`2 . 2) . 336))) ((p . 2) ((u!`1 . 9) ((u!`2 . 2) . 480))) ((p . 1) ((u!`1 . 9) ((u!`2 . 2) . 256)))))) . 1) (fac . 2) (pval plus (times 30 (expt u (times 5 p)) (df c_4 u 2) (expt p 2 ) (expt u 2) (expt u!`2 10)) (minus (times 96 (expt u (times 5 p)) (df c_4 u 2) p (expt u 2) (expt u!`2 10))) (minus (times 96 (expt u (times 5 p)) (df c_4 u 2) (expt u 2) (expt u!`2 10))) (minus (times 150 (expt u (times 4 p)) (df c_4 u 2) (expt p 2) (expt u 2) (expt u!`1 2) (expt u!`2 8))) (times 480 (expt u (times 4 p)) (df c_4 u 2) p (expt u 2) (expt u!`1 2) (expt u!`2 8)) (times 480 (expt u ( times 4 p)) (df c_4 u 2) (expt u 2) (expt u!`1 2) (expt u!`2 8)) (times 300 ( expt u (times 3 p)) (df c_4 u 2) (expt p 2) (expt u 2) (expt u!`1 4) (expt u!`2 6)) (minus (times 960 (expt u (times 3 p)) (df c_4 u 2) p (expt u 2) (expt u!`1 4) (expt u!`2 6))) (minus (times 960 (expt u (times 3 p)) (df c_4 u 2) (expt u 2 ) (expt u!`1 4) (expt u!`2 6))) (minus (times 300 (expt u (times 2 p)) (df c_4 u 2) (expt p 2) (expt u 2) (expt u!`1 6) (expt u!`2 4))) (times 960 (expt u (times 2 p)) (df c_4 u 2) p (expt u 2) (expt u!`1 6) (expt u!`2 4)) (times 960 (expt u (times 2 p)) (df c_4 u 2) (expt u 2) (expt u!`1 6) (expt u!`2 4)) (times 150 ( expt u p) (df c_4 u 2) (expt p 2) (expt u 2) (expt u!`1 8) (expt u!`2 2)) (minus (times 480 (expt u p) (df c_4 u 2) p (expt u 2) (expt u!`1 8) (expt u!`2 2))) ( minus (times 480 (expt u p) (df c_4 u 2) (expt u 2) (expt u!`1 8) (expt u!`2 2)) ) (minus (times 30 (df c_4 u 2) (expt p 2) (expt u 2) (expt u!`1 10))) (times 96 (df c_4 u 2) p (expt u 2) (expt u!`1 10)) (times 96 (df c_4 u 2) (expt u 2) ( expt u!`1 10)) (times 297 (expt u (times 5 p)) (df c_4 u) (expt p 3) u (expt u!`2 10)) (times 966 (expt u (times 5 p)) (df c_4 u) (expt p 2) u (expt u!`2 10)) ( times 1488 (expt u (times 5 p)) (df c_4 u) p u (expt u!`2 10)) (times 1056 (expt u (times 5 p)) (df c_4 u) u (expt u!`2 10)) (minus (times 223 (expt u (times 4 p )) (df c_4 u) (expt p 3) u (expt u!`1 2) (expt u!`2 8))) (times 354 (expt u ( times 4 p)) (df c_4 u) (expt p 2) u (expt u!`1 2) (expt u!`2 8)) (times 912 ( expt u (times 4 p)) (df c_4 u) p u (expt u!`1 2) (expt u!`2 8)) (times 352 (expt u (times 4 p)) (df c_4 u) u (expt u!`1 2) (expt u!`2 8)) (minus (times 1182 ( expt u (times 3 p)) (df c_4 u) (expt p 3) u (expt u!`1 4) (expt u!`2 6))) (minus (times 7236 (expt u (times 3 p)) (df c_4 u) (expt p 2) u (expt u!`1 4) (expt u!`2 6))) (minus (times 12384 (expt u (times 3 p)) (df c_4 u) p u (expt u!`1 4) (expt u!`2 6))) (minus (times 7872 (expt u (times 3 p)) (df c_4 u) u (expt u!`1 4) ( expt u!`2 6))) (times 1914 (expt u (times 2 p)) (df c_4 u) (expt p 3) u (expt u!`1 6) (expt u!`2 4)) (times 9924 (expt u (times 2 p)) (df c_4 u) (expt p 2) u (expt u!`1 6) (expt u!`2 4)) (times 16800 (expt u (times 2 p)) (df c_4 u) p u ( expt u!`1 6) (expt u!`2 4)) (times 10944 (expt u (times 2 p)) (df c_4 u) u (expt u!`1 6) (expt u!`2 4)) (minus (times 875 (expt u p) (df c_4 u) (expt p 3) u ( expt u!`1 8) (expt u!`2 2))) (minus (times 4386 (expt u p) (df c_4 u) (expt p 2) u (expt u!`1 8) (expt u!`2 2))) (minus (times 7536 (expt u p) (df c_4 u) p u ( expt u!`1 8) (expt u!`2 2))) (minus (times 4960 (expt u p) (df c_4 u) u (expt u!`1 8) (expt u!`2 2))) (times 69 (df c_4 u) (expt p 3) u (expt u!`1 10)) (times 378 (df c_4 u) (expt p 2) u (expt u!`1 10)) (times 720 (df c_4 u) p u (expt u!`1 10)) (times 480 (df c_4 u) u (expt u!`1 10)) (times 474 (expt u (times 5 p)) (df c_4 u!`1) (expt p 4) u!`1 (expt u!`2 10)) (times 2256 (expt u (times 5 p)) (df c_4 u!`1) (expt p 3) u!`1 (expt u!`2 10)) (times 3552 (expt u (times 5 p)) (df c_4 u!`1) (expt p 2) u!`1 (expt u!`2 10)) (times 2304 (expt u (times 5 p)) (df c_4 u!`1) p u!`1 (expt u!`2 10)) (minus (times 1448 (expt u (times 4 p)) (df c_4 u!`1) (expt p 4) (expt u!`1 3) (expt u!`2 8))) (minus (times 7104 (expt u (times 4 p)) (df c_4 u!`1) (expt p 3) (expt u!`1 3) (expt u!`2 8))) (minus (times 11136 (expt u (times 4 p)) (df c_4 u!`1) (expt p 2) (expt u!`1 3) (expt u!`2 8))) ( minus (times 7168 (expt u (times 4 p)) (df c_4 u!`1) p (expt u!`1 3) (expt u!`2 8))) (times 1500 (expt u (times 3 p)) (df c_4 u!`1) (expt p 4) (expt u!`1 5) ( expt u!`2 6)) (times 7776 (expt u (times 3 p)) (df c_4 u!`1) (expt p 3) (expt u!`1 5) (expt u!`2 6)) (times 12096 (expt u (times 3 p)) (df c_4 u!`1) (expt p 2 ) (expt u!`1 5) (expt u!`2 6)) (times 7680 (expt u (times 3 p)) (df c_4 u!`1) p (expt u!`1 5) (expt u!`2 6)) (minus (times 552 (expt u (times 2 p)) (df c_4 u!`1 ) (expt p 4) (expt u!`1 7) (expt u!`2 4))) (minus (times 3264 (expt u (times 2 p )) (df c_4 u!`1) (expt p 3) (expt u!`1 7) (expt u!`2 4))) (minus (times 4992 ( expt u (times 2 p)) (df c_4 u!`1) (expt p 2) (expt u!`1 7) (expt u!`2 4))) ( minus (times 3072 (expt u (times 2 p)) (df c_4 u!`1) p (expt u!`1 7) (expt u!`2 4))) (times 26 (expt u p) (df c_4 u!`1) (expt p 4) (expt u!`1 9) (expt u!`2 2)) (times 336 (expt u p) (df c_4 u!`1) (expt p 3) (expt u!`1 9) (expt u!`2 2)) ( times 480 (expt u p) (df c_4 u!`1) (expt p 2) (expt u!`1 9) (expt u!`2 2)) ( times 256 (expt u p) (df c_4 u!`1) p (expt u!`1 9) (expt u!`2 2))) (partitioned) (kern (df c_4 u 2) (df c_4 u) (df c_4 u!`1) (expt u p) p u!`1 u!`2 u) ( fct_kern_lin) (fct_kern_nli) (fcts c_4 p) (vars u!`2 u!`1 u) (nvars . 3) (level 1 1 1 1 1 1 1 1) (derivs ((c_4 u 2) . 1) ((c_4 u!`1) . 1) ((c_4 u) . 1) ((p) . 4 ) ((p) . 3) ((p) . 2)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) ( fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 62) (length . 152) (printlength . 914) (rational c_4) (nonrational p) (allvarfcts c_4) (starde ) (dec_with) (dec_with_rl (0 e_21 e_5 e_71)) (rl_with) (hom_deg) (split_test) ( linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint)) ( e_40 ((sqval ((((df c_3 u 2) . 1) (((expt u p) . 5) ((p . 2) ((u . 2) ((u!`2 . 10) . 30))) ((p . 1) ((u . 2) ((u!`2 . 10) . -96))) ((u . 2) ((u!`2 . 10) . -96) )) (((expt u p) . 4) ((p . 2) ((u . 2) ((u!`1 . 2) ((u!`2 . 8) . -150)))) ((p . 1) ((u . 2) ((u!`1 . 2) ((u!`2 . 8) . 480)))) ((u . 2) ((u!`1 . 2) ((u!`2 . 8) . 480)))) (((expt u p) . 3) ((p . 2) ((u . 2) ((u!`1 . 4) ((u!`2 . 6) . 300)))) ((p . 1) ((u . 2) ((u!`1 . 4) ((u!`2 . 6) . -960)))) ((u . 2) ((u!`1 . 4) ((u!`2 . 6) . -960)))) (((expt u p) . 2) ((p . 2) ((u . 2) ((u!`1 . 6) ((u!`2 . 4) . -300)))) ((p . 1) ((u . 2) ((u!`1 . 6) ((u!`2 . 4) . 960)))) ((u . 2) ((u!`1 . 6 ) ((u!`2 . 4) . 960)))) (((expt u p) . 1) ((p . 2) ((u . 2) ((u!`1 . 8) ((u!`2 . 2) . 150)))) ((p . 1) ((u . 2) ((u!`1 . 8) ((u!`2 . 2) . -480)))) ((u . 2) (( u!`1 . 8) ((u!`2 . 2) . -480)))) ((p . 2) ((u . 2) ((u!`1 . 10) . -30))) ((p . 1 ) ((u . 2) ((u!`1 . 10) . 96))) ((u . 2) ((u!`1 . 10) . 96))) (((df c_3 u) . 1) (((expt u p) . 5) ((p . 3) ((u . 1) ((u!`2 . 10) . 297))) ((p . 2) ((u . 1) (( u!`2 . 10) . 966))) ((p . 1) ((u . 1) ((u!`2 . 10) . 1488))) ((u . 1) ((u!`2 . 10) . 1056))) (((expt u p) . 4) ((p . 3) ((u . 1) ((u!`1 . 2) ((u!`2 . 8) . -223 )))) ((p . 2) ((u . 1) ((u!`1 . 2) ((u!`2 . 8) . 354)))) ((p . 1) ((u . 1) ((u!`1 . 2) ((u!`2 . 8) . 912)))) ((u . 1) ((u!`1 . 2) ((u!`2 . 8) . 352)))) (((expt u p) . 3) ((p . 3) ((u . 1) ((u!`1 . 4) ((u!`2 . 6) . -1182)))) ((p . 2) ((u . 1) ((u!`1 . 4) ((u!`2 . 6) . -7236)))) ((p . 1) ((u . 1) ((u!`1 . 4) ((u!`2 . 6) . -12384)))) ((u . 1) ((u!`1 . 4) ((u!`2 . 6) . -7872)))) (((expt u p) . 2) ((p . 3) ((u . 1) ((u!`1 . 6) ((u!`2 . 4) . 1914)))) ((p . 2) ((u . 1) ((u!`1 . 6) (( u!`2 . 4) . 9924)))) ((p . 1) ((u . 1) ((u!`1 . 6) ((u!`2 . 4) . 16800)))) ((u . 1) ((u!`1 . 6) ((u!`2 . 4) . 10944)))) (((expt u p) . 1) ((p . 3) ((u . 1) (( u!`1 . 8) ((u!`2 . 2) . -875)))) ((p . 2) ((u . 1) ((u!`1 . 8) ((u!`2 . 2) . -4386)))) ((p . 1) ((u . 1) ((u!`1 . 8) ((u!`2 . 2) . -7536)))) ((u . 1) ((u!`1 . 8) ((u!`2 . 2) . -4960)))) ((p . 3) ((u . 1) ((u!`1 . 10) . 69))) ((p . 2) (( u . 1) ((u!`1 . 10) . 378))) ((p . 1) ((u . 1) ((u!`1 . 10) . 720))) ((u . 1) (( u!`1 . 10) . 480))) (((df c_3 u!`1) . 1) (((expt u p) . 5) ((p . 4) ((u!`1 . 1) ((u!`2 . 10) . 474))) ((p . 3) ((u!`1 . 1) ((u!`2 . 10) . 2256))) ((p . 2) ((u!`1 . 1) ((u!`2 . 10) . 3552))) ((p . 1) ((u!`1 . 1) ((u!`2 . 10) . 2304)))) ((( expt u p) . 4) ((p . 4) ((u!`1 . 3) ((u!`2 . 8) . -1448))) ((p . 3) ((u!`1 . 3) ((u!`2 . 8) . -7104))) ((p . 2) ((u!`1 . 3) ((u!`2 . 8) . -11136))) ((p . 1) (( u!`1 . 3) ((u!`2 . 8) . -7168)))) (((expt u p) . 3) ((p . 4) ((u!`1 . 5) ((u!`2 . 6) . 1500))) ((p . 3) ((u!`1 . 5) ((u!`2 . 6) . 7776))) ((p . 2) ((u!`1 . 5) ((u!`2 . 6) . 12096))) ((p . 1) ((u!`1 . 5) ((u!`2 . 6) . 7680)))) (((expt u p) . 2) ((p . 4) ((u!`1 . 7) ((u!`2 . 4) . -552))) ((p . 3) ((u!`1 . 7) ((u!`2 . 4 ) . -3264))) ((p . 2) ((u!`1 . 7) ((u!`2 . 4) . -4992))) ((p . 1) ((u!`1 . 7) (( u!`2 . 4) . -3072)))) (((expt u p) . 1) ((p . 4) ((u!`1 . 9) ((u!`2 . 2) . 26))) ((p . 3) ((u!`1 . 9) ((u!`2 . 2) . 336))) ((p . 2) ((u!`1 . 9) ((u!`2 . 2) . 480 ))) ((p . 1) ((u!`1 . 9) ((u!`2 . 2) . 256))))) (((df c_4 u) . 1) (((expt u p) . 5) ((p . 2) ((u . 2) ((u!`2 . 9) . -180))) ((p . 1) ((u . 2) ((u!`2 . 9) . 576))) ((u . 2) ((u!`2 . 9) . 576))) (((expt u p) . 4) ((p . 2) ((u . 2) ((u!`1 . 2) ((u!`2 . 7) . 480)))) ((p . 1) ((u . 2) ((u!`1 . 2) ((u!`2 . 7) . -1536))) ) ((u . 2) ((u!`1 . 2) ((u!`2 . 7) . -1536)))) (((expt u p) . 3) ((p . 2) ((u . 2) ((u!`1 . 4) ((u!`2 . 5) . -360)))) ((p . 1) ((u . 2) ((u!`1 . 4) ((u!`2 . 5) . 1152)))) ((u . 2) ((u!`1 . 4) ((u!`2 . 5) . 1152)))) (((expt u p) . 1) ((p . 2) ((u . 2) ((u!`1 . 8) ((u!`2 . 1) . 60)))) ((p . 1) ((u . 2) ((u!`1 . 8) ((u!`2 . 1) . -192)))) ((u . 2) ((u!`1 . 8) ((u!`2 . 1) . -192))))) (((expt u p) . 2) ((c_17 . 1) ((p . 2) ((u . 1) ((u!`1 . 1) ((u!`2 . 2) . -300)))) ((p . 1) ((u . 1) ((u!`1 . 1) ((u!`2 . 2) . 960)))) ((u . 1) ((u!`1 . 1) ((u!`2 . 2) . 960))))) (((expt u p) . 1) ((c_17 . 1) ((p . 2) ((u . 1) ((u!`1 . 3) . 60))) ((p . 1) ((u . 1) ((u!`1 . 3) . -192))) ((u . 1) ((u!`1 . 3) . -192))))) . 1) (fac . 2) ( pval plus (times 30 (expt u (times 5 p)) (df c_3 u 2) (expt p 2) (expt u 2) ( expt u!`2 10)) (minus (times 96 (expt u (times 5 p)) (df c_3 u 2) p (expt u 2) ( expt u!`2 10))) (minus (times 96 (expt u (times 5 p)) (df c_3 u 2) (expt u 2) ( expt u!`2 10))) (minus (times 150 (expt u (times 4 p)) (df c_3 u 2) (expt p 2) ( expt u 2) (expt u!`1 2) (expt u!`2 8))) (times 480 (expt u (times 4 p)) (df c_3 u 2) p (expt u 2) (expt u!`1 2) (expt u!`2 8)) (times 480 (expt u (times 4 p)) ( df c_3 u 2) (expt u 2) (expt u!`1 2) (expt u!`2 8)) (times 300 (expt u (times 3 p)) (df c_3 u 2) (expt p 2) (expt u 2) (expt u!`1 4) (expt u!`2 6)) (minus ( times 960 (expt u (times 3 p)) (df c_3 u 2) p (expt u 2) (expt u!`1 4) (expt u!`2 6))) (minus (times 960 (expt u (times 3 p)) (df c_3 u 2) (expt u 2) (expt u!`1 4 ) (expt u!`2 6))) (minus (times 300 (expt u (times 2 p)) (df c_3 u 2) (expt p 2) (expt u 2) (expt u!`1 6) (expt u!`2 4))) (times 960 (expt u (times 2 p)) (df c_3 u 2) p (expt u 2) (expt u!`1 6) (expt u!`2 4)) (times 960 (expt u (times 2 p)) ( df c_3 u 2) (expt u 2) (expt u!`1 6) (expt u!`2 4)) (times 150 (expt u p) (df c_3 u 2) (expt p 2) (expt u 2) (expt u!`1 8) (expt u!`2 2)) (minus (times 480 ( expt u p) (df c_3 u 2) p (expt u 2) (expt u!`1 8) (expt u!`2 2))) (minus (times 480 (expt u p) (df c_3 u 2) (expt u 2) (expt u!`1 8) (expt u!`2 2))) (minus ( times 30 (df c_3 u 2) (expt p 2) (expt u 2) (expt u!`1 10))) (times 96 (df c_3 u 2) p (expt u 2) (expt u!`1 10)) (times 96 (df c_3 u 2) (expt u 2) (expt u!`1 10) ) (times 297 (expt u (times 5 p)) (df c_3 u) (expt p 3) u (expt u!`2 10)) (times 966 (expt u (times 5 p)) (df c_3 u) (expt p 2) u (expt u!`2 10)) (times 1488 ( expt u (times 5 p)) (df c_3 u) p u (expt u!`2 10)) (times 1056 (expt u (times 5 p)) (df c_3 u) u (expt u!`2 10)) (minus (times 223 (expt u (times 4 p)) (df c_3 u) (expt p 3) u (expt u!`1 2) (expt u!`2 8))) (times 354 (expt u (times 4 p)) ( df c_3 u) (expt p 2) u (expt u!`1 2) (expt u!`2 8)) (times 912 (expt u (times 4 p)) (df c_3 u) p u (expt u!`1 2) (expt u!`2 8)) (times 352 (expt u (times 4 p)) (df c_3 u) u (expt u!`1 2) (expt u!`2 8)) (minus (times 1182 (expt u (times 3 p) ) (df c_3 u) (expt p 3) u (expt u!`1 4) (expt u!`2 6))) (minus (times 7236 (expt u (times 3 p)) (df c_3 u) (expt p 2) u (expt u!`1 4) (expt u!`2 6))) (minus ( times 12384 (expt u (times 3 p)) (df c_3 u) p u (expt u!`1 4) (expt u!`2 6))) ( minus (times 7872 (expt u (times 3 p)) (df c_3 u) u (expt u!`1 4) (expt u!`2 6)) ) (times 1914 (expt u (times 2 p)) (df c_3 u) (expt p 3) u (expt u!`1 6) (expt u!`2 4)) (times 9924 (expt u (times 2 p)) (df c_3 u) (expt p 2) u (expt u!`1 6) (expt u!`2 4)) (times 16800 (expt u (times 2 p)) (df c_3 u) p u (expt u!`1 6) ( expt u!`2 4)) (times 10944 (expt u (times 2 p)) (df c_3 u) u (expt u!`1 6) (expt u!`2 4)) (minus (times 875 (expt u p) (df c_3 u) (expt p 3) u (expt u!`1 8) ( expt u!`2 2))) (minus (times 4386 (expt u p) (df c_3 u) (expt p 2) u (expt u!`1 8) (expt u!`2 2))) (minus (times 7536 (expt u p) (df c_3 u) p u (expt u!`1 8) ( expt u!`2 2))) (minus (times 4960 (expt u p) (df c_3 u) u (expt u!`1 8) (expt u!`2 2))) (times 69 (df c_3 u) (expt p 3) u (expt u!`1 10)) (times 378 (df c_3 u ) (expt p 2) u (expt u!`1 10)) (times 720 (df c_3 u) p u (expt u!`1 10)) (times 480 (df c_3 u) u (expt u!`1 10)) (times 474 (expt u (times 5 p)) (df c_3 u!`1) ( expt p 4) u!`1 (expt u!`2 10)) (times 2256 (expt u (times 5 p)) (df c_3 u!`1) ( expt p 3) u!`1 (expt u!`2 10)) (times 3552 (expt u (times 5 p)) (df c_3 u!`1) ( expt p 2) u!`1 (expt u!`2 10)) (times 2304 (expt u (times 5 p)) (df c_3 u!`1) p u!`1 (expt u!`2 10)) (minus (times 1448 (expt u (times 4 p)) (df c_3 u!`1) (expt p 4) (expt u!`1 3) (expt u!`2 8))) (minus (times 7104 (expt u (times 4 p)) (df c_3 u!`1) (expt p 3) (expt u!`1 3) (expt u!`2 8))) (minus (times 11136 (expt u ( times 4 p)) (df c_3 u!`1) (expt p 2) (expt u!`1 3) (expt u!`2 8))) (minus (times 7168 (expt u (times 4 p)) (df c_3 u!`1) p (expt u!`1 3) (expt u!`2 8))) (times 1500 (expt u (times 3 p)) (df c_3 u!`1) (expt p 4) (expt u!`1 5) (expt u!`2 6)) (times 7776 (expt u (times 3 p)) (df c_3 u!`1) (expt p 3) (expt u!`1 5) (expt u!`2 6)) (times 12096 (expt u (times 3 p)) (df c_3 u!`1) (expt p 2) (expt u!`1 5 ) (expt u!`2 6)) (times 7680 (expt u (times 3 p)) (df c_3 u!`1) p (expt u!`1 5) (expt u!`2 6)) (minus (times 552 (expt u (times 2 p)) (df c_3 u!`1) (expt p 4) ( expt u!`1 7) (expt u!`2 4))) (minus (times 3264 (expt u (times 2 p)) (df c_3 u!`1 ) (expt p 3) (expt u!`1 7) (expt u!`2 4))) (minus (times 4992 (expt u (times 2 p )) (df c_3 u!`1) (expt p 2) (expt u!`1 7) (expt u!`2 4))) (minus (times 3072 ( expt u (times 2 p)) (df c_3 u!`1) p (expt u!`1 7) (expt u!`2 4))) (times 26 ( expt u p) (df c_3 u!`1) (expt p 4) (expt u!`1 9) (expt u!`2 2)) (times 336 (expt u p) (df c_3 u!`1) (expt p 3) (expt u!`1 9) (expt u!`2 2)) (times 480 (expt u p) (df c_3 u!`1) (expt p 2) (expt u!`1 9) (expt u!`2 2)) (times 256 (expt u p) (df c_3 u!`1) p (expt u!`1 9) (expt u!`2 2)) (minus (times 180 (expt u (times 5 p)) (df c_4 u) (expt p 2) (expt u 2) (expt u!`2 9))) (times 576 (expt u (times 5 p)) (df c_4 u) p (expt u 2) (expt u!`2 9)) (times 576 (expt u (times 5 p)) (df c_4 u ) (expt u 2) (expt u!`2 9)) (times 480 (expt u (times 4 p)) (df c_4 u) (expt p 2 ) (expt u 2) (expt u!`1 2) (expt u!`2 7)) (minus (times 1536 (expt u (times 4 p) ) (df c_4 u) p (expt u 2) (expt u!`1 2) (expt u!`2 7))) (minus (times 1536 (expt u (times 4 p)) (df c_4 u) (expt u 2) (expt u!`1 2) (expt u!`2 7))) (minus (times 360 (expt u (times 3 p)) (df c_4 u) (expt p 2) (expt u 2) (expt u!`1 4) (expt u!`2 5))) (times 1152 (expt u (times 3 p)) (df c_4 u) p (expt u 2) (expt u!`1 4) (expt u!`2 5)) (times 1152 (expt u (times 3 p)) (df c_4 u) (expt u 2) (expt u!`1 4) (expt u!`2 5)) (times 60 (expt u p) (df c_4 u) (expt p 2) (expt u 2) (expt u!`1 8) u!`2) (minus (times 192 (expt u p) (df c_4 u) p (expt u 2) (expt u!`1 8) u!`2)) (minus (times 192 (expt u p) (df c_4 u) (expt u 2) (expt u!`1 8) u!`2)) ( minus (times 300 (expt u (times 2 p)) c_17 (expt p 2) u u!`1 (expt u!`2 2))) ( times 960 (expt u (times 2 p)) c_17 p u u!`1 (expt u!`2 2)) (times 960 (expt u ( times 2 p)) c_17 u u!`1 (expt u!`2 2)) (times 60 (expt u p) c_17 (expt p 2) u ( expt u!`1 3)) (minus (times 192 (expt u p) c_17 p u (expt u!`1 3))) (minus ( times 192 (expt u p) c_17 u (expt u!`1 3)))) (partitioned) (kern (df c_3 u 2) ( df c_3 u) (df c_3 u!`1) (df c_4 u) (expt u p) c_17 p u u!`1 u!`2) (fct_kern_lin) (fct_kern_nli) (fcts c_4 c_3 c_17 p) (vars u!`2 u!`1 u) (nvars . 3) (level 1 1 1 1 1 1 1 1) (derivs ((c_4 u) . 1) ((c_3 u 2) . 1) ((c_3 u!`1) . 1) ((c_3 u) . 1) ((c_17) . 1) ((p) . 4) ((p) . 3) ((p) . 2)) (no_derivs) (fcteval_lin) ( fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) ( fct_nli_nus) (terms . 80) (length . 189) (printlength . 1125) (rational c_4 c_3 c_17) (nonrational p) (allvarfcts c_4 c_3) (starde) (dec_with) (dec_with_rl) ( rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_20 ((sqval ((((df c_17 u!`1) . 1) ((( expt u p) . 5) ((p . 4) ((u!`1 . 1) ((u!`2 . 8) . 540))) ((p . 3) ((u!`1 . 1) (( u!`2 . 8) . 5832))) ((p . 2) ((u!`1 . 1) ((u!`2 . 8) . 21600))) ((p . 1) ((u!`1 . 1) ((u!`2 . 8) . 31104))) ((u!`1 . 1) ((u!`2 . 8) . 13824))) (((expt u p) . 4 ) ((p . 4) ((u!`1 . 3) ((u!`2 . 6) . 3360))) ((p . 3) ((u!`1 . 3) ((u!`2 . 6) . 3456))) ((p . 2) ((u!`1 . 3) ((u!`2 . 6) . -32640))) ((p . 1) ((u!`1 . 3) ((u!`2 . 6) . -73728))) ((u!`1 . 3) ((u!`2 . 6) . -43008))) (((expt u p) . 3) ((p . 4) ((u!`1 . 5) ((u!`2 . 4) . -4808))) ((p . 3) ((u!`1 . 5) ((u!`2 . 4) . -8880))) ( (p . 2) ((u!`1 . 5) ((u!`2 . 4) . 26688))) ((p . 1) ((u!`1 . 5) ((u!`2 . 4) . 73472))) ((u!`1 . 5) ((u!`2 . 4) . 46080))) (((expt u p) . 2) ((p . 4) ((u!`1 . 7) ((u!`2 . 2) . 960))) ((p . 3) ((u!`1 . 7) ((u!`2 . 2) . -576))) ((p . 2) (( u!`1 . 7) ((u!`2 . 2) . -17280))) ((p . 1) ((u!`1 . 7) ((u!`2 . 2) . -33792))) ( (u!`1 . 7) ((u!`2 . 2) . -18432))) (((expt u p) . 1) ((p . 4) ((u!`1 . 9) . -52) ) ((p . 3) ((u!`1 . 9) . 168)) ((p . 2) ((u!`1 . 9) . 1632)) ((p . 1) ((u!`1 . 9 ) . 2944)) ((u!`1 . 9) . 1536))) (((df c_18 u!`1) . 1) (((expt u p) . 7) ((p . 5 ) ((u!`1 . 1) ((u!`2 . 14) . 630))) ((p . 4) ((u!`1 . 1) ((u!`2 . 14) . 13104))) ((p . 3) ((u!`1 . 1) ((u!`2 . 14) . 44640))) ((p . 2) ((u!`1 . 1) ((u!`2 . 14) . 62208))) ((p . 1) ((u!`1 . 1) ((u!`2 . 14) . 27648)))) (((expt u p) . 6) ((p . 5) ((u!`1 . 3) ((u!`2 . 12) . 6300))) ((p . 4) ((u!`1 . 3) ((u!`2 . 12) . -21984))) ((p . 3) ((u!`1 . 3) ((u!`2 . 12) . -157248))) ((p . 2) ((u!`1 . 3) (( u!`2 . 12) . -271872))) ((p . 1) ((u!`1 . 3) ((u!`2 . 12) . -141312)))) (((expt u p) . 5) ((p . 5) ((u!`1 . 5) ((u!`2 . 10) . -24406))) ((p . 4) ((u!`1 . 5) (( u!`2 . 10) . -12144))) ((p . 3) ((u!`1 . 5) ((u!`2 . 10) . 234912))) ((p . 2) (( u!`1 . 5) ((u!`2 . 10) . 504064))) ((p . 1) ((u!`1 . 5) ((u!`2 . 10) . 291840))) ) (((expt u p) . 4) ((p . 5) ((u!`1 . 7) ((u!`2 . 8) . 29192))) ((p . 4) ((u!`1 . 7) ((u!`2 . 8) . 37056))) ((p . 3) ((u!`1 . 7) ((u!`2 . 8) . -210816))) ((p . 2) ((u!`1 . 7) ((u!`2 . 8) . -508928))) ((p . 1) ((u!`1 . 7) ((u!`2 . 8) . -307200)))) (((expt u p) . 3) ((p . 5) ((u!`1 . 9) ((u!`2 . 6) . -13590))) ((p . 4) ((u!`1 . 9) ((u!`2 . 6) . -15024))) ((p . 3) ((u!`1 . 9) ((u!`2 . 6) . 125856))) ((p . 2) ((u!`1 . 9) ((u!`2 . 6) . 288000))) ((p . 1) ((u!`1 . 9) (( u!`2 . 6) . 168960)))) (((expt u p) . 2) ((p . 5) ((u!`1 . 11) ((u!`2 . 4) . 1948))) ((p . 4) ((u!`1 . 11) ((u!`2 . 4) . -1248))) ((p . 3) ((u!`1 . 11) ((u!`2 . 4) . -40512))) ((p . 2) ((u!`1 . 11) ((u!`2 . 4) . -79360))) ((p . 1) ((u!`1 . 11) ((u!`2 . 4) . -43008)))) (((expt u p) . 1) ((p . 5) ((u!`1 . 13) ((u!`2 . 2) . -74))) ((p . 4) ((u!`1 . 13) ((u!`2 . 2) . 240))) ((p . 3) ((u!`1 . 13) ((u!`2 . 2) . 3168))) ((p . 2) ((u!`1 . 13) ((u!`2 . 2) . 5888))) ((p . 1) ((u!`1 . 13) ((u!`2 . 2) . 3072))))) (((expt u p) . 5) ((c_17 . 1) ((p . 4) ((u!`2 . 8 ) . -540)) ((p . 3) ((u!`2 . 8) . -5832)) ((p . 2) ((u!`2 . 8) . -21600)) ((p . 1) ((u!`2 . 8) . -31104)) ((u!`2 . 8) . -13824))) (((expt u p) . 4) ((c_17 . 1) ((p . 4) ((u!`1 . 2) ((u!`2 . 6) . -3360))) ((p . 3) ((u!`1 . 2) ((u!`2 . 6) . -3456))) ((p . 2) ((u!`1 . 2) ((u!`2 . 6) . 32640))) ((p . 1) ((u!`1 . 2) ((u!`2 . 6) . 73728))) ((u!`1 . 2) ((u!`2 . 6) . 43008)))) (((expt u p) . 3) ((c_17 . 1) ((p . 4) ((u!`1 . 4) ((u!`2 . 4) . 4808))) ((p . 3) ((u!`1 . 4) ((u!`2 . 4) . 8880))) ((p . 2) ((u!`1 . 4) ((u!`2 . 4) . -26688))) ((p . 1) ((u!`1 . 4) (( u!`2 . 4) . -73472))) ((u!`1 . 4) ((u!`2 . 4) . -46080)))) (((expt u p) . 2) (( c_17 . 1) ((p . 4) ((u!`1 . 6) ((u!`2 . 2) . -960))) ((p . 3) ((u!`1 . 6) ((u!`2 . 2) . 576))) ((p . 2) ((u!`1 . 6) ((u!`2 . 2) . 17280))) ((p . 1) ((u!`1 . 6) ((u!`2 . 2) . 33792))) ((u!`1 . 6) ((u!`2 . 2) . 18432)))) (((expt u p) . 1) (( c_17 . 1) ((p . 4) ((u!`1 . 8) . 52)) ((p . 3) ((u!`1 . 8) . -168)) ((p . 2) (( u!`1 . 8) . -1632)) ((p . 1) ((u!`1 . 8) . -2944)) ((u!`1 . 8) . -1536)))) . 1) (fac . 2) (pval) (partitioned) (kern (df c_17 u!`1) (df c_18 u!`1) (expt u p) c_17 p u!`1 u!`2) (fct_kern_lin) (fct_kern_nli) (fcts c_18 c_17 p) (vars u!`2 u!`1 u) (nvars . 3) (level 1 1 1 1 1 1 1 1) (derivs ((c_18 u!`1) . 1) ((c_17 u!`1 ) . 1) ((c_17) . 1) ((p) . 5) ((p) . 4)) (no_derivs) (fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 85) (length . 270) (printlength . 1305) (rational c_18 c_17) (nonrational p) ( allvarfcts) (starde (u) . 0) (dec_with) (dec_with_rl) (rl_with) (hom_deg) ( split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_casesep to_gensep to_sep to_int to_fullint)) (e_5 ((sqval ((((df c_4 u) . 1) (((expt u p) . 6) ((p . 4) ((u . 1) ((u!`2 . 12) . 4740))) ((p . 3) ((u . 1) (( u!`2 . 12) . 16704))) ((p . 2) ((u . 1) ((u!`2 . 12) . 39360))) ((p . 1) ((u . 1 ) ((u!`2 . 12) . 43008))) ((u . 1) ((u!`2 . 12) . 12288))) (((expt u p) . 5) ((p . 4) ((u . 1) ((u!`1 . 2) ((u!`2 . 10) . 488)))) ((p . 3) ((u . 1) ((u!`1 . 2) ((u!`2 . 10) . 21888)))) ((p . 2) ((u . 1) ((u!`1 . 2) ((u!`2 . 10) . 6528)))) ( (p . 1) ((u . 1) ((u!`1 . 2) ((u!`2 . 10) . -32768)))) ((u . 1) ((u!`1 . 2) (( u!`2 . 10) . -24576)))) (((expt u p) . 4) ((p . 4) ((u . 1) ((u!`1 . 4) ((u!`2 . 8) . -18820)))) ((p . 3) ((u . 1) ((u!`1 . 4) ((u!`2 . 8) . -132672)))) ((p . 2) ((u . 1) ((u!`1 . 4) ((u!`2 . 8) . -257472)))) ((p . 1) ((u . 1) ((u!`1 . 4) ((u!`2 . 8) . -235520)))) ((u . 1) ((u!`1 . 4) ((u!`2 . 8) . -61440)))) ((( expt u p) . 3) ((p . 4) ((u . 1) ((u!`1 . 6) ((u!`2 . 6) . 4272)))) ((p . 3) ((u . 1) ((u!`1 . 6) ((u!`2 . 6) . 100608)))) ((p . 2) ((u . 1) ((u!`1 . 6) ((u!`2 . 6) . 374016)))) ((p . 1) ((u . 1) ((u!`1 . 6) ((u!`2 . 6) . 540672)))) ((u . 1) ((u!`1 . 6) ((u!`2 . 6) . 245760)))) (((expt u p) . 2) ((p . 4) ((u . 1) (( u!`1 . 8) ((u!`2 . 4) . 24124)))) ((p . 3) ((u . 1) ((u!`1 . 8) ((u!`2 . 4) . 24768)))) ((p . 2) ((u . 1) ((u!`1 . 8) ((u!`2 . 4) . -232896)))) ((p . 1) ((u . 1) ((u!`1 . 8) ((u!`2 . 4) . -526336)))) ((u . 1) ((u!`1 . 8) ((u!`2 . 4) . -307200)))) (((expt u p) . 1) ((p . 4) ((u . 1) ((u!`1 . 10) ((u!`2 . 2) . -16664)))) ((p . 3) ((u . 1) ((u!`1 . 10) ((u!`2 . 2) . -30336)))) ((p . 2) ((u . 1) ((u!`1 . 10) ((u!`2 . 2) . 104832)))) ((p . 1) ((u . 1) ((u!`1 . 10) ((u!`2 . 2) . 278528)))) ((u . 1) ((u!`1 . 10) ((u!`2 . 2) . 172032)))) ((p . 4) ((u . 1) ((u!`1 . 12) . 1860))) ((p . 3) ((u . 1) ((u!`1 . 12) . -960))) ((p . 2) ( (u . 1) ((u!`1 . 12) . -34368))) ((p . 1) ((u . 1) ((u!`1 . 12) . -67584))) ((u . 1) ((u!`1 . 12) . -36864))) (((df c_4 u!`1 2) . 1) (((expt u p) . 7) ((p . 5) ((u!`2 . 14) . 225)) ((p . 4) ((u!`2 . 14) . -720)) ((p . 3) ((u!`2 . 14) . -720 ))) (((expt u p) . 6) ((p . 5) ((u!`1 . 2) ((u!`2 . 12) . -1095))) ((p . 4) (( u!`1 . 2) ((u!`2 . 12) . 3504))) ((p . 3) ((u!`1 . 2) ((u!`2 . 12) . 3504)))) (( (expt u p) . 5) ((p . 5) ((u!`1 . 4) ((u!`2 . 10) . 2085))) ((p . 4) ((u!`1 . 4) ((u!`2 . 10) . -6672))) ((p . 3) ((u!`1 . 4) ((u!`2 . 10) . -6672)))) (((expt u p) . 4) ((p . 5) ((u!`1 . 6) ((u!`2 . 8) . -1875))) ((p . 4) ((u!`1 . 6) ((u!`2 . 8) . 6000))) ((p . 3) ((u!`1 . 6) ((u!`2 . 8) . 6000)))) (((expt u p) . 3) (( p . 5) ((u!`1 . 8) ((u!`2 . 6) . 675))) ((p . 4) ((u!`1 . 8) ((u!`2 . 6) . -2160 ))) ((p . 3) ((u!`1 . 8) ((u!`2 . 6) . -2160)))) (((expt u p) . 2) ((p . 5) (( u!`1 . 10) ((u!`2 . 4) . 75))) ((p . 4) ((u!`1 . 10) ((u!`2 . 4) . -240))) ((p . 3) ((u!`1 . 10) ((u!`2 . 4) . -240)))) (((expt u p) . 1) ((p . 5) ((u!`1 . 12 ) ((u!`2 . 2) . -105))) ((p . 4) ((u!`1 . 12) ((u!`2 . 2) . 336))) ((p . 3) (( u!`1 . 12) ((u!`2 . 2) . 336)))) ((p . 5) ((u!`1 . 14) . 15)) ((p . 4) ((u!`1 . 14) . -48)) ((p . 3) ((u!`1 . 14) . -48))) (((df c_4 u!`1) . 1) (((expt u p) . 6 ) ((p . 5) ((u!`1 . 1) ((u!`2 . 12) . 6780))) ((p . 4) ((u!`1 . 1) ((u!`2 . 12) . 42048))) ((p . 3) ((u!`1 . 1) ((u!`2 . 12) . 87360))) ((p . 2) ((u!`1 . 1) (( u!`2 . 12) . 86016))) ((p . 1) ((u!`1 . 1) ((u!`2 . 12) . 24576)))) (((expt u p) . 5) ((p . 5) ((u!`1 . 3) ((u!`2 . 10) . -11624))) ((p . 4) ((u!`1 . 3) ((u!`2 . 10) . -107136))) ((p . 3) ((u!`1 . 3) ((u!`2 . 10) . -273792))) ((p . 2) (( u!`1 . 3) ((u!`2 . 10) . -323584))) ((p . 1) ((u!`1 . 3) ((u!`2 . 10) . -122880) ))) (((expt u p) . 4) ((p . 5) ((u!`1 . 5) ((u!`2 . 8) . -6908))) ((p . 4) ((u!`1 . 5) ((u!`2 . 8) . 69312))) ((p . 3) ((u!`1 . 5) ((u!`2 . 8) . 319680))) ((p . 2) ((u!`1 . 5) ((u!`2 . 8) . 499712))) ((p . 1) ((u!`1 . 5) ((u!`2 . 8) . 245760 )))) (((expt u p) . 3) ((p . 5) ((u!`1 . 7) ((u!`2 . 6) . 22608))) ((p . 4) (( u!`1 . 7) ((u!`2 . 6) . 14592))) ((p . 3) ((u!`1 . 7) ((u!`2 . 6) . -189696))) ( (p . 2) ((u!`1 . 7) ((u!`2 . 6) . -417792))) ((p . 1) ((u!`1 . 7) ((u!`2 . 6) . -245760)))) (((expt u p) . 2) ((p . 5) ((u!`1 . 9) ((u!`2 . 4) . -11836))) ((p . 4) ((u!`1 . 9) ((u!`2 . 4) . -19008))) ((p . 3) ((u!`1 . 9) ((u!`2 . 4) . 78528))) ((p . 2) ((u!`1 . 9) ((u!`2 . 4) . 200704))) ((p . 1) ((u!`1 . 9) ((u!`2 . 4) . 122880)))) (((expt u p) . 1) ((p . 5) ((u!`1 . 11) ((u!`2 . 2) . 920))) ((p . 4) ((u!`1 . 11) ((u!`2 . 2) . 384))) ((p . 3) ((u!`1 . 11) ((u!`2 . 2) . -21888))) ((p . 2) ((u!`1 . 11) ((u!`2 . 2) . -45056))) ((p . 1) ((u!`1 . 11) (( u!`2 . 2) . -24576)))) ((p . 5) ((u!`1 . 13) . 60)) ((p . 4) ((u!`1 . 13) . -192 )) ((p . 3) ((u!`1 . 13) . -192)))) . 1) (fac . 2) (pval plus (times 4740 (expt u (times 6 p)) (df c_4 u) (expt p 4) u (expt u!`2 12)) (times 16704 (expt u ( times 6 p)) (df c_4 u) (expt p 3) u (expt u!`2 12)) (times 39360 (expt u (times 6 p)) (df c_4 u) (expt p 2) u (expt u!`2 12)) (times 43008 (expt u (times 6 p)) (df c_4 u) p u (expt u!`2 12)) (times 12288 (expt u (times 6 p)) (df c_4 u) u ( expt u!`2 12)) (times 488 (expt u (times 5 p)) (df c_4 u) (expt p 4) u (expt u!`1 2) (expt u!`2 10)) (times 21888 (expt u (times 5 p)) (df c_4 u) (expt p 3) u ( expt u!`1 2) (expt u!`2 10)) (times 6528 (expt u (times 5 p)) (df c_4 u) (expt p 2) u (expt u!`1 2) (expt u!`2 10)) (minus (times 32768 (expt u (times 5 p)) (df c_4 u) p u (expt u!`1 2) (expt u!`2 10))) (minus (times 24576 (expt u (times 5 p )) (df c_4 u) u (expt u!`1 2) (expt u!`2 10))) (minus (times 18820 (expt u ( times 4 p)) (df c_4 u) (expt p 4) u (expt u!`1 4) (expt u!`2 8))) (minus (times 132672 (expt u (times 4 p)) (df c_4 u) (expt p 3) u (expt u!`1 4) (expt u!`2 8)) ) (minus (times 257472 (expt u (times 4 p)) (df c_4 u) (expt p 2) u (expt u!`1 4 ) (expt u!`2 8))) (minus (times 235520 (expt u (times 4 p)) (df c_4 u) p u (expt u!`1 4) (expt u!`2 8))) (minus (times 61440 (expt u (times 4 p)) (df c_4 u) u ( expt u!`1 4) (expt u!`2 8))) (times 4272 (expt u (times 3 p)) (df c_4 u) (expt p 4) u (expt u!`1 6) (expt u!`2 6)) (times 100608 (expt u (times 3 p)) (df c_4 u) (expt p 3) u (expt u!`1 6) (expt u!`2 6)) (times 374016 (expt u (times 3 p)) (df c_4 u) (expt p 2) u (expt u!`1 6) (expt u!`2 6)) (times 540672 (expt u (times 3 p)) (df c_4 u) p u (expt u!`1 6) (expt u!`2 6)) (times 245760 (expt u (times 3 p )) (df c_4 u) u (expt u!`1 6) (expt u!`2 6)) (times 24124 (expt u (times 2 p)) ( df c_4 u) (expt p 4) u (expt u!`1 8) (expt u!`2 4)) (times 24768 (expt u (times 2 p)) (df c_4 u) (expt p 3) u (expt u!`1 8) (expt u!`2 4)) (minus (times 232896 (expt u (times 2 p)) (df c_4 u) (expt p 2) u (expt u!`1 8) (expt u!`2 4))) ( minus (times 526336 (expt u (times 2 p)) (df c_4 u) p u (expt u!`1 8) (expt u!`2 4))) (minus (times 307200 (expt u (times 2 p)) (df c_4 u) u (expt u!`1 8) (expt u!`2 4))) (minus (times 16664 (expt u p) (df c_4 u) (expt p 4) u (expt u!`1 10) (expt u!`2 2))) (minus (times 30336 (expt u p) (df c_4 u) (expt p 3) u (expt u!`1 10) (expt u!`2 2))) (times 104832 (expt u p) (df c_4 u) (expt p 2) u (expt u!`1 10) (expt u!`2 2)) (times 278528 (expt u p) (df c_4 u) p u (expt u!`1 10) (expt u!`2 2)) (times 172032 (expt u p) (df c_4 u) u (expt u!`1 10) (expt u!`2 2)) ( times 1860 (df c_4 u) (expt p 4) u (expt u!`1 12)) (minus (times 960 (df c_4 u) (expt p 3) u (expt u!`1 12))) (minus (times 34368 (df c_4 u) (expt p 2) u (expt u!`1 12))) (minus (times 67584 (df c_4 u) p u (expt u!`1 12))) (minus (times 36864 (df c_4 u) u (expt u!`1 12))) (times 225 (expt u (times 7 p)) (df c_4 u!`1 2) (expt p 5) (expt u!`2 14)) (minus (times 720 (expt u (times 7 p)) (df c_4 u!`1 2) (expt p 4) (expt u!`2 14))) (minus (times 720 (expt u (times 7 p)) (df c_4 u!`1 2) (expt p 3) (expt u!`2 14))) (minus (times 1095 (expt u (times 6 p)) (df c_4 u!`1 2) (expt p 5) (expt u!`1 2) (expt u!`2 12))) (times 3504 (expt u (times 6 p)) (df c_4 u!`1 2) (expt p 4) (expt u!`1 2) (expt u!`2 12)) (times 3504 (expt u (times 6 p)) (df c_4 u!`1 2) (expt p 3) (expt u!`1 2) (expt u!`2 12)) (times 2085 (expt u (times 5 p)) (df c_4 u!`1 2) (expt p 5) (expt u!`1 4) (expt u!`2 10 )) (minus (times 6672 (expt u (times 5 p)) (df c_4 u!`1 2) (expt p 4) (expt u!`1 4) (expt u!`2 10))) (minus (times 6672 (expt u (times 5 p)) (df c_4 u!`1 2) ( expt p 3) (expt u!`1 4) (expt u!`2 10))) (minus (times 1875 (expt u (times 4 p)) (df c_4 u!`1 2) (expt p 5) (expt u!`1 6) (expt u!`2 8))) (times 6000 (expt u ( times 4 p)) (df c_4 u!`1 2) (expt p 4) (expt u!`1 6) (expt u!`2 8)) (times 6000 (expt u (times 4 p)) (df c_4 u!`1 2) (expt p 3) (expt u!`1 6) (expt u!`2 8)) ( times 675 (expt u (times 3 p)) (df c_4 u!`1 2) (expt p 5) (expt u!`1 8) (expt u!`2 6)) (minus (times 2160 (expt u (times 3 p)) (df c_4 u!`1 2) (expt p 4) ( expt u!`1 8) (expt u!`2 6))) (minus (times 2160 (expt u (times 3 p)) (df c_4 u!`1 2) (expt p 3) (expt u!`1 8) (expt u!`2 6))) (times 75 (expt u (times 2 p)) (df c_4 u!`1 2) (expt p 5) (expt u!`1 10) (expt u!`2 4)) (minus (times 240 (expt u ( times 2 p)) (df c_4 u!`1 2) (expt p 4) (expt u!`1 10) (expt u!`2 4))) (minus ( times 240 (expt u (times 2 p)) (df c_4 u!`1 2) (expt p 3) (expt u!`1 10) (expt u!`2 4))) (minus (times 105 (expt u p) (df c_4 u!`1 2) (expt p 5) (expt u!`1 12) (expt u!`2 2))) (times 336 (expt u p) (df c_4 u!`1 2) (expt p 4) (expt u!`1 12) (expt u!`2 2)) (times 336 (expt u p) (df c_4 u!`1 2) (expt p 3) (expt u!`1 12) ( expt u!`2 2)) (times 15 (df c_4 u!`1 2) (expt p 5) (expt u!`1 14)) (minus (times 48 (df c_4 u!`1 2) (expt p 4) (expt u!`1 14))) (minus (times 48 (df c_4 u!`1 2) (expt p 3) (expt u!`1 14))) (times 6780 (expt u (times 6 p)) (df c_4 u!`1) (expt p 5) u!`1 (expt u!`2 12)) (times 42048 (expt u (times 6 p)) (df c_4 u!`1) (expt p 4) u!`1 (expt u!`2 12)) (times 87360 (expt u (times 6 p)) (df c_4 u!`1) (expt p 3) u!`1 (expt u!`2 12)) (times 86016 (expt u (times 6 p)) (df c_4 u!`1) (expt p 2) u!`1 (expt u!`2 12)) (times 24576 (expt u (times 6 p)) (df c_4 u!`1) p u!`1 (expt u!`2 12)) (minus (times 11624 (expt u (times 5 p)) (df c_4 u!`1) (expt p 5 ) (expt u!`1 3) (expt u!`2 10))) (minus (times 107136 (expt u (times 5 p)) (df c_4 u!`1) (expt p 4) (expt u!`1 3) (expt u!`2 10))) (minus (times 273792 (expt u (times 5 p)) (df c_4 u!`1) (expt p 3) (expt u!`1 3) (expt u!`2 10))) (minus ( times 323584 (expt u (times 5 p)) (df c_4 u!`1) (expt p 2) (expt u!`1 3) (expt u!`2 10))) (minus (times 122880 (expt u (times 5 p)) (df c_4 u!`1) p (expt u!`1 3) (expt u!`2 10))) (minus (times 6908 (expt u (times 4 p)) (df c_4 u!`1) (expt p 5) (expt u!`1 5) (expt u!`2 8))) (times 69312 (expt u (times 4 p)) (df c_4 u!`1 ) (expt p 4) (expt u!`1 5) (expt u!`2 8)) (times 319680 (expt u (times 4 p)) (df c_4 u!`1) (expt p 3) (expt u!`1 5) (expt u!`2 8)) (times 499712 (expt u (times 4 p)) (df c_4 u!`1) (expt p 2) (expt u!`1 5) (expt u!`2 8)) (times 245760 (expt u (times 4 p)) (df c_4 u!`1) p (expt u!`1 5) (expt u!`2 8)) (times 22608 (expt u ( times 3 p)) (df c_4 u!`1) (expt p 5) (expt u!`1 7) (expt u!`2 6)) (times 14592 ( expt u (times 3 p)) (df c_4 u!`1) (expt p 4) (expt u!`1 7) (expt u!`2 6)) (minus (times 189696 (expt u (times 3 p)) (df c_4 u!`1) (expt p 3) (expt u!`1 7) (expt u!`2 6))) (minus (times 417792 (expt u (times 3 p)) (df c_4 u!`1) (expt p 2) ( expt u!`1 7) (expt u!`2 6))) (minus (times 245760 (expt u (times 3 p)) (df c_4 u!`1) p (expt u!`1 7) (expt u!`2 6))) (minus (times 11836 (expt u (times 2 p)) ( df c_4 u!`1) (expt p 5) (expt u!`1 9) (expt u!`2 4))) (minus (times 19008 (expt u (times 2 p)) (df c_4 u!`1) (expt p 4) (expt u!`1 9) (expt u!`2 4))) (times 78528 (expt u (times 2 p)) (df c_4 u!`1) (expt p 3) (expt u!`1 9) (expt u!`2 4)) (times 200704 (expt u (times 2 p)) (df c_4 u!`1) (expt p 2) (expt u!`1 9) (expt u!`2 4)) (times 122880 (expt u (times 2 p)) (df c_4 u!`1) p (expt u!`1 9) (expt u!`2 4)) (times 920 (expt u p) (df c_4 u!`1) (expt p 5) (expt u!`1 11) (expt u!`2 2)) (times 384 (expt u p) (df c_4 u!`1) (expt p 4) (expt u!`1 11) (expt u!`2 2)) (minus (times 21888 (expt u p) (df c_4 u!`1) (expt p 3) (expt u!`1 11) (expt u!`2 2))) (minus (times 45056 (expt u p) (df c_4 u!`1) (expt p 2) (expt u!`1 11) ( expt u!`2 2))) (minus (times 24576 (expt u p) (df c_4 u!`1) p (expt u!`1 11) ( expt u!`2 2))) (times 60 (df c_4 u!`1) (expt p 5) (expt u!`1 13)) (minus (times 192 (df c_4 u!`1) (expt p 4) (expt u!`1 13))) (minus (times 192 (df c_4 u!`1) ( expt p 3) (expt u!`1 13)))) (partitioned) (kern (df c_4 u) (df c_4 u!`1 2) (df c_4 u!`1) (expt u p) p u!`1 u!`2 u) (fct_kern_lin) (fct_kern_nli) (fcts c_4 p) ( vars u!`2 u!`1 u) (nvars . 3) (level 1 1 1 1 1 1 1 1) (derivs ((c_4 u!`1 2) . 1) ((c_4 u!`1) . 1) ((c_4 u) . 1) ((p) . 5) ((p) . 4)) (no_derivs) (fcteval_lin) ( fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) ( fct_nli_nus) (terms . 92) (length . 341) (printlength . 1653) (rational c_4) ( nonrational p) (allvarfcts c_4) (starde) (dec_with) (dec_with_rl (0 e_21 e_56 e_71)) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint)) (e_21 ((sqval ((((df c_4 u u!`1) . 1) ((( expt u p) . 7) ((p . 4) ((u . 1) ((u!`1 . 1) ((u!`2 . 14) . 225)))) ((p . 3) ((u . 1) ((u!`1 . 1) ((u!`2 . 14) . -720)))) ((p . 2) ((u . 1) ((u!`1 . 1) ((u!`2 . 14) . -720))))) (((expt u p) . 6) ((p . 4) ((u . 1) ((u!`1 . 3) ((u!`2 . 12) . -1095)))) ((p . 3) ((u . 1) ((u!`1 . 3) ((u!`2 . 12) . 3504)))) ((p . 2) ((u . 1) ((u!`1 . 3) ((u!`2 . 12) . 3504))))) (((expt u p) . 5) ((p . 4) ((u . 1) ( (u!`1 . 5) ((u!`2 . 10) . 2085)))) ((p . 3) ((u . 1) ((u!`1 . 5) ((u!`2 . 10) . -6672)))) ((p . 2) ((u . 1) ((u!`1 . 5) ((u!`2 . 10) . -6672))))) (((expt u p) . 4) ((p . 4) ((u . 1) ((u!`1 . 7) ((u!`2 . 8) . -1875)))) ((p . 3) ((u . 1) (( u!`1 . 7) ((u!`2 . 8) . 6000)))) ((p . 2) ((u . 1) ((u!`1 . 7) ((u!`2 . 8) . 6000))))) (((expt u p) . 3) ((p . 4) ((u . 1) ((u!`1 . 9) ((u!`2 . 6) . 675)))) ((p . 3) ((u . 1) ((u!`1 . 9) ((u!`2 . 6) . -2160)))) ((p . 2) ((u . 1) ((u!`1 . 9) ((u!`2 . 6) . -2160))))) (((expt u p) . 2) ((p . 4) ((u . 1) ((u!`1 . 11) ((u!`2 . 4) . 75)))) ((p . 3) ((u . 1) ((u!`1 . 11) ((u!`2 . 4) . -240)))) ((p . 2) ((u . 1) ((u!`1 . 11) ((u!`2 . 4) . -240))))) (((expt u p) . 1) ((p . 4) ( (u . 1) ((u!`1 . 13) ((u!`2 . 2) . -105)))) ((p . 3) ((u . 1) ((u!`1 . 13) ((u!`2 . 2) . 336)))) ((p . 2) ((u . 1) ((u!`1 . 13) ((u!`2 . 2) . 336))))) ((p . 4) ( (u . 1) ((u!`1 . 15) . 15))) ((p . 3) ((u . 1) ((u!`1 . 15) . -48))) ((p . 2) (( u . 1) ((u!`1 . 15) . -48)))) (((df c_4 u) . 1) (((expt u p) . 7) ((p . 4) ((u . 1) ((u!`2 . 14) . -540))) ((p . 3) ((u . 1) ((u!`2 . 14) . -5832))) ((p . 2) ((u . 1) ((u!`2 . 14) . -21600))) ((p . 1) ((u . 1) ((u!`2 . 14) . -31104))) ((u . 1) ((u!`2 . 14) . -13824))) (((expt u p) . 6) ((p . 4) ((u . 1) ((u!`1 . 2) ( (u!`2 . 12) . -4350)))) ((p . 3) ((u . 1) ((u!`1 . 2) ((u!`2 . 12) . -7848)))) ( (p . 2) ((u . 1) ((u!`1 . 2) ((u!`2 . 12) . 12480)))) ((p . 1) ((u . 1) ((u!`1 . 2) ((u!`2 . 12) . 42624)))) ((u . 1) ((u!`1 . 2) ((u!`2 . 12) . 29184)))) ((( expt u p) . 5) ((p . 4) ((u . 1) ((u!`1 . 4) ((u!`2 . 10) . 5888)))) ((p . 3) (( u . 1) ((u!`1 . 4) ((u!`2 . 10) . 29016)))) ((p . 2) ((u . 1) ((u!`1 . 4) ((u!`2 . 10) . 108384)))) ((p . 1) ((u . 1) ((u!`1 . 4) ((u!`2 . 10) . 155776)))) ((u . 1) ((u!`1 . 4) ((u!`2 . 10) . 66048)))) (((expt u p) . 4) ((p . 4) ((u . 1) ( (u!`1 . 6) ((u!`2 . 8) . 16598)))) ((p . 3) ((u . 1) ((u!`1 . 6) ((u!`2 . 8) . 17016)))) ((p . 2) ((u . 1) ((u!`1 . 6) ((u!`2 . 8) . -229632)))) ((p . 1) ((u . 1) ((u!`1 . 6) ((u!`2 . 8) . -501632)))) ((u . 1) ((u!`1 . 6) ((u!`2 . 8) . -284160)))) (((expt u p) . 3) ((p . 4) ((u . 1) ((u!`1 . 8) ((u!`2 . 6) . -33708 )))) ((p . 3) ((u . 1) ((u!`1 . 8) ((u!`2 . 6) . -58584)))) ((p . 2) ((u . 1) (( u!`1 . 8) ((u!`2 . 6) . 242784)))) ((p . 1) ((u . 1) ((u!`1 . 8) ((u!`2 . 6) . 619392)))) ((u . 1) ((u!`1 . 8) ((u!`2 . 6) . 376320)))) (((expt u p) . 2) ((p . 4) ((u . 1) ((u!`1 . 10) ((u!`2 . 4) . 19246)))) ((p . 3) ((u . 1) ((u!`1 . 10) ((u!`2 . 4) . 23688)))) ((p . 2) ((u . 1) ((u!`1 . 10) ((u!`2 . 4) . -168000 )))) ((p . 1) ((u . 1) ((u!`1 . 10) ((u!`2 . 4) . -392320)))) ((u . 1) ((u!`1 . 10) ((u!`2 . 4) . -231936)))) (((expt u p) . 1) ((p . 4) ((u . 1) ((u!`1 . 12) ( (u!`2 . 2) . -3320)))) ((p . 3) ((u . 1) ((u!`1 . 12) ((u!`2 . 2) . 3144)))) ((p . 2) ((u . 1) ((u!`1 . 12) ((u!`2 . 2) . 60576)))) ((p . 1) ((u . 1) ((u!`1 . 12) ((u!`2 . 2) . 116096)))) ((u . 1) ((u!`1 . 12) ((u!`2 . 2) . 62976)))) ((p . 4) ((u . 1) ((u!`1 . 14) . 186))) ((p . 3) ((u . 1) ((u!`1 . 14) . -600))) (( p . 2) ((u . 1) ((u!`1 . 14) . -4992))) ((p . 1) ((u . 1) ((u!`1 . 14) . -8832)) ) ((u . 1) ((u!`1 . 14) . -4608))) (((df c_4 u!`1) . 1) (((expt u p) . 7) ((p . 5) ((u!`1 . 1) ((u!`2 . 14) . -630))) ((p . 4) ((u!`1 . 1) ((u!`2 . 14) . -13104 ))) ((p . 3) ((u!`1 . 1) ((u!`2 . 14) . -44640))) ((p . 2) ((u!`1 . 1) ((u!`2 . 14) . -62208))) ((p . 1) ((u!`1 . 1) ((u!`2 . 14) . -27648)))) (((expt u p) . 6) ((p . 5) ((u!`1 . 3) ((u!`2 . 12) . -6300))) ((p . 4) ((u!`1 . 3) ((u!`2 . 12) . 21984))) ((p . 3) ((u!`1 . 3) ((u!`2 . 12) . 157248))) ((p . 2) ((u!`1 . 3) ( (u!`2 . 12) . 271872))) ((p . 1) ((u!`1 . 3) ((u!`2 . 12) . 141312)))) (((expt u p) . 5) ((p . 5) ((u!`1 . 5) ((u!`2 . 10) . 24406))) ((p . 4) ((u!`1 . 5) ((u!`2 . 10) . 12144))) ((p . 3) ((u!`1 . 5) ((u!`2 . 10) . -234912))) ((p . 2) ((u!`1 . 5) ((u!`2 . 10) . -504064))) ((p . 1) ((u!`1 . 5) ((u!`2 . 10) . -291840)))) (((expt u p) . 4) ((p . 5) ((u!`1 . 7) ((u!`2 . 8) . -29192))) ((p . 4) ((u!`1 . 7) ((u!`2 . 8) . -37056))) ((p . 3) ((u!`1 . 7) ((u!`2 . 8) . 210816))) ((p . 2) ((u!`1 . 7) ((u!`2 . 8) . 508928))) ((p . 1) ((u!`1 . 7) ((u!`2 . 8) . 307200)))) (((expt u p) . 3) ((p . 5) ((u!`1 . 9) ((u!`2 . 6) . 13590))) ((p . 4 ) ((u!`1 . 9) ((u!`2 . 6) . 15024))) ((p . 3) ((u!`1 . 9) ((u!`2 . 6) . -125856) )) ((p . 2) ((u!`1 . 9) ((u!`2 . 6) . -288000))) ((p . 1) ((u!`1 . 9) ((u!`2 . 6 ) . -168960)))) (((expt u p) . 2) ((p . 5) ((u!`1 . 11) ((u!`2 . 4) . -1948))) ( (p . 4) ((u!`1 . 11) ((u!`2 . 4) . 1248))) ((p . 3) ((u!`1 . 11) ((u!`2 . 4) . 40512))) ((p . 2) ((u!`1 . 11) ((u!`2 . 4) . 79360))) ((p . 1) ((u!`1 . 11) (( u!`2 . 4) . 43008)))) (((expt u p) . 1) ((p . 5) ((u!`1 . 13) ((u!`2 . 2) . 74)) ) ((p . 4) ((u!`1 . 13) ((u!`2 . 2) . -240))) ((p . 3) ((u!`1 . 13) ((u!`2 . 2) . -3168))) ((p . 2) ((u!`1 . 13) ((u!`2 . 2) . -5888))) ((p . 1) ((u!`1 . 13) ( (u!`2 . 2) . -3072)))))) . 1) (fac . 2) (pval plus (times 225 (expt u (times 7 p )) (df c_4 u u!`1) (expt p 4) u u!`1 (expt u!`2 14)) (minus (times 720 (expt u ( times 7 p)) (df c_4 u u!`1) (expt p 3) u u!`1 (expt u!`2 14))) (minus (times 720 (expt u (times 7 p)) (df c_4 u u!`1) (expt p 2) u u!`1 (expt u!`2 14))) (minus ( times 1095 (expt u (times 6 p)) (df c_4 u u!`1) (expt p 4) u (expt u!`1 3) (expt u!`2 12))) (times 3504 (expt u (times 6 p)) (df c_4 u u!`1) (expt p 3) u (expt u!`1 3) (expt u!`2 12)) (times 3504 (expt u (times 6 p)) (df c_4 u u!`1) (expt p 2) u (expt u!`1 3) (expt u!`2 12)) (times 2085 (expt u (times 5 p)) (df c_4 u u!`1) (expt p 4) u (expt u!`1 5) (expt u!`2 10)) (minus (times 6672 (expt u ( times 5 p)) (df c_4 u u!`1) (expt p 3) u (expt u!`1 5) (expt u!`2 10))) (minus ( times 6672 (expt u (times 5 p)) (df c_4 u u!`1) (expt p 2) u (expt u!`1 5) (expt u!`2 10))) (minus (times 1875 (expt u (times 4 p)) (df c_4 u u!`1) (expt p 4) u (expt u!`1 7) (expt u!`2 8))) (times 6000 (expt u (times 4 p)) (df c_4 u u!`1) ( expt p 3) u (expt u!`1 7) (expt u!`2 8)) (times 6000 (expt u (times 4 p)) (df c_4 u u!`1) (expt p 2) u (expt u!`1 7) (expt u!`2 8)) (times 675 (expt u (times 3 p)) (df c_4 u u!`1) (expt p 4) u (expt u!`1 9) (expt u!`2 6)) (minus (times 2160 (expt u (times 3 p)) (df c_4 u u!`1) (expt p 3) u (expt u!`1 9) (expt u!`2 6))) (minus (times 2160 (expt u (times 3 p)) (df c_4 u u!`1) (expt p 2) u (expt u!`1 9) (expt u!`2 6))) (times 75 (expt u (times 2 p)) (df c_4 u u!`1) (expt p 4 ) u (expt u!`1 11) (expt u!`2 4)) (minus (times 240 (expt u (times 2 p)) (df c_4 u u!`1) (expt p 3) u (expt u!`1 11) (expt u!`2 4))) (minus (times 240 (expt u ( times 2 p)) (df c_4 u u!`1) (expt p 2) u (expt u!`1 11) (expt u!`2 4))) (minus ( times 105 (expt u p) (df c_4 u u!`1) (expt p 4) u (expt u!`1 13) (expt u!`2 2))) (times 336 (expt u p) (df c_4 u u!`1) (expt p 3) u (expt u!`1 13) (expt u!`2 2)) (times 336 (expt u p) (df c_4 u u!`1) (expt p 2) u (expt u!`1 13) (expt u!`2 2)) (times 15 (df c_4 u u!`1) (expt p 4) u (expt u!`1 15)) (minus (times 48 (df c_4 u u!`1) (expt p 3) u (expt u!`1 15))) (minus (times 48 (df c_4 u u!`1) (expt p 2 ) u (expt u!`1 15))) (minus (times 540 (expt u (times 7 p)) (df c_4 u) (expt p 4 ) u (expt u!`2 14))) (minus (times 5832 (expt u (times 7 p)) (df c_4 u) (expt p 3) u (expt u!`2 14))) (minus (times 21600 (expt u (times 7 p)) (df c_4 u) (expt p 2) u (expt u!`2 14))) (minus (times 31104 (expt u (times 7 p)) (df c_4 u) p u (expt u!`2 14))) (minus (times 13824 (expt u (times 7 p)) (df c_4 u) u (expt u!`2 14))) (minus (times 4350 (expt u (times 6 p)) (df c_4 u) (expt p 4) u (expt u!`1 2) (expt u!`2 12))) (minus (times 7848 (expt u (times 6 p)) (df c_4 u) (expt p 3 ) u (expt u!`1 2) (expt u!`2 12))) (times 12480 (expt u (times 6 p)) (df c_4 u) (expt p 2) u (expt u!`1 2) (expt u!`2 12)) (times 42624 (expt u (times 6 p)) (df c_4 u) p u (expt u!`1 2) (expt u!`2 12)) (times 29184 (expt u (times 6 p)) (df c_4 u) u (expt u!`1 2) (expt u!`2 12)) (times 5888 (expt u (times 5 p)) (df c_4 u) (expt p 4) u (expt u!`1 4) (expt u!`2 10)) (times 29016 (expt u (times 5 p)) (df c_4 u) (expt p 3) u (expt u!`1 4) (expt u!`2 10)) (times 108384 (expt u ( times 5 p)) (df c_4 u) (expt p 2) u (expt u!`1 4) (expt u!`2 10)) (times 155776 (expt u (times 5 p)) (df c_4 u) p u (expt u!`1 4) (expt u!`2 10)) (times 66048 ( expt u (times 5 p)) (df c_4 u) u (expt u!`1 4) (expt u!`2 10)) (times 16598 ( expt u (times 4 p)) (df c_4 u) (expt p 4) u (expt u!`1 6) (expt u!`2 8)) (times 17016 (expt u (times 4 p)) (df c_4 u) (expt p 3) u (expt u!`1 6) (expt u!`2 8)) (minus (times 229632 (expt u (times 4 p)) (df c_4 u) (expt p 2) u (expt u!`1 6) (expt u!`2 8))) (minus (times 501632 (expt u (times 4 p)) (df c_4 u) p u (expt u!`1 6) (expt u!`2 8))) (minus (times 284160 (expt u (times 4 p)) (df c_4 u) u ( expt u!`1 6) (expt u!`2 8))) (minus (times 33708 (expt u (times 3 p)) (df c_4 u) (expt p 4) u (expt u!`1 8) (expt u!`2 6))) (minus (times 58584 (expt u (times 3 p)) (df c_4 u) (expt p 3) u (expt u!`1 8) (expt u!`2 6))) (times 242784 (expt u (times 3 p)) (df c_4 u) (expt p 2) u (expt u!`1 8) (expt u!`2 6)) (times 619392 (expt u (times 3 p)) (df c_4 u) p u (expt u!`1 8) (expt u!`2 6)) (times 376320 ( expt u (times 3 p)) (df c_4 u) u (expt u!`1 8) (expt u!`2 6)) (times 19246 (expt u (times 2 p)) (df c_4 u) (expt p 4) u (expt u!`1 10) (expt u!`2 4)) (times 23688 (expt u (times 2 p)) (df c_4 u) (expt p 3) u (expt u!`1 10) (expt u!`2 4)) (minus (times 168000 (expt u (times 2 p)) (df c_4 u) (expt p 2) u (expt u!`1 10) (expt u!`2 4))) (minus (times 392320 (expt u (times 2 p)) (df c_4 u) p u (expt u!`1 10) (expt u!`2 4))) (minus (times 231936 (expt u (times 2 p)) (df c_4 u) u (expt u!`1 10) (expt u!`2 4))) (minus (times 3320 (expt u p) (df c_4 u) (expt p 4) u (expt u!`1 12) (expt u!`2 2))) (times 3144 (expt u p) (df c_4 u) (expt p 3) u (expt u!`1 12) (expt u!`2 2)) (times 60576 (expt u p) (df c_4 u) (expt p 2) u (expt u!`1 12) (expt u!`2 2)) (times 116096 (expt u p) (df c_4 u) p u (expt u!`1 12) (expt u!`2 2)) (times 62976 (expt u p) (df c_4 u) u (expt u!`1 12) (expt u!`2 2)) (times 186 (df c_4 u) (expt p 4) u (expt u!`1 14)) (minus (times 600 (df c_4 u) (expt p 3) u (expt u!`1 14))) (minus (times 4992 (df c_4 u) (expt p 2) u ( expt u!`1 14))) (minus (times 8832 (df c_4 u) p u (expt u!`1 14))) (minus (times 4608 (df c_4 u) u (expt u!`1 14))) (minus (times 630 (expt u (times 7 p)) (df c_4 u!`1) (expt p 5) u!`1 (expt u!`2 14))) (minus (times 13104 (expt u (times 7 p)) (df c_4 u!`1) (expt p 4) u!`1 (expt u!`2 14))) (minus (times 44640 (expt u ( times 7 p)) (df c_4 u!`1) (expt p 3) u!`1 (expt u!`2 14))) (minus (times 62208 ( expt u (times 7 p)) (df c_4 u!`1) (expt p 2) u!`1 (expt u!`2 14))) (minus (times 27648 (expt u (times 7 p)) (df c_4 u!`1) p u!`1 (expt u!`2 14))) (minus (times 6300 (expt u (times 6 p)) (df c_4 u!`1) (expt p 5) (expt u!`1 3) (expt u!`2 12)) ) (times 21984 (expt u (times 6 p)) (df c_4 u!`1) (expt p 4) (expt u!`1 3) (expt u!`2 12)) (times 157248 (expt u (times 6 p)) (df c_4 u!`1) (expt p 3) (expt u!`1 3) (expt u!`2 12)) (times 271872 (expt u (times 6 p)) (df c_4 u!`1) (expt p 2) ( expt u!`1 3) (expt u!`2 12)) (times 141312 (expt u (times 6 p)) (df c_4 u!`1) p (expt u!`1 3) (expt u!`2 12)) (times 24406 (expt u (times 5 p)) (df c_4 u!`1) ( expt p 5) (expt u!`1 5) (expt u!`2 10)) (times 12144 (expt u (times 5 p)) (df c_4 u!`1) (expt p 4) (expt u!`1 5) (expt u!`2 10)) (minus (times 234912 (expt u (times 5 p)) (df c_4 u!`1) (expt p 3) (expt u!`1 5) (expt u!`2 10))) (minus ( times 504064 (expt u (times 5 p)) (df c_4 u!`1) (expt p 2) (expt u!`1 5) (expt u!`2 10))) (minus (times 291840 (expt u (times 5 p)) (df c_4 u!`1) p (expt u!`1 5) (expt u!`2 10))) (minus (times 29192 (expt u (times 4 p)) (df c_4 u!`1) (expt p 5) (expt u!`1 7) (expt u!`2 8))) (minus (times 37056 (expt u (times 4 p)) (df c_4 u!`1) (expt p 4) (expt u!`1 7) (expt u!`2 8))) (times 210816 (expt u (times 4 p)) (df c_4 u!`1) (expt p 3) (expt u!`1 7) (expt u!`2 8)) (times 508928 (expt u (times 4 p)) (df c_4 u!`1) (expt p 2) (expt u!`1 7) (expt u!`2 8)) (times 307200 (expt u (times 4 p)) (df c_4 u!`1) p (expt u!`1 7) (expt u!`2 8)) (times 13590 (expt u (times 3 p)) (df c_4 u!`1) (expt p 5) (expt u!`1 9) (expt u!`2 6)) (times 15024 (expt u (times 3 p)) (df c_4 u!`1) (expt p 4) (expt u!`1 9) (expt u!`2 6)) (minus (times 125856 (expt u (times 3 p)) (df c_4 u!`1) (expt p 3) ( expt u!`1 9) (expt u!`2 6))) (minus (times 288000 (expt u (times 3 p)) (df c_4 u!`1) (expt p 2) (expt u!`1 9) (expt u!`2 6))) (minus (times 168960 (expt u ( times 3 p)) (df c_4 u!`1) p (expt u!`1 9) (expt u!`2 6))) (minus (times 1948 ( expt u (times 2 p)) (df c_4 u!`1) (expt p 5) (expt u!`1 11) (expt u!`2 4))) ( times 1248 (expt u (times 2 p)) (df c_4 u!`1) (expt p 4) (expt u!`1 11) (expt u!`2 4)) (times 40512 (expt u (times 2 p)) (df c_4 u!`1) (expt p 3) (expt u!`1 11) (expt u!`2 4)) (times 79360 (expt u (times 2 p)) (df c_4 u!`1) (expt p 2) ( expt u!`1 11) (expt u!`2 4)) (times 43008 (expt u (times 2 p)) (df c_4 u!`1) p ( expt u!`1 11) (expt u!`2 4)) (times 74 (expt u p) (df c_4 u!`1) (expt p 5) (expt u!`1 13) (expt u!`2 2)) (minus (times 240 (expt u p) (df c_4 u!`1) (expt p 4) ( expt u!`1 13) (expt u!`2 2))) (minus (times 3168 (expt u p) (df c_4 u!`1) (expt p 3) (expt u!`1 13) (expt u!`2 2))) (minus (times 5888 (expt u p) (df c_4 u!`1) (expt p 2) (expt u!`1 13) (expt u!`2 2))) (minus (times 3072 (expt u p) (df c_4 u!`1) p (expt u!`1 13) (expt u!`2 2)))) (partitioned) (kern (df c_4 u u!`1) (df c_4 u) (df c_4 u!`1) (expt u p) p u!`1 u!`2 u) (fct_kern_lin) (fct_kern_nli) ( fcts c_4 p) (vars u!`2 u!`1 u) (nvars . 3) (level 1 1 1 1 1 1 1 1) (derivs ((c_4 u u!`1) . 1) ((c_4 u!`1) . 1) ((c_4 u) . 1) ((p) . 5) ((p) . 4)) (no_derivs) ( fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) ( fct_nli_nli) (fct_nli_nus) (terms . 99) (length . 344) (printlength . 1952) ( rational c_4) (nonrational p) (allvarfcts c_4) (starde) (dec_with) (dec_with_rl (0 e_5 e_56 e_71)) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) ( to_symbol to_under to_diff to_decoup to_int to_fullint)) (e_47 ((sqval ((((df c_3 u) . 1) (((expt u p) . 6) ((p . 4) ((u . 1) ((u!`2 . 12) . 4740))) ((p . 3) ((u . 1) ((u!`2 . 12) . 16704))) ((p . 2) ((u . 1) ((u!`2 . 12) . 39360))) ((p . 1) ((u . 1) ((u!`2 . 12) . 43008))) ((u . 1) ((u!`2 . 12) . 12288))) (((expt u p) . 5) ((p . 4) ((u . 1) ((u!`1 . 2) ((u!`2 . 10) . 488)))) ((p . 3) ((u . 1) ((u!`1 . 2) ((u!`2 . 10) . 21888)))) ((p . 2) ((u . 1) ((u!`1 . 2) ((u!`2 . 10) . 6528)))) ((p . 1) ((u . 1) ((u!`1 . 2) ((u!`2 . 10) . -32768)))) ((u . 1) (( u!`1 . 2) ((u!`2 . 10) . -24576)))) (((expt u p) . 4) ((p . 4) ((u . 1) ((u!`1 . 4) ((u!`2 . 8) . -18820)))) ((p . 3) ((u . 1) ((u!`1 . 4) ((u!`2 . 8) . -132672)))) ((p . 2) ((u . 1) ((u!`1 . 4) ((u!`2 . 8) . -257472)))) ((p . 1) ((u . 1) ((u!`1 . 4) ((u!`2 . 8) . -235520)))) ((u . 1) ((u!`1 . 4) ((u!`2 . 8) . -61440)))) (((expt u p) . 3) ((p . 4) ((u . 1) ((u!`1 . 6) ((u!`2 . 6) . 4272))) ) ((p . 3) ((u . 1) ((u!`1 . 6) ((u!`2 . 6) . 100608)))) ((p . 2) ((u . 1) ((u!`1 . 6) ((u!`2 . 6) . 374016)))) ((p . 1) ((u . 1) ((u!`1 . 6) ((u!`2 . 6) . 540672)))) ((u . 1) ((u!`1 . 6) ((u!`2 . 6) . 245760)))) (((expt u p) . 2) ((p . 4) ((u . 1) ((u!`1 . 8) ((u!`2 . 4) . 24124)))) ((p . 3) ((u . 1) ((u!`1 . 8) ((u!`2 . 4) . 24768)))) ((p . 2) ((u . 1) ((u!`1 . 8) ((u!`2 . 4) . -232896)))) ((p . 1) ((u . 1) ((u!`1 . 8) ((u!`2 . 4) . -526336)))) ((u . 1) ((u!`1 . 8) (( u!`2 . 4) . -307200)))) (((expt u p) . 1) ((p . 4) ((u . 1) ((u!`1 . 10) ((u!`2 . 2) . -16664)))) ((p . 3) ((u . 1) ((u!`1 . 10) ((u!`2 . 2) . -30336)))) ((p . 2) ((u . 1) ((u!`1 . 10) ((u!`2 . 2) . 104832)))) ((p . 1) ((u . 1) ((u!`1 . 10) ((u!`2 . 2) . 278528)))) ((u . 1) ((u!`1 . 10) ((u!`2 . 2) . 172032)))) ((p . 4) ((u . 1) ((u!`1 . 12) . 1860))) ((p . 3) ((u . 1) ((u!`1 . 12) . -960))) ( (p . 2) ((u . 1) ((u!`1 . 12) . -34368))) ((p . 1) ((u . 1) ((u!`1 . 12) . -67584))) ((u . 1) ((u!`1 . 12) . -36864))) (((df c_3 u!`1 2) . 1) (((expt u p) . 7) ((p . 5) ((u!`2 . 14) . 225)) ((p . 4) ((u!`2 . 14) . -720)) ((p . 3) (( u!`2 . 14) . -720))) (((expt u p) . 6) ((p . 5) ((u!`1 . 2) ((u!`2 . 12) . -1095 ))) ((p . 4) ((u!`1 . 2) ((u!`2 . 12) . 3504))) ((p . 3) ((u!`1 . 2) ((u!`2 . 12 ) . 3504)))) (((expt u p) . 5) ((p . 5) ((u!`1 . 4) ((u!`2 . 10) . 2085))) ((p . 4) ((u!`1 . 4) ((u!`2 . 10) . -6672))) ((p . 3) ((u!`1 . 4) ((u!`2 . 10) . -6672)))) (((expt u p) . 4) ((p . 5) ((u!`1 . 6) ((u!`2 . 8) . -1875))) ((p . 4) ((u!`1 . 6) ((u!`2 . 8) . 6000))) ((p . 3) ((u!`1 . 6) ((u!`2 . 8) . 6000)))) (( (expt u p) . 3) ((p . 5) ((u!`1 . 8) ((u!`2 . 6) . 675))) ((p . 4) ((u!`1 . 8) ( (u!`2 . 6) . -2160))) ((p . 3) ((u!`1 . 8) ((u!`2 . 6) . -2160)))) (((expt u p) . 2) ((p . 5) ((u!`1 . 10) ((u!`2 . 4) . 75))) ((p . 4) ((u!`1 . 10) ((u!`2 . 4 ) . -240))) ((p . 3) ((u!`1 . 10) ((u!`2 . 4) . -240)))) (((expt u p) . 1) ((p . 5) ((u!`1 . 12) ((u!`2 . 2) . -105))) ((p . 4) ((u!`1 . 12) ((u!`2 . 2) . 336 ))) ((p . 3) ((u!`1 . 12) ((u!`2 . 2) . 336)))) ((p . 5) ((u!`1 . 14) . 15)) ((p . 4) ((u!`1 . 14) . -48)) ((p . 3) ((u!`1 . 14) . -48))) (((df c_3 u!`1) . 1) ( ((expt u p) . 6) ((p . 5) ((u!`1 . 1) ((u!`2 . 12) . 6780))) ((p . 4) ((u!`1 . 1 ) ((u!`2 . 12) . 42048))) ((p . 3) ((u!`1 . 1) ((u!`2 . 12) . 87360))) ((p . 2) ((u!`1 . 1) ((u!`2 . 12) . 86016))) ((p . 1) ((u!`1 . 1) ((u!`2 . 12) . 24576))) ) (((expt u p) . 5) ((p . 5) ((u!`1 . 3) ((u!`2 . 10) . -11624))) ((p . 4) ((u!`1 . 3) ((u!`2 . 10) . -107136))) ((p . 3) ((u!`1 . 3) ((u!`2 . 10) . -273792))) ( (p . 2) ((u!`1 . 3) ((u!`2 . 10) . -323584))) ((p . 1) ((u!`1 . 3) ((u!`2 . 10) . -122880)))) (((expt u p) . 4) ((p . 5) ((u!`1 . 5) ((u!`2 . 8) . -6908))) ((p . 4) ((u!`1 . 5) ((u!`2 . 8) . 69312))) ((p . 3) ((u!`1 . 5) ((u!`2 . 8) . 319680))) ((p . 2) ((u!`1 . 5) ((u!`2 . 8) . 499712))) ((p . 1) ((u!`1 . 5) (( u!`2 . 8) . 245760)))) (((expt u p) . 3) ((p . 5) ((u!`1 . 7) ((u!`2 . 6) . 22608))) ((p . 4) ((u!`1 . 7) ((u!`2 . 6) . 14592))) ((p . 3) ((u!`1 . 7) ((u!`2 . 6) . -189696))) ((p . 2) ((u!`1 . 7) ((u!`2 . 6) . -417792))) ((p . 1) ((u!`1 . 7) ((u!`2 . 6) . -245760)))) (((expt u p) . 2) ((p . 5) ((u!`1 . 9) ((u!`2 . 4) . -11836))) ((p . 4) ((u!`1 . 9) ((u!`2 . 4) . -19008))) ((p . 3) ((u!`1 . 9) ((u!`2 . 4) . 78528))) ((p . 2) ((u!`1 . 9) ((u!`2 . 4) . 200704))) ((p . 1) (( u!`1 . 9) ((u!`2 . 4) . 122880)))) (((expt u p) . 1) ((p . 5) ((u!`1 . 11) ((u!`2 . 2) . 920))) ((p . 4) ((u!`1 . 11) ((u!`2 . 2) . 384))) ((p . 3) ((u!`1 . 11) ((u!`2 . 2) . -21888))) ((p . 2) ((u!`1 . 11) ((u!`2 . 2) . -45056))) ((p . 1) ( (u!`1 . 11) ((u!`2 . 2) . -24576)))) ((p . 5) ((u!`1 . 13) . 60)) ((p . 4) ((u!`1 . 13) . -192)) ((p . 3) ((u!`1 . 13) . -192))) (((df c_4 u) . 1) (((expt u p) . 6) ((p . 3) ((u . 2) ((u!`2 . 11) . -2880))) ((p . 2) ((u . 2) ((u!`2 . 11) . 9216))) ((p . 1) ((u . 2) ((u!`2 . 11) . 9216)))) (((expt u p) . 5) ((p . 3) ((u . 2) ((u!`1 . 2) ((u!`2 . 9) . 4800)))) ((p . 2) ((u . 2) ((u!`1 . 2) ((u!`2 . 9) . -15360)))) ((p . 1) ((u . 2) ((u!`1 . 2) ((u!`2 . 9) . -15360))))) ((( expt u p) . 4) ((p . 3) ((u . 2) ((u!`1 . 4) ((u!`2 . 7) . 1920)))) ((p . 2) ((u . 2) ((u!`1 . 4) ((u!`2 . 7) . -6144)))) ((p . 1) ((u . 2) ((u!`1 . 4) ((u!`2 . 7) . -6144))))) (((expt u p) . 3) ((p . 3) ((u . 2) ((u!`1 . 6) ((u!`2 . 5) . -5760)))) ((p . 2) ((u . 2) ((u!`1 . 6) ((u!`2 . 5) . 18432)))) ((p . 1) ((u . 2) ((u!`1 . 6) ((u!`2 . 5) . 18432))))) (((expt u p) . 2) ((p . 3) ((u . 2) ( (u!`1 . 8) ((u!`2 . 3) . 960)))) ((p . 2) ((u . 2) ((u!`1 . 8) ((u!`2 . 3) . -3072)))) ((p . 1) ((u . 2) ((u!`1 . 8) ((u!`2 . 3) . -3072))))) (((expt u p) . 1) ((p . 3) ((u . 2) ((u!`1 . 10) ((u!`2 . 1) . 960)))) ((p . 2) ((u . 2) ((u!`1 . 10) ((u!`2 . 1) . -3072)))) ((p . 1) ((u . 2) ((u!`1 . 10) ((u!`2 . 1) . -3072)))))) (((expt u p) . 3) ((c_17 . 1) ((p . 3) ((u . 1) ((u!`1 . 1) ((u!`2 . 4) . -4800)))) ((p . 2) ((u . 1) ((u!`1 . 1) ((u!`2 . 4) . 15360)))) ((p . 1) ((u . 1) ((u!`1 . 1) ((u!`2 . 4) . 15360)))))) (((expt u p) . 2) ((c_17 . 1) ((p . 3) ((u . 1) ((u!`1 . 3) ((u!`2 . 2) . -3840)))) ((p . 2) ((u . 1) ((u!`1 . 3) ((u!`2 . 2) . 12288)))) ((p . 1) ((u . 1) ((u!`1 . 3) ((u!`2 . 2) . 12288)))))) (((expt u p) . 1) ((c_17 . 1) ((p . 3) ((u . 1) ((u!`1 . 5) . 960))) ((p . 2) (( u . 1) ((u!`1 . 5) . -3072))) ((p . 1) ((u . 1) ((u!`1 . 5) . -3072)))))) . 1) ( fac . 2) (pval plus (times 4740 (expt u (times 6 p)) (df c_3 u) (expt p 4) u ( expt u!`2 12)) (times 16704 (expt u (times 6 p)) (df c_3 u) (expt p 3) u (expt u!`2 12)) (times 39360 (expt u (times 6 p)) (df c_3 u) (expt p 2) u (expt u!`2 12)) (times 43008 (expt u (times 6 p)) (df c_3 u) p u (expt u!`2 12)) (times 12288 (expt u (times 6 p)) (df c_3 u) u (expt u!`2 12)) (times 488 (expt u ( times 5 p)) (df c_3 u) (expt p 4) u (expt u!`1 2) (expt u!`2 10)) (times 21888 ( expt u (times 5 p)) (df c_3 u) (expt p 3) u (expt u!`1 2) (expt u!`2 10)) (times 6528 (expt u (times 5 p)) (df c_3 u) (expt p 2) u (expt u!`1 2) (expt u!`2 10)) (minus (times 32768 (expt u (times 5 p)) (df c_3 u) p u (expt u!`1 2) (expt u!`2 10))) (minus (times 24576 (expt u (times 5 p)) (df c_3 u) u (expt u!`1 2) (expt u!`2 10))) (minus (times 18820 (expt u (times 4 p)) (df c_3 u) (expt p 4) u ( expt u!`1 4) (expt u!`2 8))) (minus (times 132672 (expt u (times 4 p)) (df c_3 u ) (expt p 3) u (expt u!`1 4) (expt u!`2 8))) (minus (times 257472 (expt u (times 4 p)) (df c_3 u) (expt p 2) u (expt u!`1 4) (expt u!`2 8))) (minus (times 235520 (expt u (times 4 p)) (df c_3 u) p u (expt u!`1 4) (expt u!`2 8))) (minus (times 61440 (expt u (times 4 p)) (df c_3 u) u (expt u!`1 4) (expt u!`2 8))) (times 4272 (expt u (times 3 p)) (df c_3 u) (expt p 4) u (expt u!`1 6) (expt u!`2 6)) ( times 100608 (expt u (times 3 p)) (df c_3 u) (expt p 3) u (expt u!`1 6) (expt u!`2 6)) (times 374016 (expt u (times 3 p)) (df c_3 u) (expt p 2) u (expt u!`1 6 ) (expt u!`2 6)) (times 540672 (expt u (times 3 p)) (df c_3 u) p u (expt u!`1 6) (expt u!`2 6)) (times 245760 (expt u (times 3 p)) (df c_3 u) u (expt u!`1 6) ( expt u!`2 6)) (times 24124 (expt u (times 2 p)) (df c_3 u) (expt p 4) u (expt u!`1 8) (expt u!`2 4)) (times 24768 (expt u (times 2 p)) (df c_3 u) (expt p 3) u (expt u!`1 8) (expt u!`2 4)) (minus (times 232896 (expt u (times 2 p)) (df c_3 u ) (expt p 2) u (expt u!`1 8) (expt u!`2 4))) (minus (times 526336 (expt u (times 2 p)) (df c_3 u) p u (expt u!`1 8) (expt u!`2 4))) (minus (times 307200 (expt u (times 2 p)) (df c_3 u) u (expt u!`1 8) (expt u!`2 4))) (minus (times 16664 ( expt u p) (df c_3 u) (expt p 4) u (expt u!`1 10) (expt u!`2 2))) (minus (times 30336 (expt u p) (df c_3 u) (expt p 3) u (expt u!`1 10) (expt u!`2 2))) (times 104832 (expt u p) (df c_3 u) (expt p 2) u (expt u!`1 10) (expt u!`2 2)) (times 278528 (expt u p) (df c_3 u) p u (expt u!`1 10) (expt u!`2 2)) (times 172032 ( expt u p) (df c_3 u) u (expt u!`1 10) (expt u!`2 2)) (times 1860 (df c_3 u) ( expt p 4) u (expt u!`1 12)) (minus (times 960 (df c_3 u) (expt p 3) u (expt u!`1 12))) (minus (times 34368 (df c_3 u) (expt p 2) u (expt u!`1 12))) (minus (times 67584 (df c_3 u) p u (expt u!`1 12))) (minus (times 36864 (df c_3 u) u (expt u!`1 12))) (times 225 (expt u (times 7 p)) (df c_3 u!`1 2) (expt p 5) (expt u!`2 14)) (minus (times 720 (expt u (times 7 p)) (df c_3 u!`1 2) (expt p 4) (expt u!`2 14) )) (minus (times 720 (expt u (times 7 p)) (df c_3 u!`1 2) (expt p 3) (expt u!`2 14))) (minus (times 1095 (expt u (times 6 p)) (df c_3 u!`1 2) (expt p 5) (expt u!`1 2) (expt u!`2 12))) (times 3504 (expt u (times 6 p)) (df c_3 u!`1 2) (expt p 4) (expt u!`1 2) (expt u!`2 12)) (times 3504 (expt u (times 6 p)) (df c_3 u!`1 2) (expt p 3) (expt u!`1 2) (expt u!`2 12)) (times 2085 (expt u (times 5 p)) (df c_3 u!`1 2) (expt p 5) (expt u!`1 4) (expt u!`2 10)) (minus (times 6672 (expt u (times 5 p)) (df c_3 u!`1 2) (expt p 4) (expt u!`1 4) (expt u!`2 10))) (minus ( times 6672 (expt u (times 5 p)) (df c_3 u!`1 2) (expt p 3) (expt u!`1 4) (expt u!`2 10))) (minus (times 1875 (expt u (times 4 p)) (df c_3 u!`1 2) (expt p 5) ( expt u!`1 6) (expt u!`2 8))) (times 6000 (expt u (times 4 p)) (df c_3 u!`1 2) ( expt p 4) (expt u!`1 6) (expt u!`2 8)) (times 6000 (expt u (times 4 p)) (df c_3 u!`1 2) (expt p 3) (expt u!`1 6) (expt u!`2 8)) (times 675 (expt u (times 3 p)) (df c_3 u!`1 2) (expt p 5) (expt u!`1 8) (expt u!`2 6)) (minus (times 2160 (expt u (times 3 p)) (df c_3 u!`1 2) (expt p 4) (expt u!`1 8) (expt u!`2 6))) (minus ( times 2160 (expt u (times 3 p)) (df c_3 u!`1 2) (expt p 3) (expt u!`1 8) (expt u!`2 6))) (times 75 (expt u (times 2 p)) (df c_3 u!`1 2) (expt p 5) (expt u!`1 10) (expt u!`2 4)) (minus (times 240 (expt u (times 2 p)) (df c_3 u!`1 2) (expt p 4) (expt u!`1 10) (expt u!`2 4))) (minus (times 240 (expt u (times 2 p)) (df c_3 u!`1 2) (expt p 3) (expt u!`1 10) (expt u!`2 4))) (minus (times 105 (expt u p) (df c_3 u!`1 2) (expt p 5) (expt u!`1 12) (expt u!`2 2))) (times 336 (expt u p) (df c_3 u!`1 2) (expt p 4) (expt u!`1 12) (expt u!`2 2)) (times 336 (expt u p ) (df c_3 u!`1 2) (expt p 3) (expt u!`1 12) (expt u!`2 2)) (times 15 (df c_3 u!`1 2) (expt p 5) (expt u!`1 14)) (minus (times 48 (df c_3 u!`1 2) (expt p 4) (expt u!`1 14))) (minus (times 48 (df c_3 u!`1 2) (expt p 3) (expt u!`1 14))) (times 6780 (expt u (times 6 p)) (df c_3 u!`1) (expt p 5) u!`1 (expt u!`2 12)) (times 42048 (expt u (times 6 p)) (df c_3 u!`1) (expt p 4) u!`1 (expt u!`2 12)) (times 87360 (expt u (times 6 p)) (df c_3 u!`1) (expt p 3) u!`1 (expt u!`2 12)) (times 86016 (expt u (times 6 p)) (df c_3 u!`1) (expt p 2) u!`1 (expt u!`2 12)) (times 24576 (expt u (times 6 p)) (df c_3 u!`1) p u!`1 (expt u!`2 12)) (minus (times 11624 (expt u (times 5 p)) (df c_3 u!`1) (expt p 5) (expt u!`1 3) (expt u!`2 10) )) (minus (times 107136 (expt u (times 5 p)) (df c_3 u!`1) (expt p 4) (expt u!`1 3) (expt u!`2 10))) (minus (times 273792 (expt u (times 5 p)) (df c_3 u!`1) ( expt p 3) (expt u!`1 3) (expt u!`2 10))) (minus (times 323584 (expt u (times 5 p )) (df c_3 u!`1) (expt p 2) (expt u!`1 3) (expt u!`2 10))) (minus (times 122880 (expt u (times 5 p)) (df c_3 u!`1) p (expt u!`1 3) (expt u!`2 10))) (minus ( times 6908 (expt u (times 4 p)) (df c_3 u!`1) (expt p 5) (expt u!`1 5) (expt u!`2 8))) (times 69312 (expt u (times 4 p)) (df c_3 u!`1) (expt p 4) (expt u!`1 5) ( expt u!`2 8)) (times 319680 (expt u (times 4 p)) (df c_3 u!`1) (expt p 3) (expt u!`1 5) (expt u!`2 8)) (times 499712 (expt u (times 4 p)) (df c_3 u!`1) (expt p 2) (expt u!`1 5) (expt u!`2 8)) (times 245760 (expt u (times 4 p)) (df c_3 u!`1) p (expt u!`1 5) (expt u!`2 8)) (times 22608 (expt u (times 3 p)) (df c_3 u!`1) ( expt p 5) (expt u!`1 7) (expt u!`2 6)) (times 14592 (expt u (times 3 p)) (df c_3 u!`1) (expt p 4) (expt u!`1 7) (expt u!`2 6)) (minus (times 189696 (expt u ( times 3 p)) (df c_3 u!`1) (expt p 3) (expt u!`1 7) (expt u!`2 6))) (minus (times 417792 (expt u (times 3 p)) (df c_3 u!`1) (expt p 2) (expt u!`1 7) (expt u!`2 6) )) (minus (times 245760 (expt u (times 3 p)) (df c_3 u!`1) p (expt u!`1 7) (expt u!`2 6))) (minus (times 11836 (expt u (times 2 p)) (df c_3 u!`1) (expt p 5) ( expt u!`1 9) (expt u!`2 4))) (minus (times 19008 (expt u (times 2 p)) (df c_3 u!`1) (expt p 4) (expt u!`1 9) (expt u!`2 4))) (times 78528 (expt u (times 2 p)) (df c_3 u!`1) (expt p 3) (expt u!`1 9) (expt u!`2 4)) (times 200704 (expt u ( times 2 p)) (df c_3 u!`1) (expt p 2) (expt u!`1 9) (expt u!`2 4)) (times 122880 (expt u (times 2 p)) (df c_3 u!`1) p (expt u!`1 9) (expt u!`2 4)) (times 920 ( expt u p) (df c_3 u!`1) (expt p 5) (expt u!`1 11) (expt u!`2 2)) (times 384 ( expt u p) (df c_3 u!`1) (expt p 4) (expt u!`1 11) (expt u!`2 2)) (minus (times 21888 (expt u p) (df c_3 u!`1) (expt p 3) (expt u!`1 11) (expt u!`2 2))) (minus (times 45056 (expt u p) (df c_3 u!`1) (expt p 2) (expt u!`1 11) (expt u!`2 2))) (minus (times 24576 (expt u p) (df c_3 u!`1) p (expt u!`1 11) (expt u!`2 2))) ( times 60 (df c_3 u!`1) (expt p 5) (expt u!`1 13)) (minus (times 192 (df c_3 u!`1 ) (expt p 4) (expt u!`1 13))) (minus (times 192 (df c_3 u!`1) (expt p 3) (expt u!`1 13))) (minus (times 2880 (expt u (times 6 p)) (df c_4 u) (expt p 3) (expt u 2) (expt u!`2 11))) (times 9216 (expt u (times 6 p)) (df c_4 u) (expt p 2) (expt u 2) (expt u!`2 11)) (times 9216 (expt u (times 6 p)) (df c_4 u) p (expt u 2) ( expt u!`2 11)) (times 4800 (expt u (times 5 p)) (df c_4 u) (expt p 3) (expt u 2) (expt u!`1 2) (expt u!`2 9)) (minus (times 15360 (expt u (times 5 p)) (df c_4 u) (expt p 2) (expt u 2) (expt u!`1 2) (expt u!`2 9))) (minus (times 15360 (expt u (times 5 p)) (df c_4 u) p (expt u 2) (expt u!`1 2) (expt u!`2 9))) (times 1920 ( expt u (times 4 p)) (df c_4 u) (expt p 3) (expt u 2) (expt u!`1 4) (expt u!`2 7) ) (minus (times 6144 (expt u (times 4 p)) (df c_4 u) (expt p 2) (expt u 2) (expt u!`1 4) (expt u!`2 7))) (minus (times 6144 (expt u (times 4 p)) (df c_4 u) p ( expt u 2) (expt u!`1 4) (expt u!`2 7))) (minus (times 5760 (expt u (times 3 p)) (df c_4 u) (expt p 3) (expt u 2) (expt u!`1 6) (expt u!`2 5))) (times 18432 ( expt u (times 3 p)) (df c_4 u) (expt p 2) (expt u 2) (expt u!`1 6) (expt u!`2 5) ) (times 18432 (expt u (times 3 p)) (df c_4 u) p (expt u 2) (expt u!`1 6) (expt u!`2 5)) (times 960 (expt u (times 2 p)) (df c_4 u) (expt p 3) (expt u 2) (expt u!`1 8) (expt u!`2 3)) (minus (times 3072 (expt u (times 2 p)) (df c_4 u) (expt p 2) (expt u 2) (expt u!`1 8) (expt u!`2 3))) (minus (times 3072 (expt u (times 2 p)) (df c_4 u) p (expt u 2) (expt u!`1 8) (expt u!`2 3))) (times 960 (expt u p ) (df c_4 u) (expt p 3) (expt u 2) (expt u!`1 10) u!`2) (minus (times 3072 (expt u p) (df c_4 u) (expt p 2) (expt u 2) (expt u!`1 10) u!`2)) (minus (times 3072 ( expt u p) (df c_4 u) p (expt u 2) (expt u!`1 10) u!`2)) (minus (times 4800 (expt u (times 3 p)) c_17 (expt p 3) u u!`1 (expt u!`2 4))) (times 15360 (expt u ( times 3 p)) c_17 (expt p 2) u u!`1 (expt u!`2 4)) (times 15360 (expt u (times 3 p)) c_17 p u u!`1 (expt u!`2 4)) (minus (times 3840 (expt u (times 2 p)) c_17 ( expt p 3) u (expt u!`1 3) (expt u!`2 2))) (times 12288 (expt u (times 2 p)) c_17 (expt p 2) u (expt u!`1 3) (expt u!`2 2)) (times 12288 (expt u (times 2 p)) c_17 p u (expt u!`1 3) (expt u!`2 2)) (times 960 (expt u p) c_17 (expt p 3) u (expt u!`1 5)) (minus (times 3072 (expt u p) c_17 (expt p 2) u (expt u!`1 5))) (minus (times 3072 (expt u p) c_17 p u (expt u!`1 5)))) (partitioned) (kern (df c_3 u) (df c_3 u!`1 2) (df c_3 u!`1) (df c_4 u) (expt u p) c_17 p u u!`1 u!`2) ( fct_kern_lin) (fct_kern_nli) (fcts c_4 c_3 c_17 p) (vars u!`2 u!`1 u) (nvars . 3 ) (level 1 1 1 1 1 1 1 1) (derivs ((c_4 u) . 1) ((c_3 u!`1 2) . 1) ((c_3 u!`1) . 1) ((c_3 u) . 1) ((c_17) . 1) ((p) . 5) ((p) . 4) ((p) . 3)) (no_derivs) ( fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) ( fct_nli_nli) (fct_nli_nus) (terms . 119) (length . 426) (printlength . 2053) ( rational c_4 c_3 c_17) (nonrational p) (allvarfcts c_4 c_3) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval)) (e_19 ((sqval ((((df c_17 u!`1 2) . 1) (((expt u p) . 5) ((p . 4) ((u!`2 . 10) . 225)) ((p . 3) ((u!`2 . 10) . -720)) ((p . 2) ((u!`2 . 10) . -720))) (((expt u p) . 4) ((p . 4) ((u!`1 . 2) ((u!`2 . 8) . -645))) ((p . 3) ((u!`1 . 2) ((u!`2 . 8) . 2064))) ((p . 2) ((u!`1 . 2) ((u!`2 . 8) . 2064)))) (((expt u p) . 3) ((p . 4) ((u!`1 . 4) ((u!`2 . 6) . 570))) ((p . 3) ((u!`1 . 4) ((u!`2 . 6) . -1824))) ((p . 2) ((u!`1 . 4) ((u!`2 . 6) . -1824)))) (((expt u p) . 2) ((p . 4) ((u!`1 . 6) ((u!`2 . 4) . -90 ))) ((p . 3) ((u!`1 . 6) ((u!`2 . 4) . 288))) ((p . 2) ((u!`1 . 6) ((u!`2 . 4) . 288)))) (((expt u p) . 1) ((p . 4) ((u!`1 . 8) ((u!`2 . 2) . -75))) ((p . 3) ((u!`1 . 8) ((u!`2 . 2) . 240))) ((p . 2) ((u!`1 . 8) ((u!`2 . 2) . 240)))) ((p . 4) ((u!`1 . 10) . 15)) ((p . 3) ((u!`1 . 10) . -48)) ((p . 2) ((u!`1 . 10) . -48))) (((df c_17 u!`1) . 1) (((expt u p) . 4) ((p . 4) ((u!`1 . 1) ((u!`2 . 8) . 8580))) ((p . 3) ((u!`1 . 1) ((u!`2 . 8) . 36288))) ((p . 2) ((u!`1 . 1) (( u!`2 . 8) . 81600))) ((p . 1) ((u!`1 . 1) ((u!`2 . 8) . 86016))) ((u!`1 . 1) (( u!`2 . 8) . 24576))) (((expt u p) . 3) ((p . 4) ((u!`1 . 3) ((u!`2 . 6) . -1424) )) ((p . 3) ((u!`1 . 3) ((u!`2 . 6) . -12288))) ((p . 2) ((u!`1 . 3) ((u!`2 . 6) . -88320))) ((p . 1) ((u!`1 . 3) ((u!`2 . 6) . -151552))) ((u!`1 . 3) ((u!`2 . 6) . -73728))) (((expt u p) . 2) ((p . 4) ((u!`1 . 5) ((u!`2 . 4) . -8616))) ((p . 3) ((u!`1 . 5) ((u!`2 . 4) . -22656))) ((p . 2) ((u!`1 . 5) ((u!`2 . 4) . 30336))) ((p . 1) ((u!`1 . 5) ((u!`2 . 4) . 110592))) ((u!`1 . 5) ((u!`2 . 4) . 73728))) (((expt u p) . 1) ((p . 4) ((u!`1 . 7) ((u!`2 . 2) . 1520))) ((p . 3) ( (u!`1 . 7) ((u!`2 . 2) . -1536))) ((p . 2) ((u!`1 . 7) ((u!`2 . 2) . -23808))) ( (p . 1) ((u!`1 . 7) ((u!`2 . 2) . -45056))) ((u!`1 . 7) ((u!`2 . 2) . -24576))) ((p . 4) ((u!`1 . 9) . -60)) ((p . 3) ((u!`1 . 9) . 192)) ((p . 2) ((u!`1 . 9) . 192))) (((df c_18 u!`1 2) . 1) (((expt u p) . 7) ((p . 5) ((u!`2 . 16) . 450) ) ((p . 4) ((u!`2 . 16) . -1440)) ((p . 3) ((u!`2 . 16) . -1440))) (((expt u p) . 6) ((p . 5) ((u!`1 . 2) ((u!`2 . 14) . -2190))) ((p . 4) ((u!`1 . 2) ((u!`2 . 14) . 7008))) ((p . 3) ((u!`1 . 2) ((u!`2 . 14) . 7008)))) (((expt u p) . 5) ((p . 5) ((u!`1 . 4) ((u!`2 . 12) . 4170))) ((p . 4) ((u!`1 . 4) ((u!`2 . 12) . -13344))) ((p . 3) ((u!`1 . 4) ((u!`2 . 12) . -13344)))) (((expt u p) . 4) ((p . 5) ((u!`1 . 6) ((u!`2 . 10) . -3750))) ((p . 4) ((u!`1 . 6) ((u!`2 . 10) . 12000))) ((p . 3) ((u!`1 . 6) ((u!`2 . 10) . 12000)))) (((expt u p) . 3) ((p . 5 ) ((u!`1 . 8) ((u!`2 . 8) . 1350))) ((p . 4) ((u!`1 . 8) ((u!`2 . 8) . -4320))) ((p . 3) ((u!`1 . 8) ((u!`2 . 8) . -4320)))) (((expt u p) . 2) ((p . 5) ((u!`1 . 10) ((u!`2 . 6) . 150))) ((p . 4) ((u!`1 . 10) ((u!`2 . 6) . -480))) ((p . 3) ((u!`1 . 10) ((u!`2 . 6) . -480)))) (((expt u p) . 1) ((p . 5) ((u!`1 . 12) (( u!`2 . 4) . -210))) ((p . 4) ((u!`1 . 12) ((u!`2 . 4) . 672))) ((p . 3) ((u!`1 . 12) ((u!`2 . 4) . 672)))) ((p . 5) ((u!`1 . 14) ((u!`2 . 2) . 30))) ((p . 4) ((u!`1 . 14) ((u!`2 . 2) . -96))) ((p . 3) ((u!`1 . 14) ((u!`2 . 2) . -96)))) (( (df c_18 u!`1) . 1) (((expt u p) . 6) ((p . 5) ((u!`1 . 1) ((u!`2 . 14) . 13560) )) ((p . 4) ((u!`1 . 1) ((u!`2 . 14) . 84096))) ((p . 3) ((u!`1 . 1) ((u!`2 . 14 ) . 174720))) ((p . 2) ((u!`1 . 1) ((u!`2 . 14) . 172032))) ((p . 1) ((u!`1 . 1) ((u!`2 . 14) . 49152)))) (((expt u p) . 5) ((p . 5) ((u!`1 . 3) ((u!`2 . 12) . -23248))) ((p . 4) ((u!`1 . 3) ((u!`2 . 12) . -214272))) ((p . 3) ((u!`1 . 3) (( u!`2 . 12) . -547584))) ((p . 2) ((u!`1 . 3) ((u!`2 . 12) . -647168))) ((p . 1) ((u!`1 . 3) ((u!`2 . 12) . -245760)))) (((expt u p) . 4) ((p . 5) ((u!`1 . 5) (( u!`2 . 10) . -13816))) ((p . 4) ((u!`1 . 5) ((u!`2 . 10) . 138624))) ((p . 3) (( u!`1 . 5) ((u!`2 . 10) . 639360))) ((p . 2) ((u!`1 . 5) ((u!`2 . 10) . 999424))) ((p . 1) ((u!`1 . 5) ((u!`2 . 10) . 491520)))) (((expt u p) . 3) ((p . 5) ((u!`1 . 7) ((u!`2 . 8) . 45216))) ((p . 4) ((u!`1 . 7) ((u!`2 . 8) . 29184))) ((p . 3 ) ((u!`1 . 7) ((u!`2 . 8) . -379392))) ((p . 2) ((u!`1 . 7) ((u!`2 . 8) . -835584))) ((p . 1) ((u!`1 . 7) ((u!`2 . 8) . -491520)))) (((expt u p) . 2) ((p . 5) ((u!`1 . 9) ((u!`2 . 6) . -23672))) ((p . 4) ((u!`1 . 9) ((u!`2 . 6) . -38016))) ((p . 3) ((u!`1 . 9) ((u!`2 . 6) . 157056))) ((p . 2) ((u!`1 . 9) (( u!`2 . 6) . 401408))) ((p . 1) ((u!`1 . 9) ((u!`2 . 6) . 245760)))) (((expt u p) . 1) ((p . 5) ((u!`1 . 11) ((u!`2 . 4) . 1840))) ((p . 4) ((u!`1 . 11) ((u!`2 . 4) . 768))) ((p . 3) ((u!`1 . 11) ((u!`2 . 4) . -43776))) ((p . 2) ((u!`1 . 11) ((u!`2 . 4) . -90112))) ((p . 1) ((u!`1 . 11) ((u!`2 . 4) . -49152)))) ((p . 5) ((u!`1 . 13) ((u!`2 . 2) . 120))) ((p . 4) ((u!`1 . 13) ((u!`2 . 2) . -384 ))) ((p . 3) ((u!`1 . 13) ((u!`2 . 2) . -384)))) (((expt u p) . 4) ((c_17 . 1) ( (p . 4) ((u!`2 . 8) . -8580)) ((p . 3) ((u!`2 . 8) . -36288)) ((p . 2) ((u!`2 . 8) . -81600)) ((p . 1) ((u!`2 . 8) . -86016)) ((u!`2 . 8) . -24576))) (((expt u p) . 3) ((c_17 . 1) ((p . 4) ((u!`1 . 2) ((u!`2 . 6) . 1424))) ((p . 3) ((u!`1 . 2) ((u!`2 . 6) . 12288))) ((p . 2) ((u!`1 . 2) ((u!`2 . 6) . 88320))) ((p . 1 ) ((u!`1 . 2) ((u!`2 . 6) . 151552))) ((u!`1 . 2) ((u!`2 . 6) . 73728)))) ((( expt u p) . 2) ((c_17 . 1) ((p . 4) ((u!`1 . 4) ((u!`2 . 4) . 8616))) ((p . 3) ( (u!`1 . 4) ((u!`2 . 4) . 22656))) ((p . 2) ((u!`1 . 4) ((u!`2 . 4) . -30336))) ( (p . 1) ((u!`1 . 4) ((u!`2 . 4) . -110592))) ((u!`1 . 4) ((u!`2 . 4) . -73728))) ) (((expt u p) . 1) ((c_17 . 1) ((p . 4) ((u!`1 . 6) ((u!`2 . 2) . -1520))) ((p . 3) ((u!`1 . 6) ((u!`2 . 2) . 1536))) ((p . 2) ((u!`1 . 6) ((u!`2 . 2) . 23808 ))) ((p . 1) ((u!`1 . 6) ((u!`2 . 2) . 45056))) ((u!`1 . 6) ((u!`2 . 2) . 24576) ))) ((c_17 . 1) ((p . 4) ((u!`1 . 8) . 60)) ((p . 3) ((u!`1 . 8) . -192)) ((p . 2) ((u!`1 . 8) . -192)))) . 1) (fac . 2) (pval) (partitioned) (kern (df c_17 u!`1 2) (df c_17 u!`1) (df c_18 u!`1 2) (df c_18 u!`1) (expt u p) c_17 p u!`1 u!`2) ( fct_kern_lin) (fct_kern_nli) (fcts c_18 c_17 p) (vars u!`2 u!`1 u) (nvars . 3) ( level 1 1 1 1 1 1 1 1) (derivs ((c_18 u!`1 2) . 1) ((c_18 u!`1) . 1) ((c_17 u!`1 2) . 1) ((c_17 u!`1) . 1) ((c_17) . 1) ((p) . 5) ((p) . 4)) (no_derivs) ( fcteval_lin) (fcteval_nca) (fcteval_nli) (fct_nli_lin) (fct_nli_nca) ( fct_nli_nli) (fct_nli_nus) (terms . 121) (length . 443) (printlength . 2014) ( rational c_18 c_17) (nonrational p) (allvarfcts) (starde (u) . 0) (dec_with) ( dec_with_rl) (rl_with) (hom_deg) (split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_casesep to_gensep to_sep to_int to_fullint)) (e_48 ((sqval ((((df c_3 u u!`1) . 1) (((expt u p) . 7) ((p . 4) ((u . 1) ((u!`1 . 1) ((u!`2 . 14) . 225)))) ((p . 3) ((u . 1) ((u!`1 . 1) ((u!`2 . 14) . -720)))) ((p . 2) ((u . 1) ((u!`1 . 1) ((u!`2 . 14) . -720))))) (((expt u p) . 6) ((p . 4) ( (u . 1) ((u!`1 . 3) ((u!`2 . 12) . -1095)))) ((p . 3) ((u . 1) ((u!`1 . 3) ((u!`2 . 12) . 3504)))) ((p . 2) ((u . 1) ((u!`1 . 3) ((u!`2 . 12) . 3504))))) (((expt u p) . 5) ((p . 4) ((u . 1) ((u!`1 . 5) ((u!`2 . 10) . 2085)))) ((p . 3) ((u . 1 ) ((u!`1 . 5) ((u!`2 . 10) . -6672)))) ((p . 2) ((u . 1) ((u!`1 . 5) ((u!`2 . 10 ) . -6672))))) (((expt u p) . 4) ((p . 4) ((u . 1) ((u!`1 . 7) ((u!`2 . 8) . -1875)))) ((p . 3) ((u . 1) ((u!`1 . 7) ((u!`2 . 8) . 6000)))) ((p . 2) ((u . 1) ((u!`1 . 7) ((u!`2 . 8) . 6000))))) (((expt u p) . 3) ((p . 4) ((u . 1) ((u!`1 . 9) ((u!`2 . 6) . 675)))) ((p . 3) ((u . 1) ((u!`1 . 9) ((u!`2 . 6) . -2160))) ) ((p . 2) ((u . 1) ((u!`1 . 9) ((u!`2 . 6) . -2160))))) (((expt u p) . 2) ((p . 4) ((u . 1) ((u!`1 . 11) ((u!`2 . 4) . 75)))) ((p . 3) ((u . 1) ((u!`1 . 11) ((u!`2 . 4) . -240)))) ((p . 2) ((u . 1) ((u!`1 . 11) ((u!`2 . 4) . -240))))) (( (expt u p) . 1) ((p . 4) ((u . 1) ((u!`1 . 13) ((u!`2 . 2) . -105)))) ((p . 3) ( (u . 1) ((u!`1 . 13) ((u!`2 . 2) . 336)))) ((p . 2) ((u . 1) ((u!`1 . 13) ((u!`2 . 2) . 336))))) ((p . 4) ((u . 1) ((u!`1 . 15) . 15))) ((p . 3) ((u . 1) ((u!`1 . 15) . -48))) ((p . 2) ((u . 1) ((u!`1 . 15) . -48)))) (((df c_3 u) . 1) ((( expt u p) . 7) ((p . 4) ((u . 1) ((u!`2 . 14) . -540))) ((p . 3) ((u . 1) ((u!`2 . 14) . -5832))) ((p . 2) ((u . 1) ((u!`2 . 14) . -21600))) ((p . 1) ((u . 1) ( (u!`2 . 14) . -31104))) ((u . 1) ((u!`2 . 14) . -13824))) (((expt u p) . 6) ((p . 4) ((u . 1) ((u!`1 . 2) ((u!`2 . 12) . -4350)))) ((p . 3) ((u . 1) ((u!`1 . 2 ) ((u!`2 . 12) . -7848)))) ((p . 2) ((u . 1) ((u!`1 . 2) ((u!`2 . 12) . 12480))) ) ((p . 1) ((u . 1) ((u!`1 . 2) ((u!`2 . 12) . 42624)))) ((u . 1) ((u!`1 . 2) (( u!`2 . 12) . 29184)))) (((expt u p) . 5) ((p . 4) ((u . 1) ((u!`1 . 4) ((u!`2 . 10) . 5888)))) ((p . 3) ((u . 1) ((u!`1 . 4) ((u!`2 . 10) . 29016)))) ((p . 2) ( (u . 1) ((u!`1 . 4) ((u!`2 . 10) . 108384)))) ((p . 1) ((u . 1) ((u!`1 . 4) (( u!`2 . 10) . 155776)))) ((u . 1) ((u!`1 . 4) ((u!`2 . 10) . 66048)))) (((expt u p) . 4) ((p . 4) ((u . 1) ((u!`1 . 6) ((u!`2 . 8) . 16598)))) ((p . 3) ((u . 1) ((u!`1 . 6) ((u!`2 . 8) . 17016)))) ((p . 2) ((u . 1) ((u!`1 . 6) ((u!`2 . 8) . -229632)))) ((p . 1) ((u . 1) ((u!`1 . 6) ((u!`2 . 8) . -501632)))) ((u . 1) (( u!`1 . 6) ((u!`2 . 8) . -284160)))) (((expt u p) . 3) ((p . 4) ((u . 1) ((u!`1 . 8) ((u!`2 . 6) . -33708)))) ((p . 3) ((u . 1) ((u!`1 . 8) ((u!`2 . 6) . -58584)))) ((p . 2) ((u . 1) ((u!`1 . 8) ((u!`2 . 6) . 242784)))) ((p . 1) ((u . 1) ((u!`1 . 8) ((u!`2 . 6) . 619392)))) ((u . 1) ((u!`1 . 8) ((u!`2 . 6) . 376320)))) (((expt u p) . 2) ((p . 4) ((u . 1) ((u!`1 . 10) ((u!`2 . 4) . 19246) ))) ((p . 3) ((u . 1) ((u!`1 . 10) ((u!`2 . 4) . 23688)))) ((p . 2) ((u . 1) (( u!`1 . 10) ((u!`2 . 4) . -168000)))) ((p . 1) ((u . 1) ((u!`1 . 10) ((u!`2 . 4) . -392320)))) ((u . 1) ((u!`1 . 10) ((u!`2 . 4) . -231936)))) (((expt u p) . 1) ((p . 4) ((u . 1) ((u!`1 . 12) ((u!`2 . 2) . -3320)))) ((p . 3) ((u . 1) ((u!`1 . 12) ((u!`2 . 2) . 3144)))) ((p . 2) ((u . 1) ((u!`1 . 12) ((u!`2 . 2) . 60576 )))) ((p . 1) ((u . 1) ((u!`1 . 12) ((u!`2 . 2) . 116096)))) ((u . 1) ((u!`1 . 12) ((u!`2 . 2) . 62976)))) ((p . 4) ((u . 1) ((u!`1 . 14) . 186))) ((p . 3) ((u . 1) ((u!`1 . 14) . -600))) ((p . 2) ((u . 1) ((u!`1 . 14) . -4992))) ((p . 1) ((u . 1) ((u!`1 . 14) . -8832))) ((u . 1) ((u!`1 . 14) . -4608))) (((df c_3 u!`1 ) . 1) (((expt u p) . 7) ((p . 5) ((u!`1 . 1) ((u!`2 . 14) . -630))) ((p . 4) (( u!`1 . 1) ((u!`2 . 14) . -13104))) ((p . 3) ((u!`1 . 1) ((u!`2 . 14) . -44640))) ((p . 2) ((u!`1 . 1) ((u!`2 . 14) . -62208))) ((p . 1) ((u!`1 . 1) ((u!`2 . 14) . -27648)))) (((expt u p) . 6) ((p . 5) ((u!`1 . 3) ((u!`2 . 12) . -6300))) ((p . 4) ((u!`1 . 3) ((u!`2 . 12) . 21984))) ((p . 3) ((u!`1 . 3) ((u!`2 . 12) . 157248))) ((p . 2) ((u!`1 . 3) ((u!`2 . 12) . 271872))) ((p . 1) ((u!`1 . 3) (( u!`2 . 12) . 141312)))) (((expt u p) . 5) ((p . 5) ((u!`1 . 5) ((u!`2 . 10) . 24406))) ((p . 4) ((u!`1 . 5) ((u!`2 . 10) . 12144))) ((p . 3) ((u!`1 . 5) ((u!`2 . 10) . -234912))) ((p . 2) ((u!`1 . 5) ((u!`2 . 10) . -504064))) ((p . 1) (( u!`1 . 5) ((u!`2 . 10) . -291840)))) (((expt u p) . 4) ((p . 5) ((u!`1 . 7) (( u!`2 . 8) . -29192))) ((p . 4) ((u!`1 . 7) ((u!`2 . 8) . -37056))) ((p . 3) (( u!`1 . 7) ((u!`2 . 8) . 210816))) ((p . 2) ((u!`1 . 7) ((u!`2 . 8) . 508928))) ( (p . 1) ((u!`1 . 7) ((u!`2 . 8) . 307200)))) (((expt u p) . 3) ((p . 5) ((u!`1 . 9) ((u!`2 . 6) . 13590))) ((p . 4) ((u!`1 . 9) ((u!`2 . 6) . 15024))) ((p . 3 ) ((u!`1 . 9) ((u!`2 . 6) . -125856))) ((p . 2) ((u!`1 . 9) ((u!`2 . 6) . -288000))) ((p . 1) ((u!`1 . 9) ((u!`2 . 6) . -168960)))) (((expt u p) . 2) ((p . 5) ((u!`1 . 11) ((u!`2 . 4) . -1948))) ((p . 4) ((u!`1 . 11) ((u!`2 . 4) . 1248))) ((p . 3) ((u!`1 . 11) ((u!`2 . 4) . 40512))) ((p . 2) ((u!`1 . 11) ((u!`2 . 4) . 79360))) ((p . 1) ((u!`1 . 11) ((u!`2 . 4) . 43008)))) (((expt u p) . 1) ((p . 5) ((u!`1 . 13) ((u!`2 . 2) . 74))) ((p . 4) ((u!`1 . 13) ((u!`2 . 2) . -240))) ((p . 3) ((u!`1 . 13) ((u!`2 . 2) . -3168))) ((p . 2) ((u!`1 . 13) ((u!`2 . 2) . -5888))) ((p . 1) ((u!`1 . 13) ((u!`2 . 2) . -3072))))) (((df c_4 u) . 1 ) (((expt u p) . 7) ((p . 3) ((u . 2) ((u!`2 . 13) . 540))) ((p . 2) ((u . 2) (( u!`2 . 13) . -1728))) ((p . 1) ((u . 2) ((u!`2 . 13) . -1728)))) (((expt u p) . 6) ((p . 3) ((u . 2) ((u!`1 . 2) ((u!`2 . 11) . 1080)))) ((p . 2) ((u . 2) ((u!`1 . 2) ((u!`2 . 11) . -3456)))) ((p . 1) ((u . 2) ((u!`1 . 2) ((u!`2 . 11) . -3456))))) (((expt u p) . 5) ((p . 3) ((u . 2) ((u!`1 . 4) ((u!`2 . 9) . -5820)) )) ((p . 2) ((u . 2) ((u!`1 . 4) ((u!`2 . 9) . 18624)))) ((p . 1) ((u . 2) ((u!`1 . 4) ((u!`2 . 9) . 18624))))) (((expt u p) . 4) ((p . 3) ((u . 2) ((u!`1 . 6) ( (u!`2 . 7) . 5520)))) ((p . 2) ((u . 2) ((u!`1 . 6) ((u!`2 . 7) . -17664)))) ((p . 1) ((u . 2) ((u!`1 . 6) ((u!`2 . 7) . -17664))))) (((expt u p) . 3) ((p . 3) ((u . 2) ((u!`1 . 8) ((u!`2 . 5) . -540)))) ((p . 2) ((u . 2) ((u!`1 . 8) ((u!`2 . 5) . 1728)))) ((p . 1) ((u . 2) ((u!`1 . 8) ((u!`2 . 5) . 1728))))) (((expt u p) . 2) ((p . 3) ((u . 2) ((u!`1 . 10) ((u!`2 . 3) . -840)))) ((p . 2) ((u . 2) ((u!`1 . 10) ((u!`2 . 3) . 2688)))) ((p . 1) ((u . 2) ((u!`1 . 10) ((u!`2 . 3) . 2688))))) (((expt u p) . 1) ((p . 3) ((u . 2) ((u!`1 . 12) ((u!`2 . 1) . 60)) )) ((p . 2) ((u . 2) ((u!`1 . 12) ((u!`2 . 1) . -192)))) ((p . 1) ((u . 2) ((u!`1 . 12) ((u!`2 . 1) . -192)))))) (((expt u p) . 4) ((c_17 . 1) ((p . 3) ((u . 1) ((u!`1 . 1) ((u!`2 . 6) . 900)))) ((p . 2) ((u . 1) ((u!`1 . 1) ((u!`2 . 6) . -2880)))) ((p . 1) ((u . 1) ((u!`1 . 1) ((u!`2 . 6) . -2880)))))) (((expt u p) . 3) ((c_17 . 1) ((p . 3) ((u . 1) ((u!`1 . 3) ((u!`2 . 4) . 4020)))) ((p . 2) ((u . 1) ((u!`1 . 3) ((u!`2 . 4) . -12864)))) ((p . 1) ((u . 1) ((u!`1 . 3) (( u!`2 . 4) . -12864)))))) (((expt u p) . 2) ((c_17 . 1) ((p . 3) ((u . 1) ((u!`1 . 5) ((u!`2 . 2) . -1140)))) ((p . 2) ((u . 1) ((u!`1 . 5) ((u!`2 . 2) . 3648)) )) ((p . 1) ((u . 1) ((u!`1 . 5) ((u!`2 . 2) . 3648)))))) (((expt u p) . 1) (( c_17 . 1) ((p . 3) ((u . 1) ((u!`1 . 7) . 60))) ((p . 2) ((u . 1) ((u!`1 . 7) . -192))) ((p . 1) ((u . 1) ((u!`1 . 7) . -192)))))) . 1) (fac . 2) (pval plus ( times 225 (expt u (times 7 p)) (df c_3 u u!`1) (expt p 4) u u!`1 (expt u!`2 14)) (minus (times 720 (expt u (times 7 p)) (df c_3 u u!`1) (expt p 3) u u!`1 (expt u!`2 14))) (minus (times 720 (expt u (times 7 p)) (df c_3 u u!`1) (expt p 2) u u!`1 (expt u!`2 14))) (minus (times 1095 (expt u (times 6 p)) (df c_3 u u!`1) ( expt p 4) u (expt u!`1 3) (expt u!`2 12))) (times 3504 (expt u (times 6 p)) (df c_3 u u!`1) (expt p 3) u (expt u!`1 3) (expt u!`2 12)) (times 3504 (expt u ( times 6 p)) (df c_3 u u!`1) (expt p 2) u (expt u!`1 3) (expt u!`2 12)) (times 2085 (expt u (times 5 p)) (df c_3 u u!`1) (expt p 4) u (expt u!`1 5) (expt u!`2 10)) (minus (times 6672 (expt u (times 5 p)) (df c_3 u u!`1) (expt p 3) u (expt u!`1 5) (expt u!`2 10))) (minus (times 6672 (expt u (times 5 p)) (df c_3 u u!`1) (expt p 2) u (expt u!`1 5) (expt u!`2 10))) (minus (times 1875 (expt u (times 4 p)) (df c_3 u u!`1) (expt p 4) u (expt u!`1 7) (expt u!`2 8))) (times 6000 (expt u (times 4 p)) (df c_3 u u!`1) (expt p 3) u (expt u!`1 7) (expt u!`2 8)) (times 6000 (expt u (times 4 p)) (df c_3 u u!`1) (expt p 2) u (expt u!`1 7) (expt u!`2 8)) (times 675 (expt u (times 3 p)) (df c_3 u u!`1) (expt p 4) u (expt u!`1 9) ( expt u!`2 6)) (minus (times 2160 (expt u (times 3 p)) (df c_3 u u!`1) (expt p 3) u (expt u!`1 9) (expt u!`2 6))) (minus (times 2160 (expt u (times 3 p)) (df c_3 u u!`1) (expt p 2) u (expt u!`1 9) (expt u!`2 6))) (times 75 (expt u (times 2 p) ) (df c_3 u u!`1) (expt p 4) u (expt u!`1 11) (expt u!`2 4)) (minus (times 240 ( expt u (times 2 p)) (df c_3 u u!`1) (expt p 3) u (expt u!`1 11) (expt u!`2 4))) (minus (times 240 (expt u (times 2 p)) (df c_3 u u!`1) (expt p 2) u (expt u!`1 11) (expt u!`2 4))) (minus (times 105 (expt u p) (df c_3 u u!`1) (expt p 4) u ( expt u!`1 13) (expt u!`2 2))) (times 336 (expt u p) (df c_3 u u!`1) (expt p 3) u (expt u!`1 13) (expt u!`2 2)) (times 336 (expt u p) (df c_3 u u!`1) (expt p 2) u (expt u!`1 13) (expt u!`2 2)) (times 15 (df c_3 u u!`1) (expt p 4) u (expt u!`1 15)) (minus (times 48 (df c_3 u u!`1) (expt p 3) u (expt u!`1 15))) (minus ( times 48 (df c_3 u u!`1) (expt p 2) u (expt u!`1 15))) (minus (times 540 (expt u (times 7 p)) (df c_3 u) (expt p 4) u (expt u!`2 14))) (minus (times 5832 (expt u (times 7 p)) (df c_3 u) (expt p 3) u (expt u!`2 14))) (minus (times 21600 (expt u (times 7 p)) (df c_3 u) (expt p 2) u (expt u!`2 14))) (minus (times 31104 ( expt u (times 7 p)) (df c_3 u) p u (expt u!`2 14))) (minus (times 13824 (expt u (times 7 p)) (df c_3 u) u (expt u!`2 14))) (minus (times 4350 (expt u (times 6 p )) (df c_3 u) (expt p 4) u (expt u!`1 2) (expt u!`2 12))) (minus (times 7848 ( expt u (times 6 p)) (df c_3 u) (expt p 3) u (expt u!`1 2) (expt u!`2 12))) ( times 12480 (expt u (times 6 p)) (df c_3 u) (expt p 2) u (expt u!`1 2) (expt u!`2 12)) (times 42624 (expt u (times 6 p)) (df c_3 u) p u (expt u!`1 2) (expt u!`2 12)) (times 29184 (expt u (times 6 p)) (df c_3 u) u (expt u!`1 2) (expt u!`2 12) ) (times 5888 (expt u (times 5 p)) (df c_3 u) (expt p 4) u (expt u!`1 4) (expt u!`2 10)) (times 29016 (expt u (times 5 p)) (df c_3 u) (expt p 3) u (expt u!`1 4 ) (expt u!`2 10)) (times 108384 (expt u (times 5 p)) (df c_3 u) (expt p 2) u ( expt u!`1 4) (expt u!`2 10)) (times 155776 (expt u (times 5 p)) (df c_3 u) p u ( expt u!`1 4) (expt u!`2 10)) (times 66048 (expt u (times 5 p)) (df c_3 u) u ( expt u!`1 4) (expt u!`2 10)) (times 16598 (expt u (times 4 p)) (df c_3 u) (expt p 4) u (expt u!`1 6) (expt u!`2 8)) (times 17016 (expt u (times 4 p)) (df c_3 u) (expt p 3) u (expt u!`1 6) (expt u!`2 8)) (minus (times 229632 (expt u (times 4 p)) (df c_3 u) (expt p 2) u (expt u!`1 6) (expt u!`2 8))) (minus (times 501632 ( expt u (times 4 p)) (df c_3 u) p u (expt u!`1 6) (expt u!`2 8))) (minus (times 284160 (expt u (times 4 p)) (df c_3 u) u (expt u!`1 6) (expt u!`2 8))) (minus ( times 33708 (expt u (times 3 p)) (df c_3 u) (expt p 4) u (expt u!`1 8) (expt u!`2 6))) (minus (times 58584 (expt u (times 3 p)) (df c_3 u) (expt p 3) u (expt u!`1 8) (expt u!`2 6))) (times 242784 (expt u (times 3 p)) (df c_3 u) (expt p 2) u ( expt u!`1 8) (expt u!`2 6)) (times 619392 (expt u (times 3 p)) (df c_3 u) p u ( expt u!`1 8) (expt u!`2 6)) (times 376320 (expt u (times 3 p)) (df c_3 u) u ( expt u!`1 8) (expt u!`2 6)) (times 19246 (expt u (times 2 p)) (df c_3 u) (expt p 4) u (expt u!`1 10) (expt u!`2 4)) (times 23688 (expt u (times 2 p)) (df c_3 u) (expt p 3) u (expt u!`1 10) (expt u!`2 4)) (minus (times 168000 (expt u (times 2 p)) (df c_3 u) (expt p 2) u (expt u!`1 10) (expt u!`2 4))) (minus (times 392320 (expt u (times 2 p)) (df c_3 u) p u (expt u!`1 10) (expt u!`2 4))) (minus (times 231936 (expt u (times 2 p)) (df c_3 u) u (expt u!`1 10) (expt u!`2 4))) (minus ( times 3320 (expt u p) (df c_3 u) (expt p 4) u (expt u!`1 12) (expt u!`2 2))) ( times 3144 (expt u p) (df c_3 u) (expt p 3) u (expt u!`1 12) (expt u!`2 2)) ( times 60576 (expt u p) (df c_3 u) (expt p 2) u (expt u!`1 12) (expt u!`2 2)) ( times 116096 (expt u p) (df c_3 u) p u (expt u!`1 12) (expt u!`2 2)) (times 62976 (expt u p) (df c_3 u) u (expt u!`1 12) (expt u!`2 2)) (times 186 (df c_3 u ) (expt p 4) u (expt u!`1 14)) (minus (times 600 (df c_3 u) (expt p 3) u (expt u!`1 14))) (minus (times 4992 (df c_3 u) (expt p 2) u (expt u!`1 14))) (minus ( times 8832 (df c_3 u) p u (expt u!`1 14))) (minus (times 4608 (df c_3 u) u (expt u!`1 14))) (minus (times 630 (expt u (times 7 p)) (df c_3 u!`1) (expt p 5) u!`1 (expt u!`2 14))) (minus (times 13104 (expt u (times 7 p)) (df c_3 u!`1) (expt p 4) u!`1 (expt u!`2 14))) (minus (times 44640 (expt u (times 7 p)) (df c_3 u!`1) (expt p 3) u!`1 (expt u!`2 14))) (minus (times 62208 (expt u (times 7 p)) (df c_3 u!`1) (expt p 2) u!`1 (expt u!`2 14))) (minus (times 27648 (expt u (times 7 p)) (df c_3 u!`1) p u!`1 (expt u!`2 14))) (minus (times 6300 (expt u (times 6 p) ) (df c_3 u!`1) (expt p 5) (expt u!`1 3) (expt u!`2 12))) (times 21984 (expt u ( times 6 p)) (df c_3 u!`1) (expt p 4) (expt u!`1 3) (expt u!`2 12)) (times 157248 (expt u (times 6 p)) (df c_3 u!`1) (expt p 3) (expt u!`1 3) (expt u!`2 12)) ( times 271872 (expt u (times 6 p)) (df c_3 u!`1) (expt p 2) (expt u!`1 3) (expt u!`2 12)) (times 141312 (expt u (times 6 p)) (df c_3 u!`1) p (expt u!`1 3) (expt u!`2 12)) (times 24406 (expt u (times 5 p)) (df c_3 u!`1) (expt p 5) (expt u!`1 5) (expt u!`2 10)) (times 12144 (expt u (times 5 p)) (df c_3 u!`1) (expt p 4) ( expt u!`1 5) (expt u!`2 10)) (minus (times 234912 (expt u (times 5 p)) (df c_3 u!`1) (expt p 3) (expt u!`1 5) (expt u!`2 10))) (minus (times 504064 (expt u ( times 5 p)) (df c_3 u!`1) (expt p 2) (expt u!`1 5) (expt u!`2 10))) (minus ( times 291840 (expt u (times 5 p)) (df c_3 u!`1) p (expt u!`1 5) (expt u!`2 10))) (minus (times 29192 (expt u (times 4 p)) (df c_3 u!`1) (expt p 5) (expt u!`1 7) (expt u!`2 8))) (minus (times 37056 (expt u (times 4 p)) (df c_3 u!`1) (expt p 4 ) (expt u!`1 7) (expt u!`2 8))) (times 210816 (expt u (times 4 p)) (df c_3 u!`1) (expt p 3) (expt u!`1 7) (expt u!`2 8)) (times 508928 (expt u (times 4 p)) (df c_3 u!`1) (expt p 2) (expt u!`1 7) (expt u!`2 8)) (times 307200 (expt u (times 4 p)) (df c_3 u!`1) p (expt u!`1 7) (expt u!`2 8)) (times 13590 (expt u (times 3 p )) (df c_3 u!`1) (expt p 5) (expt u!`1 9) (expt u!`2 6)) (times 15024 (expt u ( times 3 p)) (df c_3 u!`1) (expt p 4) (expt u!`1 9) (expt u!`2 6)) (minus (times 125856 (expt u (times 3 p)) (df c_3 u!`1) (expt p 3) (expt u!`1 9) (expt u!`2 6) )) (minus (times 288000 (expt u (times 3 p)) (df c_3 u!`1) (expt p 2) (expt u!`1 9) (expt u!`2 6))) (minus (times 168960 (expt u (times 3 p)) (df c_3 u!`1) p ( expt u!`1 9) (expt u!`2 6))) (minus (times 1948 (expt u (times 2 p)) (df c_3 u!`1 ) (expt p 5) (expt u!`1 11) (expt u!`2 4))) (times 1248 (expt u (times 2 p)) (df c_3 u!`1) (expt p 4) (expt u!`1 11) (expt u!`2 4)) (times 40512 (expt u (times 2 p)) (df c_3 u!`1) (expt p 3) (expt u!`1 11) (expt u!`2 4)) (times 79360 (expt u (times 2 p)) (df c_3 u!`1) (expt p 2) (expt u!`1 11) (expt u!`2 4)) (times 43008 (expt u (times 2 p)) (df c_3 u!`1) p (expt u!`1 11) (expt u!`2 4)) (times 74 ( expt u p) (df c_3 u!`1) (expt p 5) (expt u!`1 13) (expt u!`2 2)) (minus (times 240 (expt u p) (df c_3 u!`1) (expt p 4) (expt u!`1 13) (expt u!`2 2))) (minus ( times 3168 (expt u p) (df c_3 u!`1) (expt p 3) (expt u!`1 13) (expt u!`2 2))) ( minus (times 5888 (expt u p) (df c_3 u!`1) (expt p 2) (expt u!`1 13) (expt u!`2 2))) (minus (times 3072 (expt u p) (df c_3 u!`1) p (expt u!`1 13) (expt u!`2 2)) ) (times 540 (expt u (times 7 p)) (df c_4 u) (expt p 3) (expt u 2) (expt u!`2 13 )) (minus (times 1728 (expt u (times 7 p)) (df c_4 u) (expt p 2) (expt u 2) ( expt u!`2 13))) (minus (times 1728 (expt u (times 7 p)) (df c_4 u) p (expt u 2) (expt u!`2 13))) (times 1080 (expt u (times 6 p)) (df c_4 u) (expt p 3) (expt u 2) (expt u!`1 2) (expt u!`2 11)) (minus (times 3456 (expt u (times 6 p)) (df c_4 u) (expt p 2) (expt u 2) (expt u!`1 2) (expt u!`2 11))) (minus (times 3456 (expt u (times 6 p)) (df c_4 u) p (expt u 2) (expt u!`1 2) (expt u!`2 11))) (minus ( times 5820 (expt u (times 5 p)) (df c_4 u) (expt p 3) (expt u 2) (expt u!`1 4) ( expt u!`2 9))) (times 18624 (expt u (times 5 p)) (df c_4 u) (expt p 2) (expt u 2 ) (expt u!`1 4) (expt u!`2 9)) (times 18624 (expt u (times 5 p)) (df c_4 u) p ( expt u 2) (expt u!`1 4) (expt u!`2 9)) (times 5520 (expt u (times 4 p)) (df c_4 u) (expt p 3) (expt u 2) (expt u!`1 6) (expt u!`2 7)) (minus (times 17664 (expt u (times 4 p)) (df c_4 u) (expt p 2) (expt u 2) (expt u!`1 6) (expt u!`2 7))) ( minus (times 17664 (expt u (times 4 p)) (df c_4 u) p (expt u 2) (expt u!`1 6) ( expt u!`2 7))) (minus (times 540 (expt u (times 3 p)) (df c_4 u) (expt p 3) ( expt u 2) (expt u!`1 8) (expt u!`2 5))) (times 1728 (expt u (times 3 p)) (df c_4 u) (expt p 2) (expt u 2) (expt u!`1 8) (expt u!`2 5)) (times 1728 (expt u (times 3 p)) (df c_4 u) p (expt u 2) (expt u!`1 8) (expt u!`2 5)) (minus (times 840 ( expt u (times 2 p)) (df c_4 u) (expt p 3) (expt u 2) (expt u!`1 10) (expt u!`2 3 ))) (times 2688 (expt u (times 2 p)) (df c_4 u) (expt p 2) (expt u 2) (expt u!`1 10) (expt u!`2 3)) (times 2688 (expt u (times 2 p)) (df c_4 u) p (expt u 2) ( expt u!`1 10) (expt u!`2 3)) (times 60 (expt u p) (df c_4 u) (expt p 3) (expt u 2) (expt u!`1 12) u!`2) (minus (times 192 (expt u p) (df c_4 u) (expt p 2) (expt u 2) (expt u!`1 12) u!`2)) (minus (times 192 (expt u p) (df c_4 u) p (expt u 2) (expt u!`1 12) u!`2)) (times 900 (expt u (times 4 p)) c_17 (expt p 3) u u!`1 ( expt u!`2 6)) (minus (times 2880 (expt u (times 4 p)) c_17 (expt p 2) u u!`1 ( expt u!`2 6))) (minus (times 2880 (expt u (times 4 p)) c_17 p u u!`1 (expt u!`2 6))) (times 4020 (expt u (times 3 p)) c_17 (expt p 3) u (expt u!`1 3) (expt u!`2 4)) (minus (times 12864 (expt u (times 3 p)) c_17 (expt p 2) u (expt u!`1 3) ( expt u!`2 4))) (minus (times 12864 (expt u (times 3 p)) c_17 p u (expt u!`1 3) ( expt u!`2 4))) (minus (times 1140 (expt u (times 2 p)) c_17 (expt p 3) u (expt u!`1 5) (expt u!`2 2))) (times 3648 (expt u (times 2 p)) c_17 (expt p 2) u (expt u!`1 5) (expt u!`2 2)) (times 3648 (expt u (times 2 p)) c_17 p u (expt u!`1 5) ( expt u!`2 2)) (times 60 (expt u p) c_17 (expt p 3) u (expt u!`1 7)) (minus ( times 192 (expt u p) c_17 (expt p 2) u (expt u!`1 7))) (minus (times 192 (expt u p) c_17 p u (expt u!`1 7)))) (partitioned) (kern (df c_3 u u!`1) (df c_3 u) (df c_3 u!`1) (df c_4 u) (expt u p) c_17 p u u!`1 u!`2) (fct_kern_lin) (fct_kern_nli ) (fcts c_4 c_3 c_17 p) (vars u!`2 u!`1 u) (nvars . 3) (level 1 1 1 1 1 1 1 1) ( derivs ((c_4 u) . 1) ((c_3 u u!`1) . 1) ((c_3 u!`1) . 1) ((c_3 u) . 1) ((c_17) . 1) ((p) . 5) ((p) . 4) ((p) . 3)) (no_derivs) (fcteval_lin) (fcteval_nca) ( fcteval_nli) (fct_nli_lin) (fct_nli_nca) (fct_nli_nli) (fct_nli_nus) (terms . 132) (length . 453) (printlength . 2505) (rational c_4 c_3 c_17) (nonrational p) (allvarfcts c_4 c_3) (starde) (dec_with) (dec_with_rl) (rl_with) (hom_deg) ( split_test) (linear_) (histry_)) (to_symbol to_under to_diff to_decoup to_int to_fullint to_eval))) (((equal q_1 (((((expt u p) . 2) ((c_13 . 1) ((p . 1) ((t . 1) ((u!`2 . 6) ((x . 1) . -2))))) ((c_18 . 1) ((p . 1) ((t . 1) ((u!`2 . 6) . -2)))) ((c_3 . 1) ((p . 1) ((u!`2 . 6) . 2))) ((c_4 . 1) ((p . 1) ((u!`2 . 6) ((x . 1) . 2))))) (((expt u p) . 1) ((c_13 . 1) ((p . 1) ((t . 1) ((u!`1 . 2) (( u!`2 . 4) ((x . 1) . 4)))))) ((c_18 . 1) ((p . 1) ((t . 1) ((u!`1 . 2) ((u!`2 . 4) . 4))))) ((c_3 . 1) ((p . 1) ((u!`1 . 2) ((u!`2 . 4) . -4)))) ((c_4 . 1) ((p . 1) ((u!`1 . 2) ((u!`2 . 4) ((x . 1) . -4)))))) ((c_13 . 1) ((p . 1) ((t . 1) ((u!`1 . 4) ((u!`2 . 2) ((x . 1) . -2)))))) ((c_17 . 1) ((t . 1) . -1)) ((c_18 . 1) ((p . 1) ((t . 1) ((u!`1 . 4) ((u!`2 . 2) . -2))))) ((c_3 . 1) ((p . 1) (( u!`1 . 4) ((u!`2 . 2) . 2)))) ((c_4 . 1) ((p . 1) ((u!`1 . 4) ((u!`2 . 2) ((x . 1) . 2)))))) (((expt u p) . 2) ((p . 1) ((u!`2 . 6) . 2))) (((expt u p) . 1) ((p . 1) ((u!`1 . 2) ((u!`2 . 4) . -4)))) ((p . 1) ((u!`1 . 4) ((u!`2 . 2) . 2))))) p c_17 c_18 c_13 c_3 c_4) (p)) nil) $ end$