6.964 * [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.005 * * * * [points]: Setting MPFR precision to 64 0.006 * * * * [points]: Setting MPFR precision to 320 0.007 * * * * [points]: Setting MPFR precision to 576 0.007 * * * * [points]: Setting MPFR precision to 832 0.008 * * * * [points]: Setting MPFR precision to 1088 0.010 * * * * [points]: Setting MPFR precision to 1344 0.012 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.017 * * * * [points]: Setting MPFR precision to 1088 0.020 * * * * [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.032 * * * * [points]: Setting MPFR precision to 1344 0.039 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.043 * * * * [points]: Setting MPFR precision to 1088 0.053 * * * * [points]: Setting MPFR precision to 1344 0.064 * * * * [points]: Computing exacts for 256 points 0.072 * * * * [points]: Setting MPFR precision to 1088 0.099 * * * * [points]: Setting MPFR precision to 1344 0.135 * * * * [points]: Filtering points with unrepresentable outputs 0.135 * * * * [points]: Sampling 119 additional inputs, on iter 1 have 137 / 256 0.136 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision 0.141 * * * * [points]: Setting MPFR precision to 1088 0.142 * * * * [points]: Setting MPFR precision to 1344 0.144 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision 0.149 * * * * [points]: Setting MPFR precision to 1088 0.152 * * * * [points]: Setting MPFR precision to 1344 0.156 * * * * [points]: Computing exacts for 119 points 0.161 * * * * [points]: Setting MPFR precision to 1088 0.173 * * * * [points]: Setting MPFR precision to 1344 0.189 * * * * [points]: Filtering points with unrepresentable outputs 0.189 * * * * [points]: Sampling 61 additional inputs, on iter 2 have 195 / 256 0.190 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision 0.196 * * * * [points]: Setting MPFR precision to 1088 0.199 * * * * [points]: Setting MPFR precision to 1344 0.201 * * * * [points]: Computing exacts for 61 points 0.205 * * * * [points]: Setting MPFR precision to 1088 0.212 * * * * [points]: Setting MPFR precision to 1344 0.221 * * * * [points]: Filtering points with unrepresentable outputs 0.221 * * * * [points]: Sampling 30 additional inputs, on iter 3 have 226 / 256 0.221 * * * * [points]: Computing exacts for 30 points 0.226 * * * * [points]: Setting MPFR precision to 1088 0.229 * * * * [points]: Setting MPFR precision to 1344 0.233 * * * * [points]: Filtering points with unrepresentable outputs 0.233 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256 0.233 * * * * [points]: Computing exacts for 15 points 0.237 * * * * [points]: Setting MPFR precision to 1088 0.239 * * * * [points]: Setting MPFR precision to 1344 0.241 * * * * [points]: Filtering points with unrepresentable outputs 0.241 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256 0.242 * * * * [points]: Computing exacts for 7 points 0.246 * * * * [points]: Setting MPFR precision to 1088 0.247 * * * * [points]: Setting MPFR precision to 1344 0.248 * * * * [points]: Filtering points with unrepresentable outputs 0.248 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256 0.248 * * * * [points]: Computing exacts for 4 points 0.252 * * * * [points]: Setting MPFR precision to 1088 0.253 * * * * [points]: Setting MPFR precision to 1344 0.254 * * * * [points]: Filtering points with unrepresentable outputs 0.254 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 0.254 * * * * [points]: Computing exacts for 4 points 0.260 * * * * [points]: Setting MPFR precision to 1088 0.261 * * * * [points]: Setting MPFR precision to 1344 0.261 * * * * [points]: Filtering points with unrepresentable outputs 0.261 * * * * [points]: Sampled 257 points with exact outputs 0.261 * * * [progress]: [2/2] Setting up program. 0.265 * [progress]: [Phase 2 of 3] Improving. 0.265 * [simplify]: Simplifying using # : (im (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) 0.267 * * [simplify]: iteration 0 : 30 enodes (cost 7 ) 0.269 * * [simplify]: iteration 1 : 47 enodes (cost 7 ) 0.270 * * [simplify]: iteration 2 : 84 enodes (cost 7 ) 0.272 * * [simplify]: iteration 3 : 121 enodes (cost 7 ) 0.274 * * [simplify]: iteration 4 : 206 enodes (cost 7 ) 0.277 * * [simplify]: iteration 5 : 410 enodes (cost 7 ) 0.283 * * [simplify]: iteration 6 : 1017 enodes (cost 7 ) 0.294 * * [simplify]: iteration 7 : 2074 enodes (cost 7 ) 0.323 * * [simplify]: iteration 8 : 5001 enodes (cost 7 ) 0.323 * [simplify]: Simplified to: (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)) 0.327 * * [progress]: iteration 1 / 4 0.327 * * * [progress]: picking best candidate 0.329 * * * * [pick]: Picked # 0.329 * * * [progress]: localizing error 0.366 * * * [progress]: generating rewritten candidates 0.366 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.371 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.383 * * * [progress]: generating series expansions 0.383 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.383 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 0.383 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.383 * [taylor]: Taking taylor expansion of (exp x) in x 0.383 * [taylor]: Taking taylor expansion of x in x 0.383 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.383 * [taylor]: Taking taylor expansion of (- x) in x 0.383 * [taylor]: Taking taylor expansion of x in x 0.384 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.384 * [taylor]: Taking taylor expansion of (exp x) in x 0.384 * [taylor]: Taking taylor expansion of x in x 0.384 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.384 * [taylor]: Taking taylor expansion of (- x) in x 0.384 * [taylor]: Taking taylor expansion of x in x 0.409 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 0.409 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.409 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.409 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.410 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.410 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.410 * [taylor]: Taking taylor expansion of x in x 0.410 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.410 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.410 * [taylor]: Taking taylor expansion of x in x 0.418 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 0.418 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.418 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.418 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.418 * [taylor]: Taking taylor expansion of -1 in x 0.418 * [taylor]: Taking taylor expansion of x in x 0.419 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.419 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.419 * [taylor]: Taking taylor expansion of x in x 0.419 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.419 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.419 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.419 * [taylor]: Taking taylor expansion of -1 in x 0.419 * [taylor]: Taking taylor expansion of x in x 0.420 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.420 * [taylor]: Taking taylor expansion of x in x 0.423 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.423 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in (x y) around 0 0.423 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in y 0.423 * [taylor]: Taking taylor expansion of 0.5 in y 0.423 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in y 0.423 * [taylor]: Taking taylor expansion of (sin y) in y 0.423 * [taylor]: Taking taylor expansion of y in y 0.423 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in y 0.423 * [taylor]: Taking taylor expansion of (exp x) in y 0.423 * [taylor]: Taking taylor expansion of x in y 0.423 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.423 * [taylor]: Taking taylor expansion of (- x) in y 0.423 * [taylor]: Taking taylor expansion of x in y 0.423 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x 0.423 * [taylor]: Taking taylor expansion of 0.5 in x 0.423 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x 0.423 * [taylor]: Taking taylor expansion of (sin y) in x 0.423 * [taylor]: Taking taylor expansion of y in x 0.424 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.424 * [taylor]: Taking taylor expansion of (exp x) in x 0.424 * [taylor]: Taking taylor expansion of x in x 0.424 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.424 * [taylor]: Taking taylor expansion of (- x) in x 0.424 * [taylor]: Taking taylor expansion of x in x 0.424 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin y) (- (exp x) (exp (- x))))) in x 0.424 * [taylor]: Taking taylor expansion of 0.5 in x 0.424 * [taylor]: Taking taylor expansion of (* (sin y) (- (exp x) (exp (- x)))) in x 0.424 * [taylor]: Taking taylor expansion of (sin y) in x 0.424 * [taylor]: Taking taylor expansion of y in x 0.424 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.424 * [taylor]: Taking taylor expansion of (exp x) in x 0.424 * [taylor]: Taking taylor expansion of x in x 0.424 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.424 * [taylor]: Taking taylor expansion of (- x) in x 0.424 * [taylor]: Taking taylor expansion of x in x 0.426 * [taylor]: Taking taylor expansion of 0 in y 0.431 * [taylor]: Taking taylor expansion of (* 1.0 (sin y)) in y 0.431 * [taylor]: Taking taylor expansion of 1.0 in y 0.431 * [taylor]: Taking taylor expansion of (sin y) in y 0.431 * [taylor]: Taking taylor expansion of y in y 0.437 * [taylor]: Taking taylor expansion of 0 in y 0.445 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin y)) in y 0.445 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 0.445 * [taylor]: Taking taylor expansion of (sin y) in y 0.445 * [taylor]: Taking taylor expansion of y in y 0.457 * [taylor]: Taking taylor expansion of 0 in y 0.457 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0 0.457 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.457 * [taylor]: Taking taylor expansion of 0.5 in y 0.458 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.458 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.458 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.458 * [taylor]: Taking taylor expansion of y in y 0.458 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.458 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.458 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.458 * [taylor]: Taking taylor expansion of x in y 0.458 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.458 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.458 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.458 * [taylor]: Taking taylor expansion of x in y 0.458 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 0.458 * [taylor]: Taking taylor expansion of 0.5 in x 0.458 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.458 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.458 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.458 * [taylor]: Taking taylor expansion of y 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.459 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 0.459 * [taylor]: Taking taylor expansion of 0.5 in x 0.459 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.459 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.459 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.459 * [taylor]: Taking taylor expansion of y in x 0.460 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.460 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.460 * [taylor]: Taking taylor expansion of x in x 0.460 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.460 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.460 * [taylor]: Taking taylor expansion of x in x 0.461 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.461 * [taylor]: Taking taylor expansion of 0.5 in y 0.461 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.461 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.461 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.461 * [taylor]: Taking taylor expansion of y in y 0.461 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.461 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.461 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.461 * [taylor]: Taking taylor expansion of x in y 0.461 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.461 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.461 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.461 * [taylor]: Taking taylor expansion of x in y 0.465 * [taylor]: Taking taylor expansion of 0 in y 0.470 * [taylor]: Taking taylor expansion of 0 in y 0.479 * [taylor]: Taking taylor expansion of 0 in y 0.479 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in (x y) around 0 0.479 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y 0.479 * [taylor]: Taking taylor expansion of 0.5 in y 0.479 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y 0.479 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.479 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.479 * [taylor]: Taking taylor expansion of -1 in y 0.479 * [taylor]: Taking taylor expansion of y in y 0.479 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y 0.479 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.479 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.479 * [taylor]: Taking taylor expansion of -1 in y 0.479 * [taylor]: Taking taylor expansion of x in y 0.480 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.480 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.480 * [taylor]: Taking taylor expansion of x in y 0.480 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x 0.480 * [taylor]: Taking taylor expansion of 0.5 in x 0.480 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 0.480 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.480 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.480 * [taylor]: Taking taylor expansion of -1 in x 0.480 * [taylor]: Taking taylor expansion of y in x 0.480 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.480 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.480 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.480 * [taylor]: Taking taylor expansion of -1 in x 0.480 * [taylor]: Taking taylor expansion of x in x 0.480 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.480 * [taylor]: Taking taylor expansion of x in x 0.481 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in x 0.481 * [taylor]: Taking taylor expansion of 0.5 in x 0.481 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in x 0.481 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.481 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.481 * [taylor]: Taking taylor expansion of -1 in x 0.481 * [taylor]: Taking taylor expansion of y in x 0.481 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.481 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.481 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.481 * [taylor]: Taking taylor expansion of -1 in x 0.481 * [taylor]: Taking taylor expansion of x in x 0.481 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.481 * [taylor]: Taking taylor expansion of x in x 0.482 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x))))) in y 0.482 * [taylor]: Taking taylor expansion of 0.5 in y 0.482 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (- (exp (/ -1 x)) (exp (/ 1 x)))) in y 0.482 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.482 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.482 * [taylor]: Taking taylor expansion of -1 in y 0.482 * [taylor]: Taking taylor expansion of y in y 0.482 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y 0.482 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.482 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.482 * [taylor]: Taking taylor expansion of -1 in y 0.482 * [taylor]: Taking taylor expansion of x in y 0.482 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.483 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.483 * [taylor]: Taking taylor expansion of x in y 0.486 * [taylor]: Taking taylor expansion of 0 in y 0.491 * [taylor]: Taking taylor expansion of 0 in y 0.499 * [taylor]: Taking taylor expansion of 0 in y 0.499 * * * [progress]: simplifying candidates 0.505 * [simplify]: Simplifying using # : (/ (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))) (* (/ (- (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.509 * * [simplify]: iteration 0 : 293 enodes (cost 506 ) 0.514 * * [simplify]: iteration 1 : 893 enodes (cost 449 ) 0.530 * * [simplify]: iteration 2 : 3855 enodes (cost 448 ) 0.606 * * [simplify]: iteration 3 : 5001 enodes (cost 448 ) 0.608 * [simplify]: Simplified to: (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 (* -1 x))) (+ (exp (+ x x)) (- (exp (+ (- x) (- x))))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (* -1 x))) (- (exp (* -1 x))) (* (/ (- (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)) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (* -1 x))) (- (exp x) (exp (* -1 x))) (* 1.0 (* x y)) (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y))) (* 0.5 (* (- (exp x) (exp (* -1 x))) (sin y))) 0.608 * * * [progress]: adding candidates to table 0.747 * * [progress]: iteration 2 / 4 0.747 * * * [progress]: picking best candidate 0.759 * * * * [pick]: Picked # 0.759 * * * [progress]: localizing error 0.785 * * * [progress]: generating rewritten candidates 0.785 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 0.791 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.802 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 0.808 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.819 * * * [progress]: generating series expansions 0.819 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 0.819 * [approximate]: Taking taylor expansion of (* 1/3 (pow x 3)) in (x) around 0 0.819 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.819 * [taylor]: Taking taylor expansion of 1/3 in x 0.819 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.819 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.819 * [taylor]: Taking taylor expansion of 1/3 in x 0.819 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.836 * [approximate]: Taking taylor expansion of (/ 1/3 (pow x 3)) in (x) around 0 0.836 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 0.836 * [taylor]: Taking taylor expansion of 1/3 in x 0.836 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.836 * [taylor]: Taking taylor expansion of x in x 0.837 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 0.837 * [taylor]: Taking taylor expansion of 1/3 in x 0.837 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.837 * [taylor]: Taking taylor expansion of x in x 0.848 * [approximate]: Taking taylor expansion of (/ -1/3 (pow x 3)) in (x) around 0 0.848 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 0.848 * [taylor]: Taking taylor expansion of -1/3 in x 0.848 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.848 * [taylor]: Taking taylor expansion of x in x 0.849 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 0.849 * [taylor]: Taking taylor expansion of -1/3 in x 0.849 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.860 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.860 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y))) in (x y) around 0 0.860 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y))) in y 0.860 * [taylor]: Taking taylor expansion of 0.5 in y 0.860 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y)) in y 0.860 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in y 0.860 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in y 0.860 * [taylor]: Taking taylor expansion of 1/3 in y 0.860 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.860 * [taylor]: Taking taylor expansion of x in y 0.861 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow x 5)) (* 2 x)) in y 0.861 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in y 0.861 * [taylor]: Taking taylor expansion of 1/60 in y 0.861 * [taylor]: Taking taylor expansion of (pow x 5) in y 0.861 * [taylor]: Taking taylor expansion of x in y 0.861 * [taylor]: Taking taylor expansion of (* 2 x) in y 0.861 * [taylor]: Taking taylor expansion of 2 in y 0.861 * [taylor]: Taking taylor expansion of x in y 0.861 * [taylor]: Taking taylor expansion of (sin y) in y 0.861 * [taylor]: Taking taylor expansion of y in y 0.861 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y))) in x 0.861 * [taylor]: Taking taylor expansion of 0.5 in x 0.861 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y)) in x 0.861 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in x 0.861 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.861 * [taylor]: Taking taylor expansion of 1/3 in x 0.861 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.861 * [taylor]: Taking taylor expansion of x in x 0.861 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow x 5)) (* 2 x)) in x 0.861 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 0.861 * [taylor]: Taking taylor expansion of 1/60 in x 0.861 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.861 * [taylor]: Taking taylor expansion of x in x 0.861 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.861 * [taylor]: Taking taylor expansion of 2 in x 0.861 * [taylor]: Taking taylor expansion of x in x 0.861 * [taylor]: Taking taylor expansion of (sin y) in x 0.861 * [taylor]: Taking taylor expansion of y in x 0.861 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y))) in x 0.861 * [taylor]: Taking taylor expansion of 0.5 in x 0.861 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y)) in x 0.861 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in x 0.861 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.861 * [taylor]: Taking taylor expansion of 1/3 in x 0.861 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.861 * [taylor]: Taking taylor expansion of x in x 0.861 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow x 5)) (* 2 x)) in x 0.861 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 0.861 * [taylor]: Taking taylor expansion of 1/60 in x 0.861 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.861 * [taylor]: Taking taylor expansion of x in x 0.861 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.861 * [taylor]: Taking taylor expansion of 2 in x 0.861 * [taylor]: Taking taylor expansion of x in x 0.861 * [taylor]: Taking taylor expansion of (sin y) in x 0.861 * [taylor]: Taking taylor expansion of y in x 0.863 * [taylor]: Taking taylor expansion of 0 in y 0.865 * [taylor]: Taking taylor expansion of (* 1.0 (sin y)) in y 0.866 * [taylor]: Taking taylor expansion of 1.0 in y 0.866 * [taylor]: Taking taylor expansion of (sin y) in y 0.866 * [taylor]: Taking taylor expansion of y in y 0.870 * [taylor]: Taking taylor expansion of 0 in y 0.877 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin y)) in y 0.877 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 0.877 * [taylor]: Taking taylor expansion of (sin y) in y 0.877 * [taylor]: Taking taylor expansion of y in y 0.885 * [taylor]: Taking taylor expansion of 0 in y 0.885 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y)))) in (x y) around 0 0.886 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y)))) in y 0.886 * [taylor]: Taking taylor expansion of 0.5 in y 0.886 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y))) in y 0.886 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in y 0.886 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y 0.886 * [taylor]: Taking taylor expansion of 2 in y 0.886 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.886 * [taylor]: Taking taylor expansion of x in y 0.886 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in y 0.886 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in y 0.886 * [taylor]: Taking taylor expansion of 1/60 in y 0.886 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in y 0.886 * [taylor]: Taking taylor expansion of (pow x 5) in y 0.886 * [taylor]: Taking taylor expansion of x in y 0.886 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in y 0.886 * [taylor]: Taking taylor expansion of 1/3 in y 0.886 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 0.886 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.886 * [taylor]: Taking taylor expansion of x in y 0.886 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.886 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.886 * [taylor]: Taking taylor expansion of y in y 0.887 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y)))) in x 0.887 * [taylor]: Taking taylor expansion of 0.5 in x 0.887 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y))) in x 0.887 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 0.887 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.887 * [taylor]: Taking taylor expansion of 2 in x 0.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.887 * [taylor]: Taking taylor expansion of x in x 0.887 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 0.887 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 0.887 * [taylor]: Taking taylor expansion of 1/60 in x 0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.887 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.887 * [taylor]: Taking taylor expansion of x in x 0.888 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.888 * [taylor]: Taking taylor expansion of 1/3 in x 0.888 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.888 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.888 * [taylor]: Taking taylor expansion of x in x 0.889 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.889 * [taylor]: Taking taylor expansion of y in x 0.889 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y)))) in x 0.889 * [taylor]: Taking taylor expansion of 0.5 in x 0.889 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y))) in x 0.889 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 0.889 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.889 * [taylor]: Taking taylor expansion of 2 in x 0.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.889 * [taylor]: Taking taylor expansion of x in x 0.889 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 0.889 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 0.889 * [taylor]: Taking taylor expansion of 1/60 in x 0.889 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.889 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.889 * [taylor]: Taking taylor expansion of x in x 0.890 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.890 * [taylor]: Taking taylor expansion of 1/3 in x 0.890 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.890 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.890 * [taylor]: Taking taylor expansion of x in x 0.891 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.891 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.891 * [taylor]: Taking taylor expansion of y in x 0.892 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (sin (/ 1 y))) in y 0.892 * [taylor]: Taking taylor expansion of 0.008333333333333333 in y 0.892 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.892 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.892 * [taylor]: Taking taylor expansion of y in y 0.897 * [taylor]: Taking taylor expansion of 0 in y 0.909 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ 1 y))) in y 0.910 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 0.910 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.910 * [taylor]: Taking taylor expansion of y in y 0.919 * [taylor]: Taking taylor expansion of 0 in y 0.921 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y)))) in (x y) around 0 0.921 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y)))) in y 0.921 * [taylor]: Taking taylor expansion of -0.5 in y 0.921 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y))) in y 0.921 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in y 0.921 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y 0.921 * [taylor]: Taking taylor expansion of 2 in y 0.921 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.921 * [taylor]: Taking taylor expansion of x in y 0.921 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in y 0.921 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in y 0.921 * [taylor]: Taking taylor expansion of 1/60 in y 0.921 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in y 0.921 * [taylor]: Taking taylor expansion of (pow x 5) in y 0.921 * [taylor]: Taking taylor expansion of x in y 0.921 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in y 0.921 * [taylor]: Taking taylor expansion of 1/3 in y 0.921 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 0.921 * [taylor]: Taking taylor expansion of (pow x 3) in y 0.921 * [taylor]: Taking taylor expansion of x in y 0.922 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.922 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.922 * [taylor]: Taking taylor expansion of -1 in y 0.922 * [taylor]: Taking taylor expansion of y in y 0.922 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y)))) in x 0.922 * [taylor]: Taking taylor expansion of -0.5 in x 0.922 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y))) in x 0.922 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 0.922 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.922 * [taylor]: Taking taylor expansion of 2 in x 0.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.922 * [taylor]: Taking taylor expansion of x in x 0.922 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 0.922 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 0.922 * [taylor]: Taking taylor expansion of 1/60 in x 0.922 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.922 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.922 * [taylor]: Taking taylor expansion of x in x 0.923 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.923 * [taylor]: Taking taylor expansion of 1/3 in x 0.923 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.923 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.923 * [taylor]: Taking taylor expansion of x in x 0.924 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.924 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.924 * [taylor]: Taking taylor expansion of -1 in x 0.924 * [taylor]: Taking taylor expansion of y in x 0.924 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y)))) in x 0.924 * [taylor]: Taking taylor expansion of -0.5 in x 0.924 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y))) in x 0.924 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 0.924 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.924 * [taylor]: Taking taylor expansion of 2 in x 0.924 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.924 * [taylor]: Taking taylor expansion of x in x 0.925 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 0.925 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 0.925 * [taylor]: Taking taylor expansion of 1/60 in x 0.925 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.925 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.925 * [taylor]: Taking taylor expansion of x in x 0.926 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.926 * [taylor]: Taking taylor expansion of 1/3 in x 0.926 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.926 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.926 * [taylor]: Taking taylor expansion of x in x 0.926 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.927 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.927 * [taylor]: Taking taylor expansion of -1 in x 0.927 * [taylor]: Taking taylor expansion of y in x 0.928 * [taylor]: Taking taylor expansion of (* -0.008333333333333333 (sin (/ -1 y))) in y 0.928 * [taylor]: Taking taylor expansion of -0.008333333333333333 in y 0.928 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.928 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.928 * [taylor]: Taking taylor expansion of -1 in y 0.928 * [taylor]: Taking taylor expansion of y in y 0.933 * [taylor]: Taking taylor expansion of 0 in y 0.939 * [taylor]: Taking taylor expansion of (- (* 0.16666666666666666 (sin (/ -1 y)))) in y 0.939 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ -1 y))) in y 0.939 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 0.939 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.939 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.939 * [taylor]: Taking taylor expansion of -1 in y 0.939 * [taylor]: Taking taylor expansion of y in y 0.950 * [taylor]: Taking taylor expansion of 0 in y 0.951 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 0.952 * [approximate]: Taking taylor expansion of (* 1/60 (pow x 5)) in (x) around 0 0.952 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 0.952 * [taylor]: Taking taylor expansion of 1/60 in x 0.952 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.952 * [taylor]: Taking taylor expansion of x in x 0.952 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 0.952 * [taylor]: Taking taylor expansion of 1/60 in x 0.952 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.952 * [taylor]: Taking taylor expansion of x in x 0.967 * [approximate]: Taking taylor expansion of (/ 1/60 (pow x 5)) in (x) around 0 0.967 * [taylor]: Taking taylor expansion of (/ 1/60 (pow x 5)) in x 0.967 * [taylor]: Taking taylor expansion of 1/60 in x 0.967 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.967 * [taylor]: Taking taylor expansion of x in x 0.968 * [taylor]: Taking taylor expansion of (/ 1/60 (pow x 5)) in x 0.968 * [taylor]: Taking taylor expansion of 1/60 in x 0.968 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.968 * [taylor]: Taking taylor expansion of x in x 0.983 * [approximate]: Taking taylor expansion of (/ -1/60 (pow x 5)) in (x) around 0 0.983 * [taylor]: Taking taylor expansion of (/ -1/60 (pow x 5)) in x 0.983 * [taylor]: Taking taylor expansion of -1/60 in x 0.983 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.983 * [taylor]: Taking taylor expansion of x in x 0.984 * [taylor]: Taking taylor expansion of (/ -1/60 (pow x 5)) in x 0.984 * [taylor]: Taking taylor expansion of -1/60 in x 0.984 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.984 * [taylor]: Taking taylor expansion of x in x 1.005 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.005 * [approximate]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in (x) around 0 1.005 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in x 1.005 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.005 * [taylor]: Taking taylor expansion of 1/3 in x 1.005 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.005 * [taylor]: Taking taylor expansion of x in x 1.005 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow x 5)) (* 2 x)) in x 1.005 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.005 * [taylor]: Taking taylor expansion of 1/60 in x 1.005 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.005 * [taylor]: Taking taylor expansion of x in x 1.005 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.005 * [taylor]: Taking taylor expansion of 2 in x 1.006 * [taylor]: Taking taylor expansion of x in x 1.006 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in x 1.006 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.006 * [taylor]: Taking taylor expansion of 1/3 in x 1.006 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.006 * [taylor]: Taking taylor expansion of x in x 1.006 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow x 5)) (* 2 x)) in x 1.006 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.006 * [taylor]: Taking taylor expansion of 1/60 in x 1.006 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.006 * [taylor]: Taking taylor expansion of x in x 1.006 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.006 * [taylor]: Taking taylor expansion of 2 in x 1.006 * [taylor]: Taking taylor expansion of x in x 1.016 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in (x) around 0 1.016 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 1.016 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.016 * [taylor]: Taking taylor expansion of 2 in x 1.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.016 * [taylor]: Taking taylor expansion of x in x 1.017 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.017 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.017 * [taylor]: Taking taylor expansion of 1/60 in x 1.017 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.017 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.017 * [taylor]: Taking taylor expansion of x in x 1.018 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.018 * [taylor]: Taking taylor expansion of 1/3 in x 1.018 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.018 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.018 * [taylor]: Taking taylor expansion of x in x 1.019 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 1.019 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.019 * [taylor]: Taking taylor expansion of 2 in x 1.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.019 * [taylor]: Taking taylor expansion of x in x 1.019 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.019 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.019 * [taylor]: Taking taylor expansion of 1/60 in x 1.019 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.019 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.019 * [taylor]: Taking taylor expansion of x in x 1.020 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.020 * [taylor]: Taking taylor expansion of 1/3 in x 1.020 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.020 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.020 * [taylor]: Taking taylor expansion of x in x 1.038 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))))) in (x) around 0 1.038 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))))) in x 1.038 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 1.038 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.038 * [taylor]: Taking taylor expansion of 2 in x 1.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.038 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.038 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.038 * [taylor]: Taking taylor expansion of 1/60 in x 1.038 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.038 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.039 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.039 * [taylor]: Taking taylor expansion of 1/3 in x 1.039 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.039 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.039 * [taylor]: Taking taylor expansion of x in x 1.040 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))))) in x 1.040 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 1.040 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.040 * [taylor]: Taking taylor expansion of 2 in x 1.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.040 * [taylor]: Taking taylor expansion of x in x 1.040 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.040 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.040 * [taylor]: Taking taylor expansion of 1/60 in x 1.040 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.040 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.040 * [taylor]: Taking taylor expansion of x in x 1.041 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.041 * [taylor]: Taking taylor expansion of 1/3 in x 1.041 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.041 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.041 * [taylor]: Taking taylor expansion of x in x 1.060 * * * [progress]: simplifying candidates 1.062 * [simplify]: Simplifying using # : (+ (log 1/3) (* (log x) 3)) (+ (log 1/3) (* (log x) 3)) (+ (log 1/3) (log (pow x 3))) (log (* 1/3 (pow x 3))) (exp (* 1/3 (pow x 3))) (* (* (* 1/3 1/3) 1/3) (* (* (pow x 3) (pow x 3)) (pow x 3))) (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3)))) (cbrt (* 1/3 (pow x 3))) (* (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (pow x (/ 3 2))) (* (sqrt 1/3) (pow x (/ 3 2))) (* 1/3 (pow (* (cbrt x) (cbrt x)) 3)) (* 1/3 (pow (sqrt x) 3)) (* 1/3 (pow 1 3)) (* 1/3 (* x x)) (* 1/3 (* (cbrt (pow x 3)) (cbrt (pow x 3)))) (* 1/3 (pow (* (cbrt x) (cbrt x)) 3)) (* 1/3 (pow (sqrt x) 3)) (* 1/3 (pow 1 3)) (* 1/3 x) (* 1/3 (sqrt (pow x 3))) (* 1/3 1) (* 1/3 (pow x (/ 3 2))) (* (cbrt 1/3) (pow x 3)) (* (sqrt 1/3) (pow x 3)) (* 1/3 (pow x 3)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y)) (+ (- (log (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (log 2.0)) (log (sin y))) (+ (log (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)) (log (sin y))) (log (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (exp (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (* (/ (* (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (* (* 2.0 2.0) 2.0)) (* (* (sin y) (sin y)) (sin y))) (* (* (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)) (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (cbrt (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y)))) (cbrt (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (* (* (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (sqrt (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (sqrt (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (* (sqrt (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)) (sqrt (sin y))) (* (sqrt (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)) (sqrt (sin y))) (* (/ (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sqrt (sin y))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) 1) (* (cbrt (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)) (sin y)) (* (sqrt (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)) (sin y)) (* (/ (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (cbrt 2.0)) (sin y)) (* (/ (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt 2.0)) (sin y)) (* (/ (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) 2.0) (sin y)) (* (/ (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (cbrt 2.0)) (sin y)) (* (/ (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt 2.0)) (sin y)) (* (/ (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) 2.0) (sin y)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (cbrt 2.0)) (sin y)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y)) (* (/ 1 2.0) (sin y)) (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y)) (+ (log 1/60) (* (log x) 5)) (+ (log 1/60) (* (log x) 5)) (+ (log 1/60) (log (pow x 5))) (log (* 1/60 (pow x 5))) (exp (* 1/60 (pow x 5))) (* (* (* 1/60 1/60) 1/60) (* (* (pow x 5) (pow x 5)) (pow x 5))) (* (cbrt (* 1/60 (pow x 5))) (cbrt (* 1/60 (pow x 5)))) (cbrt (* 1/60 (pow x 5))) (* (* (* 1/60 (pow x 5)) (* 1/60 (pow x 5))) (* 1/60 (pow x 5))) (sqrt (* 1/60 (pow x 5))) (sqrt (* 1/60 (pow x 5))) (* (sqrt 1/60) (pow (sqrt x) 5)) (* (sqrt 1/60) (pow (sqrt x) 5)) (* (sqrt 1/60) (sqrt (pow x 5))) (* (sqrt 1/60) (sqrt (pow x 5))) (* (sqrt 1/60) (pow x (/ 5 2))) (* (sqrt 1/60) (pow x (/ 5 2))) (* 1/60 (pow (* (cbrt x) (cbrt x)) 5)) (* 1/60 (pow (sqrt x) 5)) (* 1/60 (pow 1 5)) (* 1/60 (* (cbrt (pow x 5)) (cbrt (pow x 5)))) (* 1/60 (sqrt (pow x 5))) (* 1/60 1) (* 1/60 (pow x (/ 5 2))) (* (cbrt 1/60) (pow x 5)) (* (sqrt 1/60) (pow x 5)) (* 1/60 (pow x 5)) (* (exp (* 1/3 (pow x 3))) (* (exp (* 1/60 (pow x 5))) (exp (* 2 x)))) (* (exp (* 1/3 (pow x 3))) (exp (+ (* 1/60 (pow x 5)) (* 2 x)))) (log (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (exp (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (* (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))))) (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (* (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (+ (pow (* 1/3 (pow x 3)) 3) (pow (+ (* 1/60 (pow x 5)) (* 2 x)) 3)) (+ (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (- (* (+ (* 1/60 (pow x 5)) (* 2 x)) (+ (* 1/60 (pow x 5)) (* 2 x))) (* (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))))) (- (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* (+ (* 1/60 (pow x 5)) (* 2 x)) (+ (* 1/60 (pow x 5)) (* 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/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 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)))) (* 1/60 (pow x 5)) (* 1/60 (pow x 5)) (* 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.069 * * [simplify]: iteration 0 : 465 enodes (cost 830 ) 1.078 * * [simplify]: iteration 1 : 1991 enodes (cost 734 ) 1.116 * * [simplify]: iteration 2 : 5002 enodes (cost 734 ) 1.126 * [simplify]: Simplified to: (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (exp (* 1/3 (pow x 3))) (pow (* 1/3 (pow x 3)) 3) (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3)))) (cbrt (* 1/3 (pow x 3))) (pow (* 1/3 (pow x 3)) 3) (sqrt (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (pow x 3/2)) (* (sqrt 1/3) (pow x 3/2)) (* (* 1/3 x) x) (* 1/3 (pow (sqrt x) 3)) 1/3 (* (* 1/3 x) x) (* (* 1/3 x) x) (* (* 1/3 x) x) (* 1/3 (pow (sqrt x) 3)) 1/3 (* 1/3 x) (* 1/3 (sqrt (pow x 3))) 1/3 (* 1/3 (pow x 3/2)) (* (cbrt 1/3) (pow x 3)) (* (sqrt 1/3) (pow x 3)) (* 1/3 (pow x 3)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y)) (log (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (log (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (log (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (exp (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (pow (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y)) 3) (pow (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y)) 3) (* (cbrt (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (cbrt (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y)))) (cbrt (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (pow (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y)) 3) (sqrt (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (sqrt (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y))) (* (sqrt (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)) (sqrt (sin y))) (* (sqrt (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)) (sqrt (sin y))) (* (/ (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sqrt (sin y))) (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (* (cbrt (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)) (sin y)) (* (sqrt (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0)) (sin y)) (* (/ (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (cbrt 2.0)) (sin y)) (* (/ (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt 2.0)) (sin y)) (* (/ (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) 2.0) (sin y)) (* (/ (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (cbrt 2.0)) (sin y)) (* (/ (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt 2.0)) (sin y)) (* (/ (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) 2.0) (sin y)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (cbrt 2.0)) (sin y)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y)) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.0) (sin y)) (* (/ 1 2.0) (sin y)) (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y)) (log (* 1/60 (pow x 5))) (log (* 1/60 (pow x 5))) (log (* 1/60 (pow x 5))) (log (* 1/60 (pow x 5))) (exp (* 1/60 (pow x 5))) (pow (* 1/60 (pow x 5)) 3) (* (cbrt (* 1/60 (pow x 5))) (cbrt (* 1/60 (pow x 5)))) (cbrt (* 1/60 (pow x 5))) (pow (* 1/60 (pow x 5)) 3) (sqrt (* 1/60 (pow x 5))) (sqrt (* 1/60 (pow x 5))) (* (sqrt 1/60) (pow (sqrt x) 5)) (* (sqrt 1/60) (pow (sqrt x) 5)) (* (sqrt 1/60) (sqrt (pow x 5))) (* (sqrt 1/60) (sqrt (pow x 5))) (* (sqrt 1/60) (pow x 5/2)) (* (sqrt 1/60) (pow x 5/2)) (* 1/60 (pow (* (cbrt x) (cbrt x)) 5)) (* 1/60 (pow (sqrt x) 5)) 1/60 (* 1/60 (* (cbrt (pow x 5)) (cbrt (pow x 5)))) (* 1/60 (sqrt (pow x 5))) 1/60 (* 1/60 (pow x 5/2)) (* (cbrt 1/60) (pow x 5)) (* (sqrt 1/60) (pow x 5)) (* 1/60 (pow x 5)) (exp (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (exp (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (log (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (exp (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (* (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))))) (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (pow (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 3) (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (+ (pow (* 1/3 (pow x 3)) 3) (pow (+ (* 1/60 (pow x 5)) (* 2 x)) 3)) (+ (* (+ (* 1/60 (pow x 5)) (* 2 x)) (- (+ (* 1/60 (pow x 5)) (* 2 x)) (* 1/3 (pow x 3)))) (* 1/9 (* (pow x 3) (pow x 3)))) (+ (- (* (+ (* 1/60 (pow x 5)) (* 2 x)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (* (pow x 6) 1/9)) (- (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1.0 (* x y)) (* (sin y) (+ (* 0.008333333333333333 (pow x 5)) (* 0.16666666666666666 (pow x 3)))) (* (sin y) (+ (* 0.008333333333333333 (pow x 5)) (* 0.16666666666666666 (pow x 3)))) (* 1/60 (pow x 5)) (* 1/60 (pow x 5)) (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 1.127 * * * [progress]: adding candidates to table 1.409 * * [progress]: iteration 3 / 4 1.409 * * * [progress]: picking best candidate 1.450 * * * * [pick]: Picked # 1.451 * * * [progress]: localizing error 1.480 * * * [progress]: generating rewritten candidates 1.480 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1) 1.487 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.497 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 1.502 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.509 * * * [progress]: generating series expansions 1.509 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1) 1.510 * [approximate]: Taking taylor expansion of (* 1/3 (pow x 3)) in (x) around 0 1.510 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.510 * [taylor]: Taking taylor expansion of 1/3 in x 1.510 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.510 * [taylor]: Taking taylor expansion of x in x 1.510 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.510 * [taylor]: Taking taylor expansion of 1/3 in x 1.510 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.510 * [taylor]: Taking taylor expansion of x in x 1.521 * [approximate]: Taking taylor expansion of (/ 1/3 (pow x 3)) in (x) around 0 1.522 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 1.522 * [taylor]: Taking taylor expansion of 1/3 in x 1.522 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.522 * [taylor]: Taking taylor expansion of x in x 1.522 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 1.522 * [taylor]: Taking taylor expansion of 1/3 in x 1.522 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.522 * [taylor]: Taking taylor expansion of x in x 1.533 * [approximate]: Taking taylor expansion of (/ -1/3 (pow x 3)) in (x) around 0 1.533 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 1.533 * [taylor]: Taking taylor expansion of -1/3 in x 1.533 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.533 * [taylor]: Taking taylor expansion of x in x 1.534 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 1.534 * [taylor]: Taking taylor expansion of -1/3 in x 1.534 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.534 * [taylor]: Taking taylor expansion of x in x 1.545 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.546 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y))) in (x y) around 0 1.546 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y))) in y 1.546 * [taylor]: Taking taylor expansion of 0.5 in y 1.546 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y)) in y 1.546 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in y 1.546 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in y 1.546 * [taylor]: Taking taylor expansion of 1/3 in y 1.546 * [taylor]: Taking taylor expansion of (pow x 3) in y 1.546 * [taylor]: Taking taylor expansion of x in y 1.546 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow x 5)) (* 2 x)) in y 1.546 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in y 1.546 * [taylor]: Taking taylor expansion of 1/60 in y 1.546 * [taylor]: Taking taylor expansion of (pow x 5) in y 1.546 * [taylor]: Taking taylor expansion of x in y 1.546 * [taylor]: Taking taylor expansion of (* 2 x) in y 1.546 * [taylor]: Taking taylor expansion of 2 in y 1.546 * [taylor]: Taking taylor expansion of x in y 1.546 * [taylor]: Taking taylor expansion of (sin y) in y 1.546 * [taylor]: Taking taylor expansion of y in y 1.546 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y))) in x 1.546 * [taylor]: Taking taylor expansion of 0.5 in x 1.546 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y)) in x 1.546 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in x 1.546 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.546 * [taylor]: Taking taylor expansion of 1/3 in x 1.546 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.546 * [taylor]: Taking taylor expansion of x in x 1.546 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow x 5)) (* 2 x)) in x 1.546 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.546 * [taylor]: Taking taylor expansion of 1/60 in x 1.546 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.546 * [taylor]: Taking taylor expansion of x in x 1.546 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.546 * [taylor]: Taking taylor expansion of 2 in x 1.546 * [taylor]: Taking taylor expansion of x in x 1.546 * [taylor]: Taking taylor expansion of (sin y) in x 1.546 * [taylor]: Taking taylor expansion of y in x 1.546 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y))) in x 1.546 * [taylor]: Taking taylor expansion of 0.5 in x 1.546 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sin y)) in x 1.546 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in x 1.546 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.546 * [taylor]: Taking taylor expansion of 1/3 in x 1.546 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.546 * [taylor]: Taking taylor expansion of x in x 1.546 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow x 5)) (* 2 x)) in x 1.546 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.546 * [taylor]: Taking taylor expansion of 1/60 in x 1.546 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.546 * [taylor]: Taking taylor expansion of x in x 1.546 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.546 * [taylor]: Taking taylor expansion of 2 in x 1.546 * [taylor]: Taking taylor expansion of x in x 1.547 * [taylor]: Taking taylor expansion of (sin y) in x 1.547 * [taylor]: Taking taylor expansion of y in x 1.548 * [taylor]: Taking taylor expansion of 0 in y 1.551 * [taylor]: Taking taylor expansion of (* 1.0 (sin y)) in y 1.551 * [taylor]: Taking taylor expansion of 1.0 in y 1.551 * [taylor]: Taking taylor expansion of (sin y) in y 1.551 * [taylor]: Taking taylor expansion of y in y 1.555 * [taylor]: Taking taylor expansion of 0 in y 1.567 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin y)) in y 1.567 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 1.567 * [taylor]: Taking taylor expansion of (sin y) in y 1.567 * [taylor]: Taking taylor expansion of y in y 1.575 * [taylor]: Taking taylor expansion of 0 in y 1.576 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y)))) in (x y) around 0 1.576 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y)))) in y 1.576 * [taylor]: Taking taylor expansion of 0.5 in y 1.576 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y))) in y 1.576 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in y 1.576 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y 1.576 * [taylor]: Taking taylor expansion of 2 in y 1.576 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.576 * [taylor]: Taking taylor expansion of x in y 1.576 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in y 1.576 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in y 1.576 * [taylor]: Taking taylor expansion of 1/60 in y 1.576 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in y 1.576 * [taylor]: Taking taylor expansion of (pow x 5) in y 1.576 * [taylor]: Taking taylor expansion of x in y 1.576 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in y 1.576 * [taylor]: Taking taylor expansion of 1/3 in y 1.576 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 1.576 * [taylor]: Taking taylor expansion of (pow x 3) in y 1.576 * [taylor]: Taking taylor expansion of x 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 y in y 1.577 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y)))) in x 1.577 * [taylor]: Taking taylor expansion of 0.5 in x 1.577 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y))) in x 1.577 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 1.577 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.577 * [taylor]: Taking taylor expansion of 2 in x 1.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.577 * [taylor]: Taking taylor expansion of x in x 1.577 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.577 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.577 * [taylor]: Taking taylor expansion of 1/60 in x 1.577 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.577 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.577 * [taylor]: Taking taylor expansion of x in x 1.578 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.578 * [taylor]: Taking taylor expansion of 1/3 in x 1.578 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.578 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.578 * [taylor]: Taking taylor expansion of x in x 1.579 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.579 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.579 * [taylor]: Taking taylor expansion of y in x 1.579 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y)))) in x 1.579 * [taylor]: Taking taylor expansion of 0.5 in x 1.579 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ 1 y))) in x 1.579 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 1.579 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.579 * [taylor]: Taking taylor expansion of 2 in x 1.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.579 * [taylor]: Taking taylor expansion of x in x 1.579 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.579 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.579 * [taylor]: Taking taylor expansion of 1/60 in x 1.579 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.580 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.580 * [taylor]: Taking taylor expansion of x in x 1.580 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.580 * [taylor]: Taking taylor expansion of 1/3 in x 1.580 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.581 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.581 * [taylor]: Taking taylor expansion of x in x 1.581 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.581 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.581 * [taylor]: Taking taylor expansion of y in x 1.582 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (sin (/ 1 y))) in y 1.582 * [taylor]: Taking taylor expansion of 0.008333333333333333 in y 1.582 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.582 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.582 * [taylor]: Taking taylor expansion of y in y 1.587 * [taylor]: Taking taylor expansion of 0 in y 1.594 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ 1 y))) in y 1.594 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 1.594 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.594 * [taylor]: Taking taylor expansion of y in y 1.603 * [taylor]: Taking taylor expansion of 0 in y 1.605 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y)))) in (x y) around 0 1.605 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y)))) in y 1.605 * [taylor]: Taking taylor expansion of -0.5 in y 1.605 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y))) in y 1.605 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in y 1.605 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y 1.605 * [taylor]: Taking taylor expansion of 2 in y 1.605 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.605 * [taylor]: Taking taylor expansion of x in y 1.605 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in y 1.605 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in y 1.605 * [taylor]: Taking taylor expansion of 1/60 in y 1.605 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in y 1.605 * [taylor]: Taking taylor expansion of (pow x 5) in y 1.605 * [taylor]: Taking taylor expansion of x in y 1.606 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in y 1.606 * [taylor]: Taking taylor expansion of 1/3 in y 1.606 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 1.606 * [taylor]: Taking taylor expansion of (pow x 3) in y 1.606 * [taylor]: Taking taylor expansion of x in y 1.606 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.606 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.606 * [taylor]: Taking taylor expansion of -1 in y 1.606 * [taylor]: Taking taylor expansion of y in y 1.606 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y)))) in x 1.606 * [taylor]: Taking taylor expansion of -0.5 in x 1.606 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y))) in x 1.606 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 1.606 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.606 * [taylor]: Taking taylor expansion of 2 in x 1.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.606 * [taylor]: Taking taylor expansion of x in x 1.607 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.607 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.607 * [taylor]: Taking taylor expansion of 1/60 in x 1.607 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.607 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.607 * [taylor]: Taking taylor expansion of x in x 1.608 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.608 * [taylor]: Taking taylor expansion of 1/3 in x 1.608 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.608 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.608 * [taylor]: Taking taylor expansion of x in x 1.608 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.608 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.608 * [taylor]: Taking taylor expansion of -1 in x 1.608 * [taylor]: Taking taylor expansion of y in x 1.608 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y)))) in x 1.608 * [taylor]: Taking taylor expansion of -0.5 in x 1.608 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) (sin (/ -1 y))) in x 1.609 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 1.609 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.609 * [taylor]: Taking taylor expansion of 2 in x 1.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.609 * [taylor]: Taking taylor expansion of x in x 1.609 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.609 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.609 * [taylor]: Taking taylor expansion of 1/60 in x 1.609 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.609 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.609 * [taylor]: Taking taylor expansion of x in x 1.610 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.610 * [taylor]: Taking taylor expansion of 1/3 in x 1.610 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.610 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.610 * [taylor]: Taking taylor expansion of x in x 1.611 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.611 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.611 * [taylor]: Taking taylor expansion of -1 in x 1.611 * [taylor]: Taking taylor expansion of y in x 1.612 * [taylor]: Taking taylor expansion of (* -0.008333333333333333 (sin (/ -1 y))) in y 1.612 * [taylor]: Taking taylor expansion of -0.008333333333333333 in y 1.612 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.612 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.612 * [taylor]: Taking taylor expansion of -1 in y 1.612 * [taylor]: Taking taylor expansion of y in y 1.617 * [taylor]: Taking taylor expansion of 0 in y 1.623 * [taylor]: Taking taylor expansion of (- (* 0.16666666666666666 (sin (/ -1 y)))) in y 1.623 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ -1 y))) in y 1.623 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 1.623 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.623 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.623 * [taylor]: Taking taylor expansion of -1 in y 1.623 * [taylor]: Taking taylor expansion of y in y 1.632 * [taylor]: Taking taylor expansion of 0 in y 1.634 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 1.634 * [approximate]: Taking taylor expansion of (* 1/60 (pow x 5)) in (x) around 0 1.634 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.634 * [taylor]: Taking taylor expansion of 1/60 in x 1.634 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.634 * [taylor]: Taking taylor expansion of x in x 1.635 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.635 * [taylor]: Taking taylor expansion of 1/60 in x 1.635 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.635 * [taylor]: Taking taylor expansion of x in x 1.654 * [approximate]: Taking taylor expansion of (/ 1/60 (pow x 5)) in (x) around 0 1.654 * [taylor]: Taking taylor expansion of (/ 1/60 (pow x 5)) in x 1.654 * [taylor]: Taking taylor expansion of 1/60 in x 1.654 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.654 * [taylor]: Taking taylor expansion of x in x 1.655 * [taylor]: Taking taylor expansion of (/ 1/60 (pow x 5)) in x 1.655 * [taylor]: Taking taylor expansion of 1/60 in x 1.655 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.655 * [taylor]: Taking taylor expansion of x in x 1.670 * [approximate]: Taking taylor expansion of (/ -1/60 (pow x 5)) in (x) around 0 1.670 * [taylor]: Taking taylor expansion of (/ -1/60 (pow x 5)) in x 1.670 * [taylor]: Taking taylor expansion of -1/60 in x 1.670 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.670 * [taylor]: Taking taylor expansion of x in x 1.671 * [taylor]: Taking taylor expansion of (/ -1/60 (pow x 5)) in x 1.671 * [taylor]: Taking taylor expansion of -1/60 in x 1.671 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.671 * [taylor]: Taking taylor expansion of x in x 1.686 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.686 * [approximate]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) in (x) around 0 1.686 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) in x 1.686 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.686 * [taylor]: Taking taylor expansion of 1/3 in x 1.686 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.686 * [taylor]: Taking taylor expansion of x in x 1.686 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.686 * [taylor]: Taking taylor expansion of 1/60 in x 1.686 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.686 * [taylor]: Taking taylor expansion of x in x 1.686 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) in x 1.686 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.686 * [taylor]: Taking taylor expansion of 1/3 in x 1.686 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.686 * [taylor]: Taking taylor expansion of x in x 1.686 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.686 * [taylor]: Taking taylor expansion of 1/60 in x 1.686 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.687 * [taylor]: Taking taylor expansion of x in x 1.727 * [approximate]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in (x) around 0 1.727 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.727 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.727 * [taylor]: Taking taylor expansion of 1/60 in x 1.727 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.727 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.727 * [taylor]: Taking taylor expansion of x in x 1.728 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.728 * [taylor]: Taking taylor expansion of 1/3 in x 1.728 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.728 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.728 * [taylor]: Taking taylor expansion of x in x 1.728 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.729 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.729 * [taylor]: Taking taylor expansion of 1/60 in x 1.729 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.729 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.729 * [taylor]: Taking taylor expansion of x in x 1.730 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.730 * [taylor]: Taking taylor expansion of 1/3 in x 1.730 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.730 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.730 * [taylor]: Taking taylor expansion of x in x 1.772 * [approximate]: Taking taylor expansion of (- (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in (x) around 0 1.772 * [taylor]: Taking taylor expansion of (- (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 1.772 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.772 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.772 * [taylor]: Taking taylor expansion of 1/60 in x 1.772 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.772 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.772 * [taylor]: Taking taylor expansion of x in x 1.773 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.773 * [taylor]: Taking taylor expansion of 1/3 in x 1.773 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.773 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.773 * [taylor]: Taking taylor expansion of x in x 1.774 * [taylor]: Taking taylor expansion of (- (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 1.774 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.774 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.774 * [taylor]: Taking taylor expansion of 1/60 in x 1.774 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.774 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.774 * [taylor]: Taking taylor expansion of x in x 1.775 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.775 * [taylor]: Taking taylor expansion of 1/3 in x 1.775 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.775 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.775 * [taylor]: Taking taylor expansion of x in x 1.823 * * * [progress]: simplifying candidates 1.825 * [simplify]: Simplifying using # : (+ (log 1/3) (* (log x) 3)) (+ (log 1/3) (* (log x) 3)) (+ (log 1/3) (log (pow x 3))) (log (* 1/3 (pow x 3))) (exp (* 1/3 (pow x 3))) (* (* (* 1/3 1/3) 1/3) (* (* (pow x 3) (pow x 3)) (pow x 3))) (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3)))) (cbrt (* 1/3 (pow x 3))) (* (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (pow x (/ 3 2))) (* (sqrt 1/3) (pow x (/ 3 2))) (* 1/3 (pow (* (cbrt x) (cbrt x)) 3)) (* 1/3 (pow (sqrt x) 3)) (* 1/3 (pow 1 3)) (* 1/3 (* x x)) (* 1/3 (* (cbrt (pow x 3)) (cbrt (pow x 3)))) (* 1/3 (pow (* (cbrt x) (cbrt x)) 3)) (* 1/3 (pow (sqrt x) 3)) (* 1/3 (pow 1 3)) (* 1/3 x) (* 1/3 (sqrt (pow x 3))) (* 1/3 1) (* 1/3 (pow x (/ 3 2))) (* (cbrt 1/3) (pow x 3)) (* (sqrt 1/3) (pow x 3)) (* 1/3 (pow x 3)) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y)) (+ (- (log (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (log 2.0)) (log (sin y))) (+ (log (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0)) (log (sin y))) (log (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (exp (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (* (/ (* (* (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (* (* 2.0 2.0) 2.0)) (* (* (sin y) (sin y)) (sin y))) (* (* (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0)) (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0)) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (cbrt (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y)))) (cbrt (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (* (* (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y)) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (sqrt (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (sqrt (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (* (sqrt (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0)) (sqrt (sin y))) (* (sqrt (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0)) (sqrt (sin y))) (* (/ (sqrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (sqrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sqrt (sin y))) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) 1) (* (cbrt (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0)) (sin y)) (* (sqrt (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0)) (sin y)) (* (/ (cbrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (cbrt 2.0)) (sin y)) (* (/ (cbrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (sqrt 2.0)) (sin y)) (* (/ (cbrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) 2.0) (sin y)) (* (/ (sqrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (cbrt 2.0)) (sin y)) (* (/ (sqrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (sqrt 2.0)) (sin y)) (* (/ (sqrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) 2.0) (sin y)) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) (cbrt 2.0)) (sin y)) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) (sqrt 2.0)) (sin y)) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y)) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y)) (* (/ 1 2.0) (sin y)) (* (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) (sin y)) (+ (log 1/60) (* (log x) 5)) (+ (log 1/60) (* (log x) 5)) (+ (log 1/60) (log (pow x 5))) (log (* 1/60 (pow x 5))) (exp (* 1/60 (pow x 5))) (* (* (* 1/60 1/60) 1/60) (* (* (pow x 5) (pow x 5)) (pow x 5))) (* (cbrt (* 1/60 (pow x 5))) (cbrt (* 1/60 (pow x 5)))) (cbrt (* 1/60 (pow x 5))) (* (* (* 1/60 (pow x 5)) (* 1/60 (pow x 5))) (* 1/60 (pow x 5))) (sqrt (* 1/60 (pow x 5))) (sqrt (* 1/60 (pow x 5))) (* (sqrt 1/60) (pow (sqrt x) 5)) (* (sqrt 1/60) (pow (sqrt x) 5)) (* (sqrt 1/60) (sqrt (pow x 5))) (* (sqrt 1/60) (sqrt (pow x 5))) (* (sqrt 1/60) (pow x (/ 5 2))) (* (sqrt 1/60) (pow x (/ 5 2))) (* 1/60 (pow (* (cbrt x) (cbrt x)) 5)) (* 1/60 (pow (sqrt x) 5)) (* 1/60 (pow 1 5)) (* 1/60 (* (cbrt (pow x 5)) (cbrt (pow x 5)))) (* 1/60 (sqrt (pow x 5))) (* 1/60 1) (* 1/60 (pow x (/ 5 2))) (* (cbrt 1/60) (pow x 5)) (* (sqrt 1/60) (pow x 5)) (* 1/60 (pow x 5)) (* (exp (* 1/3 (pow x 3))) (exp (* 1/60 (pow x 5)))) (log (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (exp (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (* (cbrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (cbrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))) (cbrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (* (* (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (sqrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (sqrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (+ (pow (* 1/3 (pow x 3)) 3) (pow (* 1/60 (pow x 5)) 3)) (+ (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (- (* (* 1/60 (pow x 5)) (* 1/60 (pow x 5))) (* (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))) (- (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* (* 1/60 (pow x 5)) (* 1/60 (pow x 5)))) (- (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 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)))) (* 1/60 (pow x 5)) (* 1/60 (pow x 5)) (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) 1.832 * * [simplify]: iteration 0 : 457 enodes (cost 772 ) 1.842 * * [simplify]: iteration 1 : 1931 enodes (cost 680 ) 1.880 * * [simplify]: iteration 2 : 5001 enodes (cost 679 ) 1.884 * [simplify]: Simplified to: (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (exp (* 1/3 (pow x 3))) (pow (* 1/3 (pow x 3)) 3) (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3)))) (cbrt (* 1/3 (pow x 3))) (pow (* 1/3 (pow x 3)) 3) (sqrt (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (pow x 3/2)) (* (sqrt 1/3) (pow x 3/2)) (* (* 1/3 x) x) (* 1/3 (pow (sqrt x) 3)) 1/3 (* (* 1/3 x) x) (* (* 1/3 x) x) (* (* 1/3 x) x) (* 1/3 (pow (sqrt x) 3)) 1/3 (* 1/3 x) (* 1/3 (sqrt (pow x 3))) 1/3 (* 1/3 (pow x 3/2)) (* (cbrt 1/3) (pow x 3)) (* (sqrt 1/3) (pow x 3)) (* 1/3 (pow x 3)) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y)) (log (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (log (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (log (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (exp (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (pow (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y)) 3) (pow (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y)) 3) (* (cbrt (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (cbrt (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y)))) (cbrt (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (pow (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y)) 3) (sqrt (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (sqrt (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y))) (* (sqrt (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0)) (sqrt (sin y))) (* (sqrt (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0)) (sqrt (sin y))) (* (/ (sqrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (sqrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (sqrt 2.0)) (sqrt (sin y))) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (* (cbrt (sin y)) (cbrt (sin y)))) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sqrt (sin y))) (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (* (cbrt (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0)) (sin y)) (* (sqrt (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0)) (sin y)) (* (/ (cbrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (cbrt 2.0)) (sin y)) (* (/ (cbrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (sqrt 2.0)) (sin y)) (* (/ (cbrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) 2.0) (sin y)) (* (/ (sqrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (cbrt 2.0)) (sin y)) (* (/ (sqrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) (sqrt 2.0)) (sin y)) (* (/ (sqrt (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x))) 2.0) (sin y)) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) (cbrt 2.0)) (sin y)) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) (sqrt 2.0)) (sin y)) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y)) (* (/ (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) 2.0) (sin y)) (* (/ 1 2.0) (sin y)) (* (+ (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 2 x)) (sin y)) (log (* 1/60 (pow x 5))) (log (* 1/60 (pow x 5))) (log (* 1/60 (pow x 5))) (log (* 1/60 (pow x 5))) (exp (* 1/60 (pow x 5))) (pow (* 1/60 (pow x 5)) 3) (* (cbrt (* 1/60 (pow x 5))) (cbrt (* 1/60 (pow x 5)))) (cbrt (* 1/60 (pow x 5))) (pow (* 1/60 (pow x 5)) 3) (sqrt (* 1/60 (pow x 5))) (sqrt (* 1/60 (pow x 5))) (* (sqrt 1/60) (pow (sqrt x) 5)) (* (sqrt 1/60) (pow (sqrt x) 5)) (* (sqrt 1/60) (sqrt (pow x 5))) (* (sqrt 1/60) (sqrt (pow x 5))) (* (sqrt 1/60) (pow x 5/2)) (* (sqrt 1/60) (pow x 5/2)) (* 1/60 (pow (* (cbrt x) (cbrt x)) 5)) (* 1/60 (pow (sqrt x) 5)) 1/60 (* 1/60 (* (cbrt (pow x 5)) (cbrt (pow x 5)))) (* 1/60 (sqrt (pow x 5))) 1/60 (* 1/60 (pow x 5/2)) (* (cbrt 1/60) (pow x 5)) (* (sqrt 1/60) (pow x 5)) (* 1/60 (pow x 5)) (exp (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (log (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (exp (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (* (cbrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (cbrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))) (cbrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (pow (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) 3) (sqrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (sqrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (+ (pow (* 1/3 (pow x 3)) 3) (pow (* 1/60 (pow x 5)) 3)) (+ (* (pow x 10) 1/3600) (- (* (pow x 6) 1/9) (* (pow x 5) (* (pow x 3) 1/180)))) (+ (* (- 1/3600) (pow x 10)) (* (pow x 6) 1/9)) (- (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1.0 (* x y)) (* (sin y) (+ (* 0.008333333333333333 (pow x 5)) (* 0.16666666666666666 (pow x 3)))) (* (sin y) (+ (* 0.008333333333333333 (pow x 5)) (* 0.16666666666666666 (pow x 3)))) (* 1/60 (pow x 5)) (* 1/60 (pow x 5)) (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) 1.885 * * * [progress]: adding candidates to table 2.142 * * [progress]: iteration 4 / 4 2.142 * * * [progress]: picking best candidate 2.181 * * * * [pick]: Picked # 2.181 * * * [progress]: localizing error 2.218 * * * [progress]: generating rewritten candidates 2.219 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 2) 2.222 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2 1) 2.223 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 2 1 2) 2.224 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 2 1 1) 2.227 * * * [progress]: generating series expansions 2.227 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 2) 2.227 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 5) in (x) around 0 2.227 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 5) in x 2.227 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.227 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.227 * [taylor]: Taking taylor expansion of 1/3 in x 2.227 * [taylor]: Taking taylor expansion of (log x) in x 2.227 * [taylor]: Taking taylor expansion of x in x 2.228 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 5) in x 2.228 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.228 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.228 * [taylor]: Taking taylor expansion of 1/3 in x 2.228 * [taylor]: Taking taylor expansion of (log x) in x 2.228 * [taylor]: Taking taylor expansion of x in x 2.300 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 5) in (x) around 0 2.300 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 5) in x 2.300 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.300 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.300 * [taylor]: Taking taylor expansion of 1/3 in x 2.300 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.300 * [taylor]: Taking taylor expansion of x in x 2.301 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 5) in x 2.301 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.301 * [taylor]: Taking taylor expansion of 1/3 in x 2.301 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.301 * [taylor]: Taking taylor expansion of x in x 2.369 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 5) in (x) around 0 2.369 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 5) in x 2.369 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.369 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.369 * [taylor]: Taking taylor expansion of -1 in x 2.370 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.370 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.370 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.370 * [taylor]: Taking taylor expansion of 1/3 in x 2.370 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.370 * [taylor]: Taking taylor expansion of x in x 2.372 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 5) in x 2.372 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.372 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.372 * [taylor]: Taking taylor expansion of -1 in x 2.372 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.372 * [taylor]: Taking taylor expansion of 1/3 in x 2.372 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.372 * [taylor]: Taking taylor expansion of x in x 2.485 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2 1) 2.486 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.486 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.486 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.486 * [taylor]: Taking taylor expansion of 1/3 in x 2.486 * [taylor]: Taking taylor expansion of (log x) in x 2.486 * [taylor]: Taking taylor expansion of x in x 2.486 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.486 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.486 * [taylor]: Taking taylor expansion of 1/3 in x 2.486 * [taylor]: Taking taylor expansion of (log x) in x 2.486 * [taylor]: Taking taylor expansion of x in x 2.536 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.536 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.536 * [taylor]: Taking taylor expansion of 1/3 in x 2.536 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.536 * [taylor]: Taking taylor expansion of x in x 2.537 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.537 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.537 * [taylor]: Taking taylor expansion of 1/3 in x 2.537 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.537 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.537 * [taylor]: Taking taylor expansion of x in x 2.595 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.595 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.595 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.595 * [taylor]: Taking taylor expansion of -1 in x 2.596 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.596 * [taylor]: Taking taylor expansion of 1/3 in x 2.596 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.596 * [taylor]: Taking taylor expansion of x in x 2.597 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.597 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.597 * [taylor]: Taking taylor expansion of -1 in x 2.598 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.598 * [taylor]: Taking taylor expansion of 1/3 in x 2.598 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.598 * [taylor]: Taking taylor expansion of x in x 2.668 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 2 1 2) 2.668 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.668 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.668 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.668 * [taylor]: Taking taylor expansion of 1/3 in x 2.668 * [taylor]: Taking taylor expansion of (log x) in x 2.668 * [taylor]: Taking taylor expansion of x in x 2.669 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.669 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.669 * [taylor]: Taking taylor expansion of 1/3 in x 2.669 * [taylor]: Taking taylor expansion of (log x) in x 2.669 * [taylor]: Taking taylor expansion of x in x 2.725 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.725 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.725 * [taylor]: Taking taylor expansion of 1/3 in x 2.725 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.725 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.725 * [taylor]: Taking taylor expansion of x in x 2.726 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.726 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.726 * [taylor]: Taking taylor expansion of 1/3 in x 2.726 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.726 * [taylor]: Taking taylor expansion of x in x 2.927 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.927 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.927 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.927 * [taylor]: Taking taylor expansion of -1 in x 2.928 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.928 * [taylor]: Taking taylor expansion of 1/3 in x 2.928 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.928 * [taylor]: Taking taylor expansion of x in x 2.930 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.930 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.930 * [taylor]: Taking taylor expansion of -1 in x 2.930 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.931 * [taylor]: Taking taylor expansion of 1/3 in x 2.931 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.931 * [taylor]: Taking taylor expansion of x in x 3.000 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 2 1 1) 3.000 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 3.000 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.000 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.000 * [taylor]: Taking taylor expansion of 1/3 in x 3.000 * [taylor]: Taking taylor expansion of (log x) in x 3.000 * [taylor]: Taking taylor expansion of x in x 3.001 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.001 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.001 * [taylor]: Taking taylor expansion of 1/3 in x 3.001 * [taylor]: Taking taylor expansion of (log x) in x 3.001 * [taylor]: Taking taylor expansion of x in x 3.049 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 3.049 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.049 * [taylor]: Taking taylor expansion of 1/3 in x 3.049 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.049 * [taylor]: Taking taylor expansion of x in x 3.050 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.050 * [taylor]: Taking taylor expansion of 1/3 in x 3.050 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.050 * [taylor]: Taking taylor expansion of x in x 3.108 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 3.108 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.108 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.108 * [taylor]: Taking taylor expansion of -1 in x 3.109 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.109 * [taylor]: Taking taylor expansion of 1/3 in x 3.109 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.109 * [taylor]: Taking taylor expansion of x in x 3.109 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.110 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.110 * [taylor]: Taking taylor expansion of -1 in x 3.110 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.110 * [taylor]: Taking taylor expansion of 1/3 in x 3.110 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.110 * [taylor]: Taking taylor expansion of x in x 3.180 * * * [progress]: simplifying candidates 3.181 * [simplify]: Simplifying using # : (* (log (cbrt x)) 5) (* (log (cbrt x)) 5) (* 1/3 5) (* 1 5) (pow (cbrt x) (* (cbrt 5) (cbrt 5))) (pow (cbrt x) (sqrt 5)) (pow (cbrt x) 1) (pow (cbrt (* (cbrt x) (cbrt x))) 5) (pow (cbrt (cbrt x)) 5) (pow (cbrt (sqrt x)) 5) (pow (cbrt (sqrt x)) 5) (pow (cbrt 1) 5) (pow (cbrt x) 5) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 5) (pow (cbrt (cbrt x)) 5) (pow (sqrt (cbrt x)) 5) (pow (sqrt (cbrt x)) 5) (pow 1 5) (pow (cbrt x) 5) (log (pow (cbrt x) 5)) (exp (pow (cbrt x) 5)) (* (cbrt (pow (cbrt x) 5)) (cbrt (pow (cbrt x) 5))) (cbrt (pow (cbrt x) 5)) (* (* (pow (cbrt x) 5) (pow (cbrt x) 5)) (pow (cbrt x) 5)) (sqrt (pow (cbrt x) 5)) (sqrt (pow (cbrt x) 5)) (pow (cbrt x) (/ 5 2)) (pow (cbrt x) (/ 5 2)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (pow (pow x 5) 1/3) (pow (pow x 5) 1/3) (* (pow (* -1 (pow x 5)) 1/3) (pow (cbrt -1) 5)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 3.185 * * [simplify]: iteration 0 : 119 enodes (cost 210 ) 3.188 * * [simplify]: iteration 1 : 358 enodes (cost 197 ) 3.196 * * [simplify]: iteration 2 : 1310 enodes (cost 188 ) 3.228 * * [simplify]: iteration 3 : 5002 enodes (cost 183 ) 3.230 * [simplify]: Simplified to: (* 5/3 (log x)) (* 5/3 (log x)) 5/3 5 (pow (cbrt x) (* (cbrt 5) (cbrt 5))) (pow (cbrt x) (sqrt 5)) (pow x 1/3) (pow (cbrt (* (cbrt x) (cbrt x))) 5) (pow (cbrt (cbrt x)) 5) (pow (cbrt (sqrt x)) 5) (pow (cbrt (sqrt x)) 5) 1 (pow (cbrt x) 5) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 5) (pow (cbrt (cbrt x)) 5) (pow (sqrt (cbrt x)) 5) (pow (sqrt (cbrt x)) 5) 1 (pow (cbrt x) 5) (* 5/3 (log x)) (exp (pow (cbrt x) 5)) (* (cbrt (pow (cbrt x) 5)) (cbrt (pow (cbrt x) 5))) (cbrt (pow (cbrt x) 5)) (pow (pow (cbrt x) 5) 3) (sqrt (pow (cbrt x) 5)) (sqrt (pow (cbrt x) 5)) (pow (pow x 1/3) 5/2) (pow (pow x 1/3) 5/2) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (pow (pow x 1/3) 1/2) (pow (pow x 1/3) 1/2) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (pow (pow x 1/3) 1/2) (pow (pow x 1/3) 1/2) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (pow (pow x 1/3) 1/2) (pow (pow x 1/3) 1/2) (pow (pow x 5) 1/3) (pow (pow x 5) 1/3) (* (pow (* -1 (pow x 5)) 1/3) (pow (cbrt -1) 5)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 3.231 * * * [progress]: adding candidates to table 3.475 * [progress]: [Phase 3 of 3] Extracting. 3.475 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # #) 3.484 * * * [regime-changes]: Trying 2 branch expressions: (y x) 3.484 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # # #) 3.542 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # #) 3.601 * * * [regime]: Found split indices: #