5.418 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.074 * * * [progress]: [2/2] Setting up program. 0.076 * [progress]: [Phase 2 of 3] Improving. 0.076 * [simplify]: Simplifying using # : (+ (- (exp x) 2.0) (exp (- x))) 0.078 * * [simplify]: iteration 0 : 14 enodes (cost 5 ) 0.079 * * [simplify]: iteration 1 : 26 enodes (cost 5 ) 0.081 * * [simplify]: iteration 2 : 41 enodes (cost 5 ) 0.082 * * [simplify]: iteration 3 : 55 enodes (cost 5 ) 0.083 * * [simplify]: iteration 4 : 67 enodes (cost 5 ) 0.085 * * [simplify]: iteration 5 : 100 enodes (cost 5 ) 0.087 * * [simplify]: iteration 6 : 144 enodes (cost 5 ) 0.090 * * [simplify]: iteration 7 : 296 enodes (cost 5 ) 0.098 * * [simplify]: iteration 8 : 1319 enodes (cost 5 ) 0.289 * * [simplify]: iteration 9 : 5001 enodes (cost 5 ) 0.291 * [simplify]: Simplified to: (+ (- (exp x) 2.0) (exp (- x))) 0.291 * * [progress]: iteration 1 / 4 0.291 * * * [progress]: picking best candidate 0.293 * * * * [pick]: Picked # 0.293 * * * [progress]: localizing error 0.299 * * * [progress]: generating rewritten candidates 0.299 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.303 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.306 * * * [progress]: generating series expansions 0.306 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.306 * [approximate]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in (x) around 0 0.306 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 0.306 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.306 * [taylor]: Taking taylor expansion of (exp x) in x 0.306 * [taylor]: Taking taylor expansion of x in x 0.306 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.306 * [taylor]: Taking taylor expansion of (- x) in x 0.306 * [taylor]: Taking taylor expansion of x in x 0.307 * [taylor]: Taking taylor expansion of 2.0 in x 0.307 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 0.307 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.307 * [taylor]: Taking taylor expansion of (exp x) in x 0.307 * [taylor]: Taking taylor expansion of x in x 0.307 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.307 * [taylor]: Taking taylor expansion of (- x) in x 0.307 * [taylor]: Taking taylor expansion of x in x 0.307 * [taylor]: Taking taylor expansion of 2.0 in x 0.351 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in (x) around 0 0.351 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 0.351 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.352 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.352 * [taylor]: Taking taylor expansion of x in x 0.352 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.352 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.352 * [taylor]: Taking taylor expansion of x in x 0.352 * [taylor]: Taking taylor expansion of 2.0 in x 0.352 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 0.353 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.353 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.353 * [taylor]: Taking taylor expansion of x in x 0.353 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.353 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.353 * [taylor]: Taking taylor expansion of x in x 0.353 * [taylor]: Taking taylor expansion of 2.0 in x 0.358 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0 0.359 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.359 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.359 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.359 * [taylor]: Taking taylor expansion of x in x 0.359 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.359 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.359 * [taylor]: Taking taylor expansion of -1 in x 0.359 * [taylor]: Taking taylor expansion of x in x 0.359 * [taylor]: Taking taylor expansion of 2.0 in x 0.359 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.359 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.359 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.359 * [taylor]: Taking taylor expansion of x in x 0.360 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.360 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.360 * [taylor]: Taking taylor expansion of -1 in x 0.360 * [taylor]: Taking taylor expansion of x in x 0.360 * [taylor]: Taking taylor expansion of 2.0 in x 0.365 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.365 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0 0.365 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 0.365 * [taylor]: Taking taylor expansion of (exp x) in x 0.365 * [taylor]: Taking taylor expansion of x in x 0.365 * [taylor]: Taking taylor expansion of 2.0 in x 0.365 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 0.365 * [taylor]: Taking taylor expansion of (exp x) in x 0.365 * [taylor]: Taking taylor expansion of x in x 0.365 * [taylor]: Taking taylor expansion of 2.0 in x 0.369 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0 0.369 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 0.369 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.370 * [taylor]: Taking taylor expansion of 2.0 in x 0.370 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 0.370 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.370 * [taylor]: Taking taylor expansion of x in x 0.370 * [taylor]: Taking taylor expansion of 2.0 in x 0.374 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0 0.374 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 0.374 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.374 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.374 * [taylor]: Taking taylor expansion of -1 in x 0.374 * [taylor]: Taking taylor expansion of x in x 0.374 * [taylor]: Taking taylor expansion of 2.0 in x 0.374 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 0.374 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.374 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.374 * [taylor]: Taking taylor expansion of -1 in x 0.374 * [taylor]: Taking taylor expansion of x in x 0.374 * [taylor]: Taking taylor expansion of 2.0 in x 0.378 * * * [progress]: simplifying candidates 0.378 * [simplify]: Simplifying using # : (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 1)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x)) (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp 0))) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x)) (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) 1)) (* (+ (exp x) 2.0) (exp x)) (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) (exp 0))) (* (+ (exp x) 2.0) (exp x)) (+ (pow (- (exp x) 2.0) 3) (pow (exp (- x)) 3)) (+ (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (* (exp (- x)) (exp (- x))) (* (- (exp x) 2.0) (exp (- x))))) (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (- x)) (exp (- x)))) (- (- (exp x) 2.0) (exp (- x))) (+ (- 2.0) (exp (- x))) (+ (- 2.0) (exp (- x))) (- 2.0 (exp (- x))) (- (pow (exp x) 3) (pow 2.0 3)) (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (- 2.0) (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ (exp x) 2.0) (- 2.0) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (- (+ (exp x) (exp (- x))) 2.0) (- (+ (exp (* -1 x)) (exp x)) 2.0) (- (+ (* 1/2 (pow x 2)) x) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) 0.382 * * [simplify]: iteration 0 : 163 enodes (cost 162 ) 0.385 * * [simplify]: iteration 1 : 510 enodes (cost 160 ) 0.396 * * [simplify]: iteration 2 : 2306 enodes (cost 151 ) 0.444 * * [simplify]: iteration 3 : 5002 enodes (cost 151 ) 0.445 * [simplify]: Simplified to: (+ (* 2.0 2.0) (+ (exp (+ x x)) (* (exp x) (+ 2.0 (- (pow (exp x) 3) (pow 2.0 3)))))) (* (exp x) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x)))) (+ (* 2.0 2.0) (+ (exp (+ x x)) (* (exp x) (+ 2.0 (- (pow (exp x) 3) (pow 2.0 3)))))) (* (exp x) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x)))) (* (+ (exp x) 2.0) (+ 1 (* (- (exp x) 2.0) (exp x)))) (* (+ (exp x) 2.0) (exp x)) (* (+ (exp x) 2.0) (+ 1 (* (- (exp x) 2.0) (exp x)))) (* (+ (exp x) 2.0) (exp x)) (+ (pow (- (exp x) 2.0) 3) (pow (exp (- x)) 3)) (+ (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (- x)))) (pow (exp x) -2)) (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (- x)) (exp (- x)))) (- (- (exp x) 2.0) (exp (- x))) (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0) (- 2.0 (exp (- x))) (- (pow (exp x) 3) (pow 2.0 3)) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x))) (- 2.0) (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ (exp x) 2.0) (- 2.0) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (- (+ (exp (* -1 x)) (exp x)) 2.0) (- (+ (exp (* -1 x)) (exp x)) 2.0) (- (+ (* 1/2 (pow x 2)) x) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) 0.445 * * * [progress]: adding candidates to table 0.490 * * [progress]: iteration 2 / 4 0.490 * * * [progress]: picking best candidate 0.494 * * * * [pick]: Picked # 0.494 * * * [progress]: localizing error 0.504 * * * [progress]: generating rewritten candidates 0.504 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.506 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.509 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.516 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.521 * * * [progress]: generating series expansions 0.521 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.522 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0 0.522 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.522 * [taylor]: Taking taylor expansion of 1/12 in x 0.522 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.522 * [taylor]: Taking taylor expansion of x in x 0.522 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.522 * [taylor]: Taking taylor expansion of 1/12 in x 0.522 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.522 * [taylor]: Taking taylor expansion of x in x 0.534 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 0.534 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.534 * [taylor]: Taking taylor expansion of 1/12 in x 0.534 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.534 * [taylor]: Taking taylor expansion of x in x 0.534 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.534 * [taylor]: Taking taylor expansion of 1/12 in x 0.534 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.534 * [taylor]: Taking taylor expansion of x in x 0.550 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 0.550 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.550 * [taylor]: Taking taylor expansion of 1/12 in x 0.550 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.551 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.551 * [taylor]: Taking taylor expansion of 1/12 in x 0.551 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.551 * [taylor]: Taking taylor expansion of x in x 0.562 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.562 * [approximate]: Taking taylor expansion of (* 1/360 (pow x 6)) in (x) around 0 0.562 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.562 * [taylor]: Taking taylor expansion of 1/360 in x 0.562 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.562 * [taylor]: Taking taylor expansion of x in x 0.562 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.562 * [taylor]: Taking taylor expansion of 1/360 in x 0.562 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.562 * [taylor]: Taking taylor expansion of x in x 0.577 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0 0.577 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 0.577 * [taylor]: Taking taylor expansion of 1/360 in x 0.577 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.577 * [taylor]: Taking taylor expansion of x in x 0.578 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 0.578 * [taylor]: Taking taylor expansion of 1/360 in x 0.578 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.593 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0 0.593 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 0.593 * [taylor]: Taking taylor expansion of 1/360 in x 0.593 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.593 * [taylor]: Taking taylor expansion of x in x 0.594 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 0.594 * [taylor]: Taking taylor expansion of 1/360 in x 0.594 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.594 * [taylor]: Taking taylor expansion of x in x 0.608 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.609 * [approximate]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in (x) around 0 0.609 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x 0.609 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 0.609 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.609 * [taylor]: Taking taylor expansion of 1/360 in x 0.609 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.609 * [taylor]: Taking taylor expansion of 1/12 in x 0.609 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x 0.609 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 0.609 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.609 * [taylor]: Taking taylor expansion of 1/360 in x 0.609 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.609 * [taylor]: Taking taylor expansion of 1/12 in x 0.609 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.624 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in (x) around 0 0.624 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 0.624 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 0.624 * [taylor]: Taking taylor expansion of 1/360 in x 0.624 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 0.624 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.624 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.625 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 0.625 * [taylor]: Taking taylor expansion of 1/12 in x 0.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.626 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 0.626 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 0.626 * [taylor]: Taking taylor expansion of 1/360 in x 0.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 0.626 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 0.627 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.627 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.628 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 0.628 * [taylor]: Taking taylor expansion of 1/12 in x 0.628 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.628 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.645 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in (x) around 0 0.645 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 0.645 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 0.645 * [taylor]: Taking taylor expansion of 1/360 in x 0.645 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 0.645 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.645 * [taylor]: Taking taylor expansion of x in x 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 0.646 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.646 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.646 * [taylor]: Taking taylor expansion of x in x 0.647 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 0.647 * [taylor]: Taking taylor expansion of 1/12 in x 0.647 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.647 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.647 * [taylor]: Taking taylor expansion of x in x 0.647 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x 0.647 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 0.647 * [taylor]: Taking taylor expansion of 1/360 in x 0.647 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 0.648 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.648 * [taylor]: Taking taylor expansion of x in x 0.648 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x 0.648 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.648 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.649 * [taylor]: Taking taylor expansion of x in x 0.649 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 0.649 * [taylor]: Taking taylor expansion of 1/12 in x 0.649 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.649 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.649 * [taylor]: Taking taylor expansion of x in x 0.666 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.666 * [approximate]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in (x) around 0 0.666 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 0.666 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.666 * [taylor]: Taking taylor expansion of 1/360 in x 0.666 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.666 * [taylor]: Taking taylor expansion of x in x 0.667 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.667 * [taylor]: Taking taylor expansion of 1/12 in x 0.667 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.667 * [taylor]: Taking taylor expansion of x in x 0.667 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 0.667 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.667 * [taylor]: Taking taylor expansion of 1/360 in x 0.667 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.667 * [taylor]: Taking taylor expansion of x in x 0.667 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.667 * [taylor]: Taking taylor expansion of 1/12 in x 0.667 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.667 * [taylor]: Taking taylor expansion of x in x 0.705 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0 0.706 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 0.706 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 0.706 * [taylor]: Taking taylor expansion of 1/360 in x 0.706 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 0.706 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.707 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 0.707 * [taylor]: Taking taylor expansion of 1/12 in x 0.707 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.707 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.707 * [taylor]: Taking taylor expansion of x in x 0.707 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 0.707 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 0.707 * [taylor]: Taking taylor expansion of 1/360 in x 0.707 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 0.707 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.707 * [taylor]: Taking taylor expansion of x in x 0.708 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 0.708 * [taylor]: Taking taylor expansion of 1/12 in x 0.708 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.708 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.708 * [taylor]: Taking taylor expansion of x in x 0.750 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0 0.750 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 0.750 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 0.750 * [taylor]: Taking taylor expansion of 1/360 in x 0.750 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 0.750 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.750 * [taylor]: Taking taylor expansion of x in x 0.751 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 0.751 * [taylor]: Taking taylor expansion of 1/12 in x 0.751 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.751 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.751 * [taylor]: Taking taylor expansion of x in x 0.752 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 0.752 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 0.752 * [taylor]: Taking taylor expansion of 1/360 in x 0.752 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 0.752 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.753 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 0.753 * [taylor]: Taking taylor expansion of 1/12 in x 0.753 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.753 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.753 * [taylor]: Taking taylor expansion of x in x 0.800 * * * [progress]: simplifying candidates 0.800 * [simplify]: Simplifying using # : (* 1/12 (pow x (/ 4 2))) (* 1/360 (pow x (/ 6 2))) (+ (pow (pow x 2) 3) (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3)) (+ (* (pow x 2) (pow x 2)) (- (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (* (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (- (* (pow x 2) (pow x 2)) (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (- (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (* 1/360 (pow x 6))) (+ (pow x 2) (* 1/12 (pow x 4))) (+ (pow (* 1/360 (pow x 6)) 3) (pow (* 1/12 (pow x 4)) 3)) (+ (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (- (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (- (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4)))) (- (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/360 (pow x 6)) (* 1/360 (pow x 6)) (* 1/360 (pow x 6)) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 0.804 * * [simplify]: iteration 0 : 139 enodes (cost 140 ) 0.807 * * [simplify]: iteration 1 : 574 enodes (cost 137 ) 0.821 * * [simplify]: iteration 2 : 2644 enodes (cost 135 ) 0.937 * * [simplify]: iteration 3 : 5001 enodes (cost 135 ) 0.938 * [simplify]: Simplified to: (* 1/12 (pow x 2)) (* 1/360 (pow x 3)) (+ (pow (pow x 2) 3) (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3)) (+ (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (- (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (pow x 2))) (pow x 4)) (+ (pow x 4) (- (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))) (- (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (* 1/360 (pow x 6))) (+ (pow x 2) (* 1/12 (pow x 4))) (+ (pow (* 1/360 (pow x 6)) 3) (pow (* 1/12 (pow x 4)) 3)) (+ (* (pow x 8) 1/144) (- (* 1/360 (* 1/360 (pow x 12))) (* (pow x 4) (* (pow x 6) 1/4320)))) (+ (* (- 1/144) (pow x 8)) (* 1/360 (* 1/360 (pow x 12)))) (- (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/360 (pow x 6)) (* 1/360 (pow x 6)) (* 1/360 (pow x 6)) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 0.938 * * * [progress]: adding candidates to table 0.984 * * [progress]: iteration 3 / 4 0.984 * * * [progress]: picking best candidate 0.989 * * * * [pick]: Picked # 0.989 * * * [progress]: localizing error 0.998 * * * [progress]: generating rewritten candidates 0.998 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.002 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.006 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1) 1.008 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 1.012 * * * [progress]: generating series expansions 1.012 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.013 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) in (x) around 0 1.013 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) in x 1.013 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1) in x 1.013 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.013 * [taylor]: Taking taylor expansion of (exp x) in x 1.013 * [taylor]: Taking taylor expansion of x in x 1.013 * [taylor]: Taking taylor expansion of 1 in x 1.013 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x 1.013 * [taylor]: Taking taylor expansion of 2.0 in x 1.013 * [taylor]: Taking taylor expansion of (exp x) in x 1.013 * [taylor]: Taking taylor expansion of x in x 1.013 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) in x 1.013 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1) in x 1.013 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.013 * [taylor]: Taking taylor expansion of (exp x) in x 1.013 * [taylor]: Taking taylor expansion of x in x 1.013 * [taylor]: Taking taylor expansion of 1 in x 1.013 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x 1.013 * [taylor]: Taking taylor expansion of 2.0 in x 1.013 * [taylor]: Taking taylor expansion of (exp x) in x 1.013 * [taylor]: Taking taylor expansion of x in x 1.036 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (* 2.0 (exp (/ 1 x)))) in (x) around 0 1.036 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (* 2.0 (exp (/ 1 x)))) in x 1.036 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x 1.037 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.037 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.037 * [taylor]: Taking taylor expansion of x in x 1.037 * [taylor]: Taking taylor expansion of 1 in x 1.037 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x 1.037 * [taylor]: Taking taylor expansion of 2.0 in x 1.037 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.037 * [taylor]: Taking taylor expansion of x in x 1.037 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (* 2.0 (exp (/ 1 x)))) in x 1.037 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x 1.037 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.038 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.038 * [taylor]: Taking taylor expansion of 1 in x 1.038 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x 1.038 * [taylor]: Taking taylor expansion of 2.0 in x 1.038 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.052 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) 1) (* 2.0 (exp (/ -1 x)))) in (x) around 0 1.052 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) 1) (* 2.0 (exp (/ -1 x)))) in x 1.052 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 1) in x 1.052 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.052 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.052 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.052 * [taylor]: Taking taylor expansion of -1 in x 1.052 * [taylor]: Taking taylor expansion of x in x 1.053 * [taylor]: Taking taylor expansion of 1 in x 1.053 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x 1.053 * [taylor]: Taking taylor expansion of 2.0 in x 1.053 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.053 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.053 * [taylor]: Taking taylor expansion of -1 in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.053 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) 1) (* 2.0 (exp (/ -1 x)))) in x 1.053 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 1) in x 1.053 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.053 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.053 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.053 * [taylor]: Taking taylor expansion of -1 in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.054 * [taylor]: Taking taylor expansion of 1 in x 1.054 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x 1.054 * [taylor]: Taking taylor expansion of 2.0 in x 1.054 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.054 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.054 * [taylor]: Taking taylor expansion of -1 in x 1.054 * [taylor]: Taking taylor expansion of x in x 1.256 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.257 * [approximate]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in (x) around 0 1.257 * [taylor]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in x 1.257 * [taylor]: Taking taylor expansion of (exp x) in x 1.257 * [taylor]: Taking taylor expansion of x in x 1.257 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.257 * [taylor]: Taking taylor expansion of (exp x) in x 1.257 * [taylor]: Taking taylor expansion of x in x 1.257 * [taylor]: Taking taylor expansion of 2.0 in x 1.257 * [taylor]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in x 1.257 * [taylor]: Taking taylor expansion of (exp x) in x 1.257 * [taylor]: Taking taylor expansion of x in x 1.257 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.257 * [taylor]: Taking taylor expansion of (exp x) in x 1.257 * [taylor]: Taking taylor expansion of x in x 1.257 * [taylor]: Taking taylor expansion of 2.0 in x 1.264 * [approximate]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in (x) around 0 1.264 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 1.264 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.264 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.264 * [taylor]: Taking taylor expansion of x in x 1.264 * [taylor]: Taking taylor expansion of 2.0 in x 1.264 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.264 * [taylor]: Taking taylor expansion of x in x 1.265 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 1.265 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.265 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.265 * [taylor]: Taking taylor expansion of x in x 1.265 * [taylor]: Taking taylor expansion of 2.0 in x 1.265 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.265 * [taylor]: Taking taylor expansion of x in x 1.271 * [approximate]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in (x) around 0 1.271 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in x 1.271 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.271 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.271 * [taylor]: Taking taylor expansion of -1 in x 1.271 * [taylor]: Taking taylor expansion of x in x 1.272 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.272 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.272 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.272 * [taylor]: Taking taylor expansion of -1 in x 1.272 * [taylor]: Taking taylor expansion of x in x 1.272 * [taylor]: Taking taylor expansion of 2.0 in x 1.272 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in x 1.272 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.272 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.272 * [taylor]: Taking taylor expansion of -1 in x 1.272 * [taylor]: Taking taylor expansion of x in x 1.272 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.272 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.272 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.272 * [taylor]: Taking taylor expansion of -1 in x 1.272 * [taylor]: Taking taylor expansion of x in x 1.273 * [taylor]: Taking taylor expansion of 2.0 in x 1.278 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1) 1.279 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0 1.279 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 1.279 * [taylor]: Taking taylor expansion of (exp x) in x 1.279 * [taylor]: Taking taylor expansion of x in x 1.279 * [taylor]: Taking taylor expansion of 2.0 in x 1.279 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 1.279 * [taylor]: Taking taylor expansion of (exp x) in x 1.279 * [taylor]: Taking taylor expansion of x in x 1.279 * [taylor]: Taking taylor expansion of 2.0 in x 1.283 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0 1.283 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 1.283 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.283 * [taylor]: Taking taylor expansion of x in x 1.283 * [taylor]: Taking taylor expansion of 2.0 in x 1.283 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 1.283 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.283 * [taylor]: Taking taylor expansion of x in x 1.283 * [taylor]: Taking taylor expansion of 2.0 in x 1.287 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0 1.287 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 1.287 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.287 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.287 * [taylor]: Taking taylor expansion of -1 in x 1.287 * [taylor]: Taking taylor expansion of x in x 1.287 * [taylor]: Taking taylor expansion of 2.0 in x 1.287 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 1.287 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.287 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.287 * [taylor]: Taking taylor expansion of -1 in x 1.287 * [taylor]: Taking taylor expansion of x in x 1.288 * [taylor]: Taking taylor expansion of 2.0 in x 1.291 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 1.291 * [approximate]: Taking taylor expansion of (* (exp x) (- (exp x) 2.0)) in (x) around 0 1.291 * [taylor]: Taking taylor expansion of (* (exp x) (- (exp x) 2.0)) in x 1.291 * [taylor]: Taking taylor expansion of (exp x) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 1.291 * [taylor]: Taking taylor expansion of (exp x) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of 2.0 in x 1.291 * [taylor]: Taking taylor expansion of (* (exp x) (- (exp x) 2.0)) in x 1.291 * [taylor]: Taking taylor expansion of (exp x) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 1.291 * [taylor]: Taking taylor expansion of (exp x) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of 2.0 in x 1.306 * [approximate]: Taking taylor expansion of (* (- (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in (x) around 0 1.306 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 1.306 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 1.306 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.306 * [taylor]: Taking taylor expansion of x in x 1.307 * [taylor]: Taking taylor expansion of 2.0 in x 1.307 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.307 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 1.307 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 1.307 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.307 * [taylor]: Taking taylor expansion of 2.0 in x 1.307 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.315 * [approximate]: Taking taylor expansion of (* (exp (/ -1 x)) (- (exp (/ -1 x)) 2.0)) in (x) around 0 1.315 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (- (exp (/ -1 x)) 2.0)) in x 1.315 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.315 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.315 * [taylor]: Taking taylor expansion of -1 in x 1.315 * [taylor]: Taking taylor expansion of x in x 1.316 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 1.316 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.316 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.316 * [taylor]: Taking taylor expansion of -1 in x 1.316 * [taylor]: Taking taylor expansion of x in x 1.316 * [taylor]: Taking taylor expansion of 2.0 in x 1.316 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (- (exp (/ -1 x)) 2.0)) in x 1.316 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.316 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.316 * [taylor]: Taking taylor expansion of -1 in x 1.316 * [taylor]: Taking taylor expansion of x in x 1.316 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 1.316 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.316 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.316 * [taylor]: Taking taylor expansion of -1 in x 1.317 * [taylor]: Taking taylor expansion of x in x 1.317 * [taylor]: Taking taylor expansion of 2.0 in x 1.324 * * * [progress]: simplifying candidates 1.325 * [simplify]: Simplifying using # : (+ (pow 1 3) (pow (* (- (exp x) 2.0) (exp x)) 3)) (+ (* 1 1) (- (* (* (- (exp x) 2.0) (exp x)) (* (- (exp x) 2.0) (exp x))) (* 1 (* (- (exp x) 2.0) (exp x))))) (- (* 1 1) (* (* (- (exp x) 2.0) (exp x)) (* (- (exp x) 2.0) (exp x)))) (- 1 (* (- (exp x) 2.0) (exp x))) (* (+ (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (- (pow (exp x) 3) (pow 2.0 3)) (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (- 2.0) (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ (exp x) 2.0) (- 2.0) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (+ (* 1.0 (pow x 2)) (+ (* 1.0 (pow x 3)) (* 0.5833333333333333 (pow x 4)))) (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) (+ (* 3.0 (pow x 2)) (+ (* 4.0 x) 3.0)) (* (exp x) (+ (exp x) 2.0)) (* (exp x) (+ (exp x) 2.0)) (- (+ (* 1/2 (pow x 2)) x) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) (- (+ (* 1.0 (pow x 2)) (* 1.0 (pow x 3))) 1.0) (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0)) 1.328 * * [simplify]: iteration 0 : 162 enodes (cost 131 ) 1.332 * * [simplify]: iteration 1 : 570 enodes (cost 127 ) 1.344 * * [simplify]: iteration 2 : 2524 enodes (cost 125 ) 1.401 * * [simplify]: iteration 3 : 5002 enodes (cost 125 ) 1.402 * [simplify]: Simplified to: (+ 1 (pow (* (- (exp x) 2.0) (exp x)) 3)) (+ (* (* (- (exp x) 2.0) (exp x)) (- (* (- (exp x) 2.0) (exp x)) 1)) 1) (- 1 (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (pow (exp x) 2))) (- 1 (* (- (exp x) 2.0) (exp x))) (* (+ (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (exp x) (- (pow (exp x) 2) (* 2.0 2.0))) (- (pow (exp x) 3) (pow 2.0 3)) (+ (* 2.0 (+ 2.0 (exp x))) (pow (exp x) 2)) (- 2.0) (- (pow (exp x) 2) (* 2.0 2.0)) (+ (exp x) 2.0) (- 2.0) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (exp x) (- (pow (exp x) 2) (* 2.0 2.0))) (+ (* 1.0 (+ (pow x 2) (pow x 3))) (* 0.5833333333333333 (pow x 4))) (+ 1 (* (- (exp x) 2.0) (exp x))) (+ 1 (* (- (exp x) 2.0) (exp x))) (+ (* 3.0 (pow x 2)) (+ (* 4.0 x) 3.0)) (* (exp x) (+ (exp x) 2.0)) (* (exp x) (+ (exp x) 2.0)) (- (+ (* 1/2 (pow x 2)) x) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) (- (+ (* 1.0 (pow x 2)) (* 1.0 (pow x 3))) 1.0) (* (- (exp x) 2.0) (exp x)) (* (- (exp x) 2.0) (exp x)) 1.402 * * * [progress]: adding candidates to table 1.450 * * [progress]: iteration 4 / 4 1.450 * * * [progress]: picking best candidate 1.456 * * * * [pick]: Picked # 1.456 * * * [progress]: localizing error 1.474 * * * [progress]: generating rewritten candidates 1.474 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 1.478 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.482 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 1.485 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1 2 1 1) 1.488 * * * [progress]: generating series expansions 1.488 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 1.488 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) 6) (+ (* 12.0 (pow (exp x) 4)) 1)) (+ (* 6.0 (pow (exp x) 5)) (* 8.0 (pow (exp x) 3)))) in (x) around 0 1.488 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 6) (+ (* 12.0 (pow (exp x) 4)) 1)) (+ (* 6.0 (pow (exp x) 5)) (* 8.0 (pow (exp x) 3)))) in x 1.489 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 6) (+ (* 12.0 (pow (exp x) 4)) 1)) in x 1.489 * [taylor]: Taking taylor expansion of (pow (exp x) 6) in x 1.489 * [taylor]: Taking taylor expansion of (exp x) in x 1.489 * [taylor]: Taking taylor expansion of x in x 1.489 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow (exp x) 4)) 1) in x 1.489 * [taylor]: Taking taylor expansion of (* 12.0 (pow (exp x) 4)) in x 1.489 * [taylor]: Taking taylor expansion of 12.0 in x 1.489 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x 1.489 * [taylor]: Taking taylor expansion of (exp x) in x 1.489 * [taylor]: Taking taylor expansion of x in x 1.489 * [taylor]: Taking taylor expansion of 1 in x 1.489 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow (exp x) 5)) (* 8.0 (pow (exp x) 3))) in x 1.489 * [taylor]: Taking taylor expansion of (* 6.0 (pow (exp x) 5)) in x 1.489 * [taylor]: Taking taylor expansion of 6.0 in x 1.489 * [taylor]: Taking taylor expansion of (pow (exp x) 5) in x 1.489 * [taylor]: Taking taylor expansion of (exp x) in x 1.489 * [taylor]: Taking taylor expansion of x in x 1.489 * [taylor]: Taking taylor expansion of (* 8.0 (pow (exp x) 3)) in x 1.489 * [taylor]: Taking taylor expansion of 8.0 in x 1.489 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 1.489 * [taylor]: Taking taylor expansion of (exp x) in x 1.489 * [taylor]: Taking taylor expansion of x in x 1.489 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 6) (+ (* 12.0 (pow (exp x) 4)) 1)) (+ (* 6.0 (pow (exp x) 5)) (* 8.0 (pow (exp x) 3)))) in x 1.489 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 6) (+ (* 12.0 (pow (exp x) 4)) 1)) in x 1.489 * [taylor]: Taking taylor expansion of (pow (exp x) 6) in x 1.489 * [taylor]: Taking taylor expansion of (exp x) in x 1.489 * [taylor]: Taking taylor expansion of x in x 1.489 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow (exp x) 4)) 1) in x 1.489 * [taylor]: Taking taylor expansion of (* 12.0 (pow (exp x) 4)) in x 1.489 * [taylor]: Taking taylor expansion of 12.0 in x 1.489 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x 1.489 * [taylor]: Taking taylor expansion of (exp x) in x 1.489 * [taylor]: Taking taylor expansion of x in x 1.489 * [taylor]: Taking taylor expansion of 1 in x 1.489 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow (exp x) 5)) (* 8.0 (pow (exp x) 3))) in x 1.489 * [taylor]: Taking taylor expansion of (* 6.0 (pow (exp x) 5)) in x 1.489 * [taylor]: Taking taylor expansion of 6.0 in x 1.489 * [taylor]: Taking taylor expansion of (pow (exp x) 5) in x 1.489 * [taylor]: Taking taylor expansion of (exp x) in x 1.489 * [taylor]: Taking taylor expansion of x in x 1.489 * [taylor]: Taking taylor expansion of (* 8.0 (pow (exp x) 3)) in x 1.489 * [taylor]: Taking taylor expansion of 8.0 in x 1.489 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 1.489 * [taylor]: Taking taylor expansion of (exp x) in x 1.489 * [taylor]: Taking taylor expansion of x in x 1.565 * [approximate]: Taking taylor expansion of (- (+ (* 12.0 (pow (exp (/ 1 x)) 4)) (+ (pow (exp (/ 1 x)) 6) 1)) (+ (* 6.0 (pow (exp (/ 1 x)) 5)) (* 8.0 (pow (exp (/ 1 x)) 3)))) in (x) around 0 1.565 * [taylor]: Taking taylor expansion of (- (+ (* 12.0 (pow (exp (/ 1 x)) 4)) (+ (pow (exp (/ 1 x)) 6) 1)) (+ (* 6.0 (pow (exp (/ 1 x)) 5)) (* 8.0 (pow (exp (/ 1 x)) 3)))) in x 1.565 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow (exp (/ 1 x)) 4)) (+ (pow (exp (/ 1 x)) 6) 1)) in x 1.565 * [taylor]: Taking taylor expansion of (* 12.0 (pow (exp (/ 1 x)) 4)) in x 1.565 * [taylor]: Taking taylor expansion of 12.0 in x 1.565 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.565 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.565 * [taylor]: Taking taylor expansion of x in x 1.565 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 6) 1) in x 1.565 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 6) in x 1.565 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.565 * [taylor]: Taking taylor expansion of x in x 1.566 * [taylor]: Taking taylor expansion of 1 in x 1.566 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow (exp (/ 1 x)) 5)) (* 8.0 (pow (exp (/ 1 x)) 3))) in x 1.566 * [taylor]: Taking taylor expansion of (* 6.0 (pow (exp (/ 1 x)) 5)) in x 1.566 * [taylor]: Taking taylor expansion of 6.0 in x 1.566 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 5) in x 1.566 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.566 * [taylor]: Taking taylor expansion of x in x 1.566 * [taylor]: Taking taylor expansion of (* 8.0 (pow (exp (/ 1 x)) 3)) in x 1.566 * [taylor]: Taking taylor expansion of 8.0 in x 1.566 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.566 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.566 * [taylor]: Taking taylor expansion of x in x 1.566 * [taylor]: Taking taylor expansion of (- (+ (* 12.0 (pow (exp (/ 1 x)) 4)) (+ (pow (exp (/ 1 x)) 6) 1)) (+ (* 6.0 (pow (exp (/ 1 x)) 5)) (* 8.0 (pow (exp (/ 1 x)) 3)))) in x 1.566 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow (exp (/ 1 x)) 4)) (+ (pow (exp (/ 1 x)) 6) 1)) in x 1.566 * [taylor]: Taking taylor expansion of (* 12.0 (pow (exp (/ 1 x)) 4)) in x 1.566 * [taylor]: Taking taylor expansion of 12.0 in x 1.566 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 1.566 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.567 * [taylor]: Taking taylor expansion of x in x 1.567 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 6) 1) in x 1.567 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 6) in x 1.567 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.567 * [taylor]: Taking taylor expansion of x in x 1.567 * [taylor]: Taking taylor expansion of 1 in x 1.567 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow (exp (/ 1 x)) 5)) (* 8.0 (pow (exp (/ 1 x)) 3))) in x 1.567 * [taylor]: Taking taylor expansion of (* 6.0 (pow (exp (/ 1 x)) 5)) in x 1.567 * [taylor]: Taking taylor expansion of 6.0 in x 1.567 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 5) in x 1.567 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.567 * [taylor]: Taking taylor expansion of x in x 1.568 * [taylor]: Taking taylor expansion of (* 8.0 (pow (exp (/ 1 x)) 3)) in x 1.568 * [taylor]: Taking taylor expansion of 8.0 in x 1.568 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.568 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.568 * [taylor]: Taking taylor expansion of x in x 1.642 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 6) (+ (* 12.0 (pow (exp (/ -1 x)) 4)) 1)) (+ (* 8.0 (pow (exp (/ -1 x)) 3)) (* 6.0 (pow (exp (/ -1 x)) 5)))) in (x) around 0 1.642 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 6) (+ (* 12.0 (pow (exp (/ -1 x)) 4)) 1)) (+ (* 8.0 (pow (exp (/ -1 x)) 3)) (* 6.0 (pow (exp (/ -1 x)) 5)))) in x 1.642 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 6) (+ (* 12.0 (pow (exp (/ -1 x)) 4)) 1)) in x 1.642 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 6) in x 1.642 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.642 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.642 * [taylor]: Taking taylor expansion of -1 in x 1.642 * [taylor]: Taking taylor expansion of x in x 1.643 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow (exp (/ -1 x)) 4)) 1) in x 1.643 * [taylor]: Taking taylor expansion of (* 12.0 (pow (exp (/ -1 x)) 4)) in x 1.643 * [taylor]: Taking taylor expansion of 12.0 in x 1.643 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) 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 -1 in x 1.643 * [taylor]: Taking taylor expansion of x in x 1.643 * [taylor]: Taking taylor expansion of 1 in x 1.643 * [taylor]: Taking taylor expansion of (+ (* 8.0 (pow (exp (/ -1 x)) 3)) (* 6.0 (pow (exp (/ -1 x)) 5))) in x 1.643 * [taylor]: Taking taylor expansion of (* 8.0 (pow (exp (/ -1 x)) 3)) in x 1.643 * [taylor]: Taking taylor expansion of 8.0 in x 1.643 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) 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 -1 in x 1.643 * [taylor]: Taking taylor expansion of x in x 1.643 * [taylor]: Taking taylor expansion of (* 6.0 (pow (exp (/ -1 x)) 5)) in x 1.644 * [taylor]: Taking taylor expansion of 6.0 in x 1.644 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 5) 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 (- (+ (pow (exp (/ -1 x)) 6) (+ (* 12.0 (pow (exp (/ -1 x)) 4)) 1)) (+ (* 8.0 (pow (exp (/ -1 x)) 3)) (* 6.0 (pow (exp (/ -1 x)) 5)))) in x 1.644 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 6) (+ (* 12.0 (pow (exp (/ -1 x)) 4)) 1)) in x 1.644 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 6) 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 (+ (* 12.0 (pow (exp (/ -1 x)) 4)) 1) in x 1.644 * [taylor]: Taking taylor expansion of (* 12.0 (pow (exp (/ -1 x)) 4)) in x 1.644 * [taylor]: Taking taylor expansion of 12.0 in x 1.644 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) 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.645 * [taylor]: Taking taylor expansion of x in x 1.645 * [taylor]: Taking taylor expansion of 1 in x 1.645 * [taylor]: Taking taylor expansion of (+ (* 8.0 (pow (exp (/ -1 x)) 3)) (* 6.0 (pow (exp (/ -1 x)) 5))) in x 1.645 * [taylor]: Taking taylor expansion of (* 8.0 (pow (exp (/ -1 x)) 3)) in x 1.645 * [taylor]: Taking taylor expansion of 8.0 in x 1.645 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 1.645 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.645 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.645 * [taylor]: Taking taylor expansion of -1 in x 1.645 * [taylor]: Taking taylor expansion of x in x 1.645 * [taylor]: Taking taylor expansion of (* 6.0 (pow (exp (/ -1 x)) 5)) in x 1.645 * [taylor]: Taking taylor expansion of 6.0 in x 1.645 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 5) in x 1.645 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.645 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.645 * [taylor]: Taking taylor expansion of -1 in x 1.645 * [taylor]: Taking taylor expansion of x in x 1.716 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.717 * [approximate]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in (x) around 0 1.717 * [taylor]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in x 1.717 * [taylor]: Taking taylor expansion of (exp x) in x 1.717 * [taylor]: Taking taylor expansion of x in x 1.717 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.717 * [taylor]: Taking taylor expansion of (exp x) in x 1.717 * [taylor]: Taking taylor expansion of x in x 1.717 * [taylor]: Taking taylor expansion of 2.0 in x 1.717 * [taylor]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in x 1.717 * [taylor]: Taking taylor expansion of (exp x) in x 1.717 * [taylor]: Taking taylor expansion of x in x 1.717 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.717 * [taylor]: Taking taylor expansion of (exp x) in x 1.717 * [taylor]: Taking taylor expansion of x in x 1.717 * [taylor]: Taking taylor expansion of 2.0 in x 1.727 * [approximate]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in (x) around 0 1.727 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 1.727 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.728 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.728 * [taylor]: Taking taylor expansion of x in x 1.728 * [taylor]: Taking taylor expansion of 2.0 in x 1.728 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.728 * [taylor]: Taking taylor expansion of x in x 1.728 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 1.728 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.728 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.728 * [taylor]: Taking taylor expansion of x in x 1.729 * [taylor]: Taking taylor expansion of 2.0 in x 1.729 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.729 * [taylor]: Taking taylor expansion of x in x 1.735 * [approximate]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in (x) around 0 1.735 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in x 1.735 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.735 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.735 * [taylor]: Taking taylor expansion of -1 in x 1.735 * [taylor]: Taking taylor expansion of x in x 1.736 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.736 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.736 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.736 * [taylor]: Taking taylor expansion of -1 in x 1.736 * [taylor]: Taking taylor expansion of x in x 1.736 * [taylor]: Taking taylor expansion of 2.0 in x 1.736 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in x 1.736 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.736 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.736 * [taylor]: Taking taylor expansion of -1 in x 1.736 * [taylor]: Taking taylor expansion of x in x 1.736 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.736 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.736 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.736 * [taylor]: Taking taylor expansion of -1 in x 1.736 * [taylor]: Taking taylor expansion of x in x 1.737 * [taylor]: Taking taylor expansion of 2.0 in x 1.743 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 1.743 * [approximate]: Taking taylor expansion of (pow (* (exp x) (- (exp x) 2.0)) 3) in (x) around 0 1.743 * [taylor]: Taking taylor expansion of (pow (* (exp x) (- (exp x) 2.0)) 3) in x 1.743 * [taylor]: Taking taylor expansion of (* (exp x) (- (exp x) 2.0)) in x 1.743 * [taylor]: Taking taylor expansion of (exp x) in x 1.743 * [taylor]: Taking taylor expansion of x in x 1.743 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 1.743 * [taylor]: Taking taylor expansion of (exp x) in x 1.743 * [taylor]: Taking taylor expansion of x in x 1.743 * [taylor]: Taking taylor expansion of 2.0 in x 1.744 * [taylor]: Taking taylor expansion of (pow (* (exp x) (- (exp x) 2.0)) 3) in x 1.744 * [taylor]: Taking taylor expansion of (* (exp x) (- (exp x) 2.0)) in x 1.744 * [taylor]: Taking taylor expansion of (exp x) in x 1.744 * [taylor]: Taking taylor expansion of x in x 1.744 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 1.744 * [taylor]: Taking taylor expansion of (exp x) in x 1.745 * [taylor]: Taking taylor expansion of x in x 1.745 * [taylor]: Taking taylor expansion of 2.0 in x 1.770 * [approximate]: Taking taylor expansion of (pow (* (- (exp (/ 1 x)) 2.0) (exp (/ 1 x))) 3) in (x) around 0 1.770 * [taylor]: Taking taylor expansion of (pow (* (- (exp (/ 1 x)) 2.0) (exp (/ 1 x))) 3) in x 1.770 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 1.770 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 1.770 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.770 * [taylor]: Taking taylor expansion of x in x 1.770 * [taylor]: Taking taylor expansion of 2.0 in x 1.770 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.770 * [taylor]: Taking taylor expansion of x in x 1.771 * [taylor]: Taking taylor expansion of (pow (* (- (exp (/ 1 x)) 2.0) (exp (/ 1 x))) 3) in x 1.771 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 1.771 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 1.771 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.771 * [taylor]: Taking taylor expansion of x in x 1.772 * [taylor]: Taking taylor expansion of 2.0 in x 1.772 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.772 * [taylor]: Taking taylor expansion of x in x 1.790 * [approximate]: Taking taylor expansion of (pow (* (exp (/ -1 x)) (- (exp (/ -1 x)) 2.0)) 3) in (x) around 0 1.791 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 x)) (- (exp (/ -1 x)) 2.0)) 3) in x 1.791 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (- (exp (/ -1 x)) 2.0)) in x 1.791 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.791 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.791 * [taylor]: Taking taylor expansion of -1 in x 1.791 * [taylor]: Taking taylor expansion of x in x 1.791 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 1.791 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.791 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.791 * [taylor]: Taking taylor expansion of -1 in x 1.791 * [taylor]: Taking taylor expansion of x in x 1.791 * [taylor]: Taking taylor expansion of 2.0 in x 1.792 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 x)) (- (exp (/ -1 x)) 2.0)) 3) in x 1.792 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (- (exp (/ -1 x)) 2.0)) in x 1.792 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.792 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.792 * [taylor]: Taking taylor expansion of -1 in x 1.792 * [taylor]: Taking taylor expansion of x in x 1.792 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 1.792 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.792 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.792 * [taylor]: Taking taylor expansion of -1 in x 1.792 * [taylor]: Taking taylor expansion of x in x 1.793 * [taylor]: Taking taylor expansion of 2.0 in x 1.816 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1 2 1 1) 1.816 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0 1.816 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 1.816 * [taylor]: Taking taylor expansion of (exp x) in x 1.816 * [taylor]: Taking taylor expansion of x in x 1.816 * [taylor]: Taking taylor expansion of 2.0 in x 1.816 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 1.816 * [taylor]: Taking taylor expansion of (exp x) in x 1.816 * [taylor]: Taking taylor expansion of x in x 1.816 * [taylor]: Taking taylor expansion of 2.0 in x 1.820 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0 1.820 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 1.820 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.820 * [taylor]: Taking taylor expansion of x in x 1.820 * [taylor]: Taking taylor expansion of 2.0 in x 1.820 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 1.820 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.820 * [taylor]: Taking taylor expansion of x in x 1.821 * [taylor]: Taking taylor expansion of 2.0 in x 1.824 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0 1.824 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 1.824 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.824 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.824 * [taylor]: Taking taylor expansion of -1 in x 1.824 * [taylor]: Taking taylor expansion of x in x 1.824 * [taylor]: Taking taylor expansion of 2.0 in x 1.824 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 1.824 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.824 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.824 * [taylor]: Taking taylor expansion of -1 in x 1.824 * [taylor]: Taking taylor expansion of x in x 1.825 * [taylor]: Taking taylor expansion of 2.0 in x 1.828 * * * [progress]: simplifying candidates 1.829 * [simplify]: Simplifying using # : (+ (pow 1 3) (pow (pow (* (- (exp x) 2.0) (exp x)) 3) 3)) (+ (* 1 1) (- (* (pow (* (- (exp x) 2.0) (exp x)) 3) (pow (* (- (exp x) 2.0) (exp x)) 3)) (* 1 (pow (* (- (exp x) 2.0) (exp x)) 3)))) (- (* 1 1) (* (pow (* (- (exp x) 2.0) (exp x)) 3) (pow (* (- (exp x) 2.0) (exp x)) 3))) (- 1 (pow (* (- (exp x) 2.0) (exp x)) 3)) (* (+ (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (log (* (- (exp x) 2.0) (exp x))) 3) (pow (- (exp x) 2.0) 3) (pow (exp x) 3) (pow (exp x) 3) (pow (- (exp x) 2.0) 3) (* (* (- (exp x) 2.0) (exp x)) (* (- (exp x) 2.0) (exp x))) (pow (* (- (exp x) 2.0) (exp x)) (/ 3 2)) (pow (* (- (exp x) 2.0) (exp x)) (/ 3 2)) (- (pow (exp x) 3) (pow 2.0 3)) (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (- 2.0) (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ (exp x) 2.0) (- 2.0) (- (+ (* 3.0 (pow x 2)) (* 3.0 (pow x 3))) (* 1.25 (pow x 4))) (- (+ (pow (exp x) 6) (+ (* 12.0 (pow (exp x) 4)) 1)) (+ (* 6.0 (pow (exp x) 5)) (* 8.0 (pow (exp x) 3)))) (- (+ (pow (exp x) 6) (+ (* 12.0 (pow (exp x) 4)) 1)) (+ (* 6.0 (pow (exp x) 5)) (* 8.0 (pow (exp x) 3)))) (+ (* 3.0 (pow x 2)) (+ (* 4.0 x) 3.0)) (* (exp x) (+ (exp x) 2.0)) (* (exp x) (+ (exp x) 2.0)) (- (+ (* 3.0 (pow x 2)) (* 3.0 (pow x 3))) 1.0) (* (pow (exp x) 3) (pow (- (exp x) 2.0) 3)) (* (pow (exp x) 3) (pow (- (exp x) 2.0) 3)) (- (+ (* 1/2 (pow x 2)) x) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) 1.832 * * [simplify]: iteration 0 : 205 enodes (cost 177 ) 1.836 * * [simplify]: iteration 1 : 715 enodes (cost 174 ) 1.853 * * [simplify]: iteration 2 : 3531 enodes (cost 171 ) 1.969 * * [simplify]: iteration 3 : 5001 enodes (cost 171 ) 1.970 * [simplify]: Simplified to: (+ (pow (pow (* (- (exp x) 2.0) (exp x)) 3) 3) 1) (- (+ 1 (pow (* (- (exp x) 2.0) (exp x)) 6)) (pow (* (- (exp x) 2.0) (exp x)) 3)) (- 1 (pow (* (- (exp x) 2.0) (exp x)) 6)) (- 1 (pow (* (- (exp x) 2.0) (exp x)) 3)) (* (+ (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (/ (+ x (log (- (exp x) 2.0))) 1/3) (pow (- (exp x) 2.0) 3) (pow (exp x) 3) (pow (exp x) 3) (pow (- (exp x) 2.0) 3) (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (exp (+ x x))) (pow (* (- (exp x) 2.0) (exp x)) 3/2) (pow (* (- (exp x) 2.0) (exp x)) 3/2) (- (pow (exp x) 3) (pow 2.0 3)) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x))) (- 2.0) (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ (exp x) 2.0) (- 2.0) (- (+ (* 3.0 (pow x 2)) (* 3.0 (pow x 3))) (* 1.25 (pow x 4))) (- (+ (pow (exp x) 6) (+ (* 12.0 (pow (exp x) 4)) 1)) (+ (* 6.0 (pow (exp x) 5)) (* 8.0 (pow (exp x) 3)))) (- (+ (pow (exp x) 6) (+ (* 12.0 (pow (exp x) 4)) 1)) (+ (* 6.0 (pow (exp x) 5)) (* 8.0 (pow (exp x) 3)))) (+ (* 3.0 (pow x 2)) (+ (* 4.0 x) 3.0)) (* (exp x) (+ (exp x) 2.0)) (* (exp x) (+ (exp x) 2.0)) (- (+ (* 3.0 (pow x 2)) (* 3.0 (pow x 3))) 1.0) (pow (* (- (exp x) 2.0) (exp x)) 3) (pow (* (- (exp x) 2.0) (exp x)) 3) (- (+ (* 1/2 (pow x 2)) x) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) 1.970 * * * [progress]: adding candidates to table 2.042 * [progress]: [Phase 3 of 3] Extracting. 2.042 * * [regime]: Finding splitpoints for: (# # #) 2.043 * * * [regime-changes]: Trying 1 branch expressions: (x) 2.043 * * * * [regimes]: Trying to branch on x from (# # #) 2.062 * * * [regime]: Found split indices: #