2.340 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.030 * * * [progress]: [2/2] Setting up program. 0.032 * [progress]: [Phase 2 of 3] Improving. 0.033 * [simplify]: Simplifying using # : (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) 0.034 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 0.035 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 0.038 * * [simplify]: iteration 2 : 45 enodes (cost 10 ) 0.043 * * [simplify]: iteration 3 : 65 enodes (cost 10 ) 0.054 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 0.066 * * [simplify]: iteration 5 : 110 enodes (cost 10 ) 0.079 * * [simplify]: iteration 6 : 122 enodes (cost 10 ) 0.094 * * [simplify]: iteration done : 122 enodes (cost 10 ) 0.094 * [simplify]: Simplified to: (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) 0.094 * * [progress]: iteration 1 / 4 0.094 * * * [progress]: picking best candidate 0.096 * * * * [pick]: Picked # 0.097 * * * [progress]: localizing error 0.107 * * * [progress]: generating rewritten candidates 0.107 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 0.111 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.114 * * * [progress]: generating series expansions 0.114 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 0.114 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 0.114 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 0.114 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.114 * [taylor]: Taking taylor expansion of z in z 0.116 * [taylor]: Taking taylor expansion of y in z 0.116 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.116 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.116 * [taylor]: Taking taylor expansion of z in y 0.116 * [taylor]: Taking taylor expansion of y in y 0.116 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.116 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.116 * [taylor]: Taking taylor expansion of z in y 0.116 * [taylor]: Taking taylor expansion of y in y 0.116 * [taylor]: Taking taylor expansion of 0 in z 0.117 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.117 * [taylor]: Taking taylor expansion of z in z 0.119 * [taylor]: Taking taylor expansion of 0 in z 0.120 * [taylor]: Taking taylor expansion of 0 in z 0.124 * [taylor]: Taking taylor expansion of 0 in z 0.127 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 0.127 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 0.127 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.127 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.127 * [taylor]: Taking taylor expansion of z in z 0.129 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.129 * [taylor]: Taking taylor expansion of y in z 0.129 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.129 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.129 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.129 * [taylor]: Taking taylor expansion of z in y 0.129 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.129 * [taylor]: Taking taylor expansion of y in y 0.129 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.129 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.129 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.129 * [taylor]: Taking taylor expansion of z in y 0.130 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.130 * [taylor]: Taking taylor expansion of y in y 0.130 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.130 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.130 * [taylor]: Taking taylor expansion of z in z 0.132 * [taylor]: Taking taylor expansion of 0 in z 0.134 * [taylor]: Taking taylor expansion of 0 in z 0.138 * [taylor]: Taking taylor expansion of 0 in z 0.141 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0 0.141 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z 0.141 * [taylor]: Taking taylor expansion of -1 in z 0.141 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 0.141 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.141 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.141 * [taylor]: Taking taylor expansion of -1 in z 0.141 * [taylor]: Taking taylor expansion of z in z 0.143 * [taylor]: Taking taylor expansion of y in z 0.143 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 0.143 * [taylor]: Taking taylor expansion of -1 in y 0.143 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.143 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.143 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.143 * [taylor]: Taking taylor expansion of -1 in y 0.143 * [taylor]: Taking taylor expansion of z in y 0.143 * [taylor]: Taking taylor expansion of y in y 0.143 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 0.143 * [taylor]: Taking taylor expansion of -1 in y 0.143 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.143 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.143 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.143 * [taylor]: Taking taylor expansion of -1 in y 0.143 * [taylor]: Taking taylor expansion of z in y 0.144 * [taylor]: Taking taylor expansion of y in y 0.144 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z 0.144 * [taylor]: Taking taylor expansion of -1 in z 0.144 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.144 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.144 * [taylor]: Taking taylor expansion of -1 in z 0.144 * [taylor]: Taking taylor expansion of z in z 0.147 * [taylor]: Taking taylor expansion of 0 in z 0.153 * [taylor]: Taking taylor expansion of 0 in z 0.159 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.159 * [approximate]: Taking taylor expansion of (+ (* (sqrt z) y) x) in (x y z) around 0 0.159 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in z 0.159 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 0.159 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.159 * [taylor]: Taking taylor expansion of z in z 0.160 * [taylor]: Taking taylor expansion of y in z 0.160 * [taylor]: Taking taylor expansion of x in z 0.160 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in y 0.160 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.160 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.160 * [taylor]: Taking taylor expansion of z in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.161 * [taylor]: Taking taylor expansion of x in y 0.161 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in x 0.161 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in x 0.161 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.161 * [taylor]: Taking taylor expansion of z in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in x 0.161 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in x 0.161 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.161 * [taylor]: Taking taylor expansion of z in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.161 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.161 * [taylor]: Taking taylor expansion of z in y 0.161 * [taylor]: Taking taylor expansion of y in y 0.161 * [taylor]: Taking taylor expansion of 0 in z 0.162 * [taylor]: Taking taylor expansion of 1 in y 0.162 * [taylor]: Taking taylor expansion of 1 in z 0.162 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.162 * [taylor]: Taking taylor expansion of z in z 0.164 * [taylor]: Taking taylor expansion of 0 in y 0.164 * [taylor]: Taking taylor expansion of 0 in z 0.164 * [taylor]: Taking taylor expansion of 0 in z 0.165 * [taylor]: Taking taylor expansion of 0 in z 0.165 * [approximate]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in (x y z) around 0 0.165 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in z 0.165 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 0.165 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.165 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.165 * [taylor]: Taking taylor expansion of z in z 0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.167 * [taylor]: Taking taylor expansion of y in z 0.167 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.167 * [taylor]: Taking taylor expansion of x in z 0.167 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in y 0.167 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.167 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.167 * [taylor]: Taking taylor expansion of z in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.168 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.168 * [taylor]: Taking taylor expansion of x in y 0.168 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in x 0.168 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in x 0.168 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.168 * [taylor]: Taking taylor expansion of z in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.168 * [taylor]: Taking taylor expansion of y in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.168 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in x 0.168 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in x 0.168 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.168 * [taylor]: Taking taylor expansion of z in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.169 * [taylor]: Taking taylor expansion of y in x 0.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.169 * [taylor]: Taking taylor expansion of x in x 0.169 * [taylor]: Taking taylor expansion of 1 in y 0.170 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.170 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.170 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.170 * [taylor]: Taking taylor expansion of z in y 0.170 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.170 * [taylor]: Taking taylor expansion of y in y 0.171 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.171 * [taylor]: Taking taylor expansion of z in z 0.172 * [taylor]: Taking taylor expansion of 1 in z 0.173 * [taylor]: Taking taylor expansion of 0 in y 0.174 * [taylor]: Taking taylor expansion of 0 in z 0.174 * [taylor]: Taking taylor expansion of 0 in z 0.176 * [taylor]: Taking taylor expansion of 0 in y 0.176 * [taylor]: Taking taylor expansion of 0 in z 0.178 * [taylor]: Taking taylor expansion of 0 in z 0.178 * [taylor]: Taking taylor expansion of 0 in z 0.181 * [approximate]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in (x y z) around 0 0.181 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in z 0.181 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in z 0.181 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 0.181 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.181 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.181 * [taylor]: Taking taylor expansion of -1 in z 0.181 * [taylor]: Taking taylor expansion of z in z 0.182 * [taylor]: Taking taylor expansion of y in z 0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.182 * [taylor]: Taking taylor expansion of x in z 0.182 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in y 0.182 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in y 0.182 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.182 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.182 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.182 * [taylor]: Taking taylor expansion of -1 in y 0.182 * [taylor]: Taking taylor expansion of z in y 0.183 * [taylor]: Taking taylor expansion of y in y 0.183 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.183 * [taylor]: Taking taylor expansion of x in y 0.183 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in x 0.183 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in x 0.183 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in x 0.183 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.183 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.183 * [taylor]: Taking taylor expansion of -1 in x 0.183 * [taylor]: Taking taylor expansion of z in x 0.183 * [taylor]: Taking taylor expansion of y in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.183 * [taylor]: Taking taylor expansion of x in x 0.183 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in x 0.183 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in x 0.183 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in x 0.183 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.183 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.183 * [taylor]: Taking taylor expansion of -1 in x 0.184 * [taylor]: Taking taylor expansion of z in x 0.184 * [taylor]: Taking taylor expansion of y in x 0.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.184 * [taylor]: Taking taylor expansion of x in x 0.185 * [taylor]: Taking taylor expansion of -1 in y 0.185 * [taylor]: Taking taylor expansion of (- (/ (sqrt (/ -1 z)) y)) in y 0.185 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.185 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.185 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.185 * [taylor]: Taking taylor expansion of -1 in y 0.185 * [taylor]: Taking taylor expansion of z in y 0.186 * [taylor]: Taking taylor expansion of y in y 0.186 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 z))) in z 0.186 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.186 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.186 * [taylor]: Taking taylor expansion of -1 in z 0.186 * [taylor]: Taking taylor expansion of z in z 0.188 * [taylor]: Taking taylor expansion of -1 in z 0.189 * [taylor]: Taking taylor expansion of 0 in y 0.190 * [taylor]: Taking taylor expansion of 0 in z 0.190 * [taylor]: Taking taylor expansion of 0 in z 0.197 * * * [progress]: simplifying candidates 0.198 * [simplify]: Simplifying using # : (* y (sqrt z)) (+ (log y) (log (sqrt z))) (log (* y (sqrt z))) (exp (* y (sqrt z))) (* (* (* y y) y) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* y (sqrt z))) (cbrt (* y (sqrt z)))) (cbrt (* y (sqrt z))) (* (* (* y (sqrt z)) (* y (sqrt z))) (* y (sqrt z))) (sqrt (* y (sqrt z))) (sqrt (* y (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* y (sqrt (* (cbrt z) (cbrt z)))) (* y (sqrt (sqrt z))) (* y (sqrt 1)) (* y (sqrt (sqrt z))) (* y 1) (* (cbrt y) (sqrt z)) (* (sqrt y) (sqrt z)) (* y (sqrt z)) (* (exp x) (exp (* y (sqrt z)))) (log (+ x (* y (sqrt z)))) (exp (+ x (* y (sqrt z)))) (* (cbrt (+ x (* y (sqrt z)))) (cbrt (+ x (* y (sqrt z))))) (cbrt (+ x (* y (sqrt z)))) (* (* (+ x (* y (sqrt z))) (+ x (* y (sqrt z)))) (+ x (* y (sqrt z)))) (sqrt (+ x (* y (sqrt z)))) (sqrt (+ x (* y (sqrt z)))) (+ (pow x 3) (pow (* y (sqrt z)) 3)) (+ (* x x) (- (* (* y (sqrt z)) (* y (sqrt z))) (* x (* y (sqrt z))))) (- (* x x) (* (* y (sqrt z)) (* y (sqrt z)))) (- x (* y (sqrt z))) (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y))))))) (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2)))))))) (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2)))))))) x (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 0.200 * * [simplify]: iteration 0 : 86 enodes (cost 362 ) 0.218 * * [simplify]: iteration 1 : 220 enodes (cost 323 ) 0.257 * * [simplify]: iteration 2 : 545 enodes (cost 297 ) 0.475 * * [simplify]: iteration 3 : 1505 enodes (cost 288 ) 1.366 * * [simplify]: iteration 4 : 4324 enodes (cost 283 ) 3.688 * * [simplify]: iteration done : 5000 enodes (cost 283 ) 3.689 * [simplify]: Simplified to: (* y (sqrt z)) (log (* y (sqrt z))) (log (* y (sqrt z))) (exp (* y (sqrt z))) (pow (* y (sqrt z)) 3) (* (cbrt (* y (sqrt z))) (cbrt (* y (sqrt z)))) (cbrt (* y (sqrt z))) (pow (* y (sqrt z)) 3) (sqrt (* y (sqrt z))) (sqrt (* y (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* y (fabs (cbrt z))) (* y (sqrt (sqrt z))) y (* y (sqrt (sqrt z))) y (* (cbrt y) (sqrt z)) (* (sqrt y) (sqrt z)) (* y (sqrt z)) (exp (+ x (* y (sqrt z)))) (log (+ x (* y (sqrt z)))) (exp (+ x (* y (sqrt z)))) (* (cbrt (+ x (* y (sqrt z)))) (cbrt (+ x (* y (sqrt z))))) (cbrt (+ x (* y (sqrt z)))) (pow (+ x (* y (sqrt z))) 3) (sqrt (+ x (* y (sqrt z)))) (sqrt (+ x (* y (sqrt z)))) (+ (pow x 3) (pow (* y (sqrt z)) 3)) (+ (* (* y y) z) (* x (- x (* y (sqrt z))))) (- (* x x) (* (* y y) z)) (- x (* y (sqrt z))) (* (* +nan.0 y) (- (- z (* z z)) (pow z 3))) (- (* +nan.0 y) (* (/ y z) (+ (/ +nan.0 z) +nan.0))) (- (* +nan.0 y) (* (/ y z) (+ (/ +nan.0 z) +nan.0))) x (- x (* +nan.0 (- (/ y z) y))) (- x (* +nan.0 (- (/ y z) y))) 3.689 * * * [progress]: adding candidates to table 3.778 * * [progress]: iteration 2 / 4 3.778 * * * [progress]: picking best candidate 3.793 * * * * [pick]: Picked # 3.793 * * * [progress]: localizing error 3.804 * * * [progress]: generating rewritten candidates 3.804 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 3.805 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1) 3.805 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 3.815 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 3.819 * * * [progress]: generating series expansions 3.819 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 3.819 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 3.819 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 3.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 3.819 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 3.819 * [taylor]: Taking taylor expansion of 1/3 in z 3.819 * [taylor]: Taking taylor expansion of (log z) in z 3.819 * [taylor]: Taking taylor expansion of z in z 3.820 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 3.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 3.820 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 3.820 * [taylor]: Taking taylor expansion of 1/3 in z 3.820 * [taylor]: Taking taylor expansion of (log z) in z 3.820 * [taylor]: Taking taylor expansion of z in z 3.874 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 3.874 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.874 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.874 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.874 * [taylor]: Taking taylor expansion of 1/3 in z 3.874 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.874 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.874 * [taylor]: Taking taylor expansion of z in z 3.875 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.875 * [taylor]: Taking taylor expansion of 1/3 in z 3.875 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.875 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.875 * [taylor]: Taking taylor expansion of z in z 3.931 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 3.931 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 3.931 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.931 * [taylor]: Taking taylor expansion of -1 in z 3.932 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.932 * [taylor]: Taking taylor expansion of 1/3 in z 3.932 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.932 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.932 * [taylor]: Taking taylor expansion of z in z 3.933 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 3.933 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.933 * [taylor]: Taking taylor expansion of -1 in z 3.934 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.934 * [taylor]: Taking taylor expansion of 1/3 in z 3.934 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.934 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.934 * [taylor]: Taking taylor expansion of z in z 4.003 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1) 4.003 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 4.003 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 4.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 4.003 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 4.003 * [taylor]: Taking taylor expansion of 1/3 in z 4.003 * [taylor]: Taking taylor expansion of (log z) in z 4.003 * [taylor]: Taking taylor expansion of z in z 4.004 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 4.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 4.004 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 4.004 * [taylor]: Taking taylor expansion of 1/3 in z 4.004 * [taylor]: Taking taylor expansion of (log z) in z 4.004 * [taylor]: Taking taylor expansion of z in z 4.053 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 4.053 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 4.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 4.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 4.053 * [taylor]: Taking taylor expansion of 1/3 in z 4.053 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.053 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.054 * [taylor]: Taking taylor expansion of z in z 4.055 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 4.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 4.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 4.055 * [taylor]: Taking taylor expansion of 1/3 in z 4.055 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.055 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.055 * [taylor]: Taking taylor expansion of z in z 4.114 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 4.114 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 4.114 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.114 * [taylor]: Taking taylor expansion of -1 in z 4.115 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 4.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 4.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 4.115 * [taylor]: Taking taylor expansion of 1/3 in z 4.115 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.115 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.115 * [taylor]: Taking taylor expansion of z in z 4.116 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 4.116 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.116 * [taylor]: Taking taylor expansion of -1 in z 4.117 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 4.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 4.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 4.117 * [taylor]: Taking taylor expansion of 1/3 in z 4.117 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.117 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.117 * [taylor]: Taking taylor expansion of z in z 4.187 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 4.187 * [approximate]: Taking taylor expansion of (* (* (fabs (pow z 1/3)) y) (pow z 1/6)) in (y z) around 0 4.187 * [taylor]: Taking taylor expansion of (* (* (fabs (pow z 1/3)) y) (pow z 1/6)) in z 4.187 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in z 4.187 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z 4.187 * [taylor]: Taking taylor expansion of y in z 4.187 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 4.187 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 4.187 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 4.187 * [taylor]: Taking taylor expansion of 1/6 in z 4.187 * [taylor]: Taking taylor expansion of (log z) in z 4.187 * [taylor]: Taking taylor expansion of z in z 4.188 * [taylor]: Taking taylor expansion of (* (* (fabs (pow z 1/3)) y) (pow z 1/6)) in y 4.188 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in y 4.188 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y 4.188 * [taylor]: Taking taylor expansion of y in y 4.188 * [taylor]: Taking taylor expansion of (pow z 1/6) in y 4.188 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in y 4.188 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in y 4.189 * [taylor]: Taking taylor expansion of 1/6 in y 4.189 * [taylor]: Taking taylor expansion of (log z) in y 4.189 * [taylor]: Taking taylor expansion of z in y 4.189 * [taylor]: Taking taylor expansion of (* (* (fabs (pow z 1/3)) y) (pow z 1/6)) in y 4.189 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in y 4.189 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y 4.189 * [taylor]: Taking taylor expansion of y in y 4.189 * [taylor]: Taking taylor expansion of (pow z 1/6) in y 4.189 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in y 4.189 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in y 4.189 * [taylor]: Taking taylor expansion of 1/6 in y 4.189 * [taylor]: Taking taylor expansion of (log z) in y 4.189 * [taylor]: Taking taylor expansion of z in y 4.189 * [taylor]: Taking taylor expansion of 0 in z 4.192 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) (pow z 1/6)) in z 4.192 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z 4.192 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 4.192 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 4.192 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 4.192 * [taylor]: Taking taylor expansion of 1/6 in z 4.192 * [taylor]: Taking taylor expansion of (log z) in z 4.192 * [taylor]: Taking taylor expansion of z in z 4.196 * [taylor]: Taking taylor expansion of 0 in z 4.203 * [taylor]: Taking taylor expansion of 0 in z 4.204 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/6) (/ (fabs (pow (/ 1 z) 1/3)) y)) in (y z) around 0 4.204 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/6) (/ (fabs (pow (/ 1 z) 1/3)) y)) in z 4.204 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 4.204 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 4.204 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 4.204 * [taylor]: Taking taylor expansion of 1/6 in z 4.204 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.204 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.204 * [taylor]: Taking taylor expansion of z in z 4.205 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in z 4.205 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z 4.205 * [taylor]: Taking taylor expansion of y in z 4.205 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/6) (/ (fabs (pow (/ 1 z) 1/3)) y)) in y 4.205 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in y 4.205 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in y 4.205 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in y 4.205 * [taylor]: Taking taylor expansion of 1/6 in y 4.205 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 4.205 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.205 * [taylor]: Taking taylor expansion of z in y 4.205 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in y 4.205 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y 4.205 * [taylor]: Taking taylor expansion of y in y 4.206 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/6) (/ (fabs (pow (/ 1 z) 1/3)) y)) in y 4.206 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in y 4.206 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in y 4.206 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in y 4.206 * [taylor]: Taking taylor expansion of 1/6 in y 4.206 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 4.206 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.206 * [taylor]: Taking taylor expansion of z in y 4.206 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in y 4.206 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y 4.206 * [taylor]: Taking taylor expansion of y in y 4.206 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/6) (fabs (pow (/ 1 z) 1/3))) in z 4.206 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 4.206 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 4.206 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 4.206 * [taylor]: Taking taylor expansion of 1/6 in z 4.206 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.206 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.206 * [taylor]: Taking taylor expansion of z in z 4.207 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z 4.210 * [taylor]: Taking taylor expansion of 0 in z 4.217 * [taylor]: Taking taylor expansion of 0 in z 4.227 * [taylor]: Taking taylor expansion of 0 in z 4.228 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (cbrt -1)) (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6)))) in (y z) around 0 4.228 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (cbrt -1)) (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6)))) in z 4.228 * [taylor]: Taking taylor expansion of -1 in z 4.228 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt -1)) (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6))) in z 4.228 * [taylor]: Taking taylor expansion of (sqrt (cbrt -1)) in z 4.228 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.228 * [taylor]: Taking taylor expansion of -1 in z 4.235 * [taylor]: Taking taylor expansion of (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6)) in z 4.235 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in z 4.235 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z 4.236 * [taylor]: Taking taylor expansion of y in z 4.237 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 4.237 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 4.237 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 4.237 * [taylor]: Taking taylor expansion of 1/6 in z 4.237 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.237 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.237 * [taylor]: Taking taylor expansion of z in z 4.238 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (cbrt -1)) (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6)))) in y 4.238 * [taylor]: Taking taylor expansion of -1 in y 4.238 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt -1)) (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6))) in y 4.238 * [taylor]: Taking taylor expansion of (sqrt (cbrt -1)) in y 4.238 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.238 * [taylor]: Taking taylor expansion of -1 in y 4.240 * [taylor]: Taking taylor expansion of (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6)) in y 4.240 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in y 4.240 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y 4.240 * [taylor]: Taking taylor expansion of y in y 4.241 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in y 4.241 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in y 4.241 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in y 4.241 * [taylor]: Taking taylor expansion of 1/6 in y 4.241 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 4.241 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.241 * [taylor]: Taking taylor expansion of z in y 4.241 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (cbrt -1)) (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6)))) in y 4.241 * [taylor]: Taking taylor expansion of -1 in y 4.241 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt -1)) (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6))) in y 4.241 * [taylor]: Taking taylor expansion of (sqrt (cbrt -1)) in y 4.241 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.241 * [taylor]: Taking taylor expansion of -1 in y 4.243 * [taylor]: Taking taylor expansion of (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6)) in y 4.243 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in y 4.243 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y 4.244 * [taylor]: Taking taylor expansion of y in y 4.244 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in y 4.244 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in y 4.244 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in y 4.244 * [taylor]: Taking taylor expansion of 1/6 in y 4.244 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 4.244 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.244 * [taylor]: Taking taylor expansion of z in y 4.248 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (cbrt -1)) (* (pow (/ 1 z) 1/6) (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))))) in z 4.248 * [taylor]: Taking taylor expansion of -1 in z 4.248 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt -1)) (* (pow (/ 1 z) 1/6) (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))))) in z 4.248 * [taylor]: Taking taylor expansion of (sqrt (cbrt -1)) in z 4.248 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.248 * [taylor]: Taking taylor expansion of -1 in z 4.250 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/6) (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))) in z 4.250 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 4.250 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 4.250 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 4.250 * [taylor]: Taking taylor expansion of 1/6 in z 4.250 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.250 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.250 * [taylor]: Taking taylor expansion of z in z 4.251 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z 4.261 * [taylor]: Taking taylor expansion of 0 in z 4.276 * [taylor]: Taking taylor expansion of 0 in z 4.298 * [taylor]: Taking taylor expansion of 0 in z 4.300 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 4.300 * [approximate]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in (y z) around 0 4.300 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in z 4.300 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z 4.300 * [taylor]: Taking taylor expansion of y in z 4.300 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in y 4.300 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y 4.300 * [taylor]: Taking taylor expansion of y in y 4.300 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in y 4.300 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y 4.300 * [taylor]: Taking taylor expansion of y in y 4.300 * [taylor]: Taking taylor expansion of 0 in z 4.301 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z 4.302 * [taylor]: Taking taylor expansion of 0 in z 4.302 * [taylor]: Taking taylor expansion of 0 in z 4.302 * [approximate]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in (y z) around 0 4.302 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in z 4.303 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z 4.303 * [taylor]: Taking taylor expansion of y in z 4.303 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in y 4.303 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y 4.303 * [taylor]: Taking taylor expansion of y in y 4.303 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in y 4.303 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y 4.303 * [taylor]: Taking taylor expansion of y in y 4.303 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z 4.304 * [taylor]: Taking taylor expansion of 0 in z 4.305 * [taylor]: Taking taylor expansion of 0 in z 4.307 * [taylor]: Taking taylor expansion of 0 in z 4.307 * [approximate]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in (y z) around 0 4.307 * [taylor]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in z 4.307 * [taylor]: Taking taylor expansion of -1 in z 4.307 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in z 4.307 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z 4.308 * [taylor]: Taking taylor expansion of y in z 4.308 * [taylor]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in y 4.308 * [taylor]: Taking taylor expansion of -1 in y 4.308 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in y 4.308 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y 4.309 * [taylor]: Taking taylor expansion of y in y 4.309 * [taylor]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in y 4.309 * [taylor]: Taking taylor expansion of -1 in y 4.309 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in y 4.309 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y 4.310 * [taylor]: Taking taylor expansion of y in y 4.311 * [taylor]: Taking taylor expansion of (* -1 (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))) in z 4.311 * [taylor]: Taking taylor expansion of -1 in z 4.311 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z 4.314 * [taylor]: Taking taylor expansion of 0 in z 4.318 * [taylor]: Taking taylor expansion of 0 in z 4.322 * [taylor]: Taking taylor expansion of 0 in z 4.323 * * * [progress]: simplifying candidates 4.324 * [simplify]: Simplifying using # : (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (* (* y (fabs (cbrt z))) (sqrt (cbrt z))) (* (* y (fabs (cbrt z))) (sqrt (cbrt z))) (+ (+ (log y) (log (fabs (cbrt z)))) (log (sqrt (cbrt z)))) (+ (log (* y (fabs (cbrt z)))) (log (sqrt (cbrt z)))) (log (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (exp (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (* (* (* (* y y) y) (* (* (fabs (cbrt z)) (fabs (cbrt z))) (fabs (cbrt z)))) (* (* (sqrt (cbrt z)) (sqrt (cbrt z))) (sqrt (cbrt z)))) (* (* (* (* y (fabs (cbrt z))) (* y (fabs (cbrt z)))) (* y (fabs (cbrt z)))) (* (* (sqrt (cbrt z)) (sqrt (cbrt z))) (sqrt (cbrt z)))) (* (cbrt (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (cbrt (* (* y (fabs (cbrt z))) (sqrt (cbrt z))))) (cbrt (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (* (* (* (* y (fabs (cbrt z))) (sqrt (cbrt z))) (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (sqrt (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (sqrt (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (* (* y (fabs (cbrt z))) (* (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))))) (* (* y (fabs (cbrt z))) (sqrt (cbrt (* (cbrt z) (cbrt z))))) (* (* y (fabs (cbrt z))) (sqrt (cbrt (sqrt z)))) (* (* y (fabs (cbrt z))) (sqrt (cbrt 1))) (* (* y (fabs (cbrt z))) (sqrt (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (* y (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))) (* (* y (fabs (cbrt z))) (sqrt 1)) (* (* y (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))) (* (* y (fabs (cbrt z))) 1) (* (fabs (cbrt z)) (sqrt (cbrt z))) (* y (fabs (cbrt z))) (+ (log y) (log (fabs (cbrt z)))) (log (* y (fabs (cbrt z)))) (exp (* y (fabs (cbrt z)))) (* (* (* y y) y) (* (* (fabs (cbrt z)) (fabs (cbrt z))) (fabs (cbrt z)))) (* (cbrt (* y (fabs (cbrt z)))) (cbrt (* y (fabs (cbrt z))))) (cbrt (* y (fabs (cbrt z)))) (* (* (* y (fabs (cbrt z))) (* y (fabs (cbrt z)))) (* y (fabs (cbrt z)))) (sqrt (* y (fabs (cbrt z)))) (sqrt (* y (fabs (cbrt z)))) (* (sqrt y) (sqrt (fabs (cbrt z)))) (* (sqrt y) (sqrt (fabs (cbrt z)))) (* y (* (cbrt (fabs (cbrt z))) (cbrt (fabs (cbrt z))))) (* y (sqrt (fabs (cbrt z)))) (* y 1) (* (cbrt y) (fabs (cbrt z))) (* (sqrt y) (fabs (cbrt z))) (* y (fabs (cbrt z))) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (* (* (fabs (pow z 1/3)) y) (pow z 1/6)) (* (* (fabs (pow z 1/3)) y) (pow z 1/6)) (* (pow (* -1 z) 1/6) (* (sqrt (cbrt -1)) (* (fabs (* (pow (* -1 z) 1/3) (cbrt -1))) y))) (* (fabs (pow z 1/3)) y) (* (fabs (pow z 1/3)) y) (* (fabs (* (pow (* -1 z) 1/3) (cbrt -1))) y) 4.327 * * [simplify]: iteration 0 : 96 enodes (cost 636 ) 4.352 * * [simplify]: iteration 1 : 211 enodes (cost 585 ) 4.405 * * [simplify]: iteration 2 : 668 enodes (cost 512 ) 4.703 * * [simplify]: iteration 3 : 2282 enodes (cost 506 ) 5.670 * * [simplify]: iteration done : 5000 enodes (cost 506 ) 5.671 * [simplify]: Simplified to: (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (* (* y (fabs (cbrt z))) (sqrt (cbrt z))) (* (* y (fabs (cbrt z))) (sqrt (cbrt z))) (log (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (log (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (log (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (exp (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (pow (* (* y (fabs (cbrt z))) (sqrt (cbrt z))) 3) (pow (* (* y (fabs (cbrt z))) (sqrt (cbrt z))) 3) (* (cbrt (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (cbrt (* (* y (fabs (cbrt z))) (sqrt (cbrt z))))) (cbrt (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (pow (* (* y (fabs (cbrt z))) (sqrt (cbrt z))) 3) (sqrt (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (sqrt (* (* y (fabs (cbrt z))) (sqrt (cbrt z)))) (* (* y (fabs (cbrt z))) (* (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))))) (* (* (fabs (cbrt z)) y) (sqrt (cbrt (pow z 2/3)))) (* (* y (fabs (cbrt z))) (sqrt (cbrt (sqrt z)))) (* (fabs (cbrt z)) y) (* (* (fabs (cbrt z)) y) (fabs (cbrt (cbrt z)))) (* (* y (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))) (* (fabs (cbrt z)) y) (* (* y (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))) (* (fabs (cbrt z)) y) (* (fabs (cbrt z)) (sqrt (cbrt z))) (* (fabs (cbrt z)) y) (log (* y (fabs (cbrt z)))) (log (* y (fabs (cbrt z)))) (exp (* y (fabs (cbrt z)))) (pow (* (fabs (cbrt z)) y) 3) (* (cbrt (* y (fabs (cbrt z)))) (cbrt (* y (fabs (cbrt z))))) (cbrt (* y (fabs (cbrt z)))) (pow (* (fabs (cbrt z)) y) 3) (sqrt (* y (fabs (cbrt z)))) (sqrt (* y (fabs (cbrt z)))) (* (sqrt y) (sqrt (fabs (cbrt z)))) (* (sqrt y) (sqrt (fabs (cbrt z)))) (* y (* (cbrt (fabs (cbrt z))) (cbrt (fabs (cbrt z))))) (* y (sqrt (fabs (cbrt z)))) y (* (cbrt y) (fabs (cbrt z))) (* (sqrt y) (fabs (cbrt z))) (* (fabs (cbrt z)) y) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt -1) (cbrt (- z))) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt -1) (cbrt (- z))) (* (* (fabs (cbrt z)) y) (pow z 1/6)) (* (* (fabs (cbrt z)) y) (pow z 1/6)) (* (* (pow (- z) 1/6) (sqrt (cbrt -1))) (* (fabs (* (cbrt -1) (cbrt (- z)))) y)) (* (fabs (cbrt z)) y) (* (fabs (cbrt z)) y) (* (fabs (* (cbrt -1) (cbrt (- z)))) y) 5.672 * * * [progress]: adding candidates to table 5.889 * * [progress]: iteration 3 / 4 5.889 * * * [progress]: picking best candidate 5.909 * * * * [pick]: Picked # 5.909 * * * [progress]: localizing error 5.925 * * * [progress]: generating rewritten candidates 5.925 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2) 5.926 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1) 5.927 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1) 5.927 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1) 5.939 * * * [progress]: generating series expansions 5.940 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2) 5.940 * [approximate]: Taking taylor expansion of (pow z 1/6) in (z) around 0 5.940 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 5.940 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 5.940 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 5.940 * [taylor]: Taking taylor expansion of 1/6 in z 5.940 * [taylor]: Taking taylor expansion of (log z) in z 5.940 * [taylor]: Taking taylor expansion of z in z 5.941 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 5.941 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 5.941 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 5.941 * [taylor]: Taking taylor expansion of 1/6 in z 5.941 * [taylor]: Taking taylor expansion of (log z) in z 5.941 * [taylor]: Taking taylor expansion of z in z 5.997 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/6) in (z) around 0 5.997 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 5.997 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 5.997 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 5.997 * [taylor]: Taking taylor expansion of 1/6 in z 5.997 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.997 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.997 * [taylor]: Taking taylor expansion of z in z 5.998 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 5.998 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 5.998 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 5.998 * [taylor]: Taking taylor expansion of 1/6 in z 5.998 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.998 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.998 * [taylor]: Taking taylor expansion of z in z 6.057 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in (z) around 0 6.057 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 6.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 6.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 6.058 * [taylor]: Taking taylor expansion of 1/3 in z 6.058 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 6.058 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 6.058 * [taylor]: Taking taylor expansion of (/ -1 z) in z 6.058 * [taylor]: Taking taylor expansion of -1 in z 6.058 * [taylor]: Taking taylor expansion of z in z 6.061 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 6.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 6.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 6.061 * [taylor]: Taking taylor expansion of 1/3 in z 6.061 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 6.061 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 6.061 * [taylor]: Taking taylor expansion of (/ -1 z) in z 6.061 * [taylor]: Taking taylor expansion of -1 in z 6.061 * [taylor]: Taking taylor expansion of z in z 6.098 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1) 6.098 * [approximate]: Taking taylor expansion of (pow z 1/6) in (z) around 0 6.098 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 6.098 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 6.098 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 6.098 * [taylor]: Taking taylor expansion of 1/6 in z 6.098 * [taylor]: Taking taylor expansion of (log z) in z 6.098 * [taylor]: Taking taylor expansion of z in z 6.099 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 6.099 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 6.099 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 6.099 * [taylor]: Taking taylor expansion of 1/6 in z 6.099 * [taylor]: Taking taylor expansion of (log z) in z 6.099 * [taylor]: Taking taylor expansion of z in z 6.156 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/6) in (z) around 0 6.156 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 6.156 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 6.156 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 6.156 * [taylor]: Taking taylor expansion of 1/6 in z 6.156 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.156 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.156 * [taylor]: Taking taylor expansion of z in z 6.157 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 6.157 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 6.157 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 6.157 * [taylor]: Taking taylor expansion of 1/6 in z 6.157 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.157 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.157 * [taylor]: Taking taylor expansion of z in z 6.217 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in (z) around 0 6.217 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 6.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 6.217 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 6.217 * [taylor]: Taking taylor expansion of 1/3 in z 6.217 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 6.217 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 6.217 * [taylor]: Taking taylor expansion of (/ -1 z) in z 6.217 * [taylor]: Taking taylor expansion of -1 in z 6.217 * [taylor]: Taking taylor expansion of z in z 6.220 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 6.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 6.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 6.220 * [taylor]: Taking taylor expansion of 1/3 in z 6.220 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 6.220 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 6.220 * [taylor]: Taking taylor expansion of (/ -1 z) in z 6.220 * [taylor]: Taking taylor expansion of -1 in z 6.220 * [taylor]: Taking taylor expansion of z in z 6.257 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1) 6.257 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 6.257 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 6.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 6.257 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 6.257 * [taylor]: Taking taylor expansion of 1/3 in z 6.257 * [taylor]: Taking taylor expansion of (log z) in z 6.257 * [taylor]: Taking taylor expansion of z in z 6.258 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 6.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 6.258 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 6.258 * [taylor]: Taking taylor expansion of 1/3 in z 6.258 * [taylor]: Taking taylor expansion of (log z) in z 6.258 * [taylor]: Taking taylor expansion of z in z 6.315 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 6.315 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 6.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 6.315 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 6.315 * [taylor]: Taking taylor expansion of 1/3 in z 6.315 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.315 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.315 * [taylor]: Taking taylor expansion of z in z 6.316 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 6.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 6.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 6.316 * [taylor]: Taking taylor expansion of 1/3 in z 6.316 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.316 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.316 * [taylor]: Taking taylor expansion of z in z 6.370 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 6.370 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 6.370 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.370 * [taylor]: Taking taylor expansion of -1 in z 6.371 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 6.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 6.371 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 6.371 * [taylor]: Taking taylor expansion of 1/3 in z 6.371 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.371 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.371 * [taylor]: Taking taylor expansion of z in z 6.372 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 6.372 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.372 * [taylor]: Taking taylor expansion of -1 in z 6.373 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 6.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 6.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 6.373 * [taylor]: Taking taylor expansion of 1/3 in z 6.373 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.373 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.373 * [taylor]: Taking taylor expansion of z in z 6.445 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1) 6.445 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 6.445 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 6.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 6.445 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 6.445 * [taylor]: Taking taylor expansion of 1/3 in z 6.445 * [taylor]: Taking taylor expansion of (log z) in z 6.445 * [taylor]: Taking taylor expansion of z in z 6.446 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 6.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 6.446 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 6.446 * [taylor]: Taking taylor expansion of 1/3 in z 6.446 * [taylor]: Taking taylor expansion of (log z) in z 6.446 * [taylor]: Taking taylor expansion of z in z 6.502 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 6.502 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 6.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 6.502 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 6.502 * [taylor]: Taking taylor expansion of 1/3 in z 6.502 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.502 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.502 * [taylor]: Taking taylor expansion of z in z 6.503 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 6.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 6.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 6.503 * [taylor]: Taking taylor expansion of 1/3 in z 6.503 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.503 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.503 * [taylor]: Taking taylor expansion of z in z 6.563 * [approximate]: Taking taylor expansion of (pow (pow (sqrt (/ -1 z)) 2) 1/3) in (z) around 0 6.563 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 z)) 2) 1/3) in z 6.563 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 z)) 2)))) in z 6.563 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 z)) 2))) in z 6.563 * [taylor]: Taking taylor expansion of 1/3 in z 6.563 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 z)) 2)) in z 6.563 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 6.563 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 6.563 * [taylor]: Taking taylor expansion of (/ -1 z) in z 6.563 * [taylor]: Taking taylor expansion of -1 in z 6.563 * [taylor]: Taking taylor expansion of z in z 6.567 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 z)) 2) 1/3) in z 6.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 z)) 2)))) in z 6.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 z)) 2))) in z 6.567 * [taylor]: Taking taylor expansion of 1/3 in z 6.567 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 z)) 2)) in z 6.567 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 6.567 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 6.567 * [taylor]: Taking taylor expansion of (/ -1 z) in z 6.567 * [taylor]: Taking taylor expansion of -1 in z 6.567 * [taylor]: Taking taylor expansion of z in z 6.608 * * * [progress]: simplifying candidates 6.609 * [simplify]: Simplifying using # : (log (cbrt (sqrt z))) (exp (cbrt (sqrt z))) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (cbrt (sqrt (* (cbrt z) (cbrt z)))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt 1)) (cbrt (sqrt z)) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt 1) (cbrt (sqrt z)) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (log (cbrt (sqrt z))) (exp (cbrt (sqrt z))) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (cbrt (sqrt (* (cbrt z) (cbrt z)))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt 1)) (cbrt (sqrt z)) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt 1) (cbrt (sqrt z)) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (+ 1/3 1/3) (+ 1 1) (* (sqrt z) (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (+ 1 1) (+ (log (cbrt (sqrt z))) (log (cbrt (sqrt z)))) (log (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (exp (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (sqrt z) (sqrt z)) (* (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (* (cbrt (sqrt (* (cbrt z) (cbrt z)))) (cbrt (sqrt (* (cbrt z) (cbrt z))))) (* (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))))) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (* (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* 1 1) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* (sqrt (cbrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (sqrt (cbrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (sqrt (cbrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (sqrt (cbrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* 2 1/3) (* 2 1) (* (cbrt (sqrt z)) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (cbrt (sqrt z)) (cbrt (sqrt (* (cbrt z) (cbrt z))))) (* (cbrt (sqrt z)) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt z)) (cbrt (sqrt 1))) (* (cbrt (sqrt z)) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt z)) (cbrt 1)) (* (cbrt (sqrt z)) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))))) (* (cbrt (sqrt z)) (sqrt (cbrt (sqrt z)))) (* (cbrt (sqrt z)) 1) (* (cbrt (cbrt (sqrt z))) (cbrt (sqrt z))) (* (cbrt (sqrt (cbrt z))) (cbrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (cbrt (sqrt z))) (cbrt (sqrt z))) (* (sqrt (cbrt (sqrt z))) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (pow z 1/6) (pow (/ 1 z) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 (pow z 2)) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 z) (pow +nan.0 1/3)))))) (pow z 1/6) (pow (/ 1 z) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 (pow z 2)) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 z) (pow +nan.0 1/3)))))) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 (pow z 2)) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 z) (pow +nan.0 1/3)))))) 6.612 * * [simplify]: iteration 0 : 89 enodes (cost 981 ) 6.641 * * [simplify]: iteration 1 : 167 enodes (cost 867 ) 6.668 * * [simplify]: iteration 2 : 427 enodes (cost 805 ) 6.877 * * [simplify]: iteration 3 : 1333 enodes (cost 758 ) 7.817 * * [simplify]: iteration 4 : 4473 enodes (cost 747 ) 9.969 * * [simplify]: iteration done : 5000 enodes (cost 747 ) 9.970 * [simplify]: Simplified to: (log (cbrt (sqrt z))) (exp (cbrt (sqrt z))) (cbrt (pow (sqrt (cbrt (sqrt z))) 4)) (cbrt (cbrt (sqrt z))) (cbrt (fabs (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) 1 (cbrt (sqrt z)) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) 1 (cbrt (sqrt z)) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (sqrt z) (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (log (cbrt (sqrt z))) (exp (cbrt (sqrt z))) (cbrt (pow (sqrt (cbrt (sqrt z))) 4)) (cbrt (cbrt (sqrt z))) (cbrt (fabs (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) 1 (cbrt (sqrt z)) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) 1 (cbrt (sqrt z)) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (sqrt z) (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) 2/3 2 z (pow (sqrt (cbrt (sqrt z))) 4) 2 (* 2 (log (cbrt (sqrt z)))) (* 2 (log (cbrt (sqrt z)))) (exp (pow (sqrt (cbrt (sqrt z))) 4)) z (* (cbrt (pow (sqrt (cbrt (sqrt z))) 4)) (cbrt (pow (sqrt (cbrt (sqrt z))) 4))) (cbrt (pow (sqrt (cbrt (sqrt z))) 4)) z (fabs (cbrt (sqrt z))) (fabs (cbrt (sqrt z))) (* (cbrt (pow (sqrt (cbrt (sqrt z))) 4)) (cbrt (pow (sqrt (cbrt (sqrt z))) 4))) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (* (cbrt (fabs (cbrt z))) (cbrt (fabs (cbrt z)))) (* (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) 1 (pow (sqrt (cbrt (sqrt z))) 4) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) 1 (pow (sqrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (pow (sqrt (cbrt (sqrt z))) 4) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (sqrt (cbrt (sqrt z)))) (cbrt (sqrt z)) (cbrt (sqrt z)) 2/3 2 (* (cbrt (pow (sqrt (cbrt (sqrt z))) 4)) (cbrt (sqrt z))) (* (cbrt (fabs (cbrt z))) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt z)) (pow (cbrt (cbrt (sqrt z))) 5) (pow (sqrt (cbrt (sqrt z))) 3) (cbrt (sqrt z)) (pow (cbrt (cbrt (sqrt z))) 4) (* (cbrt (sqrt (cbrt z))) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt (sqrt z)))) (pow (sqrt (cbrt (sqrt z))) 4) (* (cbrt (sqrt z)) (cbrt (sqrt (sqrt z)))) (pow (sqrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (pow (sqrt (cbrt (sqrt z))) 3) (pow (sqrt (cbrt (sqrt z))) 4) (pow z 1/6) (pow (/ 1 z) -1/6) (+ (cbrt +nan.0) (* (/ (cbrt +nan.0) z) (- +nan.0 (/ +nan.0 z)))) (pow z 1/6) (pow (/ 1 z) -1/6) (+ (cbrt +nan.0) (* (/ (cbrt +nan.0) z) (- +nan.0 (/ +nan.0 z)))) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt -1) (cbrt (- z))) (cbrt z) (pow (/ 1 z) -1/3) (+ (cbrt +nan.0) (* (/ (cbrt +nan.0) z) (- +nan.0 (/ +nan.0 z)))) 9.971 * * * [progress]: adding candidates to table 10.301 * * [progress]: iteration 4 / 4 10.301 * * * [progress]: picking best candidate 10.317 * * * * [pick]: Picked # 10.317 * * * [progress]: localizing error 10.331 * * * [progress]: generating rewritten candidates 10.331 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 10.332 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 1) 10.332 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 1 1) 10.333 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 10.345 * * * [progress]: generating series expansions 10.345 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 10.345 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 10.345 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 10.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 10.345 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 10.345 * [taylor]: Taking taylor expansion of 1/3 in z 10.345 * [taylor]: Taking taylor expansion of (log z) in z 10.345 * [taylor]: Taking taylor expansion of z in z 10.346 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 10.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 10.346 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 10.346 * [taylor]: Taking taylor expansion of 1/3 in z 10.346 * [taylor]: Taking taylor expansion of (log z) in z 10.346 * [taylor]: Taking taylor expansion of z in z 10.401 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 10.401 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 10.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 10.401 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 10.401 * [taylor]: Taking taylor expansion of 1/3 in z 10.401 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.401 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.401 * [taylor]: Taking taylor expansion of z in z 10.402 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 10.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 10.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 10.402 * [taylor]: Taking taylor expansion of 1/3 in z 10.402 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.402 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.402 * [taylor]: Taking taylor expansion of z in z 10.456 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 10.456 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 10.456 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.456 * [taylor]: Taking taylor expansion of -1 in z 10.457 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 10.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 10.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 10.457 * [taylor]: Taking taylor expansion of 1/3 in z 10.457 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.457 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.457 * [taylor]: Taking taylor expansion of z in z 10.458 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 10.458 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.458 * [taylor]: Taking taylor expansion of -1 in z 10.459 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 10.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 10.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 10.459 * [taylor]: Taking taylor expansion of 1/3 in z 10.459 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.459 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.459 * [taylor]: Taking taylor expansion of z in z 10.528 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 1) 10.528 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 10.528 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 10.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 10.528 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 10.528 * [taylor]: Taking taylor expansion of 1/3 in z 10.528 * [taylor]: Taking taylor expansion of (log z) in z 10.528 * [taylor]: Taking taylor expansion of z in z 10.529 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 10.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 10.529 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 10.529 * [taylor]: Taking taylor expansion of 1/3 in z 10.529 * [taylor]: Taking taylor expansion of (log z) in z 10.529 * [taylor]: Taking taylor expansion of z in z 10.582 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 10.582 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 10.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 10.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 10.582 * [taylor]: Taking taylor expansion of 1/3 in z 10.582 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.582 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.582 * [taylor]: Taking taylor expansion of z in z 10.583 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 10.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 10.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 10.583 * [taylor]: Taking taylor expansion of 1/3 in z 10.583 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.583 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.583 * [taylor]: Taking taylor expansion of z in z 10.643 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 10.644 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 10.644 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.644 * [taylor]: Taking taylor expansion of -1 in z 10.645 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 10.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 10.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 10.645 * [taylor]: Taking taylor expansion of 1/3 in z 10.645 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.645 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.645 * [taylor]: Taking taylor expansion of z in z 10.646 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 10.646 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.646 * [taylor]: Taking taylor expansion of -1 in z 10.646 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 10.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 10.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 10.647 * [taylor]: Taking taylor expansion of 1/3 in z 10.647 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.647 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.647 * [taylor]: Taking taylor expansion of z in z 10.719 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 1 1) 10.719 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 10.719 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 10.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 10.719 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 10.719 * [taylor]: Taking taylor expansion of 1/3 in z 10.719 * [taylor]: Taking taylor expansion of (log z) in z 10.719 * [taylor]: Taking taylor expansion of z in z 10.720 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 10.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 10.720 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 10.720 * [taylor]: Taking taylor expansion of 1/3 in z 10.720 * [taylor]: Taking taylor expansion of (log z) in z 10.720 * [taylor]: Taking taylor expansion of z in z 10.770 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 10.770 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 10.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 10.770 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 10.770 * [taylor]: Taking taylor expansion of 1/3 in z 10.770 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.770 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.770 * [taylor]: Taking taylor expansion of z in z 10.771 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 10.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 10.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 10.771 * [taylor]: Taking taylor expansion of 1/3 in z 10.771 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.771 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.771 * [taylor]: Taking taylor expansion of z in z 10.832 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 10.832 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 10.832 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.832 * [taylor]: Taking taylor expansion of -1 in z 10.833 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 10.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 10.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 10.834 * [taylor]: Taking taylor expansion of 1/3 in z 10.834 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.834 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.834 * [taylor]: Taking taylor expansion of z in z 10.835 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 10.835 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.835 * [taylor]: Taking taylor expansion of -1 in z 10.835 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 10.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 10.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 10.835 * [taylor]: Taking taylor expansion of 1/3 in z 10.835 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.835 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.836 * [taylor]: Taking taylor expansion of z in z 10.908 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 10.908 * [approximate]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in (y z) around 0 10.908 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in z 10.908 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z 10.908 * [taylor]: Taking taylor expansion of y in z 10.908 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in y 10.908 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y 10.908 * [taylor]: Taking taylor expansion of y in y 10.908 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in y 10.908 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y 10.909 * [taylor]: Taking taylor expansion of y in y 10.909 * [taylor]: Taking taylor expansion of 0 in z 10.909 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z 10.910 * [taylor]: Taking taylor expansion of 0 in z 10.911 * [taylor]: Taking taylor expansion of 0 in z 10.911 * [approximate]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in (y z) around 0 10.911 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in z 10.911 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z 10.911 * [taylor]: Taking taylor expansion of y in z 10.912 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in y 10.912 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y 10.912 * [taylor]: Taking taylor expansion of y in y 10.912 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in y 10.912 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y 10.912 * [taylor]: Taking taylor expansion of y in y 10.912 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z 10.913 * [taylor]: Taking taylor expansion of 0 in z 10.914 * [taylor]: Taking taylor expansion of 0 in z 10.916 * [taylor]: Taking taylor expansion of 0 in z 10.916 * [approximate]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in (y z) around 0 10.916 * [taylor]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in z 10.916 * [taylor]: Taking taylor expansion of -1 in z 10.916 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in z 10.916 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z 10.917 * [taylor]: Taking taylor expansion of y in z 10.917 * [taylor]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in y 10.917 * [taylor]: Taking taylor expansion of -1 in y 10.917 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in y 10.917 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y 10.918 * [taylor]: Taking taylor expansion of y in y 10.918 * [taylor]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in y 10.918 * [taylor]: Taking taylor expansion of -1 in y 10.918 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in y 10.919 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y 10.919 * [taylor]: Taking taylor expansion of y in y 10.920 * [taylor]: Taking taylor expansion of (* -1 (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))) in z 10.920 * [taylor]: Taking taylor expansion of -1 in z 10.920 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z 10.923 * [taylor]: Taking taylor expansion of 0 in z 10.926 * [taylor]: Taking taylor expansion of 0 in z 10.930 * [taylor]: Taking taylor expansion of 0 in z 10.931 * * * [progress]: simplifying candidates 10.932 * [simplify]: Simplifying using # : (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (* (* y (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z)))) (* (* y (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z)))) (+ (+ (log y) (log (sqrt (fabs (cbrt z))))) (log (sqrt (fabs (cbrt z))))) (+ (log (* y (sqrt (fabs (cbrt z))))) (log (sqrt (fabs (cbrt z))))) (log (* (* y (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z))))) (exp (* (* y (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z))))) (* (* (* (* y y) y) (* (* (sqrt (fabs (cbrt z))) (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z))))) (* (* (sqrt (fabs (cbrt z))) (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z))))) (* (* (* (* y (sqrt (fabs (cbrt z)))) (* y (sqrt (fabs (cbrt z))))) (* y (sqrt (fabs (cbrt z))))) (* (* (sqrt (fabs (cbrt z))) (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z))))) (* (cbrt (* (* y (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z))))) (cbrt (* (* y (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z)))))) (cbrt (* (* y (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z))))) (* (* (* (* y (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z)))) (* (* y (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z))))) (* (* y (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z))))) (sqrt (* (* y (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z))))) (sqrt (* (* y (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z))))) (* (* y (sqrt (fabs (cbrt z)))) (* (cbrt (sqrt (fabs (cbrt z)))) (cbrt (sqrt (fabs (cbrt z)))))) (* (* y (sqrt (fabs (cbrt z)))) (sqrt (* (cbrt (fabs (cbrt z))) (cbrt (fabs (cbrt z)))))) (* (* y (sqrt (fabs (cbrt z)))) (sqrt (sqrt (fabs (cbrt z))))) (* (* y (sqrt (fabs (cbrt z)))) (sqrt 1)) (* (* y (sqrt (fabs (cbrt z)))) (sqrt (sqrt (fabs (cbrt z))))) (* (* y (sqrt (fabs (cbrt z)))) 1) (* (sqrt (fabs (cbrt z))) (sqrt (fabs (cbrt z)))) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (* (fabs (pow z 1/3)) y) (* (fabs (pow z 1/3)) y) (* (fabs (* (pow (* -1 z) 1/3) (cbrt -1))) y) 10.934 * * [simplify]: iteration 0 : 67 enodes (cost 542 ) 10.951 * * [simplify]: iteration 1 : 147 enodes (cost 399 ) 10.989 * * [simplify]: iteration 2 : 458 enodes (cost 339 ) 11.164 * * [simplify]: iteration 3 : 1002 enodes (cost 330 ) 11.520 * * [simplify]: iteration 4 : 1494 enodes (cost 330 ) 12.208 * * [simplify]: iteration 5 : 3423 enodes (cost 330 ) 13.433 * * [simplify]: iteration done : 5000 enodes (cost 330 ) 13.433 * [simplify]: Simplified to: (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (* y (fabs (cbrt z))) (* y (fabs (cbrt z))) (log (* y (fabs (cbrt z)))) (log (* y (fabs (cbrt z)))) (log (* y (fabs (cbrt z)))) (exp (* y (fabs (cbrt z)))) (pow (* y (fabs (cbrt z))) 3) (pow (* y (fabs (cbrt z))) 3) (* (cbrt (* y (fabs (cbrt z)))) (cbrt (* y (fabs (cbrt z))))) (cbrt (* y (fabs (cbrt z)))) (pow (* y (fabs (cbrt z))) 3) (sqrt (* y (fabs (cbrt z)))) (sqrt (* y (fabs (cbrt z)))) (* (* y (sqrt (fabs (cbrt z)))) (* (cbrt (sqrt (fabs (cbrt z)))) (cbrt (sqrt (fabs (cbrt z)))))) (* (* y (sqrt (fabs (cbrt z)))) (fabs (cbrt (fabs (cbrt z))))) (* (* y (sqrt (fabs (cbrt z)))) (sqrt (sqrt (fabs (cbrt z))))) (* (sqrt (fabs (cbrt z))) y) (* (* y (sqrt (fabs (cbrt z)))) (sqrt (sqrt (fabs (cbrt z))))) (* (sqrt (fabs (cbrt z))) y) (fabs (cbrt z)) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt -1) (cbrt (- z))) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt -1) (cbrt (- z))) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt -1) (cbrt (- z))) (* y (fabs (cbrt z))) (* y (fabs (cbrt z))) (* y (fabs (* (cbrt -1) (cbrt (- z))))) 13.433 * * * [progress]: adding candidates to table 13.662 * [progress]: [Phase 3 of 3] Extracting. 13.662 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 13.664 * * * [regime-changes]: Trying 7 branch expressions: ((sqrt z) (* y (sqrt z)) (+ x (* y (sqrt z))) (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) z y x) 13.664 * * * * [regimes]: Trying to branch on (sqrt z) from (# # # # # # # # #) 13.710 * * * * [regimes]: Trying to branch on (* y (sqrt z)) from (# # # # # # # # #) 13.755 * * * * [regimes]: Trying to branch on (+ x (* y (sqrt z))) from (# # # # # # # # #) 13.800 * * * * [regimes]: Trying to branch on (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) from (# # # # # # # # #) 13.846 * * * * [regimes]: Trying to branch on z from (# # # # # # # # #) 13.887 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 13.928 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 13.967 * * * [regime]: Found split indices: #