14.755 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.006 * * * * [points]: Setting MPFR precision to 64 0.007 * * * * [points]: Setting MPFR precision to 320 0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.010 * * * * [points]: Setting MPFR precision to 64 0.011 * * * * [points]: Setting MPFR precision to 320 0.012 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.014 * * * * [points]: Setting MPFR precision to 64 0.015 * * * * [points]: Setting MPFR precision to 320 0.017 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.019 * * * * [points]: Setting MPFR precision to 64 0.022 * * * * [points]: Setting MPFR precision to 320 0.025 * * * * [points]: Computing exacts for 256 points 0.027 * * * * [points]: Setting MPFR precision to 64 0.035 * * * * [points]: Setting MPFR precision to 320 0.043 * * * * [points]: Filtering points with unrepresentable outputs 0.044 * * * * [points]: Sampling 143 additional inputs, on iter 1 have 113 / 256 0.045 * * * * [points]: Computing exacts on every 8 of 143 points to ramp up precision 0.048 * * * * [points]: Setting MPFR precision to 64 0.048 * * * * [points]: Setting MPFR precision to 320 0.049 * * * * [points]: Computing exacts on every 4 of 143 points to ramp up precision 0.051 * * * * [points]: Setting MPFR precision to 64 0.051 * * * * [points]: Setting MPFR precision to 320 0.052 * * * * [points]: Computing exacts on every 2 of 143 points to ramp up precision 0.055 * * * * [points]: Setting MPFR precision to 64 0.056 * * * * [points]: Setting MPFR precision to 320 0.058 * * * * [points]: Computing exacts for 143 points 0.060 * * * * [points]: Setting MPFR precision to 64 0.064 * * * * [points]: Setting MPFR precision to 320 0.069 * * * * [points]: Filtering points with unrepresentable outputs 0.069 * * * * [points]: Sampling 72 additional inputs, on iter 2 have 184 / 256 0.070 * * * * [points]: Computing exacts on every 4 of 72 points to ramp up precision 0.072 * * * * [points]: Setting MPFR precision to 64 0.073 * * * * [points]: Setting MPFR precision to 320 0.073 * * * * [points]: Computing exacts on every 2 of 72 points to ramp up precision 0.075 * * * * [points]: Setting MPFR precision to 64 0.076 * * * * [points]: Setting MPFR precision to 320 0.077 * * * * [points]: Computing exacts for 72 points 0.079 * * * * [points]: Setting MPFR precision to 64 0.081 * * * * [points]: Setting MPFR precision to 320 0.083 * * * * [points]: Filtering points with unrepresentable outputs 0.084 * * * * [points]: Sampling 35 additional inputs, on iter 3 have 221 / 256 0.084 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision 0.086 * * * * [points]: Setting MPFR precision to 64 0.086 * * * * [points]: Setting MPFR precision to 320 0.087 * * * * [points]: Computing exacts for 35 points 0.089 * * * * [points]: Setting MPFR precision to 64 0.090 * * * * [points]: Setting MPFR precision to 320 0.091 * * * * [points]: Filtering points with unrepresentable outputs 0.091 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256 0.091 * * * * [points]: Computing exacts for 17 points 0.093 * * * * [points]: Setting MPFR precision to 64 0.094 * * * * [points]: Setting MPFR precision to 320 0.094 * * * * [points]: Filtering points with unrepresentable outputs 0.094 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256 0.094 * * * * [points]: Computing exacts for 5 points 0.096 * * * * [points]: Setting MPFR precision to 64 0.097 * * * * [points]: Setting MPFR precision to 320 0.097 * * * * [points]: Filtering points with unrepresentable outputs 0.097 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256 0.097 * * * * [points]: Computing exacts for 4 points 0.105 * * * * [points]: Setting MPFR precision to 64 0.105 * * * * [points]: Setting MPFR precision to 320 0.105 * * * * [points]: Filtering points with unrepresentable outputs 0.105 * * * * [points]: Sampled 256 points with exact outputs 0.105 * * * [progress]: [2/2] Setting up program. 0.108 * [progress]: [Phase 2 of 3] Improving. 0.109 * [simplify]: Simplifying using # : (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))) 0.111 * * [simplify]: iteration 0 : 30 enodes (cost 7 ) 0.112 * * [simplify]: iteration 1 : 47 enodes (cost 7 ) 0.114 * * [simplify]: iteration 2 : 84 enodes (cost 7 ) 0.116 * * [simplify]: iteration 3 : 131 enodes (cost 7 ) 0.118 * * [simplify]: iteration 4 : 223 enodes (cost 7 ) 0.121 * * [simplify]: iteration 5 : 466 enodes (cost 7 ) 0.127 * * [simplify]: iteration 6 : 1123 enodes (cost 7 ) 0.140 * * [simplify]: iteration 7 : 2244 enodes (cost 7 ) 0.168 * * [simplify]: iteration 8 : 5002 enodes (cost 7 ) 0.168 * [simplify]: Simplified to: (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 0.172 * * [progress]: iteration 1 / 4 0.172 * * * [progress]: picking best candidate 0.174 * * * * [pick]: Picked # 0.174 * * * [progress]: localizing error 0.184 * * * [progress]: generating rewritten candidates 0.184 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.190 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.218 * * * [progress]: generating series expansions 0.218 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.218 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 0.218 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.218 * [taylor]: Taking taylor expansion of (exp x) in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.218 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.218 * [taylor]: Taking taylor expansion of (- x) in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.219 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.219 * [taylor]: Taking taylor expansion of (exp x) in x 0.219 * [taylor]: Taking taylor expansion of x in x 0.219 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.219 * [taylor]: Taking taylor expansion of (- x) in x 0.219 * [taylor]: Taking taylor expansion of x in x 0.234 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 0.234 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.234 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.234 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.235 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.235 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.235 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.235 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.242 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 0.242 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.242 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.242 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.242 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.242 * [taylor]: Taking taylor expansion of -1 in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.243 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.243 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.243 * [taylor]: Taking taylor expansion of -1 in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.245 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.245 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in (x y) around 0 0.245 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y 0.245 * [taylor]: Taking taylor expansion of 0.5 in y 0.245 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y 0.245 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 0.245 * [taylor]: Taking taylor expansion of (exp x) in y 0.245 * [taylor]: Taking taylor expansion of x in y 0.246 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.246 * [taylor]: Taking taylor expansion of (- x) in y 0.246 * [taylor]: Taking taylor expansion of x in y 0.246 * [taylor]: Taking taylor expansion of (cos y) in y 0.246 * [taylor]: Taking taylor expansion of y in y 0.246 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x 0.246 * [taylor]: Taking taylor expansion of 0.5 in x 0.246 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x 0.246 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.246 * [taylor]: Taking taylor expansion of (exp x) in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.246 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.246 * [taylor]: Taking taylor expansion of (- x) in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.246 * [taylor]: Taking taylor expansion of (cos y) in x 0.246 * [taylor]: Taking taylor expansion of y in x 0.246 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x 0.246 * [taylor]: Taking taylor expansion of 0.5 in x 0.246 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x 0.246 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.246 * [taylor]: Taking taylor expansion of (exp x) in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.247 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.247 * [taylor]: Taking taylor expansion of (- x) in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.247 * [taylor]: Taking taylor expansion of (cos y) in x 0.247 * [taylor]: Taking taylor expansion of y in x 0.248 * [taylor]: Taking taylor expansion of (* 1.0 (cos y)) in y 0.248 * [taylor]: Taking taylor expansion of 1.0 in y 0.248 * [taylor]: Taking taylor expansion of (cos y) in y 0.248 * [taylor]: Taking taylor expansion of y in y 0.252 * [taylor]: Taking taylor expansion of 0 in y 0.258 * [taylor]: Taking taylor expansion of (* 0.5 (cos y)) in y 0.258 * [taylor]: Taking taylor expansion of 0.5 in y 0.258 * [taylor]: Taking taylor expansion of (cos y) in y 0.258 * [taylor]: Taking taylor expansion of y in y 0.261 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0 0.261 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.261 * [taylor]: Taking taylor expansion of 0.5 in y 0.261 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.261 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.261 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.261 * [taylor]: Taking taylor expansion of y in y 0.262 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.262 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.262 * [taylor]: Taking taylor expansion of x in y 0.262 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.262 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.262 * [taylor]: Taking taylor expansion of x in y 0.262 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 0.262 * [taylor]: Taking taylor expansion of 0.5 in x 0.262 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.262 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.262 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.262 * [taylor]: Taking taylor expansion of y in x 0.262 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.262 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.262 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.262 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.263 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 0.263 * [taylor]: Taking taylor expansion of 0.5 in x 0.263 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.263 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.263 * [taylor]: Taking taylor expansion of y in x 0.263 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.263 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.263 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.264 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.265 * [taylor]: Taking taylor expansion of 0.5 in y 0.265 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.265 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.265 * [taylor]: Taking taylor expansion of y in y 0.265 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.265 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.265 * [taylor]: Taking taylor expansion of x in y 0.265 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.265 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.265 * [taylor]: Taking taylor expansion of x in y 0.268 * [taylor]: Taking taylor expansion of 0 in y 0.274 * [taylor]: Taking taylor expansion of 0 in y 0.282 * [taylor]: Taking taylor expansion of 0 in y 0.282 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x y) around 0 0.282 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 0.282 * [taylor]: Taking taylor expansion of 0.5 in y 0.282 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 0.282 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.282 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.282 * [taylor]: Taking taylor expansion of -1 in y 0.282 * [taylor]: Taking taylor expansion of y in y 0.283 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 0.283 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.283 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.283 * [taylor]: Taking taylor expansion of x in y 0.283 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.283 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.283 * [taylor]: Taking taylor expansion of -1 in y 0.283 * [taylor]: Taking taylor expansion of x in y 0.283 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 0.283 * [taylor]: Taking taylor expansion of 0.5 in x 0.283 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.283 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.283 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.283 * [taylor]: Taking taylor expansion of -1 in x 0.283 * [taylor]: Taking taylor expansion of y in x 0.283 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.283 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.283 * [taylor]: Taking taylor expansion of x in x 0.283 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.283 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.283 * [taylor]: Taking taylor expansion of -1 in x 0.283 * [taylor]: Taking taylor expansion of x in x 0.284 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 0.284 * [taylor]: Taking taylor expansion of 0.5 in x 0.284 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.284 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.284 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.284 * [taylor]: Taking taylor expansion of -1 in x 0.284 * [taylor]: Taking taylor expansion of y in x 0.284 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.284 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.284 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.284 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.284 * [taylor]: Taking taylor expansion of -1 in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.285 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 0.285 * [taylor]: Taking taylor expansion of 0.5 in y 0.285 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 0.285 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.285 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.285 * [taylor]: Taking taylor expansion of -1 in y 0.285 * [taylor]: Taking taylor expansion of y in y 0.286 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 0.286 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.286 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.286 * [taylor]: Taking taylor expansion of x in y 0.286 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.286 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.286 * [taylor]: Taking taylor expansion of -1 in y 0.286 * [taylor]: Taking taylor expansion of x in y 0.289 * [taylor]: Taking taylor expansion of 0 in y 0.294 * [taylor]: Taking taylor expansion of 0 in y 0.301 * [taylor]: Taking taylor expansion of 0 in y 0.301 * * * [progress]: simplifying candidates 0.302 * [simplify]: Simplifying using # : (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (* (exp (exp x)) (exp (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (expm1 (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (log1p (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (+ (- (log (+ (exp x) (exp (- x)))) (log 2.0)) (log (cos y))) (+ (log (/ (+ (exp x) (exp (- x))) 2.0)) (log (cos y))) (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (cos y) (cos y)) (cos y))) (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (/ (+ (exp x) (exp (- x))) 2.0)) (/ (+ (exp x) (exp (- x))) 2.0)) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y)))) (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) 1) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ 1 2.0) (cos y)) (* (+ (exp x) (exp (- x))) (cos y)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (- (+ (* 0.5 (pow x 2)) 1.0) (* 0.5 (pow y 2))) (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) 0.307 * * [simplify]: iteration 0 : 286 enodes (cost 487 ) 0.312 * * [simplify]: iteration 1 : 1053 enodes (cost 428 ) 0.331 * * [simplify]: iteration 2 : 4913 enodes (cost 426 ) 0.462 * * [simplify]: iteration 3 : 5001 enodes (cost 426 ) 0.464 * [simplify]: Simplified to: (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (log (+ (exp (* -1 x)) (exp x))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (pow (+ (exp (* -1 x)) (exp x)) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (pow (exp x) -2) (- (exp (+ x x)) 1)) (fma (- (exp (- x))) (exp (* -1 x)) (exp (+ x x))) (- (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (expm1 (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (log1p (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3) (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3) (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (pow (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) 3) (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y)))) (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y))) (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (cbrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ 1 2.0) (cos y)) (* (cos y) (+ (exp (* -1 x)) (exp x))) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x)) (fma (pow x 2) 0.5 (- 1.0 (* 0.5 (pow y 2)))) (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) 0.465 * * * [progress]: adding candidates to table 0.623 * * [progress]: iteration 2 / 4 0.623 * * * [progress]: picking best candidate 0.639 * * * * [pick]: Picked # 0.639 * * * [progress]: localizing error 0.651 * * * [progress]: generating rewritten candidates 0.652 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.652 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.660 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 0.661 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 0.665 * * * [progress]: generating series expansions 0.665 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.665 * [approximate]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in (x) around 0 0.665 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in x 0.665 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (exp (- x))) 0.665 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 0.665 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.665 * [taylor]: Taking taylor expansion of (exp x) in x 0.665 * [taylor]: Taking taylor expansion of x in x 0.667 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.667 * [taylor]: Taking taylor expansion of (exp x) in x 0.667 * [taylor]: Taking taylor expansion of x in x 0.668 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.668 * [taylor]: Taking taylor expansion of (- x) in x 0.668 * [taylor]: Taking taylor expansion of x in x 0.669 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in x 0.669 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (exp (- x))) 0.669 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 0.669 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.669 * [taylor]: Taking taylor expansion of (exp x) in x 0.669 * [taylor]: Taking taylor expansion of x in x 0.670 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.670 * [taylor]: Taking taylor expansion of (exp x) in x 0.670 * [taylor]: Taking taylor expansion of x in x 0.671 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.671 * [taylor]: Taking taylor expansion of (- x) in x 0.671 * [taylor]: Taking taylor expansion of x in x 0.696 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in (x) around 0 0.696 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in x 0.696 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x)))) 0.696 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 0.696 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.696 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.696 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.697 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.697 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.698 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in x 0.698 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x)))) 0.698 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 0.698 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.698 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.698 * [taylor]: Taking taylor expansion of x in x 0.698 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.698 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.698 * [taylor]: Taking taylor expansion of x in x 0.699 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.699 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.699 * [taylor]: Taking taylor expansion of x in x 0.710 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in (x) around 0 0.710 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in x 0.710 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (exp (/ 1 x))) 0.710 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 0.710 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.710 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.710 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.710 * [taylor]: Taking taylor expansion of -1 in x 0.710 * [taylor]: Taking taylor expansion of x in x 0.711 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.711 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.711 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.711 * [taylor]: Taking taylor expansion of -1 in x 0.711 * [taylor]: Taking taylor expansion of x in x 0.711 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.711 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in x 0.712 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (exp (/ 1 x))) 0.712 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 0.712 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.712 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.712 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.712 * [taylor]: Taking taylor expansion of -1 in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.712 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.712 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.712 * [taylor]: Taking taylor expansion of -1 in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.729 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.729 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))) in (x y) around 0 0.729 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))) in y 0.729 * [taylor]: Taking taylor expansion of 0.5 in y 0.729 * [taylor]: Taking taylor expansion of (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) in y 0.729 * [taylor]: Taking taylor expansion of (cos y) in y 0.729 * [taylor]: Taking taylor expansion of y in y 0.729 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in y 0.729 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (exp (- x))) 0.729 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in y 0.730 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in y 0.730 * [taylor]: Taking taylor expansion of (exp x) in y 0.730 * [taylor]: Taking taylor expansion of x in y 0.730 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in y 0.730 * [taylor]: Taking taylor expansion of (exp x) in y 0.730 * [taylor]: Taking taylor expansion of x in y 0.731 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.731 * [taylor]: Taking taylor expansion of (- x) in y 0.731 * [taylor]: Taking taylor expansion of x in y 0.731 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))) in x 0.731 * [taylor]: Taking taylor expansion of 0.5 in x 0.731 * [taylor]: Taking taylor expansion of (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) in x 0.731 * [taylor]: Taking taylor expansion of (cos y) in x 0.731 * [taylor]: Taking taylor expansion of y in x 0.731 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in x 0.731 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (exp (- x))) 0.731 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 0.731 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.731 * [taylor]: Taking taylor expansion of (exp x) in x 0.731 * [taylor]: Taking taylor expansion of x in x 0.732 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.732 * [taylor]: Taking taylor expansion of (exp x) in x 0.732 * [taylor]: Taking taylor expansion of x in x 0.734 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.734 * [taylor]: Taking taylor expansion of (- x) in x 0.734 * [taylor]: Taking taylor expansion of x in x 0.734 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))) in x 0.734 * [taylor]: Taking taylor expansion of 0.5 in x 0.734 * [taylor]: Taking taylor expansion of (* (cos y) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) in x 0.734 * [taylor]: Taking taylor expansion of (cos y) in x 0.734 * [taylor]: Taking taylor expansion of y in x 0.734 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) in x 0.734 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (exp (- x))) 0.734 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 0.734 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.734 * [taylor]: Taking taylor expansion of (exp x) in x 0.734 * [taylor]: Taking taylor expansion of x in x 0.735 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.736 * [taylor]: Taking taylor expansion of (exp x) in x 0.736 * [taylor]: Taking taylor expansion of x in x 0.737 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.737 * [taylor]: Taking taylor expansion of (- x) in x 0.737 * [taylor]: Taking taylor expansion of x in x 0.738 * [taylor]: Taking taylor expansion of (* 1.0 (cos y)) in y 0.738 * [taylor]: Taking taylor expansion of 1.0 in y 0.738 * [taylor]: Taking taylor expansion of (cos y) in y 0.738 * [taylor]: Taking taylor expansion of y in y 0.742 * [taylor]: Taking taylor expansion of 0 in y 0.750 * [taylor]: Taking taylor expansion of (* 0.5 (cos y)) in y 0.750 * [taylor]: Taking taylor expansion of 0.5 in y 0.750 * [taylor]: Taking taylor expansion of (cos y) in y 0.750 * [taylor]: Taking taylor expansion of y in y 0.753 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))))) in (x y) around 0 0.753 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))))) in y 0.753 * [taylor]: Taking taylor expansion of 0.5 in y 0.753 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x))))) in y 0.753 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.753 * [taylor]: Taking taylor expansion of y in y 0.753 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in y 0.754 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x)))) 0.754 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in y 0.754 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in y 0.754 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.754 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.754 * [taylor]: Taking taylor expansion of x in y 0.754 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in y 0.754 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.754 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.754 * [taylor]: Taking taylor expansion of x in y 0.755 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.755 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.755 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.755 * [taylor]: Taking taylor expansion of x in y 0.755 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))))) in x 0.755 * [taylor]: Taking taylor expansion of 0.5 in x 0.755 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x))))) in x 0.755 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.755 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.755 * [taylor]: Taking taylor expansion of y in x 0.755 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in x 0.756 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x)))) 0.756 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 0.756 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.756 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.756 * [taylor]: Taking taylor expansion of x in x 0.756 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.756 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.756 * [taylor]: Taking taylor expansion of x in x 0.756 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.756 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.757 * [taylor]: Taking taylor expansion of x in x 0.757 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))))) in x 0.757 * [taylor]: Taking taylor expansion of 0.5 in x 0.757 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x))))) in x 0.757 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.757 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.757 * [taylor]: Taking taylor expansion of y in x 0.757 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (exp (- (/ 1 x)))) in x 0.757 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x)))) 0.757 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 0.757 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.757 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.757 * [taylor]: Taking taylor expansion of x in x 0.758 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.758 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.758 * [taylor]: Taking taylor expansion of x in x 0.758 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.758 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.758 * [taylor]: Taking taylor expansion of x in x 0.759 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 0.760 * [taylor]: Taking taylor expansion of 0.5 in y 0.760 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 0.760 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.760 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.760 * [taylor]: Taking taylor expansion of y in y 0.760 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.760 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.760 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.760 * [taylor]: Taking taylor expansion of x in y 0.760 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.760 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.760 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.760 * [taylor]: Taking taylor expansion of x in y 0.763 * [taylor]: Taking taylor expansion of 0 in y 0.770 * [taylor]: Taking taylor expansion of 0 in y 0.779 * [taylor]: Taking taylor expansion of 0 in y 0.779 * [approximate]: Taking taylor expansion of (* 0.5 (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y)))) in (x y) around 0 0.780 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y)))) in y 0.780 * [taylor]: Taking taylor expansion of 0.5 in y 0.780 * [taylor]: Taking taylor expansion of (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y))) in y 0.780 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in y 0.780 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (exp (/ 1 x))) 0.780 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in y 0.780 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in y 0.780 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.780 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.780 * [taylor]: Taking taylor expansion of -1 in y 0.780 * [taylor]: Taking taylor expansion of x in y 0.781 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in y 0.781 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.781 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.781 * [taylor]: Taking taylor expansion of -1 in y 0.781 * [taylor]: Taking taylor expansion of x in y 0.781 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.781 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.781 * [taylor]: Taking taylor expansion of x in y 0.781 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.781 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.781 * [taylor]: Taking taylor expansion of -1 in y 0.781 * [taylor]: Taking taylor expansion of y in y 0.782 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y)))) in x 0.782 * [taylor]: Taking taylor expansion of 0.5 in x 0.782 * [taylor]: Taking taylor expansion of (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y))) in x 0.782 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in x 0.782 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (exp (/ 1 x))) 0.782 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 0.782 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.782 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.782 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.782 * [taylor]: Taking taylor expansion of -1 in x 0.782 * [taylor]: Taking taylor expansion of x in x 0.782 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.782 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.782 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.782 * [taylor]: Taking taylor expansion of -1 in x 0.783 * [taylor]: Taking taylor expansion of x in x 0.783 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.783 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.783 * [taylor]: Taking taylor expansion of x in x 0.783 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.783 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.783 * [taylor]: Taking taylor expansion of -1 in x 0.783 * [taylor]: Taking taylor expansion of y in x 0.783 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y)))) in x 0.783 * [taylor]: Taking taylor expansion of 0.5 in x 0.783 * [taylor]: Taking taylor expansion of (* (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) (cos (/ -1 y))) in x 0.783 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (exp (/ 1 x))) in x 0.784 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (exp (/ 1 x))) 0.784 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 0.784 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.784 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.784 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.784 * [taylor]: Taking taylor expansion of -1 in x 0.784 * [taylor]: Taking taylor expansion of x in x 0.784 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.784 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.784 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.784 * [taylor]: Taking taylor expansion of -1 in x 0.784 * [taylor]: Taking taylor expansion of x in x 0.785 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.785 * [taylor]: Taking taylor expansion of x in x 0.785 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.785 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.785 * [taylor]: Taking taylor expansion of -1 in x 0.785 * [taylor]: Taking taylor expansion of y in x 0.786 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 0.786 * [taylor]: Taking taylor expansion of 0.5 in y 0.786 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 0.786 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.786 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.786 * [taylor]: Taking taylor expansion of -1 in y 0.786 * [taylor]: Taking taylor expansion of y in y 0.786 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 0.786 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.786 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.786 * [taylor]: Taking taylor expansion of x in y 0.786 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.786 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.786 * [taylor]: Taking taylor expansion of -1 in y 0.786 * [taylor]: Taking taylor expansion of x in y 0.789 * [taylor]: Taking taylor expansion of 0 in y 0.796 * [taylor]: Taking taylor expansion of 0 in y 0.804 * [taylor]: Taking taylor expansion of 0 in y 0.805 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 0.805 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 0.805 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.805 * [taylor]: Taking taylor expansion of (exp x) in x 0.805 * [taylor]: Taking taylor expansion of x in x 0.811 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.811 * [taylor]: Taking taylor expansion of (exp x) in x 0.811 * [taylor]: Taking taylor expansion of x in x 0.814 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 0.814 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.814 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.814 * [taylor]: Taking taylor expansion of x in x 0.815 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.815 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.815 * [taylor]: Taking taylor expansion of x in x 0.818 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 0.818 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.818 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.818 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.818 * [taylor]: Taking taylor expansion of -1 in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.818 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.818 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.818 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.818 * [taylor]: Taking taylor expansion of -1 in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.822 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 0.822 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 0.822 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.822 * [taylor]: Taking taylor expansion of (exp x) in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.823 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 0.823 * [taylor]: Taking taylor expansion of (exp x) in x 0.823 * [taylor]: Taking taylor expansion of x in x 0.826 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 0.826 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.826 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.826 * [taylor]: Taking taylor expansion of x in x 0.826 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 0.826 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.826 * [taylor]: Taking taylor expansion of x in x 0.829 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 0.829 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.829 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.829 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.829 * [taylor]: Taking taylor expansion of -1 in x 0.829 * [taylor]: Taking taylor expansion of x in x 0.830 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 0.830 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.830 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.830 * [taylor]: Taking taylor expansion of -1 in x 0.830 * [taylor]: Taking taylor expansion of x in x 0.833 * * * [progress]: simplifying candidates 0.834 * [simplify]: Simplifying using # : (expm1 (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (log1p (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (* (sqrt (exp x)) (sqrt (exp x))) (log (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (exp (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (* (* (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (expm1 (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (log1p (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)) (+ (- (log (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (log 2.0)) (log (cos y))) (+ (log (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (log (cos y))) (log (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (exp (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (* (/ (* (* (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (cos y) (cos y)) (cos y))) (* (* (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (* (* (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (* (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (sqrt (cos y))) (* (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (sqrt (cos y))) (* (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y))) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y)))) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (sqrt (cos y))) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) 1) (* (cbrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (cos y)) (* (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (cos y)) (* (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) 2.0) (cos y)) (* (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) 2.0) (cos y)) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) (cbrt 2.0)) (cos y)) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) (sqrt 2.0)) (cos y)) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)) (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)) (* (/ 1 2.0) (cos y)) (* (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) (cos y)) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (- (+ (* 0.5 (pow x 2)) 1.0) (* 0.5 (pow y 2))) (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) 0.839 * * [simplify]: iteration 0 : 268 enodes (cost 701 ) 0.844 * * [simplify]: iteration 1 : 924 enodes (cost 578 ) 0.859 * * [simplify]: iteration 2 : 3961 enodes (cost 554 ) 0.936 * * [simplify]: iteration 3 : 5001 enodes (cost 548 ) 0.939 * [simplify]: Simplified to: (expm1 (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (log1p (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (exp x) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (pow (+ (exp x) (exp (- x))) 3) (hypot (sqrt (exp x)) (pow (exp x) -1/2)) (hypot (sqrt (exp x)) (pow (exp x) -1/2)) (expm1 (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (log1p (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) 2.0) (- (log (* (cos y) (+ (exp (* -1 x)) (exp x)))) (log 2.0)) (- (log (* (cos y) (+ (exp (* -1 x)) (exp x)))) (log 2.0)) (- (log (* (cos y) (+ (exp (* -1 x)) (exp x)))) (log 2.0)) (pow (exp (cos y)) (/ (+ (exp x) (exp (- x))) 2.0)) (pow (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) 2.0) 3) (pow (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) 2.0) 3) (* (cbrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y)))) (cbrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (pow (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) 2.0) 3) (sqrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (sqrt (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0) (cos y))) (* (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (sqrt (cos y))) (* (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (sqrt (cos y))) (/ (sqrt (cos y)) (/ (sqrt 2.0) (hypot (sqrt (exp x)) (pow (exp -1) (/ x 2))))) (/ (sqrt (cos y)) (/ (sqrt 2.0) (hypot (sqrt (exp x)) (pow (exp -1) (/ x 2))))) (/ (* (* (cbrt (cos y)) (cbrt (cos y))) (+ (exp x) (exp (- x)))) 2.0) (/ (* (sqrt (cos y)) (+ (exp x) (exp (- x)))) 2.0) (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (cos y)) (* (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x))) 2.0)) (cos y)) (* (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (cbrt 2.0)) (cos y)) (* (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) (sqrt 2.0)) (cos y)) (* (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))) 2.0) (cos y)) (/ (* (cos y) (hypot (sqrt (exp x)) (pow (exp -1) (/ x 2)))) (cbrt 2.0)) (/ (* (cos y) (hypot (sqrt (exp x)) (pow (exp -1) (/ x 2)))) (sqrt 2.0)) (/ (* (cos y) (hypot (sqrt (exp x)) (pow (exp -1) (/ x 2)))) 2.0) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (cbrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) (sqrt 2.0)) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) 2.0) (/ (* (cos y) (+ (exp (* -1 x)) (exp x))) 2.0) (/ (cos y) 2.0) (* (cos y) (+ (exp (* -1 x)) (exp x))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (* 1/2 x) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (* 1/2 x) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (fma 0.5 (- (pow x 2) (pow y 2)) 1.0) (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x)))) (fma 1/8 (pow x 2) (fma 1/2 x 1)) (sqrt (exp x)) (sqrt (exp x)) (fma 1/8 (pow x 2) (fma 1/2 x 1)) (sqrt (exp x)) (sqrt (exp x)) 0.940 * * * [progress]: adding candidates to table 1.224 * * [progress]: iteration 3 / 4 1.224 * * * [progress]: picking best candidate 1.364 * * * * [pick]: Picked # 1.364 * * * [progress]: localizing error 1.378 * * * [progress]: generating rewritten candidates 1.379 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.406 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 1.412 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 1.418 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1.426 * * * [progress]: generating series expansions 1.426 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.426 * [approximate]: Taking taylor expansion of (* (* (cbrt 0.5) (cos y)) (pow (+ (exp x) (exp (- x))) 1/3)) in (x y) around 0 1.426 * [taylor]: Taking taylor expansion of (* (* (cbrt 0.5) (cos y)) (pow (+ (exp x) (exp (- x))) 1/3)) in y 1.426 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (cos y)) in y 1.426 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y 1.426 * [taylor]: Taking taylor expansion of 0.5 in y 1.427 * [taylor]: Taking taylor expansion of (cos y) in y 1.427 * [taylor]: Taking taylor expansion of y in y 1.427 * [taylor]: Taking taylor expansion of (pow (+ (exp x) (exp (- x))) 1/3) in y 1.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp x) (exp (- x)))))) in y 1.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp x) (exp (- x))))) in y 1.427 * [taylor]: Taking taylor expansion of 1/3 in y 1.427 * [taylor]: Taking taylor expansion of (log (+ (exp x) (exp (- x)))) in y 1.427 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 1.427 * [taylor]: Taking taylor expansion of (exp x) in y 1.427 * [taylor]: Taking taylor expansion of x in y 1.427 * [taylor]: Taking taylor expansion of (exp (- x)) in y 1.427 * [taylor]: Taking taylor expansion of (- x) in y 1.427 * [taylor]: Taking taylor expansion of x in y 1.427 * [taylor]: Taking taylor expansion of (* (* (cbrt 0.5) (cos y)) (pow (+ (exp x) (exp (- x))) 1/3)) in x 1.427 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (cos y)) in x 1.427 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x 1.428 * [taylor]: Taking taylor expansion of 0.5 in x 1.428 * [taylor]: Taking taylor expansion of (cos y) in x 1.428 * [taylor]: Taking taylor expansion of y in x 1.428 * [taylor]: Taking taylor expansion of (pow (+ (exp x) (exp (- x))) 1/3) in x 1.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp x) (exp (- x)))))) in x 1.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp x) (exp (- x))))) in x 1.428 * [taylor]: Taking taylor expansion of 1/3 in x 1.428 * [taylor]: Taking taylor expansion of (log (+ (exp x) (exp (- x)))) in x 1.428 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.428 * [taylor]: Taking taylor expansion of (exp x) in x 1.428 * [taylor]: Taking taylor expansion of x in x 1.428 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.429 * [taylor]: Taking taylor expansion of (- x) in x 1.429 * [taylor]: Taking taylor expansion of x in x 1.431 * [taylor]: Taking taylor expansion of (* (* (cbrt 0.5) (cos y)) (pow (+ (exp x) (exp (- x))) 1/3)) in x 1.431 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (cos y)) in x 1.431 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x 1.431 * [taylor]: Taking taylor expansion of 0.5 in x 1.432 * [taylor]: Taking taylor expansion of (cos y) in x 1.432 * [taylor]: Taking taylor expansion of y in x 1.432 * [taylor]: Taking taylor expansion of (pow (+ (exp x) (exp (- x))) 1/3) in x 1.432 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp x) (exp (- x)))))) in x 1.432 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp x) (exp (- x))))) in x 1.432 * [taylor]: Taking taylor expansion of 1/3 in x 1.432 * [taylor]: Taking taylor expansion of (log (+ (exp x) (exp (- x)))) in x 1.432 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.432 * [taylor]: Taking taylor expansion of (exp x) in x 1.432 * [taylor]: Taking taylor expansion of x in x 1.432 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.432 * [taylor]: Taking taylor expansion of (- x) in x 1.432 * [taylor]: Taking taylor expansion of x in x 1.436 * [taylor]: Taking taylor expansion of (* (* (cbrt 0.5) (cos y)) (pow 2 1/3)) in y 1.436 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (cos y)) in y 1.436 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y 1.436 * [taylor]: Taking taylor expansion of 0.5 in y 1.437 * [taylor]: Taking taylor expansion of (cos y) in y 1.437 * [taylor]: Taking taylor expansion of y in y 1.437 * [taylor]: Taking taylor expansion of (pow 2 1/3) in y 1.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 2))) in y 1.437 * [taylor]: Taking taylor expansion of (* 1/3 (log 2)) in y 1.437 * [taylor]: Taking taylor expansion of 1/3 in y 1.437 * [taylor]: Taking taylor expansion of (log 2) in y 1.437 * [taylor]: Taking taylor expansion of 2 in y 1.451 * [taylor]: Taking taylor expansion of 0 in y 1.466 * [taylor]: Taking taylor expansion of (* 1/6 (* (* (cbrt 0.5) (cos y)) (pow 2 1/3))) in y 1.467 * [taylor]: Taking taylor expansion of 1/6 in y 1.467 * [taylor]: Taking taylor expansion of (* (* (cbrt 0.5) (cos y)) (pow 2 1/3)) in y 1.467 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (cos y)) in y 1.467 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y 1.467 * [taylor]: Taking taylor expansion of 0.5 in y 1.467 * [taylor]: Taking taylor expansion of (cos y) in y 1.467 * [taylor]: Taking taylor expansion of y in y 1.467 * [taylor]: Taking taylor expansion of (pow 2 1/3) in y 1.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 2))) in y 1.467 * [taylor]: Taking taylor expansion of (* 1/3 (log 2)) in y 1.467 * [taylor]: Taking taylor expansion of 1/3 in y 1.467 * [taylor]: Taking taylor expansion of (log 2) in y 1.467 * [taylor]: Taking taylor expansion of 2 in y 1.491 * [approximate]: Taking taylor expansion of (* (* (cbrt 0.5) (cos (/ 1 y))) (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3)) in (x y) around 0 1.491 * [taylor]: Taking taylor expansion of (* (* (cbrt 0.5) (cos (/ 1 y))) (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3)) in y 1.491 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (cos (/ 1 y))) in y 1.491 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y 1.491 * [taylor]: Taking taylor expansion of 0.5 in y 1.491 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.491 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.491 * [taylor]: Taking taylor expansion of y in y 1.492 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3) in y 1.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in y 1.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 1.492 * [taylor]: Taking taylor expansion of 1/3 in y 1.492 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 1.492 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1.492 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.492 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.492 * [taylor]: Taking taylor expansion of x in y 1.492 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.492 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.492 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.492 * [taylor]: Taking taylor expansion of x in y 1.493 * [taylor]: Taking taylor expansion of (* (* (cbrt 0.5) (cos (/ 1 y))) (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3)) in x 1.493 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (cos (/ 1 y))) in x 1.493 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x 1.493 * [taylor]: Taking taylor expansion of 0.5 in x 1.493 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.493 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.493 * [taylor]: Taking taylor expansion of y in x 1.493 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3) in x 1.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in x 1.494 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 1.494 * [taylor]: Taking taylor expansion of 1/3 in x 1.494 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 1.494 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.494 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.494 * [taylor]: Taking taylor expansion of x in x 1.494 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.494 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.494 * [taylor]: Taking taylor expansion of x in x 1.495 * [taylor]: Taking taylor expansion of (* (* (cbrt 0.5) (cos (/ 1 y))) (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3)) in x 1.495 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (cos (/ 1 y))) in x 1.495 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x 1.495 * [taylor]: Taking taylor expansion of 0.5 in x 1.496 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.496 * [taylor]: Taking taylor expansion of y in x 1.496 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3) in x 1.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in x 1.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 1.496 * [taylor]: Taking taylor expansion of 1/3 in x 1.496 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 1.496 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.496 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.496 * [taylor]: Taking taylor expansion of x in x 1.496 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.496 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.496 * [taylor]: Taking taylor expansion of x in x 1.498 * [taylor]: Taking taylor expansion of (* (* (cbrt 0.5) (cos (/ 1 y))) (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3)) in y 1.498 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (cos (/ 1 y))) in y 1.498 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y 1.498 * [taylor]: Taking taylor expansion of 0.5 in y 1.499 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.499 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.499 * [taylor]: Taking taylor expansion of y in y 1.499 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 1/3) in y 1.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in y 1.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 1.499 * [taylor]: Taking taylor expansion of 1/3 in y 1.499 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 1.499 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1.499 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.499 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.499 * [taylor]: Taking taylor expansion of x in y 1.499 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.499 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.499 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.499 * [taylor]: Taking taylor expansion of x in y 1.505 * [taylor]: Taking taylor expansion of 0 in y 1.517 * [taylor]: Taking taylor expansion of 0 in y 1.536 * [taylor]: Taking taylor expansion of 0 in y 1.537 * [approximate]: Taking taylor expansion of (* (* (cbrt 0.5) (cos (/ -1 y))) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 1/3)) in (x y) around 0 1.537 * [taylor]: Taking taylor expansion of (* (* (cbrt 0.5) (cos (/ -1 y))) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 1/3)) in y 1.537 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (cos (/ -1 y))) in y 1.537 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y 1.537 * [taylor]: Taking taylor expansion of 0.5 in y 1.537 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.537 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.537 * [taylor]: Taking taylor expansion of -1 in y 1.537 * [taylor]: Taking taylor expansion of y in y 1.538 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 1/3) in y 1.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 1.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 1.538 * [taylor]: Taking taylor expansion of 1/3 in y 1.538 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 1.538 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 1.538 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.538 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.538 * [taylor]: Taking taylor expansion of x in y 1.538 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.538 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.538 * [taylor]: Taking taylor expansion of -1 in y 1.538 * [taylor]: Taking taylor expansion of x in y 1.538 * [taylor]: Taking taylor expansion of (* (* (cbrt 0.5) (cos (/ -1 y))) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 1/3)) in x 1.538 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (cos (/ -1 y))) in x 1.538 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x 1.538 * [taylor]: Taking taylor expansion of 0.5 in x 1.539 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.539 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.539 * [taylor]: Taking taylor expansion of -1 in x 1.539 * [taylor]: Taking taylor expansion of y in x 1.539 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 1/3) in x 1.539 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x 1.539 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 1.539 * [taylor]: Taking taylor expansion of 1/3 in x 1.539 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 1.539 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1.539 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.539 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.539 * [taylor]: Taking taylor expansion of x in x 1.540 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.540 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.540 * [taylor]: Taking taylor expansion of -1 in x 1.540 * [taylor]: Taking taylor expansion of x in x 1.540 * [taylor]: Taking taylor expansion of (* (* (cbrt 0.5) (cos (/ -1 y))) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 1/3)) in x 1.540 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (cos (/ -1 y))) in x 1.540 * [taylor]: Taking taylor expansion of (cbrt 0.5) in x 1.540 * [taylor]: Taking taylor expansion of 0.5 in x 1.541 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.541 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.541 * [taylor]: Taking taylor expansion of -1 in x 1.541 * [taylor]: Taking taylor expansion of y in x 1.541 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 1/3) in x 1.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x 1.541 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 1.541 * [taylor]: Taking taylor expansion of 1/3 in x 1.541 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 1.541 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1.541 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.541 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.541 * [taylor]: Taking taylor expansion of x in x 1.542 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.542 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.542 * [taylor]: Taking taylor expansion of -1 in x 1.542 * [taylor]: Taking taylor expansion of x in x 1.544 * [taylor]: Taking taylor expansion of (* (* (cbrt 0.5) (cos (/ -1 y))) (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 1/3)) in y 1.544 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (cos (/ -1 y))) in y 1.544 * [taylor]: Taking taylor expansion of (cbrt 0.5) in y 1.544 * [taylor]: Taking taylor expansion of 0.5 in y 1.544 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.544 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.544 * [taylor]: Taking taylor expansion of -1 in y 1.544 * [taylor]: Taking taylor expansion of y in y 1.545 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) (exp (/ -1 x))) 1/3) in y 1.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 1.545 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 1.545 * [taylor]: Taking taylor expansion of 1/3 in y 1.545 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 1.545 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 1.545 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.545 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.545 * [taylor]: Taking taylor expansion of x in y 1.545 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.545 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.545 * [taylor]: Taking taylor expansion of -1 in y 1.545 * [taylor]: Taking taylor expansion of x in y 1.551 * [taylor]: Taking taylor expansion of 0 in y 1.561 * [taylor]: Taking taylor expansion of 0 in y 1.577 * [taylor]: Taking taylor expansion of 0 in y 1.577 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 1.577 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 1.578 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.578 * [taylor]: Taking taylor expansion of (exp x) in x 1.578 * [taylor]: Taking taylor expansion of x in x 1.578 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.578 * [taylor]: Taking taylor expansion of (- x) in x 1.578 * [taylor]: Taking taylor expansion of x in x 1.578 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.578 * [taylor]: Taking taylor expansion of (exp x) in x 1.578 * [taylor]: Taking taylor expansion of x in x 1.578 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.578 * [taylor]: Taking taylor expansion of (- x) in x 1.578 * [taylor]: Taking taylor expansion of x in x 1.592 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 1.593 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.593 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.593 * [taylor]: Taking taylor expansion of x in x 1.593 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.593 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.593 * [taylor]: Taking taylor expansion of x in x 1.593 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.593 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.594 * [taylor]: Taking taylor expansion of x in x 1.594 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.594 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.594 * [taylor]: Taking taylor expansion of x in x 1.596 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 1.596 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1.596 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.596 * [taylor]: Taking taylor expansion of x in x 1.597 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.597 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.597 * [taylor]: Taking taylor expansion of -1 in x 1.597 * [taylor]: Taking taylor expansion of x in x 1.597 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1.597 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.597 * [taylor]: Taking taylor expansion of x in x 1.597 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.597 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.597 * [taylor]: Taking taylor expansion of -1 in x 1.597 * [taylor]: Taking taylor expansion of x in x 1.599 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 1.599 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 1.599 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.599 * [taylor]: Taking taylor expansion of (exp x) in x 1.599 * [taylor]: Taking taylor expansion of x in x 1.599 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.599 * [taylor]: Taking taylor expansion of (- x) in x 1.599 * [taylor]: Taking taylor expansion of x in x 1.600 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.600 * [taylor]: Taking taylor expansion of (exp x) in x 1.600 * [taylor]: Taking taylor expansion of x in x 1.600 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.600 * [taylor]: Taking taylor expansion of (- x) in x 1.600 * [taylor]: Taking taylor expansion of x in x 1.618 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 1.618 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.618 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.618 * [taylor]: Taking taylor expansion of x in x 1.618 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.618 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.618 * [taylor]: Taking taylor expansion of x in x 1.619 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.619 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.619 * [taylor]: Taking taylor expansion of x in x 1.619 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.619 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.619 * [taylor]: Taking taylor expansion of x in x 1.622 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 1.622 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1.622 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.622 * [taylor]: Taking taylor expansion of x in x 1.622 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.622 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.622 * [taylor]: Taking taylor expansion of -1 in x 1.622 * [taylor]: Taking taylor expansion of x in x 1.622 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1.623 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.623 * [taylor]: Taking taylor expansion of x in x 1.623 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.623 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.623 * [taylor]: Taking taylor expansion of -1 in x 1.623 * [taylor]: Taking taylor expansion of x in x 1.625 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 1.625 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 1.625 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.625 * [taylor]: Taking taylor expansion of (exp x) in x 1.625 * [taylor]: Taking taylor expansion of x in x 1.625 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.625 * [taylor]: Taking taylor expansion of (- x) in x 1.625 * [taylor]: Taking taylor expansion of x in x 1.626 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.626 * [taylor]: Taking taylor expansion of (exp x) in x 1.626 * [taylor]: Taking taylor expansion of x in x 1.626 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.626 * [taylor]: Taking taylor expansion of (- x) in x 1.626 * [taylor]: Taking taylor expansion of x in x 1.640 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 1.640 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.640 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.640 * [taylor]: Taking taylor expansion of x in x 1.640 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.640 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.640 * [taylor]: Taking taylor expansion of x in x 1.641 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.641 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.641 * [taylor]: Taking taylor expansion of x in x 1.641 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.641 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.641 * [taylor]: Taking taylor expansion of x in x 1.643 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 1.643 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1.643 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.643 * [taylor]: Taking taylor expansion of x in x 1.644 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.644 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.644 * [taylor]: Taking taylor expansion of -1 in x 1.644 * [taylor]: Taking taylor expansion of x in x 1.644 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 1.644 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.644 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.644 * [taylor]: Taking taylor expansion of x in x 1.644 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.644 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.644 * [taylor]: Taking taylor expansion of -1 in x 1.644 * [taylor]: Taking taylor expansion of x in x 1.646 * * * [progress]: simplifying candidates 1.648 * [simplify]: Simplifying using # : (expm1 (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (log1p (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (+ (log (cbrt (/ (+ (exp x) (exp (- x))) 2.0))) (log (cos y))) (log (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (exp (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (cbrt (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))) (cbrt (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (* (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (sqrt (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (sqrt (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (cos y))) (* (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (cos y))) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (cos y))) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (cos y))) (* (sqrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (cos y))) (* (sqrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (cos y))) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) 1) (* (cbrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0))) (cos y)) (* (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (cos y)) (* (cbrt (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0))) (cos y)) (* (cbrt (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (cos y)) (* (cbrt (/ (cbrt (+ (exp x) (exp (- x)))) 2.0)) (cos y)) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0))) (cos y)) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (cos y)) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) (cbrt 2.0))) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) (cbrt 2.0))) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (cbrt (/ 1 2.0)) (cos y)) (* (cbrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0))) (cos y)) (* (sqrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0))) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (cbrt (+ (exp x) (exp (- x)))) (cos y)) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (* (exp (exp x)) (exp (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (* (exp (exp x)) (exp (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (* (exp (exp x)) (exp (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (- (+ (* (cbrt 0.5) (pow 2 1/3)) (* 1/6 (* (* (cbrt 0.5) (pow x 2)) (pow 2 1/3)))) (* 1/2 (* (* (cbrt 0.5) (pow y 2)) (pow 2 1/3)))) (* (* (cbrt 0.5) (cos y)) (pow (+ (exp x) (exp (- x))) 1/3)) (* (* (cbrt 0.5) (cos y)) (pow (+ (exp (* -1 x)) (exp x)) 1/3)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) 1.653 * * [simplify]: iteration 0 : 276 enodes (cost 763 ) 1.657 * * [simplify]: iteration 1 : 856 enodes (cost 684 ) 1.673 * * [simplify]: iteration 2 : 3696 enodes (cost 675 ) 1.767 * * [simplify]: iteration 3 : 5001 enodes (cost 672 ) 1.770 * [simplify]: Simplified to: (expm1 (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (log1p (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (log (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (log (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (exp (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (/ (* (pow (cos y) 3) (+ (exp (* -1 x)) (exp x))) 2.0) (* (cbrt (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (cbrt (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)))) (cbrt (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (pow (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) 3) (sqrt (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (sqrt (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))) (* (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (cos y))) (* (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (cos y))) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (cos y))) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (sqrt (cos y))) (* (sqrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (cos y))) (* (sqrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0))) (sqrt (cos y))) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y))) (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (* (cbrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0))) (cos y)) (* (cbrt (sqrt (/ (+ (exp x) (exp (- x))) 2.0))) (cos y)) (* (cbrt (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0))) (cos y)) (* (cbrt (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (cos y)) (* (cbrt (/ (cbrt (+ (exp x) (exp (- x)))) 2.0)) (cos y)) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0))) (cos y)) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0))) (cos y)) (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) (cbrt 2.0))) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) (cbrt 2.0))) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) (sqrt 2.0))) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (cbrt (/ 1 2.0)) (cos y)) (* (cbrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0))) (cos y)) (* (sqrt (cbrt (/ (+ (exp x) (exp (- x))) 2.0))) (cos y)) (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y)) (* (cbrt (+ (exp x) (exp (- x)))) (cos y)) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (pow (+ (exp (* -1 x)) (exp x)) 2/3) (pow (+ (exp (* -1 x)) (exp x)) 1/3) (pow (+ (exp (* -1 x)) (exp x)) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (fma (exp x) (exp x) (expm1 (* x -2))) (fma (- (exp (- x))) (exp (* -1 x)) (exp (+ x x))) (- (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (pow (+ (exp (* -1 x)) (exp x)) 2/3) (pow (+ (exp (* -1 x)) (exp x)) 1/3) (pow (+ (exp (* -1 x)) (exp x)) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (fma (exp x) (exp x) (expm1 (* x -2))) (fma (- (exp (- x))) (exp (* -1 x)) (exp (+ x x))) (- (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (pow (+ (exp (* -1 x)) (exp x)) 2/3) (pow (+ (exp (* -1 x)) (exp x)) 1/3) (pow (+ (exp (* -1 x)) (exp x)) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (fma (exp x) (exp x) (expm1 (* x -2))) (fma (- (exp (- x))) (exp (* -1 x)) (exp (+ x x))) (- (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) (* (pow 2 1/3) (- (fma (* 1/6 (pow x 2)) (cbrt 0.5) (cbrt 0.5)) (* 1/2 (* (cbrt 0.5) (pow y 2))))) (* (* (cbrt 0.5) (cos y)) (pow (+ (exp (* -1 x)) (exp x)) 1/3)) (* (* (cbrt 0.5) (cos y)) (pow (+ (exp (* -1 x)) (exp x)) 1/3)) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x)) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x)) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp (* -1 x)) (exp x)) (+ (exp (* -1 x)) (exp x)) 1.771 * * * [progress]: adding candidates to table 2.155 * * [progress]: iteration 4 / 4 2.155 * * * [progress]: picking best candidate 2.164 * * * * [pick]: Picked # 2.164 * * * [progress]: localizing error 2.183 * * * [progress]: generating rewritten candidates 2.183 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1) 2.194 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 2.195 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2) 2.197 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1) 2.201 * * * [progress]: generating series expansions 2.202 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1) 2.202 * [approximate]: Taking taylor expansion of (pow (exp x) 1/3) in (x) around 0 2.202 * [taylor]: Taking taylor expansion of (pow (exp x) 1/3) in x 2.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp x)))) in x 2.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp x))) in x 2.202 * [taylor]: Taking taylor expansion of 1/3 in x 2.202 * [taylor]: Taking taylor expansion of (log (exp x)) in x 2.202 * [taylor]: Taking taylor expansion of (exp x) in x 2.202 * [taylor]: Taking taylor expansion of x in x 2.204 * [taylor]: Taking taylor expansion of (pow (exp x) 1/3) in x 2.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp x)))) in x 2.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp x))) in x 2.204 * [taylor]: Taking taylor expansion of 1/3 in x 2.204 * [taylor]: Taking taylor expansion of (log (exp x)) in x 2.204 * [taylor]: Taking taylor expansion of (exp x) in x 2.205 * [taylor]: Taking taylor expansion of x in x 2.211 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in (x) around 0 2.212 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in x 2.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 x))))) in x 2.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 x)))) in x 2.212 * [taylor]: Taking taylor expansion of 1/3 in x 2.212 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 2.212 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.212 * [taylor]: Taking taylor expansion of x in x 2.212 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in x 2.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 x))))) in x 2.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 x)))) in x 2.212 * [taylor]: Taking taylor expansion of 1/3 in x 2.212 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 2.212 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.212 * [taylor]: Taking taylor expansion of x in x 2.244 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in (x) around 0 2.244 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in x 2.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 x))))) in x 2.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 x)))) in x 2.244 * [taylor]: Taking taylor expansion of 1/3 in x 2.244 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 2.244 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.244 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.244 * [taylor]: Taking taylor expansion of -1 in x 2.244 * [taylor]: Taking taylor expansion of x in x 2.245 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in x 2.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 x))))) in x 2.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 x)))) in x 2.245 * [taylor]: Taking taylor expansion of 1/3 in x 2.245 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 2.245 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.245 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.245 * [taylor]: Taking taylor expansion of -1 in x 2.245 * [taylor]: Taking taylor expansion of x in x 2.281 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 2.281 * [approximate]: Taking taylor expansion of (pow (exp x) 1/6) in (x) around 0 2.281 * [taylor]: Taking taylor expansion of (pow (exp x) 1/6) in x 2.281 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp x)))) in x 2.281 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp x))) in x 2.281 * [taylor]: Taking taylor expansion of 1/6 in x 2.281 * [taylor]: Taking taylor expansion of (log (exp x)) in x 2.281 * [taylor]: Taking taylor expansion of (exp x) in x 2.281 * [taylor]: Taking taylor expansion of x in x 2.283 * [taylor]: Taking taylor expansion of (pow (exp x) 1/6) in x 2.283 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp x)))) in x 2.283 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp x))) in x 2.283 * [taylor]: Taking taylor expansion of 1/6 in x 2.283 * [taylor]: Taking taylor expansion of (log (exp x)) in x 2.283 * [taylor]: Taking taylor expansion of (exp x) in x 2.283 * [taylor]: Taking taylor expansion of x in x 2.290 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/6) in (x) around 0 2.290 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/6) in x 2.290 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ 1 x))))) in x 2.290 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ 1 x)))) in x 2.290 * [taylor]: Taking taylor expansion of 1/6 in x 2.290 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 2.290 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.290 * [taylor]: Taking taylor expansion of x in x 2.290 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/6) in x 2.290 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ 1 x))))) in x 2.290 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ 1 x)))) in x 2.290 * [taylor]: Taking taylor expansion of 1/6 in x 2.290 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 2.290 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.291 * [taylor]: Taking taylor expansion of x in x 2.322 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/6) in (x) around 0 2.322 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/6) in x 2.322 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ -1 x))))) in x 2.322 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ -1 x)))) in x 2.322 * [taylor]: Taking taylor expansion of 1/6 in x 2.322 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 2.322 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.322 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.322 * [taylor]: Taking taylor expansion of -1 in x 2.322 * [taylor]: Taking taylor expansion of x in x 2.323 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/6) in x 2.323 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ -1 x))))) in x 2.323 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ -1 x)))) in x 2.323 * [taylor]: Taking taylor expansion of 1/6 in x 2.323 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 2.323 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.323 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.323 * [taylor]: Taking taylor expansion of -1 in x 2.323 * [taylor]: Taking taylor expansion of x in x 2.357 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2) 2.357 * [approximate]: Taking taylor expansion of (pow (exp x) 1/6) in (x) around 0 2.357 * [taylor]: Taking taylor expansion of (pow (exp x) 1/6) in x 2.357 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp x)))) in x 2.357 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp x))) in x 2.357 * [taylor]: Taking taylor expansion of 1/6 in x 2.357 * [taylor]: Taking taylor expansion of (log (exp x)) in x 2.357 * [taylor]: Taking taylor expansion of (exp x) in x 2.357 * [taylor]: Taking taylor expansion of x in x 2.360 * [taylor]: Taking taylor expansion of (pow (exp x) 1/6) in x 2.360 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp x)))) in x 2.360 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp x))) in x 2.360 * [taylor]: Taking taylor expansion of 1/6 in x 2.360 * [taylor]: Taking taylor expansion of (log (exp x)) in x 2.360 * [taylor]: Taking taylor expansion of (exp x) in x 2.360 * [taylor]: Taking taylor expansion of x in x 2.366 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/6) in (x) around 0 2.366 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/6) in x 2.366 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ 1 x))))) in x 2.366 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ 1 x)))) in x 2.366 * [taylor]: Taking taylor expansion of 1/6 in x 2.366 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 2.366 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.366 * [taylor]: Taking taylor expansion of x in x 2.367 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/6) in x 2.367 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ 1 x))))) in x 2.367 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ 1 x)))) in x 2.367 * [taylor]: Taking taylor expansion of 1/6 in x 2.367 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 2.367 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.367 * [taylor]: Taking taylor expansion of x in x 2.399 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/6) in (x) around 0 2.399 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/6) in x 2.399 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ -1 x))))) in x 2.399 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ -1 x)))) in x 2.399 * [taylor]: Taking taylor expansion of 1/6 in x 2.399 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 2.399 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.399 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.399 * [taylor]: Taking taylor expansion of -1 in x 2.399 * [taylor]: Taking taylor expansion of x in x 2.400 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/6) in x 2.400 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ -1 x))))) in x 2.400 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ -1 x)))) in x 2.400 * [taylor]: Taking taylor expansion of 1/6 in x 2.400 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 2.400 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.400 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.400 * [taylor]: Taking taylor expansion of -1 in x 2.400 * [taylor]: Taking taylor expansion of x in x 2.434 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1) 2.434 * [approximate]: Taking taylor expansion of (pow (exp x) 1/6) in (x) around 0 2.434 * [taylor]: Taking taylor expansion of (pow (exp x) 1/6) in x 2.434 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp x)))) in x 2.434 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp x))) in x 2.434 * [taylor]: Taking taylor expansion of 1/6 in x 2.434 * [taylor]: Taking taylor expansion of (log (exp x)) in x 2.434 * [taylor]: Taking taylor expansion of (exp x) in x 2.434 * [taylor]: Taking taylor expansion of x in x 2.436 * [taylor]: Taking taylor expansion of (pow (exp x) 1/6) in x 2.437 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp x)))) in x 2.437 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp x))) in x 2.437 * [taylor]: Taking taylor expansion of 1/6 in x 2.437 * [taylor]: Taking taylor expansion of (log (exp x)) in x 2.437 * [taylor]: Taking taylor expansion of (exp x) in x 2.437 * [taylor]: Taking taylor expansion of x in x 2.443 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/6) in (x) around 0 2.443 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/6) in x 2.443 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ 1 x))))) in x 2.443 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ 1 x)))) in x 2.443 * [taylor]: Taking taylor expansion of 1/6 in x 2.443 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 2.443 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.443 * [taylor]: Taking taylor expansion of x in x 2.444 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/6) in x 2.444 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ 1 x))))) in x 2.444 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ 1 x)))) in x 2.444 * [taylor]: Taking taylor expansion of 1/6 in x 2.444 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 2.444 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.444 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.444 * [taylor]: Taking taylor expansion of x in x 2.475 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/6) in (x) around 0 2.476 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/6) in x 2.476 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ -1 x))))) in x 2.476 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ -1 x)))) in x 2.476 * [taylor]: Taking taylor expansion of 1/6 in x 2.476 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 2.476 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.476 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.476 * [taylor]: Taking taylor expansion of -1 in x 2.476 * [taylor]: Taking taylor expansion of x in x 2.476 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/6) in x 2.476 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ -1 x))))) in x 2.476 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ -1 x)))) in x 2.476 * [taylor]: Taking taylor expansion of 1/6 in x 2.476 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 2.476 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.476 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.476 * [taylor]: Taking taylor expansion of -1 in x 2.476 * [taylor]: Taking taylor expansion of x in x 2.512 * * * [progress]: simplifying candidates 2.513 * [simplify]: Simplifying using # : (expm1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (log1p (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (+ 1/3 1/3) (+ 1 1) (* (sqrt (exp x)) (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (+ 1 1) (+ (log (cbrt (sqrt (exp x)))) (log (cbrt (sqrt (exp x))))) (log (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (exp (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (* (sqrt (exp x)) (sqrt (exp x))) (* (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (* (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (* (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (cbrt (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))) (* (cbrt (sqrt (cbrt (exp x)))) (cbrt (sqrt (cbrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (cbrt (sqrt (exp x))))) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (cbrt (sqrt (exp x)))))) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (cbrt (sqrt (exp x))))) (* (sqrt (cbrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* (sqrt (cbrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* 1 1) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* (sqrt (cbrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (sqrt (cbrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (sqrt (cbrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (sqrt (cbrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (sqrt (cbrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* (sqrt (cbrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* 2 1/3) (* 2 1) (* (cbrt (sqrt (exp x))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt 1))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt 1)) (* (cbrt (sqrt (exp x))) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (cbrt (sqrt (exp x)))))) (* (cbrt (sqrt (exp x))) (sqrt (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (exp x))) 1) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (cbrt (exp x)))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (* (sqrt (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (expm1 (cbrt (sqrt (exp x)))) (log1p (cbrt (sqrt (exp x)))) (log (cbrt (sqrt (exp x)))) (exp (cbrt (sqrt (exp x)))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (cbrt (cbrt (sqrt (exp x)))) (cbrt (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (cbrt (sqrt (cbrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt 1)) (cbrt (sqrt (exp x))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) (cbrt 1) (cbrt (sqrt (exp x))) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (cbrt (sqrt (exp x))))) (cbrt (cbrt (sqrt (exp x)))) (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x)))) (expm1 (cbrt (sqrt (exp x)))) (log1p (cbrt (sqrt (exp x)))) (log (cbrt (sqrt (exp x)))) (exp (cbrt (sqrt (exp x)))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (cbrt (cbrt (sqrt (exp x)))) (cbrt (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (cbrt (sqrt (cbrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt 1)) (cbrt (sqrt (exp x))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) (cbrt 1) (cbrt (sqrt (exp x))) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (cbrt (sqrt (exp x))))) (cbrt (cbrt (sqrt (exp x)))) (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x)))) (expm1 (cbrt (sqrt (exp x)))) (log1p (cbrt (sqrt (exp x)))) (log (cbrt (sqrt (exp x)))) (exp (cbrt (sqrt (exp x)))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (cbrt (cbrt (sqrt (exp x)))) (cbrt (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (cbrt (sqrt (cbrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt 1)) (cbrt (sqrt (exp x))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) (cbrt 1) (cbrt (sqrt (exp x))) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (cbrt (sqrt (exp x))))) (cbrt (cbrt (sqrt (exp x)))) (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x)))) (+ (* 1/18 (pow x 2)) (+ (* 1/3 x) 1)) (exp (* 1/3 x)) (exp (* 1/3 x)) (+ (* 1/72 (pow x 2)) (+ (* 1/6 x) 1)) (exp (* 1/6 x)) (exp (* 1/6 x)) (+ (* 1/72 (pow x 2)) (+ (* 1/6 x) 1)) (exp (* 1/6 x)) (exp (* 1/6 x)) (+ (* 1/72 (pow x 2)) (+ (* 1/6 x) 1)) (exp (* 1/6 x)) (exp (* 1/6 x)) 2.518 * * [simplify]: iteration 0 : 132 enodes (cost 893 ) 2.521 * * [simplify]: iteration 1 : 420 enodes (cost 836 ) 2.531 * * [simplify]: iteration 2 : 1869 enodes (cost 778 ) 2.570 * * [simplify]: iteration 3 : 5002 enodes (cost 750 ) 2.573 * [simplify]: Simplified to: (expm1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (log1p (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) 2/3 2 (exp x) (exp (* 1/3 x)) 2 (* 2 (log (cbrt (sqrt (exp x))))) (* 2 (log (cbrt (sqrt (exp x))))) (pow (exp 1) (pow (sqrt (cbrt (sqrt (exp x)))) 4)) (exp x) (* (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (exp x) (sqrt (cbrt (exp x))) (sqrt (cbrt (exp x))) (* (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (cbrt (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))) (* (cbrt (sqrt (cbrt (exp x)))) (cbrt (sqrt (cbrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) 1 (exp (* 1/3 x)) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) 1 (exp (* 1/3 x)) (pow (cbrt (cbrt (sqrt (exp x)))) 4) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (cbrt (sqrt (exp x))))) (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))) 1 (exp (* 1/3 x)) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x))))) (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))) 2/3 2 (* (cbrt (sqrt (exp x))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (sqrt (exp x))))) (cbrt (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (sqrt (exp x))))) (cbrt (sqrt (exp x))) (pow (cbrt (cbrt (sqrt (exp x)))) 5) (pow (sqrt (cbrt (sqrt (exp x)))) 3) (cbrt (sqrt (exp x))) (pow (cbrt (cbrt (sqrt (exp x)))) 4) (* (cbrt (sqrt (cbrt (exp x)))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (sqrt (exp x))))) (exp (* 1/3 x)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (sqrt (exp x))))) (exp (* 1/3 x)) (pow (cbrt (cbrt (sqrt (exp x)))) 4) (pow (sqrt (cbrt (sqrt (exp x)))) 3) (exp (* 1/3 x)) (expm1 (cbrt (sqrt (exp x)))) (log1p (cbrt (sqrt (exp x)))) (log (cbrt (sqrt (exp x)))) (exp (cbrt (sqrt (exp x)))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (cbrt (cbrt (sqrt (exp x)))) (cbrt (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (cbrt (sqrt (cbrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) 1 (cbrt (sqrt (exp x))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) 1 (cbrt (sqrt (exp x))) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (cbrt (sqrt (exp x))))) (cbrt (cbrt (sqrt (exp x)))) (sqrt (exp x)) (sqrt (cbrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x)))) (expm1 (cbrt (sqrt (exp x)))) (log1p (cbrt (sqrt (exp x)))) (log (cbrt (sqrt (exp x)))) (exp (cbrt (sqrt (exp x)))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (cbrt (cbrt (sqrt (exp x)))) (cbrt (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (cbrt (sqrt (cbrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) 1 (cbrt (sqrt (exp x))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) 1 (cbrt (sqrt (exp x))) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (cbrt (sqrt (exp x))))) (cbrt (cbrt (sqrt (exp x)))) (sqrt (exp x)) (sqrt (cbrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x)))) (expm1 (cbrt (sqrt (exp x)))) (log1p (cbrt (sqrt (exp x)))) (log (cbrt (sqrt (exp x)))) (exp (cbrt (sqrt (exp x)))) (cbrt (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (cbrt (cbrt (sqrt (exp x)))) (cbrt (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (cbrt (sqrt (cbrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) 1 (cbrt (sqrt (exp x))) (cbrt (sqrt (sqrt (exp x)))) (cbrt (sqrt (sqrt (exp x)))) 1 (cbrt (sqrt (exp x))) (* (cbrt (cbrt (sqrt (exp x)))) (cbrt (cbrt (sqrt (exp x))))) (cbrt (cbrt (sqrt (exp x)))) (sqrt (exp x)) (sqrt (cbrt (sqrt (exp x)))) (sqrt (cbrt (sqrt (exp x)))) (fma 1/18 (pow x 2) (fma 1/3 x 1)) (exp (* 1/3 x)) (exp (* 1/3 x)) (fma 1/72 (pow x 2) (fma 1/6 x 1)) (exp (* 1/6 x)) (exp (* 1/6 x)) (fma 1/72 (pow x 2) (fma 1/6 x 1)) (exp (* 1/6 x)) (exp (* 1/6 x)) (fma 1/72 (pow x 2) (fma 1/6 x 1)) (exp (* 1/6 x)) (exp (* 1/6 x)) 2.574 * * * [progress]: adding candidates to table 2.927 * [progress]: [Phase 3 of 3] Extracting. 2.927 * * [regime]: Finding splitpoints for: (# # # # #) 2.929 * * * [regime-changes]: Trying 2 branch expressions: (y x) 2.929 * * * * [regimes]: Trying to branch on y from (# # # # #) 2.953 * * * * [regimes]: Trying to branch on x from (# # # # #) 2.980 * * * [regime]: Found split indices: #