23.167 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.006 * * * * [points]: Setting MPFR precision to 64 0.007 * * * * [points]: Setting MPFR precision to 320 0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.010 * * * * [points]: Setting MPFR precision to 64 0.011 * * * * [points]: Setting MPFR precision to 320 0.012 * * * * [points]: Setting MPFR precision to 576 0.013 * * * * [points]: Setting MPFR precision to 832 0.015 * * * * [points]: Setting MPFR precision to 1088 0.018 * * * * [points]: Setting MPFR precision to 1344 0.023 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.027 * * * * [points]: Setting MPFR precision to 1088 0.031 * * * * [points]: Setting MPFR precision to 1344 0.038 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.046 * * * * [points]: Setting MPFR precision to 1088 0.056 * * * * [points]: Setting MPFR precision to 1344 0.069 * * * * [points]: Computing exacts for 256 points 0.073 * * * * [points]: Setting MPFR precision to 1088 0.100 * * * * [points]: Setting MPFR precision to 1344 0.136 * * * * [points]: Filtering points with unrepresentable outputs 0.137 * * * * [points]: Sampling 138 additional inputs, on iter 1 have 118 / 256 0.138 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision 0.142 * * * * [points]: Setting MPFR precision to 1088 0.144 * * * * [points]: Setting MPFR precision to 1344 0.145 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision 0.149 * * * * [points]: Setting MPFR precision to 1088 0.153 * * * * [points]: Setting MPFR precision to 1344 0.156 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision 0.160 * * * * [points]: Setting MPFR precision to 1088 0.165 * * * * [points]: Setting MPFR precision to 1344 0.171 * * * * [points]: Computing exacts for 138 points 0.179 * * * * [points]: Setting MPFR precision to 1088 0.193 * * * * [points]: Setting MPFR precision to 1344 0.212 * * * * [points]: Filtering points with unrepresentable outputs 0.212 * * * * [points]: Sampling 73 additional inputs, on iter 2 have 183 / 256 0.213 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision 0.217 * * * * [points]: Setting MPFR precision to 1088 0.218 * * * * [points]: Setting MPFR precision to 1344 0.220 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision 0.224 * * * * [points]: Setting MPFR precision to 1088 0.226 * * * * [points]: Setting MPFR precision to 1344 0.230 * * * * [points]: Computing exacts for 73 points 0.234 * * * * [points]: Setting MPFR precision to 1088 0.242 * * * * [points]: Setting MPFR precision to 1344 0.251 * * * * [points]: Filtering points with unrepresentable outputs 0.252 * * * * [points]: Sampling 32 additional inputs, on iter 3 have 224 / 256 0.252 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision 0.256 * * * * [points]: Setting MPFR precision to 1088 0.257 * * * * [points]: Setting MPFR precision to 1344 0.258 * * * * [points]: Computing exacts for 32 points 0.262 * * * * [points]: Setting MPFR precision to 1088 0.266 * * * * [points]: Setting MPFR precision to 1344 0.270 * * * * [points]: Filtering points with unrepresentable outputs 0.270 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256 0.270 * * * * [points]: Computing exacts for 15 points 0.277 * * * * [points]: Setting MPFR precision to 1088 0.278 * * * * [points]: Setting MPFR precision to 1344 0.280 * * * * [points]: Filtering points with unrepresentable outputs 0.281 * * * * [points]: Sampling 11 additional inputs, on iter 5 have 245 / 256 0.281 * * * * [points]: Computing exacts for 11 points 0.285 * * * * [points]: Setting MPFR precision to 1088 0.286 * * * * [points]: Setting MPFR precision to 1344 0.288 * * * * [points]: Filtering points with unrepresentable outputs 0.288 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256 0.288 * * * * [points]: Computing exacts for 4 points 0.292 * * * * [points]: Setting MPFR precision to 1088 0.293 * * * * [points]: Setting MPFR precision to 1344 0.293 * * * * [points]: Filtering points with unrepresentable outputs 0.293 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256 0.293 * * * * [points]: Computing exacts for 4 points 0.297 * * * * [points]: Setting MPFR precision to 1088 0.298 * * * * [points]: Setting MPFR precision to 1344 0.298 * * * * [points]: Filtering points with unrepresentable outputs 0.298 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256 0.298 * * * * [points]: Computing exacts for 4 points 0.303 * * * * [points]: Setting MPFR precision to 1088 0.303 * * * * [points]: Setting MPFR precision to 1344 0.304 * * * * [points]: Filtering points with unrepresentable outputs 0.304 * * * * [points]: Sampled 256 points with exact outputs 0.304 * * * [progress]: [2/2] Setting up program. 0.307 * [progress]: [Phase 2 of 3] Improving. 0.308 * [simplify]: Simplifying using # : (im (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) 0.310 * * [simplify]: iteration 0 : 30 enodes (cost 7 ) 0.311 * * [simplify]: iteration 1 : 47 enodes (cost 7 ) 0.313 * * [simplify]: iteration 2 : 84 enodes (cost 7 ) 0.314 * * [simplify]: iteration 3 : 131 enodes (cost 7 ) 0.317 * * [simplify]: iteration 4 : 223 enodes (cost 7 ) 0.320 * * [simplify]: iteration 5 : 466 enodes (cost 7 ) 0.326 * * [simplify]: iteration 6 : 1123 enodes (cost 7 ) 0.337 * * [simplify]: iteration 7 : 2244 enodes (cost 7 ) 0.366 * * [simplify]: iteration 8 : 5002 enodes (cost 7 ) 0.366 * [simplify]: Simplified to: (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 0.370 * * [progress]: iteration 1 / 4 0.370 * * * [progress]: picking best candidate 0.372 * * * * [pick]: Picked # 0.372 * * * [progress]: localizing error 0.410 * * * [progress]: generating rewritten candidates 0.410 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.418 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.432 * * * [progress]: generating series expansions 0.432 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.432 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 0.432 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.432 * [taylor]: Taking taylor expansion of (exp x) in x 0.432 * [taylor]: Taking taylor expansion of x in x 0.432 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.432 * [taylor]: Taking taylor expansion of (- x) in x 0.432 * [taylor]: Taking taylor expansion of x in x 0.433 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.433 * [taylor]: Taking taylor expansion of (exp x) in x 0.433 * [taylor]: Taking taylor expansion of x in x 0.433 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.433 * [taylor]: Taking taylor expansion of (- x) in x 0.433 * [taylor]: Taking taylor expansion of x in x 0.457 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 0.457 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.457 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.457 * [taylor]: Taking taylor expansion of x in x 0.458 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.458 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.458 * [taylor]: Taking taylor expansion of x in x 0.458 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.458 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.458 * [taylor]: Taking taylor expansion of x in x 0.459 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.459 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.462 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 0.462 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.462 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.462 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.462 * [taylor]: Taking taylor expansion of -1 in x 0.462 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.463 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.463 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.463 * [taylor]: Taking taylor expansion of -1 in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.467 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.467 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in (x y) around 0 0.467 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in y 0.467 * [taylor]: Taking taylor expansion of 0.5 in y 0.467 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in y 0.467 * [taylor]: Taking taylor expansion of (sin y) in y 0.467 * [taylor]: Taking taylor expansion of y in y 0.467 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in y 0.467 * [taylor]: Taking taylor expansion of (exp x) in y 0.467 * [taylor]: Taking taylor expansion of x in y 0.467 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.467 * [taylor]: Taking taylor expansion of (- x) in y 0.467 * [taylor]: Taking taylor expansion of x in y 0.467 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x 0.467 * [taylor]: Taking taylor expansion of 0.5 in x 0.467 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x 0.467 * [taylor]: Taking taylor expansion of (sin y) in x 0.467 * [taylor]: Taking taylor expansion of y in x 0.467 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.467 * [taylor]: Taking taylor expansion of (exp x) in x 0.467 * [taylor]: Taking taylor expansion of x in x 0.467 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.467 * [taylor]: Taking taylor expansion of (- x) in x 0.467 * [taylor]: Taking taylor expansion of x in x 0.468 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x 0.468 * [taylor]: Taking taylor expansion of 0.5 in x 0.468 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x 0.468 * [taylor]: Taking taylor expansion of (sin y) in x 0.468 * [taylor]: Taking taylor expansion of y in x 0.468 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.468 * [taylor]: Taking taylor expansion of (exp x) in x 0.468 * [taylor]: Taking taylor expansion of x in x 0.468 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.468 * [taylor]: Taking taylor expansion of (- x) in x 0.468 * [taylor]: Taking taylor expansion of x in x 0.470 * [taylor]: Taking taylor expansion of 0 in y 0.474 * [taylor]: Taking taylor expansion of (* 1.0 (sin y)) in y 0.474 * [taylor]: Taking taylor expansion of 1.0 in y 0.474 * [taylor]: Taking taylor expansion of (sin y) in y 0.474 * [taylor]: Taking taylor expansion of y in y 0.480 * [taylor]: Taking taylor expansion of 0 in y 0.488 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin y)) in y 0.488 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 0.489 * [taylor]: Taking taylor expansion of (sin y) in y 0.489 * [taylor]: Taking taylor expansion of y in y 0.506 * [taylor]: Taking taylor expansion of 0 in y 0.507 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0 0.507 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.507 * [taylor]: Taking taylor expansion of 0.5 in y 0.507 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.507 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.507 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.507 * [taylor]: Taking taylor expansion of y in y 0.507 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.507 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.507 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.507 * [taylor]: Taking taylor expansion of x in y 0.507 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.507 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.507 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.507 * [taylor]: Taking taylor expansion of x in y 0.507 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 0.507 * [taylor]: Taking taylor expansion of 0.5 in x 0.507 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.507 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.507 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.507 * [taylor]: Taking taylor expansion of y in x 0.508 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.508 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.508 * [taylor]: Taking taylor expansion of x in x 0.508 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.508 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.508 * [taylor]: Taking taylor expansion of x in x 0.508 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 0.509 * [taylor]: Taking taylor expansion of 0.5 in x 0.509 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.509 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.509 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.509 * [taylor]: Taking taylor expansion of y in x 0.509 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.509 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.509 * [taylor]: Taking taylor expansion of x in x 0.509 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.509 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.509 * [taylor]: Taking taylor expansion of x in x 0.510 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.510 * [taylor]: Taking taylor expansion of 0.5 in y 0.510 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.510 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.510 * [taylor]: Taking taylor expansion of y in y 0.510 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.510 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.510 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.511 * [taylor]: Taking taylor expansion of x in y 0.511 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.511 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.511 * [taylor]: Taking taylor expansion of x in y 0.514 * [taylor]: Taking taylor expansion of 0 in y 0.519 * [taylor]: Taking taylor expansion of 0 in y 0.527 * [taylor]: Taking taylor expansion of 0 in y 0.528 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in (x y) around 0 0.528 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y 0.528 * [taylor]: Taking taylor expansion of 0.5 in y 0.528 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y 0.528 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.528 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.528 * [taylor]: Taking taylor expansion of -1 in y 0.528 * [taylor]: Taking taylor expansion of y in y 0.528 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y 0.528 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.528 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.528 * [taylor]: Taking taylor expansion of -1 in y 0.528 * [taylor]: Taking taylor expansion of x in y 0.528 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.528 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.529 * [taylor]: Taking taylor expansion of x in y 0.529 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x 0.529 * [taylor]: Taking taylor expansion of 0.5 in x 0.529 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 0.529 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.529 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.529 * [taylor]: Taking taylor expansion of -1 in x 0.529 * [taylor]: Taking taylor expansion of y in x 0.529 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.529 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.529 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.529 * [taylor]: Taking taylor expansion of -1 in x 0.529 * [taylor]: Taking taylor expansion of x in x 0.529 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.529 * [taylor]: Taking taylor expansion of x in x 0.529 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x 0.529 * [taylor]: Taking taylor expansion of 0.5 in x 0.529 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 0.530 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.530 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.530 * [taylor]: Taking taylor expansion of -1 in x 0.530 * [taylor]: Taking taylor expansion of y in x 0.530 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.530 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.530 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.530 * [taylor]: Taking taylor expansion of -1 in x 0.530 * [taylor]: Taking taylor expansion of x in x 0.530 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.530 * [taylor]: Taking taylor expansion of x in x 0.531 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y 0.531 * [taylor]: Taking taylor expansion of 0.5 in y 0.531 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y 0.531 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.531 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.531 * [taylor]: Taking taylor expansion of -1 in y 0.531 * [taylor]: Taking taylor expansion of y in y 0.531 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y 0.531 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.531 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.531 * [taylor]: Taking taylor expansion of -1 in y 0.531 * [taylor]: Taking taylor expansion of x in y 0.531 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.531 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.531 * [taylor]: Taking taylor expansion of x in y 0.534 * [taylor]: Taking taylor expansion of 0 in y 0.540 * [taylor]: Taking taylor expansion of 0 in y 0.547 * [taylor]: Taking taylor expansion of 0 in y 0.547 * * * [progress]: simplifying candidates 0.548 * [simplify]: Simplifying using # : (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma 1 (exp x) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma 1 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma 1 (exp x) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (/ (exp (exp x)) (exp (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (expm1 (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (log1p (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (+ (- (log (- (exp x) (exp (- x)))) (log 2.0)) (log (sin y))) (+ (log (/ (- (exp x) (exp (- x))) 2.0)) (log (sin y))) (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (exp (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (sin y) (sin y)) (sin y))) (* (* (* (/ (- (exp x) (exp (- x))) 2.0) (/ (- (exp x) (exp (- x))) 2.0)) (/ (- (exp x) (exp (- x))) 2.0)) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (* (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y))) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y))) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (- (exp x) (exp (- x))) 2.0) (sqrt (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) 1) (* (cbrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y)) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) 2.0) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ 1 2.0) (sin y)) (* (- (exp x) (exp (- x))) (sin y)) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) (* 1.0 (* x y)) (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y))) 0.554 * * [simplify]: iteration 0 : 351 enodes (cost 756 ) 0.559 * * [simplify]: iteration 1 : 1061 enodes (cost 585 ) 0.582 * * [simplify]: iteration 2 : 5001 enodes (cost 583 ) 0.585 * [simplify]: Simplified to: (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (- (exp x) (exp (- x))) (* (exp (- x)) (+ (- 1) 1)) (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (* -1 x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (* -1 x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (+ 1 (exp (+ x x))) (pow (exp x) -2)) (- (exp (- x))) (fma (- (exp (- x))) (exp (- x)) (exp (+ x x))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (expm1 (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (log1p (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (log (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (exp (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3) (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3) (* (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) (cbrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (pow (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 3) (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (sqrt (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y))) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sqrt (sin y))) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (- (exp x) (exp (- x))) 2.0) (sqrt (sin y))) (/ (- (exp x) (exp (- x))) 2.0) (* (cbrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y)) (* (sqrt (/ (- (exp x) (exp (- x))) 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (cbrt (- (exp x) (exp (- x)))) 2.0) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (sqrt (- (exp x) (exp (- x)))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2.0)) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2.0)) (sin y)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) (cbrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) (sqrt 2.0)) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) (* (/ 1 2.0) (sin y)) (* (- (exp x) (exp (* -1 x))) (sin y)) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (* 1.0 (* x y)) (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y))) (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y))) 0.586 * * * [progress]: adding candidates to table 0.750 * * [progress]: iteration 2 / 4 0.750 * * * [progress]: picking best candidate 0.755 * * * * [pick]: Picked # 0.755 * * * [progress]: localizing error 0.780 * * * [progress]: generating rewritten candidates 0.780 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.787 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 3) 0.788 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 0.790 * * * [progress]: generating series expansions 0.790 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.790 * [approximate]: Taking taylor expansion of (* 0.5 (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sin y))) in (x y) around 0 0.790 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sin y))) in y 0.790 * [taylor]: Taking taylor expansion of 0.5 in y 0.790 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sin y)) in y 0.790 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in y 0.791 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 0.791 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in y 0.791 * [taylor]: Taking taylor expansion of 1/3 in y 0.791 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.791 * [taylor]: Taking taylor expansion of x in y 0.791 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in y 0.791 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 0.792 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in y 0.792 * [taylor]: Taking taylor expansion of 1/60 in y 0.792 * [taylor]: Taking taylor expansion of (pow x 5) in y 0.792 * [taylor]: Taking taylor expansion of x in y 0.792 * [taylor]: Taking taylor expansion of (* 2 x) in y 0.792 * [taylor]: Taking taylor expansion of 2 in y 0.792 * [taylor]: Taking taylor expansion of x in y 0.792 * [taylor]: Taking taylor expansion of (sin y) in y 0.792 * [taylor]: Taking taylor expansion of y in y 0.792 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sin y))) in x 0.792 * [taylor]: Taking taylor expansion of 0.5 in x 0.792 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sin y)) in x 0.792 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 0.792 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 0.792 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.792 * [taylor]: Taking taylor expansion of 1/3 in x 0.792 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.792 * [taylor]: Taking taylor expansion of x in x 0.792 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 0.792 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 0.792 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 0.792 * [taylor]: Taking taylor expansion of 1/60 in x 0.792 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.792 * [taylor]: Taking taylor expansion of x in x 0.792 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.792 * [taylor]: Taking taylor expansion of 2 in x 0.792 * [taylor]: Taking taylor expansion of x in x 0.792 * [taylor]: Taking taylor expansion of (sin y) in x 0.792 * [taylor]: Taking taylor expansion of y in x 0.792 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sin y))) in x 0.792 * [taylor]: Taking taylor expansion of 0.5 in x 0.792 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sin y)) in x 0.792 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 0.792 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 0.792 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.792 * [taylor]: Taking taylor expansion of 1/3 in x 0.792 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.792 * [taylor]: Taking taylor expansion of x in x 0.792 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 0.793 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 0.793 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 0.793 * [taylor]: Taking taylor expansion of 1/60 in x 0.793 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.793 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.793 * [taylor]: Taking taylor expansion of 2 in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.793 * [taylor]: Taking taylor expansion of (sin y) in x 0.793 * [taylor]: Taking taylor expansion of y in x 0.794 * [taylor]: Taking taylor expansion of 0 in y 0.797 * [taylor]: Taking taylor expansion of (* 1.0 (sin y)) in y 0.797 * [taylor]: Taking taylor expansion of 1.0 in y 0.797 * [taylor]: Taking taylor expansion of (sin y) in y 0.797 * [taylor]: Taking taylor expansion of y in y 0.801 * [taylor]: Taking taylor expansion of 0 in y 0.808 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin y)) in y 0.808 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 0.808 * [taylor]: Taking taylor expansion of (sin y) in y 0.808 * [taylor]: Taking taylor expansion of y in y 0.816 * [taylor]: Taking taylor expansion of 0 in y 0.816 * [approximate]: Taking taylor expansion of (* 0.5 (* (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) (sin (/ 1 y)))) in (x y) around 0 0.816 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) (sin (/ 1 y)))) in y 0.816 * [taylor]: Taking taylor expansion of 0.5 in y 0.816 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) (sin (/ 1 y))) in y 0.816 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in y 0.816 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 0.816 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in y 0.817 * [taylor]: Taking taylor expansion of 1/3 in y 0.817 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in y 0.817 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.817 * [taylor]: Taking taylor expansion of x in y 0.817 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in y 0.817 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 0.817 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in y 0.817 * [taylor]: Taking taylor expansion of 1/60 in y 0.817 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in y 0.817 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.817 * [taylor]: Taking taylor expansion of x in y 0.817 * [taylor]: Taking taylor expansion of (/ 2 x) in y 0.817 * [taylor]: Taking taylor expansion of 2 in y 0.817 * [taylor]: Taking taylor expansion of x in y 0.817 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.817 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.817 * [taylor]: Taking taylor expansion of y in y 0.817 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) (sin (/ 1 y)))) in x 0.817 * [taylor]: Taking taylor expansion of 0.5 in x 0.817 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) (sin (/ 1 y))) in x 0.817 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 0.817 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 0.817 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 0.817 * [taylor]: Taking taylor expansion of 1/3 in x 0.817 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 0.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.817 * [taylor]: Taking taylor expansion of x in x 0.818 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 0.818 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 0.818 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 0.818 * [taylor]: Taking taylor expansion of 1/60 in x 0.818 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 0.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.818 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.818 * [taylor]: Taking taylor expansion of 2 in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.823 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.823 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.823 * [taylor]: Taking taylor expansion of y in x 0.823 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) (sin (/ 1 y)))) in x 0.823 * [taylor]: Taking taylor expansion of 0.5 in x 0.823 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) (sin (/ 1 y))) in x 0.823 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 0.823 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 0.823 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 0.823 * [taylor]: Taking taylor expansion of 1/3 in x 0.823 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 0.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.823 * [taylor]: Taking taylor expansion of x in x 0.824 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 0.824 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 0.824 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 0.824 * [taylor]: Taking taylor expansion of 1/60 in x 0.824 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 0.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.824 * [taylor]: Taking taylor expansion of x in x 0.824 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.824 * [taylor]: Taking taylor expansion of 2 in x 0.824 * [taylor]: Taking taylor expansion of x in x 0.824 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.824 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.824 * [taylor]: Taking taylor expansion of y in x 0.826 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (sin (/ 1 y))) in y 0.826 * [taylor]: Taking taylor expansion of 0.008333333333333333 in y 0.826 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.826 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.826 * [taylor]: Taking taylor expansion of y in y 0.831 * [taylor]: Taking taylor expansion of 0 in y 0.838 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ 1 y))) in y 0.838 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 0.838 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.838 * [taylor]: Taking taylor expansion of y in y 0.847 * [taylor]: Taking taylor expansion of 0 in y 0.849 * [approximate]: Taking taylor expansion of (* 0.5 (* (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) (sin (/ -1 y)))) in (x y) around 0 0.850 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) (sin (/ -1 y)))) in y 0.850 * [taylor]: Taking taylor expansion of 0.5 in y 0.850 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) (sin (/ -1 y))) in y 0.850 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in y 0.850 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 0.850 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in y 0.850 * [taylor]: Taking taylor expansion of 1/3 in y 0.850 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in y 0.850 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.850 * [taylor]: Taking taylor expansion of -1 in y 0.850 * [taylor]: Taking taylor expansion of x in y 0.850 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in y 0.850 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 0.850 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in y 0.850 * [taylor]: Taking taylor expansion of 1/60 in y 0.850 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in y 0.850 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.850 * [taylor]: Taking taylor expansion of -1 in y 0.850 * [taylor]: Taking taylor expansion of x in y 0.850 * [taylor]: Taking taylor expansion of (/ -2 x) in y 0.850 * [taylor]: Taking taylor expansion of -2 in y 0.850 * [taylor]: Taking taylor expansion of x in y 0.850 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.850 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.850 * [taylor]: Taking taylor expansion of -1 in y 0.850 * [taylor]: Taking taylor expansion of y in y 0.851 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) (sin (/ -1 y)))) in x 0.851 * [taylor]: Taking taylor expansion of 0.5 in x 0.851 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) (sin (/ -1 y))) in x 0.851 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 0.851 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 0.851 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 0.851 * [taylor]: Taking taylor expansion of 1/3 in x 0.851 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 0.851 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.851 * [taylor]: Taking taylor expansion of -1 in x 0.851 * [taylor]: Taking taylor expansion of x in x 0.851 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 0.851 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 0.851 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 0.851 * [taylor]: Taking taylor expansion of 1/60 in x 0.851 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 0.851 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.851 * [taylor]: Taking taylor expansion of -1 in x 0.851 * [taylor]: Taking taylor expansion of x in x 0.852 * [taylor]: Taking taylor expansion of (/ -2 x) in x 0.852 * [taylor]: Taking taylor expansion of -2 in x 0.852 * [taylor]: Taking taylor expansion of x in x 0.852 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.852 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.852 * [taylor]: Taking taylor expansion of -1 in x 0.852 * [taylor]: Taking taylor expansion of y in x 0.852 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) (sin (/ -1 y)))) in x 0.852 * [taylor]: Taking taylor expansion of 0.5 in x 0.852 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) (sin (/ -1 y))) in x 0.852 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 0.852 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 0.852 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 0.852 * [taylor]: Taking taylor expansion of 1/3 in x 0.852 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 0.852 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.852 * [taylor]: Taking taylor expansion of -1 in x 0.852 * [taylor]: Taking taylor expansion of x in x 0.853 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 0.853 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 0.853 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 0.853 * [taylor]: Taking taylor expansion of 1/60 in x 0.853 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 0.853 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.853 * [taylor]: Taking taylor expansion of -1 in x 0.853 * [taylor]: Taking taylor expansion of x in x 0.853 * [taylor]: Taking taylor expansion of (/ -2 x) in x 0.853 * [taylor]: Taking taylor expansion of -2 in x 0.853 * [taylor]: Taking taylor expansion of x in x 0.853 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.853 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.854 * [taylor]: Taking taylor expansion of -1 in x 0.854 * [taylor]: Taking taylor expansion of y in x 0.855 * [taylor]: Taking taylor expansion of (* -0.008333333333333333 (sin (/ -1 y))) in y 0.855 * [taylor]: Taking taylor expansion of -0.008333333333333333 in y 0.855 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.855 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.855 * [taylor]: Taking taylor expansion of -1 in y 0.855 * [taylor]: Taking taylor expansion of y in y 0.860 * [taylor]: Taking taylor expansion of 0 in y 0.867 * [taylor]: Taking taylor expansion of (- (* 0.16666666666666666 (sin (/ -1 y)))) in y 0.867 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ -1 y))) in y 0.867 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 0.867 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.867 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.867 * [taylor]: Taking taylor expansion of -1 in y 0.867 * [taylor]: Taking taylor expansion of y in y 0.877 * [taylor]: Taking taylor expansion of 0 in y 0.878 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 3) 0.879 * [approximate]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in (x) around 0 0.879 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 0.879 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 0.879 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 0.879 * [taylor]: Taking taylor expansion of 1/60 in x 0.879 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.879 * [taylor]: Taking taylor expansion of 2 in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 0.879 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 0.879 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 0.879 * [taylor]: Taking taylor expansion of 1/60 in x 0.879 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.879 * [taylor]: Taking taylor expansion of 2 in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.911 * [approximate]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in (x) around 0 0.911 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 0.911 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 0.911 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 0.911 * [taylor]: Taking taylor expansion of 1/60 in x 0.911 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 0.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.911 * [taylor]: Taking taylor expansion of x in x 0.911 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.911 * [taylor]: Taking taylor expansion of 2 in x 0.911 * [taylor]: Taking taylor expansion of x in x 0.912 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 0.912 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 0.912 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 0.912 * [taylor]: Taking taylor expansion of 1/60 in x 0.912 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 0.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.912 * [taylor]: Taking taylor expansion of x in x 0.912 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.912 * [taylor]: Taking taylor expansion of 2 in x 0.912 * [taylor]: Taking taylor expansion of x in x 0.953 * [approximate]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in (x) around 0 0.953 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 0.953 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 0.953 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 0.953 * [taylor]: Taking taylor expansion of 1/60 in x 0.953 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 0.953 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.953 * [taylor]: Taking taylor expansion of -1 in x 0.953 * [taylor]: Taking taylor expansion of x in x 0.954 * [taylor]: Taking taylor expansion of (/ -2 x) in x 0.954 * [taylor]: Taking taylor expansion of -2 in x 0.954 * [taylor]: Taking taylor expansion of x in x 0.954 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 0.954 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 0.954 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 0.954 * [taylor]: Taking taylor expansion of 1/60 in x 0.954 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 0.954 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.954 * [taylor]: Taking taylor expansion of -1 in x 0.954 * [taylor]: Taking taylor expansion of x in x 0.955 * [taylor]: Taking taylor expansion of (/ -2 x) in x 0.955 * [taylor]: Taking taylor expansion of -2 in x 0.955 * [taylor]: Taking taylor expansion of x in x 1.002 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 1.002 * [approximate]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in (x) around 0 1.002 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 1.002 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 1.002 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.002 * [taylor]: Taking taylor expansion of 1/3 in x 1.002 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.002 * [taylor]: Taking taylor expansion of x in x 1.002 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 1.002 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 1.002 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.002 * [taylor]: Taking taylor expansion of 1/60 in x 1.002 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.002 * [taylor]: Taking taylor expansion of x in x 1.002 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.002 * [taylor]: Taking taylor expansion of 2 in x 1.002 * [taylor]: Taking taylor expansion of x in x 1.002 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 1.003 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 1.003 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.003 * [taylor]: Taking taylor expansion of 1/3 in x 1.003 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.003 * [taylor]: Taking taylor expansion of x in x 1.003 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 1.003 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 1.003 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.003 * [taylor]: Taking taylor expansion of 1/60 in x 1.003 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.003 * [taylor]: Taking taylor expansion of x in x 1.003 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.003 * [taylor]: Taking taylor expansion of 2 in x 1.003 * [taylor]: Taking taylor expansion of x in x 1.013 * [approximate]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in (x) around 0 1.013 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 1.013 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1.013 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 1.013 * [taylor]: Taking taylor expansion of 1/3 in x 1.013 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 1.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.013 * [taylor]: Taking taylor expansion of x in x 1.014 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 1.014 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 1.014 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 1.014 * [taylor]: Taking taylor expansion of 1/60 in x 1.014 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 1.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.014 * [taylor]: Taking taylor expansion of x in x 1.014 * [taylor]: Taking taylor expansion of (/ 2 x) in x 1.014 * [taylor]: Taking taylor expansion of 2 in x 1.014 * [taylor]: Taking taylor expansion of x in x 1.015 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 1.015 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1.015 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 1.015 * [taylor]: Taking taylor expansion of 1/3 in x 1.015 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 1.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.015 * [taylor]: Taking taylor expansion of x in x 1.015 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 1.015 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 1.015 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 1.015 * [taylor]: Taking taylor expansion of 1/60 in x 1.015 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 1.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.015 * [taylor]: Taking taylor expansion of x in x 1.015 * [taylor]: Taking taylor expansion of (/ 2 x) in x 1.015 * [taylor]: Taking taylor expansion of 2 in x 1.015 * [taylor]: Taking taylor expansion of x in x 1.033 * [approximate]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in (x) around 0 1.033 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 1.033 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1.033 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 1.033 * [taylor]: Taking taylor expansion of 1/3 in x 1.033 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 1.033 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.033 * [taylor]: Taking taylor expansion of -1 in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.034 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 1.034 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 1.034 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 1.034 * [taylor]: Taking taylor expansion of 1/60 in x 1.034 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 1.034 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.034 * [taylor]: Taking taylor expansion of -1 in x 1.034 * [taylor]: Taking taylor expansion of x in x 1.034 * [taylor]: Taking taylor expansion of (/ -2 x) in x 1.034 * [taylor]: Taking taylor expansion of -2 in x 1.034 * [taylor]: Taking taylor expansion of x in x 1.035 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 1.035 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1.035 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 1.035 * [taylor]: Taking taylor expansion of 1/3 in x 1.035 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 1.035 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.035 * [taylor]: Taking taylor expansion of -1 in x 1.035 * [taylor]: Taking taylor expansion of x in x 1.035 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 1.035 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 1.035 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 1.035 * [taylor]: Taking taylor expansion of 1/60 in x 1.035 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 1.035 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.035 * [taylor]: Taking taylor expansion of -1 in x 1.035 * [taylor]: Taking taylor expansion of x in x 1.036 * [taylor]: Taking taylor expansion of (/ -2 x) in x 1.036 * [taylor]: Taking taylor expansion of -2 in x 1.036 * [taylor]: Taking taylor expansion of x in x 1.054 * * * [progress]: simplifying candidates 1.055 * [simplify]: Simplifying using # : (expm1 (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (log1p (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y)) (+ (- (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (log 2.0)) (log (sin y))) (+ (log (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0)) (log (sin y))) (log (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (exp (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (* (/ (* (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (* 2.0 2.0) 2.0)) (* (* (sin y) (sin y)) (sin y))) (* (* (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0)) (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0)) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (cbrt (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y)))) (cbrt (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (* (* (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y)) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (sqrt (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (sqrt (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (* (sqrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0)) (sqrt (sin y))) (* (sqrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0)) (sqrt (sin y))) (* (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sqrt (sin y))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) 1) (* (cbrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0)) (sin y)) (* (sqrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0)) (sin y)) (* (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt 2.0)) (sin y)) (* (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt 2.0)) (sin y)) (* (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) 2.0) (sin y)) (* (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt 2.0)) (sin y)) (* (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt 2.0)) (sin y)) (* (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) 2.0) (sin y)) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (cbrt 2.0)) (sin y)) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt 2.0)) (sin y)) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y)) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y)) (* (/ 1 2.0) (sin y)) (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sin y)) (expm1 (fma 1/60 (pow x 5) (* 2 x))) (log1p (fma 1/60 (pow x 5) (* 2 x))) (* 1/60 (pow x 5)) (log (fma 1/60 (pow x 5) (* 2 x))) (exp (fma 1/60 (pow x 5) (* 2 x))) (* (cbrt (fma 1/60 (pow x 5) (* 2 x))) (cbrt (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/60 (pow x 5) (* 2 x))) (* (* (fma 1/60 (pow x 5) (* 2 x)) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/60 (pow x 5) (* 2 x))) (sqrt (fma 1/60 (pow x 5) (* 2 x))) (sqrt (fma 1/60 (pow x 5) (* 2 x))) (expm1 (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (log1p (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* 1/3 (pow x 3)) (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (exp (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* 1.0 (* x y)) (+ (* 0.16666666666666666 (* (pow x 3) (sin y))) (* 0.008333333333333333 (* (pow x 5) (sin y)))) (+ (* 0.16666666666666666 (* (pow x 3) (sin y))) (* 0.008333333333333333 (* (pow x 5) (sin y)))) (+ (* 2 x) (* 1/60 (pow x 5))) (+ (* 2 x) (* 1/60 (pow x 5))) (+ (* 2 x) (* 1/60 (pow x 5))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 1.065 * * [simplify]: iteration 0 : 231 enodes (cost 541 ) 1.070 * * [simplify]: iteration 1 : 897 enodes (cost 470 ) 1.087 * * [simplify]: iteration 2 : 4308 enodes (cost 467 ) 1.163 * * [simplify]: iteration 3 : 5001 enodes (cost 467 ) 1.166 * [simplify]: Simplified to: (expm1 (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (log1p (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y)) (log (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (log (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (log (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (exp (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (pow (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y)) 3) (pow (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y)) 3) (* (cbrt (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (cbrt (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y)))) (cbrt (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (pow (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y)) 3) (sqrt (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (sqrt (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y))) (* (sqrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0)) (sqrt (sin y))) (* (sqrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0)) (sqrt (sin y))) (* (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sqrt (sin y))) (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (* (cbrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0)) (sin y)) (* (sqrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0)) (sin y)) (* (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt 2.0)) (sin y)) (* (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt 2.0)) (sin y)) (* (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) 2.0) (sin y)) (* (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt 2.0)) (sin y)) (* (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt 2.0)) (sin y)) (* (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) 2.0) (sin y)) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (cbrt 2.0)) (sin y)) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt 2.0)) (sin y)) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y)) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.0) (sin y)) (/ (sin y) 2.0) (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sin y)) (expm1 (fma 1/60 (pow x 5) (* 2 x))) (log1p (fma 1/60 (pow x 5) (* 2 x))) (* 1/60 (pow x 5)) (log (fma 1/60 (pow x 5) (* 2 x))) (exp (fma 1/60 (pow x 5) (* 2 x))) (* (cbrt (fma 1/60 (pow x 5) (* 2 x))) (cbrt (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/60 (pow x 5) (* 2 x))) (pow (fma 2 x (* 1/60 (pow x 5))) 3) (sqrt (fma 1/60 (pow x 5) (* 2 x))) (sqrt (fma 1/60 (pow x 5) (* 2 x))) (expm1 (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (log1p (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* 1/3 (pow x 3)) (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (exp (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 3) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* 1.0 (* x y)) (* (sin y) (fma 0.16666666666666666 (pow x 3) (* 0.008333333333333333 (pow x 5)))) (* (sin y) (fma 0.16666666666666666 (pow x 3) (* 0.008333333333333333 (pow x 5)))) (fma 2 x (* 1/60 (pow x 5))) (fma 2 x (* 1/60 (pow x 5))) (fma 2 x (* 1/60 (pow x 5))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 1.167 * * * [progress]: adding candidates to table 1.348 * * [progress]: iteration 3 / 4 1.348 * * * [progress]: picking best candidate 1.375 * * * * [pick]: Picked # 1.375 * * * [progress]: localizing error 1.404 * * * [progress]: generating rewritten candidates 1.404 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.405 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 1.407 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 1.408 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1.416 * * * [progress]: generating series expansions 1.416 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.416 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.416 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.417 * [taylor]: Taking taylor expansion of 1/3 in y 1.417 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.417 * [taylor]: Taking taylor expansion of (sin y) in y 1.417 * [taylor]: Taking taylor expansion of y in y 1.418 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.418 * [taylor]: Taking taylor expansion of 1/3 in y 1.418 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.418 * [taylor]: Taking taylor expansion of (sin y) in y 1.418 * [taylor]: Taking taylor expansion of y in y 1.448 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.448 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.448 * [taylor]: Taking taylor expansion of 1/3 in y 1.448 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.448 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.448 * [taylor]: Taking taylor expansion of y in y 1.449 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.449 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.449 * [taylor]: Taking taylor expansion of 1/3 in y 1.449 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.449 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.449 * [taylor]: Taking taylor expansion of y in y 1.481 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.481 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.481 * [taylor]: Taking taylor expansion of 1/3 in y 1.481 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.481 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.481 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.481 * [taylor]: Taking taylor expansion of -1 in y 1.481 * [taylor]: Taking taylor expansion of y in y 1.482 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.482 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.482 * [taylor]: Taking taylor expansion of 1/3 in y 1.482 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.482 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.482 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.482 * [taylor]: Taking taylor expansion of -1 in y 1.482 * [taylor]: Taking taylor expansion of y in y 1.513 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 1.513 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.513 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.513 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.513 * [taylor]: Taking taylor expansion of 1/3 in y 1.514 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.514 * [taylor]: Taking taylor expansion of (sin y) in y 1.514 * [taylor]: Taking taylor expansion of y in y 1.515 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.515 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.515 * [taylor]: Taking taylor expansion of 1/3 in y 1.515 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.515 * [taylor]: Taking taylor expansion of (sin y) in y 1.515 * [taylor]: Taking taylor expansion of y in y 1.544 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.544 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.544 * [taylor]: Taking taylor expansion of 1/3 in y 1.544 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.544 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.544 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.544 * [taylor]: Taking taylor expansion of y in y 1.544 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.544 * [taylor]: Taking taylor expansion of 1/3 in y 1.544 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.544 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.544 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.544 * [taylor]: Taking taylor expansion of y in y 1.576 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.576 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.576 * [taylor]: Taking taylor expansion of 1/3 in y 1.576 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.576 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.576 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.576 * [taylor]: Taking taylor expansion of -1 in y 1.577 * [taylor]: Taking taylor expansion of y in y 1.577 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.577 * [taylor]: Taking taylor expansion of 1/3 in y 1.577 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.577 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.577 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.577 * [taylor]: Taking taylor expansion of -1 in y 1.577 * [taylor]: Taking taylor expansion of y in y 1.616 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 1.616 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.616 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.616 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.616 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.616 * [taylor]: Taking taylor expansion of 1/3 in y 1.616 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.616 * [taylor]: Taking taylor expansion of (sin y) in y 1.616 * [taylor]: Taking taylor expansion of y in y 1.618 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.618 * [taylor]: Taking taylor expansion of 1/3 in y 1.618 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.618 * [taylor]: Taking taylor expansion of (sin y) in y 1.618 * [taylor]: Taking taylor expansion of y in y 1.642 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.642 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.642 * [taylor]: Taking taylor expansion of 1/3 in y 1.642 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.642 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.642 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.642 * [taylor]: Taking taylor expansion of y in y 1.642 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.643 * [taylor]: Taking taylor expansion of 1/3 in y 1.643 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.643 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.643 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.643 * [taylor]: Taking taylor expansion of y in y 1.675 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.675 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.675 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.675 * [taylor]: Taking taylor expansion of 1/3 in y 1.675 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.675 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.675 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.675 * [taylor]: Taking taylor expansion of -1 in y 1.675 * [taylor]: Taking taylor expansion of y in y 1.675 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.676 * [taylor]: Taking taylor expansion of 1/3 in y 1.676 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.676 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.676 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.676 * [taylor]: Taking taylor expansion of -1 in y 1.676 * [taylor]: Taking taylor expansion of y in y 1.713 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 1.714 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0 1.714 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 1.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 1.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 1.714 * [taylor]: Taking taylor expansion of 1/3 in y 1.714 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 1.714 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.714 * [taylor]: Taking taylor expansion of (sin y) in y 1.714 * [taylor]: Taking taylor expansion of y in y 1.715 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 1.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 1.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 1.715 * [taylor]: Taking taylor expansion of 1/3 in y 1.715 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 1.715 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.715 * [taylor]: Taking taylor expansion of (sin y) in y 1.715 * [taylor]: Taking taylor expansion of y in y 1.742 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0 1.742 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 1.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 1.742 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 1.742 * [taylor]: Taking taylor expansion of 1/3 in y 1.742 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 1.742 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.742 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.742 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.742 * [taylor]: Taking taylor expansion of y in y 1.743 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 1.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 1.743 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 1.743 * [taylor]: Taking taylor expansion of 1/3 in y 1.743 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 1.743 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.743 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.743 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.743 * [taylor]: Taking taylor expansion of y in y 1.786 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0 1.787 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 1.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 1.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 1.787 * [taylor]: Taking taylor expansion of 1/3 in y 1.787 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 1.787 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.787 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.787 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.787 * [taylor]: Taking taylor expansion of -1 in y 1.787 * [taylor]: Taking taylor expansion of y in y 1.787 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 1.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 1.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 1.787 * [taylor]: Taking taylor expansion of 1/3 in y 1.787 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 1.787 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.787 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.787 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.787 * [taylor]: Taking taylor expansion of -1 in y 1.788 * [taylor]: Taking taylor expansion of y in y 1.826 * * * [progress]: simplifying candidates 1.827 * [simplify]: Simplifying using # : (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (* (cbrt (sin y)) (cbrt (sin y)))) (log1p (* (cbrt (sin y)) (cbrt (sin y)))) (+ 1/3 1/3) (+ 1 1) (* (sin y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (+ 1 1) (+ (log (cbrt (sin y))) (log (cbrt (sin y)))) (log (* (cbrt (sin y)) (cbrt (sin y)))) (exp (* (cbrt (sin y)) (cbrt (sin y)))) (* (sin y) (sin y)) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))) (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* 1 1) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* 2 1/3) (* 2 1) (* (cbrt (sin y)) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (* (cbrt (sin y)) (cbrt 1)) (* (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (* (cbrt (sin y)) (sqrt (cbrt (sin y)))) (* (cbrt (sin y)) 1) (* (cbrt (cbrt (sin y))) (cbrt (sin y))) (* (cbrt (sqrt (sin y))) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (cbrt (sin y))) (cbrt (sin y))) (* (sqrt (cbrt (sin y))) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y))) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (+ (* 1/405 (pow (pow y 14) 1/3)) (pow y 2/3)) (* 1/9 (pow (pow y 8) 1/3))) (pow (pow (sin y) 2) 1/3) (pow (pow (sin y) 2) 1/3) 1.831 * * [simplify]: iteration 0 : 160 enodes (cost 483 ) 1.835 * * [simplify]: iteration 1 : 568 enodes (cost 430 ) 1.850 * * [simplify]: iteration 2 : 3134 enodes (cost 398 ) 1.917 * * [simplify]: iteration 3 : 5001 enodes (cost 392 ) 1.920 * [simplify]: Simplified to: (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (pow (sin y) 1/3) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (pow (sin y) 1/3) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (pow (sin y) 1/3) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (* (cbrt (sin y)) (cbrt (sin y)))) (log1p (* (cbrt (sin y)) (cbrt (sin y)))) 2/3 2 (pow (sin y) 2) (pow (sin y) 2/3) 2 (* 2/3 (log (sin y))) (* 2/3 (log (sin y))) (pow (exp 1) (pow (sin y) 2/3)) (pow (sin y) 2) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (pow (sin y) 2) (fabs (pow (sin y) 1/3)) (fabs (pow (sin y) 1/3)) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) 1 (pow (sin y) 2/3) (pow (cbrt (cbrt (sin y))) 4) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (pow (sin y) 1/3) (pow (sin y) 1/3) 1 (pow (sin y) 2/3) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (pow (sin y) 1/3) (pow (sin y) 1/3) 2/3 2 (* (cbrt (sin y)) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (pow (sin y) 1/3) (pow (cbrt (cbrt (sin y))) 5) (pow (sqrt (cbrt (sin y))) 3) (pow (sin y) 1/3) (pow (cbrt (cbrt (sin y))) 4) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (pow (sin y) 2/3) (pow (cbrt (cbrt (sin y))) 4) (pow (sqrt (cbrt (sin y))) 3) (pow (sin y) 2/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (fma (pow (pow y 14) 1/3) 1/405 (- (pow y 2/3) (* 1/9 (pow (pow y 8) 1/3)))) (pow (sin y) 2/3) (pow (sin y) 2/3) 1.920 * * * [progress]: adding candidates to table 2.224 * * [progress]: iteration 4 / 4 2.224 * * * [progress]: picking best candidate 2.248 * * * * [pick]: Picked # 2.248 * * * [progress]: localizing error 2.279 * * * [progress]: generating rewritten candidates 2.279 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 2.280 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 2.281 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 2.286 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 2.293 * * * [progress]: generating series expansions 2.293 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 2.293 * [approximate]: Taking taylor expansion of (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 1/3) in (x) around 0 2.293 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 1/3) in x 2.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) in x 2.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) in x 2.294 * [taylor]: Taking taylor expansion of 1/3 in x 2.294 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) in x 2.294 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 2.294 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 2.294 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 2.294 * [taylor]: Taking taylor expansion of 1/3 in x 2.294 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.294 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 2.294 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 2.294 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 2.294 * [taylor]: Taking taylor expansion of 1/60 in x 2.294 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.294 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.294 * [taylor]: Taking taylor expansion of 2 in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.297 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 1/3) in x 2.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) in x 2.297 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) in x 2.297 * [taylor]: Taking taylor expansion of 1/3 in x 2.297 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) in x 2.297 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 2.297 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 2.298 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 2.298 * [taylor]: Taking taylor expansion of 1/3 in x 2.298 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.298 * [taylor]: Taking taylor expansion of x in x 2.298 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 2.298 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 2.298 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 2.298 * [taylor]: Taking taylor expansion of 1/60 in x 2.298 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.298 * [taylor]: Taking taylor expansion of x in x 2.298 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.298 * [taylor]: Taking taylor expansion of 2 in x 2.298 * [taylor]: Taking taylor expansion of x in x 2.333 * [approximate]: Taking taylor expansion of (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1/3) in (x) around 0 2.333 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1/3) in x 2.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))))) in x 2.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))))) in x 2.334 * [taylor]: Taking taylor expansion of 1/3 in x 2.334 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))) in x 2.334 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 2.334 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2.334 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 2.334 * [taylor]: Taking taylor expansion of 1/3 in x 2.334 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 2.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.334 * [taylor]: Taking taylor expansion of x in x 2.334 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 2.334 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 2.334 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 2.334 * [taylor]: Taking taylor expansion of 1/60 in x 2.334 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 2.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.334 * [taylor]: Taking taylor expansion of x in x 2.334 * [taylor]: Taking taylor expansion of (/ 2 x) in x 2.334 * [taylor]: Taking taylor expansion of 2 in x 2.335 * [taylor]: Taking taylor expansion of x in x 2.338 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1/3) in x 2.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))))) in x 2.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))))) in x 2.338 * [taylor]: Taking taylor expansion of 1/3 in x 2.338 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))) in x 2.338 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 2.338 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2.338 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 2.338 * [taylor]: Taking taylor expansion of 1/3 in x 2.338 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 2.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.338 * [taylor]: Taking taylor expansion of x in x 2.338 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 2.338 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 2.338 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 2.338 * [taylor]: Taking taylor expansion of 1/60 in x 2.338 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 2.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.338 * [taylor]: Taking taylor expansion of x in x 2.339 * [taylor]: Taking taylor expansion of (/ 2 x) in x 2.339 * [taylor]: Taking taylor expansion of 2 in x 2.339 * [taylor]: Taking taylor expansion of x in x 2.388 * [approximate]: Taking taylor expansion of (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1/3) in (x) around 0 2.388 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1/3) in x 2.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))))) in x 2.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))))) in x 2.388 * [taylor]: Taking taylor expansion of 1/3 in x 2.388 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))) in x 2.388 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 2.388 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2.388 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 2.388 * [taylor]: Taking taylor expansion of 1/3 in x 2.388 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 2.388 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.388 * [taylor]: Taking taylor expansion of -1 in x 2.388 * [taylor]: Taking taylor expansion of x in x 2.389 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 2.389 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 2.389 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 2.389 * [taylor]: Taking taylor expansion of 1/60 in x 2.389 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 2.389 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.389 * [taylor]: Taking taylor expansion of -1 in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.389 * [taylor]: Taking taylor expansion of (/ -2 x) in x 2.389 * [taylor]: Taking taylor expansion of -2 in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.392 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1/3) in x 2.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))))) in x 2.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))))) in x 2.392 * [taylor]: Taking taylor expansion of 1/3 in x 2.392 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))) in x 2.392 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 2.393 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2.393 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 2.393 * [taylor]: Taking taylor expansion of 1/3 in x 2.393 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 2.393 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.393 * [taylor]: Taking taylor expansion of -1 in x 2.393 * [taylor]: Taking taylor expansion of x in x 2.393 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 2.393 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 2.393 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 2.393 * [taylor]: Taking taylor expansion of 1/60 in x 2.393 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 2.393 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.393 * [taylor]: Taking taylor expansion of -1 in x 2.393 * [taylor]: Taking taylor expansion of x in x 2.393 * [taylor]: Taking taylor expansion of (/ -2 x) in x 2.394 * [taylor]: Taking taylor expansion of -2 in x 2.394 * [taylor]: Taking taylor expansion of x in x 2.438 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 2.438 * [approximate]: Taking taylor expansion of (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 1/3) in (x) around 0 2.438 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 1/3) in x 2.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) in x 2.438 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) in x 2.438 * [taylor]: Taking taylor expansion of 1/3 in x 2.438 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) in x 2.438 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 2.438 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 2.438 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 2.438 * [taylor]: Taking taylor expansion of 1/3 in x 2.438 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.438 * [taylor]: Taking taylor expansion of x in x 2.438 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 2.438 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 2.438 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 2.438 * [taylor]: Taking taylor expansion of 1/60 in x 2.438 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.438 * [taylor]: Taking taylor expansion of x in x 2.438 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.438 * [taylor]: Taking taylor expansion of 2 in x 2.438 * [taylor]: Taking taylor expansion of x in x 2.441 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 1/3) in x 2.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) in x 2.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) in x 2.441 * [taylor]: Taking taylor expansion of 1/3 in x 2.442 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) in x 2.442 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 2.442 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 2.442 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 2.442 * [taylor]: Taking taylor expansion of 1/3 in x 2.442 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.442 * [taylor]: Taking taylor expansion of x in x 2.442 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 2.442 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 2.442 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 2.442 * [taylor]: Taking taylor expansion of 1/60 in x 2.442 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.442 * [taylor]: Taking taylor expansion of x in x 2.442 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.442 * [taylor]: Taking taylor expansion of 2 in x 2.442 * [taylor]: Taking taylor expansion of x in x 2.483 * [approximate]: Taking taylor expansion of (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1/3) in (x) around 0 2.483 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1/3) in x 2.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))))) in x 2.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))))) in x 2.484 * [taylor]: Taking taylor expansion of 1/3 in x 2.484 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))) in x 2.484 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 2.484 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2.484 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 2.484 * [taylor]: Taking taylor expansion of 1/3 in x 2.484 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 2.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.484 * [taylor]: Taking taylor expansion of x in x 2.484 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 2.484 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 2.484 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 2.484 * [taylor]: Taking taylor expansion of 1/60 in x 2.484 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 2.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.484 * [taylor]: Taking taylor expansion of x in x 2.485 * [taylor]: Taking taylor expansion of (/ 2 x) in x 2.485 * [taylor]: Taking taylor expansion of 2 in x 2.485 * [taylor]: Taking taylor expansion of x in x 2.488 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1/3) in x 2.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))))) in x 2.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))))) in x 2.488 * [taylor]: Taking taylor expansion of 1/3 in x 2.488 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))) in x 2.488 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 2.488 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2.488 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 2.488 * [taylor]: Taking taylor expansion of 1/3 in x 2.488 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 2.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.488 * [taylor]: Taking taylor expansion of x in x 2.488 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 2.488 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 2.488 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 2.488 * [taylor]: Taking taylor expansion of 1/60 in x 2.488 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 2.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.488 * [taylor]: Taking taylor expansion of x in x 2.489 * [taylor]: Taking taylor expansion of (/ 2 x) in x 2.489 * [taylor]: Taking taylor expansion of 2 in x 2.489 * [taylor]: Taking taylor expansion of x in x 2.541 * [approximate]: Taking taylor expansion of (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1/3) in (x) around 0 2.541 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1/3) in x 2.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))))) in x 2.541 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))))) in x 2.541 * [taylor]: Taking taylor expansion of 1/3 in x 2.541 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))) in x 2.541 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 2.541 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2.541 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 2.541 * [taylor]: Taking taylor expansion of 1/3 in x 2.541 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 2.541 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.541 * [taylor]: Taking taylor expansion of -1 in x 2.541 * [taylor]: Taking taylor expansion of x in x 2.542 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 2.542 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 2.542 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 2.542 * [taylor]: Taking taylor expansion of 1/60 in x 2.542 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 2.542 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.542 * [taylor]: Taking taylor expansion of -1 in x 2.542 * [taylor]: Taking taylor expansion of x in x 2.542 * [taylor]: Taking taylor expansion of (/ -2 x) in x 2.542 * [taylor]: Taking taylor expansion of -2 in x 2.542 * [taylor]: Taking taylor expansion of x in x 2.546 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1/3) in x 2.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))))) in x 2.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))))) in x 2.546 * [taylor]: Taking taylor expansion of 1/3 in x 2.546 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))) in x 2.546 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 2.546 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2.546 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 2.546 * [taylor]: Taking taylor expansion of 1/3 in x 2.546 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 2.546 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.546 * [taylor]: Taking taylor expansion of -1 in x 2.546 * [taylor]: Taking taylor expansion of x in x 2.546 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 2.546 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 2.546 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 2.546 * [taylor]: Taking taylor expansion of 1/60 in x 2.546 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 2.546 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.546 * [taylor]: Taking taylor expansion of -1 in x 2.546 * [taylor]: Taking taylor expansion of x in x 2.547 * [taylor]: Taking taylor expansion of (/ -2 x) in x 2.547 * [taylor]: Taking taylor expansion of -2 in x 2.547 * [taylor]: Taking taylor expansion of x in x 2.591 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 2.591 * [approximate]: Taking taylor expansion of (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 1/3) in (x) around 0 2.591 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 1/3) in x 2.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) in x 2.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) in x 2.591 * [taylor]: Taking taylor expansion of 1/3 in x 2.591 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) in x 2.591 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 2.591 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 2.591 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 2.591 * [taylor]: Taking taylor expansion of 1/3 in x 2.591 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.592 * [taylor]: Taking taylor expansion of x in x 2.592 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 2.592 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 2.592 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 2.592 * [taylor]: Taking taylor expansion of 1/60 in x 2.592 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.592 * [taylor]: Taking taylor expansion of x in x 2.592 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.592 * [taylor]: Taking taylor expansion of 2 in x 2.592 * [taylor]: Taking taylor expansion of x in x 2.595 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 1/3) in x 2.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) in x 2.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) in x 2.595 * [taylor]: Taking taylor expansion of 1/3 in x 2.595 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) in x 2.595 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 2.595 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 2.595 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 2.595 * [taylor]: Taking taylor expansion of 1/3 in x 2.595 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.595 * [taylor]: Taking taylor expansion of x in x 2.595 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 2.595 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 2.595 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 2.595 * [taylor]: Taking taylor expansion of 1/60 in x 2.595 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.595 * [taylor]: Taking taylor expansion of x in x 2.595 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.595 * [taylor]: Taking taylor expansion of 2 in x 2.595 * [taylor]: Taking taylor expansion of x in x 2.636 * [approximate]: Taking taylor expansion of (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1/3) in (x) around 0 2.636 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1/3) in x 2.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))))) in x 2.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))))) in x 2.636 * [taylor]: Taking taylor expansion of 1/3 in x 2.636 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))) in x 2.636 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 2.636 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2.636 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 2.636 * [taylor]: Taking taylor expansion of 1/3 in x 2.636 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 2.636 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.636 * [taylor]: Taking taylor expansion of x in x 2.636 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 2.636 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 2.637 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 2.637 * [taylor]: Taking taylor expansion of 1/60 in x 2.637 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 2.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.637 * [taylor]: Taking taylor expansion of x in x 2.637 * [taylor]: Taking taylor expansion of (/ 2 x) in x 2.637 * [taylor]: Taking taylor expansion of 2 in x 2.637 * [taylor]: Taking taylor expansion of x in x 2.640 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1/3) in x 2.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))))) in x 2.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))))) in x 2.640 * [taylor]: Taking taylor expansion of 1/3 in x 2.640 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))) in x 2.640 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 2.640 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2.640 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 2.640 * [taylor]: Taking taylor expansion of 1/3 in x 2.640 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 2.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.640 * [taylor]: Taking taylor expansion of x in x 2.640 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 2.641 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 2.641 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 2.641 * [taylor]: Taking taylor expansion of 1/60 in x 2.641 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 2.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.641 * [taylor]: Taking taylor expansion of x in x 2.641 * [taylor]: Taking taylor expansion of (/ 2 x) in x 2.641 * [taylor]: Taking taylor expansion of 2 in x 2.641 * [taylor]: Taking taylor expansion of x in x 2.684 * [approximate]: Taking taylor expansion of (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1/3) in (x) around 0 2.684 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1/3) in x 2.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))))) in x 2.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))))) in x 2.684 * [taylor]: Taking taylor expansion of 1/3 in x 2.684 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))) in x 2.684 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 2.684 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2.684 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 2.684 * [taylor]: Taking taylor expansion of 1/3 in x 2.684 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 2.684 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.684 * [taylor]: Taking taylor expansion of -1 in x 2.684 * [taylor]: Taking taylor expansion of x in x 2.685 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 2.685 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 2.685 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 2.685 * [taylor]: Taking taylor expansion of 1/60 in x 2.685 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 2.685 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.685 * [taylor]: Taking taylor expansion of -1 in x 2.685 * [taylor]: Taking taylor expansion of x in x 2.685 * [taylor]: Taking taylor expansion of (/ -2 x) in x 2.685 * [taylor]: Taking taylor expansion of -2 in x 2.685 * [taylor]: Taking taylor expansion of x in x 2.688 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1/3) in x 2.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))))) in x 2.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))))) in x 2.688 * [taylor]: Taking taylor expansion of 1/3 in x 2.688 * [taylor]: Taking taylor expansion of (log (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))) in x 2.688 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 2.689 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2.689 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 2.689 * [taylor]: Taking taylor expansion of 1/3 in x 2.689 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 2.689 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.689 * [taylor]: Taking taylor expansion of -1 in x 2.689 * [taylor]: Taking taylor expansion of x in x 2.689 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 2.689 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 2.689 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 2.689 * [taylor]: Taking taylor expansion of 1/60 in x 2.689 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 2.689 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.689 * [taylor]: Taking taylor expansion of -1 in x 2.689 * [taylor]: Taking taylor expansion of x in x 2.689 * [taylor]: Taking taylor expansion of (/ -2 x) in x 2.689 * [taylor]: Taking taylor expansion of -2 in x 2.689 * [taylor]: Taking taylor expansion of x in x 2.739 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 2.739 * [approximate]: Taking taylor expansion of (pow (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2) 1/3) in (x) around 0 2.739 * [taylor]: Taking taylor expansion of (pow (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2) 1/3) in x 2.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2)))) in x 2.739 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2))) in x 2.739 * [taylor]: Taking taylor expansion of 1/3 in x 2.739 * [taylor]: Taking taylor expansion of (log (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2)) in x 2.739 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2) in x 2.739 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 2.739 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 2.739 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 2.739 * [taylor]: Taking taylor expansion of 1/3 in x 2.739 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.739 * [taylor]: Taking taylor expansion of x in x 2.739 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 2.739 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 2.739 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 2.739 * [taylor]: Taking taylor expansion of 1/60 in x 2.739 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.739 * [taylor]: Taking taylor expansion of x in x 2.739 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.739 * [taylor]: Taking taylor expansion of 2 in x 2.739 * [taylor]: Taking taylor expansion of x in x 2.743 * [taylor]: Taking taylor expansion of (pow (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2) 1/3) in x 2.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2)))) in x 2.743 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2))) in x 2.743 * [taylor]: Taking taylor expansion of 1/3 in x 2.743 * [taylor]: Taking taylor expansion of (log (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2)) in x 2.743 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2) in x 2.743 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 2.743 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 2.743 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 2.743 * [taylor]: Taking taylor expansion of 1/3 in x 2.743 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.743 * [taylor]: Taking taylor expansion of x in x 2.743 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 2.743 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 2.743 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 2.743 * [taylor]: Taking taylor expansion of 1/60 in x 2.743 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.743 * [taylor]: Taking taylor expansion of x in x 2.743 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.743 * [taylor]: Taking taylor expansion of 2 in x 2.743 * [taylor]: Taking taylor expansion of x in x 2.787 * [approximate]: Taking taylor expansion of (pow (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2) 1/3) in (x) around 0 2.787 * [taylor]: Taking taylor expansion of (pow (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2) 1/3) in x 2.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2)))) in x 2.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2))) in x 2.787 * [taylor]: Taking taylor expansion of 1/3 in x 2.787 * [taylor]: Taking taylor expansion of (log (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2)) in x 2.787 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2) in x 2.787 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 2.787 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2.787 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 2.787 * [taylor]: Taking taylor expansion of 1/3 in x 2.787 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 2.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.787 * [taylor]: Taking taylor expansion of x in x 2.787 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 2.787 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 2.787 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 2.788 * [taylor]: Taking taylor expansion of 1/60 in x 2.788 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 2.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.788 * [taylor]: Taking taylor expansion of x in x 2.788 * [taylor]: Taking taylor expansion of (/ 2 x) in x 2.788 * [taylor]: Taking taylor expansion of 2 in x 2.788 * [taylor]: Taking taylor expansion of x in x 2.791 * [taylor]: Taking taylor expansion of (pow (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2) 1/3) in x 2.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2)))) in x 2.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2))) in x 2.791 * [taylor]: Taking taylor expansion of 1/3 in x 2.791 * [taylor]: Taking taylor expansion of (log (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2)) in x 2.791 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2) in x 2.791 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 2.791 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 2.791 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 2.791 * [taylor]: Taking taylor expansion of 1/3 in x 2.791 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 2.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.791 * [taylor]: Taking taylor expansion of x in x 2.792 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 2.792 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 2.792 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 2.792 * [taylor]: Taking taylor expansion of 1/60 in x 2.792 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 2.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.792 * [taylor]: Taking taylor expansion of x in x 2.792 * [taylor]: Taking taylor expansion of (/ 2 x) in x 2.792 * [taylor]: Taking taylor expansion of 2 in x 2.792 * [taylor]: Taking taylor expansion of x in x 2.838 * [approximate]: Taking taylor expansion of (pow (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2) 1/3) in (x) around 0 2.838 * [taylor]: Taking taylor expansion of (pow (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2) 1/3) in x 2.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2)))) in x 2.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2))) in x 2.838 * [taylor]: Taking taylor expansion of 1/3 in x 2.838 * [taylor]: Taking taylor expansion of (log (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2)) in x 2.838 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2) in x 2.838 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 2.838 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2.838 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 2.838 * [taylor]: Taking taylor expansion of 1/3 in x 2.838 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 2.839 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.839 * [taylor]: Taking taylor expansion of -1 in x 2.839 * [taylor]: Taking taylor expansion of x in x 2.839 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 2.839 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 2.839 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 2.839 * [taylor]: Taking taylor expansion of 1/60 in x 2.839 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 2.839 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.839 * [taylor]: Taking taylor expansion of -1 in x 2.839 * [taylor]: Taking taylor expansion of x in x 2.839 * [taylor]: Taking taylor expansion of (/ -2 x) in x 2.839 * [taylor]: Taking taylor expansion of -2 in x 2.839 * [taylor]: Taking taylor expansion of x in x 2.843 * [taylor]: Taking taylor expansion of (pow (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2) 1/3) in x 2.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2)))) in x 2.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2))) in x 2.843 * [taylor]: Taking taylor expansion of 1/3 in x 2.843 * [taylor]: Taking taylor expansion of (log (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2)) in x 2.843 * [taylor]: Taking taylor expansion of (pow (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2) in x 2.843 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 2.843 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 2.843 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 2.843 * [taylor]: Taking taylor expansion of 1/3 in x 2.843 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 2.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.843 * [taylor]: Taking taylor expansion of -1 in x 2.843 * [taylor]: Taking taylor expansion of x in x 2.843 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 2.844 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 2.844 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 2.844 * [taylor]: Taking taylor expansion of 1/60 in x 2.844 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 2.844 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.844 * [taylor]: Taking taylor expansion of -1 in x 2.844 * [taylor]: Taking taylor expansion of x in x 2.844 * [taylor]: Taking taylor expansion of (/ -2 x) in x 2.844 * [taylor]: Taking taylor expansion of -2 in x 2.844 * [taylor]: Taking taylor expansion of x in x 2.896 * * * [progress]: simplifying candidates 2.898 * [simplify]: Simplifying using # : (expm1 (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (log1p (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (log (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (exp (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt 1) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (expm1 (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (log1p (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (log (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (exp (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt 1) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (expm1 (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (log1p (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (log (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (exp (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt 1) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (expm1 (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (log1p (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (+ 1/3 1/3) (+ 1 1) (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (+ 1 1) (+ (log (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (log (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (log (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (exp (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (* (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (sqrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (sqrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))))) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt 1) (cbrt 1)) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))))) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* 1 1) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* 2 1/3) (* 2 1) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt 1)) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) 1) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (- (+ (exp (* 1/3 (+ (log x) (log 2)))) (* 1/18 (* (exp (* 1/3 (+ (log x) (log 2)))) (pow x 2)))) (* 1/3240 (* (exp (* 1/3 (+ (log x) (log 2)))) (pow x 4)))) (- (+ (* 20/3 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x)))))) (pow x 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x))))))) (* 40/9 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x)))))) (pow x 4)))) (- (+ (* 20/3 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x)))))) (pow x 2))) (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x))))))) (* 40/9 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x)))))) (pow x 4)))) (- (+ (exp (* 1/3 (+ (log x) (log 2)))) (* 1/18 (* (exp (* 1/3 (+ (log x) (log 2)))) (pow x 2)))) (* 1/3240 (* (exp (* 1/3 (+ (log x) (log 2)))) (pow x 4)))) (- (+ (* 20/3 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x)))))) (pow x 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x))))))) (* 40/9 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x)))))) (pow x 4)))) (- (+ (* 20/3 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x)))))) (pow x 2))) (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x))))))) (* 40/9 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x)))))) (pow x 4)))) (- (+ (exp (* 1/3 (+ (log x) (log 2)))) (* 1/18 (* (exp (* 1/3 (+ (log x) (log 2)))) (pow x 2)))) (* 1/3240 (* (exp (* 1/3 (+ (log x) (log 2)))) (pow x 4)))) (- (+ (* 20/3 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x)))))) (pow x 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x))))))) (* 40/9 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x)))))) (pow x 4)))) (- (+ (* 20/3 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x)))))) (pow x 2))) (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x))))))) (* 40/9 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x)))))) (pow x 4)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (+ (* 2 (log x)) (log 4)))))) (+ (exp (* 1/3 (+ (* 2 (log x)) (log 4)))) (* 1/405 (* (pow x 4) (exp (* 1/3 (+ (* 2 (log x)) (log 4)))))))) (+ (* 320/9 (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 x)))))) (pow x 4))) (+ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 x)))))) (* 40/3 (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 x)))))) (pow x 2))))) (+ (* 40/3 (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 x)))))) (pow x 2))) (+ (* 320/9 (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 x)))))) (pow x 4))) (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 x)))))))) 2.907 * * [simplify]: iteration 0 : 305 enodes (cost 1320 ) 2.912 * * [simplify]: iteration 1 : 979 enodes (cost 1215 ) 2.933 * * [simplify]: iteration 2 : 4393 enodes (cost 1065 ) 3.035 * * [simplify]: iteration 3 : 5001 enodes (cost 1027 ) 3.041 * [simplify]: Simplified to: (expm1 (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (log1p (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (log (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (exp (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 1 (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (expm1 (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (log1p (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (log (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (exp (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 1 (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (expm1 (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (log1p (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (log (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (exp (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 1 (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (expm1 (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (log1p (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) 2/3 2 (pow (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) 6) (pow (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 4) 2 (* 2 (log (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* 2 (log (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (pow (exp 1) (pow (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 4)) (pow (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) 6) (* (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (pow (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) 6) (fabs (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (fabs (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))))) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) 1 (pow (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 4) (pow (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 4) (* (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) 1 (pow (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 4) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (* (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) 2/3 2 (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (pow (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 4) (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (pow (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 3) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (pow (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 4) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))) (pow (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 4) (pow (cbrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 4) (pow (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 3) (pow (sqrt (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 4) (fma (pow 2 1/3) (pow x 1/3) (* (* (pow 2 1/3) (pow x 1/3)) (- (* (pow x 2) 1/18) (* (pow x 4) 1/3240)))) (fma (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x)))))) (pow x 2)) (- 20/3 (/ 40/9 (pow x 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x))))))) (fma (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x)))))) (pow x 2)) (- 20/3 (/ 40/9 (pow x 2))) (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x))))))) (fma (pow 2 1/3) (pow x 1/3) (* (* (pow 2 1/3) (pow x 1/3)) (- (* (pow x 2) 1/18) (* (pow x 4) 1/3240)))) (fma (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x)))))) (pow x 2)) (- 20/3 (/ 40/9 (pow x 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x))))))) (fma (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x)))))) (pow x 2)) (- 20/3 (/ 40/9 (pow x 2))) (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x))))))) (fma (pow 2 1/3) (pow x 1/3) (* (* (pow 2 1/3) (pow x 1/3)) (- (* (pow x 2) 1/18) (* (pow x 4) 1/3240)))) (fma (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x)))))) (pow x 2)) (- 20/3 (/ 40/9 (pow x 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 x))))))) (fma (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x)))))) (pow x 2)) (- 20/3 (/ 40/9 (pow x 2))) (exp (* 1/3 (- (log -1/60) (* 5 (log (/ -1 x))))))) (* (* (pow 4 1/3) (pow x 2/3)) (+ (* 1/9 (pow x 2)) (fma 1/405 (pow x 4) 1))) (fma (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 x)))))) (pow x 2)) (+ 40/3 (/ 320/9 (pow x 2))) (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 x))))))) (fma (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 x)))))) (pow x 2)) (+ 40/3 (/ 320/9 (pow x 2))) (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 x))))))) 3.042 * * * [progress]: adding candidates to table 3.527 * [progress]: [Phase 3 of 3] Extracting. 3.527 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 3.532 * * * [regime-changes]: Trying 2 branch expressions: (y x) 3.532 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 3.575 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 3.619 * * * [regime]: Found split indices: #