10.889 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.044 * * * [progress]: [2/2] Setting up program. 0.046 * [progress]: [Phase 2 of 3] Improving. 0.047 * [simplify]: Simplifying using # : (- (+ x (cos y)) (* z (sin y))) 0.047 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.049 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.050 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.054 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 0.063 * * [simplify]: iteration 4 : 53 enodes (cost 9 ) 0.070 * * [simplify]: iteration 5 : 64 enodes (cost 9 ) 0.080 * * [simplify]: iteration 6 : 77 enodes (cost 9 ) 0.092 * * [simplify]: iteration 7 : 90 enodes (cost 9 ) 0.104 * * [simplify]: iteration 8 : 107 enodes (cost 9 ) 0.121 * * [simplify]: iteration 9 : 121 enodes (cost 9 ) 0.138 * * [simplify]: iteration 10 : 144 enodes (cost 9 ) 0.162 * * [simplify]: iteration 11 : 164 enodes (cost 9 ) 0.180 * * [simplify]: iteration done : 164 enodes (cost 9 ) 0.180 * [simplify]: Simplified to: (- (+ x (cos y)) (* z (sin y))) 0.181 * * [progress]: iteration 1 / 4 0.181 * * * [progress]: picking best candidate 0.183 * * * * [pick]: Picked # 0.183 * * * [progress]: localizing error 0.193 * * * [progress]: generating rewritten candidates 0.193 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.196 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.223 * * * [progress]: generating series expansions 0.223 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.223 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 0.223 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.223 * [taylor]: Taking taylor expansion of (sin y) in y 0.223 * [taylor]: Taking taylor expansion of y in y 0.223 * [taylor]: Taking taylor expansion of z in y 0.223 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.223 * [taylor]: Taking taylor expansion of (sin y) in z 0.223 * [taylor]: Taking taylor expansion of y in z 0.223 * [taylor]: Taking taylor expansion of z in z 0.223 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.223 * [taylor]: Taking taylor expansion of (sin y) in z 0.223 * [taylor]: Taking taylor expansion of y in z 0.223 * [taylor]: Taking taylor expansion of z in z 0.223 * [taylor]: Taking taylor expansion of 0 in y 0.226 * [taylor]: Taking taylor expansion of (sin y) in y 0.226 * [taylor]: Taking taylor expansion of y in y 0.228 * [taylor]: Taking taylor expansion of 0 in y 0.232 * [taylor]: Taking taylor expansion of 0 in y 0.237 * [taylor]: Taking taylor expansion of 0 in y 0.237 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.237 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.237 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.237 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.237 * [taylor]: Taking taylor expansion of y in y 0.238 * [taylor]: Taking taylor expansion of z in y 0.238 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.238 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.238 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.238 * [taylor]: Taking taylor expansion of y in z 0.238 * [taylor]: Taking taylor expansion of z in z 0.238 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.238 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.238 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.238 * [taylor]: Taking taylor expansion of y in z 0.238 * [taylor]: Taking taylor expansion of z in z 0.238 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.238 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.238 * [taylor]: Taking taylor expansion of y in y 0.241 * [taylor]: Taking taylor expansion of 0 in y 0.245 * [taylor]: Taking taylor expansion of 0 in y 0.249 * [taylor]: Taking taylor expansion of 0 in y 0.249 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.249 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.249 * [taylor]: Taking taylor expansion of -1 in y 0.249 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.249 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.249 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.249 * [taylor]: Taking taylor expansion of -1 in y 0.249 * [taylor]: Taking taylor expansion of y in y 0.250 * [taylor]: Taking taylor expansion of z in y 0.250 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.250 * [taylor]: Taking taylor expansion of -1 in z 0.250 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.250 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.250 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.250 * [taylor]: Taking taylor expansion of -1 in z 0.250 * [taylor]: Taking taylor expansion of y in z 0.250 * [taylor]: Taking taylor expansion of z in z 0.250 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.250 * [taylor]: Taking taylor expansion of -1 in z 0.250 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.250 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.250 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.250 * [taylor]: Taking taylor expansion of -1 in z 0.250 * [taylor]: Taking taylor expansion of y in z 0.250 * [taylor]: Taking taylor expansion of z in z 0.251 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.251 * [taylor]: Taking taylor expansion of -1 in y 0.251 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.251 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.251 * [taylor]: Taking taylor expansion of -1 in y 0.251 * [taylor]: Taking taylor expansion of y in y 0.254 * [taylor]: Taking taylor expansion of 0 in y 0.258 * [taylor]: Taking taylor expansion of 0 in y 0.263 * [taylor]: Taking taylor expansion of 0 in y 0.264 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.264 * [approximate]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in (x y z) around 0 0.264 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in z 0.264 * [taylor]: Taking taylor expansion of (+ x (cos y)) in z 0.264 * [taylor]: Taking taylor expansion of x in z 0.264 * [taylor]: Taking taylor expansion of (cos y) in z 0.264 * [taylor]: Taking taylor expansion of y in z 0.264 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.264 * [taylor]: Taking taylor expansion of (sin y) in z 0.264 * [taylor]: Taking taylor expansion of y in z 0.264 * [taylor]: Taking taylor expansion of z in z 0.264 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in y 0.264 * [taylor]: Taking taylor expansion of (+ x (cos y)) in y 0.264 * [taylor]: Taking taylor expansion of x in y 0.264 * [taylor]: Taking taylor expansion of (cos y) in y 0.264 * [taylor]: Taking taylor expansion of y in y 0.264 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.264 * [taylor]: Taking taylor expansion of (sin y) in y 0.264 * [taylor]: Taking taylor expansion of y in y 0.264 * [taylor]: Taking taylor expansion of z in y 0.264 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in x 0.264 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of (cos y) in x 0.264 * [taylor]: Taking taylor expansion of y in x 0.264 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.264 * [taylor]: Taking taylor expansion of (sin y) in x 0.264 * [taylor]: Taking taylor expansion of y in x 0.264 * [taylor]: Taking taylor expansion of z in x 0.264 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in x 0.264 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of (cos y) in x 0.265 * [taylor]: Taking taylor expansion of y in x 0.265 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.265 * [taylor]: Taking taylor expansion of (sin y) in x 0.265 * [taylor]: Taking taylor expansion of y in x 0.265 * [taylor]: Taking taylor expansion of z in x 0.266 * [taylor]: Taking taylor expansion of (- (cos y) (* (sin y) z)) in y 0.266 * [taylor]: Taking taylor expansion of (cos y) in y 0.266 * [taylor]: Taking taylor expansion of y in y 0.266 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.266 * [taylor]: Taking taylor expansion of (sin y) in y 0.266 * [taylor]: Taking taylor expansion of y in y 0.266 * [taylor]: Taking taylor expansion of z in y 0.266 * [taylor]: Taking taylor expansion of 1 in z 0.271 * [taylor]: Taking taylor expansion of 1 in y 0.271 * [taylor]: Taking taylor expansion of 1 in z 0.272 * [taylor]: Taking taylor expansion of (- z) in z 0.272 * [taylor]: Taking taylor expansion of z in z 0.278 * [taylor]: Taking taylor expansion of 0 in y 0.278 * [taylor]: Taking taylor expansion of 0 in z 0.278 * [taylor]: Taking taylor expansion of 0 in z 0.280 * [taylor]: Taking taylor expansion of -1/2 in z 0.281 * [approximate]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in (x y z) around 0 0.281 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in z 0.281 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in z 0.281 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.281 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.281 * [taylor]: Taking taylor expansion of y in z 0.281 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.281 * [taylor]: Taking taylor expansion of x in z 0.281 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.281 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.281 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.281 * [taylor]: Taking taylor expansion of y in z 0.281 * [taylor]: Taking taylor expansion of z in z 0.281 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in y 0.281 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y 0.281 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.281 * [taylor]: Taking taylor expansion of y in y 0.282 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.282 * [taylor]: Taking taylor expansion of x in y 0.282 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.282 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.282 * [taylor]: Taking taylor expansion of y in y 0.282 * [taylor]: Taking taylor expansion of z in y 0.282 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x 0.282 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 0.282 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.282 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.282 * [taylor]: Taking taylor expansion of y in x 0.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.282 * [taylor]: Taking taylor expansion of x in x 0.283 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.283 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.283 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.283 * [taylor]: Taking taylor expansion of y in x 0.283 * [taylor]: Taking taylor expansion of z in x 0.283 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x 0.283 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 0.283 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.283 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.283 * [taylor]: Taking taylor expansion of y in x 0.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.283 * [taylor]: Taking taylor expansion of x in x 0.284 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.284 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.284 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.284 * [taylor]: Taking taylor expansion of y in x 0.284 * [taylor]: Taking taylor expansion of z in x 0.285 * [taylor]: Taking taylor expansion of 1 in y 0.285 * [taylor]: Taking taylor expansion of 1 in z 0.286 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in y 0.286 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.286 * [taylor]: Taking taylor expansion of y in y 0.286 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.286 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.286 * [taylor]: Taking taylor expansion of y in y 0.287 * [taylor]: Taking taylor expansion of z in y 0.287 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in z 0.287 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.287 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.287 * [taylor]: Taking taylor expansion of y in z 0.287 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.287 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.287 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.287 * [taylor]: Taking taylor expansion of y in z 0.287 * [taylor]: Taking taylor expansion of z in z 0.288 * [taylor]: Taking taylor expansion of 0 in z 0.293 * [taylor]: Taking taylor expansion of 0 in y 0.293 * [taylor]: Taking taylor expansion of 0 in z 0.293 * [taylor]: Taking taylor expansion of 0 in z 0.293 * [taylor]: Taking taylor expansion of 0 in z 0.297 * [approximate]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in (x y z) around 0 0.297 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in z 0.297 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z 0.297 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.297 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.297 * [taylor]: Taking taylor expansion of -1 in z 0.297 * [taylor]: Taking taylor expansion of y in z 0.297 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.297 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.297 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.297 * [taylor]: Taking taylor expansion of -1 in z 0.297 * [taylor]: Taking taylor expansion of y in z 0.297 * [taylor]: Taking taylor expansion of z in z 0.298 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.298 * [taylor]: Taking taylor expansion of x in z 0.298 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in y 0.298 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y 0.298 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.298 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.298 * [taylor]: Taking taylor expansion of -1 in y 0.298 * [taylor]: Taking taylor expansion of y in y 0.298 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.298 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.298 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.298 * [taylor]: Taking taylor expansion of -1 in y 0.298 * [taylor]: Taking taylor expansion of y in y 0.299 * [taylor]: Taking taylor expansion of z in y 0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.299 * [taylor]: Taking taylor expansion of x in y 0.299 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x 0.299 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x 0.299 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.299 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.299 * [taylor]: Taking taylor expansion of -1 in x 0.299 * [taylor]: Taking taylor expansion of y in x 0.299 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.299 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.299 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.299 * [taylor]: Taking taylor expansion of -1 in x 0.299 * [taylor]: Taking taylor expansion of y in x 0.299 * [taylor]: Taking taylor expansion of z in x 0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.299 * [taylor]: Taking taylor expansion of x in x 0.300 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x 0.300 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x 0.300 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.300 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.300 * [taylor]: Taking taylor expansion of -1 in x 0.300 * [taylor]: Taking taylor expansion of y in x 0.300 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.300 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.300 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.300 * [taylor]: Taking taylor expansion of -1 in x 0.300 * [taylor]: Taking taylor expansion of y in x 0.300 * [taylor]: Taking taylor expansion of z in x 0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.301 * [taylor]: Taking taylor expansion of -1 in y 0.301 * [taylor]: Taking taylor expansion of -1 in z 0.303 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y 0.303 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.303 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.303 * [taylor]: Taking taylor expansion of -1 in y 0.303 * [taylor]: Taking taylor expansion of y in y 0.303 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.303 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.303 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.303 * [taylor]: Taking taylor expansion of -1 in y 0.303 * [taylor]: Taking taylor expansion of y in y 0.304 * [taylor]: Taking taylor expansion of z in y 0.304 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z 0.304 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.304 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.304 * [taylor]: Taking taylor expansion of -1 in z 0.304 * [taylor]: Taking taylor expansion of y in z 0.304 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.304 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.304 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.304 * [taylor]: Taking taylor expansion of -1 in z 0.304 * [taylor]: Taking taylor expansion of y in z 0.304 * [taylor]: Taking taylor expansion of z in z 0.304 * [taylor]: Taking taylor expansion of 0 in z 0.309 * [taylor]: Taking taylor expansion of 0 in y 0.309 * [taylor]: Taking taylor expansion of 0 in z 0.310 * [taylor]: Taking taylor expansion of 0 in z 0.310 * [taylor]: Taking taylor expansion of 0 in z 0.313 * * * [progress]: simplifying candidates 0.314 * [simplify]: Simplifying using # : (expm1 (* z (sin y))) (log1p (* z (sin y))) (* z (sin y)) (+ (log z) (log (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (* (* (* z z) z) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (* (* (* z (sin y)) (* z (sin y))) (* z (sin y))) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) (* z 1) (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (fma (* (cbrt (+ x (cos y))) (cbrt (+ x (cos y)))) (cbrt (+ x (cos y))) (- (* (sin y) z))) (fma (- (sin y)) z (* (sin y) z)) (fma (sqrt (+ x (cos y))) (sqrt (+ x (cos y))) (- (* (sin y) z))) (fma (- (sin y)) z (* (sin y) z)) (fma 1 (+ x (cos y)) (- (* (sin y) z))) (fma (- (sin y)) z (* (sin y) z)) (fma 1 (+ x (cos y)) (- (* (sin y) z))) (fma (- (sin y)) z (* (sin y) z)) (expm1 (- (+ x (cos y)) (* z (sin y)))) (log1p (- (+ x (cos y)) (* z (sin y)))) (- (* z (sin y))) (- (* z (sin y))) (- (* z (sin y))) (- (* z (sin y))) (/ (* (exp x) (exp (cos y))) (exp (* z (sin y)))) (/ (exp (+ x (cos y))) (exp (* z (sin y)))) (log (- (+ x (cos y)) (* z (sin y)))) (exp (- (+ x (cos y)) (* z (sin y)))) (* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y))))) (cbrt (- (+ x (cos y)) (* z (sin y)))) (* (* (- (+ x (cos y)) (* z (sin y))) (- (+ x (cos y)) (* z (sin y)))) (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (+ x (cos y)) (+ x (cos y))) (+ (* (* z (sin y)) (* z (sin y))) (* (+ x (cos y)) (* z (sin y))))) (- (* z (sin y))) (- (* (+ x (cos y)) (+ x (cos y))) (* (* z (sin y)) (* z (sin y)))) (+ (+ x (cos y)) (* z (sin y))) (- (cos y) (* z (sin y))) (- (* z (sin y))) (* z y) (* (sin y) z) (* (sin y) z) (- (+ x 1) (* 1/2 (pow y 2))) (- (+ x (cos y)) (* (sin y) z)) (- (+ x (cos y)) (* (sin y) z)) 0.319 * * [simplify]: iteration 0 : 82 enodes (cost 511 ) 0.334 * * [simplify]: iteration 1 : 177 enodes (cost 491 ) 0.373 * * [simplify]: iteration 2 : 470 enodes (cost 461 ) 0.563 * * [simplify]: iteration 3 : 1720 enodes (cost 432 ) 1.504 * * [simplify]: iteration done : 5000 enodes (cost 428 ) 1.505 * [simplify]: Simplified to: (expm1 (* z (sin y))) (log1p (* z (sin y))) (* z (sin y)) (log (* z (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (pow (* z (sin y)) 3) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (pow (* z (sin y)) 3) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) z (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3)) (* (sin y) (- z z)) (- x (- (* z (sin y)) (cos y))) (* (sin y) (- z z)) (- x (- (* z (sin y)) (cos y))) (* (sin y) (- z z)) (- x (- (* z (sin y)) (cos y))) (* (sin y) (- z z)) (expm1 (- (+ x (cos y)) (* z (sin y)))) (log1p (- (+ x (cos y)) (* z (sin y)))) (- (* z (sin y))) (- (* z (sin y))) (- (* z (sin y))) (- (* z (sin y))) (exp (- (+ x (cos y)) (* (sin y) z))) (exp (- (+ x (cos y)) (* (sin y) z))) (log (- (+ x (cos y)) (* z (sin y)))) (exp (- (+ x (cos y)) (* (sin y) z))) (* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y))))) (cbrt (- (+ x (cos y)) (* z (sin y)))) (pow (- (+ x (cos y)) (* z (sin y))) 3) (sqrt (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (fma (+ (cos y) x) (+ (cos y) x) (* (* z (sin y)) (fma (sin y) z (+ (cos y) x)))) (- (* z (sin y))) (* (- (+ x (cos y)) (* z (sin y))) (fma (sin y) z (+ (cos y) x))) (fma (sin y) z (+ (cos y) x)) (- (cos y) (* z (sin y))) (- (* z (sin y))) (* z y) (* z (sin y)) (* z (sin y)) (fma (pow y 2) -1/2 (+ x 1)) (- x (- (* z (sin y)) (cos y))) (- x (- (* z (sin y)) (cos y))) 1.506 * * * [progress]: adding candidates to table 1.641 * * [progress]: iteration 2 / 4 1.641 * * * [progress]: picking best candidate 1.659 * * * * [pick]: Picked # 1.659 * * * [progress]: localizing error 1.672 * * * [progress]: generating rewritten candidates 1.672 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 1.673 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 1.673 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 1.674 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.682 * * * [progress]: generating series expansions 1.682 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 1.682 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 1.682 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.682 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.682 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.682 * [taylor]: Taking taylor expansion of 1/3 in z 1.682 * [taylor]: Taking taylor expansion of (log z) in z 1.682 * [taylor]: Taking taylor expansion of z in z 1.683 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.683 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.683 * [taylor]: Taking taylor expansion of 1/3 in z 1.683 * [taylor]: Taking taylor expansion of (log z) in z 1.683 * [taylor]: Taking taylor expansion of z in z 1.736 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 1.736 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.736 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.736 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.736 * [taylor]: Taking taylor expansion of 1/3 in z 1.736 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.736 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.736 * [taylor]: Taking taylor expansion of z in z 1.737 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.737 * [taylor]: Taking taylor expansion of 1/3 in z 1.738 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.738 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.738 * [taylor]: Taking taylor expansion of z in z 1.793 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 1.793 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.793 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.793 * [taylor]: Taking taylor expansion of -1 in z 1.794 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.794 * [taylor]: Taking taylor expansion of 1/3 in z 1.794 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.794 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.794 * [taylor]: Taking taylor expansion of z in z 1.795 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.795 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.795 * [taylor]: Taking taylor expansion of -1 in z 1.796 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.796 * [taylor]: Taking taylor expansion of 1/3 in z 1.796 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.796 * [taylor]: Taking taylor expansion of z in z 1.864 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 1.864 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 1.864 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.864 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.864 * [taylor]: Taking taylor expansion of 1/3 in z 1.864 * [taylor]: Taking taylor expansion of (log z) in z 1.864 * [taylor]: Taking taylor expansion of z in z 1.864 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.864 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.864 * [taylor]: Taking taylor expansion of 1/3 in z 1.865 * [taylor]: Taking taylor expansion of (log z) in z 1.865 * [taylor]: Taking taylor expansion of z in z 1.914 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 1.914 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.914 * [taylor]: Taking taylor expansion of 1/3 in z 1.914 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.914 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.914 * [taylor]: Taking taylor expansion of z in z 1.915 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.915 * [taylor]: Taking taylor expansion of 1/3 in z 1.915 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.915 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.915 * [taylor]: Taking taylor expansion of z in z 1.971 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 1.971 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.971 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.971 * [taylor]: Taking taylor expansion of -1 in z 1.971 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.972 * [taylor]: Taking taylor expansion of 1/3 in z 1.972 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.972 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.972 * [taylor]: Taking taylor expansion of z in z 1.972 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.972 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.972 * [taylor]: Taking taylor expansion of -1 in z 1.973 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.973 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.973 * [taylor]: Taking taylor expansion of 1/3 in z 1.973 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.973 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.973 * [taylor]: Taking taylor expansion of z in z 2.043 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 2.043 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.043 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.043 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.043 * [taylor]: Taking taylor expansion of 1/3 in z 2.043 * [taylor]: Taking taylor expansion of (log z) in z 2.043 * [taylor]: Taking taylor expansion of z in z 2.044 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.044 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.044 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.044 * [taylor]: Taking taylor expansion of 1/3 in z 2.044 * [taylor]: Taking taylor expansion of (log z) in z 2.044 * [taylor]: Taking taylor expansion of z in z 2.099 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.099 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.099 * [taylor]: Taking taylor expansion of 1/3 in z 2.099 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.099 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.099 * [taylor]: Taking taylor expansion of z in z 2.100 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.100 * [taylor]: Taking taylor expansion of 1/3 in z 2.100 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.100 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.100 * [taylor]: Taking taylor expansion of z in z 2.154 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.154 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.154 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.154 * [taylor]: Taking taylor expansion of -1 in z 2.161 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.161 * [taylor]: Taking taylor expansion of 1/3 in z 2.161 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.161 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.161 * [taylor]: Taking taylor expansion of z in z 2.162 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.162 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.162 * [taylor]: Taking taylor expansion of -1 in z 2.163 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.163 * [taylor]: Taking taylor expansion of 1/3 in z 2.163 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.163 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.163 * [taylor]: Taking taylor expansion of z in z 2.229 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 2.229 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 2.229 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 2.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 2.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 2.229 * [taylor]: Taking taylor expansion of 1/3 in z 2.229 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 2.229 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.229 * [taylor]: Taking taylor expansion of z in z 2.230 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 2.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 2.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 2.230 * [taylor]: Taking taylor expansion of 1/3 in z 2.230 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 2.230 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.230 * [taylor]: Taking taylor expansion of z in z 2.291 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 2.291 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.291 * [taylor]: Taking taylor expansion of 1/3 in z 2.291 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.291 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.291 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.291 * [taylor]: Taking taylor expansion of z in z 2.292 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.292 * [taylor]: Taking taylor expansion of 1/3 in z 2.292 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.292 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.292 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.292 * [taylor]: Taking taylor expansion of z in z 2.357 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in (z) around 0 2.357 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 2.357 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.357 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.357 * [taylor]: Taking taylor expansion of -1 in z 2.358 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.358 * [taylor]: Taking taylor expansion of 1/3 in z 2.358 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.358 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.358 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.358 * [taylor]: Taking taylor expansion of z in z 2.359 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 2.359 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.359 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.359 * [taylor]: Taking taylor expansion of -1 in z 2.360 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.360 * [taylor]: Taking taylor expansion of 1/3 in z 2.360 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.360 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.360 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.360 * [taylor]: Taking taylor expansion of z in z 2.443 * * * [progress]: simplifying candidates 2.444 * [simplify]: Simplifying using # : (expm1 (cbrt z)) (log1p (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)) (expm1 (cbrt z)) (log1p (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)) (expm1 (cbrt z)) (log1p (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)) (expm1 (* (cbrt z) (cbrt z))) (log1p (* (cbrt z) (cbrt z))) (+ 1/3 1/3) (+ 1 1) (* z z) (* (cbrt z) (cbrt z)) (+ 1 1) (+ (log (cbrt z)) (log (cbrt z))) (log (* (cbrt z) (cbrt z))) (exp (* (cbrt z) (cbrt z))) (* z z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 1 1) (* (cbrt z) (cbrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 2 1/3) (* 2 1) (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (* (cbrt z) (cbrt 1)) (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt z) (sqrt (cbrt z))) (* (cbrt z) 1) (* (cbrt (cbrt z)) (cbrt z)) (* (cbrt (sqrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt (cbrt z)) (cbrt z)) (* (sqrt (cbrt z)) (cbrt z)) (* (cbrt z) (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)) (pow z 2/3) (pow (/ 1 z) -2/3) (* (pow (cbrt -1) 2) (pow (pow z 2) 1/3)) 2.446 * * [simplify]: iteration 0 : 65 enodes (cost 554 ) 2.463 * * [simplify]: iteration 1 : 119 enodes (cost 443 ) 2.490 * * [simplify]: iteration 2 : 329 enodes (cost 423 ) 2.727 * * [simplify]: iteration 3 : 1180 enodes (cost 405 ) 3.979 * * [simplify]: iteration 4 : 3749 enodes (cost 400 ) 5.684 * * [simplify]: iteration done : 5000 enodes (cost 400 ) 5.685 * [simplify]: Simplified to: (expm1 (cbrt z)) (log1p (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)) (expm1 (cbrt z)) (log1p (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)) (expm1 (cbrt z)) (log1p (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)) (expm1 (pow z 2/3)) (log1p (pow z 2/3)) 2/3 2 (* z z) (pow z 2/3) 2 (log (pow z 2/3)) (log (pow z 2/3)) (exp (pow z 2/3)) (* z z) (* (cbrt (pow z 2/3)) (cbrt (pow z 2/3))) (cbrt (pow z 2/3)) (* z z) (fabs (cbrt z)) (fabs (cbrt z)) (* (cbrt (pow z 2/3)) (cbrt (pow z 2/3))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) 1 (pow z 2/3) (pow (cbrt (cbrt z)) 4) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt z) (cbrt z) 1 (pow z 2/3) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (cbrt z) (cbrt z) 2/3 2 (* (cbrt (pow z 2/3)) (cbrt z)) (* (cbrt z) (cbrt (sqrt z))) (cbrt z) (pow (cbrt (cbrt z)) 5) (pow (sqrt (cbrt z)) 3) (cbrt z) (pow (cbrt (cbrt z)) 4) (* (cbrt z) (cbrt (sqrt z))) (pow z 2/3) (pow (cbrt (cbrt z)) 4) (pow (sqrt (cbrt z)) 3) (pow z 2/3) (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))) (pow z 2/3) (pow (/ 1 z) -2/3) (* (pow z 2/3) (pow (cbrt -1) 2)) 5.685 * * * [progress]: adding candidates to table 5.959 * * [progress]: iteration 3 / 4 5.959 * * * [progress]: picking best candidate 5.978 * * * * [pick]: Picked # 5.978 * * * [progress]: localizing error 5.996 * * * [progress]: generating rewritten candidates 5.996 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 5.999 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 6.000 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2) 6.001 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 6.003 * * * [progress]: generating series expansions 6.003 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 6.003 * [approximate]: Taking taylor expansion of (pow (pow z 1/9) 4) in (z) around 0 6.003 * [taylor]: Taking taylor expansion of (pow (pow z 1/9) 4) in z 6.004 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.004 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.004 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.004 * [taylor]: Taking taylor expansion of 1/9 in z 6.004 * [taylor]: Taking taylor expansion of (log z) in z 6.004 * [taylor]: Taking taylor expansion of z in z 6.004 * [taylor]: Taking taylor expansion of (pow (pow z 1/9) 4) in z 6.004 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.005 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.005 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.005 * [taylor]: Taking taylor expansion of 1/9 in z 6.005 * [taylor]: Taking taylor expansion of (log z) in z 6.005 * [taylor]: Taking taylor expansion of z in z 6.068 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 4) in (z) around 0 6.068 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 4) in z 6.068 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.068 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.068 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.069 * [taylor]: Taking taylor expansion of 1/9 in z 6.069 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.069 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.069 * [taylor]: Taking taylor expansion of z in z 6.069 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 4) in z 6.070 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.070 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.070 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.070 * [taylor]: Taking taylor expansion of 1/9 in z 6.070 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.070 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.070 * [taylor]: Taking taylor expansion of z in z 6.136 * [approximate]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) 4) in (z) around 0 6.136 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) 4) in z 6.136 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.136 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.136 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.136 * [taylor]: Taking taylor expansion of 1/3 in z 6.136 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.136 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.136 * [taylor]: Taking taylor expansion of -1 in z 6.140 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.140 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.140 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.140 * [taylor]: Taking taylor expansion of 1/9 in z 6.140 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.140 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.140 * [taylor]: Taking taylor expansion of z in z 6.141 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) 4) in z 6.141 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.141 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.142 * [taylor]: Taking taylor expansion of 1/3 in z 6.142 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.142 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.142 * [taylor]: Taking taylor expansion of -1 in z 6.145 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.145 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.145 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.145 * [taylor]: Taking taylor expansion of 1/9 in z 6.145 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.145 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.145 * [taylor]: Taking taylor expansion of z in z 6.308 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 6.308 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 6.308 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.308 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.308 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.308 * [taylor]: Taking taylor expansion of 1/9 in z 6.308 * [taylor]: Taking taylor expansion of (log z) in z 6.308 * [taylor]: Taking taylor expansion of z in z 6.309 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.309 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.309 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.309 * [taylor]: Taking taylor expansion of 1/9 in z 6.309 * [taylor]: Taking taylor expansion of (log z) in z 6.309 * [taylor]: Taking taylor expansion of z in z 6.357 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 6.357 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.357 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.357 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.357 * [taylor]: Taking taylor expansion of 1/9 in z 6.357 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.357 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.357 * [taylor]: Taking taylor expansion of z in z 6.358 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.358 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.358 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.358 * [taylor]: Taking taylor expansion of 1/9 in z 6.358 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.358 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.358 * [taylor]: Taking taylor expansion of z in z 6.416 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 6.416 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.416 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.416 * [taylor]: Taking taylor expansion of 1/3 in z 6.416 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.416 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.416 * [taylor]: Taking taylor expansion of -1 in z 6.420 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.420 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.420 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.420 * [taylor]: Taking taylor expansion of 1/9 in z 6.420 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.420 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.420 * [taylor]: Taking taylor expansion of z in z 6.421 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.421 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.421 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.421 * [taylor]: Taking taylor expansion of 1/3 in z 6.421 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.421 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.421 * [taylor]: Taking taylor expansion of -1 in z 6.424 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.424 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.424 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.424 * [taylor]: Taking taylor expansion of 1/9 in z 6.424 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.424 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.424 * [taylor]: Taking taylor expansion of z in z 6.556 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2) 6.556 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 6.556 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.556 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.556 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.556 * [taylor]: Taking taylor expansion of 1/9 in z 6.556 * [taylor]: Taking taylor expansion of (log z) in z 6.556 * [taylor]: Taking taylor expansion of z in z 6.557 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.557 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.557 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.557 * [taylor]: Taking taylor expansion of 1/9 in z 6.557 * [taylor]: Taking taylor expansion of (log z) in z 6.557 * [taylor]: Taking taylor expansion of z in z 6.613 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 6.613 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.613 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.613 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.613 * [taylor]: Taking taylor expansion of 1/9 in z 6.613 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.613 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.613 * [taylor]: Taking taylor expansion of z in z 6.614 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.614 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.614 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.614 * [taylor]: Taking taylor expansion of 1/9 in z 6.614 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.614 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.614 * [taylor]: Taking taylor expansion of z in z 6.666 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 6.666 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.666 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.667 * [taylor]: Taking taylor expansion of 1/3 in z 6.667 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.667 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.667 * [taylor]: Taking taylor expansion of -1 in z 6.670 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.670 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.670 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.670 * [taylor]: Taking taylor expansion of 1/9 in z 6.670 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.670 * [taylor]: Taking taylor expansion of z in z 6.671 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.671 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.671 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.671 * [taylor]: Taking taylor expansion of 1/3 in z 6.671 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.671 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.671 * [taylor]: Taking taylor expansion of -1 in z 6.675 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.675 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.675 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.675 * [taylor]: Taking taylor expansion of 1/9 in z 6.675 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.675 * [taylor]: Taking taylor expansion of z in z 6.806 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 6.806 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 6.806 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.806 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.806 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.806 * [taylor]: Taking taylor expansion of 1/9 in z 6.806 * [taylor]: Taking taylor expansion of (log z) in z 6.806 * [taylor]: Taking taylor expansion of z in z 6.807 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 6.807 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 6.807 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 6.807 * [taylor]: Taking taylor expansion of 1/9 in z 6.807 * [taylor]: Taking taylor expansion of (log z) in z 6.807 * [taylor]: Taking taylor expansion of z in z 6.865 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 6.865 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.865 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.865 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.865 * [taylor]: Taking taylor expansion of 1/9 in z 6.865 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.865 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.865 * [taylor]: Taking taylor expansion of z in z 6.866 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.866 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.866 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.866 * [taylor]: Taking taylor expansion of 1/9 in z 6.866 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.866 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.866 * [taylor]: Taking taylor expansion of z in z 6.925 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0 6.925 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.925 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.925 * [taylor]: Taking taylor expansion of 1/3 in z 6.925 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.925 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.925 * [taylor]: Taking taylor expansion of -1 in z 6.929 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.929 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.929 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.929 * [taylor]: Taking taylor expansion of 1/9 in z 6.929 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.929 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.929 * [taylor]: Taking taylor expansion of z in z 6.930 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z 6.930 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 6.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 6.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 6.930 * [taylor]: Taking taylor expansion of 1/3 in z 6.930 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 6.930 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.930 * [taylor]: Taking taylor expansion of -1 in z 6.934 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 6.934 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 6.934 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 6.934 * [taylor]: Taking taylor expansion of 1/9 in z 6.934 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.934 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.934 * [taylor]: Taking taylor expansion of z in z 7.060 * * * [progress]: simplifying candidates 7.061 * [simplify]: Simplifying using # : (expm1 (pow (cbrt (cbrt z)) 4)) (log1p (pow (cbrt (cbrt z)) 4)) (* (log (cbrt (cbrt z))) 4) (* (log (cbrt (cbrt z))) 4) (* 1/3 4) (* 1 4) (pow (cbrt (cbrt z)) (* (cbrt 4) (cbrt 4))) (pow (cbrt (cbrt z)) (sqrt 4)) (pow (cbrt (cbrt z)) 1) (pow (cbrt (cbrt (* (cbrt z) (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt 1)) 4) (pow (cbrt (cbrt z)) 4) (pow (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) (pow (cbrt 1) 4) (pow (cbrt (cbrt z)) 4) (pow (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (sqrt (cbrt (cbrt z))) 4) (pow (sqrt (cbrt (cbrt z))) 4) (pow 1 4) (pow (cbrt (cbrt z)) 4) (log (pow (cbrt (cbrt z)) 4)) (exp (pow (cbrt (cbrt z)) 4)) (* (cbrt (pow (cbrt (cbrt z)) 4)) (cbrt (pow (cbrt (cbrt z)) 4))) (cbrt (pow (cbrt (cbrt z)) 4)) (* (* (pow (cbrt (cbrt z)) 4) (pow (cbrt (cbrt z)) 4)) (pow (cbrt (cbrt z)) 4)) (sqrt (pow (cbrt (cbrt z)) 4)) (sqrt (pow (cbrt (cbrt z)) 4)) (pow (cbrt (cbrt z)) (/ 4 2)) (pow (cbrt (cbrt z)) (/ 4 2)) (expm1 (cbrt (cbrt z))) (log1p (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt 1)) (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt 1) (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (expm1 (cbrt (cbrt z))) (log1p (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt 1)) (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt 1) (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (expm1 (cbrt (cbrt z))) (log1p (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt 1)) (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt 1) (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (pow (pow z 4) 1/9) (pow (pow z 4) 1/9) (* (pow (pow (cbrt -1) 4) 1/3) (pow (pow z 4) 1/9)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (pow (* -1 z) 1/9) (pow (cbrt -1) 1/3)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (pow (* -1 z) 1/9) (pow (cbrt -1) 1/3)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (pow (* -1 z) 1/9) (pow (cbrt -1) 1/3)) 7.064 * * [simplify]: iteration 0 : 74 enodes (cost 605 ) 7.089 * * [simplify]: iteration 1 : 147 enodes (cost 549 ) 7.115 * * [simplify]: iteration 2 : 282 enodes (cost 545 ) 7.175 * * [simplify]: iteration 3 : 662 enodes (cost 519 ) 7.542 * * [simplify]: iteration 4 : 2449 enodes (cost 505 ) 8.872 * * [simplify]: iteration done : 5000 enodes (cost 505 ) 8.873 * [simplify]: Simplified to: (expm1 (pow (cbrt (cbrt z)) 4)) (log1p (pow (cbrt (cbrt z)) 4)) (log (pow (cbrt (cbrt z)) 4)) (log (pow (cbrt (cbrt z)) 4)) 4/3 4 (pow (cbrt (cbrt z)) (* (cbrt 4) (cbrt 4))) (pow (cbrt (cbrt z)) 2) (cbrt (cbrt z)) (pow (cbrt (cbrt (* (cbrt z) (cbrt z)))) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) (pow (cbrt (cbrt (sqrt z))) 4) 1 (pow (cbrt (cbrt z)) 4) (pow (cbrt (pow (cbrt (cbrt z)) 2)) 4) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) (pow (cbrt (sqrt (cbrt z))) 4) 1 (pow (cbrt (cbrt z)) 4) (pow (cbrt (cbrt (cbrt z))) 8) (pow (cbrt (cbrt (cbrt z))) 4) (pow (cbrt (cbrt z)) 2) (pow (cbrt (cbrt z)) 2) 1 (pow (cbrt (cbrt z)) 4) (log (pow (cbrt (cbrt z)) 4)) (exp (pow (cbrt (cbrt z)) 4)) (* (cbrt (pow (cbrt (cbrt z)) 4)) (cbrt (pow (cbrt (cbrt z)) 4))) (cbrt (pow (cbrt (cbrt z)) 4)) (pow (cbrt z) 4) (sqrt (pow (cbrt (cbrt z)) 4)) (sqrt (pow (cbrt (cbrt z)) 4)) (pow (cbrt (cbrt z)) 2) (pow (cbrt (cbrt z)) 2) (expm1 (cbrt (cbrt z))) (log1p (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (pow (cbrt (cbrt z)) 2)) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (pow (cbrt (cbrt (cbrt z))) 2) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (expm1 (cbrt (cbrt z))) (log1p (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (pow (cbrt (cbrt z)) 2)) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (pow (cbrt (cbrt (cbrt z))) 2) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (expm1 (cbrt (cbrt z))) (log1p (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (pow (cbrt (cbrt z)) 2)) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (pow (cbrt (cbrt (cbrt z))) 2) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (pow (pow z 4) 1/9) (pow (pow z 4) 1/9) (* (pow (pow z 4) 1/9) (cbrt (pow (cbrt -1) 4))) (pow z 1/9) (pow (/ 1 z) -1/9) (* (cbrt (cbrt -1)) (pow (- z) 1/9)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (cbrt (cbrt -1)) (pow (- z) 1/9)) (pow z 1/9) (pow (/ 1 z) -1/9) (* (cbrt (cbrt -1)) (pow (- z) 1/9)) 8.874 * * * [progress]: adding candidates to table 9.222 * * [progress]: iteration 4 / 4 9.222 * * * [progress]: picking best candidate 9.237 * * * * [pick]: Picked # 9.237 * * * [progress]: localizing error 9.253 * * * [progress]: generating rewritten candidates 9.253 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 3) 9.259 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 3 1) 9.261 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 9.263 * * * [progress]: generating series expansions 9.263 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 3) 9.263 * [approximate]: Taking taylor expansion of (pow (pow (+ x (cos y)) 1/3) 3) in (x y) around 0 9.263 * [taylor]: Taking taylor expansion of (pow (pow (+ x (cos y)) 1/3) 3) in y 9.263 * [taylor]: Taking taylor expansion of (pow (+ x (cos y)) 1/3) in y 9.263 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (cos y))))) in y 9.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (cos y)))) in y 9.264 * [taylor]: Taking taylor expansion of 1/3 in y 9.264 * [taylor]: Taking taylor expansion of (log (+ x (cos y))) in y 9.264 * [taylor]: Taking taylor expansion of (+ x (cos y)) in y 9.264 * [taylor]: Taking taylor expansion of x in y 9.264 * [taylor]: Taking taylor expansion of (cos y) in y 9.264 * [taylor]: Taking taylor expansion of y in y 9.264 * [taylor]: Taking taylor expansion of (pow (pow (+ x (cos y)) 1/3) 3) in x 9.264 * [taylor]: Taking taylor expansion of (pow (+ x (cos y)) 1/3) in x 9.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (cos y))))) in x 9.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (cos y)))) in x 9.264 * [taylor]: Taking taylor expansion of 1/3 in x 9.264 * [taylor]: Taking taylor expansion of (log (+ x (cos y))) in x 9.264 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 9.264 * [taylor]: Taking taylor expansion of x in x 9.264 * [taylor]: Taking taylor expansion of (cos y) in x 9.264 * [taylor]: Taking taylor expansion of y in x 9.265 * [taylor]: Taking taylor expansion of (pow (pow (+ x (cos y)) 1/3) 3) in x 9.265 * [taylor]: Taking taylor expansion of (pow (+ x (cos y)) 1/3) in x 9.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (cos y))))) in x 9.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (cos y)))) in x 9.265 * [taylor]: Taking taylor expansion of 1/3 in x 9.265 * [taylor]: Taking taylor expansion of (log (+ x (cos y))) in x 9.265 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 9.265 * [taylor]: Taking taylor expansion of x in x 9.265 * [taylor]: Taking taylor expansion of (cos y) in x 9.265 * [taylor]: Taking taylor expansion of y in x 9.266 * [taylor]: Taking taylor expansion of (cos y) in y 9.266 * [taylor]: Taking taylor expansion of y in y 9.269 * [taylor]: Taking taylor expansion of 1 in y 9.275 * [taylor]: Taking taylor expansion of 0 in y 9.277 * [approximate]: Taking taylor expansion of (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3) in (x y) around 0 9.277 * [taylor]: Taking taylor expansion of (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3) in y 9.277 * [taylor]: Taking taylor expansion of (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) in y 9.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x))))) in y 9.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x)))) in y 9.277 * [taylor]: Taking taylor expansion of 1/3 in y 9.277 * [taylor]: Taking taylor expansion of (log (+ (cos (/ 1 y)) (/ 1 x))) in y 9.277 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y 9.277 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 9.277 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.277 * [taylor]: Taking taylor expansion of y in y 9.277 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.277 * [taylor]: Taking taylor expansion of x in y 9.277 * [taylor]: Taking taylor expansion of (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3) in x 9.277 * [taylor]: Taking taylor expansion of (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) in x 9.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x))))) in x 9.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x)))) in x 9.278 * [taylor]: Taking taylor expansion of 1/3 in x 9.278 * [taylor]: Taking taylor expansion of (log (+ (cos (/ 1 y)) (/ 1 x))) in x 9.278 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 9.278 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 9.278 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.278 * [taylor]: Taking taylor expansion of y in x 9.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.278 * [taylor]: Taking taylor expansion of x in x 9.279 * [taylor]: Taking taylor expansion of (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3) in x 9.279 * [taylor]: Taking taylor expansion of (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) in x 9.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x))))) in x 9.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x)))) in x 9.279 * [taylor]: Taking taylor expansion of 1/3 in x 9.279 * [taylor]: Taking taylor expansion of (log (+ (cos (/ 1 y)) (/ 1 x))) in x 9.279 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 9.279 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 9.279 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.279 * [taylor]: Taking taylor expansion of y in x 9.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.279 * [taylor]: Taking taylor expansion of x in x 9.281 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.281 * [taylor]: Taking taylor expansion of x in y 9.284 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 9.284 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 9.284 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.284 * [taylor]: Taking taylor expansion of y in y 9.284 * [taylor]: Taking taylor expansion of x in y 9.295 * [taylor]: Taking taylor expansion of 0 in y 9.304 * [taylor]: Taking taylor expansion of 0 in y 9.304 * [approximate]: Taking taylor expansion of (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3) in (x y) around 0 9.305 * [taylor]: Taking taylor expansion of (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3) in y 9.305 * [taylor]: Taking taylor expansion of (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) in y 9.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x))))) in y 9.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x)))) in y 9.305 * [taylor]: Taking taylor expansion of 1/3 in y 9.305 * [taylor]: Taking taylor expansion of (log (- (cos (/ -1 y)) (/ 1 x))) in y 9.305 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in y 9.305 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 9.305 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.305 * [taylor]: Taking taylor expansion of -1 in y 9.305 * [taylor]: Taking taylor expansion of y in y 9.305 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.305 * [taylor]: Taking taylor expansion of x in y 9.306 * [taylor]: Taking taylor expansion of (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3) in x 9.306 * [taylor]: Taking taylor expansion of (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) in x 9.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x))))) in x 9.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x)))) in x 9.306 * [taylor]: Taking taylor expansion of 1/3 in x 9.306 * [taylor]: Taking taylor expansion of (log (- (cos (/ -1 y)) (/ 1 x))) in x 9.306 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x 9.306 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 9.306 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.306 * [taylor]: Taking taylor expansion of -1 in x 9.306 * [taylor]: Taking taylor expansion of y in x 9.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.306 * [taylor]: Taking taylor expansion of x in x 9.308 * [taylor]: Taking taylor expansion of (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3) in x 9.308 * [taylor]: Taking taylor expansion of (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) in x 9.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x))))) in x 9.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x)))) in x 9.308 * [taylor]: Taking taylor expansion of 1/3 in x 9.308 * [taylor]: Taking taylor expansion of (log (- (cos (/ -1 y)) (/ 1 x))) in x 9.308 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x 9.308 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 9.308 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.308 * [taylor]: Taking taylor expansion of -1 in x 9.308 * [taylor]: Taking taylor expansion of y in x 9.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.308 * [taylor]: Taking taylor expansion of x in x 9.312 * [taylor]: Taking taylor expansion of (pow (exp (* 1/3 (- (log -1) (log x)))) 3) in y 9.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 9.312 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 9.312 * [taylor]: Taking taylor expansion of 1/3 in y 9.312 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 9.312 * [taylor]: Taking taylor expansion of (log -1) in y 9.312 * [taylor]: Taking taylor expansion of -1 in y 9.312 * [taylor]: Taking taylor expansion of (log x) in y 9.312 * [taylor]: Taking taylor expansion of x in y 9.321 * [taylor]: Taking taylor expansion of (- (* (pow (exp (* 1/3 (- (log -1) (log x)))) 3) (cos (/ -1 y)))) in y 9.321 * [taylor]: Taking taylor expansion of (* (pow (exp (* 1/3 (- (log -1) (log x)))) 3) (cos (/ -1 y))) in y 9.321 * [taylor]: Taking taylor expansion of (pow (exp (* 1/3 (- (log -1) (log x)))) 3) in y 9.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 9.321 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 9.321 * [taylor]: Taking taylor expansion of 1/3 in y 9.321 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 9.322 * [taylor]: Taking taylor expansion of (log -1) in y 9.322 * [taylor]: Taking taylor expansion of -1 in y 9.322 * [taylor]: Taking taylor expansion of (log x) in y 9.322 * [taylor]: Taking taylor expansion of x in y 9.323 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 9.323 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.323 * [taylor]: Taking taylor expansion of -1 in y 9.323 * [taylor]: Taking taylor expansion of y in y 9.341 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (pow (exp (* 1/3 (- (log -1) (log x)))) 3) (pow (cos (/ -1 y)) 2))) (* 1/9 (* (pow (cos (/ -1 y)) 2) (pow (exp (* 1/3 (- (log -1) (log x)))) 3)))) in y 9.341 * [taylor]: Taking taylor expansion of (* 1/9 (* (pow (exp (* 1/3 (- (log -1) (log x)))) 3) (pow (cos (/ -1 y)) 2))) in y 9.341 * [taylor]: Taking taylor expansion of 1/9 in y 9.341 * [taylor]: Taking taylor expansion of (* (pow (exp (* 1/3 (- (log -1) (log x)))) 3) (pow (cos (/ -1 y)) 2)) in y 9.341 * [taylor]: Taking taylor expansion of (pow (exp (* 1/3 (- (log -1) (log x)))) 3) in y 9.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 9.341 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 9.341 * [taylor]: Taking taylor expansion of 1/3 in y 9.341 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 9.341 * [taylor]: Taking taylor expansion of (log -1) in y 9.341 * [taylor]: Taking taylor expansion of -1 in y 9.342 * [taylor]: Taking taylor expansion of (log x) in y 9.342 * [taylor]: Taking taylor expansion of x in y 9.343 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 9.343 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 9.343 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.343 * [taylor]: Taking taylor expansion of -1 in y 9.343 * [taylor]: Taking taylor expansion of y in y 9.343 * [taylor]: Taking taylor expansion of (* 1/9 (* (pow (cos (/ -1 y)) 2) (pow (exp (* 1/3 (- (log -1) (log x)))) 3))) in y 9.343 * [taylor]: Taking taylor expansion of 1/9 in y 9.343 * [taylor]: Taking taylor expansion of (* (pow (cos (/ -1 y)) 2) (pow (exp (* 1/3 (- (log -1) (log x)))) 3)) in y 9.343 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 9.343 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 9.343 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.343 * [taylor]: Taking taylor expansion of -1 in y 9.343 * [taylor]: Taking taylor expansion of y in y 9.344 * [taylor]: Taking taylor expansion of (pow (exp (* 1/3 (- (log -1) (log x)))) 3) in y 9.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 9.344 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 9.344 * [taylor]: Taking taylor expansion of 1/3 in y 9.344 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 9.344 * [taylor]: Taking taylor expansion of (log -1) in y 9.344 * [taylor]: Taking taylor expansion of -1 in y 9.344 * [taylor]: Taking taylor expansion of (log x) in y 9.344 * [taylor]: Taking taylor expansion of x in y 9.354 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 3 1) 9.354 * [approximate]: Taking taylor expansion of (pow (+ x (cos y)) 1/3) in (x y) around 0 9.354 * [taylor]: Taking taylor expansion of (pow (+ x (cos y)) 1/3) in y 9.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (cos y))))) in y 9.354 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (cos y)))) in y 9.354 * [taylor]: Taking taylor expansion of 1/3 in y 9.355 * [taylor]: Taking taylor expansion of (log (+ x (cos y))) in y 9.355 * [taylor]: Taking taylor expansion of (+ x (cos y)) in y 9.355 * [taylor]: Taking taylor expansion of x in y 9.355 * [taylor]: Taking taylor expansion of (cos y) in y 9.355 * [taylor]: Taking taylor expansion of y in y 9.355 * [taylor]: Taking taylor expansion of (pow (+ x (cos y)) 1/3) in x 9.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (cos y))))) in x 9.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (cos y)))) in x 9.355 * [taylor]: Taking taylor expansion of 1/3 in x 9.355 * [taylor]: Taking taylor expansion of (log (+ x (cos y))) in x 9.355 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 9.355 * [taylor]: Taking taylor expansion of x in x 9.355 * [taylor]: Taking taylor expansion of (cos y) in x 9.355 * [taylor]: Taking taylor expansion of y in x 9.355 * [taylor]: Taking taylor expansion of (pow (+ x (cos y)) 1/3) in x 9.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (cos y))))) in x 9.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (cos y)))) in x 9.355 * [taylor]: Taking taylor expansion of 1/3 in x 9.355 * [taylor]: Taking taylor expansion of (log (+ x (cos y))) in x 9.356 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 9.356 * [taylor]: Taking taylor expansion of x in x 9.356 * [taylor]: Taking taylor expansion of (cos y) in x 9.356 * [taylor]: Taking taylor expansion of y in x 9.356 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 9.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 9.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 9.356 * [taylor]: Taking taylor expansion of 1/3 in y 9.356 * [taylor]: Taking taylor expansion of (log (cos y)) in y 9.356 * [taylor]: Taking taylor expansion of (cos y) in y 9.356 * [taylor]: Taking taylor expansion of y in y 9.363 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow (cos y) 2)) 1/3)) in y 9.363 * [taylor]: Taking taylor expansion of 1/3 in y 9.363 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (cos y) 2)) 1/3) in y 9.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (cos y) 2))))) in y 9.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (cos y) 2)))) in y 9.363 * [taylor]: Taking taylor expansion of 1/3 in y 9.363 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (cos y) 2))) in y 9.363 * [taylor]: Taking taylor expansion of (/ 1 (pow (cos y) 2)) in y 9.363 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 9.363 * [taylor]: Taking taylor expansion of (cos y) in y 9.363 * [taylor]: Taking taylor expansion of y in y 9.375 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow (cos y) 5)) 1/3)) in y 9.375 * [taylor]: Taking taylor expansion of -1/9 in y 9.375 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (cos y) 5)) 1/3) in y 9.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (cos y) 5))))) in y 9.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (cos y) 5)))) in y 9.375 * [taylor]: Taking taylor expansion of 1/3 in y 9.375 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (cos y) 5))) in y 9.375 * [taylor]: Taking taylor expansion of (/ 1 (pow (cos y) 5)) in y 9.375 * [taylor]: Taking taylor expansion of (pow (cos y) 5) in y 9.375 * [taylor]: Taking taylor expansion of (cos y) in y 9.375 * [taylor]: Taking taylor expansion of y in y 9.389 * [approximate]: Taking taylor expansion of (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) in (x y) around 0 9.390 * [taylor]: Taking taylor expansion of (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) in y 9.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x))))) in y 9.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x)))) in y 9.390 * [taylor]: Taking taylor expansion of 1/3 in y 9.390 * [taylor]: Taking taylor expansion of (log (+ (cos (/ 1 y)) (/ 1 x))) in y 9.390 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y 9.390 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 9.390 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.390 * [taylor]: Taking taylor expansion of y in y 9.390 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.390 * [taylor]: Taking taylor expansion of x in y 9.390 * [taylor]: Taking taylor expansion of (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) in x 9.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x))))) in x 9.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x)))) in x 9.390 * [taylor]: Taking taylor expansion of 1/3 in x 9.390 * [taylor]: Taking taylor expansion of (log (+ (cos (/ 1 y)) (/ 1 x))) in x 9.390 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 9.390 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 9.390 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.390 * [taylor]: Taking taylor expansion of y in x 9.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.391 * [taylor]: Taking taylor expansion of x in x 9.392 * [taylor]: Taking taylor expansion of (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) in x 9.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x))))) in x 9.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x)))) in x 9.392 * [taylor]: Taking taylor expansion of 1/3 in x 9.392 * [taylor]: Taking taylor expansion of (log (+ (cos (/ 1 y)) (/ 1 x))) in x 9.392 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 9.392 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 9.392 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.392 * [taylor]: Taking taylor expansion of y in x 9.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.392 * [taylor]: Taking taylor expansion of x in x 9.393 * [taylor]: Taking taylor expansion of (pow x -1/3) in y 9.393 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in y 9.393 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in y 9.393 * [taylor]: Taking taylor expansion of -1/3 in y 9.393 * [taylor]: Taking taylor expansion of (log x) in y 9.393 * [taylor]: Taking taylor expansion of x in y 9.395 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (/ 1 y)) (pow (/ 1 x) 1/3))) in y 9.395 * [taylor]: Taking taylor expansion of 1/3 in y 9.395 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (pow (/ 1 x) 1/3)) in y 9.395 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 9.395 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.395 * [taylor]: Taking taylor expansion of y in y 9.396 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 9.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 9.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 9.396 * [taylor]: Taking taylor expansion of 1/3 in y 9.396 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 9.396 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.396 * [taylor]: Taking taylor expansion of x in y 9.402 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (cos (/ 1 y)) 2) (pow (/ 1 x) 1/3))) in y 9.402 * [taylor]: Taking taylor expansion of -1/9 in y 9.402 * [taylor]: Taking taylor expansion of (* (pow (cos (/ 1 y)) 2) (pow (/ 1 x) 1/3)) in y 9.402 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 9.402 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 9.402 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.402 * [taylor]: Taking taylor expansion of y in y 9.403 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 9.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 9.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 9.403 * [taylor]: Taking taylor expansion of 1/3 in y 9.403 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 9.403 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.403 * [taylor]: Taking taylor expansion of x in y 9.404 * [approximate]: Taking taylor expansion of (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) in (x y) around 0 9.404 * [taylor]: Taking taylor expansion of (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) in y 9.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x))))) in y 9.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x)))) in y 9.404 * [taylor]: Taking taylor expansion of 1/3 in y 9.404 * [taylor]: Taking taylor expansion of (log (- (cos (/ -1 y)) (/ 1 x))) in y 9.404 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in y 9.404 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 9.404 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.404 * [taylor]: Taking taylor expansion of -1 in y 9.404 * [taylor]: Taking taylor expansion of y in y 9.405 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.405 * [taylor]: Taking taylor expansion of x in y 9.405 * [taylor]: Taking taylor expansion of (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) in x 9.405 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x))))) in x 9.405 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x)))) in x 9.405 * [taylor]: Taking taylor expansion of 1/3 in x 9.405 * [taylor]: Taking taylor expansion of (log (- (cos (/ -1 y)) (/ 1 x))) in x 9.405 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x 9.405 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 9.405 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.405 * [taylor]: Taking taylor expansion of -1 in x 9.405 * [taylor]: Taking taylor expansion of y in x 9.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.406 * [taylor]: Taking taylor expansion of x in x 9.408 * [taylor]: Taking taylor expansion of (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) in x 9.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x))))) in x 9.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x)))) in x 9.408 * [taylor]: Taking taylor expansion of 1/3 in x 9.408 * [taylor]: Taking taylor expansion of (log (- (cos (/ -1 y)) (/ 1 x))) in x 9.408 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x 9.408 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 9.408 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.408 * [taylor]: Taking taylor expansion of -1 in x 9.408 * [taylor]: Taking taylor expansion of y in x 9.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.408 * [taylor]: Taking taylor expansion of x in x 9.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 9.410 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 9.410 * [taylor]: Taking taylor expansion of 1/3 in y 9.410 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 9.410 * [taylor]: Taking taylor expansion of (log -1) in y 9.410 * [taylor]: Taking taylor expansion of -1 in y 9.411 * [taylor]: Taking taylor expansion of (log x) in y 9.411 * [taylor]: Taking taylor expansion of x in y 9.415 * [taylor]: Taking taylor expansion of (* -1/3 (* (cos (/ -1 y)) (exp (* 1/3 (- (log -1) (log x)))))) in y 9.415 * [taylor]: Taking taylor expansion of -1/3 in y 9.415 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (exp (* 1/3 (- (log -1) (log x))))) in y 9.415 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 9.415 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.415 * [taylor]: Taking taylor expansion of -1 in y 9.415 * [taylor]: Taking taylor expansion of y in y 9.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 9.415 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 9.415 * [taylor]: Taking taylor expansion of 1/3 in y 9.415 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 9.415 * [taylor]: Taking taylor expansion of (log -1) in y 9.415 * [taylor]: Taking taylor expansion of -1 in y 9.416 * [taylor]: Taking taylor expansion of (log x) in y 9.416 * [taylor]: Taking taylor expansion of x in y 9.427 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (cos (/ -1 y)) 2) (exp (* 1/3 (- (log -1) (log x)))))) in y 9.427 * [taylor]: Taking taylor expansion of -1/9 in y 9.427 * [taylor]: Taking taylor expansion of (* (pow (cos (/ -1 y)) 2) (exp (* 1/3 (- (log -1) (log x))))) in y 9.427 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 9.427 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 9.427 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.427 * [taylor]: Taking taylor expansion of -1 in y 9.427 * [taylor]: Taking taylor expansion of y in y 9.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in y 9.427 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in y 9.427 * [taylor]: Taking taylor expansion of 1/3 in y 9.427 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 9.427 * [taylor]: Taking taylor expansion of (log -1) in y 9.427 * [taylor]: Taking taylor expansion of -1 in y 9.427 * [taylor]: Taking taylor expansion of (log x) in y 9.427 * [taylor]: Taking taylor expansion of x in y 9.431 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 9.431 * [approximate]: Taking taylor expansion of (fma (sin y) (- z) (pow (pow (+ x (cos y)) 1/3) 3)) in (y z x) around 0 9.431 * [taylor]: Taking taylor expansion of (fma (sin y) (- z) (pow (pow (+ x (cos y)) 1/3) 3)) in x 9.432 * [taylor]: Rewrote expression to (+ (* (sin y) (- z)) (pow (pow (+ x (cos y)) 1/3) 3)) 9.432 * [taylor]: Taking taylor expansion of (* (sin y) (- z)) in x 9.432 * [taylor]: Taking taylor expansion of (sin y) in x 9.432 * [taylor]: Taking taylor expansion of y in x 9.432 * [taylor]: Taking taylor expansion of (- z) in x 9.432 * [taylor]: Taking taylor expansion of z in x 9.432 * [taylor]: Taking taylor expansion of (pow (pow (+ x (cos y)) 1/3) 3) in x 9.432 * [taylor]: Taking taylor expansion of (pow (+ x (cos y)) 1/3) in x 9.432 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (cos y))))) in x 9.432 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (cos y)))) in x 9.432 * [taylor]: Taking taylor expansion of 1/3 in x 9.432 * [taylor]: Taking taylor expansion of (log (+ x (cos y))) in x 9.432 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 9.432 * [taylor]: Taking taylor expansion of x in x 9.432 * [taylor]: Taking taylor expansion of (cos y) in x 9.432 * [taylor]: Taking taylor expansion of y in x 9.433 * [taylor]: Taking taylor expansion of (fma (sin y) (- z) (pow (pow (+ x (cos y)) 1/3) 3)) in z 9.433 * [taylor]: Rewrote expression to (+ (* (sin y) (- z)) (pow (pow (+ x (cos y)) 1/3) 3)) 9.433 * [taylor]: Taking taylor expansion of (* (sin y) (- z)) in z 9.433 * [taylor]: Taking taylor expansion of (sin y) in z 9.433 * [taylor]: Taking taylor expansion of y in z 9.433 * [taylor]: Taking taylor expansion of (- z) in z 9.433 * [taylor]: Taking taylor expansion of z in z 9.433 * [taylor]: Taking taylor expansion of (pow (pow (+ x (cos y)) 1/3) 3) in z 9.433 * [taylor]: Taking taylor expansion of (pow (+ x (cos y)) 1/3) in z 9.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (cos y))))) in z 9.433 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (cos y)))) in z 9.433 * [taylor]: Taking taylor expansion of 1/3 in z 9.433 * [taylor]: Taking taylor expansion of (log (+ x (cos y))) in z 9.433 * [taylor]: Taking taylor expansion of (+ x (cos y)) in z 9.433 * [taylor]: Taking taylor expansion of x in z 9.433 * [taylor]: Taking taylor expansion of (cos y) in z 9.433 * [taylor]: Taking taylor expansion of y in z 9.433 * [taylor]: Taking taylor expansion of (fma (sin y) (- z) (pow (pow (+ x (cos y)) 1/3) 3)) in y 9.434 * [taylor]: Rewrote expression to (+ (* (sin y) (- z)) (pow (pow (+ x (cos y)) 1/3) 3)) 9.434 * [taylor]: Taking taylor expansion of (* (sin y) (- z)) in y 9.434 * [taylor]: Taking taylor expansion of (sin y) in y 9.434 * [taylor]: Taking taylor expansion of y in y 9.434 * [taylor]: Taking taylor expansion of (- z) in y 9.434 * [taylor]: Taking taylor expansion of z in y 9.434 * [taylor]: Taking taylor expansion of (pow (pow (+ x (cos y)) 1/3) 3) in y 9.434 * [taylor]: Taking taylor expansion of (pow (+ x (cos y)) 1/3) in y 9.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (cos y))))) in y 9.434 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (cos y)))) in y 9.434 * [taylor]: Taking taylor expansion of 1/3 in y 9.434 * [taylor]: Taking taylor expansion of (log (+ x (cos y))) in y 9.434 * [taylor]: Taking taylor expansion of (+ x (cos y)) in y 9.434 * [taylor]: Taking taylor expansion of x in y 9.434 * [taylor]: Taking taylor expansion of (cos y) in y 9.434 * [taylor]: Taking taylor expansion of y in y 9.434 * [taylor]: Taking taylor expansion of (fma (sin y) (- z) (pow (pow (+ x (cos y)) 1/3) 3)) in y 9.434 * [taylor]: Rewrote expression to (+ (* (sin y) (- z)) (pow (pow (+ x (cos y)) 1/3) 3)) 9.434 * [taylor]: Taking taylor expansion of (* (sin y) (- z)) in y 9.434 * [taylor]: Taking taylor expansion of (sin y) in y 9.434 * [taylor]: Taking taylor expansion of y in y 9.434 * [taylor]: Taking taylor expansion of (- z) in y 9.434 * [taylor]: Taking taylor expansion of z in y 9.434 * [taylor]: Taking taylor expansion of (pow (pow (+ x (cos y)) 1/3) 3) in y 9.434 * [taylor]: Taking taylor expansion of (pow (+ x (cos y)) 1/3) in y 9.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (cos y))))) in y 9.434 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (cos y)))) in y 9.434 * [taylor]: Taking taylor expansion of 1/3 in y 9.434 * [taylor]: Taking taylor expansion of (log (+ x (cos y))) in y 9.434 * [taylor]: Taking taylor expansion of (+ x (cos y)) in y 9.434 * [taylor]: Taking taylor expansion of x in y 9.434 * [taylor]: Taking taylor expansion of (cos y) in y 9.434 * [taylor]: Taking taylor expansion of y in y 9.435 * [taylor]: Taking taylor expansion of (+ x 1) in z 9.435 * [taylor]: Taking taylor expansion of x in z 9.435 * [taylor]: Taking taylor expansion of 1 in z 9.435 * [taylor]: Taking taylor expansion of (+ x 1) in x 9.435 * [taylor]: Taking taylor expansion of x in x 9.435 * [taylor]: Taking taylor expansion of 1 in x 9.438 * [taylor]: Taking taylor expansion of (- z) in z 9.438 * [taylor]: Taking taylor expansion of z in z 9.439 * [taylor]: Taking taylor expansion of 0 in x 9.439 * [taylor]: Taking taylor expansion of 0 in x 9.445 * [taylor]: Taking taylor expansion of -1/2 in z 9.445 * [taylor]: Taking taylor expansion of -1/2 in x 9.446 * [approximate]: Taking taylor expansion of (fma (sin (/ 1 y)) (- (/ 1 z)) (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3)) in (y z x) around 0 9.446 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 y)) (- (/ 1 z)) (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3)) in x 9.446 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 y)) (- (/ 1 z))) (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3)) 9.446 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (/ 1 z))) in x 9.446 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 9.446 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.446 * [taylor]: Taking taylor expansion of y in x 9.446 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in x 9.446 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.446 * [taylor]: Taking taylor expansion of z in x 9.446 * [taylor]: Taking taylor expansion of (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3) in x 9.446 * [taylor]: Taking taylor expansion of (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) in x 9.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x))))) in x 9.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x)))) in x 9.446 * [taylor]: Taking taylor expansion of 1/3 in x 9.446 * [taylor]: Taking taylor expansion of (log (+ (cos (/ 1 y)) (/ 1 x))) in x 9.447 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 9.447 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 9.447 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.447 * [taylor]: Taking taylor expansion of y in x 9.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.447 * [taylor]: Taking taylor expansion of x in x 9.448 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 y)) (- (/ 1 z)) (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3)) in z 9.448 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 y)) (- (/ 1 z))) (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3)) 9.448 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (/ 1 z))) in z 9.448 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 9.448 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.448 * [taylor]: Taking taylor expansion of y in z 9.448 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 9.448 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.448 * [taylor]: Taking taylor expansion of z in z 9.448 * [taylor]: Taking taylor expansion of (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3) in z 9.448 * [taylor]: Taking taylor expansion of (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) in z 9.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x))))) in z 9.449 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x)))) in z 9.449 * [taylor]: Taking taylor expansion of 1/3 in z 9.449 * [taylor]: Taking taylor expansion of (log (+ (cos (/ 1 y)) (/ 1 x))) in z 9.449 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in z 9.449 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 9.449 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.449 * [taylor]: Taking taylor expansion of y in z 9.449 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.449 * [taylor]: Taking taylor expansion of x in z 9.449 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 y)) (- (/ 1 z)) (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3)) in y 9.450 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 y)) (- (/ 1 z))) (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3)) 9.450 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (/ 1 z))) in y 9.450 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.450 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.450 * [taylor]: Taking taylor expansion of y in y 9.450 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y 9.450 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.450 * [taylor]: Taking taylor expansion of z in y 9.450 * [taylor]: Taking taylor expansion of (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3) in y 9.450 * [taylor]: Taking taylor expansion of (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) in y 9.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x))))) in y 9.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x)))) in y 9.450 * [taylor]: Taking taylor expansion of 1/3 in y 9.450 * [taylor]: Taking taylor expansion of (log (+ (cos (/ 1 y)) (/ 1 x))) in y 9.450 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y 9.450 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 9.450 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.450 * [taylor]: Taking taylor expansion of y in y 9.450 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.451 * [taylor]: Taking taylor expansion of x in y 9.451 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 y)) (- (/ 1 z)) (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3)) in y 9.451 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 y)) (- (/ 1 z))) (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3)) 9.451 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (/ 1 z))) in y 9.451 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.451 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.451 * [taylor]: Taking taylor expansion of y in y 9.451 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y 9.451 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.451 * [taylor]: Taking taylor expansion of z in y 9.451 * [taylor]: Taking taylor expansion of (pow (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) 3) in y 9.451 * [taylor]: Taking taylor expansion of (pow (+ (cos (/ 1 y)) (/ 1 x)) 1/3) in y 9.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x))))) in y 9.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (cos (/ 1 y)) (/ 1 x)))) in y 9.452 * [taylor]: Taking taylor expansion of 1/3 in y 9.452 * [taylor]: Taking taylor expansion of (log (+ (cos (/ 1 y)) (/ 1 x))) in y 9.452 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y 9.452 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 9.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.452 * [taylor]: Taking taylor expansion of y in y 9.452 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.452 * [taylor]: Taking taylor expansion of x in y 9.453 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in z 9.453 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in z 9.453 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 9.453 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.453 * [taylor]: Taking taylor expansion of y in z 9.453 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.453 * [taylor]: Taking taylor expansion of x in z 9.453 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 9.453 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 9.453 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.453 * [taylor]: Taking taylor expansion of y in z 9.453 * [taylor]: Taking taylor expansion of z in z 9.454 * [taylor]: Taking taylor expansion of (- (sin (/ 1 y))) in x 9.454 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 9.454 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.454 * [taylor]: Taking taylor expansion of y in x 9.457 * [taylor]: Taking taylor expansion of 0 in z 9.460 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 9.460 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 9.460 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.460 * [taylor]: Taking taylor expansion of y in x 9.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.461 * [taylor]: Taking taylor expansion of x in x 9.469 * [taylor]: Taking taylor expansion of 0 in z 9.469 * [taylor]: Taking taylor expansion of 0 in x 9.475 * [taylor]: Taking taylor expansion of 0 in x 9.492 * [taylor]: Taking taylor expansion of 0 in z 9.492 * [taylor]: Taking taylor expansion of 0 in x 9.493 * [approximate]: Taking taylor expansion of (fma (sin (/ -1 y)) (/ 1 z) (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3)) in (y z x) around 0 9.493 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 y)) (/ 1 z) (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3)) in x 9.493 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 y)) (/ 1 z)) (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3)) 9.493 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (/ 1 z)) in x 9.493 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 9.493 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.493 * [taylor]: Taking taylor expansion of -1 in x 9.493 * [taylor]: Taking taylor expansion of y in x 9.493 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.493 * [taylor]: Taking taylor expansion of z in x 9.493 * [taylor]: Taking taylor expansion of (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3) in x 9.493 * [taylor]: Taking taylor expansion of (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) in x 9.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x))))) in x 9.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x)))) in x 9.493 * [taylor]: Taking taylor expansion of 1/3 in x 9.493 * [taylor]: Taking taylor expansion of (log (- (cos (/ -1 y)) (/ 1 x))) in x 9.493 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x 9.493 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 9.493 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.493 * [taylor]: Taking taylor expansion of -1 in x 9.493 * [taylor]: Taking taylor expansion of y in x 9.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.494 * [taylor]: Taking taylor expansion of x in x 9.496 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 y)) (/ 1 z) (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3)) in z 9.496 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 y)) (/ 1 z)) (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3)) 9.496 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (/ 1 z)) in z 9.496 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 9.496 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.496 * [taylor]: Taking taylor expansion of -1 in z 9.496 * [taylor]: Taking taylor expansion of y in z 9.496 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.496 * [taylor]: Taking taylor expansion of z in z 9.496 * [taylor]: Taking taylor expansion of (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3) in z 9.496 * [taylor]: Taking taylor expansion of (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) in z 9.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x))))) in z 9.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x)))) in z 9.496 * [taylor]: Taking taylor expansion of 1/3 in z 9.496 * [taylor]: Taking taylor expansion of (log (- (cos (/ -1 y)) (/ 1 x))) in z 9.496 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in z 9.497 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 9.497 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.497 * [taylor]: Taking taylor expansion of -1 in z 9.497 * [taylor]: Taking taylor expansion of y in z 9.497 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.497 * [taylor]: Taking taylor expansion of x in z 9.497 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 y)) (/ 1 z) (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3)) in y 9.498 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 y)) (/ 1 z)) (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3)) 9.498 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (/ 1 z)) in y 9.498 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.498 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.498 * [taylor]: Taking taylor expansion of -1 in y 9.498 * [taylor]: Taking taylor expansion of y in y 9.498 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.498 * [taylor]: Taking taylor expansion of z in y 9.498 * [taylor]: Taking taylor expansion of (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3) in y 9.498 * [taylor]: Taking taylor expansion of (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) in y 9.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x))))) in y 9.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x)))) in y 9.498 * [taylor]: Taking taylor expansion of 1/3 in y 9.498 * [taylor]: Taking taylor expansion of (log (- (cos (/ -1 y)) (/ 1 x))) in y 9.498 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in y 9.498 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 9.498 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.498 * [taylor]: Taking taylor expansion of -1 in y 9.498 * [taylor]: Taking taylor expansion of y in y 9.499 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.499 * [taylor]: Taking taylor expansion of x in y 9.499 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 y)) (/ 1 z) (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3)) in y 9.499 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 y)) (/ 1 z)) (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3)) 9.499 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (/ 1 z)) in y 9.499 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.499 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.499 * [taylor]: Taking taylor expansion of -1 in y 9.499 * [taylor]: Taking taylor expansion of y in y 9.499 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.500 * [taylor]: Taking taylor expansion of z in y 9.500 * [taylor]: Taking taylor expansion of (pow (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) 3) in y 9.500 * [taylor]: Taking taylor expansion of (pow (- (cos (/ -1 y)) (/ 1 x)) 1/3) in y 9.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x))))) in y 9.500 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (cos (/ -1 y)) (/ 1 x)))) in y 9.500 * [taylor]: Taking taylor expansion of 1/3 in y 9.500 * [taylor]: Taking taylor expansion of (log (- (cos (/ -1 y)) (/ 1 x))) in y 9.500 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in y 9.500 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 9.500 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.500 * [taylor]: Taking taylor expansion of -1 in y 9.500 * [taylor]: Taking taylor expansion of y in y 9.500 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.500 * [taylor]: Taking taylor expansion of x in y 9.501 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in z 9.501 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z 9.501 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 9.501 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.501 * [taylor]: Taking taylor expansion of -1 in z 9.501 * [taylor]: Taking taylor expansion of y in z 9.501 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 9.501 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 9.501 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.501 * [taylor]: Taking taylor expansion of -1 in z 9.501 * [taylor]: Taking taylor expansion of y in z 9.501 * [taylor]: Taking taylor expansion of z in z 9.502 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.502 * [taylor]: Taking taylor expansion of x in z 9.502 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 9.502 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.502 * [taylor]: Taking taylor expansion of -1 in x 9.502 * [taylor]: Taking taylor expansion of y in x 9.505 * [taylor]: Taking taylor expansion of 0 in z 9.508 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x 9.508 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 9.508 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.508 * [taylor]: Taking taylor expansion of -1 in x 9.508 * [taylor]: Taking taylor expansion of y in x 9.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.508 * [taylor]: Taking taylor expansion of x in x 9.517 * [taylor]: Taking taylor expansion of 0 in z 9.517 * [taylor]: Taking taylor expansion of 0 in x 9.523 * [taylor]: Taking taylor expansion of 0 in x 9.535 * [taylor]: Taking taylor expansion of 0 in z 9.535 * [taylor]: Taking taylor expansion of 0 in x 9.536 * * * [progress]: simplifying candidates 9.537 * [simplify]: Simplifying using # : (expm1 (pow (cbrt (+ x (cos y))) 3)) (log1p (pow (cbrt (+ x (cos y))) 3)) (* (log (cbrt (+ x (cos y)))) 3) (* (log (cbrt (+ x (cos y)))) 3) (* 1/3 3) (* 1 3) (pow (cbrt (+ x (cos y))) (* (cbrt 3) (cbrt 3))) (pow (cbrt (+ x (cos y))) (sqrt 3)) (pow (cbrt (+ x (cos y))) 1) (pow (cbrt (* (cbrt (+ x (cos y))) (cbrt (+ x (cos y))))) 3) (pow (cbrt (cbrt (+ x (cos y)))) 3) (pow (cbrt (sqrt (+ x (cos y)))) 3) (pow (cbrt (sqrt (+ x (cos y)))) 3) (pow (cbrt 1) 3) (pow (cbrt (+ x (cos y))) 3) (pow (cbrt 1) 3) (pow (cbrt (+ x (cos y))) 3) (pow (* (cbrt (cbrt (+ x (cos y)))) (cbrt (cbrt (+ x (cos y))))) 3) (pow (cbrt (cbrt (+ x (cos y)))) 3) (pow (sqrt (cbrt (+ x (cos y)))) 3) (pow (sqrt (cbrt (+ x (cos y)))) 3) (pow 1 3) (pow (cbrt (+ x (cos y))) 3) (* (cbrt (+ x (cos y))) (cbrt (+ x (cos y)))) (log (pow (cbrt (+ x (cos y))) 3)) (exp (pow (cbrt (+ x (cos y))) 3)) (* (cbrt (pow (cbrt (+ x (cos y))) 3)) (cbrt (pow (cbrt (+ x (cos y))) 3))) (cbrt (pow (cbrt (+ x (cos y))) 3)) (* (* (pow (cbrt (+ x (cos y))) 3) (pow (cbrt (+ x (cos y))) 3)) (pow (cbrt (+ x (cos y))) 3)) (pow (cbrt (* (cbrt (+ x (cos y))) (cbrt (+ x (cos y))))) 3) (pow (cbrt (cbrt (+ x (cos y)))) 3) (pow (cbrt (sqrt (+ x (cos y)))) 3) (pow (cbrt (sqrt (+ x (cos y)))) 3) (pow (cbrt 1) 3) (pow (cbrt (+ x (cos y))) 3) (pow (cbrt 1) 3) (pow (cbrt (+ x (cos y))) 3) (pow (* (cbrt (cbrt (+ x (cos y)))) (cbrt (cbrt (+ x (cos y))))) 3) (pow (cbrt (cbrt (+ x (cos y)))) 3) (pow (sqrt (cbrt (+ x (cos y)))) 3) (pow (sqrt (cbrt (+ x (cos y)))) 3) (pow 1 3) (pow (cbrt (+ x (cos y))) 3) (pow (cbrt (+ (pow x 3) (pow (cos y) 3))) 3) (pow (cbrt (+ (* x x) (- (* (cos y) (cos y)) (* x (cos y))))) 3) (pow (cbrt (- (* x x) (* (cos y) (cos y)))) 3) (pow (cbrt (- x (cos y))) 3) (* (cbrt (+ x (cos y))) (cbrt (+ x (cos y)))) (sqrt (pow (cbrt (+ x (cos y))) 3)) (sqrt (pow (cbrt (+ x (cos y))) 3)) (pow (cbrt (+ x (cos y))) (/ 3 2)) (pow (cbrt (+ x (cos y))) (/ 3 2)) (expm1 (cbrt (+ x (cos y)))) (log1p (cbrt (+ x (cos y)))) (log (cbrt (+ x (cos y)))) (exp (cbrt (+ x (cos y)))) (cbrt (* (cbrt (+ x (cos y))) (cbrt (+ x (cos y))))) (cbrt (cbrt (+ x (cos y)))) (cbrt (sqrt (+ x (cos y)))) (cbrt (sqrt (+ x (cos y)))) (cbrt 1) (cbrt (+ x (cos y))) (cbrt 1) (cbrt (+ x (cos y))) (cbrt (+ (pow x 3) (pow (cos y) 3))) (cbrt (+ (* x x) (- (* (cos y) (cos y)) (* x (cos y))))) (cbrt (- (* x x) (* (cos y) (cos y)))) (cbrt (- x (cos y))) (* (cbrt (cbrt (+ x (cos y)))) (cbrt (cbrt (+ x (cos y))))) (cbrt (cbrt (+ x (cos y)))) (* (* (cbrt (+ x (cos y))) (cbrt (+ x (cos y)))) (cbrt (+ x (cos y)))) (sqrt (cbrt (+ x (cos y)))) (sqrt (cbrt (+ x (cos y)))) (expm1 (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3))) (log1p (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3))) (* (sin y) (- z)) (log (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3))) (exp (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3))) (* (cbrt (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3))) (cbrt (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3)))) (cbrt (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3))) (* (* (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3)) (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3))) (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3))) (sqrt (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3))) (sqrt (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3))) (- (+ x 1) (* 1/2 (pow y 2))) (+ x (cos y)) (- (+ (* 1/9 (/ (* (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 3) (pow (cos y) 2)) (pow x 2))) (+ (/ (* (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 3) (cos y)) x) (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 3))) (* 1/9 (/ (* (pow (cos y) 2) (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 3)) (pow x 2)))) (- (+ (* 1/3 x) 1) (* 1/9 (pow x 2))) (- (+ (* 1/3 (* (pow (/ 1 (pow x 2)) 1/3) (cos y))) (pow (/ 1 x) -1/3)) (* 1/9 (* (pow (/ 1 (pow x 5)) 1/3) (pow (cos y) 2)))) (- (+ (* 1/3 (/ (* (cos y) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) x)) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (* 1/9 (/ (* (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow (cos y) 2)) (pow x 2)))) (- (+ x 1) (* 1/2 (pow y 2))) (- (cos y) (* (sin y) z)) (- (cos y) (* (sin y) z)) 9.541 * * [simplify]: iteration 0 : 138 enodes (cost 973 ) 9.582 * * [simplify]: iteration 1 : 349 enodes (cost 768 ) 9.680 * * [simplify]: iteration 2 : 1069 enodes (cost 707 ) 10.090 * * [simplify]: iteration done : 5000 enodes (cost 684 ) 10.091 * [simplify]: Simplified to: (expm1 (+ (cos y) x)) (log1p (+ (cos y) x)) (log (+ x (cos y))) (log (+ x (cos y))) 1 3 (pow (cbrt (+ x (cos y))) (* (cbrt 3) (cbrt 3))) (pow (cbrt (+ x (cos y))) (sqrt 3)) (cbrt (+ (cos y) x)) (pow (cbrt (+ (cos y) x)) 2) (cbrt (+ (cos y) x)) (sqrt (+ (cos y) x)) (sqrt (+ (cos y) x)) 1 (+ (cos y) x) 1 (+ (cos y) x) (pow (cbrt (+ (cos y) x)) 2) (cbrt (+ (cos y) x)) (pow (sqrt (cbrt (+ x (cos y)))) 3) (pow (sqrt (cbrt (+ x (cos y)))) 3) 1 (+ (cos y) x) (pow (cbrt (+ (cos y) x)) 2) (log (+ x (cos y))) (exp (+ (cos y) x)) (pow (cbrt (+ (cos y) x)) 2) (cbrt (+ (cos y) x)) (pow (+ (cos y) x) 3) (pow (cbrt (+ (cos y) x)) 2) (cbrt (+ (cos y) x)) (sqrt (+ (cos y) x)) (sqrt (+ (cos y) x)) 1 (+ (cos y) x) 1 (+ (cos y) x) (pow (cbrt (+ (cos y) x)) 2) (cbrt (+ (cos y) x)) (pow (sqrt (cbrt (+ x (cos y)))) 3) (pow (sqrt (cbrt (+ x (cos y)))) 3) 1 (+ (cos y) x) (+ (pow x 3) (pow (cos y) 3)) (fma x x (* (cos y) (- (cos y) x))) (- (* x x) (pow (cos y) 2)) (- x (cos y)) (pow (cbrt (+ (cos y) x)) 2) (sqrt (+ (cos y) x)) (sqrt (+ (cos y) x)) (pow (cbrt (+ x (cos y))) 3/2) (pow (cbrt (+ x (cos y))) 3/2) (expm1 (cbrt (+ x (cos y)))) (log1p (cbrt (+ x (cos y)))) (log (cbrt (+ x (cos y)))) (exp (cbrt (+ x (cos y)))) (cbrt (pow (cbrt (+ (cos y) x)) 2)) (cbrt (cbrt (+ x (cos y)))) (cbrt (sqrt (+ x (cos y)))) (cbrt (sqrt (+ x (cos y)))) 1 (cbrt (+ (cos y) x)) 1 (cbrt (+ (cos y) x)) (cbrt (+ (pow x 3) (pow (cos y) 3))) (cbrt (fma x x (* (cos y) (- (cos y) x)))) (cbrt (- (pow x 2) (pow (cos y) 2))) (cbrt (- x (cos y))) (cbrt (pow (cbrt (+ (cos y) x)) 2)) (cbrt (cbrt (+ x (cos y)))) (+ (cos y) x) (sqrt (cbrt (+ x (cos y)))) (sqrt (cbrt (+ x (cos y)))) (expm1 (fma (sin y) (- z) (+ x (cos y)))) (log1p (fma (sin y) (- z) (+ x (cos y)))) (* (sin y) (- z)) (log (fma (sin y) (- z) (+ x (cos y)))) (exp (fma (sin y) (- z) (+ x (cos y)))) (* (cbrt (fma (sin y) (- z) (+ x (cos y)))) (cbrt (fma (sin y) (- z) (+ x (cos y))))) (cbrt (fma (sin y) (- z) (+ x (cos y)))) (pow (fma (sin y) (- z) (+ x (cos y))) 3) (sqrt (fma (sin y) (- z) (+ x (cos y)))) (sqrt (fma (sin y) (- z) (+ x (cos y)))) (- (+ x 1) (* 1/2 (pow y 2))) (+ (cos y) x) (+ (* (/ (* (pow (cos y) 2) (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 3)) (pow x 2)) (+ 1/9 -1/9)) (+ (/ (* (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 3) (cos y)) x) (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 3))) (+ (* x (- 1/3 (* x 1/9))) 1) (+ (pow (/ 1 x) -1/3) (* (cos y) (- (* 1/3 (cbrt (/ 1 (pow x 2)))) (* (* 1/9 (cbrt (/ 1 (pow x 5)))) (cos y))))) (- (fma 1/3 (/ (* (cos y) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) x) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (* 1/9 (/ (* (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow (cos y) 2)) (pow x 2)))) (- (+ x 1) (* 1/2 (pow y 2))) (- (cos y) (* (sin y) z)) (- (cos y) (* (sin y) z)) 10.091 * * * [progress]: adding candidates to table 10.319 * [progress]: [Phase 3 of 3] Extracting. 10.319 * * [regime]: Finding splitpoints for: (# # # # # # #) 10.321 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 10.321 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 10.357 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 10.389 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 10.422 * * * [regime]: Found split indices: #