7.770 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.079 * * * [progress]: [2/2] Setting up program. 0.081 * [progress]: [Phase 2 of 3] Improving. 0.082 * [simplify]: Simplifying using # : (+ (- (exp x) 2.0) (exp (- x))) 0.084 * * [simplify]: iteration 0 : 14 enodes (cost 5 ) 0.085 * * [simplify]: iteration 1 : 26 enodes (cost 5 ) 0.087 * * [simplify]: iteration 2 : 41 enodes (cost 5 ) 0.088 * * [simplify]: iteration 3 : 55 enodes (cost 5 ) 0.090 * * [simplify]: iteration 4 : 67 enodes (cost 5 ) 0.091 * * [simplify]: iteration 5 : 100 enodes (cost 5 ) 0.093 * * [simplify]: iteration 6 : 144 enodes (cost 5 ) 0.096 * * [simplify]: iteration 7 : 296 enodes (cost 5 ) 0.105 * * [simplify]: iteration 8 : 1319 enodes (cost 5 ) 0.300 * * [simplify]: iteration 9 : 5001 enodes (cost 5 ) 0.301 * [simplify]: Simplified to: (+ (- (exp x) 2.0) (exp (- x))) 0.301 * * [progress]: iteration 1 / 4 0.301 * * * [progress]: picking best candidate 0.303 * * * * [pick]: Picked # 0.303 * * * [progress]: localizing error 0.309 * * * [progress]: generating rewritten candidates 0.309 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.313 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.316 * * * [progress]: generating series expansions 0.316 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.316 * [approximate]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in (x) around 0 0.316 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 0.316 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.316 * [taylor]: Taking taylor expansion of (exp x) in x 0.316 * [taylor]: Taking taylor expansion of x in x 0.316 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.316 * [taylor]: Taking taylor expansion of (- x) in x 0.316 * [taylor]: Taking taylor expansion of x in x 0.317 * [taylor]: Taking taylor expansion of 2.0 in x 0.317 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 0.317 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.317 * [taylor]: Taking taylor expansion of (exp x) in x 0.317 * [taylor]: Taking taylor expansion of x in x 0.317 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.317 * [taylor]: Taking taylor expansion of (- x) in x 0.317 * [taylor]: Taking taylor expansion of x in x 0.318 * [taylor]: Taking taylor expansion of 2.0 in x 0.356 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in (x) around 0 0.356 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 0.356 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.356 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.356 * [taylor]: Taking taylor expansion of x in x 0.357 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.357 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.357 * [taylor]: Taking taylor expansion of x in x 0.357 * [taylor]: Taking taylor expansion of 2.0 in x 0.357 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 0.357 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.357 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.357 * [taylor]: Taking taylor expansion of x in x 0.358 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.358 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.358 * [taylor]: Taking taylor expansion of x in x 0.358 * [taylor]: Taking taylor expansion of 2.0 in x 0.363 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0 0.363 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.363 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.363 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.363 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.364 * [taylor]: Taking taylor expansion of -1 in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of 2.0 in x 0.364 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.364 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.364 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.364 * [taylor]: Taking taylor expansion of -1 in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.365 * [taylor]: Taking taylor expansion of 2.0 in x 0.374 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.374 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0 0.374 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 0.374 * [taylor]: Taking taylor expansion of (exp x) 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 x) 2.0) in x 0.374 * [taylor]: Taking taylor expansion of (exp x) 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 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0 0.379 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 0.379 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.379 * [taylor]: Taking taylor expansion of x in x 0.379 * [taylor]: Taking taylor expansion of 2.0 in x 0.379 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 0.379 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.379 * [taylor]: Taking taylor expansion of x in x 0.379 * [taylor]: Taking taylor expansion of 2.0 in x 0.383 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0 0.383 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 0.383 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.383 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.383 * [taylor]: Taking taylor expansion of -1 in x 0.383 * [taylor]: Taking taylor expansion of x in x 0.383 * [taylor]: Taking taylor expansion of 2.0 in x 0.383 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 0.383 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.383 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.383 * [taylor]: Taking taylor expansion of -1 in x 0.383 * [taylor]: Taking taylor expansion of x in x 0.384 * [taylor]: Taking taylor expansion of 2.0 in x 0.387 * * * [progress]: simplifying candidates 0.388 * [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.391 * * [simplify]: iteration 0 : 163 enodes (cost 162 ) 0.394 * * [simplify]: iteration 1 : 510 enodes (cost 160 ) 0.405 * * [simplify]: iteration 2 : 2306 enodes (cost 151 ) 0.452 * * [simplify]: iteration 3 : 5002 enodes (cost 151 ) 0.453 * [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.453 * * * [progress]: adding candidates to table 0.492 * * [progress]: iteration 2 / 4 0.492 * * * [progress]: picking best candidate 0.496 * * * * [pick]: Picked # 0.496 * * * [progress]: localizing error 0.506 * * * [progress]: generating rewritten candidates 0.506 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 0.509 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 0.511 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.517 * * * [progress]: generating series expansions 0.517 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 0.517 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0 0.517 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.517 * [taylor]: Taking taylor expansion of 1/12 in x 0.517 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.517 * [taylor]: Taking taylor expansion of x in x 0.517 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.518 * [taylor]: Taking taylor expansion of 1/12 in x 0.518 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.518 * [taylor]: Taking taylor expansion of x in x 0.529 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 0.529 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.529 * [taylor]: Taking taylor expansion of 1/12 in x 0.529 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.529 * [taylor]: Taking taylor expansion of x in x 0.529 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.529 * [taylor]: Taking taylor expansion of 1/12 in x 0.529 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.530 * [taylor]: Taking taylor expansion of x in x 0.540 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 0.540 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.540 * [taylor]: Taking taylor expansion of 1/12 in x 0.540 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.540 * [taylor]: Taking taylor expansion of x in x 0.541 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.541 * [taylor]: Taking taylor expansion of 1/12 in x 0.541 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.541 * [taylor]: Taking taylor expansion of x in x 0.551 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 0.551 * [approximate]: Taking taylor expansion of (* 1/360 (pow x 6)) in (x) around 0 0.551 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.552 * [taylor]: Taking taylor expansion of 1/360 in x 0.552 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.552 * [taylor]: Taking taylor expansion of x in x 0.552 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.552 * [taylor]: Taking taylor expansion of 1/360 in x 0.552 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.552 * [taylor]: Taking taylor expansion of x in x 0.566 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0 0.566 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 0.566 * [taylor]: Taking taylor expansion of 1/360 in x 0.566 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.566 * [taylor]: Taking taylor expansion of x in x 0.567 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 0.567 * [taylor]: Taking taylor expansion of 1/360 in x 0.567 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.584 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0 0.584 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 0.584 * [taylor]: Taking taylor expansion of 1/360 in x 0.584 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 0.585 * [taylor]: Taking taylor expansion of 1/360 in x 0.585 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.599 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.599 * [approximate]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in (x) around 0 0.599 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 0.599 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.599 * [taylor]: Taking taylor expansion of 1/360 in x 0.599 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.599 * [taylor]: Taking taylor expansion of x in x 0.599 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.599 * [taylor]: Taking taylor expansion of 1/12 in x 0.599 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.599 * [taylor]: Taking taylor expansion of x in x 0.599 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 0.599 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.599 * [taylor]: Taking taylor expansion of 1/360 in x 0.599 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.599 * [taylor]: Taking taylor expansion of x in x 0.599 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.599 * [taylor]: Taking taylor expansion of 1/12 in x 0.599 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.599 * [taylor]: Taking taylor expansion of x in x 0.632 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0 0.632 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 0.632 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 0.632 * [taylor]: Taking taylor expansion of 1/360 in x 0.632 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 0.632 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.632 * [taylor]: Taking taylor expansion of x in x 0.633 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 0.633 * [taylor]: Taking taylor expansion of 1/12 in x 0.633 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.633 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.633 * [taylor]: Taking taylor expansion of x in x 0.634 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 0.634 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 0.634 * [taylor]: Taking taylor expansion of 1/360 in x 0.634 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 0.634 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.634 * [taylor]: Taking taylor expansion of x in x 0.635 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 0.635 * [taylor]: Taking taylor expansion of 1/12 in x 0.635 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.635 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.677 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0 0.678 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 0.678 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 0.678 * [taylor]: Taking taylor expansion of 1/360 in x 0.678 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 0.678 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.678 * [taylor]: Taking taylor expansion of x in x 0.679 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 0.679 * [taylor]: Taking taylor expansion of 1/12 in x 0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.679 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.679 * [taylor]: Taking taylor expansion of x in x 0.679 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 0.679 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 0.679 * [taylor]: Taking taylor expansion of 1/360 in x 0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 0.679 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.679 * [taylor]: Taking taylor expansion of x in x 0.680 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 0.680 * [taylor]: Taking taylor expansion of 1/12 in x 0.680 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.680 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.680 * [taylor]: Taking taylor expansion of x in x 0.723 * * * [progress]: simplifying candidates 0.723 * [simplify]: Simplifying using # : (* 1/12 (pow x (/ 4 2))) (* 1/360 (pow x (/ 6 2))) (+ (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)) (+ (* 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.726 * * [simplify]: iteration 0 : 82 enodes (cost 66 ) 0.728 * * [simplify]: iteration 1 : 317 enodes (cost 63 ) 0.737 * * [simplify]: iteration 2 : 1579 enodes (cost 62 ) 0.806 * * [simplify]: iteration 3 : 5001 enodes (cost 61 ) 0.807 * [simplify]: Simplified to: (* 1/12 (pow x 2)) (* 1/360 (pow x 3)) (+ (pow (* 1/360 (pow x 6)) 3) (pow (* 1/12 (pow x 4)) 3)) (* (pow x 6) (- (* 1/144 (pow x 2)) (- (* (* 1/12 (pow x 4)) 1/360) (* (pow x 6) 1/129600)))) (+ (* (- 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)) (+ (* 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.807 * * * [progress]: adding candidates to table 0.831 * * [progress]: iteration 3 / 4 0.831 * * * [progress]: picking best candidate 0.832 * * * * [pick]: Picked # 0.833 * * * [progress]: localizing error 0.839 * * * [progress]: generating rewritten candidates 0.839 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.843 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.847 * * * [progress]: generating series expansions 0.847 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.847 * [approximate]: Taking taylor expansion of (- (+ (exp (* -1 x)) (exp x)) 2.0) in (x) around 0 0.847 * [taylor]: Taking taylor expansion of (- (+ (exp (* -1 x)) (exp x)) 2.0) in x 0.847 * [taylor]: Taking taylor expansion of (+ (exp (* -1 x)) (exp x)) in x 0.847 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 0.847 * [taylor]: Taking taylor expansion of (* -1 x) in x 0.847 * [taylor]: Taking taylor expansion of -1 in x 0.847 * [taylor]: Taking taylor expansion of x in x 0.848 * [taylor]: Taking taylor expansion of (exp x) in x 0.848 * [taylor]: Taking taylor expansion of x in x 0.848 * [taylor]: Taking taylor expansion of 2.0 in x 0.848 * [taylor]: Taking taylor expansion of (- (+ (exp (* -1 x)) (exp x)) 2.0) in x 0.849 * [taylor]: Taking taylor expansion of (+ (exp (* -1 x)) (exp x)) in x 0.849 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 0.849 * [taylor]: Taking taylor expansion of (* -1 x) in x 0.849 * [taylor]: Taking taylor expansion of -1 in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.849 * [taylor]: Taking taylor expansion of (exp x) in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.849 * [taylor]: Taking taylor expansion of 2.0 in x 0.886 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0 0.886 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.886 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.886 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.886 * [taylor]: Taking taylor expansion of x in x 0.887 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.887 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.887 * [taylor]: Taking taylor expansion of -1 in x 0.887 * [taylor]: Taking taylor expansion of x in x 0.887 * [taylor]: Taking taylor expansion of 2.0 in x 0.887 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.887 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.887 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.887 * [taylor]: Taking taylor expansion of x in x 0.888 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.888 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.888 * [taylor]: Taking taylor expansion of -1 in x 0.888 * [taylor]: Taking taylor expansion of x in x 0.888 * [taylor]: Taking taylor expansion of 2.0 in x 0.893 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0 0.893 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.893 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.893 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.893 * [taylor]: Taking taylor expansion of x in x 0.893 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.893 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.893 * [taylor]: Taking taylor expansion of -1 in x 0.893 * [taylor]: Taking taylor expansion of x in x 0.894 * [taylor]: Taking taylor expansion of 2.0 in x 0.894 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.894 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.894 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.894 * [taylor]: Taking taylor expansion of x in x 0.894 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.894 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.894 * [taylor]: Taking taylor expansion of -1 in x 0.894 * [taylor]: Taking taylor expansion of x in x 0.894 * [taylor]: Taking taylor expansion of 2.0 in x 0.899 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.899 * [approximate]: Taking taylor expansion of (- (exp (* -1 x)) 2.0) in (x) around 0 0.899 * [taylor]: Taking taylor expansion of (- (exp (* -1 x)) 2.0) in x 0.899 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 0.899 * [taylor]: Taking taylor expansion of (* -1 x) in x 0.899 * [taylor]: Taking taylor expansion of -1 in x 0.899 * [taylor]: Taking taylor expansion of x in x 0.900 * [taylor]: Taking taylor expansion of 2.0 in x 0.900 * [taylor]: Taking taylor expansion of (- (exp (* -1 x)) 2.0) in x 0.900 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 0.900 * [taylor]: Taking taylor expansion of (* -1 x) in x 0.900 * [taylor]: Taking taylor expansion of -1 in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.901 * [taylor]: Taking taylor expansion of 2.0 in x 0.905 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0 0.905 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 0.905 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.905 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.905 * [taylor]: Taking taylor expansion of -1 in x 0.905 * [taylor]: Taking taylor expansion of x in x 0.906 * [taylor]: Taking taylor expansion of 2.0 in x 0.906 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 0.906 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.906 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.906 * [taylor]: Taking taylor expansion of -1 in x 0.906 * [taylor]: Taking taylor expansion of x in x 0.906 * [taylor]: Taking taylor expansion of 2.0 in x 0.910 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0 0.910 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 0.910 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.910 * [taylor]: Taking taylor expansion of x in x 0.910 * [taylor]: Taking taylor expansion of 2.0 in x 0.910 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 0.910 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.910 * [taylor]: Taking taylor expansion of x in x 0.911 * [taylor]: Taking taylor expansion of 2.0 in x 0.914 * * * [progress]: simplifying candidates 0.914 * [simplify]: Simplifying using # : (+ (pow (exp x) 3) (pow (- (exp (* -1 x)) 2.0) 3)) (+ (* (exp x) (exp x)) (- (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0)) (* (exp x) (- (exp (* -1 x)) 2.0)))) (- (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0))) (- (exp x) (- (exp (* -1 x)) 2.0)) (+ (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))) (- (pow (exp (* -1 x)) 3) (pow 2.0 3)) (+ (* (exp (* -1 x)) (exp (* -1 x))) (+ (* 2.0 2.0) (* (exp (* -1 x)) 2.0))) (- 2.0) (- (* (exp (* -1 x)) (exp (* -1 x))) (* 2.0 2.0)) (+ (exp (* -1 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 (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0) 0.917 * * [simplify]: iteration 0 : 125 enodes (cost 100 ) 0.920 * * [simplify]: iteration 1 : 341 enodes (cost 99 ) 0.926 * * [simplify]: iteration 2 : 1183 enodes (cost 98 ) 0.954 * * [simplify]: iteration 3 : 5001 enodes (cost 98 ) 0.955 * [simplify]: Simplified to: (+ (pow (exp x) 3) (pow (- (exp (* -1 x)) 2.0) 3)) (+ (* (- (exp (* -1 x)) 2.0) (- (- (exp (* -1 x)) 2.0) (exp x))) (exp (+ x x))) (- (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0))) (- (exp x) (- (exp (* -1 x)) 2.0)) (+ (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))) (- (pow (exp (* -1 x)) 3) (pow 2.0 3)) (+ (* (exp (* -1 x)) (+ (exp (* -1 x)) 2.0)) (* 2.0 2.0)) (- 2.0) (+ (- (* 2.0 2.0)) (pow (exp -1) (* 2 x))) (+ (exp (* -1 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 (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0) 0.955 * * * [progress]: adding candidates to table 0.983 * * [progress]: iteration 4 / 4 0.983 * * * [progress]: picking best candidate 0.985 * * * * [pick]: Picked # 0.985 * * * [progress]: localizing error 0.996 * * * [progress]: generating rewritten candidates 0.996 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.005 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.017 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 1.025 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1.030 * * * [progress]: generating series expansions 1.030 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.030 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) in (x) around 0 1.030 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) in x 1.030 * [taylor]: Taking taylor expansion of (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) in x 1.030 * [taylor]: Taking taylor expansion of (* 4.0 (exp (* -1 x))) in x 1.030 * [taylor]: Taking taylor expansion of 4.0 in x 1.030 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 1.030 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.030 * [taylor]: Taking taylor expansion of -1 in x 1.030 * [taylor]: Taking taylor expansion of x in x 1.031 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.031 * [taylor]: Taking taylor expansion of (exp x) in x 1.031 * [taylor]: Taking taylor expansion of x in x 1.031 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -1 x)) 2) 4.0) in x 1.031 * [taylor]: Taking taylor expansion of (pow (exp (* -1 x)) 2) in x 1.031 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 1.031 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.031 * [taylor]: Taking taylor expansion of -1 in x 1.031 * [taylor]: Taking taylor expansion of x in x 1.032 * [taylor]: Taking taylor expansion of 4.0 in x 1.032 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) in x 1.032 * [taylor]: Taking taylor expansion of (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) in x 1.032 * [taylor]: Taking taylor expansion of (* 4.0 (exp (* -1 x))) in x 1.032 * [taylor]: Taking taylor expansion of 4.0 in x 1.032 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 1.032 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.032 * [taylor]: Taking taylor expansion of -1 in x 1.032 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.033 * [taylor]: Taking taylor expansion of (exp x) in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -1 x)) 2) 4.0) in x 1.033 * [taylor]: Taking taylor expansion of (pow (exp (* -1 x)) 2) in x 1.033 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 1.033 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.033 * [taylor]: Taking taylor expansion of -1 in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.034 * [taylor]: Taking taylor expansion of 4.0 in x 1.073 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) (* 4.0 (exp (/ -1 x)))) (+ (pow (exp (/ -1 x)) 2) 4.0)) in (x) around 0 1.073 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) (* 4.0 (exp (/ -1 x)))) (+ (pow (exp (/ -1 x)) 2) 4.0)) in x 1.073 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) (* 4.0 (exp (/ -1 x)))) in x 1.073 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.073 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.073 * [taylor]: Taking taylor expansion of x in x 1.073 * [taylor]: Taking taylor expansion of (* 4.0 (exp (/ -1 x))) in x 1.073 * [taylor]: Taking taylor expansion of 4.0 in x 1.073 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.073 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.073 * [taylor]: Taking taylor expansion of -1 in x 1.073 * [taylor]: Taking taylor expansion of x in x 1.073 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 4.0) in x 1.073 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.074 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.074 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.074 * [taylor]: Taking taylor expansion of -1 in x 1.074 * [taylor]: Taking taylor expansion of x in x 1.074 * [taylor]: Taking taylor expansion of 4.0 in x 1.074 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) (* 4.0 (exp (/ -1 x)))) (+ (pow (exp (/ -1 x)) 2) 4.0)) in x 1.074 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) (* 4.0 (exp (/ -1 x)))) in x 1.074 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.074 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.074 * [taylor]: Taking taylor expansion of x in x 1.074 * [taylor]: Taking taylor expansion of (* 4.0 (exp (/ -1 x))) in x 1.074 * [taylor]: Taking taylor expansion of 4.0 in x 1.074 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.074 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.074 * [taylor]: Taking taylor expansion of -1 in x 1.074 * [taylor]: Taking taylor expansion of x in x 1.075 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 4.0) in x 1.075 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.075 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.075 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.075 * [taylor]: Taking taylor expansion of -1 in x 1.075 * [taylor]: Taking taylor expansion of x in x 1.075 * [taylor]: Taking taylor expansion of 4.0 in x 1.095 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (* 4.0 (exp (/ 1 x)))) (+ (pow (exp (/ 1 x)) 2) 4.0)) in (x) around 0 1.095 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (* 4.0 (exp (/ 1 x)))) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x 1.095 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (* 4.0 (exp (/ 1 x)))) in x 1.095 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.095 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.095 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.095 * [taylor]: Taking taylor expansion of -1 in x 1.095 * [taylor]: Taking taylor expansion of x in x 1.096 * [taylor]: Taking taylor expansion of (* 4.0 (exp (/ 1 x))) in x 1.096 * [taylor]: Taking taylor expansion of 4.0 in x 1.096 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.096 * [taylor]: Taking taylor expansion of x in x 1.096 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x 1.096 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.096 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.096 * [taylor]: Taking taylor expansion of x in x 1.097 * [taylor]: Taking taylor expansion of 4.0 in x 1.097 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (* 4.0 (exp (/ 1 x)))) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x 1.097 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (* 4.0 (exp (/ 1 x)))) in x 1.097 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.097 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.097 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.097 * [taylor]: Taking taylor expansion of -1 in x 1.097 * [taylor]: Taking taylor expansion of x in x 1.097 * [taylor]: Taking taylor expansion of (* 4.0 (exp (/ 1 x))) in x 1.097 * [taylor]: Taking taylor expansion of 4.0 in x 1.097 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.097 * [taylor]: Taking taylor expansion of x in x 1.097 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x 1.097 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.097 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.097 * [taylor]: Taking taylor expansion of x in x 1.098 * [taylor]: Taking taylor expansion of 4.0 in x 1.117 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.118 * [approximate]: Taking taylor expansion of (/ (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) (- (+ (exp x) 2.0) (exp (* -1 x)))) in (x) around 0 1.118 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) (- (+ (exp x) 2.0) (exp (* -1 x)))) in x 1.118 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) in x 1.118 * [taylor]: Taking taylor expansion of (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) in x 1.118 * [taylor]: Taking taylor expansion of (* 4.0 (exp (* -1 x))) in x 1.118 * [taylor]: Taking taylor expansion of 4.0 in x 1.118 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 1.118 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.118 * [taylor]: Taking taylor expansion of -1 in x 1.118 * [taylor]: Taking taylor expansion of x in x 1.119 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.119 * [taylor]: Taking taylor expansion of (exp x) in x 1.119 * [taylor]: Taking taylor expansion of x in x 1.119 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -1 x)) 2) 4.0) in x 1.119 * [taylor]: Taking taylor expansion of (pow (exp (* -1 x)) 2) in x 1.119 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 1.119 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.119 * [taylor]: Taking taylor expansion of -1 in x 1.119 * [taylor]: Taking taylor expansion of x in x 1.119 * [taylor]: Taking taylor expansion of 4.0 in x 1.120 * [taylor]: Taking taylor expansion of (- (+ (exp x) 2.0) (exp (* -1 x))) in x 1.120 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.120 * [taylor]: Taking taylor expansion of (exp x) in x 1.120 * [taylor]: Taking taylor expansion of x in x 1.120 * [taylor]: Taking taylor expansion of 2.0 in x 1.120 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 1.120 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.120 * [taylor]: Taking taylor expansion of -1 in x 1.120 * [taylor]: Taking taylor expansion of x in x 1.134 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) (- (+ (exp x) 2.0) (exp (* -1 x)))) in x 1.135 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) in x 1.135 * [taylor]: Taking taylor expansion of (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) in x 1.135 * [taylor]: Taking taylor expansion of (* 4.0 (exp (* -1 x))) in x 1.135 * [taylor]: Taking taylor expansion of 4.0 in x 1.135 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 1.135 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.135 * [taylor]: Taking taylor expansion of -1 in x 1.135 * [taylor]: Taking taylor expansion of x in x 1.135 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.135 * [taylor]: Taking taylor expansion of (exp x) in x 1.136 * [taylor]: Taking taylor expansion of x in x 1.136 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -1 x)) 2) 4.0) in x 1.136 * [taylor]: Taking taylor expansion of (pow (exp (* -1 x)) 2) in x 1.136 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 1.136 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.136 * [taylor]: Taking taylor expansion of -1 in x 1.136 * [taylor]: Taking taylor expansion of x in x 1.136 * [taylor]: Taking taylor expansion of 4.0 in x 1.136 * [taylor]: Taking taylor expansion of (- (+ (exp x) 2.0) (exp (* -1 x))) in x 1.136 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.136 * [taylor]: Taking taylor expansion of (exp x) in x 1.136 * [taylor]: Taking taylor expansion of x in x 1.136 * [taylor]: Taking taylor expansion of 2.0 in x 1.136 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 1.136 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.136 * [taylor]: Taking taylor expansion of -1 in x 1.136 * [taylor]: Taking taylor expansion of x in x 1.209 * [approximate]: Taking taylor expansion of (/ (- (+ (pow (exp (/ 1 x)) 2) (* 4.0 (exp (/ -1 x)))) (+ (pow (exp (/ -1 x)) 2) 4.0)) (- (+ (exp (/ 1 x)) 2.0) (exp (/ -1 x)))) in (x) around 0 1.209 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ 1 x)) 2) (* 4.0 (exp (/ -1 x)))) (+ (pow (exp (/ -1 x)) 2) 4.0)) (- (+ (exp (/ 1 x)) 2.0) (exp (/ -1 x)))) in x 1.209 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) (* 4.0 (exp (/ -1 x)))) (+ (pow (exp (/ -1 x)) 2) 4.0)) in x 1.209 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) (* 4.0 (exp (/ -1 x)))) in x 1.209 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.209 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.209 * [taylor]: Taking taylor expansion of x in x 1.209 * [taylor]: Taking taylor expansion of (* 4.0 (exp (/ -1 x))) in x 1.209 * [taylor]: Taking taylor expansion of 4.0 in x 1.209 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.209 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.209 * [taylor]: Taking taylor expansion of -1 in x 1.210 * [taylor]: Taking taylor expansion of x in x 1.210 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 4.0) in x 1.210 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.210 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.210 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.210 * [taylor]: Taking taylor expansion of -1 in x 1.210 * [taylor]: Taking taylor expansion of x in x 1.210 * [taylor]: Taking taylor expansion of 4.0 in x 1.210 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) 2.0) (exp (/ -1 x))) in x 1.210 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.210 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.210 * [taylor]: Taking taylor expansion of x in x 1.211 * [taylor]: Taking taylor expansion of 2.0 in x 1.211 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.211 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.211 * [taylor]: Taking taylor expansion of -1 in x 1.211 * [taylor]: Taking taylor expansion of x in x 1.212 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ 1 x)) 2) (* 4.0 (exp (/ -1 x)))) (+ (pow (exp (/ -1 x)) 2) 4.0)) (- (+ (exp (/ 1 x)) 2.0) (exp (/ -1 x)))) in x 1.212 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) (* 4.0 (exp (/ -1 x)))) (+ (pow (exp (/ -1 x)) 2) 4.0)) in x 1.212 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) (* 4.0 (exp (/ -1 x)))) in x 1.212 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.212 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.212 * [taylor]: Taking taylor expansion of x in x 1.213 * [taylor]: Taking taylor expansion of (* 4.0 (exp (/ -1 x))) in x 1.213 * [taylor]: Taking taylor expansion of 4.0 in x 1.213 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.213 * [taylor]: Taking taylor expansion of -1 in x 1.213 * [taylor]: Taking taylor expansion of x in x 1.213 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 4.0) in x 1.213 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.213 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.213 * [taylor]: Taking taylor expansion of -1 in x 1.213 * [taylor]: Taking taylor expansion of x in x 1.213 * [taylor]: Taking taylor expansion of 4.0 in x 1.213 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) 2.0) (exp (/ -1 x))) in x 1.214 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.214 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.214 * [taylor]: Taking taylor expansion of x in x 1.214 * [taylor]: Taking taylor expansion of 2.0 in x 1.214 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.214 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.214 * [taylor]: Taking taylor expansion of -1 in x 1.214 * [taylor]: Taking taylor expansion of x in x 1.249 * [approximate]: Taking taylor expansion of (/ (- (+ (pow (exp (/ -1 x)) 2) (* 4.0 (exp (/ 1 x)))) (+ (pow (exp (/ 1 x)) 2) 4.0)) (- (+ (exp (/ -1 x)) 2.0) (exp (/ 1 x)))) in (x) around 0 1.249 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ -1 x)) 2) (* 4.0 (exp (/ 1 x)))) (+ (pow (exp (/ 1 x)) 2) 4.0)) (- (+ (exp (/ -1 x)) 2.0) (exp (/ 1 x)))) in x 1.249 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (* 4.0 (exp (/ 1 x)))) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x 1.249 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (* 4.0 (exp (/ 1 x)))) in x 1.249 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.249 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.249 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.249 * [taylor]: Taking taylor expansion of -1 in x 1.249 * [taylor]: Taking taylor expansion of x in x 1.249 * [taylor]: Taking taylor expansion of (* 4.0 (exp (/ 1 x))) in x 1.249 * [taylor]: Taking taylor expansion of 4.0 in x 1.249 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.249 * [taylor]: Taking taylor expansion of x in x 1.250 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x 1.250 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.250 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.250 * [taylor]: Taking taylor expansion of x in x 1.250 * [taylor]: Taking taylor expansion of 4.0 in x 1.250 * [taylor]: Taking taylor expansion of (- (+ (exp (/ -1 x)) 2.0) (exp (/ 1 x))) in x 1.250 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.250 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.250 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.250 * [taylor]: Taking taylor expansion of -1 in x 1.250 * [taylor]: Taking taylor expansion of x in x 1.250 * [taylor]: Taking taylor expansion of 2.0 in x 1.250 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.250 * [taylor]: Taking taylor expansion of x in x 1.252 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ -1 x)) 2) (* 4.0 (exp (/ 1 x)))) (+ (pow (exp (/ 1 x)) 2) 4.0)) (- (+ (exp (/ -1 x)) 2.0) (exp (/ 1 x)))) in x 1.252 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (* 4.0 (exp (/ 1 x)))) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x 1.252 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (* 4.0 (exp (/ 1 x)))) in x 1.252 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.252 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.252 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.252 * [taylor]: Taking taylor expansion of -1 in x 1.252 * [taylor]: Taking taylor expansion of x in x 1.252 * [taylor]: Taking taylor expansion of (* 4.0 (exp (/ 1 x))) in x 1.252 * [taylor]: Taking taylor expansion of 4.0 in x 1.252 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.252 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.253 * [taylor]: Taking taylor expansion of x in x 1.253 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x 1.253 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.253 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.253 * [taylor]: Taking taylor expansion of x in x 1.253 * [taylor]: Taking taylor expansion of 4.0 in x 1.253 * [taylor]: Taking taylor expansion of (- (+ (exp (/ -1 x)) 2.0) (exp (/ 1 x))) in x 1.253 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.253 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.253 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.253 * [taylor]: Taking taylor expansion of -1 in x 1.253 * [taylor]: Taking taylor expansion of x in x 1.254 * [taylor]: Taking taylor expansion of 2.0 in x 1.254 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.254 * [taylor]: Taking taylor expansion of x in x 1.284 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.284 * [approximate]: Taking taylor expansion of (pow (- (exp (* -1 x)) 2.0) 2) in (x) around 0 1.284 * [taylor]: Taking taylor expansion of (pow (- (exp (* -1 x)) 2.0) 2) in x 1.284 * [taylor]: Taking taylor expansion of (- (exp (* -1 x)) 2.0) in x 1.284 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 1.284 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.284 * [taylor]: Taking taylor expansion of -1 in x 1.284 * [taylor]: Taking taylor expansion of x in x 1.285 * [taylor]: Taking taylor expansion of 2.0 in x 1.286 * [taylor]: Taking taylor expansion of (pow (- (exp (* -1 x)) 2.0) 2) in x 1.286 * [taylor]: Taking taylor expansion of (- (exp (* -1 x)) 2.0) in x 1.286 * [taylor]: Taking taylor expansion of (exp (* -1 x)) in x 1.286 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.286 * [taylor]: Taking taylor expansion of -1 in x 1.286 * [taylor]: Taking taylor expansion of x in x 1.286 * [taylor]: Taking taylor expansion of 2.0 in x 1.301 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 2) in (x) around 0 1.301 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 2) in x 1.301 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 1.301 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.301 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.301 * [taylor]: Taking taylor expansion of -1 in x 1.301 * [taylor]: Taking taylor expansion of x in x 1.301 * [taylor]: Taking taylor expansion of 2.0 in x 1.302 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 2) in x 1.302 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 1.302 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.302 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.302 * [taylor]: Taking taylor expansion of -1 in x 1.302 * [taylor]: Taking taylor expansion of x in x 1.302 * [taylor]: Taking taylor expansion of 2.0 in x 1.310 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 2) in (x) around 0 1.310 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 2) in x 1.310 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 1.310 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.310 * [taylor]: Taking taylor expansion of x in x 1.310 * [taylor]: Taking taylor expansion of 2.0 in x 1.311 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 2) in x 1.311 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 1.311 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.311 * [taylor]: Taking taylor expansion of x in x 1.311 * [taylor]: Taking taylor expansion of 2.0 in x 1.324 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.324 * [approximate]: Taking taylor expansion of (pow (exp x) 2) in (x) around 0 1.324 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.324 * [taylor]: Taking taylor expansion of (exp x) in x 1.324 * [taylor]: Taking taylor expansion of x in x 1.324 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1.324 * [taylor]: Taking taylor expansion of (exp x) in x 1.324 * [taylor]: Taking taylor expansion of x in x 1.327 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0 1.327 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.327 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.327 * [taylor]: Taking taylor expansion of x in x 1.327 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1.327 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.327 * [taylor]: Taking taylor expansion of x in x 1.332 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0 1.332 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.332 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.332 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.332 * [taylor]: Taking taylor expansion of -1 in x 1.332 * [taylor]: Taking taylor expansion of x in x 1.332 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1.332 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.332 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.332 * [taylor]: Taking taylor expansion of -1 in x 1.332 * [taylor]: Taking taylor expansion of x in x 1.337 * * * [progress]: simplifying candidates 1.338 * [simplify]: Simplifying using # : (- (pow (* (exp x) (exp x)) 3) (pow (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0)) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0))) (* (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0))))) (- (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0)))) (+ (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0))) (+ (exp x) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0)) (+ (exp x) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0)) (+ (exp x) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0)) (+ (exp x) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0)) (- (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x)))) (- (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x)))) (- (* (exp x) (exp x)) (* (exp (* -1 x)) (- (exp (* -1 x)) 2.0))) (- (* (exp x) (exp x)) (* (exp (* -1 x)) (- (exp (* -1 x)) 2.0))) (- (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0))) (- (- (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0)))) (- (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (* (exp x) (exp x)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (- (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x)))) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (* (- (exp (* -1 x)) 2.0) (- 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (- (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x)))) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (* (- (exp (* -1 x)) 2.0) (- 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (- (* (exp x) (exp x)) (* (exp (* -1 x)) (- (exp (* -1 x)) 2.0))) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (* (- 2.0) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (- (* (exp x) (exp x)) (* (exp (* -1 x)) (- (exp (* -1 x)) 2.0))) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (* (- 2.0) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ 1 (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (- (exp x) (- (exp (* -1 x)) 2.0)) (- (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0)))) (/ (- (exp x) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (- (exp x) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (- (exp x) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (- (exp x) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (- (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0))) (- (pow (exp x) 3) (pow (- (exp (* -1 x)) 2.0) 3))) (/ (- (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0))) (- (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0)))) (* (- (exp x) (- (exp (* -1 x)) 2.0)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0))) (* (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0)))))) (* (- (exp x) (- (exp (* -1 x)) 2.0)) (+ (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0)))) (* (- (pow (exp (* -1 x)) 3) (pow 2.0 3)) (- (pow (exp (* -1 x)) 3) (pow 2.0 3))) (* (+ (* (exp (* -1 x)) (exp (* -1 x))) (+ (* 2.0 2.0) (* (exp (* -1 x)) 2.0))) (+ (* (exp (* -1 x)) (exp (* -1 x))) (+ (* 2.0 2.0) (* (exp (* -1 x)) 2.0)))) (* (- (pow (exp (* -1 x)) 3) (pow 2.0 3)) (- (* (exp (* -1 x)) (exp (* -1 x))) (* 2.0 2.0))) (* (+ (* (exp (* -1 x)) (exp (* -1 x))) (+ (* 2.0 2.0) (* (exp (* -1 x)) 2.0))) (+ (exp (* -1 x)) 2.0)) (* (- (* (exp (* -1 x)) (exp (* -1 x))) (* 2.0 2.0)) (- (pow (exp (* -1 x)) 3) (pow 2.0 3))) (* (+ (exp (* -1 x)) 2.0) (+ (* (exp (* -1 x)) (exp (* -1 x))) (+ (* 2.0 2.0) (* (exp (* -1 x)) 2.0)))) (* (- (* (exp (* -1 x)) (exp (* -1 x))) (* 2.0 2.0)) (- (* (exp (* -1 x)) (exp (* -1 x))) (* 2.0 2.0))) (* (+ (exp (* -1 x)) 2.0) (+ (exp (* -1 x)) 2.0)) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x))) (* (- (exp (* -1 x)) 2.0) (- 2.0)) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x))) (* (- (exp (* -1 x)) 2.0) (- 2.0)) (* (exp (* -1 x)) (- (exp (* -1 x)) 2.0)) (* (- 2.0) (- (exp (* -1 x)) 2.0)) (* (exp (* -1 x)) (- (exp (* -1 x)) 2.0)) (* (- 2.0) (- (exp (* -1 x)) 2.0)) (* (- (exp (* -1 x)) 2.0) (- (pow (exp (* -1 x)) 3) (pow 2.0 3))) (* (- (exp (* -1 x)) 2.0) (- (* (exp (* -1 x)) (exp (* -1 x))) (* 2.0 2.0))) (* (- (pow (exp (* -1 x)) 3) (pow 2.0 3)) (- (exp (* -1 x)) 2.0)) (* (- (* (exp (* -1 x)) (exp (* -1 x))) (* 2.0 2.0)) (- (exp (* -1 x)) 2.0)) (+ x x) (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 3)) (* 0.16666666666666663 (pow x 4)))) (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) (+ (* 1.0 (pow x 2)) (+ (* 2.7755575615628914e-17 (pow x 5)) (* 0.08333333333333331 (pow x 4)))) (/ (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) (- (+ (exp x) 2.0) (exp (* -1 x)))) (/ (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) (- (+ (exp x) 2.0) (exp (* -1 x)))) (- (+ 1.0 (* 2.0 x)) (* 0.6666666666666667 (pow x 3))) (pow (- (exp (* -1 x)) 2.0) 2) (pow (- (exp (* -1 x)) 2.0) 2) (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) (pow (exp x) 2) (pow (exp x) 2) 1.343 * * [simplify]: iteration 0 : 328 enodes (cost 668 ) 1.349 * * [simplify]: iteration 1 : 1315 enodes (cost 625 ) 1.374 * * [simplify]: iteration 2 : 5002 enodes (cost 611 ) 1.377 * [simplify]: Simplified to: (- (pow (* (exp x) (exp x)) 3) (pow (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0)) 3)) (+ (+ (pow (exp x) 4) (* (pow (- (exp (* -1 x)) 2.0) 2) (pow (exp x) 2))) (pow (- (exp (* -1 x)) 2.0) 4)) (- (pow (- (exp (* -1 x)) 2.0) 2)) (+ (* (- (pow (- (exp (* -1 x)) 2.0) 3)) (- (exp (* -1 x)) 2.0)) (pow (exp x) 4)) (+ (pow (- (exp (* -1 x)) 2.0) 2) (pow (exp x) 2)) (+ (exp x) (- (exp (* -1 x)) 2.0)) (- (+ (exp x) 2.0) (exp (* -1 x))) (+ (exp x) (- (exp (* -1 x)) 2.0)) (- (+ (exp x) 2.0) (exp (* -1 x))) (+ (exp x) (- (exp (* -1 x)) 2.0)) (- (+ (exp x) 2.0) (exp (* -1 x))) (+ (exp x) (- (exp (* -1 x)) 2.0)) (- (+ (exp x) 2.0) (exp (* -1 x))) (- (pow (exp x) 2) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x)))) (- (pow (exp x) 2) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x)))) (- (pow (exp x) 2) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x)))) (- (pow (exp x) 2) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x)))) (- (pow (- (exp (* -1 x)) 2.0) 2)) (+ (- (pow (exp x) 2)) (pow (- (exp (* -1 x)) 2.0) 2)) (- (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (pow (exp x) 2) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (pow (- (exp (* -1 x)) 2.0) 2) (- (+ (exp x) 2.0) (exp (* -1 x)))) (/ (- (* (exp x) (exp x)) (* (exp (* -1 x)) (- (exp (* -1 x)) 2.0))) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (* (- 2.0) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (- (* (exp x) (exp x)) (* (exp (* -1 x)) (- (exp (* -1 x)) 2.0))) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (* (- 2.0) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (- (* (exp x) (exp x)) (* (exp (* -1 x)) (- (exp (* -1 x)) 2.0))) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (* (- 2.0) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (- (* (exp x) (exp x)) (* (exp (* -1 x)) (- (exp (* -1 x)) 2.0))) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (* (- 2.0) (- (exp (* -1 x)) 2.0)) (- (exp x) (- (exp (* -1 x)) 2.0))) (/ 1 (- (exp x) (- (exp (* -1 x)) 2.0))) (/ (- (+ (exp x) 2.0) (exp (* -1 x))) (- (pow (exp x) 2) (pow (- (exp (* -1 x)) 2.0) 2))) 1 1 1 1 (/ (- (* (exp x) (exp x)) (* (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0))) (- (pow (exp x) 3) (pow (- (exp (* -1 x)) 2.0) 3))) 1 (* (- (+ (exp x) 2.0) (exp (* -1 x))) (+ (+ (pow (exp x) 4) (* (pow (- (exp (* -1 x)) 2.0) 2) (pow (exp x) 2))) (pow (- (exp (* -1 x)) 2.0) 4))) (* (+ (pow (- (exp (* -1 x)) 2.0) 2) (pow (exp x) 2)) (- (exp x) (- (exp (* -1 x)) 2.0))) (* (- (pow (exp (* -1 x)) 3) (pow 2.0 3)) (- (pow (exp (* -1 x)) 3) (pow 2.0 3))) (* (+ (* 2.0 (+ 2.0 (exp (* -1 x)))) (pow (exp (* -1 x)) 2)) (+ (pow (exp (* -1 x)) 2) (* 2.0 (+ 2.0 (exp (* -1 x)))))) (* (- (pow (exp (* -1 x)) 3) (pow 2.0 3)) (- (* (exp (* -1 x)) (exp (* -1 x))) (* 2.0 2.0))) (* (+ (exp (* -1 x)) 2.0) (+ (pow (exp (* -1 x)) 2) (* 2.0 (+ 2.0 (exp (* -1 x)))))) (* (- (pow (exp (* -1 x)) 3) (pow 2.0 3)) (- (* (exp (* -1 x)) (exp (* -1 x))) (* 2.0 2.0))) (* (+ (exp (* -1 x)) 2.0) (+ (pow (exp (* -1 x)) 2) (* 2.0 (+ 2.0 (exp (* -1 x)))))) (* (* (+ (exp (* -1 x)) 2.0) (+ (exp (* -1 x)) 2.0)) (pow (- (exp (* -1 x)) 2.0) 2)) (* (+ (exp (* -1 x)) 2.0) (+ (exp (* -1 x)) 2.0)) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x))) (* (- (exp (* -1 x)) 2.0) (- 2.0)) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x))) (* (- (exp (* -1 x)) 2.0) (- 2.0)) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x))) (* (- (exp (* -1 x)) 2.0) (- 2.0)) (* (- (exp (* -1 x)) 2.0) (exp (* -1 x))) (* (- (exp (* -1 x)) 2.0) (- 2.0)) (* (- (exp (* -1 x)) 2.0) (- (pow (exp (* -1 x)) 3) (pow 2.0 3))) (* (+ (exp (* -1 x)) 2.0) (pow (- (exp (* -1 x)) 2.0) 2)) (* (- (exp (* -1 x)) 2.0) (- (pow (exp (* -1 x)) 3) (pow 2.0 3))) (* (+ (exp (* -1 x)) 2.0) (pow (- (exp (* -1 x)) 2.0) 2)) (+ x x) (+ (* 0.16666666666666663 (pow x 4)) (* 2.0 (+ (pow x 2) (pow x 3)))) (- (+ (* 4.0 (exp (* -1 x))) (- (pow (exp x) 2) 4.0)) (pow (exp x) -2)) (- (+ (* 4.0 (exp (* -1 x))) (- (pow (exp x) 2) 4.0)) (pow (exp x) -2)) (+ (* 1.0 (pow x 2)) (+ (* 2.7755575615628914e-17 (pow x 5)) (* 0.08333333333333331 (pow x 4)))) (/ (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) (- (+ (exp x) 2.0) (exp (* -1 x)))) (/ (- (+ (* 4.0 (exp (* -1 x))) (pow (exp x) 2)) (+ (pow (exp (* -1 x)) 2) 4.0)) (- (+ (exp x) 2.0) (exp (* -1 x)))) (- (+ 1.0 (* 2.0 x)) (* 0.6666666666666667 (pow x 3))) (pow (- (exp (* -1 x)) 2.0) 2) (pow (- (exp (* -1 x)) 2.0) 2) (+ 1 (* 2 (+ (pow x 2) x))) (pow (exp x) 2) (pow (exp x) 2) 1.377 * * * [progress]: adding candidates to table 1.484 * [progress]: [Phase 3 of 3] Extracting. 1.484 * * [regime]: Finding splitpoints for: (# # #) 1.485 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.485 * * * * [regimes]: Trying to branch on x from (# # #) 1.499 * * * [regime]: Found split indices: #