2.337 * [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.032 * [simplify]: Simplifying using # : (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) 0.033 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 0.034 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 0.037 * * [simplify]: iteration 2 : 45 enodes (cost 10 ) 0.043 * * [simplify]: iteration 3 : 65 enodes (cost 10 ) 0.051 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 0.064 * * [simplify]: iteration 5 : 110 enodes (cost 10 ) 0.078 * * [simplify]: iteration 6 : 122 enodes (cost 10 ) 0.093 * * [simplify]: iteration done : 122 enodes (cost 10 ) 0.093 * [simplify]: Simplified to: (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) 0.093 * * [progress]: iteration 1 / 4 0.093 * * * [progress]: picking best candidate 0.095 * * * * [pick]: Picked # 0.095 * * * [progress]: localizing error 0.105 * * * [progress]: generating rewritten candidates 0.105 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 0.110 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.113 * * * [progress]: generating series expansions 0.113 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 0.113 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 0.113 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 0.113 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.113 * [taylor]: Taking taylor expansion of z in z 0.114 * [taylor]: Taking taylor expansion of y in z 0.115 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.115 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.115 * [taylor]: Taking taylor expansion of z in y 0.115 * [taylor]: Taking taylor expansion of y in y 0.115 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.115 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.115 * [taylor]: Taking taylor expansion of z in y 0.115 * [taylor]: Taking taylor expansion of y in y 0.115 * [taylor]: Taking taylor expansion of 0 in z 0.116 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.116 * [taylor]: Taking taylor expansion of z in z 0.118 * [taylor]: Taking taylor expansion of 0 in z 0.119 * [taylor]: Taking taylor expansion of 0 in z 0.122 * [taylor]: Taking taylor expansion of 0 in z 0.125 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 0.125 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 0.125 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.125 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.125 * [taylor]: Taking taylor expansion of z in z 0.127 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.127 * [taylor]: Taking taylor expansion of y in z 0.127 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.127 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.127 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.127 * [taylor]: Taking taylor expansion of z in y 0.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.127 * [taylor]: Taking taylor expansion of y in y 0.127 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.127 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.127 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.127 * [taylor]: Taking taylor expansion of z in y 0.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.128 * [taylor]: Taking taylor expansion of y in y 0.128 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.128 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.128 * [taylor]: Taking taylor expansion of z in z 0.130 * [taylor]: Taking taylor expansion of 0 in z 0.132 * [taylor]: Taking taylor expansion of 0 in z 0.136 * [taylor]: Taking taylor expansion of 0 in z 0.140 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0 0.140 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z 0.140 * [taylor]: Taking taylor expansion of -1 in z 0.140 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 0.140 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.140 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.140 * [taylor]: Taking taylor expansion of -1 in z 0.140 * [taylor]: Taking taylor expansion of z in z 0.141 * [taylor]: Taking taylor expansion of y in z 0.141 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 0.141 * [taylor]: Taking taylor expansion of -1 in y 0.141 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.141 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.141 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.141 * [taylor]: Taking taylor expansion of -1 in y 0.141 * [taylor]: Taking taylor expansion of z in y 0.142 * [taylor]: Taking taylor expansion of y in y 0.142 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 0.142 * [taylor]: Taking taylor expansion of -1 in y 0.142 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.142 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.142 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.142 * [taylor]: Taking taylor expansion of -1 in y 0.142 * [taylor]: Taking taylor expansion of z in y 0.142 * [taylor]: Taking taylor expansion of y in y 0.142 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z 0.142 * [taylor]: Taking taylor expansion of -1 in z 0.142 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.142 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.142 * [taylor]: Taking taylor expansion of -1 in z 0.142 * [taylor]: Taking taylor expansion of z in z 0.146 * [taylor]: Taking taylor expansion of 0 in z 0.152 * [taylor]: Taking taylor expansion of 0 in z 0.157 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.158 * [approximate]: Taking taylor expansion of (+ (* (sqrt z) y) x) in (x y z) around 0 0.158 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in z 0.158 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 0.158 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.158 * [taylor]: Taking taylor expansion of z in z 0.159 * [taylor]: Taking taylor expansion of y in z 0.159 * [taylor]: Taking taylor expansion of x in z 0.159 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in y 0.159 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 0.159 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.159 * [taylor]: Taking taylor expansion of z in y 0.159 * [taylor]: Taking taylor expansion of y in y 0.159 * [taylor]: Taking taylor expansion of x in y 0.159 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in x 0.159 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in x 0.159 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.159 * [taylor]: Taking taylor expansion of z in x 0.159 * [taylor]: Taking taylor expansion of y in x 0.159 * [taylor]: Taking taylor expansion of x in x 0.159 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in x 0.159 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in x 0.159 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.159 * [taylor]: Taking taylor expansion of z in x 0.159 * [taylor]: Taking taylor expansion of y in x 0.159 * [taylor]: Taking taylor expansion of x in x 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.160 * [taylor]: Taking taylor expansion of 0 in z 0.160 * [taylor]: Taking taylor expansion of 1 in y 0.160 * [taylor]: Taking taylor expansion of 1 in z 0.161 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.161 * [taylor]: Taking taylor expansion of z in z 0.163 * [taylor]: Taking taylor expansion of 0 in y 0.163 * [taylor]: Taking taylor expansion of 0 in z 0.163 * [taylor]: Taking taylor expansion of 0 in z 0.164 * [taylor]: Taking taylor expansion of 0 in z 0.164 * [approximate]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in (x y z) around 0 0.164 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in z 0.164 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 0.164 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.164 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.164 * [taylor]: Taking taylor expansion of z in z 0.166 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.166 * [taylor]: Taking taylor expansion of y in z 0.166 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.166 * [taylor]: Taking taylor expansion of x in z 0.166 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in y 0.166 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.166 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.166 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.166 * [taylor]: Taking taylor expansion of z in y 0.166 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.166 * [taylor]: Taking taylor expansion of y in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.167 * [taylor]: Taking taylor expansion of x in y 0.167 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in x 0.167 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in x 0.167 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.167 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.167 * [taylor]: Taking taylor expansion of z in x 0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.167 * [taylor]: Taking taylor expansion of y in x 0.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.167 * [taylor]: Taking taylor expansion of x in x 0.167 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 x)) in x 0.167 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in x 0.167 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.167 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.167 * [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 1 in y 0.169 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 0.169 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.169 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.169 * [taylor]: Taking taylor expansion of z in y 0.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.169 * [taylor]: Taking taylor expansion of y in y 0.170 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.170 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.170 * [taylor]: Taking taylor expansion of z in z 0.171 * [taylor]: Taking taylor expansion of 1 in z 0.172 * [taylor]: Taking taylor expansion of 0 in y 0.173 * [taylor]: Taking taylor expansion of 0 in z 0.173 * [taylor]: Taking taylor expansion of 0 in z 0.175 * [taylor]: Taking taylor expansion of 0 in y 0.175 * [taylor]: Taking taylor expansion of 0 in z 0.176 * [taylor]: Taking taylor expansion of 0 in z 0.177 * [taylor]: Taking taylor expansion of 0 in z 0.179 * [approximate]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in (x y z) around 0 0.179 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in z 0.179 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in z 0.179 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 0.179 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.179 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.179 * [taylor]: Taking taylor expansion of -1 in z 0.180 * [taylor]: Taking taylor expansion of z in z 0.181 * [taylor]: Taking taylor expansion of y in z 0.181 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.181 * [taylor]: Taking taylor expansion of x in z 0.181 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in y 0.181 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in y 0.181 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.181 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.181 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.181 * [taylor]: Taking taylor expansion of -1 in y 0.181 * [taylor]: Taking taylor expansion of z in y 0.181 * [taylor]: Taking taylor expansion of y in y 0.181 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.181 * [taylor]: Taking taylor expansion of x in y 0.182 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in x 0.182 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in x 0.182 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in x 0.182 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.182 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.182 * [taylor]: Taking taylor expansion of -1 in x 0.182 * [taylor]: Taking taylor expansion of z in x 0.182 * [taylor]: Taking taylor expansion of y in x 0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in x 0.182 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in x 0.182 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in x 0.182 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.182 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.182 * [taylor]: Taking taylor expansion of -1 in x 0.182 * [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.184 * [taylor]: Taking taylor expansion of -1 in y 0.184 * [taylor]: Taking taylor expansion of (- (/ (sqrt (/ -1 z)) y)) in y 0.184 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 0.184 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.184 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.184 * [taylor]: Taking taylor expansion of -1 in y 0.184 * [taylor]: Taking taylor expansion of z in y 0.184 * [taylor]: Taking taylor expansion of y in y 0.185 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 z))) in z 0.185 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.185 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.185 * [taylor]: Taking taylor expansion of -1 in z 0.185 * [taylor]: Taking taylor expansion of z in z 0.187 * [taylor]: Taking taylor expansion of -1 in z 0.188 * [taylor]: Taking taylor expansion of 0 in y 0.189 * [taylor]: Taking taylor expansion of 0 in z 0.189 * [taylor]: Taking taylor expansion of 0 in z 0.192 * * * [progress]: simplifying candidates 0.193 * [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.199 * * [simplify]: iteration 0 : 86 enodes (cost 362 ) 0.214 * * [simplify]: iteration 1 : 220 enodes (cost 323 ) 0.261 * * [simplify]: iteration 2 : 690 enodes (cost 297 ) 0.852 * * [simplify]: iteration 3 : 3047 enodes (cost 288 ) 2.179 * * [simplify]: iteration done : 5000 enodes (cost 285 ) 2.179 * [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)) (+ (* (* z y) y) (* x (- x (* y (sqrt z))))) (- (* x x) (* (* y y) z)) (- x (* y (sqrt z))) (* (- (* z (- y (* z y))) (* (pow z 3) y)) +nan.0) (* +nan.0 (- (- y (/ y (pow z 2))) (/ y z))) (* +nan.0 (- (- y (/ y (pow z 2))) (/ y z))) x (- x (* +nan.0 (- (/ y z) y))) (- x (* +nan.0 (- (/ y z) y))) 2.180 * * * [progress]: adding candidates to table 2.266 * * [progress]: iteration 2 / 4 2.266 * * * [progress]: picking best candidate 2.282 * * * * [pick]: Picked # 2.282 * * * [progress]: localizing error 2.294 * * * [progress]: generating rewritten candidates 2.294 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 2.295 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1) 2.296 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 2.308 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 2.313 * * * [progress]: generating series expansions 2.313 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 2.313 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.313 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.313 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.313 * [taylor]: Taking taylor expansion of 1/3 in z 2.313 * [taylor]: Taking taylor expansion of (log z) in z 2.313 * [taylor]: Taking taylor expansion of z in z 2.314 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.314 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.314 * [taylor]: Taking taylor expansion of 1/3 in z 2.314 * [taylor]: Taking taylor expansion of (log z) in z 2.314 * [taylor]: Taking taylor expansion of z in z 2.368 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.368 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.368 * [taylor]: Taking taylor expansion of 1/3 in z 2.368 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.368 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.368 * [taylor]: Taking taylor expansion of z in z 2.369 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.369 * [taylor]: Taking taylor expansion of 1/3 in z 2.369 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.369 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.369 * [taylor]: Taking taylor expansion of z in z 2.430 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.430 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.430 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.430 * [taylor]: Taking taylor expansion of -1 in z 2.431 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.431 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.431 * [taylor]: Taking taylor expansion of 1/3 in z 2.431 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.431 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.431 * [taylor]: Taking taylor expansion of z in z 2.432 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.432 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.432 * [taylor]: Taking taylor expansion of -1 in z 2.433 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.433 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.433 * [taylor]: Taking taylor expansion of 1/3 in z 2.433 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.433 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.433 * [taylor]: Taking taylor expansion of z in z 2.502 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1) 2.502 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.502 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.502 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.502 * [taylor]: Taking taylor expansion of 1/3 in z 2.502 * [taylor]: Taking taylor expansion of (log z) in z 2.502 * [taylor]: Taking taylor expansion of z in z 2.503 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.503 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.503 * [taylor]: Taking taylor expansion of 1/3 in z 2.503 * [taylor]: Taking taylor expansion of (log z) in z 2.503 * [taylor]: Taking taylor expansion of z in z 2.558 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.558 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.559 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.559 * [taylor]: Taking taylor expansion of 1/3 in z 2.559 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.559 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.559 * [taylor]: Taking taylor expansion of z in z 2.560 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.560 * [taylor]: Taking taylor expansion of 1/3 in z 2.560 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.560 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.560 * [taylor]: Taking taylor expansion of z in z 2.617 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.617 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.617 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.617 * [taylor]: Taking taylor expansion of -1 in z 2.618 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.619 * [taylor]: Taking taylor expansion of 1/3 in z 2.619 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.619 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.619 * [taylor]: Taking taylor expansion of z in z 2.620 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.620 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.620 * [taylor]: Taking taylor expansion of -1 in z 2.621 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.627 * [taylor]: Taking taylor expansion of 1/3 in z 2.628 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.628 * [taylor]: Taking taylor expansion of z in z 2.700 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 2.700 * [approximate]: Taking taylor expansion of (* (* (fabs (pow z 1/3)) y) (pow z 1/6)) in (y z) around 0 2.700 * [taylor]: Taking taylor expansion of (* (* (fabs (pow z 1/3)) y) (pow z 1/6)) in z 2.700 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in z 2.700 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z 2.700 * [taylor]: Taking taylor expansion of y in z 2.700 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 2.700 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 2.700 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 2.700 * [taylor]: Taking taylor expansion of 1/6 in z 2.700 * [taylor]: Taking taylor expansion of (log z) in z 2.700 * [taylor]: Taking taylor expansion of z in z 2.701 * [taylor]: Taking taylor expansion of (* (* (fabs (pow z 1/3)) y) (pow z 1/6)) in y 2.701 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in y 2.701 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y 2.702 * [taylor]: Taking taylor expansion of y in y 2.702 * [taylor]: Taking taylor expansion of (pow z 1/6) in y 2.702 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in y 2.702 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in y 2.702 * [taylor]: Taking taylor expansion of 1/6 in y 2.702 * [taylor]: Taking taylor expansion of (log z) in y 2.702 * [taylor]: Taking taylor expansion of z in y 2.702 * [taylor]: Taking taylor expansion of (* (* (fabs (pow z 1/3)) y) (pow z 1/6)) in y 2.702 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in y 2.702 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y 2.702 * [taylor]: Taking taylor expansion of y in y 2.702 * [taylor]: Taking taylor expansion of (pow z 1/6) in y 2.702 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in y 2.702 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in y 2.702 * [taylor]: Taking taylor expansion of 1/6 in y 2.702 * [taylor]: Taking taylor expansion of (log z) in y 2.702 * [taylor]: Taking taylor expansion of z in y 2.702 * [taylor]: Taking taylor expansion of 0 in z 2.705 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) (pow z 1/6)) in z 2.705 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z 2.705 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 2.705 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 2.705 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 2.706 * [taylor]: Taking taylor expansion of 1/6 in z 2.706 * [taylor]: Taking taylor expansion of (log z) in z 2.706 * [taylor]: Taking taylor expansion of z in z 2.711 * [taylor]: Taking taylor expansion of 0 in z 2.725 * [taylor]: Taking taylor expansion of 0 in z 2.726 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/6) (/ (fabs (pow (/ 1 z) 1/3)) y)) in (y z) around 0 2.726 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/6) (/ (fabs (pow (/ 1 z) 1/3)) y)) in z 2.726 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 2.726 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 2.726 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 2.726 * [taylor]: Taking taylor expansion of 1/6 in z 2.726 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.726 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.726 * [taylor]: Taking taylor expansion of z in z 2.727 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in z 2.727 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z 2.728 * [taylor]: Taking taylor expansion of y in z 2.728 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/6) (/ (fabs (pow (/ 1 z) 1/3)) y)) in y 2.728 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in y 2.728 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in y 2.728 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in y 2.728 * [taylor]: Taking taylor expansion of 1/6 in y 2.728 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 2.728 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.728 * [taylor]: Taking taylor expansion of z in y 2.728 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in y 2.728 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y 2.728 * [taylor]: Taking taylor expansion of y in y 2.728 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/6) (/ (fabs (pow (/ 1 z) 1/3)) y)) in y 2.728 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in y 2.728 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in y 2.728 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in y 2.728 * [taylor]: Taking taylor expansion of 1/6 in y 2.728 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 2.728 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.728 * [taylor]: Taking taylor expansion of z in y 2.729 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in y 2.729 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y 2.729 * [taylor]: Taking taylor expansion of y in y 2.729 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/6) (fabs (pow (/ 1 z) 1/3))) in z 2.729 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 2.729 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 2.729 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 2.729 * [taylor]: Taking taylor expansion of 1/6 in z 2.729 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.729 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.729 * [taylor]: Taking taylor expansion of z in z 2.730 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z 2.734 * [taylor]: Taking taylor expansion of 0 in z 2.741 * [taylor]: Taking taylor expansion of 0 in z 2.753 * [taylor]: Taking taylor expansion of 0 in z 2.753 * [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 2.754 * [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 2.754 * [taylor]: Taking taylor expansion of -1 in z 2.754 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt -1)) (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6))) in z 2.754 * [taylor]: Taking taylor expansion of (sqrt (cbrt -1)) in z 2.754 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.754 * [taylor]: Taking taylor expansion of -1 in z 2.756 * [taylor]: Taking taylor expansion of (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6)) in z 2.756 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in z 2.756 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z 2.757 * [taylor]: Taking taylor expansion of y in z 2.757 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 2.757 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 2.757 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 2.757 * [taylor]: Taking taylor expansion of 1/6 in z 2.757 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.757 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.757 * [taylor]: Taking taylor expansion of z in z 2.758 * [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 2.758 * [taylor]: Taking taylor expansion of -1 in y 2.758 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt -1)) (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6))) in y 2.758 * [taylor]: Taking taylor expansion of (sqrt (cbrt -1)) in y 2.758 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.758 * [taylor]: Taking taylor expansion of -1 in y 2.760 * [taylor]: Taking taylor expansion of (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6)) in y 2.761 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in y 2.761 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y 2.761 * [taylor]: Taking taylor expansion of y in y 2.762 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in y 2.762 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in y 2.762 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in y 2.762 * [taylor]: Taking taylor expansion of 1/6 in y 2.762 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 2.762 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.762 * [taylor]: Taking taylor expansion of z in y 2.762 * [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 2.762 * [taylor]: Taking taylor expansion of -1 in y 2.762 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt -1)) (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6))) in y 2.762 * [taylor]: Taking taylor expansion of (sqrt (cbrt -1)) in y 2.762 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.762 * [taylor]: Taking taylor expansion of -1 in y 2.764 * [taylor]: Taking taylor expansion of (* (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) (pow (/ 1 z) 1/6)) in y 2.764 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in y 2.764 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y 2.765 * [taylor]: Taking taylor expansion of y in y 2.765 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in y 2.766 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in y 2.766 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in y 2.766 * [taylor]: Taking taylor expansion of 1/6 in y 2.766 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 2.766 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.766 * [taylor]: Taking taylor expansion of z in y 2.769 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (cbrt -1)) (* (pow (/ 1 z) 1/6) (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))))) in z 2.769 * [taylor]: Taking taylor expansion of -1 in z 2.769 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt -1)) (* (pow (/ 1 z) 1/6) (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))))) in z 2.769 * [taylor]: Taking taylor expansion of (sqrt (cbrt -1)) in z 2.769 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.769 * [taylor]: Taking taylor expansion of -1 in z 2.771 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/6) (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))) in z 2.771 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 2.771 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 2.771 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 2.772 * [taylor]: Taking taylor expansion of 1/6 in z 2.772 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.772 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.772 * [taylor]: Taking taylor expansion of z in z 2.773 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z 2.784 * [taylor]: Taking taylor expansion of 0 in z 2.800 * [taylor]: Taking taylor expansion of 0 in z 2.824 * [taylor]: Taking taylor expansion of 0 in z 2.825 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 2.826 * [approximate]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in (y z) around 0 2.826 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in z 2.826 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z 2.826 * [taylor]: Taking taylor expansion of y in z 2.826 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in y 2.826 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y 2.826 * [taylor]: Taking taylor expansion of y in y 2.826 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in y 2.826 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y 2.826 * [taylor]: Taking taylor expansion of y in y 2.826 * [taylor]: Taking taylor expansion of 0 in z 2.827 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z 2.827 * [taylor]: Taking taylor expansion of 0 in z 2.834 * [taylor]: Taking taylor expansion of 0 in z 2.834 * [approximate]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in (y z) around 0 2.834 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in z 2.834 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z 2.835 * [taylor]: Taking taylor expansion of y in z 2.835 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in y 2.835 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y 2.835 * [taylor]: Taking taylor expansion of y in y 2.835 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in y 2.835 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y 2.835 * [taylor]: Taking taylor expansion of y in y 2.835 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z 2.836 * [taylor]: Taking taylor expansion of 0 in z 2.838 * [taylor]: Taking taylor expansion of 0 in z 2.839 * [taylor]: Taking taylor expansion of 0 in z 2.839 * [approximate]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in (y z) around 0 2.840 * [taylor]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in z 2.840 * [taylor]: Taking taylor expansion of -1 in z 2.840 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in z 2.840 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z 2.840 * [taylor]: Taking taylor expansion of y in z 2.841 * [taylor]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in y 2.841 * [taylor]: Taking taylor expansion of -1 in y 2.841 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in y 2.841 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y 2.841 * [taylor]: Taking taylor expansion of y in y 2.842 * [taylor]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in y 2.842 * [taylor]: Taking taylor expansion of -1 in y 2.842 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in y 2.842 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y 2.842 * [taylor]: Taking taylor expansion of y in y 2.844 * [taylor]: Taking taylor expansion of (* -1 (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))) in z 2.844 * [taylor]: Taking taylor expansion of -1 in z 2.844 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z 2.847 * [taylor]: Taking taylor expansion of 0 in z 2.850 * [taylor]: Taking taylor expansion of 0 in z 2.854 * [taylor]: Taking taylor expansion of 0 in z 2.854 * * * [progress]: simplifying candidates 2.856 * [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) 2.859 * * [simplify]: iteration 0 : 96 enodes (cost 636 ) 2.879 * * [simplify]: iteration 1 : 211 enodes (cost 585 ) 2.940 * * [simplify]: iteration 2 : 733 enodes (cost 512 ) 3.320 * * [simplify]: iteration 3 : 2485 enodes (cost 506 ) 4.277 * * [simplify]: iteration done : 5000 enodes (cost 506 ) 4.277 * [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) 4.278 * * * [progress]: adding candidates to table 4.497 * * [progress]: iteration 3 / 4 4.497 * * * [progress]: picking best candidate 4.513 * * * * [pick]: Picked # 4.513 * * * [progress]: localizing error 4.528 * * * [progress]: generating rewritten candidates 4.528 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2) 4.529 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1) 4.530 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1) 4.531 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1) 4.543 * * * [progress]: generating series expansions 4.543 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2) 4.543 * [approximate]: Taking taylor expansion of (pow z 1/6) in (z) around 0 4.543 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 4.543 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 4.543 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 4.543 * [taylor]: Taking taylor expansion of 1/6 in z 4.543 * [taylor]: Taking taylor expansion of (log z) in z 4.543 * [taylor]: Taking taylor expansion of z in z 4.544 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 4.544 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 4.544 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 4.544 * [taylor]: Taking taylor expansion of 1/6 in z 4.544 * [taylor]: Taking taylor expansion of (log z) in z 4.545 * [taylor]: Taking taylor expansion of z in z 4.603 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/6) in (z) around 0 4.603 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 4.603 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 4.603 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 4.603 * [taylor]: Taking taylor expansion of 1/6 in z 4.603 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.603 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.603 * [taylor]: Taking taylor expansion of z in z 4.604 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 4.604 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 4.604 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 4.604 * [taylor]: Taking taylor expansion of 1/6 in z 4.604 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.604 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.604 * [taylor]: Taking taylor expansion of z in z 4.669 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in (z) around 0 4.669 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 4.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 4.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 4.669 * [taylor]: Taking taylor expansion of 1/3 in z 4.669 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 4.669 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.669 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.669 * [taylor]: Taking taylor expansion of -1 in z 4.669 * [taylor]: Taking taylor expansion of z in z 4.674 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 4.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 4.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 4.674 * [taylor]: Taking taylor expansion of 1/3 in z 4.674 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 4.674 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.674 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.674 * [taylor]: Taking taylor expansion of -1 in z 4.674 * [taylor]: Taking taylor expansion of z in z 4.714 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1) 4.714 * [approximate]: Taking taylor expansion of (pow z 1/6) in (z) around 0 4.714 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 4.714 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 4.714 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 4.714 * [taylor]: Taking taylor expansion of 1/6 in z 4.714 * [taylor]: Taking taylor expansion of (log z) in z 4.714 * [taylor]: Taking taylor expansion of z in z 4.715 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 4.715 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 4.715 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 4.715 * [taylor]: Taking taylor expansion of 1/6 in z 4.715 * [taylor]: Taking taylor expansion of (log z) in z 4.715 * [taylor]: Taking taylor expansion of z in z 4.773 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/6) in (z) around 0 4.773 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 4.773 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 4.773 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 4.773 * [taylor]: Taking taylor expansion of 1/6 in z 4.773 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.773 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.773 * [taylor]: Taking taylor expansion of z in z 4.774 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 4.774 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 4.774 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 4.774 * [taylor]: Taking taylor expansion of 1/6 in z 4.774 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.774 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.774 * [taylor]: Taking taylor expansion of z in z 4.840 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in (z) around 0 4.840 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 4.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 4.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 4.840 * [taylor]: Taking taylor expansion of 1/3 in z 4.840 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 4.840 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.840 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.840 * [taylor]: Taking taylor expansion of -1 in z 4.840 * [taylor]: Taking taylor expansion of z in z 4.844 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 4.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 4.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 4.844 * [taylor]: Taking taylor expansion of 1/3 in z 4.844 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 4.844 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.844 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.844 * [taylor]: Taking taylor expansion of -1 in z 4.844 * [taylor]: Taking taylor expansion of z in z 4.886 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1) 4.886 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 4.886 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 4.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 4.886 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 4.886 * [taylor]: Taking taylor expansion of 1/3 in z 4.886 * [taylor]: Taking taylor expansion of (log z) in z 4.886 * [taylor]: Taking taylor expansion of z in z 4.887 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 4.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 4.887 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 4.887 * [taylor]: Taking taylor expansion of 1/3 in z 4.887 * [taylor]: Taking taylor expansion of (log z) in z 4.887 * [taylor]: Taking taylor expansion of z in z 4.948 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 4.948 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 4.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 4.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 4.948 * [taylor]: Taking taylor expansion of 1/3 in z 4.948 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.948 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.949 * [taylor]: Taking taylor expansion of z in z 4.950 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 4.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 4.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 4.950 * [taylor]: Taking taylor expansion of 1/3 in z 4.950 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.950 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.950 * [taylor]: Taking taylor expansion of z in z 5.010 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 5.010 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 5.010 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.010 * [taylor]: Taking taylor expansion of -1 in z 5.011 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 5.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 5.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 5.011 * [taylor]: Taking taylor expansion of 1/3 in z 5.011 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.011 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.011 * [taylor]: Taking taylor expansion of z in z 5.012 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 5.012 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.012 * [taylor]: Taking taylor expansion of -1 in z 5.013 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 5.013 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 5.013 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 5.013 * [taylor]: Taking taylor expansion of 1/3 in z 5.013 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.013 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.013 * [taylor]: Taking taylor expansion of z in z 5.086 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1) 5.087 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 5.087 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 5.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 5.087 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 5.087 * [taylor]: Taking taylor expansion of 1/3 in z 5.087 * [taylor]: Taking taylor expansion of (log z) in z 5.087 * [taylor]: Taking taylor expansion of z in z 5.087 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 5.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 5.088 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 5.088 * [taylor]: Taking taylor expansion of 1/3 in z 5.088 * [taylor]: Taking taylor expansion of (log z) in z 5.088 * [taylor]: Taking taylor expansion of z in z 5.139 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 5.139 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 5.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 5.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 5.140 * [taylor]: Taking taylor expansion of 1/3 in z 5.140 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.140 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.140 * [taylor]: Taking taylor expansion of z in z 5.141 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 5.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 5.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 5.141 * [taylor]: Taking taylor expansion of 1/3 in z 5.141 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.141 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.141 * [taylor]: Taking taylor expansion of z in z 5.201 * [approximate]: Taking taylor expansion of (pow (pow (sqrt (/ -1 z)) 2) 1/3) in (z) around 0 5.201 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 z)) 2) 1/3) in z 5.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 z)) 2)))) in z 5.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 z)) 2))) in z 5.201 * [taylor]: Taking taylor expansion of 1/3 in z 5.201 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 z)) 2)) in z 5.201 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 5.201 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 5.201 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.201 * [taylor]: Taking taylor expansion of -1 in z 5.201 * [taylor]: Taking taylor expansion of z in z 5.205 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 z)) 2) 1/3) in z 5.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 z)) 2)))) in z 5.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 z)) 2))) in z 5.205 * [taylor]: Taking taylor expansion of 1/3 in z 5.205 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 z)) 2)) in z 5.205 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 5.205 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 5.205 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.205 * [taylor]: Taking taylor expansion of -1 in z 5.205 * [taylor]: Taking taylor expansion of z in z 5.255 * * * [progress]: simplifying candidates 5.256 * [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)))))) 5.260 * * [simplify]: iteration 0 : 89 enodes (cost 981 ) 5.280 * * [simplify]: iteration 1 : 167 enodes (cost 867 ) 5.326 * * [simplify]: iteration 2 : 499 enodes (cost 805 ) 5.673 * * [simplify]: iteration 3 : 2467 enodes (cost 758 ) 7.183 * * [simplify]: iteration done : 5001 enodes (cost 758 ) 7.183 * [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 (sqrt z)) (cbrt (pow (sqrt (cbrt (sqrt z))) 4))) (* (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))) 4) (cbrt (cbrt (sqrt z)))) (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) (- (/ (/ +nan.0 z) z) (/ +nan.0 z)))) (pow z 1/6) (pow (/ 1 z) -1/6) (- (cbrt +nan.0) (* (cbrt +nan.0) (- (/ (/ +nan.0 z) z) (/ +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) (- (/ (/ +nan.0 z) z) (/ +nan.0 z)))) 7.184 * * * [progress]: adding candidates to table 7.524 * * [progress]: iteration 4 / 4 7.524 * * * [progress]: picking best candidate 7.537 * * * * [pick]: Picked # 7.537 * * * [progress]: localizing error 7.555 * * * [progress]: generating rewritten candidates 7.555 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 7.556 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 1) 7.557 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 1 1) 7.557 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 7.569 * * * [progress]: generating series expansions 7.569 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 7.570 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 7.570 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 7.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 7.570 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 7.570 * [taylor]: Taking taylor expansion of 1/3 in z 7.570 * [taylor]: Taking taylor expansion of (log z) in z 7.570 * [taylor]: Taking taylor expansion of z in z 7.571 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 7.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 7.571 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 7.571 * [taylor]: Taking taylor expansion of 1/3 in z 7.571 * [taylor]: Taking taylor expansion of (log z) in z 7.571 * [taylor]: Taking taylor expansion of z in z 7.630 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 7.630 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.630 * [taylor]: Taking taylor expansion of 1/3 in z 7.630 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.630 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.630 * [taylor]: Taking taylor expansion of z in z 7.631 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.631 * [taylor]: Taking taylor expansion of 1/3 in z 7.631 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.631 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.631 * [taylor]: Taking taylor expansion of z in z 7.690 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 7.690 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 7.690 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.690 * [taylor]: Taking taylor expansion of -1 in z 7.691 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.692 * [taylor]: Taking taylor expansion of 1/3 in z 7.692 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.692 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.692 * [taylor]: Taking taylor expansion of z in z 7.693 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 7.693 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.693 * [taylor]: Taking taylor expansion of -1 in z 7.694 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.694 * [taylor]: Taking taylor expansion of 1/3 in z 7.694 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.694 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.694 * [taylor]: Taking taylor expansion of z in z 7.770 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 1) 7.770 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 7.770 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 7.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 7.770 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 7.770 * [taylor]: Taking taylor expansion of 1/3 in z 7.770 * [taylor]: Taking taylor expansion of (log z) in z 7.770 * [taylor]: Taking taylor expansion of z in z 7.771 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 7.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 7.771 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 7.771 * [taylor]: Taking taylor expansion of 1/3 in z 7.771 * [taylor]: Taking taylor expansion of (log z) in z 7.771 * [taylor]: Taking taylor expansion of z in z 7.829 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 7.829 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.829 * [taylor]: Taking taylor expansion of 1/3 in z 7.829 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.829 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.829 * [taylor]: Taking taylor expansion of z in z 7.830 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.831 * [taylor]: Taking taylor expansion of 1/3 in z 7.831 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.831 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.831 * [taylor]: Taking taylor expansion of z in z 7.894 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 7.894 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 7.894 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.895 * [taylor]: Taking taylor expansion of -1 in z 7.896 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.896 * [taylor]: Taking taylor expansion of 1/3 in z 7.896 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.896 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.896 * [taylor]: Taking taylor expansion of z in z 7.897 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 7.897 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.897 * [taylor]: Taking taylor expansion of -1 in z 7.898 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.898 * [taylor]: Taking taylor expansion of 1/3 in z 7.898 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.898 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.898 * [taylor]: Taking taylor expansion of z in z 7.977 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 1 1) 7.977 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 7.978 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 7.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 7.978 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 7.978 * [taylor]: Taking taylor expansion of 1/3 in z 7.978 * [taylor]: Taking taylor expansion of (log z) in z 7.978 * [taylor]: Taking taylor expansion of z in z 7.979 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 7.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 7.979 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 7.979 * [taylor]: Taking taylor expansion of 1/3 in z 7.979 * [taylor]: Taking taylor expansion of (log z) in z 7.979 * [taylor]: Taking taylor expansion of z in z 8.032 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 8.032 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 8.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 8.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 8.032 * [taylor]: Taking taylor expansion of 1/3 in z 8.032 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 8.032 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.032 * [taylor]: Taking taylor expansion of z in z 8.034 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 8.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 8.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 8.034 * [taylor]: Taking taylor expansion of 1/3 in z 8.034 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 8.034 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.034 * [taylor]: Taking taylor expansion of z in z 8.099 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 8.099 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 8.099 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.099 * [taylor]: Taking taylor expansion of -1 in z 8.100 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 8.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 8.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 8.100 * [taylor]: Taking taylor expansion of 1/3 in z 8.100 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 8.100 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.100 * [taylor]: Taking taylor expansion of z in z 8.101 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 8.101 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.101 * [taylor]: Taking taylor expansion of -1 in z 8.102 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 8.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 8.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 8.102 * [taylor]: Taking taylor expansion of 1/3 in z 8.102 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 8.102 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.102 * [taylor]: Taking taylor expansion of z in z 8.177 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 8.177 * [approximate]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in (y z) around 0 8.177 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in z 8.177 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z 8.178 * [taylor]: Taking taylor expansion of y in z 8.178 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in y 8.178 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y 8.178 * [taylor]: Taking taylor expansion of y in y 8.178 * [taylor]: Taking taylor expansion of (* (fabs (pow z 1/3)) y) in y 8.178 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y 8.178 * [taylor]: Taking taylor expansion of y in y 8.178 * [taylor]: Taking taylor expansion of 0 in z 8.179 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z 8.180 * [taylor]: Taking taylor expansion of 0 in z 8.180 * [taylor]: Taking taylor expansion of 0 in z 8.181 * [approximate]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in (y z) around 0 8.181 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in z 8.181 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z 8.181 * [taylor]: Taking taylor expansion of y in z 8.181 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in y 8.181 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y 8.181 * [taylor]: Taking taylor expansion of y in y 8.181 * [taylor]: Taking taylor expansion of (/ (fabs (pow (/ 1 z) 1/3)) y) in y 8.181 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y 8.182 * [taylor]: Taking taylor expansion of y in y 8.182 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z 8.183 * [taylor]: Taking taylor expansion of 0 in z 8.184 * [taylor]: Taking taylor expansion of 0 in z 8.186 * [taylor]: Taking taylor expansion of 0 in z 8.186 * [approximate]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in (y z) around 0 8.186 * [taylor]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in z 8.186 * [taylor]: Taking taylor expansion of -1 in z 8.187 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in z 8.187 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z 8.187 * [taylor]: Taking taylor expansion of y in z 8.188 * [taylor]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in y 8.188 * [taylor]: Taking taylor expansion of -1 in y 8.188 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in y 8.188 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y 8.188 * [taylor]: Taking taylor expansion of y in y 8.189 * [taylor]: Taking taylor expansion of (* -1 (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y)) in y 8.189 * [taylor]: Taking taylor expansion of -1 in y 8.189 * [taylor]: Taking taylor expansion of (/ (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) y) in y 8.189 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y 8.190 * [taylor]: Taking taylor expansion of y in y 8.191 * [taylor]: Taking taylor expansion of (* -1 (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))) in z 8.191 * [taylor]: Taking taylor expansion of -1 in z 8.191 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z 8.194 * [taylor]: Taking taylor expansion of 0 in z 8.198 * [taylor]: Taking taylor expansion of 0 in z 8.202 * [taylor]: Taking taylor expansion of 0 in z 8.202 * * * [progress]: simplifying candidates 8.203 * [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) 8.206 * * [simplify]: iteration 0 : 67 enodes (cost 542 ) 8.218 * * [simplify]: iteration 1 : 147 enodes (cost 399 ) 8.263 * * [simplify]: iteration 2 : 458 enodes (cost 339 ) 8.441 * * [simplify]: iteration 3 : 1015 enodes (cost 330 ) 8.831 * * [simplify]: iteration 4 : 1787 enodes (cost 330 ) 9.443 * * [simplify]: iteration done : 5000 enodes (cost 330 ) 9.443 * [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))))) (* y (sqrt (fabs (cbrt z)))) (* (* y (sqrt (fabs (cbrt z)))) (sqrt (sqrt (fabs (cbrt z))))) (* y (sqrt (fabs (cbrt z)))) (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))))) 9.444 * * * [progress]: adding candidates to table 9.665 * [progress]: [Phase 3 of 3] Extracting. 9.665 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 9.668 * * * [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) 9.668 * * * * [regimes]: Trying to branch on (sqrt z) from (# # # # # # # # #) 9.714 * * * * [regimes]: Trying to branch on (* y (sqrt z)) from (# # # # # # # # #) 9.760 * * * * [regimes]: Trying to branch on (+ x (* y (sqrt z))) from (# # # # # # # # #) 9.806 * * * * [regimes]: Trying to branch on (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) from (# # # # # # # # #) 9.852 * * * * [regimes]: Trying to branch on z from (# # # # # # # # #) 9.894 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 9.937 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 9.976 * * * [regime]: Found split indices: #