33.110 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.074 * * * [progress]: [2/2] Setting up program. 0.078 * [progress]: [Phase 2 of 3] Improving. 0.078 * [simplify]: Simplifying using # : (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)) 0.079 * * [simplify]: iteration 0 : 28 enodes (cost 31 ) 0.083 * * [simplify]: iteration 1 : 66 enodes (cost 29 ) 0.094 * * [simplify]: iteration 2 : 197 enodes (cost 29 ) 0.148 * * [simplify]: iteration 3 : 567 enodes (cost 29 ) 0.437 * * [simplify]: iteration 4 : 1191 enodes (cost 29 ) 1.121 * * [simplify]: iteration 5 : 1736 enodes (cost 29 ) 2.036 * * [simplify]: iteration 6 : 2391 enodes (cost 29 ) 3.860 * * [simplify]: iteration 7 : 3711 enodes (cost 29 ) 7.542 * * [simplify]: iteration 8 : 4770 enodes (cost 29 ) 9.952 * * [simplify]: iteration done : 4770 enodes (cost 29 ) 9.952 * [simplify]: Simplified to: (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))) 9.958 * * [progress]: iteration 1 / 4 9.958 * * * [progress]: picking best candidate 9.962 * * * * [pick]: Picked # 9.962 * * * [progress]: localizing error 9.984 * * * [progress]: generating rewritten candidates 9.984 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1) 10.004 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 10.092 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 10.099 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 10.107 * * * [progress]: generating series expansions 10.107 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1) 10.107 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0 10.107 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z 10.107 * [taylor]: Taking taylor expansion of 18.0 in z 10.107 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 10.107 * [taylor]: Taking taylor expansion of x in z 10.107 * [taylor]: Taking taylor expansion of (* z y) in z 10.107 * [taylor]: Taking taylor expansion of z in z 10.107 * [taylor]: Taking taylor expansion of y in z 10.107 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y 10.107 * [taylor]: Taking taylor expansion of 18.0 in y 10.107 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 10.107 * [taylor]: Taking taylor expansion of x in y 10.107 * [taylor]: Taking taylor expansion of (* z y) in y 10.107 * [taylor]: Taking taylor expansion of z in y 10.107 * [taylor]: Taking taylor expansion of y in y 10.107 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 10.107 * [taylor]: Taking taylor expansion of 18.0 in x 10.107 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.107 * [taylor]: Taking taylor expansion of x in x 10.107 * [taylor]: Taking taylor expansion of (* z y) in x 10.107 * [taylor]: Taking taylor expansion of z in x 10.107 * [taylor]: Taking taylor expansion of y in x 10.107 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 10.107 * [taylor]: Taking taylor expansion of 18.0 in x 10.107 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.107 * [taylor]: Taking taylor expansion of x in x 10.108 * [taylor]: Taking taylor expansion of (* z y) in x 10.108 * [taylor]: Taking taylor expansion of z in x 10.108 * [taylor]: Taking taylor expansion of y in x 10.108 * [taylor]: Taking taylor expansion of 0 in y 10.108 * [taylor]: Taking taylor expansion of 0 in z 10.109 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y 10.109 * [taylor]: Taking taylor expansion of 18.0 in y 10.109 * [taylor]: Taking taylor expansion of (* z y) in y 10.109 * [taylor]: Taking taylor expansion of z in y 10.109 * [taylor]: Taking taylor expansion of y in y 10.109 * [taylor]: Taking taylor expansion of 0 in z 10.109 * [taylor]: Taking taylor expansion of 0 in z 10.111 * [taylor]: Taking taylor expansion of 0 in y 10.111 * [taylor]: Taking taylor expansion of 0 in z 10.111 * [taylor]: Taking taylor expansion of (* 18.0 z) in z 10.111 * [taylor]: Taking taylor expansion of 18.0 in z 10.111 * [taylor]: Taking taylor expansion of z in z 10.112 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0 10.112 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z 10.112 * [taylor]: Taking taylor expansion of 18.0 in z 10.112 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 10.112 * [taylor]: Taking taylor expansion of x in z 10.112 * [taylor]: Taking taylor expansion of (* z y) in z 10.112 * [taylor]: Taking taylor expansion of z in z 10.112 * [taylor]: Taking taylor expansion of y in z 10.112 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y 10.113 * [taylor]: Taking taylor expansion of 18.0 in y 10.113 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 10.113 * [taylor]: Taking taylor expansion of x in y 10.113 * [taylor]: Taking taylor expansion of (* z y) in y 10.113 * [taylor]: Taking taylor expansion of z in y 10.113 * [taylor]: Taking taylor expansion of y in y 10.113 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x 10.113 * [taylor]: Taking taylor expansion of 18.0 in x 10.113 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.113 * [taylor]: Taking taylor expansion of x in x 10.113 * [taylor]: Taking taylor expansion of (* z y) in x 10.113 * [taylor]: Taking taylor expansion of z in x 10.113 * [taylor]: Taking taylor expansion of y in x 10.114 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x 10.114 * [taylor]: Taking taylor expansion of 18.0 in x 10.114 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.114 * [taylor]: Taking taylor expansion of x in x 10.114 * [taylor]: Taking taylor expansion of (* z y) in x 10.114 * [taylor]: Taking taylor expansion of z in x 10.114 * [taylor]: Taking taylor expansion of y in x 10.114 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y 10.114 * [taylor]: Taking taylor expansion of 18.0 in y 10.114 * [taylor]: Taking taylor expansion of (* z y) in y 10.117 * [taylor]: Taking taylor expansion of z in y 10.117 * [taylor]: Taking taylor expansion of y in y 10.117 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 10.117 * [taylor]: Taking taylor expansion of 18.0 in z 10.117 * [taylor]: Taking taylor expansion of z in z 10.118 * [taylor]: Taking taylor expansion of 0 in y 10.119 * [taylor]: Taking taylor expansion of 0 in z 10.121 * [taylor]: Taking taylor expansion of 0 in y 10.121 * [taylor]: Taking taylor expansion of 0 in z 10.121 * [taylor]: Taking taylor expansion of 0 in z 10.124 * [taylor]: Taking taylor expansion of 0 in y 10.124 * [taylor]: Taking taylor expansion of 0 in z 10.124 * [taylor]: Taking taylor expansion of 0 in z 10.125 * [taylor]: Taking taylor expansion of 0 in z 10.125 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0 10.125 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z 10.125 * [taylor]: Taking taylor expansion of -18.0 in z 10.125 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 10.125 * [taylor]: Taking taylor expansion of x in z 10.125 * [taylor]: Taking taylor expansion of (* z y) in z 10.125 * [taylor]: Taking taylor expansion of z in z 10.125 * [taylor]: Taking taylor expansion of y in z 10.126 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y 10.126 * [taylor]: Taking taylor expansion of -18.0 in y 10.126 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 10.126 * [taylor]: Taking taylor expansion of x in y 10.126 * [taylor]: Taking taylor expansion of (* z y) in y 10.126 * [taylor]: Taking taylor expansion of z in y 10.126 * [taylor]: Taking taylor expansion of y in y 10.127 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x 10.127 * [taylor]: Taking taylor expansion of -18.0 in x 10.127 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.127 * [taylor]: Taking taylor expansion of x in x 10.127 * [taylor]: Taking taylor expansion of (* z y) in x 10.127 * [taylor]: Taking taylor expansion of z in x 10.127 * [taylor]: Taking taylor expansion of y in x 10.127 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x 10.127 * [taylor]: Taking taylor expansion of -18.0 in x 10.127 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.127 * [taylor]: Taking taylor expansion of x in x 10.127 * [taylor]: Taking taylor expansion of (* z y) in x 10.127 * [taylor]: Taking taylor expansion of z in x 10.127 * [taylor]: Taking taylor expansion of y in x 10.128 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y 10.128 * [taylor]: Taking taylor expansion of -18.0 in y 10.128 * [taylor]: Taking taylor expansion of (* z y) in y 10.128 * [taylor]: Taking taylor expansion of z in y 10.128 * [taylor]: Taking taylor expansion of y in y 10.128 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z 10.128 * [taylor]: Taking taylor expansion of -18.0 in z 10.128 * [taylor]: Taking taylor expansion of z in z 10.129 * [taylor]: Taking taylor expansion of 0 in y 10.130 * [taylor]: Taking taylor expansion of 0 in z 10.132 * [taylor]: Taking taylor expansion of 0 in y 10.132 * [taylor]: Taking taylor expansion of 0 in z 10.132 * [taylor]: Taking taylor expansion of 0 in z 10.135 * [taylor]: Taking taylor expansion of 0 in y 10.135 * [taylor]: Taking taylor expansion of 0 in z 10.135 * [taylor]: Taking taylor expansion of 0 in z 10.136 * [taylor]: Taking taylor expansion of 0 in z 10.136 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 10.136 * [approximate]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in (t x y z a) around 0 10.136 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in a 10.136 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in a 10.136 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in a 10.137 * [taylor]: Taking taylor expansion of 18.0 in a 10.137 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 10.137 * [taylor]: Taking taylor expansion of x in a 10.137 * [taylor]: Taking taylor expansion of (* z y) in a 10.137 * [taylor]: Taking taylor expansion of z in a 10.137 * [taylor]: Taking taylor expansion of y in a 10.137 * [taylor]: Taking taylor expansion of (* 4.0 a) in a 10.137 * [taylor]: Taking taylor expansion of 4.0 in a 10.137 * [taylor]: Taking taylor expansion of a in a 10.137 * [taylor]: Taking taylor expansion of t in a 10.137 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in z 10.137 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in z 10.137 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z 10.137 * [taylor]: Taking taylor expansion of 18.0 in z 10.137 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 10.137 * [taylor]: Taking taylor expansion of x in z 10.137 * [taylor]: Taking taylor expansion of (* z y) in z 10.137 * [taylor]: Taking taylor expansion of z in z 10.137 * [taylor]: Taking taylor expansion of y in z 10.137 * [taylor]: Taking taylor expansion of (* 4.0 a) in z 10.137 * [taylor]: Taking taylor expansion of 4.0 in z 10.137 * [taylor]: Taking taylor expansion of a in z 10.137 * [taylor]: Taking taylor expansion of t in z 10.137 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in y 10.137 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in y 10.137 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y 10.137 * [taylor]: Taking taylor expansion of 18.0 in y 10.137 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 10.137 * [taylor]: Taking taylor expansion of x in y 10.137 * [taylor]: Taking taylor expansion of (* z y) in y 10.137 * [taylor]: Taking taylor expansion of z in y 10.137 * [taylor]: Taking taylor expansion of y in y 10.137 * [taylor]: Taking taylor expansion of (* 4.0 a) in y 10.137 * [taylor]: Taking taylor expansion of 4.0 in y 10.137 * [taylor]: Taking taylor expansion of a in y 10.137 * [taylor]: Taking taylor expansion of t in y 10.137 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in x 10.137 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x 10.137 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 10.137 * [taylor]: Taking taylor expansion of 18.0 in x 10.137 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.137 * [taylor]: Taking taylor expansion of x in x 10.137 * [taylor]: Taking taylor expansion of (* z y) in x 10.137 * [taylor]: Taking taylor expansion of z in x 10.137 * [taylor]: Taking taylor expansion of y in x 10.137 * [taylor]: Taking taylor expansion of (* 4.0 a) in x 10.137 * [taylor]: Taking taylor expansion of 4.0 in x 10.137 * [taylor]: Taking taylor expansion of a in x 10.137 * [taylor]: Taking taylor expansion of t in x 10.137 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t 10.137 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t 10.137 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t 10.137 * [taylor]: Taking taylor expansion of 18.0 in t 10.137 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 10.137 * [taylor]: Taking taylor expansion of x in t 10.137 * [taylor]: Taking taylor expansion of (* z y) in t 10.137 * [taylor]: Taking taylor expansion of z in t 10.137 * [taylor]: Taking taylor expansion of y in t 10.138 * [taylor]: Taking taylor expansion of (* 4.0 a) in t 10.138 * [taylor]: Taking taylor expansion of 4.0 in t 10.138 * [taylor]: Taking taylor expansion of a in t 10.138 * [taylor]: Taking taylor expansion of t in t 10.138 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t 10.138 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t 10.138 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t 10.138 * [taylor]: Taking taylor expansion of 18.0 in t 10.138 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 10.138 * [taylor]: Taking taylor expansion of x in t 10.138 * [taylor]: Taking taylor expansion of (* z y) in t 10.138 * [taylor]: Taking taylor expansion of z in t 10.138 * [taylor]: Taking taylor expansion of y in t 10.138 * [taylor]: Taking taylor expansion of (* 4.0 a) in t 10.138 * [taylor]: Taking taylor expansion of 4.0 in t 10.138 * [taylor]: Taking taylor expansion of a in t 10.138 * [taylor]: Taking taylor expansion of t in t 10.138 * [taylor]: Taking taylor expansion of 0 in x 10.138 * [taylor]: Taking taylor expansion of 0 in y 10.138 * [taylor]: Taking taylor expansion of 0 in z 10.138 * [taylor]: Taking taylor expansion of 0 in a 10.140 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x 10.140 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 10.140 * [taylor]: Taking taylor expansion of 18.0 in x 10.140 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.140 * [taylor]: Taking taylor expansion of x in x 10.140 * [taylor]: Taking taylor expansion of (* z y) in x 10.140 * [taylor]: Taking taylor expansion of z in x 10.140 * [taylor]: Taking taylor expansion of y in x 10.140 * [taylor]: Taking taylor expansion of (* 4.0 a) in x 10.140 * [taylor]: Taking taylor expansion of 4.0 in x 10.140 * [taylor]: Taking taylor expansion of a in x 10.141 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in y 10.141 * [taylor]: Taking taylor expansion of (* 4.0 a) in y 10.141 * [taylor]: Taking taylor expansion of 4.0 in y 10.141 * [taylor]: Taking taylor expansion of a in y 10.141 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in z 10.141 * [taylor]: Taking taylor expansion of (* 4.0 a) in z 10.141 * [taylor]: Taking taylor expansion of 4.0 in z 10.141 * [taylor]: Taking taylor expansion of a in z 10.141 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in a 10.141 * [taylor]: Taking taylor expansion of (* 4.0 a) in a 10.141 * [taylor]: Taking taylor expansion of 4.0 in a 10.141 * [taylor]: Taking taylor expansion of a in a 10.142 * [taylor]: Taking taylor expansion of 0 in y 10.142 * [taylor]: Taking taylor expansion of 0 in z 10.142 * [taylor]: Taking taylor expansion of 0 in a 10.142 * [taylor]: Taking taylor expansion of 0 in z 10.142 * [taylor]: Taking taylor expansion of 0 in a 10.142 * [taylor]: Taking taylor expansion of 0 in a 10.142 * [approximate]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in (t x y z a) around 0 10.142 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in a 10.142 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in a 10.142 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a 10.142 * [taylor]: Taking taylor expansion of 18.0 in a 10.142 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a 10.142 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 10.142 * [taylor]: Taking taylor expansion of x in a 10.142 * [taylor]: Taking taylor expansion of (* z y) in a 10.142 * [taylor]: Taking taylor expansion of z in a 10.142 * [taylor]: Taking taylor expansion of y in a 10.142 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 10.142 * [taylor]: Taking taylor expansion of 4.0 in a 10.142 * [taylor]: Taking taylor expansion of (/ 1 a) in a 10.142 * [taylor]: Taking taylor expansion of a in a 10.143 * [taylor]: Taking taylor expansion of t in a 10.144 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in z 10.144 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in z 10.144 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z 10.144 * [taylor]: Taking taylor expansion of 18.0 in z 10.144 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 10.144 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 10.144 * [taylor]: Taking taylor expansion of x in z 10.144 * [taylor]: Taking taylor expansion of (* z y) in z 10.144 * [taylor]: Taking taylor expansion of z in z 10.144 * [taylor]: Taking taylor expansion of y in z 10.145 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 10.145 * [taylor]: Taking taylor expansion of 4.0 in z 10.145 * [taylor]: Taking taylor expansion of (/ 1 a) in z 10.145 * [taylor]: Taking taylor expansion of a in z 10.145 * [taylor]: Taking taylor expansion of t in z 10.145 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in y 10.145 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in y 10.145 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y 10.145 * [taylor]: Taking taylor expansion of 18.0 in y 10.145 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 10.145 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 10.145 * [taylor]: Taking taylor expansion of x in y 10.145 * [taylor]: Taking taylor expansion of (* z y) in y 10.145 * [taylor]: Taking taylor expansion of z in y 10.145 * [taylor]: Taking taylor expansion of y in y 10.146 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 10.146 * [taylor]: Taking taylor expansion of 4.0 in y 10.146 * [taylor]: Taking taylor expansion of (/ 1 a) in y 10.146 * [taylor]: Taking taylor expansion of a in y 10.146 * [taylor]: Taking taylor expansion of t in y 10.146 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in x 10.146 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x 10.146 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 10.146 * [taylor]: Taking taylor expansion of 18.0 in x 10.146 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 10.146 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.146 * [taylor]: Taking taylor expansion of x in x 10.146 * [taylor]: Taking taylor expansion of (* z y) in x 10.146 * [taylor]: Taking taylor expansion of z in x 10.146 * [taylor]: Taking taylor expansion of y in x 10.147 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 10.147 * [taylor]: Taking taylor expansion of 4.0 in x 10.147 * [taylor]: Taking taylor expansion of (/ 1 a) in x 10.147 * [taylor]: Taking taylor expansion of a in x 10.147 * [taylor]: Taking taylor expansion of t in x 10.147 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t 10.147 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t 10.147 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 10.147 * [taylor]: Taking taylor expansion of 18.0 in t 10.147 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 10.147 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 10.147 * [taylor]: Taking taylor expansion of x in t 10.147 * [taylor]: Taking taylor expansion of (* z y) in t 10.147 * [taylor]: Taking taylor expansion of z in t 10.147 * [taylor]: Taking taylor expansion of y in t 10.147 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 10.147 * [taylor]: Taking taylor expansion of 4.0 in t 10.147 * [taylor]: Taking taylor expansion of (/ 1 a) in t 10.147 * [taylor]: Taking taylor expansion of a in t 10.147 * [taylor]: Taking taylor expansion of t in t 10.148 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t 10.148 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t 10.148 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 10.148 * [taylor]: Taking taylor expansion of 18.0 in t 10.148 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 10.148 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 10.148 * [taylor]: Taking taylor expansion of x in t 10.148 * [taylor]: Taking taylor expansion of (* z y) in t 10.148 * [taylor]: Taking taylor expansion of z in t 10.148 * [taylor]: Taking taylor expansion of y in t 10.148 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 10.148 * [taylor]: Taking taylor expansion of 4.0 in t 10.148 * [taylor]: Taking taylor expansion of (/ 1 a) in t 10.148 * [taylor]: Taking taylor expansion of a in t 10.148 * [taylor]: Taking taylor expansion of t in t 10.148 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x 10.148 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 10.148 * [taylor]: Taking taylor expansion of 18.0 in x 10.148 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 10.148 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.148 * [taylor]: Taking taylor expansion of x in x 10.148 * [taylor]: Taking taylor expansion of (* z y) in x 10.148 * [taylor]: Taking taylor expansion of z in x 10.148 * [taylor]: Taking taylor expansion of y in x 10.149 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 10.149 * [taylor]: Taking taylor expansion of 4.0 in x 10.149 * [taylor]: Taking taylor expansion of (/ 1 a) in x 10.149 * [taylor]: Taking taylor expansion of a in x 10.149 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* z y))) in y 10.149 * [taylor]: Taking taylor expansion of 18.0 in y 10.149 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 10.149 * [taylor]: Taking taylor expansion of (* z y) in y 10.149 * [taylor]: Taking taylor expansion of z in y 10.149 * [taylor]: Taking taylor expansion of y in y 10.149 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 10.150 * [taylor]: Taking taylor expansion of 18.0 in z 10.150 * [taylor]: Taking taylor expansion of z in z 10.150 * [taylor]: Taking taylor expansion of 18.0 in a 10.152 * [taylor]: Taking taylor expansion of 0 in x 10.153 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y 10.153 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 10.153 * [taylor]: Taking taylor expansion of 4.0 in y 10.153 * [taylor]: Taking taylor expansion of (/ 1 a) in y 10.153 * [taylor]: Taking taylor expansion of a in y 10.154 * [taylor]: Taking taylor expansion of 0 in z 10.155 * [taylor]: Taking taylor expansion of 0 in a 10.158 * [taylor]: Taking taylor expansion of 0 in x 10.158 * [taylor]: Taking taylor expansion of 0 in y 10.161 * [taylor]: Taking taylor expansion of 0 in y 10.161 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z 10.161 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 10.161 * [taylor]: Taking taylor expansion of 4.0 in z 10.161 * [taylor]: Taking taylor expansion of (/ 1 a) in z 10.161 * [taylor]: Taking taylor expansion of a in z 10.162 * [taylor]: Taking taylor expansion of 0 in z 10.162 * [taylor]: Taking taylor expansion of 0 in a 10.163 * [taylor]: Taking taylor expansion of 0 in a 10.167 * [taylor]: Taking taylor expansion of 0 in x 10.167 * [taylor]: Taking taylor expansion of 0 in y 10.167 * [taylor]: Taking taylor expansion of 0 in y 10.171 * [taylor]: Taking taylor expansion of 0 in y 10.171 * [taylor]: Taking taylor expansion of 0 in z 10.171 * [taylor]: Taking taylor expansion of 0 in z 10.172 * [taylor]: Taking taylor expansion of 0 in z 10.173 * [taylor]: Taking taylor expansion of 0 in z 10.173 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a 10.173 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 10.173 * [taylor]: Taking taylor expansion of 4.0 in a 10.173 * [taylor]: Taking taylor expansion of (/ 1 a) in a 10.173 * [taylor]: Taking taylor expansion of a in a 10.175 * [taylor]: Taking taylor expansion of 0 in a 10.175 * [taylor]: Taking taylor expansion of 0 in a 10.175 * [taylor]: Taking taylor expansion of 0 in a 10.181 * [taylor]: Taking taylor expansion of 0 in x 10.181 * [taylor]: Taking taylor expansion of 0 in y 10.181 * [taylor]: Taking taylor expansion of 0 in y 10.181 * [taylor]: Taking taylor expansion of 0 in y 10.187 * [taylor]: Taking taylor expansion of 0 in y 10.187 * [taylor]: Taking taylor expansion of 0 in z 10.187 * [taylor]: Taking taylor expansion of 0 in z 10.187 * [taylor]: Taking taylor expansion of 0 in z 10.187 * [taylor]: Taking taylor expansion of 0 in z 10.187 * [taylor]: Taking taylor expansion of 0 in z 10.188 * [taylor]: Taking taylor expansion of 0 in z 10.189 * [taylor]: Taking taylor expansion of 0 in z 10.190 * [taylor]: Taking taylor expansion of 0 in a 10.190 * [taylor]: Taking taylor expansion of 0 in a 10.190 * [taylor]: Taking taylor expansion of 0 in a 10.190 * [taylor]: Taking taylor expansion of 0 in a 10.190 * [taylor]: Taking taylor expansion of 0 in a 10.190 * [taylor]: Taking taylor expansion of 0 in a 10.190 * [taylor]: Taking taylor expansion of 0 in a 10.191 * [taylor]: Taking taylor expansion of 0 in a 10.193 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in (t x y z a) around 0 10.193 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in a 10.193 * [taylor]: Taking taylor expansion of -1 in a 10.193 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in a 10.193 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in a 10.193 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 10.193 * [taylor]: Taking taylor expansion of 4.0 in a 10.193 * [taylor]: Taking taylor expansion of (/ 1 a) in a 10.193 * [taylor]: Taking taylor expansion of a in a 10.193 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a 10.193 * [taylor]: Taking taylor expansion of 18.0 in a 10.193 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a 10.193 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 10.193 * [taylor]: Taking taylor expansion of x in a 10.193 * [taylor]: Taking taylor expansion of (* z y) in a 10.193 * [taylor]: Taking taylor expansion of z in a 10.193 * [taylor]: Taking taylor expansion of y in a 10.194 * [taylor]: Taking taylor expansion of t in a 10.196 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in z 10.196 * [taylor]: Taking taylor expansion of -1 in z 10.196 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in z 10.196 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in z 10.197 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 10.197 * [taylor]: Taking taylor expansion of 4.0 in z 10.197 * [taylor]: Taking taylor expansion of (/ 1 a) in z 10.197 * [taylor]: Taking taylor expansion of a in z 10.197 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z 10.197 * [taylor]: Taking taylor expansion of 18.0 in z 10.197 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 10.197 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 10.197 * [taylor]: Taking taylor expansion of x in z 10.197 * [taylor]: Taking taylor expansion of (* z y) in z 10.197 * [taylor]: Taking taylor expansion of z in z 10.197 * [taylor]: Taking taylor expansion of y in z 10.197 * [taylor]: Taking taylor expansion of t in z 10.198 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in y 10.198 * [taylor]: Taking taylor expansion of -1 in y 10.198 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in y 10.198 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in y 10.198 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 10.198 * [taylor]: Taking taylor expansion of 4.0 in y 10.198 * [taylor]: Taking taylor expansion of (/ 1 a) in y 10.198 * [taylor]: Taking taylor expansion of a in y 10.198 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y 10.198 * [taylor]: Taking taylor expansion of 18.0 in y 10.198 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 10.198 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 10.198 * [taylor]: Taking taylor expansion of x in y 10.198 * [taylor]: Taking taylor expansion of (* z y) in y 10.198 * [taylor]: Taking taylor expansion of z in y 10.198 * [taylor]: Taking taylor expansion of y in y 10.198 * [taylor]: Taking taylor expansion of t in y 10.199 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in x 10.199 * [taylor]: Taking taylor expansion of -1 in x 10.199 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in x 10.199 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x 10.199 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 10.199 * [taylor]: Taking taylor expansion of 4.0 in x 10.199 * [taylor]: Taking taylor expansion of (/ 1 a) in x 10.199 * [taylor]: Taking taylor expansion of a in x 10.199 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 10.199 * [taylor]: Taking taylor expansion of 18.0 in x 10.199 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 10.199 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.199 * [taylor]: Taking taylor expansion of x in x 10.199 * [taylor]: Taking taylor expansion of (* z y) in x 10.199 * [taylor]: Taking taylor expansion of z in x 10.199 * [taylor]: Taking taylor expansion of y in x 10.199 * [taylor]: Taking taylor expansion of t in x 10.200 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t 10.200 * [taylor]: Taking taylor expansion of -1 in t 10.200 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t 10.200 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t 10.200 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 10.200 * [taylor]: Taking taylor expansion of 4.0 in t 10.200 * [taylor]: Taking taylor expansion of (/ 1 a) in t 10.200 * [taylor]: Taking taylor expansion of a in t 10.200 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 10.200 * [taylor]: Taking taylor expansion of 18.0 in t 10.200 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 10.200 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 10.200 * [taylor]: Taking taylor expansion of x in t 10.200 * [taylor]: Taking taylor expansion of (* z y) in t 10.200 * [taylor]: Taking taylor expansion of z in t 10.200 * [taylor]: Taking taylor expansion of y in t 10.200 * [taylor]: Taking taylor expansion of t in t 10.200 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t 10.200 * [taylor]: Taking taylor expansion of -1 in t 10.200 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t 10.200 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t 10.200 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 10.200 * [taylor]: Taking taylor expansion of 4.0 in t 10.200 * [taylor]: Taking taylor expansion of (/ 1 a) in t 10.200 * [taylor]: Taking taylor expansion of a in t 10.200 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 10.201 * [taylor]: Taking taylor expansion of 18.0 in t 10.201 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 10.201 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 10.201 * [taylor]: Taking taylor expansion of x in t 10.201 * [taylor]: Taking taylor expansion of (* z y) in t 10.201 * [taylor]: Taking taylor expansion of z in t 10.201 * [taylor]: Taking taylor expansion of y in t 10.201 * [taylor]: Taking taylor expansion of t in t 10.201 * [taylor]: Taking taylor expansion of (* -1 (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y)))))) in x 10.201 * [taylor]: Taking taylor expansion of -1 in x 10.201 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x 10.201 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 10.201 * [taylor]: Taking taylor expansion of 4.0 in x 10.201 * [taylor]: Taking taylor expansion of (/ 1 a) in x 10.201 * [taylor]: Taking taylor expansion of a in x 10.201 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 10.201 * [taylor]: Taking taylor expansion of 18.0 in x 10.201 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 10.201 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.201 * [taylor]: Taking taylor expansion of x in x 10.201 * [taylor]: Taking taylor expansion of (* z y) in x 10.201 * [taylor]: Taking taylor expansion of z in x 10.202 * [taylor]: Taking taylor expansion of y in x 10.202 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y 10.202 * [taylor]: Taking taylor expansion of 18.0 in y 10.202 * [taylor]: Taking taylor expansion of (* z y) in y 10.202 * [taylor]: Taking taylor expansion of z in y 10.202 * [taylor]: Taking taylor expansion of y in y 10.203 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 10.203 * [taylor]: Taking taylor expansion of 18.0 in z 10.203 * [taylor]: Taking taylor expansion of z in z 10.203 * [taylor]: Taking taylor expansion of 18.0 in a 10.205 * [taylor]: Taking taylor expansion of 0 in x 10.207 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y 10.207 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 10.207 * [taylor]: Taking taylor expansion of 4.0 in y 10.207 * [taylor]: Taking taylor expansion of (/ 1 a) in y 10.207 * [taylor]: Taking taylor expansion of a in y 10.208 * [taylor]: Taking taylor expansion of 0 in z 10.208 * [taylor]: Taking taylor expansion of 0 in a 10.212 * [taylor]: Taking taylor expansion of 0 in x 10.212 * [taylor]: Taking taylor expansion of 0 in y 10.215 * [taylor]: Taking taylor expansion of 0 in y 10.215 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z 10.215 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 10.215 * [taylor]: Taking taylor expansion of 4.0 in z 10.215 * [taylor]: Taking taylor expansion of (/ 1 a) in z 10.215 * [taylor]: Taking taylor expansion of a in z 10.216 * [taylor]: Taking taylor expansion of 0 in z 10.216 * [taylor]: Taking taylor expansion of 0 in a 10.217 * [taylor]: Taking taylor expansion of 0 in a 10.222 * [taylor]: Taking taylor expansion of 0 in x 10.222 * [taylor]: Taking taylor expansion of 0 in y 10.223 * [taylor]: Taking taylor expansion of 0 in y 10.231 * [taylor]: Taking taylor expansion of 0 in y 10.231 * [taylor]: Taking taylor expansion of 0 in z 10.231 * [taylor]: Taking taylor expansion of 0 in z 10.232 * [taylor]: Taking taylor expansion of 0 in z 10.233 * [taylor]: Taking taylor expansion of 0 in z 10.233 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a 10.233 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 10.234 * [taylor]: Taking taylor expansion of 4.0 in a 10.234 * [taylor]: Taking taylor expansion of (/ 1 a) in a 10.234 * [taylor]: Taking taylor expansion of a in a 10.235 * [taylor]: Taking taylor expansion of 0 in a 10.235 * [taylor]: Taking taylor expansion of 0 in a 10.237 * [taylor]: Taking taylor expansion of 0 in a 10.248 * [taylor]: Taking taylor expansion of 0 in x 10.248 * [taylor]: Taking taylor expansion of 0 in y 10.249 * [taylor]: Taking taylor expansion of 0 in y 10.249 * [taylor]: Taking taylor expansion of 0 in y 10.258 * [taylor]: Taking taylor expansion of 0 in y 10.258 * [taylor]: Taking taylor expansion of 0 in z 10.258 * [taylor]: Taking taylor expansion of 0 in z 10.258 * [taylor]: Taking taylor expansion of 0 in z 10.258 * [taylor]: Taking taylor expansion of 0 in z 10.258 * [taylor]: Taking taylor expansion of 0 in z 10.259 * [taylor]: Taking taylor expansion of 0 in z 10.260 * [taylor]: Taking taylor expansion of 0 in z 10.260 * [taylor]: Taking taylor expansion of 0 in a 10.260 * [taylor]: Taking taylor expansion of 0 in a 10.260 * [taylor]: Taking taylor expansion of 0 in a 10.260 * [taylor]: Taking taylor expansion of 0 in a 10.261 * [taylor]: Taking taylor expansion of 0 in a 10.261 * [taylor]: Taking taylor expansion of 0 in a 10.261 * [taylor]: Taking taylor expansion of 0 in a 10.261 * [taylor]: Taking taylor expansion of 0 in a 10.263 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 10.263 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0 10.263 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k 10.263 * [taylor]: Taking taylor expansion of 27.0 in k 10.263 * [taylor]: Taking taylor expansion of (* k j) in k 10.263 * [taylor]: Taking taylor expansion of k in k 10.263 * [taylor]: Taking taylor expansion of j in k 10.263 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j 10.263 * [taylor]: Taking taylor expansion of 27.0 in j 10.263 * [taylor]: Taking taylor expansion of (* k j) in j 10.263 * [taylor]: Taking taylor expansion of k in j 10.263 * [taylor]: Taking taylor expansion of j in j 10.263 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j 10.263 * [taylor]: Taking taylor expansion of 27.0 in j 10.263 * [taylor]: Taking taylor expansion of (* k j) in j 10.263 * [taylor]: Taking taylor expansion of k in j 10.263 * [taylor]: Taking taylor expansion of j in j 10.264 * [taylor]: Taking taylor expansion of 0 in k 10.264 * [taylor]: Taking taylor expansion of (* 27.0 k) in k 10.264 * [taylor]: Taking taylor expansion of 27.0 in k 10.264 * [taylor]: Taking taylor expansion of k in k 10.266 * [taylor]: Taking taylor expansion of 0 in k 10.268 * [taylor]: Taking taylor expansion of 0 in k 10.270 * [taylor]: Taking taylor expansion of 0 in k 10.270 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0 10.270 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k 10.270 * [taylor]: Taking taylor expansion of 27.0 in k 10.270 * [taylor]: Taking taylor expansion of (* k j) in k 10.270 * [taylor]: Taking taylor expansion of k in k 10.270 * [taylor]: Taking taylor expansion of j in k 10.271 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 10.271 * [taylor]: Taking taylor expansion of 27.0 in j 10.271 * [taylor]: Taking taylor expansion of (* k j) in j 10.271 * [taylor]: Taking taylor expansion of k in j 10.271 * [taylor]: Taking taylor expansion of j in j 10.271 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 10.271 * [taylor]: Taking taylor expansion of 27.0 in j 10.271 * [taylor]: Taking taylor expansion of (* k j) in j 10.271 * [taylor]: Taking taylor expansion of k in j 10.271 * [taylor]: Taking taylor expansion of j in j 10.272 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k 10.272 * [taylor]: Taking taylor expansion of 27.0 in k 10.272 * [taylor]: Taking taylor expansion of k in k 10.273 * [taylor]: Taking taylor expansion of 0 in k 10.274 * [taylor]: Taking taylor expansion of 0 in k 10.275 * [taylor]: Taking taylor expansion of 0 in k 10.276 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0 10.276 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k 10.276 * [taylor]: Taking taylor expansion of 27.0 in k 10.276 * [taylor]: Taking taylor expansion of (* k j) in k 10.276 * [taylor]: Taking taylor expansion of k in k 10.276 * [taylor]: Taking taylor expansion of j in k 10.276 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 10.276 * [taylor]: Taking taylor expansion of 27.0 in j 10.276 * [taylor]: Taking taylor expansion of (* k j) in j 10.276 * [taylor]: Taking taylor expansion of k in j 10.276 * [taylor]: Taking taylor expansion of j in j 10.276 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 10.276 * [taylor]: Taking taylor expansion of 27.0 in j 10.276 * [taylor]: Taking taylor expansion of (* k j) in j 10.276 * [taylor]: Taking taylor expansion of k in j 10.276 * [taylor]: Taking taylor expansion of j in j 10.277 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k 10.277 * [taylor]: Taking taylor expansion of 27.0 in k 10.277 * [taylor]: Taking taylor expansion of k in k 10.278 * [taylor]: Taking taylor expansion of 0 in k 10.279 * [taylor]: Taking taylor expansion of 0 in k 10.280 * [taylor]: Taking taylor expansion of 0 in k 10.281 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 10.281 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0 10.281 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y 10.281 * [taylor]: Taking taylor expansion of 18.0 in y 10.281 * [taylor]: Taking taylor expansion of (* x y) in y 10.281 * [taylor]: Taking taylor expansion of x in y 10.281 * [taylor]: Taking taylor expansion of y in y 10.281 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x 10.281 * [taylor]: Taking taylor expansion of 18.0 in x 10.281 * [taylor]: Taking taylor expansion of (* x y) in x 10.281 * [taylor]: Taking taylor expansion of x in x 10.281 * [taylor]: Taking taylor expansion of y in x 10.281 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x 10.281 * [taylor]: Taking taylor expansion of 18.0 in x 10.281 * [taylor]: Taking taylor expansion of (* x y) in x 10.281 * [taylor]: Taking taylor expansion of x in x 10.281 * [taylor]: Taking taylor expansion of y in x 10.281 * [taylor]: Taking taylor expansion of 0 in y 10.282 * [taylor]: Taking taylor expansion of (* 18.0 y) in y 10.282 * [taylor]: Taking taylor expansion of 18.0 in y 10.282 * [taylor]: Taking taylor expansion of y in y 10.283 * [taylor]: Taking taylor expansion of 0 in y 10.285 * [taylor]: Taking taylor expansion of 0 in y 10.290 * [taylor]: Taking taylor expansion of 0 in y 10.291 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0 10.291 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y 10.291 * [taylor]: Taking taylor expansion of 18.0 in y 10.291 * [taylor]: Taking taylor expansion of (* x y) in y 10.291 * [taylor]: Taking taylor expansion of x in y 10.291 * [taylor]: Taking taylor expansion of y in y 10.291 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 10.291 * [taylor]: Taking taylor expansion of 18.0 in x 10.291 * [taylor]: Taking taylor expansion of (* x y) in x 10.291 * [taylor]: Taking taylor expansion of x in x 10.291 * [taylor]: Taking taylor expansion of y in x 10.291 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 10.291 * [taylor]: Taking taylor expansion of 18.0 in x 10.292 * [taylor]: Taking taylor expansion of (* x y) in x 10.292 * [taylor]: Taking taylor expansion of x in x 10.292 * [taylor]: Taking taylor expansion of y in x 10.292 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y 10.292 * [taylor]: Taking taylor expansion of 18.0 in y 10.292 * [taylor]: Taking taylor expansion of y in y 10.293 * [taylor]: Taking taylor expansion of 0 in y 10.294 * [taylor]: Taking taylor expansion of 0 in y 10.296 * [taylor]: Taking taylor expansion of 0 in y 10.297 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0 10.297 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y 10.297 * [taylor]: Taking taylor expansion of 18.0 in y 10.297 * [taylor]: Taking taylor expansion of (* x y) in y 10.297 * [taylor]: Taking taylor expansion of x in y 10.297 * [taylor]: Taking taylor expansion of y in y 10.297 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 10.297 * [taylor]: Taking taylor expansion of 18.0 in x 10.297 * [taylor]: Taking taylor expansion of (* x y) in x 10.297 * [taylor]: Taking taylor expansion of x in x 10.297 * [taylor]: Taking taylor expansion of y in x 10.297 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 10.297 * [taylor]: Taking taylor expansion of 18.0 in x 10.298 * [taylor]: Taking taylor expansion of (* x y) in x 10.298 * [taylor]: Taking taylor expansion of x in x 10.298 * [taylor]: Taking taylor expansion of y in x 10.298 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y 10.298 * [taylor]: Taking taylor expansion of 18.0 in y 10.298 * [taylor]: Taking taylor expansion of y in y 10.299 * [taylor]: Taking taylor expansion of 0 in y 10.300 * [taylor]: Taking taylor expansion of 0 in y 10.302 * [taylor]: Taking taylor expansion of 0 in y 10.303 * * * [progress]: simplifying candidates 10.304 * [simplify]: Simplifying using # : (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (+ (+ (log (* x 18.0)) (log y)) (log z)) (+ (log (* (* x 18.0) y)) (log z)) (log (* (* (* x 18.0) y) z)) (exp (* (* (* x 18.0) y) z)) (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z)) (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (sqrt (* (* (* x 18.0) y) z)) (sqrt (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (* x 18.0) y) (sqrt z)) (* (* (* x 18.0) y) 1) (* y z) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (+ (log t) (log (- (* (* (* x 18.0) y) z) (* a 4.0)))) (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (exp (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (* (* t t) t) (* (* (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* (* (* x 18.0) y) z) (* a 4.0))) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (* (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* t (* (* (* x 18.0) y) z)) (* t (- (* a 4.0))) (* t (* (* (* x 18.0) y) z)) (* t (- (* a 4.0))) (* (* (* (* x 18.0) y) z) t) (* (- (* a 4.0)) t) (* (* (* (* x 18.0) y) z) t) (* (- (* a 4.0)) t) (* t (* (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))) (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))))) (* t (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* t 1) (* (cbrt t) (- (* (* (* x 18.0) y) z) (* a 4.0))) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (* t (- (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* a 4.0) (* a 4.0)))) (* (* j 27.0) k) (* (* j 27.0) k) (+ (+ (log j) (log 27.0)) (log k)) (+ (log (* j 27.0)) (log k)) (log (* (* j 27.0) k)) (exp (* (* j 27.0) k)) (* (* (* (* j j) j) (* (* 27.0 27.0) 27.0)) (* (* k k) k)) (* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) k)) (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k)) (* (* (* (* j 27.0) k) (* (* j 27.0) k)) (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)) (* (* j 27.0) (* (cbrt k) (cbrt k))) (* (* j 27.0) (sqrt k)) (* (* j 27.0) 1) (* 27.0 k) (* (* x 18.0) y) (* (* x 18.0) y) (+ (+ (log x) (log 18.0)) (log y)) (+ (log (* x 18.0)) (log y)) (log (* (* x 18.0) y)) (exp (* (* x 18.0) y)) (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y)) (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (sqrt (* (* x 18.0) y)) (sqrt (* (* x 18.0) y)) (* (* x 18.0) (* (cbrt y) (cbrt y))) (* (* x 18.0) (sqrt y)) (* (* x 18.0) 1) (* 18.0 y) 0 (* 18.0 (* x (* z y))) (* 18.0 (* x (* z y))) 0 (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t))) (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t))) (* 27.0 (* k j)) (* 27.0 (* k j)) (* 27.0 (* k j)) (* 18.0 (* x y)) (* 18.0 (* x y)) (* 18.0 (* x y)) 10.308 * * [simplify]: iteration 0 : 158 enodes (cost 1015 ) 10.340 * * [simplify]: iteration 1 : 403 enodes (cost 980 ) 10.550 * * [simplify]: iteration 2 : 1682 enodes (cost 822 ) 11.362 * * [simplify]: iteration done : 5001 enodes (cost 822 ) 11.363 * [simplify]: Simplified to: (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) (log (* 18.0 (* x (* z y)))) (log (* 18.0 (* x (* z y)))) (log (* 18.0 (* x (* z y)))) (log (* 18.0 (* x (* z y)))) (exp (* (* (* x 18.0) y) z)) (pow (* (* (* x 18.0) y) z) 3) (pow (* (* (* x 18.0) y) z) 3) (pow (* (* (* x 18.0) y) z) 3) (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z)) (pow (* (* (* x 18.0) y) z) 3) (sqrt (* (* (* x 18.0) y) z)) (sqrt (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (* x 18.0) y) (sqrt z)) (* (* x 18.0) y) (* z y) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (exp (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3) (* (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3) (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0))) (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0))) (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0))) (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0))) (* t (* (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))) (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))))) (* t (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) t (* (cbrt t) (- (* (* (* x 18.0) y) z) (* a 4.0))) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (* t (- (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* a 4.0) (* a 4.0)))) (* (* j 27.0) k) (* (* j 27.0) k) (log (* (* j 27.0) k)) (log (* (* j 27.0) k)) (log (* (* j 27.0) k)) (exp (* (* j 27.0) k)) (pow (* (* j 27.0) k) 3) (pow (* (* j 27.0) k) 3) (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k)) (pow (* (* j 27.0) k) 3) (sqrt (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)) (* (* j 27.0) (* (cbrt k) (cbrt k))) (* (* j 27.0) (sqrt k)) (* j 27.0) (* 27.0 k) (* (* x 18.0) y) (* (* x 18.0) y) (log (* (* x 18.0) y)) (log (* (* x 18.0) y)) (log (* (* x 18.0) y)) (exp (* (* x 18.0) y)) (pow (* (* x 18.0) y) 3) (pow (* (* x 18.0) y) 3) (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y)) (pow (* (* x 18.0) y) 3) (sqrt (* (* x 18.0) y)) (sqrt (* (* x 18.0) y)) (* (* x 18.0) (* (cbrt y) (cbrt y))) (* (* x 18.0) (sqrt y)) (* x 18.0) (* 18.0 y) 0 (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) 0 (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* (* j 27.0) k) (* (* j 27.0) k) (* (* j 27.0) k) (* (* x 18.0) y) (* (* x 18.0) y) (* (* x 18.0) y) 11.363 * * * [progress]: adding candidates to table 11.659 * * [progress]: iteration 2 / 4 11.659 * * * [progress]: picking best candidate 11.699 * * * * [pick]: Picked # 11.699 * * * [progress]: localizing error 11.721 * * * [progress]: generating rewritten candidates 11.721 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1) 11.743 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 11.826 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 11.831 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 11.840 * * * [progress]: generating series expansions 11.840 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1) 11.840 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0 11.840 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z 11.840 * [taylor]: Taking taylor expansion of 18.0 in z 11.840 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 11.840 * [taylor]: Taking taylor expansion of x in z 11.840 * [taylor]: Taking taylor expansion of (* z y) in z 11.840 * [taylor]: Taking taylor expansion of z in z 11.840 * [taylor]: Taking taylor expansion of y in z 11.840 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y 11.840 * [taylor]: Taking taylor expansion of 18.0 in y 11.840 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 11.840 * [taylor]: Taking taylor expansion of x in y 11.840 * [taylor]: Taking taylor expansion of (* z y) in y 11.840 * [taylor]: Taking taylor expansion of z in y 11.840 * [taylor]: Taking taylor expansion of y in y 11.840 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 11.840 * [taylor]: Taking taylor expansion of 18.0 in x 11.840 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 11.840 * [taylor]: Taking taylor expansion of x in x 11.840 * [taylor]: Taking taylor expansion of (* z y) in x 11.840 * [taylor]: Taking taylor expansion of z in x 11.840 * [taylor]: Taking taylor expansion of y in x 11.840 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 11.840 * [taylor]: Taking taylor expansion of 18.0 in x 11.840 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 11.840 * [taylor]: Taking taylor expansion of x in x 11.840 * [taylor]: Taking taylor expansion of (* z y) in x 11.840 * [taylor]: Taking taylor expansion of z in x 11.840 * [taylor]: Taking taylor expansion of y in x 11.841 * [taylor]: Taking taylor expansion of 0 in y 11.841 * [taylor]: Taking taylor expansion of 0 in z 11.842 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y 11.842 * [taylor]: Taking taylor expansion of 18.0 in y 11.842 * [taylor]: Taking taylor expansion of (* z y) in y 11.842 * [taylor]: Taking taylor expansion of z in y 11.842 * [taylor]: Taking taylor expansion of y in y 11.842 * [taylor]: Taking taylor expansion of 0 in z 11.842 * [taylor]: Taking taylor expansion of 0 in z 11.843 * [taylor]: Taking taylor expansion of 0 in y 11.843 * [taylor]: Taking taylor expansion of 0 in z 11.844 * [taylor]: Taking taylor expansion of (* 18.0 z) in z 11.844 * [taylor]: Taking taylor expansion of 18.0 in z 11.844 * [taylor]: Taking taylor expansion of z in z 11.845 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0 11.845 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z 11.845 * [taylor]: Taking taylor expansion of 18.0 in z 11.845 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 11.845 * [taylor]: Taking taylor expansion of x in z 11.845 * [taylor]: Taking taylor expansion of (* z y) in z 11.845 * [taylor]: Taking taylor expansion of z in z 11.845 * [taylor]: Taking taylor expansion of y in z 11.845 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y 11.845 * [taylor]: Taking taylor expansion of 18.0 in y 11.845 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 11.845 * [taylor]: Taking taylor expansion of x in y 11.845 * [taylor]: Taking taylor expansion of (* z y) in y 11.845 * [taylor]: Taking taylor expansion of z in y 11.845 * [taylor]: Taking taylor expansion of y in y 11.846 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x 11.846 * [taylor]: Taking taylor expansion of 18.0 in x 11.846 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 11.846 * [taylor]: Taking taylor expansion of x in x 11.846 * [taylor]: Taking taylor expansion of (* z y) in x 11.846 * [taylor]: Taking taylor expansion of z in x 11.846 * [taylor]: Taking taylor expansion of y in x 11.846 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x 11.847 * [taylor]: Taking taylor expansion of 18.0 in x 11.847 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 11.847 * [taylor]: Taking taylor expansion of x in x 11.847 * [taylor]: Taking taylor expansion of (* z y) in x 11.847 * [taylor]: Taking taylor expansion of z in x 11.847 * [taylor]: Taking taylor expansion of y in x 11.847 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y 11.847 * [taylor]: Taking taylor expansion of 18.0 in y 11.847 * [taylor]: Taking taylor expansion of (* z y) in y 11.847 * [taylor]: Taking taylor expansion of z in y 11.847 * [taylor]: Taking taylor expansion of y in y 11.848 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 11.848 * [taylor]: Taking taylor expansion of 18.0 in z 11.848 * [taylor]: Taking taylor expansion of z in z 11.849 * [taylor]: Taking taylor expansion of 0 in y 11.849 * [taylor]: Taking taylor expansion of 0 in z 11.851 * [taylor]: Taking taylor expansion of 0 in y 11.851 * [taylor]: Taking taylor expansion of 0 in z 11.852 * [taylor]: Taking taylor expansion of 0 in z 11.854 * [taylor]: Taking taylor expansion of 0 in y 11.854 * [taylor]: Taking taylor expansion of 0 in z 11.855 * [taylor]: Taking taylor expansion of 0 in z 11.855 * [taylor]: Taking taylor expansion of 0 in z 11.855 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0 11.855 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z 11.856 * [taylor]: Taking taylor expansion of -18.0 in z 11.856 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 11.856 * [taylor]: Taking taylor expansion of x in z 11.856 * [taylor]: Taking taylor expansion of (* z y) in z 11.856 * [taylor]: Taking taylor expansion of z in z 11.856 * [taylor]: Taking taylor expansion of y in z 11.856 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y 11.856 * [taylor]: Taking taylor expansion of -18.0 in y 11.856 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 11.856 * [taylor]: Taking taylor expansion of x in y 11.856 * [taylor]: Taking taylor expansion of (* z y) in y 11.856 * [taylor]: Taking taylor expansion of z in y 11.856 * [taylor]: Taking taylor expansion of y in y 11.857 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x 11.857 * [taylor]: Taking taylor expansion of -18.0 in x 11.857 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 11.857 * [taylor]: Taking taylor expansion of x in x 11.857 * [taylor]: Taking taylor expansion of (* z y) in x 11.857 * [taylor]: Taking taylor expansion of z in x 11.857 * [taylor]: Taking taylor expansion of y in x 11.857 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x 11.857 * [taylor]: Taking taylor expansion of -18.0 in x 11.857 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 11.858 * [taylor]: Taking taylor expansion of x in x 11.858 * [taylor]: Taking taylor expansion of (* z y) in x 11.858 * [taylor]: Taking taylor expansion of z in x 11.858 * [taylor]: Taking taylor expansion of y in x 11.858 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y 11.858 * [taylor]: Taking taylor expansion of -18.0 in y 11.858 * [taylor]: Taking taylor expansion of (* z y) in y 11.858 * [taylor]: Taking taylor expansion of z in y 11.858 * [taylor]: Taking taylor expansion of y in y 11.858 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z 11.858 * [taylor]: Taking taylor expansion of -18.0 in z 11.858 * [taylor]: Taking taylor expansion of z in z 11.860 * [taylor]: Taking taylor expansion of 0 in y 11.860 * [taylor]: Taking taylor expansion of 0 in z 11.862 * [taylor]: Taking taylor expansion of 0 in y 11.862 * [taylor]: Taking taylor expansion of 0 in z 11.863 * [taylor]: Taking taylor expansion of 0 in z 11.865 * [taylor]: Taking taylor expansion of 0 in y 11.865 * [taylor]: Taking taylor expansion of 0 in z 11.865 * [taylor]: Taking taylor expansion of 0 in z 11.866 * [taylor]: Taking taylor expansion of 0 in z 11.866 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 11.866 * [approximate]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in (t x y z a) around 0 11.866 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in a 11.866 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in a 11.867 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in a 11.867 * [taylor]: Taking taylor expansion of 18.0 in a 11.867 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 11.867 * [taylor]: Taking taylor expansion of x in a 11.867 * [taylor]: Taking taylor expansion of (* z y) in a 11.867 * [taylor]: Taking taylor expansion of z in a 11.867 * [taylor]: Taking taylor expansion of y in a 11.867 * [taylor]: Taking taylor expansion of (* 4.0 a) in a 11.867 * [taylor]: Taking taylor expansion of 4.0 in a 11.867 * [taylor]: Taking taylor expansion of a in a 11.867 * [taylor]: Taking taylor expansion of t in a 11.867 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in z 11.867 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in z 11.867 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z 11.867 * [taylor]: Taking taylor expansion of 18.0 in z 11.867 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 11.867 * [taylor]: Taking taylor expansion of x in z 11.867 * [taylor]: Taking taylor expansion of (* z y) in z 11.867 * [taylor]: Taking taylor expansion of z in z 11.867 * [taylor]: Taking taylor expansion of y in z 11.867 * [taylor]: Taking taylor expansion of (* 4.0 a) in z 11.867 * [taylor]: Taking taylor expansion of 4.0 in z 11.867 * [taylor]: Taking taylor expansion of a in z 11.867 * [taylor]: Taking taylor expansion of t in z 11.867 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in y 11.867 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in y 11.867 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y 11.867 * [taylor]: Taking taylor expansion of 18.0 in y 11.867 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 11.867 * [taylor]: Taking taylor expansion of x in y 11.867 * [taylor]: Taking taylor expansion of (* z y) in y 11.867 * [taylor]: Taking taylor expansion of z in y 11.867 * [taylor]: Taking taylor expansion of y in y 11.867 * [taylor]: Taking taylor expansion of (* 4.0 a) in y 11.867 * [taylor]: Taking taylor expansion of 4.0 in y 11.867 * [taylor]: Taking taylor expansion of a in y 11.867 * [taylor]: Taking taylor expansion of t in y 11.867 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in x 11.867 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x 11.867 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 11.867 * [taylor]: Taking taylor expansion of 18.0 in x 11.867 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 11.867 * [taylor]: Taking taylor expansion of x in x 11.867 * [taylor]: Taking taylor expansion of (* z y) in x 11.867 * [taylor]: Taking taylor expansion of z in x 11.867 * [taylor]: Taking taylor expansion of y in x 11.868 * [taylor]: Taking taylor expansion of (* 4.0 a) in x 11.868 * [taylor]: Taking taylor expansion of 4.0 in x 11.868 * [taylor]: Taking taylor expansion of a in x 11.868 * [taylor]: Taking taylor expansion of t in x 11.868 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t 11.868 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t 11.868 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t 11.868 * [taylor]: Taking taylor expansion of 18.0 in t 11.868 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 11.868 * [taylor]: Taking taylor expansion of x in t 11.868 * [taylor]: Taking taylor expansion of (* z y) in t 11.868 * [taylor]: Taking taylor expansion of z in t 11.868 * [taylor]: Taking taylor expansion of y in t 11.868 * [taylor]: Taking taylor expansion of (* 4.0 a) in t 11.868 * [taylor]: Taking taylor expansion of 4.0 in t 11.868 * [taylor]: Taking taylor expansion of a in t 11.868 * [taylor]: Taking taylor expansion of t in t 11.868 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t 11.868 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t 11.868 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t 11.868 * [taylor]: Taking taylor expansion of 18.0 in t 11.868 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 11.868 * [taylor]: Taking taylor expansion of x in t 11.868 * [taylor]: Taking taylor expansion of (* z y) in t 11.868 * [taylor]: Taking taylor expansion of z in t 11.868 * [taylor]: Taking taylor expansion of y in t 11.868 * [taylor]: Taking taylor expansion of (* 4.0 a) in t 11.868 * [taylor]: Taking taylor expansion of 4.0 in t 11.868 * [taylor]: Taking taylor expansion of a in t 11.868 * [taylor]: Taking taylor expansion of t in t 11.868 * [taylor]: Taking taylor expansion of 0 in x 11.868 * [taylor]: Taking taylor expansion of 0 in y 11.868 * [taylor]: Taking taylor expansion of 0 in z 11.868 * [taylor]: Taking taylor expansion of 0 in a 11.870 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x 11.870 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 11.870 * [taylor]: Taking taylor expansion of 18.0 in x 11.870 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 11.870 * [taylor]: Taking taylor expansion of x in x 11.870 * [taylor]: Taking taylor expansion of (* z y) in x 11.870 * [taylor]: Taking taylor expansion of z in x 11.870 * [taylor]: Taking taylor expansion of y in x 11.870 * [taylor]: Taking taylor expansion of (* 4.0 a) in x 11.870 * [taylor]: Taking taylor expansion of 4.0 in x 11.871 * [taylor]: Taking taylor expansion of a in x 11.871 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in y 11.871 * [taylor]: Taking taylor expansion of (* 4.0 a) in y 11.871 * [taylor]: Taking taylor expansion of 4.0 in y 11.871 * [taylor]: Taking taylor expansion of a in y 11.871 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in z 11.871 * [taylor]: Taking taylor expansion of (* 4.0 a) in z 11.871 * [taylor]: Taking taylor expansion of 4.0 in z 11.871 * [taylor]: Taking taylor expansion of a in z 11.871 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in a 11.871 * [taylor]: Taking taylor expansion of (* 4.0 a) in a 11.871 * [taylor]: Taking taylor expansion of 4.0 in a 11.871 * [taylor]: Taking taylor expansion of a in a 11.872 * [taylor]: Taking taylor expansion of 0 in y 11.872 * [taylor]: Taking taylor expansion of 0 in z 11.872 * [taylor]: Taking taylor expansion of 0 in a 11.872 * [taylor]: Taking taylor expansion of 0 in z 11.872 * [taylor]: Taking taylor expansion of 0 in a 11.872 * [taylor]: Taking taylor expansion of 0 in a 11.872 * [approximate]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in (t x y z a) around 0 11.872 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in a 11.872 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in a 11.872 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a 11.872 * [taylor]: Taking taylor expansion of 18.0 in a 11.872 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a 11.872 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 11.872 * [taylor]: Taking taylor expansion of x in a 11.873 * [taylor]: Taking taylor expansion of (* z y) in a 11.873 * [taylor]: Taking taylor expansion of z in a 11.873 * [taylor]: Taking taylor expansion of y in a 11.873 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 11.873 * [taylor]: Taking taylor expansion of 4.0 in a 11.873 * [taylor]: Taking taylor expansion of (/ 1 a) in a 11.873 * [taylor]: Taking taylor expansion of a in a 11.873 * [taylor]: Taking taylor expansion of t in a 11.874 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in z 11.874 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in z 11.874 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z 11.874 * [taylor]: Taking taylor expansion of 18.0 in z 11.874 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 11.874 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 11.874 * [taylor]: Taking taylor expansion of x in z 11.874 * [taylor]: Taking taylor expansion of (* z y) in z 11.874 * [taylor]: Taking taylor expansion of z in z 11.874 * [taylor]: Taking taylor expansion of y in z 11.875 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 11.875 * [taylor]: Taking taylor expansion of 4.0 in z 11.875 * [taylor]: Taking taylor expansion of (/ 1 a) in z 11.875 * [taylor]: Taking taylor expansion of a in z 11.875 * [taylor]: Taking taylor expansion of t in z 11.875 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in y 11.875 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in y 11.875 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y 11.875 * [taylor]: Taking taylor expansion of 18.0 in y 11.875 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 11.875 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 11.875 * [taylor]: Taking taylor expansion of x in y 11.875 * [taylor]: Taking taylor expansion of (* z y) in y 11.875 * [taylor]: Taking taylor expansion of z in y 11.875 * [taylor]: Taking taylor expansion of y in y 11.876 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 11.876 * [taylor]: Taking taylor expansion of 4.0 in y 11.876 * [taylor]: Taking taylor expansion of (/ 1 a) in y 11.876 * [taylor]: Taking taylor expansion of a in y 11.876 * [taylor]: Taking taylor expansion of t in y 11.877 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in x 11.877 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x 11.877 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 11.877 * [taylor]: Taking taylor expansion of 18.0 in x 11.877 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 11.877 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 11.877 * [taylor]: Taking taylor expansion of x in x 11.877 * [taylor]: Taking taylor expansion of (* z y) in x 11.877 * [taylor]: Taking taylor expansion of z in x 11.877 * [taylor]: Taking taylor expansion of y in x 11.877 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 11.877 * [taylor]: Taking taylor expansion of 4.0 in x 11.877 * [taylor]: Taking taylor expansion of (/ 1 a) in x 11.877 * [taylor]: Taking taylor expansion of a in x 11.877 * [taylor]: Taking taylor expansion of t in x 11.877 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t 11.877 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t 11.877 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 11.877 * [taylor]: Taking taylor expansion of 18.0 in t 11.877 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 11.877 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 11.877 * [taylor]: Taking taylor expansion of x in t 11.877 * [taylor]: Taking taylor expansion of (* z y) in t 11.877 * [taylor]: Taking taylor expansion of z in t 11.878 * [taylor]: Taking taylor expansion of y in t 11.878 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 11.878 * [taylor]: Taking taylor expansion of 4.0 in t 11.878 * [taylor]: Taking taylor expansion of (/ 1 a) in t 11.878 * [taylor]: Taking taylor expansion of a in t 11.878 * [taylor]: Taking taylor expansion of t in t 11.878 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t 11.878 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t 11.878 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 11.878 * [taylor]: Taking taylor expansion of 18.0 in t 11.878 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 11.878 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 11.878 * [taylor]: Taking taylor expansion of x in t 11.878 * [taylor]: Taking taylor expansion of (* z y) in t 11.878 * [taylor]: Taking taylor expansion of z in t 11.878 * [taylor]: Taking taylor expansion of y in t 11.878 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 11.878 * [taylor]: Taking taylor expansion of 4.0 in t 11.878 * [taylor]: Taking taylor expansion of (/ 1 a) in t 11.878 * [taylor]: Taking taylor expansion of a in t 11.878 * [taylor]: Taking taylor expansion of t in t 11.879 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x 11.879 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 11.879 * [taylor]: Taking taylor expansion of 18.0 in x 11.879 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 11.879 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 11.879 * [taylor]: Taking taylor expansion of x in x 11.879 * [taylor]: Taking taylor expansion of (* z y) in x 11.879 * [taylor]: Taking taylor expansion of z in x 11.879 * [taylor]: Taking taylor expansion of y in x 11.879 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 11.879 * [taylor]: Taking taylor expansion of 4.0 in x 11.879 * [taylor]: Taking taylor expansion of (/ 1 a) in x 11.879 * [taylor]: Taking taylor expansion of a in x 11.880 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* z y))) in y 11.880 * [taylor]: Taking taylor expansion of 18.0 in y 11.880 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 11.880 * [taylor]: Taking taylor expansion of (* z y) in y 11.880 * [taylor]: Taking taylor expansion of z in y 11.880 * [taylor]: Taking taylor expansion of y in y 11.880 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 11.880 * [taylor]: Taking taylor expansion of 18.0 in z 11.880 * [taylor]: Taking taylor expansion of z in z 11.880 * [taylor]: Taking taylor expansion of 18.0 in a 11.882 * [taylor]: Taking taylor expansion of 0 in x 11.884 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y 11.884 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 11.884 * [taylor]: Taking taylor expansion of 4.0 in y 11.884 * [taylor]: Taking taylor expansion of (/ 1 a) in y 11.884 * [taylor]: Taking taylor expansion of a in y 11.885 * [taylor]: Taking taylor expansion of 0 in z 11.885 * [taylor]: Taking taylor expansion of 0 in a 11.888 * [taylor]: Taking taylor expansion of 0 in x 11.888 * [taylor]: Taking taylor expansion of 0 in y 11.891 * [taylor]: Taking taylor expansion of 0 in y 11.892 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z 11.892 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 11.892 * [taylor]: Taking taylor expansion of 4.0 in z 11.892 * [taylor]: Taking taylor expansion of (/ 1 a) in z 11.892 * [taylor]: Taking taylor expansion of a in z 11.893 * [taylor]: Taking taylor expansion of 0 in z 11.893 * [taylor]: Taking taylor expansion of 0 in a 11.893 * [taylor]: Taking taylor expansion of 0 in a 11.898 * [taylor]: Taking taylor expansion of 0 in x 11.898 * [taylor]: Taking taylor expansion of 0 in y 11.898 * [taylor]: Taking taylor expansion of 0 in y 11.905 * [taylor]: Taking taylor expansion of 0 in y 11.905 * [taylor]: Taking taylor expansion of 0 in z 11.905 * [taylor]: Taking taylor expansion of 0 in z 11.905 * [taylor]: Taking taylor expansion of 0 in z 11.907 * [taylor]: Taking taylor expansion of 0 in z 11.907 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a 11.907 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 11.907 * [taylor]: Taking taylor expansion of 4.0 in a 11.907 * [taylor]: Taking taylor expansion of (/ 1 a) in a 11.907 * [taylor]: Taking taylor expansion of a in a 11.908 * [taylor]: Taking taylor expansion of 0 in a 11.908 * [taylor]: Taking taylor expansion of 0 in a 11.908 * [taylor]: Taking taylor expansion of 0 in a 11.915 * [taylor]: Taking taylor expansion of 0 in x 11.915 * [taylor]: Taking taylor expansion of 0 in y 11.915 * [taylor]: Taking taylor expansion of 0 in y 11.915 * [taylor]: Taking taylor expansion of 0 in y 11.920 * [taylor]: Taking taylor expansion of 0 in y 11.920 * [taylor]: Taking taylor expansion of 0 in z 11.920 * [taylor]: Taking taylor expansion of 0 in z 11.920 * [taylor]: Taking taylor expansion of 0 in z 11.920 * [taylor]: Taking taylor expansion of 0 in z 11.920 * [taylor]: Taking taylor expansion of 0 in z 11.921 * [taylor]: Taking taylor expansion of 0 in z 11.923 * [taylor]: Taking taylor expansion of 0 in z 11.923 * [taylor]: Taking taylor expansion of 0 in a 11.923 * [taylor]: Taking taylor expansion of 0 in a 11.923 * [taylor]: Taking taylor expansion of 0 in a 11.923 * [taylor]: Taking taylor expansion of 0 in a 11.924 * [taylor]: Taking taylor expansion of 0 in a 11.924 * [taylor]: Taking taylor expansion of 0 in a 11.924 * [taylor]: Taking taylor expansion of 0 in a 11.924 * [taylor]: Taking taylor expansion of 0 in a 11.927 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in (t x y z a) around 0 11.927 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in a 11.927 * [taylor]: Taking taylor expansion of -1 in a 11.927 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in a 11.927 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in a 11.927 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 11.927 * [taylor]: Taking taylor expansion of 4.0 in a 11.927 * [taylor]: Taking taylor expansion of (/ 1 a) in a 11.927 * [taylor]: Taking taylor expansion of a in a 11.927 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a 11.927 * [taylor]: Taking taylor expansion of 18.0 in a 11.927 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a 11.927 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 11.927 * [taylor]: Taking taylor expansion of x in a 11.927 * [taylor]: Taking taylor expansion of (* z y) in a 11.927 * [taylor]: Taking taylor expansion of z in a 11.927 * [taylor]: Taking taylor expansion of y in a 11.927 * [taylor]: Taking taylor expansion of t in a 11.928 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in z 11.928 * [taylor]: Taking taylor expansion of -1 in z 11.928 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in z 11.928 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in z 11.928 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 11.928 * [taylor]: Taking taylor expansion of 4.0 in z 11.928 * [taylor]: Taking taylor expansion of (/ 1 a) in z 11.928 * [taylor]: Taking taylor expansion of a in z 11.928 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z 11.928 * [taylor]: Taking taylor expansion of 18.0 in z 11.928 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 11.928 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 11.928 * [taylor]: Taking taylor expansion of x in z 11.928 * [taylor]: Taking taylor expansion of (* z y) in z 11.928 * [taylor]: Taking taylor expansion of z in z 11.928 * [taylor]: Taking taylor expansion of y in z 11.929 * [taylor]: Taking taylor expansion of t in z 11.929 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in y 11.929 * [taylor]: Taking taylor expansion of -1 in y 11.929 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in y 11.929 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in y 11.929 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 11.929 * [taylor]: Taking taylor expansion of 4.0 in y 11.929 * [taylor]: Taking taylor expansion of (/ 1 a) in y 11.929 * [taylor]: Taking taylor expansion of a in y 11.929 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y 11.929 * [taylor]: Taking taylor expansion of 18.0 in y 11.929 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 11.929 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 11.929 * [taylor]: Taking taylor expansion of x in y 11.929 * [taylor]: Taking taylor expansion of (* z y) in y 11.929 * [taylor]: Taking taylor expansion of z in y 11.929 * [taylor]: Taking taylor expansion of y in y 11.930 * [taylor]: Taking taylor expansion of t in y 11.930 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in x 11.930 * [taylor]: Taking taylor expansion of -1 in x 11.930 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in x 11.930 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x 11.930 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 11.930 * [taylor]: Taking taylor expansion of 4.0 in x 11.930 * [taylor]: Taking taylor expansion of (/ 1 a) in x 11.930 * [taylor]: Taking taylor expansion of a in x 11.930 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 11.930 * [taylor]: Taking taylor expansion of 18.0 in x 11.930 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 11.930 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 11.930 * [taylor]: Taking taylor expansion of x in x 11.930 * [taylor]: Taking taylor expansion of (* z y) in x 11.930 * [taylor]: Taking taylor expansion of z in x 11.930 * [taylor]: Taking taylor expansion of y in x 11.931 * [taylor]: Taking taylor expansion of t in x 11.931 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t 11.931 * [taylor]: Taking taylor expansion of -1 in t 11.931 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t 11.931 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t 11.931 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 11.931 * [taylor]: Taking taylor expansion of 4.0 in t 11.931 * [taylor]: Taking taylor expansion of (/ 1 a) in t 11.931 * [taylor]: Taking taylor expansion of a in t 11.932 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 11.932 * [taylor]: Taking taylor expansion of 18.0 in t 11.932 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 11.932 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 11.932 * [taylor]: Taking taylor expansion of x in t 11.932 * [taylor]: Taking taylor expansion of (* z y) in t 11.932 * [taylor]: Taking taylor expansion of z in t 11.932 * [taylor]: Taking taylor expansion of y in t 11.932 * [taylor]: Taking taylor expansion of t in t 11.932 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t 11.932 * [taylor]: Taking taylor expansion of -1 in t 11.932 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t 11.932 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t 11.932 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 11.932 * [taylor]: Taking taylor expansion of 4.0 in t 11.932 * [taylor]: Taking taylor expansion of (/ 1 a) in t 11.932 * [taylor]: Taking taylor expansion of a in t 11.932 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 11.932 * [taylor]: Taking taylor expansion of 18.0 in t 11.932 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 11.932 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 11.932 * [taylor]: Taking taylor expansion of x in t 11.932 * [taylor]: Taking taylor expansion of (* z y) in t 11.932 * [taylor]: Taking taylor expansion of z in t 11.932 * [taylor]: Taking taylor expansion of y in t 11.932 * [taylor]: Taking taylor expansion of t in t 11.933 * [taylor]: Taking taylor expansion of (* -1 (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y)))))) in x 11.933 * [taylor]: Taking taylor expansion of -1 in x 11.933 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x 11.933 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 11.933 * [taylor]: Taking taylor expansion of 4.0 in x 11.933 * [taylor]: Taking taylor expansion of (/ 1 a) in x 11.933 * [taylor]: Taking taylor expansion of a in x 11.933 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 11.933 * [taylor]: Taking taylor expansion of 18.0 in x 11.933 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 11.933 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 11.933 * [taylor]: Taking taylor expansion of x in x 11.933 * [taylor]: Taking taylor expansion of (* z y) in x 11.933 * [taylor]: Taking taylor expansion of z in x 11.933 * [taylor]: Taking taylor expansion of y in x 11.934 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y 11.934 * [taylor]: Taking taylor expansion of 18.0 in y 11.934 * [taylor]: Taking taylor expansion of (* z y) in y 11.934 * [taylor]: Taking taylor expansion of z in y 11.934 * [taylor]: Taking taylor expansion of y in y 11.934 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 11.934 * [taylor]: Taking taylor expansion of 18.0 in z 11.934 * [taylor]: Taking taylor expansion of z in z 11.935 * [taylor]: Taking taylor expansion of 18.0 in a 11.937 * [taylor]: Taking taylor expansion of 0 in x 11.939 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y 11.939 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 11.939 * [taylor]: Taking taylor expansion of 4.0 in y 11.939 * [taylor]: Taking taylor expansion of (/ 1 a) in y 11.939 * [taylor]: Taking taylor expansion of a in y 11.939 * [taylor]: Taking taylor expansion of 0 in z 11.940 * [taylor]: Taking taylor expansion of 0 in a 11.944 * [taylor]: Taking taylor expansion of 0 in x 11.944 * [taylor]: Taking taylor expansion of 0 in y 11.947 * [taylor]: Taking taylor expansion of 0 in y 11.947 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z 11.947 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 11.947 * [taylor]: Taking taylor expansion of 4.0 in z 11.947 * [taylor]: Taking taylor expansion of (/ 1 a) in z 11.947 * [taylor]: Taking taylor expansion of a in z 11.948 * [taylor]: Taking taylor expansion of 0 in z 11.948 * [taylor]: Taking taylor expansion of 0 in a 11.949 * [taylor]: Taking taylor expansion of 0 in a 11.955 * [taylor]: Taking taylor expansion of 0 in x 11.955 * [taylor]: Taking taylor expansion of 0 in y 11.955 * [taylor]: Taking taylor expansion of 0 in y 11.959 * [taylor]: Taking taylor expansion of 0 in y 11.959 * [taylor]: Taking taylor expansion of 0 in z 11.959 * [taylor]: Taking taylor expansion of 0 in z 11.960 * [taylor]: Taking taylor expansion of 0 in z 11.960 * [taylor]: Taking taylor expansion of 0 in z 11.960 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a 11.961 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 11.961 * [taylor]: Taking taylor expansion of 4.0 in a 11.961 * [taylor]: Taking taylor expansion of (/ 1 a) in a 11.961 * [taylor]: Taking taylor expansion of a in a 11.962 * [taylor]: Taking taylor expansion of 0 in a 11.962 * [taylor]: Taking taylor expansion of 0 in a 11.962 * [taylor]: Taking taylor expansion of 0 in a 11.969 * [taylor]: Taking taylor expansion of 0 in x 11.969 * [taylor]: Taking taylor expansion of 0 in y 11.969 * [taylor]: Taking taylor expansion of 0 in y 11.969 * [taylor]: Taking taylor expansion of 0 in y 11.975 * [taylor]: Taking taylor expansion of 0 in y 11.975 * [taylor]: Taking taylor expansion of 0 in z 11.975 * [taylor]: Taking taylor expansion of 0 in z 11.975 * [taylor]: Taking taylor expansion of 0 in z 11.975 * [taylor]: Taking taylor expansion of 0 in z 11.975 * [taylor]: Taking taylor expansion of 0 in z 11.977 * [taylor]: Taking taylor expansion of 0 in z 11.977 * [taylor]: Taking taylor expansion of 0 in z 11.977 * [taylor]: Taking taylor expansion of 0 in a 11.978 * [taylor]: Taking taylor expansion of 0 in a 11.978 * [taylor]: Taking taylor expansion of 0 in a 11.978 * [taylor]: Taking taylor expansion of 0 in a 11.978 * [taylor]: Taking taylor expansion of 0 in a 11.978 * [taylor]: Taking taylor expansion of 0 in a 11.978 * [taylor]: Taking taylor expansion of 0 in a 11.979 * [taylor]: Taking taylor expansion of 0 in a 11.984 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 11.984 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0 11.984 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k 11.984 * [taylor]: Taking taylor expansion of 27.0 in k 11.984 * [taylor]: Taking taylor expansion of (* k j) in k 11.984 * [taylor]: Taking taylor expansion of k in k 11.984 * [taylor]: Taking taylor expansion of j in k 11.984 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j 11.984 * [taylor]: Taking taylor expansion of 27.0 in j 11.984 * [taylor]: Taking taylor expansion of (* k j) in j 11.984 * [taylor]: Taking taylor expansion of k in j 11.984 * [taylor]: Taking taylor expansion of j in j 11.984 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j 11.984 * [taylor]: Taking taylor expansion of 27.0 in j 11.984 * [taylor]: Taking taylor expansion of (* k j) in j 11.984 * [taylor]: Taking taylor expansion of k in j 11.984 * [taylor]: Taking taylor expansion of j in j 11.985 * [taylor]: Taking taylor expansion of 0 in k 11.985 * [taylor]: Taking taylor expansion of (* 27.0 k) in k 11.985 * [taylor]: Taking taylor expansion of 27.0 in k 11.985 * [taylor]: Taking taylor expansion of k in k 11.986 * [taylor]: Taking taylor expansion of 0 in k 11.988 * [taylor]: Taking taylor expansion of 0 in k 11.990 * [taylor]: Taking taylor expansion of 0 in k 11.991 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0 11.991 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k 11.991 * [taylor]: Taking taylor expansion of 27.0 in k 11.991 * [taylor]: Taking taylor expansion of (* k j) in k 11.991 * [taylor]: Taking taylor expansion of k in k 11.991 * [taylor]: Taking taylor expansion of j in k 11.991 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 11.991 * [taylor]: Taking taylor expansion of 27.0 in j 11.991 * [taylor]: Taking taylor expansion of (* k j) in j 11.991 * [taylor]: Taking taylor expansion of k in j 11.991 * [taylor]: Taking taylor expansion of j in j 11.991 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 11.992 * [taylor]: Taking taylor expansion of 27.0 in j 11.992 * [taylor]: Taking taylor expansion of (* k j) in j 11.992 * [taylor]: Taking taylor expansion of k in j 11.992 * [taylor]: Taking taylor expansion of j in j 11.992 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k 11.992 * [taylor]: Taking taylor expansion of 27.0 in k 11.992 * [taylor]: Taking taylor expansion of k in k 11.993 * [taylor]: Taking taylor expansion of 0 in k 11.994 * [taylor]: Taking taylor expansion of 0 in k 11.995 * [taylor]: Taking taylor expansion of 0 in k 11.996 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0 11.996 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k 11.996 * [taylor]: Taking taylor expansion of 27.0 in k 11.996 * [taylor]: Taking taylor expansion of (* k j) in k 11.996 * [taylor]: Taking taylor expansion of k in k 11.996 * [taylor]: Taking taylor expansion of j in k 11.997 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 11.997 * [taylor]: Taking taylor expansion of 27.0 in j 11.997 * [taylor]: Taking taylor expansion of (* k j) in j 11.997 * [taylor]: Taking taylor expansion of k in j 11.997 * [taylor]: Taking taylor expansion of j in j 11.997 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 11.997 * [taylor]: Taking taylor expansion of 27.0 in j 11.997 * [taylor]: Taking taylor expansion of (* k j) in j 11.997 * [taylor]: Taking taylor expansion of k in j 11.997 * [taylor]: Taking taylor expansion of j in j 11.997 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k 11.997 * [taylor]: Taking taylor expansion of 27.0 in k 11.997 * [taylor]: Taking taylor expansion of k in k 11.998 * [taylor]: Taking taylor expansion of 0 in k 11.999 * [taylor]: Taking taylor expansion of 0 in k 12.001 * [taylor]: Taking taylor expansion of 0 in k 12.001 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 12.001 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0 12.001 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y 12.001 * [taylor]: Taking taylor expansion of 18.0 in y 12.001 * [taylor]: Taking taylor expansion of (* x y) in y 12.001 * [taylor]: Taking taylor expansion of x in y 12.001 * [taylor]: Taking taylor expansion of y in y 12.001 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x 12.001 * [taylor]: Taking taylor expansion of 18.0 in x 12.001 * [taylor]: Taking taylor expansion of (* x y) in x 12.001 * [taylor]: Taking taylor expansion of x in x 12.002 * [taylor]: Taking taylor expansion of y in x 12.002 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x 12.002 * [taylor]: Taking taylor expansion of 18.0 in x 12.002 * [taylor]: Taking taylor expansion of (* x y) in x 12.002 * [taylor]: Taking taylor expansion of x in x 12.002 * [taylor]: Taking taylor expansion of y in x 12.002 * [taylor]: Taking taylor expansion of 0 in y 12.003 * [taylor]: Taking taylor expansion of (* 18.0 y) in y 12.003 * [taylor]: Taking taylor expansion of 18.0 in y 12.003 * [taylor]: Taking taylor expansion of y in y 12.004 * [taylor]: Taking taylor expansion of 0 in y 12.006 * [taylor]: Taking taylor expansion of 0 in y 12.009 * [taylor]: Taking taylor expansion of 0 in y 12.009 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0 12.009 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y 12.009 * [taylor]: Taking taylor expansion of 18.0 in y 12.009 * [taylor]: Taking taylor expansion of (* x y) in y 12.009 * [taylor]: Taking taylor expansion of x in y 12.009 * [taylor]: Taking taylor expansion of y in y 12.009 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 12.009 * [taylor]: Taking taylor expansion of 18.0 in x 12.009 * [taylor]: Taking taylor expansion of (* x y) in x 12.009 * [taylor]: Taking taylor expansion of x in x 12.009 * [taylor]: Taking taylor expansion of y in x 12.010 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 12.010 * [taylor]: Taking taylor expansion of 18.0 in x 12.010 * [taylor]: Taking taylor expansion of (* x y) in x 12.010 * [taylor]: Taking taylor expansion of x in x 12.010 * [taylor]: Taking taylor expansion of y in x 12.010 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y 12.010 * [taylor]: Taking taylor expansion of 18.0 in y 12.010 * [taylor]: Taking taylor expansion of y in y 12.011 * [taylor]: Taking taylor expansion of 0 in y 12.013 * [taylor]: Taking taylor expansion of 0 in y 12.014 * [taylor]: Taking taylor expansion of 0 in y 12.015 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0 12.015 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y 12.015 * [taylor]: Taking taylor expansion of 18.0 in y 12.015 * [taylor]: Taking taylor expansion of (* x y) in y 12.015 * [taylor]: Taking taylor expansion of x in y 12.015 * [taylor]: Taking taylor expansion of y in y 12.015 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 12.015 * [taylor]: Taking taylor expansion of 18.0 in x 12.016 * [taylor]: Taking taylor expansion of (* x y) in x 12.016 * [taylor]: Taking taylor expansion of x in x 12.016 * [taylor]: Taking taylor expansion of y in x 12.016 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 12.016 * [taylor]: Taking taylor expansion of 18.0 in x 12.016 * [taylor]: Taking taylor expansion of (* x y) in x 12.016 * [taylor]: Taking taylor expansion of x in x 12.016 * [taylor]: Taking taylor expansion of y in x 12.016 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y 12.016 * [taylor]: Taking taylor expansion of 18.0 in y 12.016 * [taylor]: Taking taylor expansion of y in y 12.017 * [taylor]: Taking taylor expansion of 0 in y 12.019 * [taylor]: Taking taylor expansion of 0 in y 12.020 * [taylor]: Taking taylor expansion of 0 in y 12.021 * * * [progress]: simplifying candidates 12.023 * [simplify]: Simplifying using # : (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (+ (+ (log (* x 18.0)) (log y)) (log z)) (+ (log (* (* x 18.0) y)) (log z)) (log (* (* (* x 18.0) y) z)) (exp (* (* (* x 18.0) y) z)) (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z)) (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (sqrt (* (* (* x 18.0) y) z)) (sqrt (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (* x 18.0) y) (sqrt z)) (* (* (* x 18.0) y) 1) (* y z) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (+ (log t) (log (- (* (* (* x 18.0) y) z) (* a 4.0)))) (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (exp (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (* (* t t) t) (* (* (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* (* (* x 18.0) y) z) (* a 4.0))) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (* (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* t (* (* (* x 18.0) y) z)) (* t (- (* a 4.0))) (* t (* (* (* x 18.0) y) z)) (* t (- (* a 4.0))) (* (* (* (* x 18.0) y) z) t) (* (- (* a 4.0)) t) (* (* (* (* x 18.0) y) z) t) (* (- (* a 4.0)) t) (* t (* (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))) (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))))) (* t (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* t 1) (* (cbrt t) (- (* (* (* x 18.0) y) z) (* a 4.0))) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (* t (- (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* a 4.0) (* a 4.0)))) (* j (* 27.0 k)) (* j (* 27.0 k)) (+ (log j) (+ (log 27.0) (log k))) (+ (log j) (log (* 27.0 k))) (log (* j (* 27.0 k))) (exp (* j (* 27.0 k))) (* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k))) (* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k))) (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))) (* (* (* j (* 27.0 k)) (* j (* 27.0 k))) (* j (* 27.0 k))) (sqrt (* j (* 27.0 k))) (sqrt (* j (* 27.0 k))) (* j 27.0) (* (cbrt j) (* 27.0 k)) (* (sqrt j) (* 27.0 k)) (* j (* 27.0 k)) (* (* x 18.0) y) (* (* x 18.0) y) (+ (+ (log x) (log 18.0)) (log y)) (+ (log (* x 18.0)) (log y)) (log (* (* x 18.0) y)) (exp (* (* x 18.0) y)) (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y)) (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (sqrt (* (* x 18.0) y)) (sqrt (* (* x 18.0) y)) (* (* x 18.0) (* (cbrt y) (cbrt y))) (* (* x 18.0) (sqrt y)) (* (* x 18.0) 1) (* 18.0 y) 0 (* 18.0 (* x (* z y))) (* 18.0 (* x (* z y))) 0 (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t))) (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t))) (* 27.0 (* k j)) (* 27.0 (* k j)) (* 27.0 (* k j)) (* 18.0 (* x y)) (* 18.0 (* x y)) (* 18.0 (* x y)) 12.026 * * [simplify]: iteration 0 : 156 enodes (cost 1012 ) 12.061 * * [simplify]: iteration 1 : 395 enodes (cost 979 ) 12.242 * * [simplify]: iteration 2 : 1620 enodes (cost 821 ) 13.123 * * [simplify]: iteration done : 5000 enodes (cost 821 ) 13.124 * [simplify]: Simplified to: (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) (log (* 18.0 (* x (* z y)))) (log (* 18.0 (* x (* z y)))) (log (* 18.0 (* x (* z y)))) (log (* 18.0 (* x (* z y)))) (exp (* (* (* x 18.0) y) z)) (pow (* (* (* x 18.0) y) z) 3) (pow (* (* (* x 18.0) y) z) 3) (pow (* (* (* x 18.0) y) z) 3) (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z)) (pow (* (* (* x 18.0) y) z) 3) (sqrt (* (* (* x 18.0) y) z)) (sqrt (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (* x 18.0) y) (sqrt z)) (* (* x 18.0) y) (* y z) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (exp (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3) (* (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3) (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0))) (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0))) (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0))) (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0))) (* t (* (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))) (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))))) (* t (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) t (* (cbrt t) (- (* (* (* x 18.0) y) z) (* a 4.0))) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (* t (- (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* a 4.0) (* a 4.0)))) (* j (* 27.0 k)) (* j (* 27.0 k)) (log (* j (* 27.0 k))) (log (* j (* 27.0 k))) (log (* j (* 27.0 k))) (exp (* j (* 27.0 k))) (pow (* j (* 27.0 k)) 3) (pow (* j (* 27.0 k)) 3) (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))) (pow (* j (* 27.0 k)) 3) (sqrt (* j (* 27.0 k))) (sqrt (* j (* 27.0 k))) (* j 27.0) (* (cbrt j) (* 27.0 k)) (* (sqrt j) (* 27.0 k)) (* j (* 27.0 k)) (* (* x 18.0) y) (* (* x 18.0) y) (log (* (* x 18.0) y)) (log (* (* x 18.0) y)) (log (* (* x 18.0) y)) (exp (* (* x 18.0) y)) (pow (* (* x 18.0) y) 3) (pow (* (* x 18.0) y) 3) (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y)) (pow (* (* x 18.0) y) 3) (sqrt (* (* x 18.0) y)) (sqrt (* (* x 18.0) y)) (* (* x 18.0) (* (cbrt y) (cbrt y))) (* (* x 18.0) (sqrt y)) (* x 18.0) (* y 18.0) 0 (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) 0 (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* j (* 27.0 k)) (* j (* 27.0 k)) (* j (* 27.0 k)) (* (* x 18.0) y) (* (* x 18.0) y) (* (* x 18.0) y) 13.124 * * * [progress]: adding candidates to table 13.418 * * [progress]: iteration 3 / 4 13.418 * * * [progress]: picking best candidate 13.455 * * * * [pick]: Picked # 13.456 * * * [progress]: localizing error 13.488 * * * [progress]: generating rewritten candidates 13.488 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 2) 13.506 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2) 13.524 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1) 13.542 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 2 1) 13.579 * * * [progress]: generating series expansions 13.579 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 2) 13.579 * [approximate]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in (x y z) around 0 13.579 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in z 13.579 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in z 13.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in z 13.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in z 13.579 * [taylor]: Taking taylor expansion of 1/3 in z 13.579 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in z 13.579 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.580 * [taylor]: Taking taylor expansion of x in z 13.580 * [taylor]: Taking taylor expansion of (* z y) in z 13.580 * [taylor]: Taking taylor expansion of z in z 13.580 * [taylor]: Taking taylor expansion of y in z 13.582 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 13.582 * [taylor]: Taking taylor expansion of 18.0 in z 13.583 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in y 13.583 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in y 13.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in y 13.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in y 13.583 * [taylor]: Taking taylor expansion of 1/3 in y 13.583 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in y 13.583 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.583 * [taylor]: Taking taylor expansion of x in y 13.583 * [taylor]: Taking taylor expansion of (* z y) in y 13.583 * [taylor]: Taking taylor expansion of z in y 13.583 * [taylor]: Taking taylor expansion of y in y 13.585 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 13.585 * [taylor]: Taking taylor expansion of 18.0 in y 13.586 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in x 13.586 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 13.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 13.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 13.586 * [taylor]: Taking taylor expansion of 1/3 in x 13.586 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 13.586 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.586 * [taylor]: Taking taylor expansion of x in x 13.586 * [taylor]: Taking taylor expansion of (* z y) in x 13.586 * [taylor]: Taking taylor expansion of z in x 13.586 * [taylor]: Taking taylor expansion of y in x 13.588 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 13.588 * [taylor]: Taking taylor expansion of 18.0 in x 13.589 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in x 13.589 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 13.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 13.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 13.589 * [taylor]: Taking taylor expansion of 1/3 in x 13.589 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 13.589 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.589 * [taylor]: Taking taylor expansion of x in x 13.589 * [taylor]: Taking taylor expansion of (* z y) in x 13.589 * [taylor]: Taking taylor expansion of z in x 13.589 * [taylor]: Taking taylor expansion of y in x 13.591 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 13.591 * [taylor]: Taking taylor expansion of 18.0 in x 13.592 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log x) (log (* z y))))) (cbrt 18.0)) in y 13.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (* z y))))) in y 13.592 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (* z y)))) in y 13.592 * [taylor]: Taking taylor expansion of 1/3 in y 13.592 * [taylor]: Taking taylor expansion of (+ (log x) (log (* z y))) in y 13.592 * [taylor]: Taking taylor expansion of (log x) in y 13.593 * [taylor]: Taking taylor expansion of x in y 13.593 * [taylor]: Taking taylor expansion of (log (* z y)) in y 13.593 * [taylor]: Taking taylor expansion of (* z y) in y 13.593 * [taylor]: Taking taylor expansion of z in y 13.593 * [taylor]: Taking taylor expansion of y in y 13.594 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 13.594 * [taylor]: Taking taylor expansion of 18.0 in y 13.596 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) (cbrt 18.0)) in z 13.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) in z 13.596 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (+ (log x) (log y)))) in z 13.596 * [taylor]: Taking taylor expansion of 1/3 in z 13.596 * [taylor]: Taking taylor expansion of (+ (log z) (+ (log x) (log y))) in z 13.596 * [taylor]: Taking taylor expansion of (log z) in z 13.596 * [taylor]: Taking taylor expansion of z in z 13.597 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 13.597 * [taylor]: Taking taylor expansion of (log x) in z 13.597 * [taylor]: Taking taylor expansion of x in z 13.597 * [taylor]: Taking taylor expansion of (log y) in z 13.597 * [taylor]: Taking taylor expansion of y in z 13.598 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 13.598 * [taylor]: Taking taylor expansion of 18.0 in z 13.605 * [taylor]: Taking taylor expansion of 0 in y 13.605 * [taylor]: Taking taylor expansion of 0 in z 13.608 * [taylor]: Taking taylor expansion of 0 in z 13.617 * [taylor]: Taking taylor expansion of 0 in y 13.618 * [taylor]: Taking taylor expansion of 0 in z 13.618 * [taylor]: Taking taylor expansion of 0 in z 13.623 * [taylor]: Taking taylor expansion of 0 in z 13.623 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in (x y z) around 0 13.623 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in z 13.623 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 13.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 13.624 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 13.624 * [taylor]: Taking taylor expansion of 1/3 in z 13.624 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 13.624 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 13.624 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.624 * [taylor]: Taking taylor expansion of x in z 13.624 * [taylor]: Taking taylor expansion of (* z y) in z 13.624 * [taylor]: Taking taylor expansion of z in z 13.624 * [taylor]: Taking taylor expansion of y in z 13.625 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 13.625 * [taylor]: Taking taylor expansion of 18.0 in z 13.625 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in y 13.626 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 13.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 13.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 13.626 * [taylor]: Taking taylor expansion of 1/3 in y 13.626 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 13.626 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 13.626 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.626 * [taylor]: Taking taylor expansion of x in y 13.626 * [taylor]: Taking taylor expansion of (* z y) in y 13.626 * [taylor]: Taking taylor expansion of z in y 13.626 * [taylor]: Taking taylor expansion of y in y 13.627 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 13.627 * [taylor]: Taking taylor expansion of 18.0 in y 13.628 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in x 13.628 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 13.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 13.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 13.628 * [taylor]: Taking taylor expansion of 1/3 in x 13.628 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 13.628 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.628 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.628 * [taylor]: Taking taylor expansion of x in x 13.628 * [taylor]: Taking taylor expansion of (* z y) in x 13.628 * [taylor]: Taking taylor expansion of z in x 13.628 * [taylor]: Taking taylor expansion of y in x 13.629 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 13.629 * [taylor]: Taking taylor expansion of 18.0 in x 13.629 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in x 13.629 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 13.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 13.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 13.629 * [taylor]: Taking taylor expansion of 1/3 in x 13.630 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 13.630 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.630 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.630 * [taylor]: Taking taylor expansion of x in x 13.630 * [taylor]: Taking taylor expansion of (* z y) in x 13.630 * [taylor]: Taking taylor expansion of z in x 13.630 * [taylor]: Taking taylor expansion of y in x 13.631 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 13.631 * [taylor]: Taking taylor expansion of 18.0 in x 13.632 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) (cbrt 18.0)) in y 13.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 13.632 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 13.632 * [taylor]: Taking taylor expansion of 1/3 in y 13.632 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 13.632 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 13.632 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 13.632 * [taylor]: Taking taylor expansion of (* z y) in y 13.632 * [taylor]: Taking taylor expansion of z in y 13.632 * [taylor]: Taking taylor expansion of y in y 13.633 * [taylor]: Taking taylor expansion of (log x) in y 13.633 * [taylor]: Taking taylor expansion of x in y 13.633 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 13.633 * [taylor]: Taking taylor expansion of 18.0 in y 13.634 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) (cbrt 18.0)) in z 13.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 13.635 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 13.635 * [taylor]: Taking taylor expansion of 1/3 in z 13.635 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 13.635 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.635 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.635 * [taylor]: Taking taylor expansion of z in z 13.635 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 13.635 * [taylor]: Taking taylor expansion of (log x) in z 13.635 * [taylor]: Taking taylor expansion of x in z 13.635 * [taylor]: Taking taylor expansion of (log y) in z 13.635 * [taylor]: Taking taylor expansion of y in z 13.636 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 13.636 * [taylor]: Taking taylor expansion of 18.0 in z 13.640 * [taylor]: Taking taylor expansion of 0 in y 13.640 * [taylor]: Taking taylor expansion of 0 in z 13.644 * [taylor]: Taking taylor expansion of 0 in z 13.654 * [taylor]: Taking taylor expansion of 0 in y 13.654 * [taylor]: Taking taylor expansion of 0 in z 13.654 * [taylor]: Taking taylor expansion of 0 in z 13.659 * [taylor]: Taking taylor expansion of 0 in z 13.660 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in (x y z) around 0 13.660 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in z 13.660 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 13.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 13.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 13.660 * [taylor]: Taking taylor expansion of 1/3 in z 13.660 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 13.660 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 13.660 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.660 * [taylor]: Taking taylor expansion of x in z 13.660 * [taylor]: Taking taylor expansion of (* z y) in z 13.660 * [taylor]: Taking taylor expansion of z in z 13.660 * [taylor]: Taking taylor expansion of y in z 13.661 * [taylor]: Taking taylor expansion of (cbrt -18.0) in z 13.661 * [taylor]: Taking taylor expansion of -18.0 in z 13.662 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in y 13.662 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 13.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 13.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 13.662 * [taylor]: Taking taylor expansion of 1/3 in y 13.662 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 13.662 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 13.662 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.662 * [taylor]: Taking taylor expansion of x in y 13.662 * [taylor]: Taking taylor expansion of (* z y) in y 13.662 * [taylor]: Taking taylor expansion of z in y 13.662 * [taylor]: Taking taylor expansion of y in y 13.667 * [taylor]: Taking taylor expansion of (cbrt -18.0) in y 13.667 * [taylor]: Taking taylor expansion of -18.0 in y 13.668 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in x 13.668 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 13.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 13.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 13.668 * [taylor]: Taking taylor expansion of 1/3 in x 13.668 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 13.668 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.668 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.668 * [taylor]: Taking taylor expansion of x in x 13.668 * [taylor]: Taking taylor expansion of (* z y) in x 13.668 * [taylor]: Taking taylor expansion of z in x 13.668 * [taylor]: Taking taylor expansion of y in x 13.669 * [taylor]: Taking taylor expansion of (cbrt -18.0) in x 13.669 * [taylor]: Taking taylor expansion of -18.0 in x 13.670 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in x 13.670 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 13.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 13.670 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 13.670 * [taylor]: Taking taylor expansion of 1/3 in x 13.670 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 13.670 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.670 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.670 * [taylor]: Taking taylor expansion of x in x 13.670 * [taylor]: Taking taylor expansion of (* z y) in x 13.670 * [taylor]: Taking taylor expansion of z in x 13.670 * [taylor]: Taking taylor expansion of y in x 13.671 * [taylor]: Taking taylor expansion of (cbrt -18.0) in x 13.671 * [taylor]: Taking taylor expansion of -18.0 in x 13.673 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) (cbrt -18.0)) in y 13.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 13.673 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 13.673 * [taylor]: Taking taylor expansion of 1/3 in y 13.673 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 13.673 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 13.673 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 13.673 * [taylor]: Taking taylor expansion of (* z y) in y 13.673 * [taylor]: Taking taylor expansion of z in y 13.673 * [taylor]: Taking taylor expansion of y in y 13.673 * [taylor]: Taking taylor expansion of (log x) in y 13.673 * [taylor]: Taking taylor expansion of x in y 13.674 * [taylor]: Taking taylor expansion of (cbrt -18.0) in y 13.674 * [taylor]: Taking taylor expansion of -18.0 in y 13.675 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) (cbrt -18.0)) in z 13.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 13.675 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 13.675 * [taylor]: Taking taylor expansion of 1/3 in z 13.675 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 13.675 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.675 * [taylor]: Taking taylor expansion of z in z 13.676 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 13.676 * [taylor]: Taking taylor expansion of (log x) in z 13.676 * [taylor]: Taking taylor expansion of x in z 13.676 * [taylor]: Taking taylor expansion of (log y) in z 13.676 * [taylor]: Taking taylor expansion of y in z 13.676 * [taylor]: Taking taylor expansion of (cbrt -18.0) in z 13.676 * [taylor]: Taking taylor expansion of -18.0 in z 13.681 * [taylor]: Taking taylor expansion of 0 in y 13.681 * [taylor]: Taking taylor expansion of 0 in z 13.684 * [taylor]: Taking taylor expansion of 0 in z 13.694 * [taylor]: Taking taylor expansion of 0 in y 13.694 * [taylor]: Taking taylor expansion of 0 in z 13.694 * [taylor]: Taking taylor expansion of 0 in z 13.700 * [taylor]: Taking taylor expansion of 0 in z 13.701 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2) 13.701 * [approximate]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in (x y z) around 0 13.701 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in z 13.701 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in z 13.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in z 13.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in z 13.701 * [taylor]: Taking taylor expansion of 1/3 in z 13.701 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in z 13.701 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.701 * [taylor]: Taking taylor expansion of x in z 13.701 * [taylor]: Taking taylor expansion of (* z y) in z 13.701 * [taylor]: Taking taylor expansion of z in z 13.701 * [taylor]: Taking taylor expansion of y in z 13.702 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 13.702 * [taylor]: Taking taylor expansion of 18.0 in z 13.703 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in y 13.703 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in y 13.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in y 13.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in y 13.703 * [taylor]: Taking taylor expansion of 1/3 in y 13.703 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in y 13.703 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.703 * [taylor]: Taking taylor expansion of x in y 13.703 * [taylor]: Taking taylor expansion of (* z y) in y 13.703 * [taylor]: Taking taylor expansion of z in y 13.703 * [taylor]: Taking taylor expansion of y in y 13.704 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 13.704 * [taylor]: Taking taylor expansion of 18.0 in y 13.705 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in x 13.705 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 13.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 13.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 13.705 * [taylor]: Taking taylor expansion of 1/3 in x 13.705 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 13.705 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.705 * [taylor]: Taking taylor expansion of x in x 13.705 * [taylor]: Taking taylor expansion of (* z y) in x 13.705 * [taylor]: Taking taylor expansion of z in x 13.705 * [taylor]: Taking taylor expansion of y in x 13.706 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 13.706 * [taylor]: Taking taylor expansion of 18.0 in x 13.707 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in x 13.707 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 13.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 13.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 13.707 * [taylor]: Taking taylor expansion of 1/3 in x 13.707 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 13.707 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.707 * [taylor]: Taking taylor expansion of x in x 13.707 * [taylor]: Taking taylor expansion of (* z y) in x 13.707 * [taylor]: Taking taylor expansion of z in x 13.707 * [taylor]: Taking taylor expansion of y in x 13.708 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 13.708 * [taylor]: Taking taylor expansion of 18.0 in x 13.709 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log x) (log (* z y))))) (cbrt 18.0)) in y 13.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (* z y))))) in y 13.709 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (* z y)))) in y 13.709 * [taylor]: Taking taylor expansion of 1/3 in y 13.709 * [taylor]: Taking taylor expansion of (+ (log x) (log (* z y))) in y 13.709 * [taylor]: Taking taylor expansion of (log x) in y 13.709 * [taylor]: Taking taylor expansion of x in y 13.709 * [taylor]: Taking taylor expansion of (log (* z y)) in y 13.709 * [taylor]: Taking taylor expansion of (* z y) in y 13.709 * [taylor]: Taking taylor expansion of z in y 13.709 * [taylor]: Taking taylor expansion of y in y 13.710 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 13.710 * [taylor]: Taking taylor expansion of 18.0 in y 13.711 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) (cbrt 18.0)) in z 13.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) in z 13.711 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (+ (log x) (log y)))) in z 13.711 * [taylor]: Taking taylor expansion of 1/3 in z 13.711 * [taylor]: Taking taylor expansion of (+ (log z) (+ (log x) (log y))) in z 13.711 * [taylor]: Taking taylor expansion of (log z) in z 13.711 * [taylor]: Taking taylor expansion of z in z 13.711 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 13.711 * [taylor]: Taking taylor expansion of (log x) in z 13.711 * [taylor]: Taking taylor expansion of x in z 13.712 * [taylor]: Taking taylor expansion of (log y) in z 13.712 * [taylor]: Taking taylor expansion of y in z 13.712 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 13.712 * [taylor]: Taking taylor expansion of 18.0 in z 13.717 * [taylor]: Taking taylor expansion of 0 in y 13.717 * [taylor]: Taking taylor expansion of 0 in z 13.720 * [taylor]: Taking taylor expansion of 0 in z 13.729 * [taylor]: Taking taylor expansion of 0 in y 13.729 * [taylor]: Taking taylor expansion of 0 in z 13.729 * [taylor]: Taking taylor expansion of 0 in z 13.735 * [taylor]: Taking taylor expansion of 0 in z 13.735 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in (x y z) around 0 13.735 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in z 13.736 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 13.736 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 13.736 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 13.736 * [taylor]: Taking taylor expansion of 1/3 in z 13.736 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 13.736 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 13.736 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.736 * [taylor]: Taking taylor expansion of x in z 13.736 * [taylor]: Taking taylor expansion of (* z y) in z 13.736 * [taylor]: Taking taylor expansion of z in z 13.736 * [taylor]: Taking taylor expansion of y in z 13.737 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 13.737 * [taylor]: Taking taylor expansion of 18.0 in z 13.738 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in y 13.738 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 13.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 13.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 13.738 * [taylor]: Taking taylor expansion of 1/3 in y 13.738 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 13.738 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 13.738 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.738 * [taylor]: Taking taylor expansion of x in y 13.738 * [taylor]: Taking taylor expansion of (* z y) in y 13.738 * [taylor]: Taking taylor expansion of z in y 13.738 * [taylor]: Taking taylor expansion of y in y 13.739 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 13.739 * [taylor]: Taking taylor expansion of 18.0 in y 13.740 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in x 13.740 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 13.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 13.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 13.740 * [taylor]: Taking taylor expansion of 1/3 in x 13.740 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 13.740 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.740 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.740 * [taylor]: Taking taylor expansion of x in x 13.740 * [taylor]: Taking taylor expansion of (* z y) in x 13.740 * [taylor]: Taking taylor expansion of z in x 13.740 * [taylor]: Taking taylor expansion of y in x 13.741 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 13.741 * [taylor]: Taking taylor expansion of 18.0 in x 13.741 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in x 13.741 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 13.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 13.742 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 13.742 * [taylor]: Taking taylor expansion of 1/3 in x 13.742 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 13.742 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.742 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.742 * [taylor]: Taking taylor expansion of x in x 13.742 * [taylor]: Taking taylor expansion of (* z y) in x 13.742 * [taylor]: Taking taylor expansion of z in x 13.742 * [taylor]: Taking taylor expansion of y in x 13.743 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 13.743 * [taylor]: Taking taylor expansion of 18.0 in x 13.744 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) (cbrt 18.0)) in y 13.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 13.744 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 13.744 * [taylor]: Taking taylor expansion of 1/3 in y 13.744 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 13.744 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 13.744 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 13.744 * [taylor]: Taking taylor expansion of (* z y) in y 13.744 * [taylor]: Taking taylor expansion of z in y 13.744 * [taylor]: Taking taylor expansion of y in y 13.744 * [taylor]: Taking taylor expansion of (log x) in y 13.744 * [taylor]: Taking taylor expansion of x in y 13.745 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 13.745 * [taylor]: Taking taylor expansion of 18.0 in y 13.746 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) (cbrt 18.0)) in z 13.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 13.746 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 13.746 * [taylor]: Taking taylor expansion of 1/3 in z 13.746 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 13.746 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.746 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.746 * [taylor]: Taking taylor expansion of z in z 13.747 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 13.747 * [taylor]: Taking taylor expansion of (log x) in z 13.747 * [taylor]: Taking taylor expansion of x in z 13.747 * [taylor]: Taking taylor expansion of (log y) in z 13.747 * [taylor]: Taking taylor expansion of y in z 13.748 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 13.748 * [taylor]: Taking taylor expansion of 18.0 in z 13.756 * [taylor]: Taking taylor expansion of 0 in y 13.756 * [taylor]: Taking taylor expansion of 0 in z 13.759 * [taylor]: Taking taylor expansion of 0 in z 13.769 * [taylor]: Taking taylor expansion of 0 in y 13.769 * [taylor]: Taking taylor expansion of 0 in z 13.769 * [taylor]: Taking taylor expansion of 0 in z 13.775 * [taylor]: Taking taylor expansion of 0 in z 13.776 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in (x y z) around 0 13.776 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in z 13.776 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 13.776 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 13.776 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 13.776 * [taylor]: Taking taylor expansion of 1/3 in z 13.776 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 13.776 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 13.776 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.776 * [taylor]: Taking taylor expansion of x in z 13.776 * [taylor]: Taking taylor expansion of (* z y) in z 13.776 * [taylor]: Taking taylor expansion of z in z 13.776 * [taylor]: Taking taylor expansion of y in z 13.778 * [taylor]: Taking taylor expansion of (cbrt -18.0) in z 13.778 * [taylor]: Taking taylor expansion of -18.0 in z 13.778 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in y 13.778 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 13.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 13.778 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 13.778 * [taylor]: Taking taylor expansion of 1/3 in y 13.778 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 13.778 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 13.778 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.778 * [taylor]: Taking taylor expansion of x in y 13.778 * [taylor]: Taking taylor expansion of (* z y) in y 13.778 * [taylor]: Taking taylor expansion of z in y 13.778 * [taylor]: Taking taylor expansion of y in y 13.780 * [taylor]: Taking taylor expansion of (cbrt -18.0) in y 13.780 * [taylor]: Taking taylor expansion of -18.0 in y 13.780 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in x 13.780 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 13.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 13.780 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 13.780 * [taylor]: Taking taylor expansion of 1/3 in x 13.780 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 13.781 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.781 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.781 * [taylor]: Taking taylor expansion of x in x 13.781 * [taylor]: Taking taylor expansion of (* z y) in x 13.781 * [taylor]: Taking taylor expansion of z in x 13.781 * [taylor]: Taking taylor expansion of y in x 13.782 * [taylor]: Taking taylor expansion of (cbrt -18.0) in x 13.782 * [taylor]: Taking taylor expansion of -18.0 in x 13.782 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in x 13.782 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 13.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 13.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 13.782 * [taylor]: Taking taylor expansion of 1/3 in x 13.782 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 13.782 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.782 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.782 * [taylor]: Taking taylor expansion of x in x 13.782 * [taylor]: Taking taylor expansion of (* z y) in x 13.782 * [taylor]: Taking taylor expansion of z in x 13.783 * [taylor]: Taking taylor expansion of y in x 13.783 * [taylor]: Taking taylor expansion of (cbrt -18.0) in x 13.783 * [taylor]: Taking taylor expansion of -18.0 in x 13.785 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) (cbrt -18.0)) in y 13.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 13.785 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 13.785 * [taylor]: Taking taylor expansion of 1/3 in y 13.785 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 13.785 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 13.785 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 13.785 * [taylor]: Taking taylor expansion of (* z y) in y 13.785 * [taylor]: Taking taylor expansion of z in y 13.785 * [taylor]: Taking taylor expansion of y in y 13.785 * [taylor]: Taking taylor expansion of (log x) in y 13.785 * [taylor]: Taking taylor expansion of x in y 13.786 * [taylor]: Taking taylor expansion of (cbrt -18.0) in y 13.786 * [taylor]: Taking taylor expansion of -18.0 in y 13.787 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) (cbrt -18.0)) in z 13.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 13.787 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 13.787 * [taylor]: Taking taylor expansion of 1/3 in z 13.787 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 13.787 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.787 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.787 * [taylor]: Taking taylor expansion of z in z 13.788 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 13.788 * [taylor]: Taking taylor expansion of (log x) in z 13.788 * [taylor]: Taking taylor expansion of x in z 13.788 * [taylor]: Taking taylor expansion of (log y) in z 13.788 * [taylor]: Taking taylor expansion of y in z 13.788 * [taylor]: Taking taylor expansion of (cbrt -18.0) in z 13.788 * [taylor]: Taking taylor expansion of -18.0 in z 13.793 * [taylor]: Taking taylor expansion of 0 in y 13.793 * [taylor]: Taking taylor expansion of 0 in z 13.796 * [taylor]: Taking taylor expansion of 0 in z 13.806 * [taylor]: Taking taylor expansion of 0 in y 13.806 * [taylor]: Taking taylor expansion of 0 in z 13.806 * [taylor]: Taking taylor expansion of 0 in z 13.812 * [taylor]: Taking taylor expansion of 0 in z 13.813 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1) 13.813 * [approximate]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in (x y z) around 0 13.813 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in z 13.813 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in z 13.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in z 13.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in z 13.813 * [taylor]: Taking taylor expansion of 1/3 in z 13.813 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in z 13.813 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.813 * [taylor]: Taking taylor expansion of x in z 13.813 * [taylor]: Taking taylor expansion of (* z y) in z 13.813 * [taylor]: Taking taylor expansion of z in z 13.813 * [taylor]: Taking taylor expansion of y in z 13.814 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 13.814 * [taylor]: Taking taylor expansion of 18.0 in z 13.815 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in y 13.815 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in y 13.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in y 13.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in y 13.815 * [taylor]: Taking taylor expansion of 1/3 in y 13.815 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in y 13.815 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.815 * [taylor]: Taking taylor expansion of x in y 13.815 * [taylor]: Taking taylor expansion of (* z y) in y 13.815 * [taylor]: Taking taylor expansion of z in y 13.815 * [taylor]: Taking taylor expansion of y in y 13.816 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 13.816 * [taylor]: Taking taylor expansion of 18.0 in y 13.817 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in x 13.817 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 13.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 13.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 13.817 * [taylor]: Taking taylor expansion of 1/3 in x 13.817 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 13.817 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.817 * [taylor]: Taking taylor expansion of x in x 13.817 * [taylor]: Taking taylor expansion of (* z y) in x 13.817 * [taylor]: Taking taylor expansion of z in x 13.817 * [taylor]: Taking taylor expansion of y in x 13.818 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 13.818 * [taylor]: Taking taylor expansion of 18.0 in x 13.819 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in x 13.819 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 13.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 13.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 13.819 * [taylor]: Taking taylor expansion of 1/3 in x 13.819 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 13.819 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.819 * [taylor]: Taking taylor expansion of x in x 13.819 * [taylor]: Taking taylor expansion of (* z y) in x 13.819 * [taylor]: Taking taylor expansion of z in x 13.819 * [taylor]: Taking taylor expansion of y in x 13.820 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 13.820 * [taylor]: Taking taylor expansion of 18.0 in x 13.821 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log x) (log (* z y))))) (cbrt 18.0)) in y 13.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (* z y))))) in y 13.821 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (* z y)))) in y 13.821 * [taylor]: Taking taylor expansion of 1/3 in y 13.821 * [taylor]: Taking taylor expansion of (+ (log x) (log (* z y))) in y 13.821 * [taylor]: Taking taylor expansion of (log x) in y 13.821 * [taylor]: Taking taylor expansion of x in y 13.821 * [taylor]: Taking taylor expansion of (log (* z y)) in y 13.821 * [taylor]: Taking taylor expansion of (* z y) in y 13.821 * [taylor]: Taking taylor expansion of z in y 13.821 * [taylor]: Taking taylor expansion of y in y 13.822 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 13.822 * [taylor]: Taking taylor expansion of 18.0 in y 13.823 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) (cbrt 18.0)) in z 13.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) in z 13.823 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (+ (log x) (log y)))) in z 13.823 * [taylor]: Taking taylor expansion of 1/3 in z 13.823 * [taylor]: Taking taylor expansion of (+ (log z) (+ (log x) (log y))) in z 13.823 * [taylor]: Taking taylor expansion of (log z) in z 13.823 * [taylor]: Taking taylor expansion of z in z 13.824 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 13.824 * [taylor]: Taking taylor expansion of (log x) in z 13.824 * [taylor]: Taking taylor expansion of x in z 13.824 * [taylor]: Taking taylor expansion of (log y) in z 13.824 * [taylor]: Taking taylor expansion of y in z 13.824 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 13.824 * [taylor]: Taking taylor expansion of 18.0 in z 13.829 * [taylor]: Taking taylor expansion of 0 in y 13.829 * [taylor]: Taking taylor expansion of 0 in z 13.832 * [taylor]: Taking taylor expansion of 0 in z 13.845 * [taylor]: Taking taylor expansion of 0 in y 13.846 * [taylor]: Taking taylor expansion of 0 in z 13.846 * [taylor]: Taking taylor expansion of 0 in z 13.851 * [taylor]: Taking taylor expansion of 0 in z 13.852 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in (x y z) around 0 13.852 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in z 13.852 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 13.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 13.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 13.852 * [taylor]: Taking taylor expansion of 1/3 in z 13.852 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 13.852 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 13.852 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.852 * [taylor]: Taking taylor expansion of x in z 13.852 * [taylor]: Taking taylor expansion of (* z y) in z 13.852 * [taylor]: Taking taylor expansion of z in z 13.852 * [taylor]: Taking taylor expansion of y in z 13.853 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 13.853 * [taylor]: Taking taylor expansion of 18.0 in z 13.854 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in y 13.854 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 13.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 13.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 13.854 * [taylor]: Taking taylor expansion of 1/3 in y 13.854 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 13.854 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 13.854 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.854 * [taylor]: Taking taylor expansion of x in y 13.854 * [taylor]: Taking taylor expansion of (* z y) in y 13.854 * [taylor]: Taking taylor expansion of z in y 13.854 * [taylor]: Taking taylor expansion of y in y 13.855 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 13.855 * [taylor]: Taking taylor expansion of 18.0 in y 13.856 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in x 13.856 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 13.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 13.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 13.856 * [taylor]: Taking taylor expansion of 1/3 in x 13.856 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 13.856 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.856 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.856 * [taylor]: Taking taylor expansion of x in x 13.856 * [taylor]: Taking taylor expansion of (* z y) in x 13.856 * [taylor]: Taking taylor expansion of z in x 13.856 * [taylor]: Taking taylor expansion of y in x 13.857 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 13.857 * [taylor]: Taking taylor expansion of 18.0 in x 13.858 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in x 13.858 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 13.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 13.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 13.858 * [taylor]: Taking taylor expansion of 1/3 in x 13.858 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 13.858 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.858 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.858 * [taylor]: Taking taylor expansion of x in x 13.858 * [taylor]: Taking taylor expansion of (* z y) in x 13.858 * [taylor]: Taking taylor expansion of z in x 13.858 * [taylor]: Taking taylor expansion of y in x 13.859 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 13.859 * [taylor]: Taking taylor expansion of 18.0 in x 13.860 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) (cbrt 18.0)) in y 13.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 13.860 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 13.860 * [taylor]: Taking taylor expansion of 1/3 in y 13.860 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 13.860 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 13.860 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 13.860 * [taylor]: Taking taylor expansion of (* z y) in y 13.860 * [taylor]: Taking taylor expansion of z in y 13.860 * [taylor]: Taking taylor expansion of y in y 13.861 * [taylor]: Taking taylor expansion of (log x) in y 13.861 * [taylor]: Taking taylor expansion of x in y 13.861 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 13.861 * [taylor]: Taking taylor expansion of 18.0 in y 13.862 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) (cbrt 18.0)) in z 13.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 13.862 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 13.863 * [taylor]: Taking taylor expansion of 1/3 in z 13.863 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 13.863 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.863 * [taylor]: Taking taylor expansion of z in z 13.863 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 13.863 * [taylor]: Taking taylor expansion of (log x) in z 13.863 * [taylor]: Taking taylor expansion of x in z 13.863 * [taylor]: Taking taylor expansion of (log y) in z 13.863 * [taylor]: Taking taylor expansion of y in z 13.864 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 13.864 * [taylor]: Taking taylor expansion of 18.0 in z 13.869 * [taylor]: Taking taylor expansion of 0 in y 13.869 * [taylor]: Taking taylor expansion of 0 in z 13.872 * [taylor]: Taking taylor expansion of 0 in z 13.882 * [taylor]: Taking taylor expansion of 0 in y 13.882 * [taylor]: Taking taylor expansion of 0 in z 13.882 * [taylor]: Taking taylor expansion of 0 in z 13.888 * [taylor]: Taking taylor expansion of 0 in z 13.889 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in (x y z) around 0 13.889 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in z 13.889 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 13.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 13.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 13.889 * [taylor]: Taking taylor expansion of 1/3 in z 13.889 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 13.889 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 13.889 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.889 * [taylor]: Taking taylor expansion of x in z 13.889 * [taylor]: Taking taylor expansion of (* z y) in z 13.889 * [taylor]: Taking taylor expansion of z in z 13.889 * [taylor]: Taking taylor expansion of y in z 13.890 * [taylor]: Taking taylor expansion of (cbrt -18.0) in z 13.890 * [taylor]: Taking taylor expansion of -18.0 in z 13.891 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in y 13.891 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 13.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 13.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 13.891 * [taylor]: Taking taylor expansion of 1/3 in y 13.891 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 13.891 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 13.891 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.891 * [taylor]: Taking taylor expansion of x in y 13.891 * [taylor]: Taking taylor expansion of (* z y) in y 13.891 * [taylor]: Taking taylor expansion of z in y 13.891 * [taylor]: Taking taylor expansion of y in y 13.892 * [taylor]: Taking taylor expansion of (cbrt -18.0) in y 13.892 * [taylor]: Taking taylor expansion of -18.0 in y 13.893 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in x 13.893 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 13.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 13.893 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 13.893 * [taylor]: Taking taylor expansion of 1/3 in x 13.893 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 13.893 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.893 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.893 * [taylor]: Taking taylor expansion of x in x 13.893 * [taylor]: Taking taylor expansion of (* z y) in x 13.893 * [taylor]: Taking taylor expansion of z in x 13.893 * [taylor]: Taking taylor expansion of y in x 13.894 * [taylor]: Taking taylor expansion of (cbrt -18.0) in x 13.894 * [taylor]: Taking taylor expansion of -18.0 in x 13.895 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in x 13.895 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 13.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 13.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 13.895 * [taylor]: Taking taylor expansion of 1/3 in x 13.895 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 13.895 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.895 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.895 * [taylor]: Taking taylor expansion of x in x 13.895 * [taylor]: Taking taylor expansion of (* z y) in x 13.895 * [taylor]: Taking taylor expansion of z in x 13.895 * [taylor]: Taking taylor expansion of y in x 13.896 * [taylor]: Taking taylor expansion of (cbrt -18.0) in x 13.896 * [taylor]: Taking taylor expansion of -18.0 in x 13.897 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) (cbrt -18.0)) in y 13.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 13.897 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 13.897 * [taylor]: Taking taylor expansion of 1/3 in y 13.897 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 13.897 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 13.897 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 13.897 * [taylor]: Taking taylor expansion of (* z y) in y 13.897 * [taylor]: Taking taylor expansion of z in y 13.897 * [taylor]: Taking taylor expansion of y in y 13.898 * [taylor]: Taking taylor expansion of (log x) in y 13.898 * [taylor]: Taking taylor expansion of x in y 13.899 * [taylor]: Taking taylor expansion of (cbrt -18.0) in y 13.899 * [taylor]: Taking taylor expansion of -18.0 in y 13.900 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) (cbrt -18.0)) in z 13.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 13.900 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 13.900 * [taylor]: Taking taylor expansion of 1/3 in z 13.900 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 13.900 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.900 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.900 * [taylor]: Taking taylor expansion of z in z 13.900 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 13.900 * [taylor]: Taking taylor expansion of (log x) in z 13.900 * [taylor]: Taking taylor expansion of x in z 13.900 * [taylor]: Taking taylor expansion of (log y) in z 13.900 * [taylor]: Taking taylor expansion of y in z 13.901 * [taylor]: Taking taylor expansion of (cbrt -18.0) in z 13.901 * [taylor]: Taking taylor expansion of -18.0 in z 13.906 * [taylor]: Taking taylor expansion of 0 in y 13.906 * [taylor]: Taking taylor expansion of 0 in z 13.909 * [taylor]: Taking taylor expansion of 0 in z 13.919 * [taylor]: Taking taylor expansion of 0 in y 13.920 * [taylor]: Taking taylor expansion of 0 in z 13.920 * [taylor]: Taking taylor expansion of 0 in z 13.930 * [taylor]: Taking taylor expansion of 0 in z 13.931 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 2 1) 13.931 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0 13.931 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z 13.931 * [taylor]: Taking taylor expansion of 18.0 in z 13.931 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.931 * [taylor]: Taking taylor expansion of x in z 13.931 * [taylor]: Taking taylor expansion of (* z y) in z 13.931 * [taylor]: Taking taylor expansion of z in z 13.931 * [taylor]: Taking taylor expansion of y in z 13.931 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y 13.931 * [taylor]: Taking taylor expansion of 18.0 in y 13.931 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.931 * [taylor]: Taking taylor expansion of x in y 13.931 * [taylor]: Taking taylor expansion of (* z y) in y 13.931 * [taylor]: Taking taylor expansion of z in y 13.931 * [taylor]: Taking taylor expansion of y in y 13.931 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 13.931 * [taylor]: Taking taylor expansion of 18.0 in x 13.931 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.931 * [taylor]: Taking taylor expansion of x in x 13.931 * [taylor]: Taking taylor expansion of (* z y) in x 13.931 * [taylor]: Taking taylor expansion of z in x 13.931 * [taylor]: Taking taylor expansion of y in x 13.931 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 13.931 * [taylor]: Taking taylor expansion of 18.0 in x 13.931 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.931 * [taylor]: Taking taylor expansion of x in x 13.931 * [taylor]: Taking taylor expansion of (* z y) in x 13.931 * [taylor]: Taking taylor expansion of z in x 13.932 * [taylor]: Taking taylor expansion of y in x 13.932 * [taylor]: Taking taylor expansion of 0 in y 13.932 * [taylor]: Taking taylor expansion of 0 in z 13.933 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y 13.933 * [taylor]: Taking taylor expansion of 18.0 in y 13.933 * [taylor]: Taking taylor expansion of (* z y) in y 13.933 * [taylor]: Taking taylor expansion of z in y 13.933 * [taylor]: Taking taylor expansion of y in y 13.933 * [taylor]: Taking taylor expansion of 0 in z 13.933 * [taylor]: Taking taylor expansion of 0 in z 13.934 * [taylor]: Taking taylor expansion of 0 in y 13.934 * [taylor]: Taking taylor expansion of 0 in z 13.935 * [taylor]: Taking taylor expansion of (* 18.0 z) in z 13.935 * [taylor]: Taking taylor expansion of 18.0 in z 13.935 * [taylor]: Taking taylor expansion of z in z 13.935 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0 13.935 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z 13.935 * [taylor]: Taking taylor expansion of 18.0 in z 13.935 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.935 * [taylor]: Taking taylor expansion of x in z 13.935 * [taylor]: Taking taylor expansion of (* z y) in z 13.936 * [taylor]: Taking taylor expansion of z in z 13.936 * [taylor]: Taking taylor expansion of y in z 13.936 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y 13.936 * [taylor]: Taking taylor expansion of 18.0 in y 13.936 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.936 * [taylor]: Taking taylor expansion of x in y 13.936 * [taylor]: Taking taylor expansion of (* z y) in y 13.936 * [taylor]: Taking taylor expansion of z in y 13.936 * [taylor]: Taking taylor expansion of y in y 13.937 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x 13.937 * [taylor]: Taking taylor expansion of 18.0 in x 13.937 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.937 * [taylor]: Taking taylor expansion of x in x 13.937 * [taylor]: Taking taylor expansion of (* z y) in x 13.937 * [taylor]: Taking taylor expansion of z in x 13.937 * [taylor]: Taking taylor expansion of y in x 13.937 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x 13.937 * [taylor]: Taking taylor expansion of 18.0 in x 13.937 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.937 * [taylor]: Taking taylor expansion of x in x 13.937 * [taylor]: Taking taylor expansion of (* z y) in x 13.937 * [taylor]: Taking taylor expansion of z in x 13.937 * [taylor]: Taking taylor expansion of y in x 13.938 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y 13.938 * [taylor]: Taking taylor expansion of 18.0 in y 13.938 * [taylor]: Taking taylor expansion of (* z y) in y 13.938 * [taylor]: Taking taylor expansion of z in y 13.938 * [taylor]: Taking taylor expansion of y in y 13.938 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 13.938 * [taylor]: Taking taylor expansion of 18.0 in z 13.938 * [taylor]: Taking taylor expansion of z in z 13.940 * [taylor]: Taking taylor expansion of 0 in y 13.940 * [taylor]: Taking taylor expansion of 0 in z 13.942 * [taylor]: Taking taylor expansion of 0 in y 13.942 * [taylor]: Taking taylor expansion of 0 in z 13.943 * [taylor]: Taking taylor expansion of 0 in z 13.945 * [taylor]: Taking taylor expansion of 0 in y 13.945 * [taylor]: Taking taylor expansion of 0 in z 13.945 * [taylor]: Taking taylor expansion of 0 in z 13.946 * [taylor]: Taking taylor expansion of 0 in z 13.946 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0 13.946 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z 13.946 * [taylor]: Taking taylor expansion of -18.0 in z 13.946 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.946 * [taylor]: Taking taylor expansion of x in z 13.946 * [taylor]: Taking taylor expansion of (* z y) in z 13.946 * [taylor]: Taking taylor expansion of z in z 13.946 * [taylor]: Taking taylor expansion of y in z 13.947 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y 13.947 * [taylor]: Taking taylor expansion of -18.0 in y 13.947 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.947 * [taylor]: Taking taylor expansion of x in y 13.947 * [taylor]: Taking taylor expansion of (* z y) in y 13.947 * [taylor]: Taking taylor expansion of z in y 13.947 * [taylor]: Taking taylor expansion of y in y 13.947 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x 13.948 * [taylor]: Taking taylor expansion of -18.0 in x 13.948 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.948 * [taylor]: Taking taylor expansion of x in x 13.948 * [taylor]: Taking taylor expansion of (* z y) in x 13.948 * [taylor]: Taking taylor expansion of z in x 13.948 * [taylor]: Taking taylor expansion of y in x 13.948 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x 13.948 * [taylor]: Taking taylor expansion of -18.0 in x 13.948 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.948 * [taylor]: Taking taylor expansion of x in x 13.948 * [taylor]: Taking taylor expansion of (* z y) in x 13.948 * [taylor]: Taking taylor expansion of z in x 13.948 * [taylor]: Taking taylor expansion of y in x 13.949 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y 13.949 * [taylor]: Taking taylor expansion of -18.0 in y 13.949 * [taylor]: Taking taylor expansion of (* z y) in y 13.949 * [taylor]: Taking taylor expansion of z in y 13.949 * [taylor]: Taking taylor expansion of y in y 13.949 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z 13.949 * [taylor]: Taking taylor expansion of -18.0 in z 13.949 * [taylor]: Taking taylor expansion of z in z 13.950 * [taylor]: Taking taylor expansion of 0 in y 13.951 * [taylor]: Taking taylor expansion of 0 in z 13.953 * [taylor]: Taking taylor expansion of 0 in y 13.953 * [taylor]: Taking taylor expansion of 0 in z 13.953 * [taylor]: Taking taylor expansion of 0 in z 13.956 * [taylor]: Taking taylor expansion of 0 in y 13.956 * [taylor]: Taking taylor expansion of 0 in z 13.956 * [taylor]: Taking taylor expansion of 0 in z 13.957 * [taylor]: Taking taylor expansion of 0 in z 13.957 * * * [progress]: simplifying candidates 13.958 * [simplify]: Simplifying using # : (log (cbrt (* (* (* x 18.0) y) z))) (exp (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* x 18.0) y)) (cbrt z) (* (cbrt (cbrt (* (* (* x 18.0) y) z))) (cbrt (cbrt (* (* (* x 18.0) y) z)))) (cbrt (cbrt (* (* (* x 18.0) y) z))) (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (log (cbrt (* (* (* x 18.0) y) z))) (exp (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* x 18.0) y)) (cbrt z) (* (cbrt (cbrt (* (* (* x 18.0) y) z))) (cbrt (cbrt (* (* (* x 18.0) y) z)))) (cbrt (cbrt (* (* (* x 18.0) y) z))) (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (log (cbrt (* (* (* x 18.0) y) z))) (exp (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* x 18.0) y)) (cbrt z) (* (cbrt (cbrt (* (* (* x 18.0) y) z))) (cbrt (cbrt (* (* (* x 18.0) y) z)))) (cbrt (cbrt (* (* (* x 18.0) y) z))) (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (+ (+ (log (* x 18.0)) (log y)) (log z)) (+ (log (* (* x 18.0) y)) (log z)) (log (* (* (* x 18.0) y) z)) (exp (* (* (* x 18.0) y) z)) (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z)) (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (sqrt (* (* (* x 18.0) y) z)) (sqrt (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (* x 18.0) y) (sqrt z)) (* (* (* x 18.0) y) 1) (* y z) (* (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -18.0)) (* (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -18.0)) (* (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -18.0)) 0 (* 18.0 (* x (* z y))) (* 18.0 (* x (* z y))) 13.961 * * [simplify]: iteration 0 : 96 enodes (cost 700 ) 13.978 * * [simplify]: iteration 1 : 241 enodes (cost 683 ) 14.061 * * [simplify]: iteration 2 : 922 enodes (cost 573 ) 15.619 * * [simplify]: iteration 3 : 4855 enodes (cost 549 ) 17.072 * * [simplify]: iteration done : 5000 enodes (cost 549 ) 17.072 * [simplify]: Simplified to: (log (cbrt (* (* (* x 18.0) y) z))) (exp (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* x 18.0) y)) (cbrt z) (* (cbrt (cbrt (* (* (* x 18.0) y) z))) (cbrt (cbrt (* (* (* x 18.0) y) z)))) (cbrt (cbrt (* (* (* x 18.0) y) z))) (* (* x y) (* z 18.0)) (sqrt (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (log (cbrt (* (* (* x 18.0) y) z))) (exp (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* x 18.0) y)) (cbrt z) (* (cbrt (cbrt (* (* (* x 18.0) y) z))) (cbrt (cbrt (* (* (* x 18.0) y) z)))) (cbrt (cbrt (* (* (* x 18.0) y) z))) (* (* x y) (* z 18.0)) (sqrt (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (log (cbrt (* (* (* x 18.0) y) z))) (exp (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* x 18.0) y)) (cbrt z) (* (cbrt (cbrt (* (* (* x 18.0) y) z))) (cbrt (cbrt (* (* (* x 18.0) y) z)))) (cbrt (cbrt (* (* (* x 18.0) y) z))) (* (* x y) (* z 18.0)) (sqrt (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (* (* x y) (* z 18.0)) (* (* x y) (* z 18.0)) (* (* x y) (* z 18.0)) (log (* 18.0 (* x (* z y)))) (log (* 18.0 (* x (* z y)))) (log (* 18.0 (* x (* z y)))) (log (* 18.0 (* x (* z y)))) (exp (* (* (* x 18.0) y) z)) (pow (* (* (* x 18.0) y) z) 3) (pow (* (* (* x 18.0) y) z) 3) (pow (* (* (* x 18.0) y) z) 3) (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z)) (pow (* (* (* x 18.0) y) z) 3) (sqrt (* (* (* x 18.0) y) z)) (sqrt (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (* x 18.0) y) (sqrt z)) (* (* x 18.0) y) (* z y) (* (cbrt (exp (log (* x (* z y))))) (cbrt 18.0)) (* (pow (exp -1/3) (- (log (* x (* z y))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -18.0)) (* (cbrt (exp (log (* x (* z y))))) (cbrt 18.0)) (* (pow (exp -1/3) (- (log (* x (* z y))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -18.0)) (* (cbrt (exp (log (* x (* z y))))) (cbrt 18.0)) (* (pow (exp -1/3) (- (log (* x (* z y))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -18.0)) 0 (* (* x y) (* z 18.0)) (* (* x y) (* z 18.0)) 17.072 * * * [progress]: adding candidates to table 17.416 * * [progress]: iteration 4 / 4 17.416 * * * [progress]: picking best candidate 17.452 * * * * [pick]: Picked # 17.452 * * * [progress]: localizing error 17.477 * * * [progress]: generating rewritten candidates 17.477 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 2) 17.482 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1 2) 17.487 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1) 17.492 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 17.554 * * * [progress]: generating series expansions 17.554 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 2) 17.554 * [approximate]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in (x y) around 0 17.554 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in y 17.554 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in y 17.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in y 17.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in y 17.554 * [taylor]: Taking taylor expansion of 1/3 in y 17.554 * [taylor]: Taking taylor expansion of (log (* x y)) in y 17.554 * [taylor]: Taking taylor expansion of (* x y) in y 17.554 * [taylor]: Taking taylor expansion of x in y 17.554 * [taylor]: Taking taylor expansion of y in y 17.555 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.555 * [taylor]: Taking taylor expansion of 18.0 in y 17.556 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in x 17.556 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in x 17.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in x 17.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in x 17.556 * [taylor]: Taking taylor expansion of 1/3 in x 17.556 * [taylor]: Taking taylor expansion of (log (* x y)) in x 17.556 * [taylor]: Taking taylor expansion of (* x y) in x 17.556 * [taylor]: Taking taylor expansion of x in x 17.556 * [taylor]: Taking taylor expansion of y in x 17.557 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.557 * [taylor]: Taking taylor expansion of 18.0 in x 17.558 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in x 17.558 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in x 17.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in x 17.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in x 17.558 * [taylor]: Taking taylor expansion of 1/3 in x 17.558 * [taylor]: Taking taylor expansion of (log (* x y)) in x 17.558 * [taylor]: Taking taylor expansion of (* x y) in x 17.558 * [taylor]: Taking taylor expansion of x in x 17.558 * [taylor]: Taking taylor expansion of y in x 17.559 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.559 * [taylor]: Taking taylor expansion of 18.0 in x 17.560 * [taylor]: Taking taylor expansion of (* (cbrt 18.0) (exp (* 1/3 (+ (log x) (log y))))) in y 17.560 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.560 * [taylor]: Taking taylor expansion of 18.0 in y 17.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log y)))) in y 17.561 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log y))) in y 17.561 * [taylor]: Taking taylor expansion of 1/3 in y 17.561 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in y 17.561 * [taylor]: Taking taylor expansion of (log x) in y 17.561 * [taylor]: Taking taylor expansion of x in y 17.561 * [taylor]: Taking taylor expansion of (log y) in y 17.561 * [taylor]: Taking taylor expansion of y in y 17.565 * [taylor]: Taking taylor expansion of 0 in y 17.573 * [taylor]: Taking taylor expansion of 0 in y 17.584 * [taylor]: Taking taylor expansion of 0 in y 17.585 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in (x y) around 0 17.585 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in y 17.585 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in y 17.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in y 17.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in y 17.585 * [taylor]: Taking taylor expansion of 1/3 in y 17.585 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in y 17.585 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 17.585 * [taylor]: Taking taylor expansion of (* x y) in y 17.585 * [taylor]: Taking taylor expansion of x in y 17.585 * [taylor]: Taking taylor expansion of y in y 17.586 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.586 * [taylor]: Taking taylor expansion of 18.0 in y 17.586 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 17.586 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 17.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 17.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 17.587 * [taylor]: Taking taylor expansion of 1/3 in x 17.587 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 17.587 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.587 * [taylor]: Taking taylor expansion of (* x y) in x 17.587 * [taylor]: Taking taylor expansion of x in x 17.587 * [taylor]: Taking taylor expansion of y in x 17.591 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.591 * [taylor]: Taking taylor expansion of 18.0 in x 17.592 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 17.592 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 17.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 17.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 17.592 * [taylor]: Taking taylor expansion of 1/3 in x 17.592 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 17.592 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.592 * [taylor]: Taking taylor expansion of (* x y) in x 17.592 * [taylor]: Taking taylor expansion of x in x 17.592 * [taylor]: Taking taylor expansion of y in x 17.593 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.593 * [taylor]: Taking taylor expansion of 18.0 in x 17.594 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (cbrt 18.0)) in y 17.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 17.594 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 17.594 * [taylor]: Taking taylor expansion of 1/3 in y 17.594 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 17.594 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.594 * [taylor]: Taking taylor expansion of y in y 17.595 * [taylor]: Taking taylor expansion of (log x) in y 17.595 * [taylor]: Taking taylor expansion of x in y 17.595 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.595 * [taylor]: Taking taylor expansion of 18.0 in y 17.599 * [taylor]: Taking taylor expansion of 0 in y 17.607 * [taylor]: Taking taylor expansion of 0 in y 17.621 * [taylor]: Taking taylor expansion of 0 in y 17.621 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in (x y) around 0 17.621 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in y 17.622 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in y 17.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in y 17.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in y 17.622 * [taylor]: Taking taylor expansion of 1/3 in y 17.622 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in y 17.622 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 17.622 * [taylor]: Taking taylor expansion of (* x y) in y 17.622 * [taylor]: Taking taylor expansion of x in y 17.622 * [taylor]: Taking taylor expansion of y in y 17.622 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.622 * [taylor]: Taking taylor expansion of 18.0 in y 17.623 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 17.623 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 17.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 17.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 17.623 * [taylor]: Taking taylor expansion of 1/3 in x 17.623 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 17.623 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.623 * [taylor]: Taking taylor expansion of (* x y) in x 17.623 * [taylor]: Taking taylor expansion of x in x 17.623 * [taylor]: Taking taylor expansion of y in x 17.624 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.624 * [taylor]: Taking taylor expansion of 18.0 in x 17.625 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 17.625 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 17.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 17.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 17.625 * [taylor]: Taking taylor expansion of 1/3 in x 17.625 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 17.625 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.625 * [taylor]: Taking taylor expansion of (* x y) in x 17.625 * [taylor]: Taking taylor expansion of x in x 17.625 * [taylor]: Taking taylor expansion of y in x 17.626 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.626 * [taylor]: Taking taylor expansion of 18.0 in x 17.627 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (cbrt 18.0)) in y 17.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 17.627 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 17.627 * [taylor]: Taking taylor expansion of 1/3 in y 17.627 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 17.627 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.627 * [taylor]: Taking taylor expansion of y in y 17.627 * [taylor]: Taking taylor expansion of (log x) in y 17.627 * [taylor]: Taking taylor expansion of x in y 17.628 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.628 * [taylor]: Taking taylor expansion of 18.0 in y 17.632 * [taylor]: Taking taylor expansion of 0 in y 17.640 * [taylor]: Taking taylor expansion of 0 in y 17.653 * [taylor]: Taking taylor expansion of 0 in y 17.653 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 1 2) 17.653 * [approximate]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in (x y) around 0 17.653 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in y 17.653 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in y 17.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in y 17.653 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in y 17.653 * [taylor]: Taking taylor expansion of 1/3 in y 17.653 * [taylor]: Taking taylor expansion of (log (* x y)) in y 17.653 * [taylor]: Taking taylor expansion of (* x y) in y 17.654 * [taylor]: Taking taylor expansion of x in y 17.654 * [taylor]: Taking taylor expansion of y in y 17.655 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.655 * [taylor]: Taking taylor expansion of 18.0 in y 17.655 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in x 17.655 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in x 17.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in x 17.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in x 17.655 * [taylor]: Taking taylor expansion of 1/3 in x 17.655 * [taylor]: Taking taylor expansion of (log (* x y)) in x 17.655 * [taylor]: Taking taylor expansion of (* x y) in x 17.655 * [taylor]: Taking taylor expansion of x in x 17.655 * [taylor]: Taking taylor expansion of y in x 17.656 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.656 * [taylor]: Taking taylor expansion of 18.0 in x 17.657 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in x 17.657 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in x 17.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in x 17.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in x 17.657 * [taylor]: Taking taylor expansion of 1/3 in x 17.657 * [taylor]: Taking taylor expansion of (log (* x y)) in x 17.657 * [taylor]: Taking taylor expansion of (* x y) in x 17.657 * [taylor]: Taking taylor expansion of x in x 17.657 * [taylor]: Taking taylor expansion of y in x 17.658 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.658 * [taylor]: Taking taylor expansion of 18.0 in x 17.659 * [taylor]: Taking taylor expansion of (* (cbrt 18.0) (exp (* 1/3 (+ (log x) (log y))))) in y 17.659 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.659 * [taylor]: Taking taylor expansion of 18.0 in y 17.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log y)))) in y 17.660 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log y))) in y 17.660 * [taylor]: Taking taylor expansion of 1/3 in y 17.660 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in y 17.660 * [taylor]: Taking taylor expansion of (log x) in y 17.660 * [taylor]: Taking taylor expansion of x in y 17.660 * [taylor]: Taking taylor expansion of (log y) in y 17.660 * [taylor]: Taking taylor expansion of y in y 17.664 * [taylor]: Taking taylor expansion of 0 in y 17.676 * [taylor]: Taking taylor expansion of 0 in y 17.688 * [taylor]: Taking taylor expansion of 0 in y 17.689 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in (x y) around 0 17.689 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in y 17.689 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in y 17.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in y 17.689 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in y 17.689 * [taylor]: Taking taylor expansion of 1/3 in y 17.689 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in y 17.689 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 17.689 * [taylor]: Taking taylor expansion of (* x y) in y 17.689 * [taylor]: Taking taylor expansion of x in y 17.689 * [taylor]: Taking taylor expansion of y in y 17.690 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.690 * [taylor]: Taking taylor expansion of 18.0 in y 17.691 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 17.691 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 17.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 17.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 17.691 * [taylor]: Taking taylor expansion of 1/3 in x 17.691 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 17.691 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.691 * [taylor]: Taking taylor expansion of (* x y) in x 17.691 * [taylor]: Taking taylor expansion of x in x 17.691 * [taylor]: Taking taylor expansion of y in x 17.692 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.692 * [taylor]: Taking taylor expansion of 18.0 in x 17.692 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 17.692 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 17.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 17.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 17.692 * [taylor]: Taking taylor expansion of 1/3 in x 17.692 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 17.692 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.692 * [taylor]: Taking taylor expansion of (* x y) in x 17.692 * [taylor]: Taking taylor expansion of x in x 17.692 * [taylor]: Taking taylor expansion of y in x 17.693 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.693 * [taylor]: Taking taylor expansion of 18.0 in x 17.694 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (cbrt 18.0)) in y 17.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 17.694 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 17.694 * [taylor]: Taking taylor expansion of 1/3 in y 17.694 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 17.694 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.694 * [taylor]: Taking taylor expansion of y in y 17.695 * [taylor]: Taking taylor expansion of (log x) in y 17.695 * [taylor]: Taking taylor expansion of x in y 17.695 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.696 * [taylor]: Taking taylor expansion of 18.0 in y 17.700 * [taylor]: Taking taylor expansion of 0 in y 17.708 * [taylor]: Taking taylor expansion of 0 in y 17.721 * [taylor]: Taking taylor expansion of 0 in y 17.722 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in (x y) around 0 17.722 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in y 17.722 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in y 17.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in y 17.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in y 17.722 * [taylor]: Taking taylor expansion of 1/3 in y 17.722 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in y 17.722 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 17.722 * [taylor]: Taking taylor expansion of (* x y) in y 17.722 * [taylor]: Taking taylor expansion of x in y 17.722 * [taylor]: Taking taylor expansion of y in y 17.723 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.723 * [taylor]: Taking taylor expansion of 18.0 in y 17.723 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 17.723 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 17.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 17.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 17.723 * [taylor]: Taking taylor expansion of 1/3 in x 17.723 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 17.723 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.723 * [taylor]: Taking taylor expansion of (* x y) in x 17.724 * [taylor]: Taking taylor expansion of x in x 17.724 * [taylor]: Taking taylor expansion of y in x 17.724 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.724 * [taylor]: Taking taylor expansion of 18.0 in x 17.725 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 17.725 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 17.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 17.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 17.725 * [taylor]: Taking taylor expansion of 1/3 in x 17.725 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 17.725 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.725 * [taylor]: Taking taylor expansion of (* x y) in x 17.725 * [taylor]: Taking taylor expansion of x in x 17.725 * [taylor]: Taking taylor expansion of y in x 17.726 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.726 * [taylor]: Taking taylor expansion of 18.0 in x 17.727 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (cbrt 18.0)) in y 17.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 17.727 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 17.727 * [taylor]: Taking taylor expansion of 1/3 in y 17.727 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 17.727 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.727 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.727 * [taylor]: Taking taylor expansion of y in y 17.728 * [taylor]: Taking taylor expansion of (log x) in y 17.728 * [taylor]: Taking taylor expansion of x in y 17.728 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.728 * [taylor]: Taking taylor expansion of 18.0 in y 17.732 * [taylor]: Taking taylor expansion of 0 in y 17.741 * [taylor]: Taking taylor expansion of 0 in y 17.754 * [taylor]: Taking taylor expansion of 0 in y 17.754 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1) 17.755 * [approximate]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in (x y) around 0 17.755 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in y 17.755 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in y 17.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in y 17.755 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in y 17.755 * [taylor]: Taking taylor expansion of 1/3 in y 17.755 * [taylor]: Taking taylor expansion of (log (* x y)) in y 17.755 * [taylor]: Taking taylor expansion of (* x y) in y 17.755 * [taylor]: Taking taylor expansion of x in y 17.755 * [taylor]: Taking taylor expansion of y in y 17.755 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.755 * [taylor]: Taking taylor expansion of 18.0 in y 17.756 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in x 17.756 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in x 17.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in x 17.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in x 17.756 * [taylor]: Taking taylor expansion of 1/3 in x 17.756 * [taylor]: Taking taylor expansion of (log (* x y)) in x 17.756 * [taylor]: Taking taylor expansion of (* x y) in x 17.756 * [taylor]: Taking taylor expansion of x in x 17.756 * [taylor]: Taking taylor expansion of y in x 17.757 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.757 * [taylor]: Taking taylor expansion of 18.0 in x 17.758 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in x 17.758 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in x 17.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in x 17.758 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in x 17.758 * [taylor]: Taking taylor expansion of 1/3 in x 17.758 * [taylor]: Taking taylor expansion of (log (* x y)) in x 17.758 * [taylor]: Taking taylor expansion of (* x y) in x 17.758 * [taylor]: Taking taylor expansion of x in x 17.758 * [taylor]: Taking taylor expansion of y in x 17.764 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.764 * [taylor]: Taking taylor expansion of 18.0 in x 17.765 * [taylor]: Taking taylor expansion of (* (cbrt 18.0) (exp (* 1/3 (+ (log x) (log y))))) in y 17.765 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.766 * [taylor]: Taking taylor expansion of 18.0 in y 17.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log y)))) in y 17.766 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log y))) in y 17.766 * [taylor]: Taking taylor expansion of 1/3 in y 17.766 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in y 17.766 * [taylor]: Taking taylor expansion of (log x) in y 17.766 * [taylor]: Taking taylor expansion of x in y 17.766 * [taylor]: Taking taylor expansion of (log y) in y 17.766 * [taylor]: Taking taylor expansion of y in y 17.770 * [taylor]: Taking taylor expansion of 0 in y 17.778 * [taylor]: Taking taylor expansion of 0 in y 17.789 * [taylor]: Taking taylor expansion of 0 in y 17.790 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in (x y) around 0 17.790 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in y 17.790 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in y 17.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in y 17.790 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in y 17.790 * [taylor]: Taking taylor expansion of 1/3 in y 17.790 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in y 17.790 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 17.790 * [taylor]: Taking taylor expansion of (* x y) in y 17.790 * [taylor]: Taking taylor expansion of x in y 17.790 * [taylor]: Taking taylor expansion of y in y 17.791 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.791 * [taylor]: Taking taylor expansion of 18.0 in y 17.792 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 17.792 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 17.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 17.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 17.792 * [taylor]: Taking taylor expansion of 1/3 in x 17.792 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 17.792 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.792 * [taylor]: Taking taylor expansion of (* x y) in x 17.792 * [taylor]: Taking taylor expansion of x in x 17.792 * [taylor]: Taking taylor expansion of y in x 17.793 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.793 * [taylor]: Taking taylor expansion of 18.0 in x 17.794 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 17.794 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 17.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 17.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 17.794 * [taylor]: Taking taylor expansion of 1/3 in x 17.794 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 17.794 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.794 * [taylor]: Taking taylor expansion of (* x y) in x 17.794 * [taylor]: Taking taylor expansion of x in x 17.794 * [taylor]: Taking taylor expansion of y in x 17.795 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.795 * [taylor]: Taking taylor expansion of 18.0 in x 17.796 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (cbrt 18.0)) in y 17.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 17.796 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 17.796 * [taylor]: Taking taylor expansion of 1/3 in y 17.796 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 17.796 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.796 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.796 * [taylor]: Taking taylor expansion of y in y 17.797 * [taylor]: Taking taylor expansion of (log x) in y 17.797 * [taylor]: Taking taylor expansion of x in y 17.797 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.797 * [taylor]: Taking taylor expansion of 18.0 in y 17.802 * [taylor]: Taking taylor expansion of 0 in y 17.810 * [taylor]: Taking taylor expansion of 0 in y 17.822 * [taylor]: Taking taylor expansion of 0 in y 17.823 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in (x y) around 0 17.823 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in y 17.823 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in y 17.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in y 17.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in y 17.823 * [taylor]: Taking taylor expansion of 1/3 in y 17.823 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in y 17.823 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 17.823 * [taylor]: Taking taylor expansion of (* x y) in y 17.823 * [taylor]: Taking taylor expansion of x in y 17.823 * [taylor]: Taking taylor expansion of y in y 17.824 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.824 * [taylor]: Taking taylor expansion of 18.0 in y 17.825 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 17.825 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 17.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 17.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 17.825 * [taylor]: Taking taylor expansion of 1/3 in x 17.825 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 17.825 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.825 * [taylor]: Taking taylor expansion of (* x y) in x 17.825 * [taylor]: Taking taylor expansion of x in x 17.825 * [taylor]: Taking taylor expansion of y in x 17.825 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.825 * [taylor]: Taking taylor expansion of 18.0 in x 17.826 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 17.826 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 17.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 17.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 17.826 * [taylor]: Taking taylor expansion of 1/3 in x 17.826 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 17.826 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.826 * [taylor]: Taking taylor expansion of (* x y) in x 17.826 * [taylor]: Taking taylor expansion of x in x 17.826 * [taylor]: Taking taylor expansion of y in x 17.827 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.827 * [taylor]: Taking taylor expansion of 18.0 in x 17.828 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (cbrt 18.0)) in y 17.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 17.828 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 17.828 * [taylor]: Taking taylor expansion of 1/3 in y 17.828 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 17.828 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 17.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.828 * [taylor]: Taking taylor expansion of y in y 17.829 * [taylor]: Taking taylor expansion of (log x) in y 17.829 * [taylor]: Taking taylor expansion of x in y 17.829 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.829 * [taylor]: Taking taylor expansion of 18.0 in y 17.834 * [taylor]: Taking taylor expansion of 0 in y 17.842 * [taylor]: Taking taylor expansion of 0 in y 17.860 * [taylor]: Taking taylor expansion of 0 in y 17.860 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 17.861 * [approximate]: Taking taylor expansion of (* x (* z (* y (pow (cbrt 18.0) 3)))) in (x y z) around 0 17.861 * [taylor]: Taking taylor expansion of (* x (* z (* y (pow (cbrt 18.0) 3)))) in z 17.861 * [taylor]: Taking taylor expansion of x in z 17.861 * [taylor]: Taking taylor expansion of (* z (* y (pow (cbrt 18.0) 3))) in z 17.861 * [taylor]: Taking taylor expansion of z in z 17.861 * [taylor]: Taking taylor expansion of (* y (pow (cbrt 18.0) 3)) in z 17.861 * [taylor]: Taking taylor expansion of y in z 17.861 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in z 17.861 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 17.861 * [taylor]: Taking taylor expansion of 18.0 in z 17.862 * [taylor]: Taking taylor expansion of (* x (* z (* y (pow (cbrt 18.0) 3)))) in y 17.862 * [taylor]: Taking taylor expansion of x in y 17.862 * [taylor]: Taking taylor expansion of (* z (* y (pow (cbrt 18.0) 3))) in y 17.862 * [taylor]: Taking taylor expansion of z in y 17.862 * [taylor]: Taking taylor expansion of (* y (pow (cbrt 18.0) 3)) in y 17.862 * [taylor]: Taking taylor expansion of y in y 17.862 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in y 17.862 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.862 * [taylor]: Taking taylor expansion of 18.0 in y 17.862 * [taylor]: Taking taylor expansion of (* x (* z (* y (pow (cbrt 18.0) 3)))) in x 17.863 * [taylor]: Taking taylor expansion of x in x 17.863 * [taylor]: Taking taylor expansion of (* z (* y (pow (cbrt 18.0) 3))) in x 17.863 * [taylor]: Taking taylor expansion of z in x 17.863 * [taylor]: Taking taylor expansion of (* y (pow (cbrt 18.0) 3)) in x 17.863 * [taylor]: Taking taylor expansion of y in x 17.863 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in x 17.863 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.863 * [taylor]: Taking taylor expansion of 18.0 in x 17.863 * [taylor]: Taking taylor expansion of (* x (* z (* y (pow (cbrt 18.0) 3)))) in x 17.863 * [taylor]: Taking taylor expansion of x in x 17.863 * [taylor]: Taking taylor expansion of (* z (* y (pow (cbrt 18.0) 3))) in x 17.863 * [taylor]: Taking taylor expansion of z in x 17.863 * [taylor]: Taking taylor expansion of (* y (pow (cbrt 18.0) 3)) in x 17.863 * [taylor]: Taking taylor expansion of y in x 17.863 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in x 17.863 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.863 * [taylor]: Taking taylor expansion of 18.0 in x 17.867 * [taylor]: Taking taylor expansion of 0 in y 17.867 * [taylor]: Taking taylor expansion of 0 in z 17.869 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y 17.869 * [taylor]: Taking taylor expansion of 18.0 in y 17.869 * [taylor]: Taking taylor expansion of (* z y) in y 17.869 * [taylor]: Taking taylor expansion of z in y 17.869 * [taylor]: Taking taylor expansion of y in y 17.869 * [taylor]: Taking taylor expansion of 0 in z 17.869 * [taylor]: Taking taylor expansion of 0 in z 17.873 * [taylor]: Taking taylor expansion of 0 in y 17.873 * [taylor]: Taking taylor expansion of 0 in z 17.874 * [taylor]: Taking taylor expansion of (* 18.0 z) in z 17.874 * [taylor]: Taking taylor expansion of 18.0 in z 17.874 * [taylor]: Taking taylor expansion of z in z 17.874 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in (x y z) around 0 17.874 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in z 17.874 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in z 17.875 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 17.875 * [taylor]: Taking taylor expansion of 18.0 in z 17.875 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 17.875 * [taylor]: Taking taylor expansion of x in z 17.875 * [taylor]: Taking taylor expansion of (* z y) in z 17.875 * [taylor]: Taking taylor expansion of z in z 17.875 * [taylor]: Taking taylor expansion of y in z 17.879 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in y 17.879 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in y 17.879 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.879 * [taylor]: Taking taylor expansion of 18.0 in y 17.879 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 17.879 * [taylor]: Taking taylor expansion of x in y 17.879 * [taylor]: Taking taylor expansion of (* z y) in y 17.879 * [taylor]: Taking taylor expansion of z in y 17.880 * [taylor]: Taking taylor expansion of y in y 17.883 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in x 17.883 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in x 17.883 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.883 * [taylor]: Taking taylor expansion of 18.0 in x 17.884 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 17.884 * [taylor]: Taking taylor expansion of x in x 17.884 * [taylor]: Taking taylor expansion of (* z y) in x 17.884 * [taylor]: Taking taylor expansion of z in x 17.884 * [taylor]: Taking taylor expansion of y in x 17.887 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in x 17.887 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in x 17.887 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.887 * [taylor]: Taking taylor expansion of 18.0 in x 17.887 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 17.887 * [taylor]: Taking taylor expansion of x in x 17.888 * [taylor]: Taking taylor expansion of (* z y) in x 17.888 * [taylor]: Taking taylor expansion of z in x 17.888 * [taylor]: Taking taylor expansion of y in x 17.891 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y 17.891 * [taylor]: Taking taylor expansion of 18.0 in y 17.891 * [taylor]: Taking taylor expansion of (* z y) in y 17.891 * [taylor]: Taking taylor expansion of z in y 17.891 * [taylor]: Taking taylor expansion of y in y 17.891 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 17.891 * [taylor]: Taking taylor expansion of 18.0 in z 17.891 * [taylor]: Taking taylor expansion of z in z 17.893 * [taylor]: Taking taylor expansion of 0 in y 17.894 * [taylor]: Taking taylor expansion of 0 in z 17.898 * [taylor]: Taking taylor expansion of 0 in y 17.898 * [taylor]: Taking taylor expansion of 0 in z 17.898 * [taylor]: Taking taylor expansion of 0 in z 17.903 * [taylor]: Taking taylor expansion of 0 in y 17.903 * [taylor]: Taking taylor expansion of 0 in z 17.903 * [taylor]: Taking taylor expansion of 0 in z 17.904 * [taylor]: Taking taylor expansion of 0 in z 17.904 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (cbrt 18.0) 3) (* x (* z y)))) in (x y z) around 0 17.904 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 18.0) 3) (* x (* z y)))) in z 17.904 * [taylor]: Taking taylor expansion of -1 in z 17.904 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in z 17.904 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in z 17.904 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 17.904 * [taylor]: Taking taylor expansion of 18.0 in z 17.905 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 17.905 * [taylor]: Taking taylor expansion of x in z 17.905 * [taylor]: Taking taylor expansion of (* z y) in z 17.905 * [taylor]: Taking taylor expansion of z in z 17.905 * [taylor]: Taking taylor expansion of y in z 17.908 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 18.0) 3) (* x (* z y)))) in y 17.908 * [taylor]: Taking taylor expansion of -1 in y 17.908 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in y 17.908 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in y 17.908 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 17.908 * [taylor]: Taking taylor expansion of 18.0 in y 17.909 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 17.909 * [taylor]: Taking taylor expansion of x in y 17.909 * [taylor]: Taking taylor expansion of (* z y) in y 17.909 * [taylor]: Taking taylor expansion of z in y 17.909 * [taylor]: Taking taylor expansion of y in y 17.912 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 18.0) 3) (* x (* z y)))) in x 17.913 * [taylor]: Taking taylor expansion of -1 in x 17.913 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in x 17.913 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in x 17.913 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.913 * [taylor]: Taking taylor expansion of 18.0 in x 17.913 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 17.913 * [taylor]: Taking taylor expansion of x in x 17.913 * [taylor]: Taking taylor expansion of (* z y) in x 17.913 * [taylor]: Taking taylor expansion of z in x 17.913 * [taylor]: Taking taylor expansion of y in x 17.916 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 18.0) 3) (* x (* z y)))) in x 17.917 * [taylor]: Taking taylor expansion of -1 in x 17.917 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in x 17.917 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in x 17.917 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 17.917 * [taylor]: Taking taylor expansion of 18.0 in x 17.917 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 17.917 * [taylor]: Taking taylor expansion of x in x 17.917 * [taylor]: Taking taylor expansion of (* z y) in x 17.917 * [taylor]: Taking taylor expansion of z in x 17.917 * [taylor]: Taking taylor expansion of y in x 17.921 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y 17.921 * [taylor]: Taking taylor expansion of -18.0 in y 17.921 * [taylor]: Taking taylor expansion of (* z y) in y 17.921 * [taylor]: Taking taylor expansion of z in y 17.921 * [taylor]: Taking taylor expansion of y in y 17.922 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z 17.922 * [taylor]: Taking taylor expansion of -18.0 in z 17.922 * [taylor]: Taking taylor expansion of z in z 17.924 * [taylor]: Taking taylor expansion of 0 in y 17.925 * [taylor]: Taking taylor expansion of 0 in z 17.934 * [taylor]: Taking taylor expansion of 0 in y 17.934 * [taylor]: Taking taylor expansion of 0 in z 17.935 * [taylor]: Taking taylor expansion of 0 in z 17.940 * [taylor]: Taking taylor expansion of 0 in y 17.940 * [taylor]: Taking taylor expansion of 0 in z 17.940 * [taylor]: Taking taylor expansion of 0 in z 17.941 * [taylor]: Taking taylor expansion of 0 in z 17.941 * * * [progress]: simplifying candidates 17.942 * [simplify]: Simplifying using # : (log (cbrt (* (* x 18.0) y))) (exp (cbrt (* (* x 18.0) y))) (cbrt (* x 18.0)) (cbrt y) (* (cbrt (cbrt (* (* x 18.0) y))) (cbrt (cbrt (* (* x 18.0) y)))) (cbrt (cbrt (* (* x 18.0) y))) (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (log (cbrt (* (* x 18.0) y))) (exp (cbrt (* (* x 18.0) y))) (cbrt (* x 18.0)) (cbrt y) (* (cbrt (cbrt (* (* x 18.0) y))) (cbrt (cbrt (* (* x 18.0) y)))) (cbrt (cbrt (* (* x 18.0) y))) (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (log (cbrt (* (* x 18.0) y))) (exp (cbrt (* (* x 18.0) y))) (cbrt (* x 18.0)) (cbrt y) (* (cbrt (cbrt (* (* x 18.0) y))) (cbrt (cbrt (* (* x 18.0) y)))) (cbrt (cbrt (* (* x 18.0) y))) (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) (+ (+ (+ (log (cbrt (* (* x 18.0) y))) (log (cbrt (* (* x 18.0) y)))) (log (cbrt (* (* x 18.0) y)))) (log z)) (+ (+ (log (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))) (log (cbrt (* (* x 18.0) y)))) (log z)) (+ (log (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y)))) (log z)) (log (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (exp (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))) (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))) (* (* x 18.0) y)) (* (* z z) z)) (* (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y)))) (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y)))) (* (* z z) z)) (* (cbrt (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (cbrt (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z))) (cbrt (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (* (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (sqrt (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (sqrt (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) (* (cbrt z) (cbrt z))) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) (sqrt z)) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) 1) (* (cbrt (* (* x 18.0) y)) z) (* (exp (* 1/3 (+ (log x) (log y)))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (cbrt 18.0)) (* (cbrt 18.0) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* (exp (* 1/3 (+ (log x) (log y)))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (cbrt 18.0)) (* (cbrt 18.0) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* (exp (* 1/3 (+ (log x) (log y)))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (cbrt 18.0)) (* (cbrt 18.0) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) 0 (* 18.0 (* x (* z y))) (* 18.0 (* x (* z y))) 17.945 * * [simplify]: iteration 0 : 83 enodes (cost 960 ) 17.960 * * [simplify]: iteration 1 : 210 enodes (cost 934 ) 18.021 * * [simplify]: iteration 2 : 726 enodes (cost 563 ) 18.835 * * [simplify]: iteration 3 : 3178 enodes (cost 470 ) 19.986 * * [simplify]: iteration done : 5000 enodes (cost 470 ) 19.987 * [simplify]: Simplified to: (log (cbrt (* (* x 18.0) y))) (exp (cbrt (* (* x 18.0) y))) (cbrt (* x 18.0)) (cbrt y) (* (cbrt (cbrt (* (* x 18.0) y))) (cbrt (cbrt (* (* x 18.0) y)))) (cbrt (cbrt (* (* x 18.0) y))) (* (* x 18.0) y) (sqrt (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (log (cbrt (* (* x 18.0) y))) (exp (cbrt (* (* x 18.0) y))) (cbrt (* x 18.0)) (cbrt y) (* (cbrt (cbrt (* (* x 18.0) y))) (cbrt (cbrt (* (* x 18.0) y)))) (cbrt (cbrt (* (* x 18.0) y))) (* (* x 18.0) y) (sqrt (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (log (cbrt (* (* x 18.0) y))) (exp (cbrt (* (* x 18.0) y))) (cbrt (* x 18.0)) (cbrt y) (* (cbrt (cbrt (* (* x 18.0) y))) (cbrt (cbrt (* (* x 18.0) y)))) (cbrt (cbrt (* (* x 18.0) y))) (* (* x 18.0) y) (sqrt (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (* 18.0 (* x (* z y))) (* 18.0 (* x (* z y))) (* 18.0 (* x (* z y))) (log (* (* 18.0 y) (* x z))) (log (* (* 18.0 y) (* x z))) (log (* (* 18.0 y) (* x z))) (log (* (* 18.0 y) (* x z))) (pow (exp z) (* (* x 18.0) y)) (pow (* 18.0 (* x (* z y))) 3) (pow (* 18.0 (* x (* z y))) 3) (pow (* 18.0 (* x (* z y))) 3) (* (cbrt (* 18.0 (* x (* z y)))) (cbrt (* 18.0 (* x (* z y))))) (cbrt (* 18.0 (* x (* z y)))) (pow (* 18.0 (* x (* z y))) 3) (sqrt (* 18.0 (* x (* z y)))) (sqrt (* 18.0 (* x (* z y)))) (* (* (cbrt z) (cbrt z)) (* (* x 18.0) y)) (* (sqrt z) (* (* x 18.0) y)) (* (* x 18.0) y) (* (cbrt (* (* x 18.0) y)) z) (* (cbrt (exp (+ (log x) (log y)))) (cbrt 18.0)) (* (cbrt (exp (+ (log x) (log y)))) (cbrt 18.0)) (* (cbrt 18.0) (* (pow (/ -1 x) -1/3) (pow (/ -1 y) -1/3))) (* (cbrt (exp (+ (log x) (log y)))) (cbrt 18.0)) (* (cbrt (exp (+ (log x) (log y)))) (cbrt 18.0)) (* (cbrt 18.0) (* (pow (/ -1 x) -1/3) (pow (/ -1 y) -1/3))) (* (cbrt (exp (+ (log x) (log y)))) (cbrt 18.0)) (* (cbrt (exp (+ (log x) (log y)))) (cbrt 18.0)) (* (cbrt 18.0) (* (pow (/ -1 x) -1/3) (pow (/ -1 y) -1/3))) 0 (* 18.0 (* x (* z y))) (* 18.0 (* x (* z y))) 19.987 * * * [progress]: adding candidates to table 20.278 * [progress]: [Phase 3 of 3] Extracting. 20.278 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 20.287 * * * [regime-changes]: Trying 14 branch expressions: ((* j 27.0) (* (* j 27.0) k) (* b c) (* a 4.0) k j i c b a t z y x) 20.287 * * * * [regimes]: Trying to branch on (* j 27.0) from (# # # # # # # # # #) 20.357 * * * * [regimes]: Trying to branch on (* j 27.0) from (# #) 20.381 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (# # # # # # # # # #) 20.447 * * * * [regimes]: Trying to branch on (* b c) from (# # # # # # # # # #) 20.527 * * * * [regimes]: Trying to branch on (* a 4.0) from (# # # # # # # # # #) 20.600 * * * * [regimes]: Trying to branch on k from (# # # # # # # # # #) 20.671 * * * * [regimes]: Trying to branch on j from (# # # # # # # # # #) 20.737 * * * * [regimes]: Trying to branch on i from (# # # # # # # # # #) 20.802 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # #) 20.883 * * * * [regimes]: Trying to branch on b from (# # # # # # # # # #) 20.957 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # #) 21.030 * * * * [regimes]: Trying to branch on t from (# # # # # # # # # #) 21.108 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # #) 21.187 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # #) 21.251 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # #) 21.323 * * * [regime]: Found split indices: #