41.070 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.102 * * * [progress]: [2/2] Setting up program. 0.104 * [progress]: [Phase 2 of 3] Improving. 0.104 * [simplify]: Simplifying using # : (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 0.106 * * [simplify]: iteration 0 : 15 enodes (cost 9 ) 0.108 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 0.109 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 0.110 * * [simplify]: iteration 3 : 44 enodes (cost 9 ) 0.112 * * [simplify]: iteration 4 : 63 enodes (cost 9 ) 0.114 * * [simplify]: iteration 5 : 179 enodes (cost 9 ) 0.119 * * [simplify]: iteration 6 : 1184 enodes (cost 9 ) 0.149 * * [simplify]: iteration 7 : 5002 enodes (cost 7 ) 0.149 * [simplify]: Simplified to: (* 1 (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) 0.153 * * [progress]: iteration 1 / 4 0.153 * * * [progress]: picking best candidate 0.157 * * * * [pick]: Picked # 0.157 * * * [progress]: localizing error 0.165 * * * [progress]: generating rewritten candidates 0.165 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.167 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 0.168 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 0.168 * * * [progress]: generating series expansions 0.169 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.169 * [approximate]: Taking taylor expansion of (/ (expm1 (* 2 x)) (fma 1 1 (exp (* 2 x)))) in (x) around 0 0.169 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 x)) (fma 1 1 (exp (* 2 x)))) in x 0.169 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 0.169 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 0.169 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.169 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.169 * [taylor]: Taking taylor expansion of 2 in x 0.169 * [taylor]: Taking taylor expansion of x in x 0.170 * [taylor]: Taking taylor expansion of 1 in x 0.170 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 x))) in x 0.170 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 x))) 0.170 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.170 * [taylor]: Taking taylor expansion of 1 in x 0.170 * [taylor]: Taking taylor expansion of 1 in x 0.170 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.170 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.170 * [taylor]: Taking taylor expansion of 2 in x 0.170 * [taylor]: Taking taylor expansion of x in x 0.174 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 x)) (fma 1 1 (exp (* 2 x)))) in x 0.174 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 0.174 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 0.174 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.174 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.174 * [taylor]: Taking taylor expansion of 2 in x 0.174 * [taylor]: Taking taylor expansion of x in x 0.175 * [taylor]: Taking taylor expansion of 1 in x 0.175 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 x))) in x 0.175 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 x))) 0.175 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.175 * [taylor]: Taking taylor expansion of 1 in x 0.175 * [taylor]: Taking taylor expansion of 1 in x 0.175 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.175 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.175 * [taylor]: Taking taylor expansion of 2 in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.205 * [approximate]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (fma 1 1 (exp (* 2 (/ 1 x))))) in (x) around 0 0.205 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (fma 1 1 (exp (* 2 (/ 1 x))))) in x 0.205 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 0.205 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 0.205 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.205 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.205 * [taylor]: Taking taylor expansion of 2 in x 0.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.205 * [taylor]: Taking taylor expansion of x in x 0.206 * [taylor]: Taking taylor expansion of 1 in x 0.206 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 (/ 1 x)))) in x 0.206 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 (/ 1 x)))) 0.206 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.206 * [taylor]: Taking taylor expansion of 1 in x 0.206 * [taylor]: Taking taylor expansion of 1 in x 0.206 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.206 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.206 * [taylor]: Taking taylor expansion of 2 in x 0.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.206 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (fma 1 1 (exp (* 2 (/ 1 x))))) in x 0.208 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 0.208 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 0.208 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.208 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.208 * [taylor]: Taking taylor expansion of 2 in x 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of 1 in x 0.208 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 (/ 1 x)))) in x 0.209 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 (/ 1 x)))) 0.209 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.209 * [taylor]: Taking taylor expansion of 1 in x 0.209 * [taylor]: Taking taylor expansion of 1 in x 0.209 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.209 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.209 * [taylor]: Taking taylor expansion of 2 in x 0.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.220 * [approximate]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (fma 1 1 (exp (- (* 2 (/ 1 x)))))) in (x) around 0 0.220 * [taylor]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (fma 1 1 (exp (- (* 2 (/ 1 x)))))) in x 0.220 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 0.220 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 0.220 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.220 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.220 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.220 * [taylor]: Taking taylor expansion of 2 in x 0.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of 1 in x 0.221 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (- (* 2 (/ 1 x))))) in x 0.221 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (- (* 2 (/ 1 x))))) 0.221 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.221 * [taylor]: Taking taylor expansion of 1 in x 0.221 * [taylor]: Taking taylor expansion of 1 in x 0.221 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.221 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.221 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.221 * [taylor]: Taking taylor expansion of 2 in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.222 * [taylor]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (fma 1 1 (exp (- (* 2 (/ 1 x)))))) in x 0.223 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 0.223 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 0.223 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.223 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.223 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.223 * [taylor]: Taking taylor expansion of 2 in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of 1 in x 0.223 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (- (* 2 (/ 1 x))))) in x 0.224 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (- (* 2 (/ 1 x))))) 0.224 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.224 * [taylor]: Taking taylor expansion of 1 in x 0.224 * [taylor]: Taking taylor expansion of 1 in x 0.224 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.224 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.224 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.224 * [taylor]: Taking taylor expansion of 2 in x 0.224 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.236 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 0.236 * [approximate]: Taking taylor expansion of (fma 1 1 (exp (* 2 x))) in (x) around 0 0.236 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 x))) in x 0.236 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 x))) 0.236 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.236 * [taylor]: Taking taylor expansion of 1 in x 0.236 * [taylor]: Taking taylor expansion of 1 in x 0.236 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.236 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.236 * [taylor]: Taking taylor expansion of 2 in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.237 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 x))) in x 0.237 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 x))) 0.237 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.237 * [taylor]: Taking taylor expansion of 1 in x 0.237 * [taylor]: Taking taylor expansion of 1 in x 0.237 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.237 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.237 * [taylor]: Taking taylor expansion of 2 in x 0.237 * [taylor]: Taking taylor expansion of x in x 0.242 * [approximate]: Taking taylor expansion of (fma 1 1 (exp (* 2 (/ 1 x)))) in (x) around 0 0.242 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 (/ 1 x)))) in x 0.242 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 (/ 1 x)))) 0.242 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.242 * [taylor]: Taking taylor expansion of 1 in x 0.242 * [taylor]: Taking taylor expansion of 1 in x 0.242 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.242 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.242 * [taylor]: Taking taylor expansion of 2 in x 0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 (/ 1 x)))) in x 0.243 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 (/ 1 x)))) 0.243 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.243 * [taylor]: Taking taylor expansion of 1 in x 0.243 * [taylor]: Taking taylor expansion of 1 in x 0.243 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.243 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.243 * [taylor]: Taking taylor expansion of 2 in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.248 * [approximate]: Taking taylor expansion of (fma 1 1 (exp (- (* 2 (/ 1 x))))) in (x) around 0 0.248 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (- (* 2 (/ 1 x))))) in x 0.249 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (- (* 2 (/ 1 x))))) 0.249 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.249 * [taylor]: Taking taylor expansion of 1 in x 0.249 * [taylor]: Taking taylor expansion of 1 in x 0.249 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.249 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.249 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.249 * [taylor]: Taking taylor expansion of 2 in x 0.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.249 * [taylor]: Taking taylor expansion of x in x 0.250 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (- (* 2 (/ 1 x))))) in x 0.250 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (- (* 2 (/ 1 x))))) 0.250 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.250 * [taylor]: Taking taylor expansion of 1 in x 0.250 * [taylor]: Taking taylor expansion of 1 in x 0.250 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.250 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.250 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.250 * [taylor]: Taking taylor expansion of 2 in x 0.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.250 * [taylor]: Taking taylor expansion of x in x 0.256 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 0.256 * [approximate]: Taking taylor expansion of (expm1 (* 2 x)) in (x) around 0 0.256 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 0.256 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 0.256 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.256 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.256 * [taylor]: Taking taylor expansion of 2 in x 0.256 * [taylor]: Taking taylor expansion of x in x 0.256 * [taylor]: Taking taylor expansion of 1 in x 0.256 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 0.257 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 0.257 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.257 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.257 * [taylor]: Taking taylor expansion of 2 in x 0.257 * [taylor]: Taking taylor expansion of x in x 0.257 * [taylor]: Taking taylor expansion of 1 in x 0.263 * [approximate]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in (x) around 0 0.263 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 0.263 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 0.263 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.263 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.263 * [taylor]: Taking taylor expansion of 2 in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of 1 in x 0.264 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 0.264 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 0.264 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.264 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.264 * [taylor]: Taking taylor expansion of 2 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 1 in x 0.268 * [approximate]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in (x) around 0 0.268 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 0.268 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 0.268 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.268 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.268 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.268 * [taylor]: Taking taylor expansion of 2 in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.269 * [taylor]: Taking taylor expansion of 1 in x 0.269 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 0.269 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 0.269 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.269 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.269 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.269 * [taylor]: Taking taylor expansion of 2 in x 0.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.269 * [taylor]: Taking taylor expansion of x in x 0.270 * [taylor]: Taking taylor expansion of 1 in x 0.273 * * * [progress]: simplifying candidates 0.273 * [simplify]: Simplifying using # : (- (expm1 (+ x x))) (- (fma 1 1 (exp (+ x x)))) (/ (exp (+ x x)) (fma 1 1 (exp (+ x x)))) (/ 1 (fma 1 1 (exp (+ x x)))) (/ 1 (fma 1 1 (exp (+ x x)))) (/ (fma 1 1 (exp (+ x x))) (expm1 (+ x x))) (* 1 1) (exp (+ x x)) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (/ (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (/ (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (+ (* 2 (pow x 2)) (+ (* 2 x) 2)) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1) (- (exp (* 2 x)) 1) 0.276 * * [simplify]: iteration 0 : 83 enodes (cost 67 ) 0.278 * * [simplify]: iteration 1 : 229 enodes (cost 67 ) 0.283 * * [simplify]: iteration 2 : 852 enodes (cost 66 ) 0.303 * * [simplify]: iteration 3 : 3583 enodes (cost 64 ) 0.409 * * [simplify]: iteration 4 : 5001 enodes (cost 64 ) 0.410 * [simplify]: Simplified to: (- (expm1 (+ x x))) (- (fma 1 1 (exp (+ x x)))) (/ (exp (* 2 x)) (+ (exp (* 2 x)) 1)) (/ 1 (+ (exp (* 2 x)) 1)) (/ 1 (+ (exp (* 2 x)) 1)) (/ (fma 1 1 (exp (+ x x))) (expm1 (+ x x))) 1 (exp (* 2 x)) (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) (/ (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (/ (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (fma x (fma 2 x 2) 2) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (fma x (fma 2 x 2) (* 4/3 (pow x 3))) (expm1 (* 2 x)) (expm1 (* 2 x)) 0.410 * * * [progress]: adding candidates to table 0.441 * * [progress]: iteration 2 / 4 0.441 * * * [progress]: picking best candidate 0.444 * * * * [pick]: Picked # 0.444 * * * [progress]: localizing error 0.453 * * * [progress]: generating rewritten candidates 0.453 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 3 2) 0.456 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.457 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 3) 0.459 * * * [progress]: generating series expansions 0.459 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 3 2) 0.459 * [approximate]: Taking taylor expansion of (* 1/3 (pow x 3)) in (x) around 0 0.459 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.459 * [taylor]: Taking taylor expansion of 1/3 in x 0.459 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.459 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.459 * [taylor]: Taking taylor expansion of 1/3 in x 0.459 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.471 * [approximate]: Taking taylor expansion of (/ 1/3 (pow x 3)) in (x) around 0 0.471 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 0.471 * [taylor]: Taking taylor expansion of 1/3 in x 0.471 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.471 * [taylor]: Taking taylor expansion of x in x 0.471 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 0.471 * [taylor]: Taking taylor expansion of 1/3 in x 0.471 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.471 * [taylor]: Taking taylor expansion of x in x 0.484 * [approximate]: Taking taylor expansion of (/ -1/3 (pow x 3)) in (x) around 0 0.484 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 0.484 * [taylor]: Taking taylor expansion of -1/3 in x 0.484 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.484 * [taylor]: Taking taylor expansion of x in x 0.485 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 0.485 * [taylor]: Taking taylor expansion of -1/3 in x 0.485 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.485 * [taylor]: Taking taylor expansion of x in x 0.496 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.496 * [approximate]: Taking taylor expansion of (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) in (x) around 0 0.496 * [taylor]: Taking taylor expansion of (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) in x 0.496 * [taylor]: Rewrote expression to (+ (* (pow x 5) 2/15) (- x (* 1/3 (pow x 3)))) 0.496 * [taylor]: Taking taylor expansion of (* (pow x 5) 2/15) in x 0.496 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.496 * [taylor]: Taking taylor expansion of x in x 0.496 * [taylor]: Taking taylor expansion of 2/15 in x 0.496 * [taylor]: Taking taylor expansion of (- x (* 1/3 (pow x 3))) in x 0.496 * [taylor]: Taking taylor expansion of x in x 0.496 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.496 * [taylor]: Taking taylor expansion of 1/3 in x 0.496 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.496 * [taylor]: Taking taylor expansion of x in x 0.496 * [taylor]: Taking taylor expansion of (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) in x 0.496 * [taylor]: Rewrote expression to (+ (* (pow x 5) 2/15) (- x (* 1/3 (pow x 3)))) 0.496 * [taylor]: Taking taylor expansion of (* (pow x 5) 2/15) in x 0.496 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.496 * [taylor]: Taking taylor expansion of x in x 0.496 * [taylor]: Taking taylor expansion of 2/15 in x 0.496 * [taylor]: Taking taylor expansion of (- x (* 1/3 (pow x 3))) in x 0.496 * [taylor]: Taking taylor expansion of x in x 0.496 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.496 * [taylor]: Taking taylor expansion of 1/3 in x 0.496 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.496 * [taylor]: Taking taylor expansion of x in x 0.504 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 x) 5) 2/15 (- (/ 1 x) (* 1/3 (/ 1 (pow x 3))))) in (x) around 0 0.504 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 5) 2/15 (- (/ 1 x) (* 1/3 (/ 1 (pow x 3))))) in x 0.504 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 5) 2/15) (- (/ 1 x) (* 1/3 (/ 1 (pow x 3))))) 0.504 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 5) 2/15) in x 0.505 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 0.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.505 * [taylor]: Taking taylor expansion of x in x 0.505 * [taylor]: Taking taylor expansion of 2/15 in x 0.505 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/3 (/ 1 (pow x 3)))) in x 0.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.505 * [taylor]: Taking taylor expansion of x in x 0.505 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.505 * [taylor]: Taking taylor expansion of 1/3 in x 0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.505 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.505 * [taylor]: Taking taylor expansion of x in x 0.506 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 5) 2/15 (- (/ 1 x) (* 1/3 (/ 1 (pow x 3))))) in x 0.506 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 5) 2/15) (- (/ 1 x) (* 1/3 (/ 1 (pow x 3))))) 0.506 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 5) 2/15) in x 0.506 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 0.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.506 * [taylor]: Taking taylor expansion of x in x 0.506 * [taylor]: Taking taylor expansion of 2/15 in x 0.506 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/3 (/ 1 (pow x 3)))) in x 0.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.506 * [taylor]: Taking taylor expansion of x in x 0.507 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.507 * [taylor]: Taking taylor expansion of 1/3 in x 0.507 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.507 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.507 * [taylor]: Taking taylor expansion of x in x 0.524 * [approximate]: Taking taylor expansion of (fma (pow (/ -1 x) 5) 2/15 (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x))) in (x) around 0 0.524 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 5) 2/15 (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x))) in x 0.524 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 5) 2/15) (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x))) 0.524 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 5) 2/15) in x 0.524 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 0.524 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.524 * [taylor]: Taking taylor expansion of -1 in x 0.524 * [taylor]: Taking taylor expansion of x in x 0.525 * [taylor]: Taking taylor expansion of 2/15 in x 0.525 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x)) in x 0.525 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.525 * [taylor]: Taking taylor expansion of 1/3 in x 0.525 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.525 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.525 * [taylor]: Taking taylor expansion of x in x 0.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.526 * [taylor]: Taking taylor expansion of x in x 0.526 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 5) 2/15 (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x))) in x 0.526 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 5) 2/15) (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x))) 0.526 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 5) 2/15) in x 0.526 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 0.526 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.526 * [taylor]: Taking taylor expansion of -1 in x 0.526 * [taylor]: Taking taylor expansion of x in x 0.526 * [taylor]: Taking taylor expansion of 2/15 in x 0.526 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x)) in x 0.526 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.526 * [taylor]: Taking taylor expansion of 1/3 in x 0.526 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.526 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.526 * [taylor]: Taking taylor expansion of x in x 0.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.544 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 3) 0.544 * [approximate]: Taking taylor expansion of (- x (* 1/3 (pow x 3))) in (x) around 0 0.544 * [taylor]: Taking taylor expansion of (- x (* 1/3 (pow x 3))) in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.544 * [taylor]: Taking taylor expansion of 1/3 in x 0.544 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of (- x (* 1/3 (pow x 3))) in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.544 * [taylor]: Taking taylor expansion of 1/3 in x 0.544 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.561 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 1/3 (/ 1 (pow x 3)))) in (x) around 0 0.561 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/3 (/ 1 (pow x 3)))) in x 0.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.561 * [taylor]: Taking taylor expansion of x in x 0.561 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.561 * [taylor]: Taking taylor expansion of 1/3 in x 0.561 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.561 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.561 * [taylor]: Taking taylor expansion of x in x 0.562 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/3 (/ 1 (pow x 3)))) in x 0.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.562 * [taylor]: Taking taylor expansion of x in x 0.562 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.562 * [taylor]: Taking taylor expansion of 1/3 in x 0.562 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.562 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.562 * [taylor]: Taking taylor expansion of x in x 0.588 * [approximate]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x)) in (x) around 0 0.588 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x)) in x 0.588 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.588 * [taylor]: Taking taylor expansion of 1/3 in x 0.588 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.588 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.588 * [taylor]: Taking taylor expansion of x in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.589 * [taylor]: Taking taylor expansion of x in x 0.589 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x)) in x 0.589 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.589 * [taylor]: Taking taylor expansion of 1/3 in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.589 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.589 * [taylor]: Taking taylor expansion of x in x 0.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.590 * [taylor]: Taking taylor expansion of x in x 0.615 * * * [progress]: simplifying candidates 0.616 * [simplify]: Simplifying using # : (* 1/3 (* x x)) (* 1/3 (pow x (/ 3 2))) (* (pow x 5) 2/15) (- (pow x 3) (pow (* 1/3 (pow x 3)) 3)) (+ (* x x) (+ (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* x (* 1/3 (pow x 3))))) (- (* 1/3 (pow x 3))) (- (* x x) (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3)))) (+ x (* 1/3 (pow x 3))) (- (* 1/3 (pow x 3))) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- x (* 1/3 (pow x 3))) (- x (* 1/3 (pow x 3))) (- x (* 1/3 (pow x 3))) 0.620 * * [simplify]: iteration 0 : 77 enodes (cost 68 ) 0.623 * * [simplify]: iteration 1 : 250 enodes (cost 64 ) 0.629 * * [simplify]: iteration 2 : 1234 enodes (cost 59 ) 0.669 * * [simplify]: iteration 3 : 5001 enodes (cost 58 ) 0.670 * [simplify]: Simplified to: (* 1/3 (* x x)) (* 1/3 (pow x 3/2)) (* (pow x 5) 2/15) (- (pow x 3) (pow (* 1/3 (pow x 3)) 3)) (fma (pow x 4) 1/3 (fma 1/9 (pow x 6) (* x x))) (- (* 1/3 (pow x 3))) (fma (- 1/9) (pow x 6) (* x x)) (fma (pow x 3) 1/3 x) (- (* 1/3 (pow x 3))) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (fma 2/15 (pow x 5) (- x (* 1/3 (pow x 3)))) (fma 2/15 (pow x 5) (- x (* 1/3 (pow x 3)))) (fma 2/15 (pow x 5) (- x (* 1/3 (pow x 3)))) (- x (* 1/3 (pow x 3))) (- x (* 1/3 (pow x 3))) (- x (* 1/3 (pow x 3))) 0.670 * * * [progress]: adding candidates to table 0.695 * * [progress]: iteration 3 / 4 0.695 * * * [progress]: picking best candidate 0.696 * * * * [pick]: Picked # 0.697 * * * [progress]: localizing error 0.703 * * * [progress]: generating rewritten candidates 0.703 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.706 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.711 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.714 * * * [progress]: generating series expansions 0.714 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.715 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 0.715 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.715 * [taylor]: Taking taylor expansion of (exp x) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.715 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.715 * [taylor]: Taking taylor expansion of (- x) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.715 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.715 * [taylor]: Taking taylor expansion of (exp x) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.715 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.715 * [taylor]: Taking taylor expansion of (- x) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.741 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 0.741 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.741 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.741 * [taylor]: Taking taylor expansion of x in x 0.741 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.741 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.741 * [taylor]: Taking taylor expansion of x in x 0.742 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.742 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.742 * [taylor]: Taking taylor expansion of x in x 0.742 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.742 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.742 * [taylor]: Taking taylor expansion of x in x 0.746 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 0.746 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.746 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.746 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.746 * [taylor]: Taking taylor expansion of -1 in x 0.746 * [taylor]: Taking taylor expansion of x in x 0.746 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.746 * [taylor]: Taking taylor expansion of x in x 0.746 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.746 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.746 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.747 * [taylor]: Taking taylor expansion of -1 in x 0.747 * [taylor]: Taking taylor expansion of x in x 0.747 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.747 * [taylor]: Taking taylor expansion of x in x 0.750 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.750 * [approximate]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in (x) around 0 0.750 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x 0.750 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.750 * [taylor]: Taking taylor expansion of (exp x) in x 0.750 * [taylor]: Taking taylor expansion of x in x 0.750 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.750 * [taylor]: Taking taylor expansion of (- x) in x 0.750 * [taylor]: Taking taylor expansion of x in x 0.751 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.751 * [taylor]: Taking taylor expansion of (exp x) in x 0.751 * [taylor]: Taking taylor expansion of x in x 0.751 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.751 * [taylor]: Taking taylor expansion of (- x) in x 0.751 * [taylor]: Taking taylor expansion of x in x 0.754 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x 0.754 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.754 * [taylor]: Taking taylor expansion of (exp x) in x 0.754 * [taylor]: Taking taylor expansion of x in x 0.754 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.754 * [taylor]: Taking taylor expansion of (- x) in x 0.754 * [taylor]: Taking taylor expansion of x in x 0.754 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.754 * [taylor]: Taking taylor expansion of (exp x) in x 0.754 * [taylor]: Taking taylor expansion of x in x 0.754 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.754 * [taylor]: Taking taylor expansion of (- x) in x 0.754 * [taylor]: Taking taylor expansion of x in x 0.793 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 0.793 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.793 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.793 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.794 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.794 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.794 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.794 * [taylor]: Taking taylor expansion of x in x 0.795 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.795 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.795 * [taylor]: Taking taylor expansion of x in x 0.796 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.796 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.796 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.796 * [taylor]: Taking taylor expansion of x in x 0.796 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.796 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.796 * [taylor]: Taking taylor expansion of x in x 0.796 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.796 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.796 * [taylor]: Taking taylor expansion of x in x 0.797 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.797 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.806 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 0.806 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.806 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.806 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.806 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.806 * [taylor]: Taking taylor expansion of -1 in x 0.806 * [taylor]: Taking taylor expansion of x in x 0.806 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.806 * [taylor]: Taking taylor expansion of x in x 0.806 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.806 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.806 * [taylor]: Taking taylor expansion of x in x 0.807 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.807 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.807 * [taylor]: Taking taylor expansion of -1 in x 0.807 * [taylor]: Taking taylor expansion of x in x 0.807 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.807 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.807 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.807 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.807 * [taylor]: Taking taylor expansion of -1 in x 0.807 * [taylor]: Taking taylor expansion of x in x 0.808 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.808 * [taylor]: Taking taylor expansion of x in x 0.808 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.808 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.808 * [taylor]: Taking taylor expansion of x in x 0.808 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.808 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.808 * [taylor]: Taking taylor expansion of -1 in x 0.808 * [taylor]: Taking taylor expansion of x in x 0.819 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.819 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 0.819 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.819 * [taylor]: Taking taylor expansion of (exp x) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.819 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.819 * [taylor]: Taking taylor expansion of (- x) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.820 * [taylor]: Taking taylor expansion of (exp x) in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.820 * [taylor]: Taking taylor expansion of (- x) in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.834 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 0.834 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.834 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.834 * [taylor]: Taking taylor expansion of x in x 0.834 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.834 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.834 * [taylor]: Taking taylor expansion of x in x 0.835 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.835 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.835 * [taylor]: Taking taylor expansion of x in x 0.835 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.835 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.835 * [taylor]: Taking taylor expansion of x in x 0.837 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 0.837 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.837 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.837 * [taylor]: Taking taylor expansion of x in x 0.838 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.838 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.838 * [taylor]: Taking taylor expansion of -1 in x 0.838 * [taylor]: Taking taylor expansion of x in x 0.838 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.838 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.838 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.838 * [taylor]: Taking taylor expansion of x in x 0.838 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.838 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.838 * [taylor]: Taking taylor expansion of -1 in x 0.838 * [taylor]: Taking taylor expansion of x in x 0.840 * * * [progress]: simplifying candidates 0.841 * [simplify]: Simplifying using # : (- (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))) (- (- (exp x) (exp (- x)))) (- (+ (exp x) (exp (- x)))) (/ (exp x) (+ (exp x) (exp (- x)))) (/ (exp (- x)) (+ (exp x) (exp (- x)))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (- (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)))))) (* (+ (exp x) (exp (- x))) (+ (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))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) 0.844 * * [simplify]: iteration 0 : 166 enodes (cost 199 ) 0.847 * * [simplify]: iteration 1 : 509 enodes (cost 188 ) 0.856 * * [simplify]: iteration 2 : 1940 enodes (cost 178 ) 0.902 * * [simplify]: iteration 3 : 5001 enodes (cost 171 ) 0.903 * [simplify]: Simplified to: (- (pow (exp x) 3) (pow (exp (- x)) 3)) (fma (exp x) (exp x) (fma (pow (exp x) -2) 1 1)) (- (exp (* -1 x))) (fma (exp x) (exp x) (- (pow (exp x) -2))) (+ (exp (* -1 x)) (exp x)) (- (exp (* -1 x))) (- (exp (- x)) (exp x)) (- (+ (exp x) (exp (- x)))) (/ (exp x) (+ (exp (* -1 x)) (exp x))) (/ 1 (+ 1 (exp (+ x x)))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (- (exp x) (exp (* -1 x))) (fma (- (exp (* -1 x))) (exp (* -1 x)) (exp (+ x x)))) (* (+ (+ 1 (exp (+ x x))) (pow (exp -1) (* 2 x))) (+ (exp (* -1 x)) (exp x))) (fma (pow (exp x) -2) 1 (+ (exp (+ x x)) 2)) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (fma (exp x) (exp x) (expm1 (* x -2))) (fma (exp x) (exp x) (- (pow (exp x) -2))) (- (exp x) (exp (* -1 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (* -1 x))) (- (exp x) (exp (* -1 x))) (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) (/ (- (exp x) (exp (* -1 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)) 0.903 * * * [progress]: adding candidates to table 0.959 * [progress]: [Phase 3 of 3] Extracting. 0.959 * * [regime]: Finding splitpoints for: (# # #) 0.960 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) x) 0.960 * * * * [regimes]: Trying to branch on (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) from (# # #) 0.975 * * * * [regimes]: Trying to branch on x from (# # #) 0.990 * * * [regime]: Found split indices: #