4.792 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.077 * * * [progress]: [2/2] Setting up program.
0.079 * [progress]: [Phase 2 of 3] Improving.
0.079 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (exp x) 2.0) (exp (- x)))
0.081 * * [simplify]: iteration  0 :  14  enodes  (cost  5 )
0.083 * * [simplify]: iteration  1 :  26  enodes  (cost  5 )
0.084 * * [simplify]: iteration  2 :  41  enodes  (cost  5 )
0.085 * * [simplify]: iteration  3 :  55  enodes  (cost  5 )
0.087 * * [simplify]: iteration  4 :  67  enodes  (cost  5 )
0.088 * * [simplify]: iteration  5 :  104  enodes  (cost  5 )
0.090 * * [simplify]: iteration  6 :  161  enodes  (cost  5 )
0.093 * * [simplify]: iteration  7 :  344  enodes  (cost  5 )
0.103 * * [simplify]: iteration  8 :  1454  enodes  (cost  5 )
0.300 * * [simplify]: iteration  9 :  5001  enodes  (cost  5 )
0.302 * [simplify]: Simplified to:
   (+ (- (exp x) 2.0) (exp (- x)))
0.302 * * [progress]: iteration 1 / 4
0.302 * * * [progress]: picking best candidate
0.304 * * * * [pick]: Picked  #<alt (λ (x) (+ (- (exp x) 2.0) (exp (- x))))>
0.304 * * * [progress]: localizing error
0.310 * * * [progress]: generating rewritten candidates
0.310 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.336 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.343 * * * [progress]: generating series expansions
0.343 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.343 * [approximate]: Taking taylor expansion of (- (+ (exp x) (exp (- x))) 2.0) in (x) around 0
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.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.390 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in (x) around 0
0.390 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) in x
0.390 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.390 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.390 * [taylor]: Taking taylor expansion of x in x
0.390 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.390 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.390 * [taylor]: Taking taylor expansion of x in x
0.391 * [taylor]: Taking taylor expansion of 2.0 in x
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 x) in x
0.391 * [taylor]: Taking taylor expansion of x in x
0.392 * [taylor]: Taking taylor expansion of 2.0 in x
0.397 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0
0.397 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x
0.397 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.397 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.397 * [taylor]: Taking taylor expansion of x in x
0.397 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.398 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.398 * [taylor]: Taking taylor expansion of -1 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 (/ 1 x)) (exp (/ -1 x))) 2.0) in x
0.398 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.398 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.398 * [taylor]: Taking taylor expansion of x in x
0.398 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.398 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.398 * [taylor]: Taking taylor expansion of -1 in x
0.398 * [taylor]: Taking taylor expansion of x in x
0.399 * [taylor]: Taking taylor expansion of 2.0 in x
0.404 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.404 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0
0.404 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
0.404 * [taylor]: Taking taylor expansion of (exp x) in x
0.404 * [taylor]: Taking taylor expansion of x in x
0.404 * [taylor]: Taking taylor expansion of 2.0 in x
0.404 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
0.404 * [taylor]: Taking taylor expansion of (exp x) in x
0.404 * [taylor]: Taking taylor expansion of x in x
0.404 * [taylor]: Taking taylor expansion of 2.0 in x
0.408 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0
0.408 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
0.408 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.408 * [taylor]: Taking taylor expansion of x in x
0.408 * [taylor]: Taking taylor expansion of 2.0 in x
0.408 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
0.408 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.408 * [taylor]: Taking taylor expansion of x in x
0.409 * [taylor]: Taking taylor expansion of 2.0 in x
0.412 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0
0.412 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
0.412 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.412 * [taylor]: Taking taylor expansion of -1 in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.412 * [taylor]: Taking taylor expansion of 2.0 in x
0.413 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
0.413 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.413 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.413 * [taylor]: Taking taylor expansion of -1 in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of 2.0 in x
0.416 * * * [progress]: simplifying candidates
0.417 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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.422 * * [simplify]: iteration  0 :  282  enodes  (cost  506 )
0.427 * * [simplify]: iteration  1 :  1008  enodes  (cost  381 )
0.449 * * [simplify]: iteration  2 :  5001  enodes  (cost  367 )
0.451 * [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.452 * * * [progress]: adding candidates to table
0.606 * * [progress]: iteration 2 / 4
0.606 * * * [progress]: picking best candidate
0.613 * * * * [pick]: Picked  #<alt (λ (x) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))>
0.613 * * * [progress]: localizing error
0.625 * * * [progress]: generating rewritten candidates
0.625 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3 3)
0.631 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3)
0.632 * * * [progress]: generating series expansions
0.632 * * * * [progress]: [ 1 / 2 ] generating series at (2 3 3)
0.632 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0
0.632 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.632 * [taylor]: Taking taylor expansion of 1/12 in x
0.632 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.632 * [taylor]: Taking taylor expansion of x in x
0.632 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.632 * [taylor]: Taking taylor expansion of 1/12 in x
0.632 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.632 * [taylor]: Taking taylor expansion of x in x
0.645 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
0.645 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.645 * [taylor]: Taking taylor expansion of 1/12 in x
0.645 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.646 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.646 * [taylor]: Taking taylor expansion of 1/12 in x
0.646 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.646 * [taylor]: Taking taylor expansion of x in x
0.658 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
0.658 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.658 * [taylor]: Taking taylor expansion of 1/12 in x
0.658 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.659 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.659 * [taylor]: Taking taylor expansion of 1/12 in x
0.659 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.659 * [taylor]: Taking taylor expansion of x in x
0.670 * * * * [progress]: [ 2 / 2 ] generating series at (2 3)
0.670 * [approximate]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in (x) around 0
0.670 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
0.670 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
0.670 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.670 * [taylor]: Taking taylor expansion of 1/360 in x
0.670 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.670 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.670 * [taylor]: Taking taylor expansion of 1/12 in x
0.670 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.670 * [taylor]: Taking taylor expansion of (fma 1/360 (pow x 6) (* 1/12 (pow x 4))) in x
0.670 * [taylor]: Rewrote expression to (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
0.670 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.670 * [taylor]: Taking taylor expansion of 1/360 in x
0.670 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.670 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.670 * [taylor]: Taking taylor expansion of 1/12 in x
0.670 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.709 * [approximate]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in (x) around 0
0.709 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
0.709 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
0.709 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
0.709 * [taylor]: Taking taylor expansion of 1/360 in x
0.709 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
0.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.709 * [taylor]: Taking taylor expansion of x in x
0.709 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.709 * [taylor]: Taking taylor expansion of 1/12 in x
0.709 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.709 * [taylor]: Taking taylor expansion of x in x
0.710 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ 1 x) 6) (/ 1/12 (pow x 4))) in x
0.710 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ 1 x) 6)) (/ 1/12 (pow x 4)))
0.710 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ 1 x) 6)) in x
0.710 * [taylor]: Taking taylor expansion of 1/360 in x
0.710 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x
0.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.710 * [taylor]: Taking taylor expansion of x in x
0.711 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.711 * [taylor]: Taking taylor expansion of 1/12 in x
0.711 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.711 * [taylor]: Taking taylor expansion of x in x
0.750 * [approximate]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in (x) around 0
0.750 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
0.750 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
0.750 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
0.751 * [taylor]: Taking taylor expansion of 1/360 in x
0.751 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
0.751 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.751 * [taylor]: Taking taylor expansion of -1 in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.751 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.751 * [taylor]: Taking taylor expansion of 1/12 in x
0.751 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (fma 1/360 (pow (/ -1 x) 6) (/ 1/12 (pow x 4))) in x
0.752 * [taylor]: Rewrote expression to (+ (* 1/360 (pow (/ -1 x) 6)) (/ 1/12 (pow x 4)))
0.752 * [taylor]: Taking taylor expansion of (* 1/360 (pow (/ -1 x) 6)) in x
0.752 * [taylor]: Taking taylor expansion of 1/360 in x
0.752 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x
0.752 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.752 * [taylor]: Taking taylor expansion of -1 in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.752 * [taylor]: Taking taylor expansion of 1/12 in x
0.752 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.795 * * * [progress]: simplifying candidates
0.796 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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))))
  (* 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)))
0.800 * * [simplify]: iteration  0 :  123  enodes  (cost  177 )
0.803 * * [simplify]: iteration  1 :  469  enodes  (cost  163 )
0.815 * * [simplify]: iteration  2 :  2175  enodes  (cost  160 )
0.881 * * [simplify]: iteration  3 :  5002  enodes  (cost  160 )
0.883 * [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))))
  (* 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)))
0.883 * * * [progress]: adding candidates to table
0.983 * * [progress]: iteration 3 / 4
0.983 * * * [progress]: picking best candidate
0.988 * * * * [pick]: Picked  #<alt (λ (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))))>
0.988 * * * [progress]: localizing error
1.008 * * * [progress]: generating rewritten candidates
1.008 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.008 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.010 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 3)
1.012 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
1.016 * * * [progress]: generating series expansions
1.016 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.017 * [approximate]: Taking taylor expansion of (fma (exp x) (- (pow (exp x) 3) 8.0) (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x)))) in (x) around 0
1.017 * [taylor]: Taking taylor expansion of (fma (exp x) (- (pow (exp x) 3) 8.0) (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x)))) in x
1.017 * [taylor]: Rewrote expression to (+ (* (exp x) (- (pow (exp x) 3) 8.0)) (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x))))
1.017 * [taylor]: Taking taylor expansion of (* (exp x) (- (pow (exp x) 3) 8.0)) in x
1.017 * [taylor]: Taking taylor expansion of (exp x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) 8.0) in x
1.017 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.017 * [taylor]: Taking taylor expansion of (exp x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of 8.0 in x
1.017 * [taylor]: Taking taylor expansion of (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x))) in x
1.017 * [taylor]: Rewrote expression to (+ (* 2.0 (+ (exp x) 2.0)) (exp (* 2 x)))
1.017 * [taylor]: Taking taylor expansion of (* 2.0 (+ (exp x) 2.0)) in x
1.017 * [taylor]: Taking taylor expansion of 2.0 in x
1.018 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x
1.018 * [taylor]: Taking taylor expansion of (exp x) in x
1.018 * [taylor]: Taking taylor expansion of x in x
1.018 * [taylor]: Taking taylor expansion of 2.0 in x
1.018 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x
1.018 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.018 * [taylor]: Taking taylor expansion of 2 in x
1.018 * [taylor]: Taking taylor expansion of x in x
1.018 * [taylor]: Taking taylor expansion of (fma (exp x) (- (pow (exp x) 3) 8.0) (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x)))) in x
1.019 * [taylor]: Rewrote expression to (+ (* (exp x) (- (pow (exp x) 3) 8.0)) (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x))))
1.019 * [taylor]: Taking taylor expansion of (* (exp x) (- (pow (exp x) 3) 8.0)) in x
1.019 * [taylor]: Taking taylor expansion of (exp x) in x
1.019 * [taylor]: Taking taylor expansion of x in x
1.019 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) 8.0) in x
1.019 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.019 * [taylor]: Taking taylor expansion of (exp x) in x
1.019 * [taylor]: Taking taylor expansion of x in x
1.019 * [taylor]: Taking taylor expansion of 8.0 in x
1.019 * [taylor]: Taking taylor expansion of (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x))) in x
1.019 * [taylor]: Rewrote expression to (+ (* 2.0 (+ (exp x) 2.0)) (exp (* 2 x)))
1.019 * [taylor]: Taking taylor expansion of (* 2.0 (+ (exp x) 2.0)) in x
1.019 * [taylor]: Taking taylor expansion of 2.0 in x
1.019 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x
1.019 * [taylor]: Taking taylor expansion of (exp x) in x
1.019 * [taylor]: Taking taylor expansion of x in x
1.019 * [taylor]: Taking taylor expansion of 2.0 in x
1.019 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x
1.019 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.019 * [taylor]: Taking taylor expansion of 2 in x
1.019 * [taylor]: Taking taylor expansion of x in x
1.074 * [approximate]: Taking taylor expansion of (fma (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x))))) in (x) around 0
1.074 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x))))) in x
1.075 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0)) (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x)))))
1.075 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0)) in x
1.075 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) 8.0) in x
1.075 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.075 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of 8.0 in x
1.075 * [taylor]: Taking taylor expansion of (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x)))) in x
1.075 * [taylor]: Rewrote expression to (+ (* 2.0 (+ (exp (/ 1 x)) 2.0)) (exp (* 2 (/ 1 x))))
1.075 * [taylor]: Taking taylor expansion of (* 2.0 (+ (exp (/ 1 x)) 2.0)) in x
1.075 * [taylor]: Taking taylor expansion of 2.0 in x
1.075 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x
1.076 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.076 * [taylor]: Taking taylor expansion of x in x
1.076 * [taylor]: Taking taylor expansion of 2.0 in x
1.076 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x
1.076 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.076 * [taylor]: Taking taylor expansion of 2 in x
1.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.076 * [taylor]: Taking taylor expansion of x in x
1.076 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x))))) in x
1.077 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0)) (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x)))))
1.077 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0)) in x
1.077 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.077 * [taylor]: Taking taylor expansion of x in x
1.077 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) 8.0) in x
1.077 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.077 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.077 * [taylor]: Taking taylor expansion of x in x
1.077 * [taylor]: Taking taylor expansion of 8.0 in x
1.077 * [taylor]: Taking taylor expansion of (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x)))) in x
1.077 * [taylor]: Rewrote expression to (+ (* 2.0 (+ (exp (/ 1 x)) 2.0)) (exp (* 2 (/ 1 x))))
1.078 * [taylor]: Taking taylor expansion of (* 2.0 (+ (exp (/ 1 x)) 2.0)) in x
1.078 * [taylor]: Taking taylor expansion of 2.0 in x
1.078 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x
1.078 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.078 * [taylor]: Taking taylor expansion of x in x
1.078 * [taylor]: Taking taylor expansion of 2.0 in x
1.078 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x
1.078 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.078 * [taylor]: Taking taylor expansion of 2 in x
1.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.078 * [taylor]: Taking taylor expansion of x in x
1.107 * [approximate]: Taking taylor expansion of (fma (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x)))))) in (x) around 0
1.107 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x)))))) in x
1.107 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0)) (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x))))))
1.107 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0)) in x
1.107 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.107 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.107 * [taylor]: Taking taylor expansion of -1 in x
1.107 * [taylor]: Taking taylor expansion of x in x
1.108 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) 8.0) in x
1.108 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.108 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.108 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.108 * [taylor]: Taking taylor expansion of -1 in x
1.108 * [taylor]: Taking taylor expansion of x in x
1.108 * [taylor]: Taking taylor expansion of 8.0 in x
1.108 * [taylor]: Taking taylor expansion of (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x))))) in x
1.108 * [taylor]: Rewrote expression to (+ (* 2.0 (+ (exp (/ -1 x)) 2.0)) (exp (- (* 2 (/ 1 x)))))
1.108 * [taylor]: Taking taylor expansion of (* 2.0 (+ (exp (/ -1 x)) 2.0)) in x
1.108 * [taylor]: Taking taylor expansion of 2.0 in x
1.108 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x
1.108 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.108 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.108 * [taylor]: Taking taylor expansion of -1 in x
1.108 * [taylor]: Taking taylor expansion of x in x
1.109 * [taylor]: Taking taylor expansion of 2.0 in x
1.109 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x
1.109 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x
1.109 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.109 * [taylor]: Taking taylor expansion of 2 in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.109 * [taylor]: Taking taylor expansion of x in x
1.110 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x)))))) in x
1.110 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0)) (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x))))))
1.110 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0)) in x
1.110 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.110 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.110 * [taylor]: Taking taylor expansion of -1 in x
1.110 * [taylor]: Taking taylor expansion of x in x
1.110 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) 8.0) in x
1.110 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.110 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.110 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.110 * [taylor]: Taking taylor expansion of -1 in x
1.110 * [taylor]: Taking taylor expansion of x in x
1.111 * [taylor]: Taking taylor expansion of 8.0 in x
1.111 * [taylor]: Taking taylor expansion of (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x))))) in x
1.111 * [taylor]: Rewrote expression to (+ (* 2.0 (+ (exp (/ -1 x)) 2.0)) (exp (- (* 2 (/ 1 x)))))
1.111 * [taylor]: Taking taylor expansion of (* 2.0 (+ (exp (/ -1 x)) 2.0)) in x
1.111 * [taylor]: Taking taylor expansion of 2.0 in x
1.111 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x
1.111 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.111 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.111 * [taylor]: Taking taylor expansion of -1 in x
1.111 * [taylor]: Taking taylor expansion of x in x
1.111 * [taylor]: Taking taylor expansion of 2.0 in x
1.111 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x
1.111 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x
1.111 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.111 * [taylor]: Taking taylor expansion of 2 in x
1.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.111 * [taylor]: Taking taylor expansion of x in x
1.143 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.144 * [approximate]: Taking taylor expansion of (/ (fma (exp x) (- (pow (exp x) 3) 8.0) (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x)))) (fma (exp x) (fma 2.0 2.0 (* 2.0 (exp x))) (pow (exp x) 3))) in (x) around 0
1.144 * [taylor]: Taking taylor expansion of (/ (fma (exp x) (- (pow (exp x) 3) 8.0) (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x)))) (fma (exp x) (fma 2.0 2.0 (* 2.0 (exp x))) (pow (exp x) 3))) in x
1.144 * [taylor]: Taking taylor expansion of (fma (exp x) (- (pow (exp x) 3) 8.0) (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x)))) in x
1.144 * [taylor]: Rewrote expression to (+ (* (exp x) (- (pow (exp x) 3) 8.0)) (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x))))
1.144 * [taylor]: Taking taylor expansion of (* (exp x) (- (pow (exp x) 3) 8.0)) in x
1.144 * [taylor]: Taking taylor expansion of (exp x) in x
1.144 * [taylor]: Taking taylor expansion of x in x
1.144 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) 8.0) in x
1.144 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.144 * [taylor]: Taking taylor expansion of (exp x) in x
1.144 * [taylor]: Taking taylor expansion of x in x
1.144 * [taylor]: Taking taylor expansion of 8.0 in x
1.144 * [taylor]: Taking taylor expansion of (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x))) in x
1.144 * [taylor]: Rewrote expression to (+ (* 2.0 (+ (exp x) 2.0)) (exp (* 2 x)))
1.144 * [taylor]: Taking taylor expansion of (* 2.0 (+ (exp x) 2.0)) in x
1.144 * [taylor]: Taking taylor expansion of 2.0 in x
1.144 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x
1.144 * [taylor]: Taking taylor expansion of (exp x) in x
1.144 * [taylor]: Taking taylor expansion of x in x
1.144 * [taylor]: Taking taylor expansion of 2.0 in x
1.144 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x
1.144 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.144 * [taylor]: Taking taylor expansion of 2 in x
1.144 * [taylor]: Taking taylor expansion of x in x
1.145 * [taylor]: Taking taylor expansion of (fma (exp x) (fma 2.0 2.0 (* 2.0 (exp x))) (pow (exp x) 3)) in x
1.145 * [taylor]: Rewrote expression to (+ (* (exp x) (fma 2.0 2.0 (* 2.0 (exp x)))) (pow (exp x) 3))
1.145 * [taylor]: Taking taylor expansion of (* (exp x) (fma 2.0 2.0 (* 2.0 (exp x)))) in x
1.145 * [taylor]: Taking taylor expansion of (exp x) in x
1.145 * [taylor]: Taking taylor expansion of x in x
1.145 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (* 2.0 (exp x))) in x
1.145 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (* 2.0 (exp x)))
1.145 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in x
1.145 * [taylor]: Taking taylor expansion of 2.0 in x
1.145 * [taylor]: Taking taylor expansion of 2.0 in x
1.145 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
1.145 * [taylor]: Taking taylor expansion of 2.0 in x
1.145 * [taylor]: Taking taylor expansion of (exp x) in x
1.145 * [taylor]: Taking taylor expansion of x in x
1.145 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.145 * [taylor]: Taking taylor expansion of (exp x) in x
1.145 * [taylor]: Taking taylor expansion of x in x
1.167 * [taylor]: Taking taylor expansion of (/ (fma (exp x) (- (pow (exp x) 3) 8.0) (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x)))) (fma (exp x) (fma 2.0 2.0 (* 2.0 (exp x))) (pow (exp x) 3))) in x
1.167 * [taylor]: Taking taylor expansion of (fma (exp x) (- (pow (exp x) 3) 8.0) (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x)))) in x
1.167 * [taylor]: Rewrote expression to (+ (* (exp x) (- (pow (exp x) 3) 8.0)) (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x))))
1.167 * [taylor]: Taking taylor expansion of (* (exp x) (- (pow (exp x) 3) 8.0)) in x
1.167 * [taylor]: Taking taylor expansion of (exp x) in x
1.167 * [taylor]: Taking taylor expansion of x in x
1.167 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) 8.0) in x
1.167 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.167 * [taylor]: Taking taylor expansion of (exp x) in x
1.167 * [taylor]: Taking taylor expansion of x in x
1.167 * [taylor]: Taking taylor expansion of 8.0 in x
1.167 * [taylor]: Taking taylor expansion of (fma 2.0 (+ (exp x) 2.0) (exp (* 2 x))) in x
1.167 * [taylor]: Rewrote expression to (+ (* 2.0 (+ (exp x) 2.0)) (exp (* 2 x)))
1.167 * [taylor]: Taking taylor expansion of (* 2.0 (+ (exp x) 2.0)) in x
1.167 * [taylor]: Taking taylor expansion of 2.0 in x
1.167 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x
1.167 * [taylor]: Taking taylor expansion of (exp x) in x
1.167 * [taylor]: Taking taylor expansion of x in x
1.167 * [taylor]: Taking taylor expansion of 2.0 in x
1.167 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x
1.167 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.167 * [taylor]: Taking taylor expansion of 2 in x
1.167 * [taylor]: Taking taylor expansion of x in x
1.168 * [taylor]: Taking taylor expansion of (fma (exp x) (fma 2.0 2.0 (* 2.0 (exp x))) (pow (exp x) 3)) in x
1.168 * [taylor]: Rewrote expression to (+ (* (exp x) (fma 2.0 2.0 (* 2.0 (exp x)))) (pow (exp x) 3))
1.168 * [taylor]: Taking taylor expansion of (* (exp x) (fma 2.0 2.0 (* 2.0 (exp x)))) in x
1.168 * [taylor]: Taking taylor expansion of (exp x) in x
1.168 * [taylor]: Taking taylor expansion of x in x
1.168 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (* 2.0 (exp x))) in x
1.168 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (* 2.0 (exp x)))
1.168 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in x
1.168 * [taylor]: Taking taylor expansion of 2.0 in x
1.168 * [taylor]: Taking taylor expansion of 2.0 in x
1.168 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
1.168 * [taylor]: Taking taylor expansion of 2.0 in x
1.168 * [taylor]: Taking taylor expansion of (exp x) in x
1.168 * [taylor]: Taking taylor expansion of x in x
1.169 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.169 * [taylor]: Taking taylor expansion of (exp x) in x
1.169 * [taylor]: Taking taylor expansion of x in x
1.286 * [approximate]: Taking taylor expansion of (/ (fma (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x))))) (fma (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) (pow (exp (/ 1 x)) 3))) in (x) around 0
1.286 * [taylor]: Taking taylor expansion of (/ (fma (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x))))) (fma (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) (pow (exp (/ 1 x)) 3))) in x
1.286 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x))))) in x
1.286 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0)) (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x)))))
1.286 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0)) in x
1.286 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.286 * [taylor]: Taking taylor expansion of x in x
1.286 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) 8.0) in x
1.287 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.287 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.287 * [taylor]: Taking taylor expansion of x in x
1.287 * [taylor]: Taking taylor expansion of 8.0 in x
1.287 * [taylor]: Taking taylor expansion of (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x)))) in x
1.287 * [taylor]: Rewrote expression to (+ (* 2.0 (+ (exp (/ 1 x)) 2.0)) (exp (* 2 (/ 1 x))))
1.287 * [taylor]: Taking taylor expansion of (* 2.0 (+ (exp (/ 1 x)) 2.0)) in x
1.287 * [taylor]: Taking taylor expansion of 2.0 in x
1.287 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x
1.287 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.287 * [taylor]: Taking taylor expansion of x in x
1.287 * [taylor]: Taking taylor expansion of 2.0 in x
1.287 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x
1.287 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.287 * [taylor]: Taking taylor expansion of 2 in x
1.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.288 * [taylor]: Taking taylor expansion of x in x
1.288 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) (pow (exp (/ 1 x)) 3)) in x
1.288 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x))))) (pow (exp (/ 1 x)) 3))
1.288 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x))))) in x
1.288 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.288 * [taylor]: Taking taylor expansion of x in x
1.289 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) in x
1.289 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (* 2.0 (exp (/ 1 x))))
1.289 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in x
1.289 * [taylor]: Taking taylor expansion of 2.0 in x
1.289 * [taylor]: Taking taylor expansion of 2.0 in x
1.289 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
1.289 * [taylor]: Taking taylor expansion of 2.0 in x
1.289 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.289 * [taylor]: Taking taylor expansion of x in x
1.289 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.289 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.289 * [taylor]: Taking taylor expansion of x in x
1.292 * [taylor]: Taking taylor expansion of (/ (fma (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x))))) (fma (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) (pow (exp (/ 1 x)) 3))) in x
1.292 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x))))) in x
1.292 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0)) (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x)))))
1.292 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 8.0)) in x
1.292 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.292 * [taylor]: Taking taylor expansion of x in x
1.293 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) 8.0) in x
1.293 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.293 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.293 * [taylor]: Taking taylor expansion of x in x
1.293 * [taylor]: Taking taylor expansion of 8.0 in x
1.293 * [taylor]: Taking taylor expansion of (fma 2.0 (+ (exp (/ 1 x)) 2.0) (exp (* 2 (/ 1 x)))) in x
1.293 * [taylor]: Rewrote expression to (+ (* 2.0 (+ (exp (/ 1 x)) 2.0)) (exp (* 2 (/ 1 x))))
1.293 * [taylor]: Taking taylor expansion of (* 2.0 (+ (exp (/ 1 x)) 2.0)) in x
1.293 * [taylor]: Taking taylor expansion of 2.0 in x
1.293 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x
1.293 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.293 * [taylor]: Taking taylor expansion of x in x
1.294 * [taylor]: Taking taylor expansion of 2.0 in x
1.294 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x
1.294 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.294 * [taylor]: Taking taylor expansion of 2 in x
1.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.294 * [taylor]: Taking taylor expansion of x in x
1.294 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) (pow (exp (/ 1 x)) 3)) in x
1.295 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x))))) (pow (exp (/ 1 x)) 3))
1.295 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x))))) in x
1.295 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.295 * [taylor]: Taking taylor expansion of x in x
1.295 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) in x
1.295 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (* 2.0 (exp (/ 1 x))))
1.295 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in x
1.295 * [taylor]: Taking taylor expansion of 2.0 in x
1.295 * [taylor]: Taking taylor expansion of 2.0 in x
1.295 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
1.295 * [taylor]: Taking taylor expansion of 2.0 in x
1.295 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.295 * [taylor]: Taking taylor expansion of x in x
1.296 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.296 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.296 * [taylor]: Taking taylor expansion of x in x
1.365 * [approximate]: Taking taylor expansion of (/ (fma (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x)))))) (fma (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) (pow (exp (/ -1 x)) 3))) in (x) around 0
1.365 * [taylor]: Taking taylor expansion of (/ (fma (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x)))))) (fma (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) (pow (exp (/ -1 x)) 3))) in x
1.365 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x)))))) in x
1.365 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0)) (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x))))))
1.365 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0)) in x
1.365 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.365 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.365 * [taylor]: Taking taylor expansion of -1 in x
1.365 * [taylor]: Taking taylor expansion of x in x
1.366 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) 8.0) in x
1.366 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) 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 -1 in x
1.366 * [taylor]: Taking taylor expansion of x in x
1.366 * [taylor]: Taking taylor expansion of 8.0 in x
1.366 * [taylor]: Taking taylor expansion of (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x))))) in x
1.366 * [taylor]: Rewrote expression to (+ (* 2.0 (+ (exp (/ -1 x)) 2.0)) (exp (- (* 2 (/ 1 x)))))
1.366 * [taylor]: Taking taylor expansion of (* 2.0 (+ (exp (/ -1 x)) 2.0)) in x
1.366 * [taylor]: Taking taylor expansion of 2.0 in x
1.366 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) 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 -1 in x
1.366 * [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 (- (* 2 (/ 1 x)))) in x
1.367 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x
1.367 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.367 * [taylor]: Taking taylor expansion of 2 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 (fma (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) (pow (exp (/ -1 x)) 3)) in x
1.368 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x))))) (pow (exp (/ -1 x)) 3))
1.368 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x))))) 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 -1 in x
1.368 * [taylor]: Taking taylor expansion of x in x
1.368 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) in x
1.368 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (* 2.0 (exp (/ -1 x))))
1.368 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in x
1.368 * [taylor]: Taking taylor expansion of 2.0 in x
1.368 * [taylor]: Taking taylor expansion of 2.0 in x
1.368 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 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.369 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.369 * [taylor]: Taking taylor expansion of -1 in x
1.369 * [taylor]: Taking taylor expansion of x in x
1.369 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.369 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.369 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.369 * [taylor]: Taking taylor expansion of -1 in x
1.369 * [taylor]: Taking taylor expansion of x in x
1.372 * [taylor]: Taking taylor expansion of (/ (fma (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x)))))) (fma (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) (pow (exp (/ -1 x)) 3))) in x
1.372 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0) (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x)))))) in x
1.372 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0)) (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x))))))
1.372 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 8.0)) in x
1.372 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.372 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.372 * [taylor]: Taking taylor expansion of -1 in x
1.372 * [taylor]: Taking taylor expansion of x in x
1.373 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) 8.0) in x
1.373 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.373 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.373 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.373 * [taylor]: Taking taylor expansion of -1 in x
1.373 * [taylor]: Taking taylor expansion of x in x
1.373 * [taylor]: Taking taylor expansion of 8.0 in x
1.373 * [taylor]: Taking taylor expansion of (fma 2.0 (+ (exp (/ -1 x)) 2.0) (exp (- (* 2 (/ 1 x))))) in x
1.373 * [taylor]: Rewrote expression to (+ (* 2.0 (+ (exp (/ -1 x)) 2.0)) (exp (- (* 2 (/ 1 x)))))
1.373 * [taylor]: Taking taylor expansion of (* 2.0 (+ (exp (/ -1 x)) 2.0)) in x
1.373 * [taylor]: Taking taylor expansion of 2.0 in x
1.373 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x
1.373 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.373 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.373 * [taylor]: Taking taylor expansion of -1 in x
1.373 * [taylor]: Taking taylor expansion of x in x
1.374 * [taylor]: Taking taylor expansion of 2.0 in x
1.374 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x
1.374 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x
1.374 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.374 * [taylor]: Taking taylor expansion of 2 in x
1.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.374 * [taylor]: Taking taylor expansion of x in x
1.375 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) (pow (exp (/ -1 x)) 3)) in x
1.375 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x))))) (pow (exp (/ -1 x)) 3))
1.375 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x))))) in x
1.375 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.375 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.375 * [taylor]: Taking taylor expansion of -1 in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.375 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) in x
1.375 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (* 2.0 (exp (/ -1 x))))
1.375 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in x
1.375 * [taylor]: Taking taylor expansion of 2.0 in x
1.375 * [taylor]: Taking taylor expansion of 2.0 in x
1.375 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x
1.375 * [taylor]: Taking taylor expansion of 2.0 in x
1.375 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.375 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.375 * [taylor]: Taking taylor expansion of -1 in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.376 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.376 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.376 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.376 * [taylor]: Taking taylor expansion of -1 in x
1.376 * [taylor]: Taking taylor expansion of x in x
1.441 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 3)
1.442 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0
1.442 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.442 * [taylor]: Taking taylor expansion of (exp x) in x
1.442 * [taylor]: Taking taylor expansion of x in x
1.442 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.442 * [taylor]: Taking taylor expansion of (exp x) in x
1.442 * [taylor]: Taking taylor expansion of x in x
1.446 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
1.446 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.446 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.446 * [taylor]: Taking taylor expansion of x in x
1.446 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.446 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.446 * [taylor]: Taking taylor expansion of x in x
1.459 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0
1.459 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) 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 (pow (exp (/ -1 x)) 3) 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.469 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1.469 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0
1.469 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.469 * [taylor]: Taking taylor expansion of (exp x) in x
1.469 * [taylor]: Taking taylor expansion of x in x
1.469 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.469 * [taylor]: Taking taylor expansion of (exp x) in x
1.469 * [taylor]: Taking taylor expansion of x in x
1.473 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
1.473 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.473 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.473 * [taylor]: Taking taylor expansion of x in x
1.473 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.473 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.473 * [taylor]: Taking taylor expansion of x in x
1.483 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0
1.483 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.483 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.483 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.483 * [taylor]: Taking taylor expansion of -1 in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.483 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.483 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.483 * [taylor]: Taking taylor expansion of -1 in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.492 * * * [progress]: simplifying candidates
1.494 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (log1p (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (* (exp x) (- (pow (exp x) 3) (pow 2.0 3)))
  (log (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (exp (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (* (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))))
  (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x 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) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (expm1 (/ (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))))
  (log1p (/ (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))))
  (- (log (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (log (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (log (/ (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))))
  (exp (/ (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) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x 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) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (* (cbrt (/ (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)))) (cbrt (/ (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)))))
  (cbrt (/ (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) (- (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))))
  (sqrt (/ (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))))
  (sqrt (/ (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)))
  (/ (* (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))) (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))
  (/ (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (* (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (* (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))) 1)
  (/ (cbrt (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)))
  (/ (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))
  (/ (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) 1)
  (/ (sqrt (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)))
  (/ 1 (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (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)))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ 1 (sqrt (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)))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ 1 1)
  (/ (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)))
  (/ 1 (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) 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) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (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)))) (sqrt (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)))) 1)
  (/ (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (cbrt (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)) (sqrt (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)))))
  (expm1 (pow (exp x) 3))
  (log1p (pow (exp x) 3))
  (* x 3)
  (* (log (exp x)) 3)
  (* 1 3)
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (pow (exp x) 1)
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (log (pow (exp x) 3))
  (exp (pow (exp x) 3))
  (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3)))
  (cbrt (pow (exp x) 3))
  (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) (/ 3 2))
  (pow (exp x) (/ 3 2))
  (expm1 (pow (exp x) 3))
  (log1p (pow (exp x) 3))
  (* x 3)
  (* (log (exp x)) 3)
  (* 1 3)
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (pow (exp x) 1)
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (log (pow (exp x) 3))
  (exp (pow (exp x) 3))
  (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3)))
  (cbrt (pow (exp x) 3))
  (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) (/ 3 2))
  (pow (exp x) (/ 3 2))
  (+ (* 7.0 (pow x 2)) (+ (* 11.0 (pow x 3)) (* 11.083333333333334 (pow x 4))))
  (- (+ (pow (exp x) 4) (+ (exp (* 2 x)) 4.0)) (* 6.0 (exp x)))
  (- (+ (pow (exp x) 4) (+ (exp (* 2 x)) 4.0)) (* 6.0 (exp x)))
  (- (+ (* 1.0 (pow x 2)) (* 0.08333333333333348 (pow x 4))) (* 2.220446049250313e-16 (pow x 5)))
  (/ (- (+ (pow (exp x) 4) (+ (exp (* 2 x)) 4.0)) (* 6.0 (exp x))) (+ (* 4.0 (exp x)) (+ (* 2.0 (pow (exp x) 2)) (pow (exp x) 3))))
  (/ (- (+ (pow (exp x) 4) (+ (exp (* 2 x)) 4.0)) (* 6.0 (exp x))) (+ (* 4.0 (exp x)) (+ (* 2.0 (pow (exp x) 2)) (pow (exp x) 3))))
  (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
  (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
1.501 * * [simplify]: iteration  0 :  301  enodes  (cost  1234 )
1.508 * * [simplify]: iteration  1 :  1233  enodes  (cost  1128 )
1.538 * * [simplify]: iteration  2 :  5001  enodes  (cost  1118 )
1.543 * [simplify]: Simplified to:
   (expm1 (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (log1p (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (* (exp x) (- (pow (exp x) 3) (pow 2.0 3)))
  (log (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (exp (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (* (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))))
  (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (pow (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) 3)
  (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (expm1 (/ (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))))
  (log1p (/ (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))))
  (log (/ (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))))
  (log (/ (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))))
  (exp (/ (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))))
  (pow (/ (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))) 3)
  (* (cbrt (/ (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)))) (cbrt (/ (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)))))
  (cbrt (/ (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))))
  (pow (/ (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))) 3)
  (sqrt (/ (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))))
  (sqrt (/ (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)))
  (/ (* (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))) (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))
  (/ (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (* (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (* (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (cbrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))))
  (/ (cbrt (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)))
  (/ (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))
  (/ (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (sqrt (fma (exp x) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))))
  (/ (sqrt (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)))
  (/ 1 (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (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)))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ 1 (sqrt (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)))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  1
  (/ (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)))
  (/ 1 (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) 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) (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (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)))) (sqrt (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)) (cbrt (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)) (sqrt (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)))))
  (expm1 (pow (exp x) 3))
  (log1p (pow (exp x) 3))
  (* x 3)
  (* x 3)
  3
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (exp x)
  (pow (exp x) 2)
  (exp x)
  (pow (exp x) 3/2)
  (pow (exp x) 3/2)
  1
  (pow (exp x) 3)
  (pow (exp x) 2)
  (* x 3)
  (exp (pow (exp x) 3))
  (pow (exp x) 2)
  (exp x)
  (pow (pow (exp x) 3) 3)
  (pow (exp x) 2)
  (exp x)
  (pow (exp x) 3/2)
  (pow (exp x) 3/2)
  1
  (pow (exp x) 3)
  (pow (exp x) 2)
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) 3/2)
  (pow (exp x) 3/2)
  (expm1 (pow (exp x) 3))
  (log1p (pow (exp x) 3))
  (* x 3)
  (* x 3)
  3
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (exp x)
  (pow (exp x) 2)
  (exp x)
  (pow (exp x) 3/2)
  (pow (exp x) 3/2)
  1
  (pow (exp x) 3)
  (pow (exp x) 2)
  (* x 3)
  (exp (pow (exp x) 3))
  (pow (exp x) 2)
  (exp x)
  (pow (pow (exp x) 3) 3)
  (pow (exp x) 2)
  (exp x)
  (pow (exp x) 3/2)
  (pow (exp x) 3/2)
  1
  (pow (exp x) 3)
  (pow (exp x) 2)
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) 3/2)
  (pow (exp x) 3/2)
  (fma 7.0 (pow x 2) (fma 11.0 (pow x 3) (* 11.083333333333334 (pow x 4))))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))
  (fma (pow x 2) 1.0 (- (* 0.08333333333333348 (pow x 4)) (* 2.220446049250313e-16 (pow x 5))))
  (/ (- (+ (pow (exp x) 4) (+ (exp (* 2 x)) 4.0)) (* 6.0 (exp x))) (+ (* 4.0 (exp x)) (+ (* 2.0 (pow (exp x) 2)) (pow (exp x) 3))))
  (/ (- (+ (pow (exp x) 4) (+ (exp (* 2 x)) 4.0)) (* 6.0 (exp x))) (+ (* 4.0 (exp x)) (+ (* 2.0 (pow (exp x) 2)) (pow (exp x) 3))))
  (fma 9/2 (pow x 2) (fma 3 x 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
  (fma 9/2 (pow x 2) (fma 3 x 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
1.544 * * * [progress]: adding candidates to table
1.900 * * [progress]: iteration 4 / 4
1.900 * * * [progress]: picking best candidate
1.905 * * * * [pick]: Picked  #<alt (λ (x) (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))>
1.905 * * * [progress]: localizing error
1.923 * * * [progress]: generating rewritten candidates
1.923 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.972 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.073 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
2.075 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 3)
2.081 * * * [progress]: generating series expansions
2.081 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.082 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in (x) around 0
2.082 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x
2.082 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x
2.082 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
2.082 * [taylor]: Taking taylor expansion of (exp x) in x
2.082 * [taylor]: Taking taylor expansion of x in x
2.082 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x
2.082 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
2.082 * [taylor]: Taking taylor expansion of (exp x) in x
2.082 * [taylor]: Taking taylor expansion of x in x
2.082 * [taylor]: Taking taylor expansion of 4.0 in x
2.082 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x
2.082 * [taylor]: Taking taylor expansion of 6.0 in x
2.082 * [taylor]: Taking taylor expansion of (exp x) in x
2.082 * [taylor]: Taking taylor expansion of x in x
2.082 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x
2.082 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x
2.082 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
2.082 * [taylor]: Taking taylor expansion of (exp x) in x
2.082 * [taylor]: Taking taylor expansion of x in x
2.082 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x
2.082 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
2.082 * [taylor]: Taking taylor expansion of (exp x) in x
2.082 * [taylor]: Taking taylor expansion of x in x
2.082 * [taylor]: Taking taylor expansion of 4.0 in x
2.082 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x
2.082 * [taylor]: Taking taylor expansion of 6.0 in x
2.082 * [taylor]: Taking taylor expansion of (exp x) in x
2.082 * [taylor]: Taking taylor expansion of x in x
2.116 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in (x) around 0
2.117 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x
2.117 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x
2.117 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
2.117 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.117 * [taylor]: Taking taylor expansion of x in x
2.117 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x
2.117 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
2.117 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.117 * [taylor]: Taking taylor expansion of x in x
2.117 * [taylor]: Taking taylor expansion of 4.0 in x
2.117 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x
2.117 * [taylor]: Taking taylor expansion of 6.0 in x
2.117 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.117 * [taylor]: Taking taylor expansion of x in x
2.118 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x
2.118 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x
2.118 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
2.118 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.118 * [taylor]: Taking taylor expansion of x in x
2.118 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x
2.118 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
2.118 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.118 * [taylor]: Taking taylor expansion of x in x
2.119 * [taylor]: Taking taylor expansion of 4.0 in x
2.119 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x
2.119 * [taylor]: Taking taylor expansion of 6.0 in x
2.119 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.119 * [taylor]: Taking taylor expansion of x in x
2.147 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (+ (pow (exp (/ -1 x)) 4) 4.0)) (* 6.0 (exp (/ -1 x)))) in (x) around 0
2.147 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (+ (pow (exp (/ -1 x)) 4) 4.0)) (* 6.0 (exp (/ -1 x)))) in x
2.147 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (+ (pow (exp (/ -1 x)) 4) 4.0)) in x
2.148 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
2.148 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.148 * [taylor]: Taking taylor expansion of -1 in x
2.148 * [taylor]: Taking taylor expansion of x in x
2.148 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 4) 4.0) in x
2.148 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
2.148 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.148 * [taylor]: Taking taylor expansion of -1 in x
2.148 * [taylor]: Taking taylor expansion of x in x
2.148 * [taylor]: Taking taylor expansion of 4.0 in x
2.148 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x
2.148 * [taylor]: Taking taylor expansion of 6.0 in x
2.148 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.148 * [taylor]: Taking taylor expansion of -1 in x
2.148 * [taylor]: Taking taylor expansion of x in x
2.149 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (+ (pow (exp (/ -1 x)) 4) 4.0)) (* 6.0 (exp (/ -1 x)))) in x
2.149 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (+ (pow (exp (/ -1 x)) 4) 4.0)) in x
2.149 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
2.149 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.149 * [taylor]: Taking taylor expansion of -1 in x
2.149 * [taylor]: Taking taylor expansion of x in x
2.149 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 4) 4.0) in x
2.149 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
2.149 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.149 * [taylor]: Taking taylor expansion of -1 in x
2.149 * [taylor]: Taking taylor expansion of x in x
2.150 * [taylor]: Taking taylor expansion of 4.0 in x
2.150 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x
2.150 * [taylor]: Taking taylor expansion of 6.0 in x
2.150 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.150 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.150 * [taylor]: Taking taylor expansion of -1 in x
2.150 * [taylor]: Taking taylor expansion of x in x
2.175 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.176 * [approximate]: Taking taylor expansion of (/ (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (fma (exp x) (fma 2.0 2.0 (* 2.0 (exp x))) (pow (exp x) 3))) in (x) around 0
2.176 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (fma (exp x) (fma 2.0 2.0 (* 2.0 (exp x))) (pow (exp x) 3))) in x
2.176 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x
2.176 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x
2.176 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
2.176 * [taylor]: Taking taylor expansion of (exp x) in x
2.176 * [taylor]: Taking taylor expansion of x in x
2.176 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x
2.176 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
2.176 * [taylor]: Taking taylor expansion of (exp x) in x
2.176 * [taylor]: Taking taylor expansion of x in x
2.176 * [taylor]: Taking taylor expansion of 4.0 in x
2.176 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x
2.176 * [taylor]: Taking taylor expansion of 6.0 in x
2.176 * [taylor]: Taking taylor expansion of (exp x) in x
2.176 * [taylor]: Taking taylor expansion of x in x
2.176 * [taylor]: Taking taylor expansion of (fma (exp x) (fma 2.0 2.0 (* 2.0 (exp x))) (pow (exp x) 3)) in x
2.176 * [taylor]: Rewrote expression to (+ (* (exp x) (fma 2.0 2.0 (* 2.0 (exp x)))) (pow (exp x) 3))
2.176 * [taylor]: Taking taylor expansion of (* (exp x) (fma 2.0 2.0 (* 2.0 (exp x)))) in x
2.176 * [taylor]: Taking taylor expansion of (exp x) in x
2.176 * [taylor]: Taking taylor expansion of x in x
2.176 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (* 2.0 (exp x))) in x
2.176 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (* 2.0 (exp x)))
2.176 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in x
2.176 * [taylor]: Taking taylor expansion of 2.0 in x
2.176 * [taylor]: Taking taylor expansion of 2.0 in x
2.176 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
2.176 * [taylor]: Taking taylor expansion of 2.0 in x
2.176 * [taylor]: Taking taylor expansion of (exp x) in x
2.176 * [taylor]: Taking taylor expansion of x in x
2.176 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
2.176 * [taylor]: Taking taylor expansion of (exp x) in x
2.176 * [taylor]: Taking taylor expansion of x in x
2.191 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (fma (exp x) (fma 2.0 2.0 (* 2.0 (exp x))) (pow (exp x) 3))) in x
2.192 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x
2.192 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x
2.192 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
2.192 * [taylor]: Taking taylor expansion of (exp x) in x
2.192 * [taylor]: Taking taylor expansion of x in x
2.192 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x
2.192 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
2.192 * [taylor]: Taking taylor expansion of (exp x) in x
2.192 * [taylor]: Taking taylor expansion of x in x
2.192 * [taylor]: Taking taylor expansion of 4.0 in x
2.192 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x
2.192 * [taylor]: Taking taylor expansion of 6.0 in x
2.192 * [taylor]: Taking taylor expansion of (exp x) in x
2.192 * [taylor]: Taking taylor expansion of x in x
2.192 * [taylor]: Taking taylor expansion of (fma (exp x) (fma 2.0 2.0 (* 2.0 (exp x))) (pow (exp x) 3)) in x
2.192 * [taylor]: Rewrote expression to (+ (* (exp x) (fma 2.0 2.0 (* 2.0 (exp x)))) (pow (exp x) 3))
2.192 * [taylor]: Taking taylor expansion of (* (exp x) (fma 2.0 2.0 (* 2.0 (exp x)))) in x
2.192 * [taylor]: Taking taylor expansion of (exp x) in x
2.192 * [taylor]: Taking taylor expansion of x in x
2.192 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (* 2.0 (exp x))) in x
2.192 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (* 2.0 (exp x)))
2.192 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in x
2.192 * [taylor]: Taking taylor expansion of 2.0 in x
2.192 * [taylor]: Taking taylor expansion of 2.0 in x
2.192 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
2.192 * [taylor]: Taking taylor expansion of 2.0 in x
2.192 * [taylor]: Taking taylor expansion of (exp x) in x
2.192 * [taylor]: Taking taylor expansion of x in x
2.192 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
2.192 * [taylor]: Taking taylor expansion of (exp x) in x
2.192 * [taylor]: Taking taylor expansion of x in x
2.278 * [approximate]: Taking taylor expansion of (/ (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) (fma (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) (pow (exp (/ 1 x)) 3))) in (x) around 0
2.278 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) (fma (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) (pow (exp (/ 1 x)) 3))) in x
2.278 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x
2.278 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x
2.278 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
2.278 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.278 * [taylor]: Taking taylor expansion of x in x
2.279 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x
2.279 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
2.279 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.279 * [taylor]: Taking taylor expansion of x in x
2.279 * [taylor]: Taking taylor expansion of 4.0 in x
2.279 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x
2.279 * [taylor]: Taking taylor expansion of 6.0 in x
2.279 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.279 * [taylor]: Taking taylor expansion of x in x
2.280 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) (pow (exp (/ 1 x)) 3)) in x
2.280 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x))))) (pow (exp (/ 1 x)) 3))
2.280 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x))))) in x
2.280 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.280 * [taylor]: Taking taylor expansion of x in x
2.280 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) in x
2.280 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (* 2.0 (exp (/ 1 x))))
2.280 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in x
2.280 * [taylor]: Taking taylor expansion of 2.0 in x
2.280 * [taylor]: Taking taylor expansion of 2.0 in x
2.280 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
2.281 * [taylor]: Taking taylor expansion of 2.0 in x
2.281 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.281 * [taylor]: Taking taylor expansion of x in x
2.281 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
2.281 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.281 * [taylor]: Taking taylor expansion of x in x
2.283 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) (fma (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) (pow (exp (/ 1 x)) 3))) in x
2.284 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x
2.284 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x
2.284 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
2.284 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.284 * [taylor]: Taking taylor expansion of x in x
2.284 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x
2.284 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
2.284 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.284 * [taylor]: Taking taylor expansion of x in x
2.284 * [taylor]: Taking taylor expansion of 4.0 in x
2.284 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x
2.284 * [taylor]: Taking taylor expansion of 6.0 in x
2.284 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.284 * [taylor]: Taking taylor expansion of x in x
2.285 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) (pow (exp (/ 1 x)) 3)) in x
2.285 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x))))) (pow (exp (/ 1 x)) 3))
2.285 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ 1 x))))) in x
2.285 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.285 * [taylor]: Taking taylor expansion of x in x
2.285 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (* 2.0 (exp (/ 1 x)))) in x
2.285 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (* 2.0 (exp (/ 1 x))))
2.285 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in x
2.285 * [taylor]: Taking taylor expansion of 2.0 in x
2.285 * [taylor]: Taking taylor expansion of 2.0 in x
2.285 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
2.285 * [taylor]: Taking taylor expansion of 2.0 in x
2.285 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.285 * [taylor]: Taking taylor expansion of x in x
2.286 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
2.286 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.286 * [taylor]: Taking taylor expansion of x in x
2.355 * [approximate]: Taking taylor expansion of (/ (- (+ (pow (exp (/ -1 x)) 2) (+ (pow (exp (/ -1 x)) 4) 4.0)) (* 6.0 (exp (/ -1 x)))) (fma (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) (pow (exp (/ -1 x)) 3))) in (x) around 0
2.355 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ -1 x)) 2) (+ (pow (exp (/ -1 x)) 4) 4.0)) (* 6.0 (exp (/ -1 x)))) (fma (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) (pow (exp (/ -1 x)) 3))) in x
2.356 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (+ (pow (exp (/ -1 x)) 4) 4.0)) (* 6.0 (exp (/ -1 x)))) in x
2.356 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (+ (pow (exp (/ -1 x)) 4) 4.0)) in x
2.356 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
2.356 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.356 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.356 * [taylor]: Taking taylor expansion of -1 in x
2.356 * [taylor]: Taking taylor expansion of x in x
2.356 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 4) 4.0) in x
2.356 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
2.356 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.356 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.356 * [taylor]: Taking taylor expansion of -1 in x
2.356 * [taylor]: Taking taylor expansion of x in x
2.356 * [taylor]: Taking taylor expansion of 4.0 in x
2.356 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x
2.356 * [taylor]: Taking taylor expansion of 6.0 in x
2.356 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.356 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.357 * [taylor]: Taking taylor expansion of -1 in x
2.357 * [taylor]: Taking taylor expansion of x in x
2.357 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) (pow (exp (/ -1 x)) 3)) in x
2.357 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x))))) (pow (exp (/ -1 x)) 3))
2.357 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x))))) in x
2.357 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.357 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.357 * [taylor]: Taking taylor expansion of -1 in x
2.357 * [taylor]: Taking taylor expansion of x in x
2.357 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) in x
2.358 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (* 2.0 (exp (/ -1 x))))
2.358 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in x
2.358 * [taylor]: Taking taylor expansion of 2.0 in x
2.358 * [taylor]: Taking taylor expansion of 2.0 in x
2.358 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x
2.358 * [taylor]: Taking taylor expansion of 2.0 in x
2.358 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.358 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.358 * [taylor]: Taking taylor expansion of -1 in x
2.358 * [taylor]: Taking taylor expansion of x in x
2.358 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
2.358 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.358 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.358 * [taylor]: Taking taylor expansion of -1 in x
2.358 * [taylor]: Taking taylor expansion of x in x
2.361 * [taylor]: Taking taylor expansion of (/ (- (+ (pow (exp (/ -1 x)) 2) (+ (pow (exp (/ -1 x)) 4) 4.0)) (* 6.0 (exp (/ -1 x)))) (fma (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) (pow (exp (/ -1 x)) 3))) in x
2.361 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) (+ (pow (exp (/ -1 x)) 4) 4.0)) (* 6.0 (exp (/ -1 x)))) in x
2.361 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (+ (pow (exp (/ -1 x)) 4) 4.0)) in x
2.361 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
2.361 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.361 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.361 * [taylor]: Taking taylor expansion of -1 in x
2.361 * [taylor]: Taking taylor expansion of x in x
2.362 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 4) 4.0) in x
2.362 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
2.362 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.362 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.362 * [taylor]: Taking taylor expansion of -1 in x
2.362 * [taylor]: Taking taylor expansion of x in x
2.362 * [taylor]: Taking taylor expansion of 4.0 in x
2.362 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x
2.362 * [taylor]: Taking taylor expansion of 6.0 in x
2.362 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.362 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.362 * [taylor]: Taking taylor expansion of -1 in x
2.362 * [taylor]: Taking taylor expansion of x in x
2.363 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) (pow (exp (/ -1 x)) 3)) in x
2.363 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x))))) (pow (exp (/ -1 x)) 3))
2.363 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (fma 2.0 2.0 (* 2.0 (exp (/ -1 x))))) in x
2.363 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.363 * [taylor]: Taking taylor expansion of -1 in x
2.363 * [taylor]: Taking taylor expansion of x in x
2.363 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (* 2.0 (exp (/ -1 x)))) in x
2.363 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (* 2.0 (exp (/ -1 x))))
2.363 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in x
2.363 * [taylor]: Taking taylor expansion of 2.0 in x
2.363 * [taylor]: Taking taylor expansion of 2.0 in x
2.363 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x
2.364 * [taylor]: Taking taylor expansion of 2.0 in x
2.364 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.364 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.364 * [taylor]: Taking taylor expansion of -1 in x
2.364 * [taylor]: Taking taylor expansion of x in x
2.364 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
2.364 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.364 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.364 * [taylor]: Taking taylor expansion of -1 in x
2.364 * [taylor]: Taking taylor expansion of x in x
2.431 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
2.431 * [approximate]: Taking taylor expansion of (pow (exp x) 4) in (x) around 0
2.431 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
2.431 * [taylor]: Taking taylor expansion of (exp x) in x
2.431 * [taylor]: Taking taylor expansion of x in x
2.431 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
2.431 * [taylor]: Taking taylor expansion of (exp x) in x
2.431 * [taylor]: Taking taylor expansion of x in x
2.435 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in (x) around 0
2.435 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
2.435 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.435 * [taylor]: Taking taylor expansion of x in x
2.436 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
2.436 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.436 * [taylor]: Taking taylor expansion of x in x
2.445 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in (x) around 0
2.445 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
2.445 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.445 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.445 * [taylor]: Taking taylor expansion of -1 in x
2.445 * [taylor]: Taking taylor expansion of x in x
2.446 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
2.446 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.446 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.446 * [taylor]: Taking taylor expansion of -1 in x
2.446 * [taylor]: Taking taylor expansion of x in x
2.455 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 3)
2.455 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0
2.455 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
2.455 * [taylor]: Taking taylor expansion of (exp x) in x
2.455 * [taylor]: Taking taylor expansion of x in x
2.455 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
2.456 * [taylor]: Taking taylor expansion of (exp x) in x
2.456 * [taylor]: Taking taylor expansion of x in x
2.459 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
2.459 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
2.459 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.459 * [taylor]: Taking taylor expansion of x in x
2.460 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
2.460 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.460 * [taylor]: Taking taylor expansion of x in x
2.469 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0
2.469 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
2.469 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.469 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.469 * [taylor]: Taking taylor expansion of -1 in x
2.469 * [taylor]: Taking taylor expansion of x in x
2.470 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
2.470 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.470 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.470 * [taylor]: Taking taylor expansion of -1 in x
2.470 * [taylor]: Taking taylor expansion of x in x
2.479 * * * [progress]: simplifying candidates
2.481 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (log1p (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (* (* (exp (pow (exp x) 4)) (exp 4.0)) (exp (* (exp x) (- (exp x) 6.0))))
  (* (exp (+ (pow (exp x) 4) 4.0)) (exp (* (exp x) (- (exp x) 6.0))))
  (log (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (exp (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (* (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))))
  (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (* (* (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (+ (* (+ (pow (pow (exp x) 4) 3) (pow 4.0 3)) (+ (* (exp x) (exp x)) (+ (* 6.0 6.0) (* (exp x) 6.0)))) (* (+ (* (pow (exp x) 4) (pow (exp x) 4)) (- (* 4.0 4.0) (* (pow (exp x) 4) 4.0))) (* (exp x) (- (pow (exp x) 3) (pow 6.0 3)))))
  (* (+ (* (pow (exp x) 4) (pow (exp x) 4)) (- (* 4.0 4.0) (* (pow (exp x) 4) 4.0))) (+ (* (exp x) (exp x)) (+ (* 6.0 6.0) (* (exp x) 6.0))))
  (+ (* (+ (pow (pow (exp x) 4) 3) (pow 4.0 3)) (+ (exp x) 6.0)) (* (+ (* (pow (exp x) 4) (pow (exp x) 4)) (- (* 4.0 4.0) (* (pow (exp x) 4) 4.0))) (* (exp x) (- (* (exp x) (exp x)) (* 6.0 6.0)))))
  (* (+ (* (pow (exp x) 4) (pow (exp x) 4)) (- (* 4.0 4.0) (* (pow (exp x) 4) 4.0))) (+ (exp x) 6.0))
  (+ (* (- (* (pow (exp x) 4) (pow (exp x) 4)) (* 4.0 4.0)) (+ (* (exp x) (exp x)) (+ (* 6.0 6.0) (* (exp x) 6.0)))) (* (- (pow (exp x) 4) 4.0) (* (exp x) (- (pow (exp x) 3) (pow 6.0 3)))))
  (* (- (pow (exp x) 4) 4.0) (+ (* (exp x) (exp x)) (+ (* 6.0 6.0) (* (exp x) 6.0))))
  (+ (* (- (* (pow (exp x) 4) (pow (exp x) 4)) (* 4.0 4.0)) (+ (exp x) 6.0)) (* (- (pow (exp x) 4) 4.0) (* (exp x) (- (* (exp x) (exp x)) (* 6.0 6.0)))))
  (* (- (pow (exp x) 4) 4.0) (+ (exp x) 6.0))
  (+ (pow (+ (pow (exp x) 4) 4.0) 3) (pow (* (exp x) (- (exp x) 6.0)) 3))
  (+ (* (+ (pow (exp x) 4) 4.0) (+ (pow (exp x) 4) 4.0)) (- (* (* (exp x) (- (exp x) 6.0)) (* (exp x) (- (exp x) 6.0))) (* (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))))
  (- (* (+ (pow (exp x) 4) 4.0) (+ (pow (exp x) 4) 4.0)) (* (* (exp x) (- (exp x) 6.0)) (* (exp x) (- (exp x) 6.0))))
  (- (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 6.0) (* (cbrt 6.0) (cbrt 6.0)))))))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 6.0) (sqrt 6.0))))))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 6.0 1)))))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 6.0) (* (cbrt 6.0) (cbrt 6.0)))))))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 6.0) (sqrt 6.0))))))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 6.0 1)))))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (fma 1 (exp x) (- (* (cbrt 6.0) (* (cbrt 6.0) (cbrt 6.0)))))))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (fma 1 (exp x) (- (* (sqrt 6.0) (sqrt 6.0))))))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (fma 1 (exp x) (- (* 6.0 1)))))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (exp x)))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (exp x)))
  (+ (+ (pow (exp x) 4) 4.0) (* (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 6.0) (* (cbrt 6.0) (cbrt 6.0))))) (exp x)))
  (+ (+ (pow (exp x) 4) 4.0) (* (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 6.0) (sqrt 6.0)))) (exp x)))
  (+ (+ (pow (exp x) 4) 4.0) (* (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 6.0 1))) (exp x)))
  (+ (+ (pow (exp x) 4) 4.0) (* (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 6.0) (* (cbrt 6.0) (cbrt 6.0))))) (exp x)))
  (+ (+ (pow (exp x) 4) 4.0) (* (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 6.0) (sqrt 6.0)))) (exp x)))
  (+ (+ (pow (exp x) 4) 4.0) (* (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 6.0 1))) (exp x)))
  (+ (+ (pow (exp x) 4) 4.0) (* (fma 1 (exp x) (- (* (cbrt 6.0) (* (cbrt 6.0) (cbrt 6.0))))) (exp x)))
  (+ (+ (pow (exp x) 4) 4.0) (* (fma 1 (exp x) (- (* (sqrt 6.0) (sqrt 6.0)))) (exp x)))
  (+ (+ (pow (exp x) 4) 4.0) (* (fma 1 (exp x) (- (* 6.0 1))) (exp x)))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (exp x)))
  (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (exp x)))
  (+ 4.0 (* (exp x) (- (exp x) 6.0)))
  (expm1 (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (log1p (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (- (log (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (log (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (log (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (exp (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (* (* (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (* (* (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) 2.0)) (pow (exp x) 3))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (* (cbrt (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))) (cbrt (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))
  (cbrt (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (* (* (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))) (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (sqrt (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (sqrt (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (- (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (- (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))
  (/ (* (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))) (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))
  (/ (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (* (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (* (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))) 1)
  (/ (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))
  (/ (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))
  (/ (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) 1)
  (/ (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))
  (/ 1 (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))
  (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ 1 (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ 1 1)
  (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))
  (/ 1 (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) 2.0)) (pow (exp x) 3)) (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))
  (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) 1)
  (/ (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))))
  (/ (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))))
  (/ (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (* (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (* (+ (* (pow (exp x) 4) (pow (exp x) 4)) (- (* 4.0 4.0) (* (pow (exp x) 4) 4.0))) (+ (* (exp x) (exp x)) (+ (* 6.0 6.0) (* (exp x) 6.0)))))
  (* (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (* (+ (* (pow (exp x) 4) (pow (exp x) 4)) (- (* 4.0 4.0) (* (pow (exp x) 4) 4.0))) (+ (exp x) 6.0)))
  (* (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (* (- (pow (exp x) 4) 4.0) (+ (* (exp x) (exp x)) (+ (* 6.0 6.0) (* (exp x) 6.0)))))
  (* (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (* (- (pow (exp x) 4) 4.0) (+ (exp x) 6.0)))
  (* (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (+ (* (+ (pow (exp x) 4) 4.0) (+ (pow (exp x) 4) 4.0)) (- (* (* (exp x) (- (exp x) 6.0)) (* (exp x) (- (exp x) 6.0))) (* (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))))
  (* (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (- (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (expm1 (pow (exp x) 4))
  (log1p (pow (exp x) 4))
  (* x 4)
  (* (log (exp x)) 4)
  (* 1 4)
  (* (cbrt x) 4)
  (* (sqrt x) 4)
  (* x 4)
  (pow (exp x) (* (cbrt 4) (cbrt 4)))
  (pow (exp x) (sqrt 4))
  (pow (exp x) 1)
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 4)
  (pow (cbrt (exp x)) 4)
  (pow (sqrt (exp x)) 4)
  (pow (sqrt (exp x)) 4)
  (pow 1 4)
  (pow (exp x) 4)
  (log (pow (exp x) 4))
  (exp (pow (exp x) 4))
  (* (cbrt (pow (exp x) 4)) (cbrt (pow (exp x) 4)))
  (cbrt (pow (exp x) 4))
  (* (* (pow (exp x) 4) (pow (exp x) 4)) (pow (exp x) 4))
  (sqrt (pow (exp x) 4))
  (sqrt (pow (exp x) 4))
  (pow (exp x) (/ 4 2))
  (pow (exp x) (/ 4 2))
  (expm1 (pow (exp x) 3))
  (log1p (pow (exp x) 3))
  (* x 3)
  (* (log (exp x)) 3)
  (* 1 3)
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (pow (exp x) 1)
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (log (pow (exp x) 3))
  (exp (pow (exp x) 3))
  (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3)))
  (cbrt (pow (exp x) 3))
  (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) (/ 3 2))
  (pow (exp x) (/ 3 2))
  (+ (* 7.0 (pow x 2)) (+ (* 11.0 (pow x 3)) (* 11.083333333333334 (pow x 4))))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (- (+ (* 1.0 (pow x 2)) (* 0.08333333333333348 (pow x 4))) (* 2.220446049250313e-16 (pow x 5)))
  (/ (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (+ (* 4.0 (exp x)) (+ (* 2.0 (pow (exp x) 2)) (pow (exp x) 3))))
  (/ (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (+ (* 4.0 (exp x)) (+ (* 2.0 (pow (exp x) 2)) (pow (exp x) 3))))
  (+ (* 8 (pow x 2)) (+ (* 4 x) 1))
  (pow (exp x) 4)
  (pow (exp x) 4)
  (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
2.495 * * [simplify]: iteration  0 :  737  enodes  (cost  1654 )
2.511 * * [simplify]: iteration  1 :  3594  enodes  (cost  1425 )
2.579 * * [simplify]: iteration  2 :  5001  enodes  (cost  1423 )
2.585 * [simplify]: Simplified to:
   (expm1 (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (log1p (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (exp (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0)))
  (exp (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0)))
  (log (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0)))
  (exp (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0)))
  (* (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))))
  (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (pow (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0)) 3)
  (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (fma (fma 6.0 (+ (exp x) 6.0) (pow (exp x) 2)) (+ (pow (pow (exp x) 4) 3) (pow 4.0 3)) (* (* (exp x) (- (pow (exp x) 3) (pow 6.0 3))) (+ (* 4.0 (- 4.0 (pow (exp x) 4))) (pow (exp x) 8))))
  (* (fma (exp x) (exp x) (fma 6.0 6.0 (* (exp x) 6.0))) (+ (* 4.0 (- 4.0 (pow (exp x) 4))) (pow (exp x) 8)))
  (fma (* (fma 4.0 (- 4.0 (pow (exp x) 4)) (pow (exp x) 8)) (exp x)) (- (pow (exp x) 2) (* 6.0 6.0)) (* (+ (pow (pow (exp x) 4) 3) (pow 4.0 3)) (+ (exp x) 6.0)))
  (* (fma 4.0 (- 4.0 (pow (exp x) 4)) (pow (exp x) 8)) (+ (exp x) 6.0))
  (fma (fma 6.0 (+ (exp x) 6.0) (pow (exp x) 2)) (+ (pow (exp x) 8) (- (* 4.0 4.0))) (* (- (pow (exp x) 4) 4.0) (* (exp x) (- (pow (exp x) 3) (pow 6.0 3)))))
  (* (fma (exp x) (exp x) (fma 6.0 6.0 (* (exp x) 6.0))) (- (pow (exp x) 4) 4.0))
  (fma (* (exp x) (- (pow (exp x) 4) 4.0)) (- (pow (exp x) 2) (* 6.0 6.0)) (* (+ (exp x) 6.0) (+ (pow (exp x) 8) (- (* 4.0 4.0)))))
  (* (- (pow (exp x) 4) 4.0) (+ (exp x) 6.0))
  (+ (pow (+ (pow (exp x) 4) 4.0) 3) (pow (* (exp x) (- (exp x) 6.0)) 3))
  (fma (* (exp x) (- (exp x) 6.0)) (- (* (exp x) (- (exp x) 6.0)) (+ (pow (exp x) 4) 4.0)) (* (+ (pow (exp x) 4) 4.0) (+ (pow (exp x) 4) 4.0)))
  (* (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0)) (- (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (- (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0))
  (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0))
  (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0))
  (fma (- (exp x) 6.0) (exp x) 4.0)
  (expm1 (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (log1p (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (log (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (log (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (exp (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (pow (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) 3)
  (* (cbrt (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))) (cbrt (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))
  (cbrt (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (pow (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) 3)
  (sqrt (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (sqrt (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (- (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0)))
  (- (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))
  (/ (* (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))) (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))
  (/ (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (* (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (* (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))))
  (/ (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))
  (/ (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))
  (/ (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (/ (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))
  (/ 1 (* (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))
  (/ (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0)) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ 1 (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  1
  (/ (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0)) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))
  (/ 1 (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) 2.0)) (pow (exp x) 3)) (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0)))
  (/ (/ (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0)) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))) (cbrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (sqrt (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (/ (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (cbrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))))
  (/ (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))))
  (/ (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0)))
  (* (* (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (fma 6.0 (+ (exp x) 6.0) (pow (exp x) 2))) (fma 4.0 (- 4.0 (pow (exp x) 4)) (pow (exp x) 8)))
  (* (* (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (+ (exp x) 6.0)) (fma 4.0 (- 4.0 (pow (exp x) 4)) (pow (exp x) 8)))
  (* (* (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (fma 6.0 (+ (exp x) 6.0) (pow (exp x) 2))) (- (pow (exp x) 4) 4.0))
  (* (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)) (* (- (pow (exp x) 4) 4.0) (+ (exp x) 6.0)))
  (* (+ (* (* (exp x) (- (exp x) 6.0)) (- (* (exp x) (- (exp x) 6.0)) (+ (pow (exp x) 4) 4.0))) (* (+ (pow (exp x) 4) 4.0) (+ (pow (exp x) 4) 4.0))) (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) 2.0)) (pow (exp x) 3)) (- (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))))
  (expm1 (pow (exp x) 4))
  (log1p (pow (exp x) 4))
  (* x 4)
  (* x 4)
  4
  (* (cbrt x) 4)
  (* (sqrt x) 4)
  (* x 4)
  (pow (exp x) (* (cbrt 4) (cbrt 4)))
  (pow (exp x) (sqrt 4))
  (exp x)
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 4)
  (pow (cbrt (exp x)) 4)
  (pow (sqrt (exp x)) 4)
  (pow (sqrt (exp x)) 4)
  1
  (pow (exp x) 4)
  (* x 4)
  (exp (pow (exp x) 4))
  (* (cbrt (pow (exp x) 4)) (cbrt (pow (exp x) 4)))
  (cbrt (pow (exp x) 4))
  (pow (pow (exp x) 4) 3)
  (sqrt (pow (exp x) 4))
  (sqrt (pow (exp x) 4))
  (pow (exp x) 2)
  (pow (exp x) 2)
  (expm1 (pow (exp x) 3))
  (log1p (pow (exp x) 3))
  (* x 3)
  (* x 3)
  3
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (exp x)
  (pow (exp x) 2)
  (exp x)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  1
  (pow (exp x) 3)
  (pow (exp x) 2)
  (* x 3)
  (exp (pow (exp x) 3))
  (pow (exp x) 2)
  (exp x)
  (pow (pow (exp x) 3) 3)
  (pow (exp x) 2)
  (exp x)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  1
  (pow (exp x) 3)
  (pow (exp x) 2)
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) 3/2)
  (pow (exp x) 3/2)
  (fma 7.0 (pow x 2) (fma 11.0 (pow x 3) (* 11.083333333333334 (pow x 4))))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (- (exp x) 6.0) (exp x) (+ (pow (exp x) 4) 4.0))
  (fma (pow x 2) 1.0 (- (* 0.08333333333333348 (pow x 4)) (* 2.220446049250313e-16 (pow x 5))))
  (/ (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (+ (* 4.0 (exp x)) (+ (* 2.0 (pow (exp x) 2)) (pow (exp x) 3))))
  (/ (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (+ (* 4.0 (exp x)) (+ (* 2.0 (pow (exp x) 2)) (pow (exp x) 3))))
  (fma 8 (pow x 2) (fma 4 x 1))
  (pow (exp x) 4)
  (pow (exp x) 4)
  (fma 9/2 (pow x 2) (fma 3 x 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
2.586 * * * [progress]: adding candidates to table
3.025 * [progress]: [Phase 3 of 3] Extracting.
3.025 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (/ (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))> #<alt (λ (x) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))> #<alt (λ (x) (+ (expm1 (log1p (- (exp x) 2.0))) (exp (- x))))> #<alt (λ (x) (/ (/ (fma (* (fma 4.0 (- 4.0 (pow (exp x) 4)) (pow (exp x) 8)) (exp x)) (- (pow (exp x) 2) (* 6.0 6.0)) (* (+ (pow (pow (exp x) 4) 3) (pow 4.0 3)) (+ (exp x) 6.0))) (* (fma 4.0 (- 4.0 (pow (exp x) 4)) (pow (exp x) 8)) (+ (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))>)
3.027 * * * [regime-changes]: Trying 1 branch expressions: (x)
3.027 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (/ (sqrt (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0)))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))))> #<alt (λ (x) (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4)))))> #<alt (λ (x) (+ (expm1 (log1p (- (exp x) 2.0))) (exp (- x))))> #<alt (λ (x) (/ (/ (fma (* (fma 4.0 (- 4.0 (pow (exp x) 4)) (pow (exp x) 8)) (exp x)) (- (pow (exp x) 2) (* 6.0 6.0)) (* (+ (pow (pow (exp x) 4) 3) (pow 4.0 3)) (+ (exp x) 6.0))) (* (fma 4.0 (- 4.0 (pow (exp x) 4)) (pow (exp x) 8)) (+ (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3))))>)
3.051 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
3.052 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
3.052 * * [simplify]: iteration  0 :  11  enodes  (cost  5 )
3.053 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
3.053 * [simplify]: Simplified to:
   (fma x x (fma 1/360 (pow x 6) (* 1/12 (pow x 4))))
5.652 * [regime-testing]: Baseline error score: 0.6632660844702826
5.652 * [regime-testing]: Oracle error score: 0.022179048785524687
5.653 * [regime-testing]: End program error score: 0.6632660844702826
5.682 * [regime-testing]: Target error score: 0.0437276472120313