4.399 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.078 * * * [progress]: [2/2] Setting up program. 0.080 * [progress]: [Phase 2 of 3] Improving. 0.080 * [simplify]: Simplifying using # : (+ (- (exp x) 2.0) (exp (- x))) 0.082 * * [simplify]: iteration 0 : 14 enodes (cost 5 ) 0.084 * * [simplify]: iteration 1 : 26 enodes (cost 5 ) 0.085 * * [simplify]: iteration 2 : 41 enodes (cost 5 ) 0.086 * * [simplify]: iteration 3 : 55 enodes (cost 5 ) 0.088 * * [simplify]: iteration 4 : 67 enodes (cost 5 ) 0.089 * * [simplify]: iteration 5 : 104 enodes (cost 5 ) 0.091 * * [simplify]: iteration 6 : 161 enodes (cost 5 ) 0.094 * * [simplify]: iteration 7 : 344 enodes (cost 5 ) 0.103 * * [simplify]: iteration 8 : 1454 enodes (cost 5 ) 0.299 * * [simplify]: iteration 9 : 5001 enodes (cost 5 ) 0.299 * [simplify]: Simplified to: (+ (- (exp x) 2.0) (exp (- x))) 0.300 * * [progress]: iteration 1 / 4 0.300 * * * [progress]: picking best candidate 0.301 * * * * [pick]: Picked # 0.301 * * * [progress]: localizing error 0.307 * * * [progress]: generating rewritten candidates 0.307 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.333 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.340 * * * [progress]: generating series expansions 0.340 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.340 * [approximate]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in (x) around 0 0.340 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 0.340 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.343 * [taylor]: Taking taylor expansion of (exp x) in x 0.343 * [taylor]: Taking taylor expansion of x in x 0.343 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.343 * [taylor]: Taking taylor expansion of (- x) in x 0.343 * [taylor]: Taking taylor expansion of x in x 0.344 * [taylor]: Taking taylor expansion of 2.0 in x 0.344 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in x 0.344 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.344 * [taylor]: Taking taylor expansion of (exp x) in x 0.344 * [taylor]: Taking taylor expansion of x in x 0.344 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.344 * [taylor]: Taking taylor expansion of (- x) in x 0.344 * [taylor]: Taking taylor expansion of x in x 0.345 * [taylor]: Taking taylor expansion of 2.0 in x 0.384 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in (x) around 0 0.384 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 0.384 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.384 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.384 * [taylor]: Taking taylor expansion of x in x 0.385 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.385 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.385 * [taylor]: Taking taylor expansion of x in x 0.385 * [taylor]: Taking taylor expansion of 2.0 in x 0.385 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x 0.385 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.385 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.385 * [taylor]: Taking taylor expansion of x in x 0.386 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.386 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.386 * [taylor]: Taking taylor expansion of 2.0 in x 0.391 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0 0.391 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.391 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.391 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.391 * [taylor]: Taking taylor expansion of x in x 0.391 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.391 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.391 * [taylor]: Taking taylor expansion of -1 in x 0.392 * [taylor]: Taking taylor expansion of x in x 0.392 * [taylor]: Taking taylor expansion of 2.0 in x 0.392 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 0.392 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.392 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.392 * [taylor]: Taking taylor expansion of x in x 0.392 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.392 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.392 * [taylor]: Taking taylor expansion of -1 in x 0.392 * [taylor]: Taking taylor expansion of x in x 0.393 * [taylor]: Taking taylor expansion of 2.0 in x 0.397 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.397 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0 0.398 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 0.398 * [taylor]: Taking taylor expansion of (exp x) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of 2.0 in x 0.398 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 0.398 * [taylor]: Taking taylor expansion of (exp x) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of 2.0 in x 0.401 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0 0.402 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 0.402 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.402 * [taylor]: Taking taylor expansion of x in x 0.402 * [taylor]: Taking taylor expansion of 2.0 in x 0.402 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 0.402 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.402 * [taylor]: Taking taylor expansion of x in x 0.402 * [taylor]: Taking taylor expansion of 2.0 in x 0.406 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0 0.406 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 0.406 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.406 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.406 * [taylor]: Taking taylor expansion of -1 in x 0.406 * [taylor]: Taking taylor expansion of x in x 0.406 * [taylor]: Taking taylor expansion of 2.0 in x 0.406 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 0.406 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.406 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.406 * [taylor]: Taking taylor expansion of -1 in x 0.406 * [taylor]: Taking taylor expansion of x in x 0.406 * [taylor]: Taking taylor expansion of 2.0 in x 0.410 * * * [progress]: simplifying candidates 0.411 * [simplify]: Simplifying using # : (expm1 (+ (- (exp x) 2.0) (exp (- x)))) (log1p (+ (- (exp x) 2.0) (exp (- x)))) (* (/ (exp (exp x)) (exp 2.0)) (exp (exp (- x)))) (* (exp (- (exp x) 2.0)) (exp (exp (- x)))) (log (+ (- (exp x) 2.0) (exp (- x)))) (exp (+ (- (exp x) 2.0) (exp (- x)))) (* (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (cbrt (+ (- (exp x) 2.0) (exp (- x))))) (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (* (* (+ (- (exp x) 2.0) (exp (- x))) (+ (- (exp x) 2.0) (exp (- x)))) (+ (- (exp x) 2.0) (exp (- x)))) (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (sqrt (+ (- (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))) 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))) (+ (- (exp x) 2.0) (exp (- x))) (+ (- (exp x) 2.0) (exp (- x))) (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (exp (- x))) (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (exp (- x))) (+ (fma (- 2.0) 1 (* 2.0 1)) (exp (- x))) (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (exp (- x))) (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (exp (- x))) (+ (fma (- 2.0) 1 (* 2.0 1)) (exp (- x))) (+ (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (exp (- x))) (+ (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (exp (- x))) (+ (fma (- 2.0) 1 (* 2.0 1)) (exp (- x))) (+ (- 2.0) (exp (- x))) (+ (- 2.0) (exp (- x))) (- 2.0 (exp (- x))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))) (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 2.0) (sqrt 2.0)))) (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 2.0 1))) (fma (- 2.0) 1 (* 2.0 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))) (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 2.0) (sqrt 2.0)))) (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 2.0 1))) (fma (- 2.0) 1 (* 2.0 1)) (fma 1 (exp x) (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))) (fma (- (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))) (fma 1 (exp x) (- (* (sqrt 2.0) (sqrt 2.0)))) (fma (- (sqrt 2.0)) (sqrt 2.0) (* (sqrt 2.0) (sqrt 2.0))) (fma 1 (exp x) (- (* 2.0 1))) (fma (- 2.0) 1 (* 2.0 1)) (expm1 (- (exp x) 2.0)) (log1p (- (exp x) 2.0)) (- 2.0) (- 2.0) (- 2.0) (/ (exp (exp x)) (exp 2.0)) (log (- (exp x) 2.0)) (exp (- (exp x) 2.0)) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) (cbrt (- (exp x) 2.0)) (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (- (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) (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 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.416 * * [simplify]: iteration 0 : 282 enodes (cost 506 ) 0.420 * * [simplify]: iteration 1 : 1008 enodes (cost 381 ) 0.441 * * [simplify]: iteration 2 : 5001 enodes (cost 367 ) 0.444 * [simplify]: Simplified to: (expm1 (+ (- (exp x) 2.0) (exp (- x)))) (log1p (+ (- (exp x) 2.0) (exp (- x)))) (exp (+ (- (exp x) 2.0) (exp (- x)))) (exp (+ (- (exp x) 2.0) (exp (- x)))) (log (+ (- (exp x) 2.0) (exp (- x)))) (exp (+ (- (exp x) 2.0) (exp (- x)))) (* (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (cbrt (+ (- (exp x) 2.0) (exp (- x))))) (cbrt (+ (- (exp x) 2.0) (exp (- x)))) (pow (- (+ (exp (* -1 x)) (exp x)) 2.0) 3) (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)) (+ (pow (- (exp x) 2.0) 3) (pow (exp (- x)) 3)) (fma (exp (* -1 x)) (- (exp (- x)) (- (exp x) 2.0)) (* (- (exp x) 2.0) (- (exp x) 2.0))) (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (- x)) (exp (- x)))) (- (- (exp x) 2.0) (exp (- x))) (- (+ (exp (* -1 x)) (exp x)) 2.0) (- (+ (exp (* -1 x)) (exp x)) 2.0) (+ (- (exp (* -1 x)) 2.0) 2.0) (+ (- (exp (* -1 x)) 2.0) 2.0) (+ (- (exp (* -1 x)) 2.0) 2.0) (+ (- (exp (* -1 x)) 2.0) 2.0) (+ (- (exp (* -1 x)) 2.0) 2.0) (+ (- (exp (* -1 x)) 2.0) 2.0) (+ (- (exp (* -1 x)) 2.0) 2.0) (+ (- (exp (* -1 x)) 2.0) 2.0) (+ (- (exp (* -1 x)) 2.0) 2.0) (- (exp (* -1 x)) 2.0) (- (exp (* -1 x)) 2.0) (- 2.0 (exp (- x))) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 2.0) (fma (- 2.0) 1 2.0) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 2.0) (fma (- 2.0) 1 2.0) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 2.0) (fma (- 2.0) 1 2.0) (- (exp x) 2.0) (fma (- 2.0) 1 2.0) (- (exp x) 2.0) (fma (- 2.0) 1 2.0) (- (exp x) 2.0) (fma (- 2.0) 1 2.0) (- (exp x) 2.0) (fma (- 2.0) 1 2.0) (- (exp x) 2.0) (fma (- 2.0) 1 2.0) (- (exp x) 2.0) (fma (- 2.0) 1 2.0) (expm1 (- (exp x) 2.0)) (log1p (- (exp x) 2.0)) (- 2.0) (- 2.0) (- 2.0) (exp (- (exp x) 2.0)) (log (- (exp x) 2.0)) (exp (- (exp x) 2.0)) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) (cbrt (- (exp x) 2.0)) (pow (- (exp x) 2.0) 3) (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))) (- 2.0) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0) (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (- (exp x) 2.0) (- 2.0) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (- (+ (exp (* -1 x)) (exp x)) 2.0) (- (+ (exp (* -1 x)) (exp x)) 2.0) (fma (pow x 2) 1/2 (- x 1.0)) (- (exp x) 2.0) (- (exp x) 2.0) 0.444 * * * [progress]: adding candidates to table 0.596 * * [progress]: iteration 2 / 4 0.596 * * * [progress]: picking best candidate 0.609 * * * * [pick]: Picked # 0.610 * * * [progress]: localizing error 0.618 * * * [progress]: generating rewritten candidates 0.618 * * * * [progress]: [ 1 / 3 ] rewriting at (2 3 3) 0.624 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3) 0.624 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.625 * * * [progress]: generating series expansions 0.625 * * * * [progress]: [ 1 / 3 ] generating series at (2 3 3) 0.626 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0 0.626 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.626 * [taylor]: Taking taylor expansion of 1/12 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/12 (pow x 4)) in x 0.626 * [taylor]: Taking taylor expansion of 1/12 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.637 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 0.637 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.637 * [taylor]: Taking taylor expansion of 1/12 in x 0.637 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.637 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.638 * [taylor]: Taking taylor expansion of 1/12 in x 0.638 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.649 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 0.649 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.649 * [taylor]: Taking taylor expansion of 1/12 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.650 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.650 * [taylor]: Taking taylor expansion of 1/12 in x 0.650 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.650 * [taylor]: Taking taylor expansion of x in x 0.661 * * * * [progress]: [ 2 / 3 ] generating series at (2 3) 0.661 * [approximate]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in (x) around 0 0.661 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x 0.661 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 0.661 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.661 * [taylor]: Taking taylor expansion of 1/360 in x 0.661 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.661 * [taylor]: Taking taylor expansion of x in x 0.661 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.661 * [taylor]: Taking taylor expansion of 1/12 in x 0.661 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.661 * [taylor]: Taking taylor expansion of x in x 0.661 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x 0.661 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 0.661 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.661 * [taylor]: Taking taylor expansion of 1/360 in x 0.661 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.661 * [taylor]: Taking taylor expansion of x in x 0.661 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.661 * [taylor]: Taking taylor expansion of 1/12 in x 0.661 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.661 * [taylor]: Taking taylor expansion of x in x 0.700 * [approximate]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in (x) around 0 0.700 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x 0.700 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4))) 0.700 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x 0.700 * [taylor]: Taking taylor expansion of 1/360 in x 0.700 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 0.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.700 * [taylor]: Taking taylor expansion of x in x 0.700 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.700 * [taylor]: Taking taylor expansion of 1/12 in x 0.700 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.700 * [taylor]: Taking taylor expansion of x in x 0.701 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x 0.701 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4))) 0.701 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x 0.701 * [taylor]: Taking taylor expansion of 1/360 in x 0.701 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 0.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.702 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.702 * [taylor]: Taking taylor expansion of 1/12 in x 0.702 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.702 * [taylor]: Taking taylor expansion of x in x 0.740 * [approximate]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in (x) around 0 0.740 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x 0.740 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4))) 0.740 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x 0.740 * [taylor]: Taking taylor expansion of 1/360 in x 0.740 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 0.740 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.740 * [taylor]: Taking taylor expansion of -1 in x 0.740 * [taylor]: Taking taylor expansion of x in x 0.741 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.741 * [taylor]: Taking taylor expansion of 1/12 in x 0.741 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.741 * [taylor]: Taking taylor expansion of x in x 0.741 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x 0.741 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4))) 0.741 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x 0.742 * [taylor]: Taking taylor expansion of 1/360 in x 0.742 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 0.742 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.742 * [taylor]: Taking taylor expansion of -1 in x 0.742 * [taylor]: Taking taylor expansion of x in x 0.742 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.742 * [taylor]: Taking taylor expansion of 1/12 in x 0.742 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.742 * [taylor]: Taking taylor expansion of x in x 0.788 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.788 * [approximate]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in (x) around 0 0.788 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x 0.788 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) 0.788 * [taylor]: Taking taylor expansion of (* x x) in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x 0.788 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 0.788 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.788 * [taylor]: Taking taylor expansion of 1/360 in x 0.788 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.788 * [taylor]: Taking taylor expansion of 1/12 in x 0.788 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) in x 0.788 * [taylor]: Rewrote expression to (+ (* x x) (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) 0.788 * [taylor]: Taking taylor expansion of (* x x) in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x 0.788 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 0.789 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 0.789 * [taylor]: Taking taylor expansion of 1/360 in x 0.789 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.789 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 0.789 * [taylor]: Taking taylor expansion of 1/12 in x 0.789 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.799 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in (x) around 0 0.799 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x 0.799 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) 0.799 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.799 * [taylor]: Taking taylor expansion of x in x 0.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.800 * [taylor]: Taking taylor expansion of x in x 0.800 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x 0.800 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4))) 0.800 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x 0.800 * [taylor]: Taking taylor expansion of 1/360 in x 0.800 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 0.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.800 * [taylor]: Taking taylor expansion of x in x 0.800 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.800 * [taylor]: Taking taylor expansion of 1/12 in x 0.800 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.800 * [taylor]: Taking taylor expansion of x in x 0.801 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) in x 0.801 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4)))) 0.801 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.801 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.801 * [taylor]: Taking taylor expansion of x in x 0.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.802 * [taylor]: Taking taylor expansion of x in x 0.802 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x 0.802 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4))) 0.802 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x 0.802 * [taylor]: Taking taylor expansion of 1/360 in x 0.802 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 0.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.802 * [taylor]: Taking taylor expansion of x in x 0.802 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.802 * [taylor]: Taking taylor expansion of 1/12 in x 0.802 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.802 * [taylor]: Taking taylor expansion of x in x 0.820 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in (x) around 0 0.820 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x 0.820 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) 0.820 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.820 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.820 * [taylor]: Taking taylor expansion of -1 in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.820 * [taylor]: Taking taylor expansion of -1 in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x 0.821 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4))) 0.821 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x 0.821 * [taylor]: Taking taylor expansion of 1/360 in x 0.821 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 0.821 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.821 * [taylor]: Taking taylor expansion of -1 in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.821 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.821 * [taylor]: Taking taylor expansion of 1/12 in x 0.821 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.822 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) in x 0.822 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4)))) 0.822 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.822 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.822 * [taylor]: Taking taylor expansion of -1 in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.822 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.822 * [taylor]: Taking taylor expansion of -1 in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.822 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x 0.823 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4))) 0.823 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x 0.823 * [taylor]: Taking taylor expansion of 1/360 in x 0.823 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 0.823 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.823 * [taylor]: Taking taylor expansion of -1 in x 0.823 * [taylor]: Taking taylor expansion of x in x 0.823 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 0.823 * [taylor]: Taking taylor expansion of 1/12 in x 0.823 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.823 * [taylor]: Taking taylor expansion of x in x 0.846 * * * [progress]: simplifying candidates 0.846 * [simplify]: Simplifying using # : (expm1 (* 1/12 (pow x 4))) (log1p (* 1/12 (pow x 4))) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (log (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (* (* (* 1/12 1/12) 1/12) (* (* (pow x 4) (pow x 4)) (pow x 4))) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (* (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (pow x (/ 4 2))) (* (sqrt 1/12) (pow x (/ 4 2))) (* 1/12 (pow (* (cbrt x) (cbrt x)) 4)) (* 1/12 (pow (sqrt x) 4)) (* 1/12 (pow 1 4)) (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) (* 1/12 1) (* 1/12 (pow x (/ 4 2))) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (expm1 (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (log1p (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* 1/360 (pow x 6)) (log (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (exp (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* (* (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (expm1 (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (log1p (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (* x x) (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (exp (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (* (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (* (* (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (sqrt (fma x x (fma 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/12 (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)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) 0.850 * * [simplify]: iteration 0 : 143 enodes (cost 265 ) 0.854 * * [simplify]: iteration 1 : 544 enodes (cost 240 ) 0.867 * * [simplify]: iteration 2 : 2626 enodes (cost 237 ) 0.941 * * [simplify]: iteration 3 : 5001 enodes (cost 237 ) 0.943 * [simplify]: Simplified to: (expm1 (* 1/12 (pow x 4))) (log1p (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (pow (* 1/12 (pow x 4)) 3) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (pow (* 1/12 (pow x 4)) 3) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* (sqrt 1/12) (pow x 2)) (* (sqrt 1/12) (pow x 2)) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (pow x 2)) (* (sqrt 1/12) (pow x 2)) (* 1/12 (pow (* (cbrt x) (cbrt x)) 4)) (* 1/12 (pow x 2)) 1/12 (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) 1/12 (* 1/12 (pow x 2)) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (expm1 (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (log1p (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* 1/360 (pow x 6)) (log (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (exp (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (* (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (pow (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) 3) (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (sqrt (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (expm1 (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (log1p (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (pow x 2) (log (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (exp (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (* (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))) (cbrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (pow (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) 3) (sqrt (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))) (sqrt (fma x x (fma 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)) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))) 0.943 * * * [progress]: adding candidates to table 1.074 * * [progress]: iteration 3 / 4 1.074 * * * [progress]: picking best candidate 1.086 * * * * [pick]: Picked # 1.086 * * * [progress]: localizing error 1.098 * * * [progress]: generating rewritten candidates 1.098 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.098 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.106 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1.121 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.127 * * * [progress]: generating series expansions 1.127 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.128 * [approximate]: Taking taylor expansion of (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) in (x) around 0 1.128 * [taylor]: Taking taylor expansion of (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) in x 1.128 * [taylor]: Rewrote expression to (+ (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) (+ (exp x) 2.0)) 1.128 * [taylor]: Taking taylor expansion of (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) in x 1.128 * [taylor]: Taking taylor expansion of (exp x) in x 1.128 * [taylor]: Taking taylor expansion of x in x 1.128 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 x))) in x 1.128 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 x))) 1.128 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.128 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.128 * [taylor]: Taking taylor expansion of 2.0 in x 1.128 * [taylor]: Taking taylor expansion of 2.0 in x 1.128 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.128 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.128 * [taylor]: Taking taylor expansion of 2 in x 1.128 * [taylor]: Taking taylor expansion of x in x 1.129 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.129 * [taylor]: Taking taylor expansion of (exp x) in x 1.129 * [taylor]: Taking taylor expansion of x in x 1.129 * [taylor]: Taking taylor expansion of 2.0 in x 1.129 * [taylor]: Taking taylor expansion of (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) in x 1.129 * [taylor]: Rewrote expression to (+ (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) (+ (exp x) 2.0)) 1.129 * [taylor]: Taking taylor expansion of (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) in x 1.129 * [taylor]: Taking taylor expansion of (exp x) in x 1.129 * [taylor]: Taking taylor expansion of x in x 1.129 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 x))) in x 1.129 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 x))) 1.129 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.129 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.129 * [taylor]: Taking taylor expansion of 2.0 in x 1.129 * [taylor]: Taking taylor expansion of 2.0 in x 1.129 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.129 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.129 * [taylor]: Taking taylor expansion of 2 in x 1.129 * [taylor]: Taking taylor expansion of x in x 1.130 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.130 * [taylor]: Taking taylor expansion of (exp x) in x 1.130 * [taylor]: Taking taylor expansion of x in x 1.130 * [taylor]: Taking taylor expansion of 2.0 in x 1.174 * [approximate]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) in (x) around 0 1.174 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) in x 1.174 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) (+ (exp (/ 1 x)) 2.0)) 1.174 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) in x 1.174 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.174 * [taylor]: Taking taylor expansion of x in x 1.174 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) in x 1.174 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 (/ 1 x)))) 1.174 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.174 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.174 * [taylor]: Taking taylor expansion of 2.0 in x 1.174 * [taylor]: Taking taylor expansion of 2.0 in x 1.174 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.174 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.174 * [taylor]: Taking taylor expansion of 2 in x 1.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.174 * [taylor]: Taking taylor expansion of x in x 1.175 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.175 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.175 * [taylor]: Taking taylor expansion of x in x 1.175 * [taylor]: Taking taylor expansion of 2.0 in x 1.175 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) in x 1.175 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) (+ (exp (/ 1 x)) 2.0)) 1.175 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) in x 1.176 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.176 * [taylor]: Taking taylor expansion of x in x 1.176 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) in x 1.176 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 (/ 1 x)))) 1.176 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.176 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.176 * [taylor]: Taking taylor expansion of 2.0 in x 1.176 * [taylor]: Taking taylor expansion of 2.0 in x 1.176 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.176 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.176 * [taylor]: Taking taylor expansion of 2 in x 1.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.176 * [taylor]: Taking taylor expansion of x in x 1.177 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.177 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.177 * [taylor]: Taking taylor expansion of x in x 1.177 * [taylor]: Taking taylor expansion of 2.0 in x 1.197 * [approximate]: Taking taylor expansion of (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) in (x) around 0 1.197 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) in x 1.197 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) (+ (exp (/ -1 x)) 2.0)) 1.197 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) in x 1.197 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.197 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.197 * [taylor]: Taking taylor expansion of -1 in x 1.197 * [taylor]: Taking taylor expansion of x in x 1.197 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) in x 1.197 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (- (* 2 (/ 1 x))))) 1.197 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.197 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.197 * [taylor]: Taking taylor expansion of 2.0 in x 1.197 * [taylor]: Taking taylor expansion of 2.0 in x 1.197 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.197 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.197 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.197 * [taylor]: Taking taylor expansion of 2 in x 1.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.198 * [taylor]: Taking taylor expansion of x in x 1.198 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.198 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.198 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.198 * [taylor]: Taking taylor expansion of -1 in x 1.198 * [taylor]: Taking taylor expansion of x in x 1.199 * [taylor]: Taking taylor expansion of 2.0 in x 1.199 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) in x 1.199 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) (+ (exp (/ -1 x)) 2.0)) 1.199 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) in x 1.199 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.199 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.199 * [taylor]: Taking taylor expansion of -1 in x 1.199 * [taylor]: Taking taylor expansion of x in x 1.199 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) in x 1.199 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (- (* 2 (/ 1 x))))) 1.199 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.199 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.199 * [taylor]: Taking taylor expansion of 2.0 in x 1.199 * [taylor]: Taking taylor expansion of 2.0 in x 1.199 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.200 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.200 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.200 * [taylor]: Taking taylor expansion of 2 in x 1.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.200 * [taylor]: Taking taylor expansion of x in x 1.200 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.200 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.200 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.200 * [taylor]: Taking taylor expansion of -1 in x 1.200 * [taylor]: Taking taylor expansion of x in x 1.201 * [taylor]: Taking taylor expansion of 2.0 in x 1.221 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.221 * [approximate]: Taking taylor expansion of (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) (* (exp x) (+ (exp x) 2.0))) in (x) around 0 1.221 * [taylor]: Taking taylor expansion of (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) (* (exp x) (+ (exp x) 2.0))) in x 1.221 * [taylor]: Taking taylor expansion of (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) in x 1.221 * [taylor]: Rewrote expression to (+ (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) (+ (exp x) 2.0)) 1.221 * [taylor]: Taking taylor expansion of (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) in x 1.221 * [taylor]: Taking taylor expansion of (exp x) in x 1.221 * [taylor]: Taking taylor expansion of x in x 1.221 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 x))) in x 1.222 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 x))) 1.222 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.222 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.222 * [taylor]: Taking taylor expansion of 2.0 in x 1.222 * [taylor]: Taking taylor expansion of 2.0 in x 1.222 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.222 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.222 * [taylor]: Taking taylor expansion of 2 in x 1.222 * [taylor]: Taking taylor expansion of x in x 1.222 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.222 * [taylor]: Taking taylor expansion of (exp x) in x 1.222 * [taylor]: Taking taylor expansion of x in x 1.222 * [taylor]: Taking taylor expansion of 2.0 in x 1.222 * [taylor]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in x 1.223 * [taylor]: Taking taylor expansion of (exp x) in x 1.223 * [taylor]: Taking taylor expansion of x in x 1.223 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.223 * [taylor]: Taking taylor expansion of (exp x) in x 1.223 * [taylor]: Taking taylor expansion of x in x 1.223 * [taylor]: Taking taylor expansion of 2.0 in x 1.237 * [taylor]: Taking taylor expansion of (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) (* (exp x) (+ (exp x) 2.0))) in x 1.237 * [taylor]: Taking taylor expansion of (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) in x 1.237 * [taylor]: Rewrote expression to (+ (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) (+ (exp x) 2.0)) 1.237 * [taylor]: Taking taylor expansion of (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) in x 1.237 * [taylor]: Taking taylor expansion of (exp x) in x 1.237 * [taylor]: Taking taylor expansion of x in x 1.237 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 x))) in x 1.237 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 x))) 1.237 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.237 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.238 * [taylor]: Taking taylor expansion of 2.0 in x 1.238 * [taylor]: Taking taylor expansion of 2.0 in x 1.238 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.238 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.238 * [taylor]: Taking taylor expansion of 2 in x 1.238 * [taylor]: Taking taylor expansion of x in x 1.238 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.238 * [taylor]: Taking taylor expansion of (exp x) in x 1.238 * [taylor]: Taking taylor expansion of x in x 1.238 * [taylor]: Taking taylor expansion of 2.0 in x 1.238 * [taylor]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in x 1.238 * [taylor]: Taking taylor expansion of (exp x) in x 1.238 * [taylor]: Taking taylor expansion of x in x 1.238 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.238 * [taylor]: Taking taylor expansion of (exp x) in x 1.238 * [taylor]: Taking taylor expansion of x in x 1.238 * [taylor]: Taking taylor expansion of 2.0 in x 1.365 * [approximate]: Taking taylor expansion of (/ (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x)))) in (x) around 0 1.366 * [taylor]: Taking taylor expansion of (/ (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x)))) in x 1.366 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) in x 1.366 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) (+ (exp (/ 1 x)) 2.0)) 1.366 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) in x 1.366 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) in x 1.366 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 (/ 1 x)))) 1.366 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.366 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.366 * [taylor]: Taking taylor expansion of 2.0 in x 1.366 * [taylor]: Taking taylor expansion of 2.0 in x 1.366 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.366 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.366 * [taylor]: Taking taylor expansion of 2 in x 1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.367 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.367 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.367 * [taylor]: Taking taylor expansion of x in x 1.367 * [taylor]: Taking taylor expansion of 2.0 in x 1.367 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 1.367 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.367 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.367 * [taylor]: Taking taylor expansion of x in x 1.368 * [taylor]: Taking taylor expansion of 2.0 in x 1.368 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.368 * [taylor]: Taking taylor expansion of x in x 1.369 * [taylor]: Taking taylor expansion of (/ (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x)))) in x 1.369 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) in x 1.369 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) (+ (exp (/ 1 x)) 2.0)) 1.369 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) in x 1.370 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.370 * [taylor]: Taking taylor expansion of x in x 1.370 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) in x 1.370 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 (/ 1 x)))) 1.370 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.370 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.370 * [taylor]: Taking taylor expansion of 2.0 in x 1.370 * [taylor]: Taking taylor expansion of 2.0 in x 1.370 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.370 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.370 * [taylor]: Taking taylor expansion of 2 in x 1.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.370 * [taylor]: Taking taylor expansion of x in x 1.371 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.371 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.371 * [taylor]: Taking taylor expansion of x in x 1.371 * [taylor]: Taking taylor expansion of 2.0 in x 1.371 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 1.371 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.371 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.371 * [taylor]: Taking taylor expansion of x in x 1.371 * [taylor]: Taking taylor expansion of 2.0 in x 1.371 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.371 * [taylor]: Taking taylor expansion of x in x 1.401 * [approximate]: Taking taylor expansion of (/ (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0))) in (x) around 0 1.402 * [taylor]: Taking taylor expansion of (/ (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0))) in x 1.402 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) in x 1.402 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) (+ (exp (/ -1 x)) 2.0)) 1.402 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) in x 1.402 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.402 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.402 * [taylor]: Taking taylor expansion of -1 in x 1.402 * [taylor]: Taking taylor expansion of x in x 1.402 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) in x 1.402 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (- (* 2 (/ 1 x))))) 1.402 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.402 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.402 * [taylor]: Taking taylor expansion of 2.0 in x 1.402 * [taylor]: Taking taylor expansion of 2.0 in x 1.402 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.402 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.403 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.403 * [taylor]: Taking taylor expansion of 2 in x 1.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.403 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.403 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.403 * [taylor]: Taking taylor expansion of -1 in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of 2.0 in x 1.404 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in x 1.404 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.404 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.404 * [taylor]: Taking taylor expansion of -1 in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.404 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.404 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.404 * [taylor]: Taking taylor expansion of -1 in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.405 * [taylor]: Taking taylor expansion of 2.0 in x 1.412 * [taylor]: Taking taylor expansion of (/ (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0))) in x 1.412 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) in x 1.412 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) (+ (exp (/ -1 x)) 2.0)) 1.412 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) in x 1.412 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.412 * [taylor]: Taking taylor expansion of -1 in x 1.412 * [taylor]: Taking taylor expansion of x in x 1.412 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) in x 1.413 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (- (* 2 (/ 1 x))))) 1.413 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.413 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.413 * [taylor]: Taking taylor expansion of 2.0 in x 1.413 * [taylor]: Taking taylor expansion of 2.0 in x 1.413 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.413 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.413 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.413 * [taylor]: Taking taylor expansion of 2 in x 1.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.413 * [taylor]: Taking taylor expansion of x in x 1.413 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.414 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.414 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.414 * [taylor]: Taking taylor expansion of -1 in x 1.414 * [taylor]: Taking taylor expansion of x in x 1.414 * [taylor]: Taking taylor expansion of 2.0 in x 1.414 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in x 1.414 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.414 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.414 * [taylor]: Taking taylor expansion of -1 in x 1.414 * [taylor]: Taking taylor expansion of x in x 1.414 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.414 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.414 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.414 * [taylor]: Taking taylor expansion of -1 in x 1.414 * [taylor]: Taking taylor expansion of x in x 1.415 * [taylor]: Taking taylor expansion of 2.0 in x 1.444 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1.444 * [approximate]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in (x) around 0 1.444 * [taylor]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in x 1.444 * [taylor]: Taking taylor expansion of (exp x) in x 1.444 * [taylor]: Taking taylor expansion of x in x 1.444 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.444 * [taylor]: Taking taylor expansion of (exp x) in x 1.444 * [taylor]: Taking taylor expansion of x in x 1.445 * [taylor]: Taking taylor expansion of 2.0 in x 1.445 * [taylor]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in x 1.445 * [taylor]: Taking taylor expansion of (exp x) in x 1.445 * [taylor]: Taking taylor expansion of x in x 1.445 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.445 * [taylor]: Taking taylor expansion of (exp x) in x 1.445 * [taylor]: Taking taylor expansion of x in x 1.445 * [taylor]: Taking taylor expansion of 2.0 in x 1.451 * [approximate]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in (x) around 0 1.451 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 1.452 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.452 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.452 * [taylor]: Taking taylor expansion of x in x 1.452 * [taylor]: Taking taylor expansion of 2.0 in x 1.452 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.452 * [taylor]: Taking taylor expansion of x in x 1.452 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 1.452 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.452 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.452 * [taylor]: Taking taylor expansion of x in x 1.453 * [taylor]: Taking taylor expansion of 2.0 in x 1.453 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.453 * [taylor]: Taking taylor expansion of x in x 1.459 * [approximate]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in (x) around 0 1.459 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in x 1.459 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.459 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.459 * [taylor]: Taking taylor expansion of -1 in x 1.459 * [taylor]: Taking taylor expansion of x in x 1.459 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.460 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.460 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.460 * [taylor]: Taking taylor expansion of -1 in x 1.460 * [taylor]: Taking taylor expansion of x in x 1.460 * [taylor]: Taking taylor expansion of 2.0 in x 1.460 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in x 1.460 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.460 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.460 * [taylor]: Taking taylor expansion of -1 in x 1.460 * [taylor]: Taking taylor expansion of x in x 1.460 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.460 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.460 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.460 * [taylor]: Taking taylor expansion of -1 in x 1.460 * [taylor]: Taking taylor expansion of x in x 1.461 * [taylor]: Taking taylor expansion of 2.0 in x 1.467 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.467 * [approximate]: Taking taylor expansion of (+ (exp x) 2.0) in (x) around 0 1.467 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.467 * [taylor]: Taking taylor expansion of (exp x) in x 1.467 * [taylor]: Taking taylor expansion of x in x 1.467 * [taylor]: Taking taylor expansion of 2.0 in x 1.467 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.467 * [taylor]: Taking taylor expansion of (exp x) in x 1.467 * [taylor]: Taking taylor expansion of x in x 1.467 * [taylor]: Taking taylor expansion of 2.0 in x 1.470 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in (x) around 0 1.470 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.470 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.470 * [taylor]: Taking taylor expansion of x in x 1.470 * [taylor]: Taking taylor expansion of 2.0 in x 1.470 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.470 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.470 * [taylor]: Taking taylor expansion of x in x 1.470 * [taylor]: Taking taylor expansion of 2.0 in x 1.472 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in (x) around 0 1.472 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.472 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.472 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.472 * [taylor]: Taking taylor expansion of -1 in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [taylor]: Taking taylor expansion of 2.0 in x 1.472 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.472 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.472 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.473 * [taylor]: Taking taylor expansion of -1 in x 1.473 * [taylor]: Taking taylor expansion of x in x 1.473 * [taylor]: Taking taylor expansion of 2.0 in x 1.474 * * * [progress]: simplifying candidates 1.476 * [simplify]: Simplifying using # : (expm1 (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (log1p (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (exp x) (fma (- 2.0) 2.0 (exp (+ x x)))) (log (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (exp (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (* (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (expm1 (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (log1p (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (- (log (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (+ (log (+ (exp x) 2.0)) x)) (- (log (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (log (* (+ (exp x) 2.0) (exp x)))) (log (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (exp (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (/ (* (* (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (* (* (+ (exp x) 2.0) (+ (exp x) 2.0)) (+ (exp x) 2.0)) (* (* (exp x) (exp x)) (exp x)))) (/ (* (* (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (* (* (+ (exp x) 2.0) (exp x)) (* (+ (exp x) 2.0) (exp x))) (* (+ (exp x) 2.0) (exp x)))) (* (cbrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (cbrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x))))) (cbrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (* (* (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (sqrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (sqrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (- (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (- (* (+ (exp x) 2.0) (exp x))) (/ (* (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (+ (exp x) 2.0)) (/ (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (exp x)) (/ (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (+ (exp x) 2.0)) (/ (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (exp x)) (/ 1 (+ (exp x) 2.0)) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (exp x)) (/ 1 (* (+ (exp x) 2.0) (exp x))) (/ (* (+ (exp x) 2.0) (exp x)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (+ (exp x) 2.0)) (/ (* (+ (exp x) 2.0) (exp x)) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (/ (* (+ (exp x) 2.0) (exp x)) (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (/ (* (+ (exp x) 2.0) (exp x)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (pow (exp x) 3) (pow 2.0 3)) (exp x))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x))) (expm1 (* (+ (exp x) 2.0) (exp x))) (log1p (* (+ (exp x) 2.0) (exp x))) (* (+ (exp x) 2.0) (exp x)) (+ (log (+ (exp x) 2.0)) x) (log (* (+ (exp x) 2.0) (exp x))) (exp (* (+ (exp x) 2.0) (exp x))) (* (* (* (+ (exp x) 2.0) (+ (exp x) 2.0)) (+ (exp x) 2.0)) (* (* (exp x) (exp x)) (exp x))) (* (cbrt (* (+ (exp x) 2.0) (exp x))) (cbrt (* (+ (exp x) 2.0) (exp x)))) (cbrt (* (+ (exp x) 2.0) (exp x))) (* (* (* (+ (exp x) 2.0) (exp x)) (* (+ (exp x) 2.0) (exp x))) (* (+ (exp x) 2.0) (exp x))) (sqrt (* (+ (exp x) 2.0) (exp x))) (sqrt (* (+ (exp x) 2.0) (exp x))) (* (sqrt (+ (exp x) 2.0)) (sqrt (exp x))) (* (sqrt (+ (exp x) 2.0)) (sqrt (exp x))) (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (* (+ (exp x) 2.0) (sqrt (exp x))) (* (+ (exp x) 2.0) 1) (* (cbrt (+ (exp x) 2.0)) (exp x)) (* (sqrt (+ (exp x) 2.0)) (exp x)) (* (+ (exp x) 2.0) (exp x)) (* (+ (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)) (expm1 (+ (exp x) 2.0)) (log1p (+ (exp x) 2.0)) (* (exp (exp x)) (exp 2.0)) (log (+ (exp x) 2.0)) (exp (+ (exp x) 2.0)) (* (cbrt (+ (exp x) 2.0)) (cbrt (+ (exp x) 2.0))) (cbrt (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (+ (exp x) 2.0)) (+ (exp x) 2.0)) (sqrt (+ (exp x) 2.0)) (sqrt (+ (exp x) 2.0)) (+ (pow (exp x) 3) (pow 2.0 3)) (+ (* (exp x) (exp x)) (- (* 2.0 2.0) (* (exp x) 2.0))) (- (* (exp x) (exp x)) (* 2.0 2.0)) (- (exp x) 2.0) (+ (exp x) 2.0) (+ (* 3.0 (pow x 2)) (+ (* 3.9999999999999996 (pow x 3)) (* 3.2499999999999996 (pow x 4)))) (- (+ (* (exp x) (exp (* 2 x))) 2.0) (* 3.0 (exp x))) (- (+ (* (exp x) (exp (* 2 x))) 2.0) (* 3.0 (exp x))) (+ (* 1.0 (pow x 2)) (+ (* 0.002777777777777768 (pow x 6)) (* 0.08333333333333326 (pow x 4)))) (/ (- (+ (* (exp x) (exp (* 2 x))) 2.0) (* 3.0 (exp x))) (* (exp x) (+ (exp x) 2.0))) (/ (- (+ (* (exp x) (exp (* 2 x))) 2.0) (* 3.0 (exp x))) (* (exp x) (+ (exp x) 2.0))) (+ (* 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 3.0)) (+ (exp x) 2.0) (+ (exp x) 2.0) 1.481 * * [simplify]: iteration 0 : 312 enodes (cost 834 ) 1.487 * * [simplify]: iteration 1 : 1220 enodes (cost 713 ) 1.510 * * [simplify]: iteration 2 : 5002 enodes (cost 710 ) 1.514 * [simplify]: Simplified to: (expm1 (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (log1p (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (exp x) (fma (- 2.0) 2.0 (exp (+ x x)))) (log (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (exp (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (pow (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) 3) (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (expm1 (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (log1p (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (- (log (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (+ (exp x) 2.0))) x) (- (log (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (+ (exp x) 2.0))) x) (- (log (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (+ (exp x) 2.0))) x) (exp (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (pow (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x))) 3) (pow (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x))) 3) (* (cbrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (cbrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x))))) (cbrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (pow (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x))) 3) (sqrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (sqrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (exp x)))) (- (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (- (* (+ (exp x) 2.0) (exp x))) (/ (* (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (+ (exp x) 2.0)) (/ (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (exp x)) (/ (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (+ (exp x) 2.0)) (/ (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (exp x)) (/ 1 (+ (exp x) 2.0)) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (exp x)) (/ 1 (* (+ (exp x) 2.0) (exp x))) (/ (* (+ (exp x) 2.0) (exp x)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (+ (exp x) 2.0)) (/ (* (+ (exp x) 2.0) (exp x)) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (/ (* (+ (exp x) 2.0) (exp x)) (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (/ (* (+ (exp x) 2.0) (exp x)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (pow (exp x) 3) (pow 2.0 3)) (exp x))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x))) (expm1 (* (+ (exp x) 2.0) (exp x))) (log1p (* (+ (exp x) 2.0) (exp x))) (* (exp x) (+ (exp x) 2.0)) (+ x (log (+ (exp x) 2.0))) (+ x (log (+ (exp x) 2.0))) (exp (* (+ (exp x) 2.0) (exp x))) (pow (* (exp x) (+ (exp x) 2.0)) 3) (* (cbrt (* (+ (exp x) 2.0) (exp x))) (cbrt (* (+ (exp x) 2.0) (exp x)))) (cbrt (* (+ (exp x) 2.0) (exp x))) (pow (* (exp x) (+ (exp x) 2.0)) 3) (sqrt (* (+ (exp x) 2.0) (exp x))) (sqrt (* (+ (exp x) 2.0) (exp x))) (* (sqrt (+ (exp x) 2.0)) (sqrt (exp x))) (* (sqrt (+ (exp x) 2.0)) (sqrt (exp x))) (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (* (+ (exp x) 2.0) (sqrt (exp x))) (+ (exp x) 2.0) (* (cbrt (+ (exp x) 2.0)) (exp x)) (* (sqrt (+ (exp x) 2.0)) (exp x)) (* (exp x) (+ (exp x) 2.0)) (* (exp x) (+ (exp x) 2.0)) (* (+ (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (exp x) (fma (- 2.0) 2.0 (exp (+ x x)))) (expm1 (+ (exp x) 2.0)) (log1p (+ (exp x) 2.0)) (exp (+ (exp x) 2.0)) (log (+ (exp x) 2.0)) (exp (+ (exp x) 2.0)) (* (cbrt (+ (exp x) 2.0)) (cbrt (+ (exp x) 2.0))) (cbrt (+ (exp x) 2.0)) (pow (+ (exp x) 2.0) 3) (sqrt (+ (exp x) 2.0)) (sqrt (+ (exp x) 2.0)) (+ (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (- 2.0 (exp x)) (exp (* 2 x))) (- (exp (* 2 x)) (* 2.0 2.0)) (- (exp x) 2.0) (+ (exp x) 2.0) (fma 3.0 (pow x 2) (fma 3.9999999999999996 (pow x 3) (* 3.2499999999999996 (pow x 4)))) (+ (pow (exp x) 3) (- 2.0 (* 3.0 (exp x)))) (+ (pow (exp x) 3) (- 2.0 (* 3.0 (exp x)))) (fma 1.0 (pow x 2) (fma 0.002777777777777768 (pow x 6) (* 0.08333333333333326 (pow x 4)))) (/ (/ (+ (pow (exp x) 3) (- 2.0 (* 3.0 (exp x)))) (+ (exp x) 2.0)) (exp x)) (/ (/ (+ (pow (exp x) 3) (- 2.0 (* 3.0 (exp x)))) (+ (exp x) 2.0)) (exp x)) (fma 3.0 (pow x 2) (fma 4.0 x 3.0)) (* (exp x) (+ (exp x) 2.0)) (* (exp x) (+ (exp x) 2.0)) (fma 1/2 (pow x 2) (+ x 3.0)) (+ (exp x) 2.0) (+ (exp x) 2.0) 1.514 * * * [progress]: adding candidates to table 1.752 * * [progress]: iteration 4 / 4 1.752 * * * [progress]: picking best candidate 1.762 * * * * [pick]: Picked # 1.762 * * * [progress]: localizing error 1.777 * * * [progress]: generating rewritten candidates 1.777 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.777 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.829 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 1.836 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 1.839 * * * [progress]: generating series expansions 1.839 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.840 * [approximate]: Taking taylor expansion of (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) in (x) around 0 1.840 * [taylor]: Taking taylor expansion of (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) in x 1.840 * [taylor]: Rewrote expression to (+ (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) (+ (exp x) 2.0)) 1.840 * [taylor]: Taking taylor expansion of (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) in x 1.840 * [taylor]: Taking taylor expansion of (exp x) in x 1.840 * [taylor]: Taking taylor expansion of x in x 1.840 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 x))) in x 1.840 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 x))) 1.840 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.840 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.840 * [taylor]: Taking taylor expansion of 2.0 in x 1.840 * [taylor]: Taking taylor expansion of 2.0 in x 1.840 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.840 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.840 * [taylor]: Taking taylor expansion of 2 in x 1.840 * [taylor]: Taking taylor expansion of x in x 1.841 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.841 * [taylor]: Taking taylor expansion of (exp x) in x 1.841 * [taylor]: Taking taylor expansion of x in x 1.841 * [taylor]: Taking taylor expansion of 2.0 in x 1.841 * [taylor]: Taking taylor expansion of (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) in x 1.841 * [taylor]: Rewrote expression to (+ (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) (+ (exp x) 2.0)) 1.841 * [taylor]: Taking taylor expansion of (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) in x 1.841 * [taylor]: Taking taylor expansion of (exp x) in x 1.841 * [taylor]: Taking taylor expansion of x in x 1.841 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 x))) in x 1.842 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 x))) 1.842 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.842 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.842 * [taylor]: Taking taylor expansion of 2.0 in x 1.842 * [taylor]: Taking taylor expansion of 2.0 in x 1.842 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.842 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.842 * [taylor]: Taking taylor expansion of 2 in x 1.842 * [taylor]: Taking taylor expansion of x in x 1.842 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.842 * [taylor]: Taking taylor expansion of (exp x) in x 1.842 * [taylor]: Taking taylor expansion of x in x 1.842 * [taylor]: Taking taylor expansion of 2.0 in x 1.880 * [approximate]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) in (x) around 0 1.880 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) in x 1.881 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) (+ (exp (/ 1 x)) 2.0)) 1.881 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) in x 1.881 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.881 * [taylor]: Taking taylor expansion of x in x 1.881 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) in x 1.881 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 (/ 1 x)))) 1.881 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.881 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.881 * [taylor]: Taking taylor expansion of 2.0 in x 1.881 * [taylor]: Taking taylor expansion of 2.0 in x 1.881 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.881 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.881 * [taylor]: Taking taylor expansion of 2 in x 1.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.881 * [taylor]: Taking taylor expansion of x in x 1.882 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.882 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.882 * [taylor]: Taking taylor expansion of x in x 1.882 * [taylor]: Taking taylor expansion of 2.0 in x 1.882 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) in x 1.882 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) (+ (exp (/ 1 x)) 2.0)) 1.882 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) in x 1.882 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.882 * [taylor]: Taking taylor expansion of x in x 1.883 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) in x 1.883 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 (/ 1 x)))) 1.883 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.883 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.883 * [taylor]: Taking taylor expansion of 2.0 in x 1.883 * [taylor]: Taking taylor expansion of 2.0 in x 1.883 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.883 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.883 * [taylor]: Taking taylor expansion of 2 in x 1.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.883 * [taylor]: Taking taylor expansion of x in x 1.883 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 1.883 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.883 * [taylor]: Taking taylor expansion of x in x 1.884 * [taylor]: Taking taylor expansion of 2.0 in x 1.908 * [approximate]: Taking taylor expansion of (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) in (x) around 0 1.908 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) in x 1.908 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) (+ (exp (/ -1 x)) 2.0)) 1.908 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) in x 1.908 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.908 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.908 * [taylor]: Taking taylor expansion of -1 in x 1.908 * [taylor]: Taking taylor expansion of x in x 1.908 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) in x 1.909 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (- (* 2 (/ 1 x))))) 1.909 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.909 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.909 * [taylor]: Taking taylor expansion of 2.0 in x 1.909 * [taylor]: Taking taylor expansion of 2.0 in x 1.909 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.909 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.909 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.909 * [taylor]: Taking taylor expansion of 2 in x 1.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.909 * [taylor]: Taking taylor expansion of x in x 1.910 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.910 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.910 * [taylor]: Taking taylor expansion of -1 in x 1.910 * [taylor]: Taking taylor expansion of x in x 1.910 * [taylor]: Taking taylor expansion of 2.0 in x 1.910 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) in x 1.910 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) (+ (exp (/ -1 x)) 2.0)) 1.910 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) in x 1.910 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.910 * [taylor]: Taking taylor expansion of -1 in x 1.910 * [taylor]: Taking taylor expansion of x in x 1.910 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) in x 1.911 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (- (* 2 (/ 1 x))))) 1.911 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.911 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.911 * [taylor]: Taking taylor expansion of 2.0 in x 1.911 * [taylor]: Taking taylor expansion of 2.0 in x 1.911 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.911 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.911 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.911 * [taylor]: Taking taylor expansion of 2 in x 1.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.911 * [taylor]: Taking taylor expansion of x in x 1.912 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 1.912 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.912 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.912 * [taylor]: Taking taylor expansion of -1 in x 1.912 * [taylor]: Taking taylor expansion of x in x 1.912 * [taylor]: Taking taylor expansion of 2.0 in x 1.931 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.932 * [approximate]: Taking taylor expansion of (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) (* (exp x) (+ (exp x) 2.0))) in (x) around 0 1.932 * [taylor]: Taking taylor expansion of (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) (* (exp x) (+ (exp x) 2.0))) in x 1.932 * [taylor]: Taking taylor expansion of (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) in x 1.932 * [taylor]: Rewrote expression to (+ (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) (+ (exp x) 2.0)) 1.932 * [taylor]: Taking taylor expansion of (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) in x 1.932 * [taylor]: Taking taylor expansion of (exp x) in x 1.932 * [taylor]: Taking taylor expansion of x in x 1.932 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 x))) in x 1.932 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 x))) 1.932 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.932 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.932 * [taylor]: Taking taylor expansion of 2.0 in x 1.932 * [taylor]: Taking taylor expansion of 2.0 in x 1.932 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.932 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.932 * [taylor]: Taking taylor expansion of 2 in x 1.932 * [taylor]: Taking taylor expansion of x in x 1.933 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.933 * [taylor]: Taking taylor expansion of (exp x) in x 1.933 * [taylor]: Taking taylor expansion of x in x 1.933 * [taylor]: Taking taylor expansion of 2.0 in x 1.933 * [taylor]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in x 1.933 * [taylor]: Taking taylor expansion of (exp x) in x 1.933 * [taylor]: Taking taylor expansion of x in x 1.933 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.933 * [taylor]: Taking taylor expansion of (exp x) in x 1.933 * [taylor]: Taking taylor expansion of x in x 1.933 * [taylor]: Taking taylor expansion of 2.0 in x 1.947 * [taylor]: Taking taylor expansion of (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) (* (exp x) (+ (exp x) 2.0))) in x 1.948 * [taylor]: Taking taylor expansion of (fma (exp x) (fma (- 2.0) 2.0 (exp (* 2 x))) (+ (exp x) 2.0)) in x 1.948 * [taylor]: Rewrote expression to (+ (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) (+ (exp x) 2.0)) 1.948 * [taylor]: Taking taylor expansion of (* (exp x) (fma (- 2.0) 2.0 (exp (* 2 x)))) in x 1.948 * [taylor]: Taking taylor expansion of (exp x) in x 1.948 * [taylor]: Taking taylor expansion of x in x 1.948 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 x))) in x 1.948 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 x))) 1.948 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 1.948 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.948 * [taylor]: Taking taylor expansion of 2.0 in x 1.948 * [taylor]: Taking taylor expansion of 2.0 in x 1.948 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.948 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.948 * [taylor]: Taking taylor expansion of 2 in x 1.948 * [taylor]: Taking taylor expansion of x in x 1.949 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.949 * [taylor]: Taking taylor expansion of (exp x) in x 1.949 * [taylor]: Taking taylor expansion of x in x 1.949 * [taylor]: Taking taylor expansion of 2.0 in x 1.949 * [taylor]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in x 1.949 * [taylor]: Taking taylor expansion of (exp x) in x 1.949 * [taylor]: Taking taylor expansion of x in x 1.949 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x 1.949 * [taylor]: Taking taylor expansion of (exp x) in x 1.949 * [taylor]: Taking taylor expansion of x in x 1.949 * [taylor]: Taking taylor expansion of 2.0 in x 2.072 * [approximate]: Taking taylor expansion of (/ (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x)))) in (x) around 0 2.072 * [taylor]: Taking taylor expansion of (/ (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x)))) in x 2.072 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) in x 2.073 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) (+ (exp (/ 1 x)) 2.0)) 2.073 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) in x 2.073 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.073 * [taylor]: Taking taylor expansion of x in x 2.073 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) in x 2.073 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 (/ 1 x)))) 2.073 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 2.073 * [taylor]: Taking taylor expansion of (- 2.0) in x 2.073 * [taylor]: Taking taylor expansion of 2.0 in x 2.073 * [taylor]: Taking taylor expansion of 2.0 in x 2.073 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 2.073 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.073 * [taylor]: Taking taylor expansion of 2 in x 2.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.073 * [taylor]: Taking taylor expansion of x in x 2.074 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 2.074 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.074 * [taylor]: Taking taylor expansion of x in x 2.074 * [taylor]: Taking taylor expansion of 2.0 in x 2.074 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 2.074 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 2.074 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.074 * [taylor]: Taking taylor expansion of x in x 2.075 * [taylor]: Taking taylor expansion of 2.0 in x 2.075 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.075 * [taylor]: Taking taylor expansion of x in x 2.076 * [taylor]: Taking taylor expansion of (/ (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x)))) in x 2.076 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) in x 2.076 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) (+ (exp (/ 1 x)) 2.0)) 2.076 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x))))) in x 2.076 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.077 * [taylor]: Taking taylor expansion of x in x 2.077 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (* 2 (/ 1 x)))) in x 2.077 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (* 2 (/ 1 x)))) 2.077 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 2.077 * [taylor]: Taking taylor expansion of (- 2.0) in x 2.077 * [taylor]: Taking taylor expansion of 2.0 in x 2.077 * [taylor]: Taking taylor expansion of 2.0 in x 2.077 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 2.077 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.077 * [taylor]: Taking taylor expansion of 2 in x 2.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.077 * [taylor]: Taking taylor expansion of x in x 2.078 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 2.078 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.078 * [taylor]: Taking taylor expansion of x in x 2.078 * [taylor]: Taking taylor expansion of 2.0 in x 2.078 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x 2.078 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x 2.078 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.078 * [taylor]: Taking taylor expansion of x in x 2.078 * [taylor]: Taking taylor expansion of 2.0 in x 2.078 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.078 * [taylor]: Taking taylor expansion of x in x 2.108 * [approximate]: Taking taylor expansion of (/ (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0))) in (x) around 0 2.108 * [taylor]: Taking taylor expansion of (/ (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0))) in x 2.108 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) in x 2.108 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) (+ (exp (/ -1 x)) 2.0)) 2.108 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) in x 2.108 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.108 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.108 * [taylor]: Taking taylor expansion of -1 in x 2.108 * [taylor]: Taking taylor expansion of x in x 2.109 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) in x 2.109 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (- (* 2 (/ 1 x))))) 2.109 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 2.109 * [taylor]: Taking taylor expansion of (- 2.0) in x 2.109 * [taylor]: Taking taylor expansion of 2.0 in x 2.109 * [taylor]: Taking taylor expansion of 2.0 in x 2.109 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 2.109 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 2.109 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.109 * [taylor]: Taking taylor expansion of 2 in x 2.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.109 * [taylor]: Taking taylor expansion of x in x 2.110 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 2.110 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.110 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.110 * [taylor]: Taking taylor expansion of -1 in x 2.110 * [taylor]: Taking taylor expansion of x in x 2.110 * [taylor]: Taking taylor expansion of 2.0 in x 2.110 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in x 2.110 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.110 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.110 * [taylor]: Taking taylor expansion of -1 in x 2.110 * [taylor]: Taking taylor expansion of x in x 2.110 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 2.110 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.110 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.110 * [taylor]: Taking taylor expansion of -1 in x 2.110 * [taylor]: Taking taylor expansion of x in x 2.111 * [taylor]: Taking taylor expansion of 2.0 in x 2.112 * [taylor]: Taking taylor expansion of (/ (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0))) in x 2.112 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) (+ (exp (/ -1 x)) 2.0)) in x 2.112 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) (+ (exp (/ -1 x)) 2.0)) 2.112 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x)))))) in x 2.112 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.112 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.112 * [taylor]: Taking taylor expansion of -1 in x 2.112 * [taylor]: Taking taylor expansion of x in x 2.113 * [taylor]: Taking taylor expansion of (fma (- 2.0) 2.0 (exp (- (* 2 (/ 1 x))))) in x 2.113 * [taylor]: Rewrote expression to (+ (* (- 2.0) 2.0) (exp (- (* 2 (/ 1 x))))) 2.113 * [taylor]: Taking taylor expansion of (* (- 2.0) 2.0) in x 2.113 * [taylor]: Taking taylor expansion of (- 2.0) in x 2.113 * [taylor]: Taking taylor expansion of 2.0 in x 2.113 * [taylor]: Taking taylor expansion of 2.0 in x 2.113 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 2.113 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 2.113 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.113 * [taylor]: Taking taylor expansion of 2 in x 2.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.113 * [taylor]: Taking taylor expansion of x in x 2.114 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 2.114 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.114 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.114 * [taylor]: Taking taylor expansion of -1 in x 2.114 * [taylor]: Taking taylor expansion of x in x 2.114 * [taylor]: Taking taylor expansion of 2.0 in x 2.114 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in x 2.114 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.114 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.114 * [taylor]: Taking taylor expansion of -1 in x 2.115 * [taylor]: Taking taylor expansion of x in x 2.115 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x 2.115 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.115 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.115 * [taylor]: Taking taylor expansion of -1 in x 2.115 * [taylor]: Taking taylor expansion of x in x 2.115 * [taylor]: Taking taylor expansion of 2.0 in x 2.150 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 2.150 * [approximate]: Taking taylor expansion of (pow (pow (exp x) 2) 1/3) in (x) around 0 2.150 * [taylor]: Taking taylor expansion of (pow (pow (exp x) 2) 1/3) in x 2.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp x) 2)))) in x 2.150 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp x) 2))) in x 2.150 * [taylor]: Taking taylor expansion of 1/3 in x 2.150 * [taylor]: Taking taylor expansion of (log (pow (exp x) 2)) in x 2.150 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 2.150 * [taylor]: Taking taylor expansion of (exp x) in x 2.150 * [taylor]: Taking taylor expansion of x in x 2.153 * [taylor]: Taking taylor expansion of (pow (pow (exp x) 2) 1/3) in x 2.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp x) 2)))) in x 2.153 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp x) 2))) in x 2.153 * [taylor]: Taking taylor expansion of 1/3 in x 2.153 * [taylor]: Taking taylor expansion of (log (pow (exp x) 2)) in x 2.153 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 2.153 * [taylor]: Taking taylor expansion of (exp x) in x 2.153 * [taylor]: Taking taylor expansion of x in x 2.161 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ 1 x)) 2) 1/3) in (x) around 0 2.161 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 x)) 2) 1/3) in x 2.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ 1 x)) 2)))) in x 2.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ 1 x)) 2))) in x 2.161 * [taylor]: Taking taylor expansion of 1/3 in x 2.161 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 x)) 2)) in x 2.161 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 2.161 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.161 * [taylor]: Taking taylor expansion of x in x 2.162 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 x)) 2) 1/3) in x 2.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ 1 x)) 2)))) in x 2.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ 1 x)) 2))) in x 2.162 * [taylor]: Taking taylor expansion of 1/3 in x 2.162 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 x)) 2)) in x 2.162 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 2.162 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.162 * [taylor]: Taking taylor expansion of x in x 2.201 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ -1 x)) 2) 1/3) in (x) around 0 2.201 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 x)) 2) 1/3) in x 2.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ -1 x)) 2)))) in x 2.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ -1 x)) 2))) in x 2.201 * [taylor]: Taking taylor expansion of 1/3 in x 2.201 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 x)) 2)) in x 2.201 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 2.201 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.201 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.201 * [taylor]: Taking taylor expansion of -1 in x 2.201 * [taylor]: Taking taylor expansion of x in x 2.202 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 x)) 2) 1/3) in x 2.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ -1 x)) 2)))) in x 2.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ -1 x)) 2))) in x 2.202 * [taylor]: Taking taylor expansion of 1/3 in x 2.202 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 x)) 2)) in x 2.202 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 2.202 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.202 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.202 * [taylor]: Taking taylor expansion of -1 in x 2.202 * [taylor]: Taking taylor expansion of x in x 2.246 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 2.246 * [approximate]: Taking taylor expansion of (pow (exp x) 1/3) in (x) around 0 2.246 * [taylor]: Taking taylor expansion of (pow (exp x) 1/3) in x 2.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp x)))) in x 2.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp x))) in x 2.246 * [taylor]: Taking taylor expansion of 1/3 in x 2.246 * [taylor]: Taking taylor expansion of (log (exp x)) in x 2.246 * [taylor]: Taking taylor expansion of (exp x) in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.249 * [taylor]: Taking taylor expansion of (pow (exp x) 1/3) in x 2.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp x)))) in x 2.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp x))) in x 2.249 * [taylor]: Taking taylor expansion of 1/3 in x 2.249 * [taylor]: Taking taylor expansion of (log (exp x)) in x 2.249 * [taylor]: Taking taylor expansion of (exp x) in x 2.249 * [taylor]: Taking taylor expansion of x in x 2.256 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in (x) around 0 2.256 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in x 2.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 x))))) in x 2.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 x)))) in x 2.256 * [taylor]: Taking taylor expansion of 1/3 in x 2.256 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 2.256 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.256 * [taylor]: Taking taylor expansion of x in x 2.256 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in x 2.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 x))))) in x 2.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 x)))) in x 2.256 * [taylor]: Taking taylor expansion of 1/3 in x 2.256 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x 2.256 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.256 * [taylor]: Taking taylor expansion of x in x 2.289 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in (x) around 0 2.289 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in x 2.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 x))))) in x 2.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 x)))) in x 2.289 * [taylor]: Taking taylor expansion of 1/3 in x 2.289 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 2.289 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.289 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.289 * [taylor]: Taking taylor expansion of -1 in x 2.289 * [taylor]: Taking taylor expansion of x in x 2.290 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in x 2.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 x))))) in x 2.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 x)))) in x 2.290 * [taylor]: Taking taylor expansion of 1/3 in x 2.290 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x 2.290 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.290 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.290 * [taylor]: Taking taylor expansion of -1 in x 2.290 * [taylor]: Taking taylor expansion of x in x 2.328 * * * [progress]: simplifying candidates 2.330 * [simplify]: Simplifying using # : (expm1 (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (log1p (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (exp x) (fma (- 2.0) 2.0 (exp (+ x x)))) (log (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (exp (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (* (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (expm1 (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (log1p (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (- (log (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (+ (+ (log (+ (exp x) 2.0)) (+ (log (cbrt (exp x))) (log (cbrt (exp x))))) (log (cbrt (exp x))))) (- (log (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (+ (+ (log (+ (exp x) 2.0)) (log (* (cbrt (exp x)) (cbrt (exp x))))) (log (cbrt (exp x))))) (- (log (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (+ (log (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x))))) (log (cbrt (exp x))))) (- (log (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (log (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (log (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (exp (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (/ (* (* (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (* (* (* (+ (exp x) 2.0) (+ (exp x) 2.0)) (+ (exp x) 2.0)) (* (exp x) (exp x))) (exp x))) (/ (* (* (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (* (* (* (+ (exp x) 2.0) (+ (exp x) 2.0)) (+ (exp x) 2.0)) (* (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (exp x)) (cbrt (exp x))))) (exp x))) (/ (* (* (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (* (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x))))) (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x))))) (exp x))) (/ (* (* (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (* (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (* (cbrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (cbrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))))) (cbrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (* (* (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (sqrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (sqrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (- (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (- (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) (/ (* (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x))))) (/ (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (cbrt (exp x))) (/ (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x))))) (/ (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (cbrt (exp x))) (/ 1 (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x))))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (cbrt (exp x))) (/ 1 (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) (/ (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x))))) (/ (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (/ (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (/ (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (pow (exp x) 3) (pow 2.0 3)) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) (expm1 (* (cbrt (exp x)) (cbrt (exp x)))) (log1p (* (cbrt (exp x)) (cbrt (exp x)))) (+ 1/3 1/3) (+ 1 1) (* (exp x) (exp x)) (* (cbrt (exp x)) (cbrt (exp x))) (+ 1 1) (+ (log (cbrt (exp x))) (log (cbrt (exp x)))) (log (* (cbrt (exp x)) (cbrt (exp x)))) (exp (* (cbrt (exp x)) (cbrt (exp x)))) (* (exp x) (exp x)) (* (cbrt (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (* (cbrt (exp x)) (cbrt (exp x))))) (cbrt (* (cbrt (exp x)) (cbrt (exp x)))) (* (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (* (cbrt (exp x)) (cbrt (exp x))))) (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x))) (* (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x)))) (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x))))) (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x)))) (* (sqrt (cbrt (exp x))) (sqrt (cbrt (exp x)))) (* (sqrt (cbrt (exp x))) (sqrt (cbrt (exp x)))) (* 1 1) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x)))) (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x)))) (* (sqrt (cbrt (exp x))) (cbrt (sqrt (exp x)))) (* (sqrt (cbrt (exp x))) (cbrt (sqrt (exp x)))) (* (sqrt (cbrt (exp x))) (sqrt (cbrt (exp x)))) (* (sqrt (cbrt (exp x))) (sqrt (cbrt (exp x)))) (* 2 1/3) (* 2 1) (* (cbrt (exp x)) (cbrt (* (cbrt (exp x)) (cbrt (exp x))))) (* (cbrt (exp x)) (cbrt (sqrt (exp x)))) (* (cbrt (exp x)) (cbrt 1)) (* (cbrt (exp x)) (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x))))) (* (cbrt (exp x)) (sqrt (cbrt (exp x)))) (* (cbrt (exp x)) 1) (* (cbrt (cbrt (exp x))) (cbrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (cbrt (exp x))) (cbrt (exp x))) (* (sqrt (cbrt (exp x))) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (expm1 (cbrt (exp x))) (log1p (cbrt (exp x))) (log (cbrt (exp x))) (exp (cbrt (exp x))) (cbrt (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (cbrt (exp x))) (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))) (cbrt 1) (cbrt (exp x)) (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x)))) (cbrt (cbrt (exp x))) (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (cbrt (exp x))) (+ (* 3.0 (pow x 2)) (+ (* 3.9999999999999996 (pow x 3)) (* 3.2499999999999996 (pow x 4)))) (- (+ (* (exp x) (exp (* 2 x))) 2.0) (* 3.0 (exp x))) (- (+ (* (exp x) (exp (* 2 x))) 2.0) (* 3.0 (exp x))) (+ (* 1.0 (pow x 2)) (+ (* 0.002777777777777768 (pow x 6)) (* 0.08333333333333326 (pow x 4)))) (/ (- (+ (* (exp x) (exp (* 2 x))) 2.0) (* 3.0 (exp x))) (* (exp x) (+ (exp x) 2.0))) (/ (- (+ (* (exp x) (exp (* 2 x))) 2.0) (* 3.0 (exp x))) (* (exp x) (+ (exp x) 2.0))) (+ (* 2/9 (pow x 2)) (+ (* 2/3 x) 1)) (pow (pow (exp x) 2) 1/3) (pow (pow (exp x) 2) 1/3) (+ (* 1/18 (pow x 2)) (+ (* 1/3 x) 1)) (exp (* 1/3 x)) (exp (* 1/3 x)) 2.337 * * [simplify]: iteration 0 : 445 enodes (cost 1316 ) 2.346 * * [simplify]: iteration 1 : 2010 enodes (cost 1039 ) 2.386 * * [simplify]: iteration 2 : 5002 enodes (cost 988 ) 2.390 * [simplify]: Simplified to: (expm1 (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (log1p (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (exp x) (fma (- 2.0) 2.0 (exp (+ x x)))) (log (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (exp (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (pow (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) 3) (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (expm1 (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (log1p (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (- (log (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (+ (exp x) 2.0))) (* 3 (log (cbrt (exp x))))) (- (log (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (+ (exp x) 2.0))) (* 3 (log (cbrt (exp x))))) (- (log (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (+ (exp x) 2.0))) (* 3 (log (cbrt (exp x))))) (- (log (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (+ (exp x) 2.0))) (* 3 (log (cbrt (exp x))))) (- (log (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (+ (exp x) 2.0))) (* 3 (log (cbrt (exp x))))) (exp (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (/ (/ (pow (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) 3) (pow (+ (exp x) 2.0) 3)) (pow (exp x) 3)) (/ (/ (pow (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) 3) (pow (+ (exp x) 2.0) 3)) (pow (exp x) 3)) (/ (/ (pow (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) 3) (pow (+ (exp x) 2.0) 3)) (pow (exp x) 3)) (/ (/ (pow (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) 3) (pow (+ (exp x) 2.0) 3)) (pow (exp x) 3)) (* (cbrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (cbrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))))) (cbrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (/ (/ (pow (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) 3) (pow (+ (exp x) 2.0) 3)) (pow (exp x) 3)) (sqrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (sqrt (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))) (- (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (- (+ (exp x) 2.0)) (pow (cbrt (exp x)) 3)) (/ (* (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)))) (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x))))) (/ (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (cbrt (exp x))) (/ (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x))))) (/ (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (cbrt (exp x))) (/ 1 (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x))))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (cbrt (exp x))) (* (/ 2 (+ (exp x) 2.0)) (/ 1/2 (exp x))) (/ (+ (exp x) 2.0) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (pow (cbrt (exp x)) 3))) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x))))) (/ (+ (exp x) 2.0) (/ (cbrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (pow (cbrt (exp x)) 3))) (/ (+ (exp x) 2.0) (/ (sqrt (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0))) (pow (cbrt (exp x)) 3))) (/ (+ (exp x) 2.0) (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (pow (cbrt (exp x)) 3))) (/ (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (+ (pow (exp x) 3) (pow 2.0 3))) (pow (cbrt (exp x)) 3)) (/ (/ (fma (exp x) (fma (- 2.0) 2.0 (exp (+ x x))) (+ (exp x) 2.0)) (- (* (exp x) (exp x)) (* 2.0 2.0))) (pow (cbrt (exp x)) 3)) (expm1 (* (cbrt (exp x)) (cbrt (exp x)))) (log1p (* (cbrt (exp x)) (cbrt (exp x)))) 2/3 2 (pow (exp x) 2) (pow (sqrt (cbrt (exp x))) 4) 2 (* 2 (log (cbrt (exp x)))) (* 2 (log (cbrt (exp x)))) (exp (* (cbrt (exp x)) (cbrt (exp x)))) (pow (exp x) 2) (* (cbrt (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (* (cbrt (exp x)) (cbrt (exp x))))) (cbrt (* (cbrt (exp x)) (cbrt (exp x)))) (pow (exp x) 2) (fabs (cbrt (exp x))) (fabs (cbrt (exp x))) (* (cbrt (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (* (cbrt (exp x)) (cbrt (exp x))))) (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) 1 (pow (sqrt (cbrt (exp x))) 4) (pow (cbrt (cbrt (exp x))) 4) (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x)))) (cbrt (exp x)) (cbrt (exp x)) 1 (pow (sqrt (cbrt (exp x))) 4) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x)))) (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x)))) (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x)))) (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x)))) (cbrt (exp x)) (cbrt (exp x)) 2/3 2 (* (cbrt (exp x)) (cbrt (* (cbrt (exp x)) (cbrt (exp x))))) (* (cbrt (exp x)) (cbrt (sqrt (exp x)))) (cbrt (exp x)) (* (cbrt (exp x)) (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x))))) (pow (sqrt (cbrt (exp x))) 3) (cbrt (exp x)) (pow (cbrt (cbrt (exp x))) 4) (* (cbrt (exp x)) (cbrt (sqrt (exp x)))) (pow (sqrt (cbrt (exp x))) 4) (pow (cbrt (cbrt (exp x))) 4) (pow (sqrt (cbrt (exp x))) 3) (pow (sqrt (cbrt (exp x))) 4) (expm1 (cbrt (exp x))) (log1p (cbrt (exp x))) (log (cbrt (exp x))) (exp (cbrt (exp x))) (cbrt (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (cbrt (exp x))) (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))) 1 (cbrt (exp x)) (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x)))) (cbrt (cbrt (exp x))) (exp x) (sqrt (cbrt (exp x))) (sqrt (cbrt (exp x))) (fma 3.0 (pow x 2) (fma 3.9999999999999996 (pow x 3) (* 3.2499999999999996 (pow x 4)))) (+ (pow (exp x) 3) (- 2.0 (* 3.0 (exp x)))) (+ (pow (exp x) 3) (- 2.0 (* 3.0 (exp x)))) (fma 1.0 (pow x 2) (fma 0.002777777777777768 (pow x 6) (* 0.08333333333333326 (pow x 4)))) (/ (/ (+ (pow (exp x) 3) (- 2.0 (* 3.0 (exp x)))) (+ (exp x) 2.0)) (exp x)) (/ (/ (+ (pow (exp x) 3) (- 2.0 (* 3.0 (exp x)))) (+ (exp x) 2.0)) (exp x)) (fma 2/9 (pow x 2) (fma 2/3 x 1)) (pow (pow (exp x) 2) 1/3) (pow (pow (exp x) 2) 1/3) (fma 1/18 (pow x 2) (fma 1/3 x 1)) (cbrt (exp x)) (cbrt (exp x)) 2.391 * * * [progress]: adding candidates to table 2.685 * [progress]: [Phase 3 of 3] Extracting. 2.685 * * [regime]: Finding splitpoints for: (# # # # #) 2.687 * * * [regime-changes]: Trying 1 branch expressions: (x) 2.687 * * * * [regimes]: Trying to branch on x from (# # # # #) 2.712 * * * [regime]: Found split indices: #