1.739 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (- (exp x) 1.0) x)
0.034 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
0.035 * * [simplify]: iteration  1 :  10  enodes  (cost  6 )
0.036 * * [simplify]: iteration  2 :  13  enodes  (cost  6 )
0.037 * * [simplify]: iteration  3 :  15  enodes  (cost  6 )
0.039 * * [simplify]: iteration  done :  15  enodes  (cost  6 )
0.039 * [simplify]: Simplified to:
   (/ (- (exp x) 1.0) x)
0.039 * * [progress]: iteration 1 / 4
0.039 * * * [progress]: picking best candidate
0.041 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (exp x) 1.0) x))>
0.041 * * * [progress]: localizing error
0.045 * * * [progress]: generating rewritten candidates
0.045 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.050 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.068 * * * [progress]: generating series expansions
0.068 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.068 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
0.068 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.068 * [taylor]: Taking taylor expansion of (exp x) in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of 1.0 in x
0.068 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.068 * [taylor]: Taking taylor expansion of (exp x) in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of 1.0 in x
0.074 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
0.074 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.074 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.074 * [taylor]: Taking taylor expansion of 1.0 in x
0.074 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.074 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.075 * [taylor]: Taking taylor expansion of 1.0 in x
0.078 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
0.078 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.078 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.078 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.078 * [taylor]: Taking taylor expansion of -1 in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.079 * [taylor]: Taking taylor expansion of 1.0 in x
0.079 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.079 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.079 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.079 * [taylor]: Taking taylor expansion of -1 in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [taylor]: Taking taylor expansion of 1.0 in x
0.082 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.082 * [approximate]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in (x) around 0
0.082 * [taylor]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in x
0.082 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.082 * [taylor]: Taking taylor expansion of (exp x) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of 1.0 in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in x
0.085 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.085 * [taylor]: Taking taylor expansion of (exp x) in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of 1.0 in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.091 * [approximate]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in (x) around 0
0.091 * [taylor]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.091 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [taylor]: Taking taylor expansion of 1.0 in x
0.091 * [taylor]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.092 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of 1.0 in x
0.102 * [approximate]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in (x) around 0
0.103 * [taylor]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in x
0.103 * [taylor]: Taking taylor expansion of -1 in x
0.103 * [taylor]: Taking taylor expansion of (* x (- (exp (/ -1 x)) 1.0)) in x
0.103 * [taylor]: Taking taylor expansion of x in x
0.103 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.103 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.103 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.103 * [taylor]: Taking taylor expansion of -1 in x
0.103 * [taylor]: Taking taylor expansion of x in x
0.103 * [taylor]: Taking taylor expansion of 1.0 in x
0.103 * [taylor]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in x
0.103 * [taylor]: Taking taylor expansion of -1 in x
0.103 * [taylor]: Taking taylor expansion of (* x (- (exp (/ -1 x)) 1.0)) in x
0.103 * [taylor]: Taking taylor expansion of x in x
0.103 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.103 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.103 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.103 * [taylor]: Taking taylor expansion of -1 in x
0.103 * [taylor]: Taking taylor expansion of x in x
0.104 * [taylor]: Taking taylor expansion of 1.0 in x
0.121 * * * [progress]: simplifying candidates
0.123 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (exp x) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (exp x) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (exp x) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (exp x) 1.0))
  (log1p (- (exp x) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (exp (exp x)) (exp 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (pow (exp x) 3) (pow 1.0 3))
  (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))
  (- 1.0)
  (- (* (exp x) (exp x)) (* 1.0 1.0))
  (+ (exp x) 1.0)
  (+ (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (expm1 (/ (- (exp x) 1.0) x))
  (log1p (/ (- (exp x) 1.0) x))
  (- (log (- (exp x) 1.0)) (log x))
  (log (/ (- (exp x) 1.0) x))
  (exp (/ (- (exp x) 1.0) x))
  (/ (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (* (* x x) x))
  (* (cbrt (/ (- (exp x) 1.0) x)) (cbrt (/ (- (exp x) 1.0) x)))
  (cbrt (/ (- (exp x) 1.0) x))
  (* (* (/ (- (exp x) 1.0) x) (/ (- (exp x) 1.0) x)) (/ (- (exp x) 1.0) x))
  (sqrt (/ (- (exp x) 1.0) x))
  (sqrt (/ (- (exp x) 1.0) x))
  (- (- (exp x) 1.0))
  (- x)
  (/ (exp x) x)
  (/ 1.0 x)
  (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (- (exp x) 1.0)) (cbrt x))
  (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt x))
  (/ (cbrt (- (exp x) 1.0)) (sqrt x))
  (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) 1)
  (/ (cbrt (- (exp x) 1.0)) x)
  (/ (sqrt (- (exp x) 1.0)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- (exp x) 1.0)) (cbrt x))
  (/ (sqrt (- (exp x) 1.0)) (sqrt x))
  (/ (sqrt (- (exp x) 1.0)) (sqrt x))
  (/ (sqrt (- (exp x) 1.0)) 1)
  (/ (sqrt (- (exp x) 1.0)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- (exp x) 1.0) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- (exp x) 1.0) (sqrt x))
  (/ 1 1)
  (/ (- (exp x) 1.0) x)
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt x) (cbrt x)))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt x))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt x))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt x))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) 1)
  (/ (- (sqrt (exp x)) (sqrt 1.0)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- (exp x) 1.0) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- (exp x) 1.0) (sqrt x))
  (/ 1 1)
  (/ (- (exp x) 1.0) x)
  (/ 1 x)
  (/ x (- (exp x) 1.0))
  (/ (- (exp x) 1.0) (* (cbrt x) (cbrt x)))
  (/ (- (exp x) 1.0) (sqrt x))
  (/ (- (exp x) 1.0) 1)
  (/ x (cbrt (- (exp x) 1.0)))
  (/ x (sqrt (- (exp x) 1.0)))
  (/ x (- (exp x) 1.0))
  (/ x (- (sqrt (exp x)) (sqrt 1.0)))
  (/ x (- (exp x) 1.0))
  (* x (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))
  (* x (+ (exp x) 1.0))
  (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))
  (/ (- (exp x) 1.0) x)
  (* -1 (/ (- 1.0 (exp x)) x))
0.126 * * [simplify]: iteration  0 :  127  enodes  (cost  854 )
0.150 * * [simplify]: iteration  1 :  288  enodes  (cost  745 )
0.209 * * [simplify]: iteration  2 :  888  enodes  (cost  656 )
0.591 * * [simplify]: iteration  3 :  4814  enodes  (cost  637 )
3.311 * * [simplify]: iteration  done :  5000  enodes  (cost  637 )
3.311 * [simplify]: Simplified to:
   (- (pow (cbrt (exp x)) 3) 1.0)
  (* 1.0 0)
  (- (pow (cbrt (exp x)) 3) 1.0)
  (* 1.0 0)
  (- (pow (cbrt (exp x)) 3) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (- (exp x) 1.0)
  (* 1.0 0)
  (expm1 (- (exp x) 1.0))
  (log1p (- (exp x) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- (exp x) 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (pow (- (exp x) 1.0) 3)
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (pow (exp x) 3) (pow 1.0 3))
  (fma 1.0 (+ (exp x) 1.0) (exp (+ x x)))
  (- 1.0)
  (- (exp (+ x x)) (* 1.0 1.0))
  (+ 1.0 (exp x))
  (+ (sqrt 1.0) (sqrt (exp x)))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (expm1 (/ (- (exp x) 1.0) x))
  (log1p (/ (- (exp x) 1.0) x))
  (log (/ (- (exp x) 1.0) x))
  (log (/ (- (exp x) 1.0) x))
  (exp (/ (- (exp x) 1.0) x))
  (pow (/ (- (exp x) 1.0) x) 3)
  (* (cbrt (/ (- (exp x) 1.0) x)) (cbrt (/ (- (exp x) 1.0) x)))
  (cbrt (/ (- (exp x) 1.0) x))
  (pow (/ (- (exp x) 1.0) x) 3)
  (sqrt (/ (- (exp x) 1.0) x))
  (sqrt (/ (- (exp x) 1.0) x))
  (- 1.0 (exp x))
  (- x)
  (/ (exp x) x)
  (/ 1.0 x)
  (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (- (exp x) 1.0)) (cbrt x))
  (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt x))
  (/ (cbrt (- (exp x) 1.0)) (sqrt x))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (/ (cbrt (- (exp x) 1.0)) x)
  (/ (sqrt (- (exp x) 1.0)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- (exp x) 1.0)) (cbrt x))
  (/ (sqrt (- (exp x) 1.0)) (sqrt x))
  (/ (sqrt (- (exp x) 1.0)) (sqrt x))
  (sqrt (- (exp x) 1.0))
  (/ (sqrt (- (exp x) 1.0)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- (exp x) 1.0) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- (exp x) 1.0) (sqrt x))
  1
  (/ (- (exp x) 1.0) x)
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt x) (cbrt x)))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt x))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt x))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt x))
  (+ (sqrt 1.0) (sqrt (exp x)))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- (exp x) 1.0) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- (exp x) 1.0) (sqrt x))
  1
  (/ (- (exp x) 1.0) x)
  (/ 1 x)
  (/ x (- (exp x) 1.0))
  (/ (- (exp x) 1.0) (* (cbrt x) (cbrt x)))
  (/ (- (exp x) 1.0) (sqrt x))
  (- (exp x) 1.0)
  (/ x (cbrt (- (exp x) 1.0)))
  (/ x (sqrt (- (exp x) 1.0)))
  (/ x (- (exp x) 1.0))
  (/ x (- (sqrt (exp x)) (sqrt 1.0)))
  (/ x (- (exp x) 1.0))
  (* (fma 1.0 (+ (exp x) 1.0) (exp (+ x x))) x)
  (* x (+ (exp x) 1.0))
  (fma 1/2 (* x x) (fma 1/6 (pow x 3) x))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (fma 1/6 (* x x) (fma 1/2 x 1))
  (/ (- (exp x) 1.0) x)
  (- (/ (- 1.0 (exp x)) x))
3.312 * * * [progress]: adding candidates to table
3.446 * * [progress]: iteration 2 / 4
3.446 * * * [progress]: picking best candidate
3.449 * * * * [pick]: Picked  #<alt (λ (x) (fma 1/6 (* x x) (fma 1/2 x 1)))>
3.449 * * * [progress]: localizing error
3.455 * * * [progress]: generating rewritten candidates
3.455 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.456 * * * [progress]: generating series expansions
3.456 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.456 * [approximate]: Taking taylor expansion of (fma 1/6 (pow x 2) (fma 1/2 x 1)) in (x) around 0
3.456 * [taylor]: Taking taylor expansion of (fma 1/6 (pow x 2) (fma 1/2 x 1)) in x
3.456 * [taylor]: Rewrote expression to (+ (* 1/6 (pow x 2)) (fma 1/2 x 1))
3.456 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x
3.456 * [taylor]: Taking taylor expansion of 1/6 in x
3.456 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.456 * [taylor]: Taking taylor expansion of x in x
3.456 * [taylor]: Taking taylor expansion of (fma 1/2 x 1) in x
3.456 * [taylor]: Rewrote expression to (+ (* 1/2 x) 1)
3.456 * [taylor]: Taking taylor expansion of (* 1/2 x) in x
3.456 * [taylor]: Taking taylor expansion of 1/2 in x
3.456 * [taylor]: Taking taylor expansion of x in x
3.456 * [taylor]: Taking taylor expansion of 1 in x
3.456 * [taylor]: Taking taylor expansion of (fma 1/6 (pow x 2) (fma 1/2 x 1)) in x
3.456 * [taylor]: Rewrote expression to (+ (* 1/6 (pow x 2)) (fma 1/2 x 1))
3.456 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x
3.456 * [taylor]: Taking taylor expansion of 1/6 in x
3.456 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.456 * [taylor]: Taking taylor expansion of x in x
3.456 * [taylor]: Taking taylor expansion of (fma 1/2 x 1) in x
3.456 * [taylor]: Rewrote expression to (+ (* 1/2 x) 1)
3.457 * [taylor]: Taking taylor expansion of (* 1/2 x) in x
3.457 * [taylor]: Taking taylor expansion of 1/2 in x
3.457 * [taylor]: Taking taylor expansion of x in x
3.457 * [taylor]: Taking taylor expansion of 1 in x
3.462 * [approximate]: Taking taylor expansion of (fma 1/6 (/ 1 (pow x 2)) (fma 1/2 (/ 1 x) 1)) in (x) around 0
3.463 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (pow x 2)) (fma 1/2 (/ 1 x) 1)) in x
3.463 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (pow x 2))) (fma 1/2 (/ 1 x) 1))
3.463 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x
3.463 * [taylor]: Taking taylor expansion of 1/6 in x
3.463 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.463 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.463 * [taylor]: Taking taylor expansion of x in x
3.463 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 x) 1) in x
3.463 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 x)) 1)
3.463 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x
3.463 * [taylor]: Taking taylor expansion of 1/2 in x
3.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.463 * [taylor]: Taking taylor expansion of x in x
3.464 * [taylor]: Taking taylor expansion of 1 in x
3.464 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (pow x 2)) (fma 1/2 (/ 1 x) 1)) in x
3.464 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (pow x 2))) (fma 1/2 (/ 1 x) 1))
3.464 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x
3.464 * [taylor]: Taking taylor expansion of 1/6 in x
3.464 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.464 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.464 * [taylor]: Taking taylor expansion of x in x
3.464 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 x) 1) in x
3.464 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 x)) 1)
3.465 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x
3.465 * [taylor]: Taking taylor expansion of 1/2 in x
3.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.465 * [taylor]: Taking taylor expansion of x in x
3.465 * [taylor]: Taking taylor expansion of 1 in x
3.470 * [approximate]: Taking taylor expansion of (fma 1/6 (/ 1 (pow x 2)) (fma 1/2 (/ -1 x) 1)) in (x) around 0
3.470 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (pow x 2)) (fma 1/2 (/ -1 x) 1)) in x
3.470 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (pow x 2))) (fma 1/2 (/ -1 x) 1))
3.470 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x
3.470 * [taylor]: Taking taylor expansion of 1/6 in x
3.470 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.471 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.471 * [taylor]: Taking taylor expansion of x in x
3.471 * [taylor]: Taking taylor expansion of (fma 1/2 (/ -1 x) 1) in x
3.471 * [taylor]: Rewrote expression to (+ (* 1/2 (/ -1 x)) 1)
3.471 * [taylor]: Taking taylor expansion of (* 1/2 (/ -1 x)) in x
3.471 * [taylor]: Taking taylor expansion of 1/2 in x
3.471 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.471 * [taylor]: Taking taylor expansion of -1 in x
3.471 * [taylor]: Taking taylor expansion of x in x
3.472 * [taylor]: Taking taylor expansion of 1 in x
3.472 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (pow x 2)) (fma 1/2 (/ -1 x) 1)) in x
3.472 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (pow x 2))) (fma 1/2 (/ -1 x) 1))
3.472 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x
3.472 * [taylor]: Taking taylor expansion of 1/6 in x
3.472 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.472 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.472 * [taylor]: Taking taylor expansion of x in x
3.472 * [taylor]: Taking taylor expansion of (fma 1/2 (/ -1 x) 1) in x
3.473 * [taylor]: Rewrote expression to (+ (* 1/2 (/ -1 x)) 1)
3.473 * [taylor]: Taking taylor expansion of (* 1/2 (/ -1 x)) in x
3.473 * [taylor]: Taking taylor expansion of 1/2 in x
3.473 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.473 * [taylor]: Taking taylor expansion of -1 in x
3.473 * [taylor]: Taking taylor expansion of x in x
3.473 * [taylor]: Taking taylor expansion of 1 in x
3.478 * * * [progress]: simplifying candidates
3.479 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma 1/6 (* x x) (fma 1/2 x 1)))
  (log1p (fma 1/6 (* x x) (fma 1/2 x 1)))
  (* 1/6 (* x x))
  (log (fma 1/6 (* x x) (fma 1/2 x 1)))
  (exp (fma 1/6 (* x x) (fma 1/2 x 1)))
  (* (cbrt (fma 1/6 (* x x) (fma 1/2 x 1))) (cbrt (fma 1/6 (* x x) (fma 1/2 x 1))))
  (cbrt (fma 1/6 (* x x) (fma 1/2 x 1)))
  (* (* (fma 1/6 (* x x) (fma 1/2 x 1)) (fma 1/6 (* x x) (fma 1/2 x 1))) (fma 1/6 (* x x) (fma 1/2 x 1)))
  (sqrt (fma 1/6 (* x x) (fma 1/2 x 1)))
  (sqrt (fma 1/6 (* x x) (fma 1/2 x 1)))
  (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))
  (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))
  (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))
3.480 * * [simplify]: iteration  0 :  23  enodes  (cost  158 )
3.483 * * [simplify]: iteration  1 :  39  enodes  (cost  152 )
3.490 * * [simplify]: iteration  2 :  106  enodes  (cost  134 )
3.523 * * [simplify]: iteration  3 :  479  enodes  (cost  107 )
3.772 * * [simplify]: iteration  4 :  3504  enodes  (cost  107 )
6.481 * * [simplify]: iteration  done :  5000  enodes  (cost  107 )
6.481 * [simplify]: Simplified to:
   (expm1 (fma x (fma x 1/6 1/2) 1))
  (log1p (fma x (fma x 1/6 1/2) 1))
  (* x (* x 1/6))
  (log1p (* x (fma x 1/6 1/2)))
  (exp (fma x (fma x 1/6 1/2) 1))
  (* (cbrt (fma x (fma x 1/6 1/2) 1)) (cbrt (fma x (fma x 1/6 1/2) 1)))
  (cbrt (fma x (fma x 1/6 1/2) 1))
  (pow (fma x (fma x 1/6 1/2) 1) 3)
  (sqrt (fma x (fma x 1/6 1/2) 1))
  (sqrt (fma x (fma x 1/6 1/2) 1))
  (fma x (fma x 1/6 1/2) 1)
  (fma x (fma x 1/6 1/2) 1)
  (fma x (fma x 1/6 1/2) 1)
6.481 * * * [progress]: adding candidates to table
6.513 * * [progress]: iteration 3 / 4
6.513 * * * [progress]: picking best candidate
6.514 * * * * [pick]: Picked  #<alt (λ (x) (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x))>
6.515 * * * [progress]: localizing error
6.522 * * * [progress]: generating rewritten candidates
6.522 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
6.522 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
6.524 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
6.525 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
6.528 * * * [progress]: generating series expansions
6.528 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
6.529 * [approximate]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) in (x) around 0
6.529 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) in x
6.529 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- 1.0))
6.529 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x
6.529 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.529 * [taylor]: Taking taylor expansion of (exp x) in x
6.529 * [taylor]: Taking taylor expansion of x in x
6.531 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.531 * [taylor]: Taking taylor expansion of (exp x) in x
6.531 * [taylor]: Taking taylor expansion of x in x
6.532 * [taylor]: Taking taylor expansion of (- 1.0) in x
6.532 * [taylor]: Taking taylor expansion of 1.0 in x
6.532 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) in x
6.532 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- 1.0))
6.532 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x
6.532 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.532 * [taylor]: Taking taylor expansion of (exp x) in x
6.532 * [taylor]: Taking taylor expansion of x in x
6.534 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.534 * [taylor]: Taking taylor expansion of (exp x) in x
6.534 * [taylor]: Taking taylor expansion of x in x
6.535 * [taylor]: Taking taylor expansion of (- 1.0) in x
6.535 * [taylor]: Taking taylor expansion of 1.0 in x
6.546 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- 1.0)) in (x) around 0
6.546 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- 1.0)) in x
6.546 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- 1.0))
6.546 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x
6.546 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.546 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.546 * [taylor]: Taking taylor expansion of x in x
6.547 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.547 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.547 * [taylor]: Taking taylor expansion of x in x
6.547 * [taylor]: Taking taylor expansion of (- 1.0) in x
6.547 * [taylor]: Taking taylor expansion of 1.0 in x
6.547 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- 1.0)) in x
6.547 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- 1.0))
6.547 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x
6.547 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.547 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.548 * [taylor]: Taking taylor expansion of x in x
6.548 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.548 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.548 * [taylor]: Taking taylor expansion of x in x
6.548 * [taylor]: Taking taylor expansion of (- 1.0) in x
6.548 * [taylor]: Taking taylor expansion of 1.0 in x
6.561 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0)) in (x) around 0
6.561 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0)) in x
6.561 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- 1.0))
6.561 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x
6.561 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.561 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.561 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.561 * [taylor]: Taking taylor expansion of -1 in x
6.561 * [taylor]: Taking taylor expansion of x in x
6.562 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.562 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.562 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.562 * [taylor]: Taking taylor expansion of -1 in x
6.562 * [taylor]: Taking taylor expansion of x in x
6.562 * [taylor]: Taking taylor expansion of (- 1.0) in x
6.562 * [taylor]: Taking taylor expansion of 1.0 in x
6.562 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0)) in x
6.562 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- 1.0))
6.562 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x
6.563 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.563 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.563 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.563 * [taylor]: Taking taylor expansion of -1 in x
6.563 * [taylor]: Taking taylor expansion of x in x
6.563 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.563 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.563 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.563 * [taylor]: Taking taylor expansion of -1 in x
6.563 * [taylor]: Taking taylor expansion of x in x
6.563 * [taylor]: Taking taylor expansion of (- 1.0) in x
6.563 * [taylor]: Taking taylor expansion of 1.0 in x
6.576 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
6.576 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
6.576 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.576 * [taylor]: Taking taylor expansion of (exp x) in x
6.576 * [taylor]: Taking taylor expansion of x in x
6.577 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.577 * [taylor]: Taking taylor expansion of (exp x) in x
6.577 * [taylor]: Taking taylor expansion of x in x
6.580 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
6.580 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.580 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.580 * [taylor]: Taking taylor expansion of x in x
6.581 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.581 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.581 * [taylor]: Taking taylor expansion of x in x
6.584 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
6.584 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.584 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.584 * [taylor]: Taking taylor expansion of -1 in x
6.584 * [taylor]: Taking taylor expansion of x in x
6.584 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.584 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.584 * [taylor]: Taking taylor expansion of -1 in x
6.584 * [taylor]: Taking taylor expansion of x in x
6.590 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
6.590 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
6.590 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.591 * [taylor]: Taking taylor expansion of (exp x) in x
6.591 * [taylor]: Taking taylor expansion of x in x
6.592 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.592 * [taylor]: Taking taylor expansion of (exp x) in x
6.592 * [taylor]: Taking taylor expansion of x in x
6.595 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
6.595 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.595 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.595 * [taylor]: Taking taylor expansion of x in x
6.595 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.595 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.595 * [taylor]: Taking taylor expansion of x in x
6.598 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
6.598 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.598 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.598 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.598 * [taylor]: Taking taylor expansion of -1 in x
6.598 * [taylor]: Taking taylor expansion of x in x
6.599 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.599 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.599 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.599 * [taylor]: Taking taylor expansion of -1 in x
6.599 * [taylor]: Taking taylor expansion of x in x
6.602 * * * * [progress]: [ 4 / 4 ] generating series at (2)
6.602 * [approximate]: Taking taylor expansion of (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x) in (x) around 0
6.602 * [taylor]: Taking taylor expansion of (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x) in x
6.602 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) in x
6.602 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- 1.0))
6.602 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x
6.602 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.603 * [taylor]: Taking taylor expansion of (exp x) in x
6.603 * [taylor]: Taking taylor expansion of x in x
6.604 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.604 * [taylor]: Taking taylor expansion of (exp x) in x
6.604 * [taylor]: Taking taylor expansion of x in x
6.605 * [taylor]: Taking taylor expansion of (- 1.0) in x
6.605 * [taylor]: Taking taylor expansion of 1.0 in x
6.605 * [taylor]: Taking taylor expansion of x in x
6.607 * [taylor]: Taking taylor expansion of (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x) in x
6.607 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) in x
6.607 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- 1.0))
6.607 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x
6.607 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.607 * [taylor]: Taking taylor expansion of (exp x) in x
6.607 * [taylor]: Taking taylor expansion of x in x
6.608 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.608 * [taylor]: Taking taylor expansion of (exp x) in x
6.608 * [taylor]: Taking taylor expansion of x in x
6.609 * [taylor]: Taking taylor expansion of (- 1.0) in x
6.610 * [taylor]: Taking taylor expansion of 1.0 in x
6.610 * [taylor]: Taking taylor expansion of x in x
6.622 * [approximate]: Taking taylor expansion of (* x (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- 1.0))) in (x) around 0
6.622 * [taylor]: Taking taylor expansion of (* x (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- 1.0))) in x
6.622 * [taylor]: Taking taylor expansion of x in x
6.622 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- 1.0)) in x
6.622 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- 1.0))
6.622 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x
6.622 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.622 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.622 * [taylor]: Taking taylor expansion of x in x
6.622 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.623 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.623 * [taylor]: Taking taylor expansion of x in x
6.623 * [taylor]: Taking taylor expansion of (- 1.0) in x
6.623 * [taylor]: Taking taylor expansion of 1.0 in x
6.623 * [taylor]: Taking taylor expansion of (* x (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- 1.0))) in x
6.623 * [taylor]: Taking taylor expansion of x in x
6.623 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- 1.0)) in x
6.623 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- 1.0))
6.623 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x
6.623 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.623 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.623 * [taylor]: Taking taylor expansion of x in x
6.624 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.624 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.624 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.624 * [taylor]: Taking taylor expansion of x in x
6.624 * [taylor]: Taking taylor expansion of (- 1.0) in x
6.624 * [taylor]: Taking taylor expansion of 1.0 in x
6.646 * [approximate]: Taking taylor expansion of (* -1 (* x (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0)))) in (x) around 0
6.646 * [taylor]: Taking taylor expansion of (* -1 (* x (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0)))) in x
6.646 * [taylor]: Taking taylor expansion of -1 in x
6.646 * [taylor]: Taking taylor expansion of (* x (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0))) in x
6.646 * [taylor]: Taking taylor expansion of x in x
6.646 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0)) in x
6.647 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- 1.0))
6.647 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x
6.647 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.647 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.647 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.647 * [taylor]: Taking taylor expansion of -1 in x
6.647 * [taylor]: Taking taylor expansion of x in x
6.647 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.647 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.647 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.647 * [taylor]: Taking taylor expansion of -1 in x
6.647 * [taylor]: Taking taylor expansion of x in x
6.648 * [taylor]: Taking taylor expansion of (- 1.0) in x
6.648 * [taylor]: Taking taylor expansion of 1.0 in x
6.648 * [taylor]: Taking taylor expansion of (* -1 (* x (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0)))) in x
6.648 * [taylor]: Taking taylor expansion of -1 in x
6.648 * [taylor]: Taking taylor expansion of (* x (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0))) in x
6.648 * [taylor]: Taking taylor expansion of x in x
6.648 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- 1.0)) in x
6.648 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- 1.0))
6.648 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x
6.648 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.648 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.648 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.648 * [taylor]: Taking taylor expansion of -1 in x
6.648 * [taylor]: Taking taylor expansion of x in x
6.648 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.648 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.648 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.648 * [taylor]: Taking taylor expansion of -1 in x
6.648 * [taylor]: Taking taylor expansion of x in x
6.649 * [taylor]: Taking taylor expansion of (- 1.0) in x
6.649 * [taylor]: Taking taylor expansion of 1.0 in x
6.683 * * * [progress]: simplifying candidates
6.684 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))
  (log1p (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))
  (* (sqrt (exp x)) (sqrt (exp x)))
  (log (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))
  (exp (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))
  (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))))
  (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))
  (* (* (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))
  (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))
  (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (* (cbrt (exp x)) (cbrt (exp x))))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt 1)
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (* (cbrt (exp x)) (cbrt (exp x))))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt 1)
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (expm1 (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x))
  (log1p (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x))
  (- (log (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (log x))
  (log (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x))
  (exp (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x))
  (/ (* (* (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (* (* x x) x))
  (* (cbrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x)) (cbrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x)))
  (cbrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x))
  (* (* (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x) (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x)) (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x))
  (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x))
  (sqrt (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x))
  (- (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))
  (- x)
  (/ (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (cbrt x))
  (/ (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))) (sqrt x))
  (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (sqrt x))
  (/ (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))) 1)
  (/ (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) x)
  (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (cbrt x))
  (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (sqrt x))
  (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) (sqrt x))
  (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) 1)
  (/ (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) (cbrt x))
  (/ 1 (sqrt x))
  (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) (sqrt x))
  (/ 1 1)
  (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x)
  (/ 1 x)
  (/ x (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))
  (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) (* (cbrt x) (cbrt x)))
  (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) (sqrt x))
  (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) 1)
  (/ x (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))))
  (/ x (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0))))
  (/ x (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)))
  (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1))
  (sqrt (exp x))
  (sqrt (exp x))
  (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1))
  (sqrt (exp x))
  (sqrt (exp x))
  (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))
  (/ (- (exp x) 1.0) x)
  (* -1 (/ (- 1.0 (exp x)) x))
6.687 * * [simplify]: iteration  0 :  99  enodes  (cost  912 )
6.702 * * [simplify]: iteration  1 :  176  enodes  (cost  593 )
6.738 * * [simplify]: iteration  2 :  539  enodes  (cost  561 )
6.896 * * [simplify]: iteration  3 :  2134  enodes  (cost  560 )
7.672 * * [simplify]: iteration  done :  5000  enodes  (cost  560 )
7.672 * [simplify]: Simplified to:
   (expm1 (- (exp x) 1.0))
  (log1p (- (exp x) 1.0))
  (exp x)
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (pow (- (exp x) 1.0) 3)
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (pow (sqrt (exp x)) 3)
  (fabs (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt x) 2)
  (* (sqrt x) 1/2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (pow (sqrt (exp x)) 3)
  (fabs (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt x) 2)
  (* (sqrt x) 1/2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (expm1 (/ (- (exp x) 1.0) x))
  (log1p (/ (- (exp x) 1.0) x))
  (log (/ (- (exp x) 1.0) x))
  (log (/ (- (exp x) 1.0) x))
  (exp (/ (- (exp x) 1.0) x))
  (pow (/ (- (exp x) 1.0) x) 3)
  (* (cbrt (/ (- (exp x) 1.0) x)) (cbrt (/ (- (exp x) 1.0) x)))
  (cbrt (/ (- (exp x) 1.0) x))
  (pow (/ (- (exp x) 1.0) x) 3)
  (sqrt (/ (- (exp x) 1.0) x))
  (sqrt (/ (- (exp x) 1.0) x))
  (- 1.0 (exp x))
  (- x)
  (/ (cbrt (- (exp x) 1.0)) (/ (* (cbrt x) (cbrt x)) (cbrt (- (exp x) 1.0))))
  (/ (cbrt (- (exp x) 1.0)) (cbrt x))
  (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt x))
  (/ (cbrt (- (exp x) 1.0)) (sqrt x))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (/ (cbrt (- (exp x) 1.0)) x)
  (/ (sqrt (- (exp x) 1.0)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- (exp x) 1.0)) (cbrt x))
  (/ (sqrt (- (exp x) 1.0)) (sqrt x))
  (/ (sqrt (- (exp x) 1.0)) (sqrt x))
  (sqrt (- (exp x) 1.0))
  (/ (sqrt (- (exp x) 1.0)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- (exp x) 1.0) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- (exp x) 1.0) (sqrt x))
  1
  (/ (- (exp x) 1.0) x)
  (/ 1 x)
  (/ x (- (exp x) 1.0))
  (/ (/ (- (exp x) 1.0) (cbrt x)) (cbrt x))
  (/ (- (exp x) 1.0) (sqrt x))
  (- (exp x) 1.0)
  (/ x (cbrt (- (exp x) 1.0)))
  (/ x (sqrt (- (exp x) 1.0)))
  (/ x (- (exp x) 1.0))
  (fma 1/2 (* x x) (fma 1/6 (pow x 3) x))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (fma 1/8 (* x x) (fma 1/2 x 1))
  (sqrt (exp x))
  (sqrt (exp x))
  (fma 1/8 (* x x) (fma 1/2 x 1))
  (sqrt (exp x))
  (sqrt (exp x))
  (fma 1/6 (* x x) (fma 1/2 x 1))
  (/ (- (exp x) 1.0) x)
  (- (/ (- 1.0 (exp x)) x))
7.673 * * * [progress]: adding candidates to table
7.857 * [progress]: [Phase 3 of 3] Extracting.
7.857 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (fma 1/6 (* x x) (fma 1/2 x 1)))> #<alt (λ (x) (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x))>)
7.857 * * * [regime-changes]: Trying 1 branch expressions: (x)
7.857 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (fma 1/6 (* x x) (fma 1/2 x 1)))> #<alt (λ (x) (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x))>)
7.871 * * * [regime]: Found split indices: #<option (#s(si 1 83) #s(si 0 255))>
7.872 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (fma 1/6 (* x x) (fma 1/2 x 1)))> #<alt (λ (x) (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x))>)
7.897 * [regimes]: Found splitpoints: (#s(sp 1 x -0.0002022345445868293) #s(sp 0 x +nan.0)) , with alts (#<alt (λ (x) (fma 1/6 (* x x) (fma 1/2 x 1)))> #<alt (λ (x) (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x))>)
7.897 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= x -0.0002022345445868293) (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x) (fma 1/6 (* x x) (fma 1/2 x 1)))
7.897 * * [simplify]: iteration  0 :  16  enodes  (cost  24 )
7.898 * * [simplify]: iteration  1 :  18  enodes  (cost  24 )
7.898 * * [simplify]: iteration  done :  18  enodes  (cost  24 )
7.898 * [simplify]: Simplified to:
   (if (<= x -0.0002022345445868293) (/ (fma (sqrt (exp x)) (sqrt (exp x)) (- 1.0)) x) (fma 1/6 (* x x) (fma 1/2 x 1)))
8.925 * [regime-testing]: Baseline error score: 21.19708218983784
8.925 * [regime-testing]: Oracle error score: 0.05656807010553239
8.926 * [regime-testing]: End program error score: 0.3462348372233714
8.971 * [regime-testing]: Target error score: 40.50331291411426