0.425 * [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-egg> :
   (/ (- (exp x) 1.0) x)
0.035 * * [simplify]: iteration  0 :  10  enodes  (cost  3 )
0.036 * * [simplify]: iteration  1 :  13  enodes  (cost  3 )
0.038 * * [simplify]: iteration  2 :  15  enodes  (cost  3 )
0.039 * * [simplify]: iteration  3 :  15  enodes  (cost  3 )
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.049 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.064 * * * [progress]: generating series expansions
0.064 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.064 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
0.064 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.064 * [taylor]: Taking taylor expansion of (exp x) in x
0.064 * [taylor]: Taking taylor expansion of x in x
0.064 * [taylor]: Taking taylor expansion of 1.0 in x
0.064 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.064 * [taylor]: Taking taylor expansion of (exp x) in x
0.064 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of 1.0 in x
0.071 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
0.071 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.071 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.071 * [taylor]: Taking taylor expansion of x in x
0.071 * [taylor]: Taking taylor expansion of 1.0 in x
0.071 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.071 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.071 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of 1.0 in x
0.075 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
0.075 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.075 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.075 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.075 * [taylor]: Taking taylor expansion of -1 in x
0.075 * [taylor]: Taking taylor expansion of x in x
0.076 * [taylor]: Taking taylor expansion of 1.0 in x
0.076 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.076 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.076 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.076 * [taylor]: Taking taylor expansion of -1 in x
0.076 * [taylor]: Taking taylor expansion of x in x
0.076 * [taylor]: Taking taylor expansion of 1.0 in x
0.080 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.080 * [approximate]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in (x) around 0
0.080 * [taylor]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in x
0.080 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.080 * [taylor]: Taking taylor expansion of (exp x) in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of 1.0 in x
0.080 * [taylor]: Taking taylor expansion of x in x
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.082 * [taylor]: Taking taylor expansion of 1.0 in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.088 * [approximate]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in (x) around 0
0.088 * [taylor]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in x
0.088 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.089 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of 1.0 in x
0.089 * [taylor]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.089 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of 1.0 in x
0.100 * [approximate]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in (x) around 0
0.100 * [taylor]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in x
0.100 * [taylor]: Taking taylor expansion of -1 in x
0.100 * [taylor]: Taking taylor expansion of (* x (- (exp (/ -1 x)) 1.0)) in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.100 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.100 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.100 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.100 * [taylor]: Taking taylor expansion of -1 in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of 1.0 in x
0.101 * [taylor]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in x
0.101 * [taylor]: Taking taylor expansion of -1 in x
0.101 * [taylor]: Taking taylor expansion of (* x (- (exp (/ -1 x)) 1.0)) in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.101 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.101 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.101 * [taylor]: Taking taylor expansion of -1 in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of 1.0 in x
0.119 * * * [progress]: simplifying candidates
0.120 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (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)
  (- (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.124 * * [simplify]: iteration  0 :  222  enodes  (cost  329 )
0.128 * * [simplify]: iteration  1 :  625  enodes  (cost  311 )
0.139 * * [simplify]: iteration  2 :  2739  enodes  (cost  309 )
0.193 * * [simplify]: iteration  3 :  5001  enodes  (cost  309 )
0.195 * [simplify]: Simplified to:
   (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))
  (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
  (- 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)
  (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 (exp x)) (sqrt 1.0))
  (/ (- (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))
  (* (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) x)
  (* x (+ (exp x) 1.0))
  (+ (* (pow x 2) (+ (* x 1/6) 1/2)) 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.196 * * * [progress]: adding candidates to table
0.308 * * [progress]: iteration 2 / 4
0.308 * * * [progress]: picking best candidate
0.311 * * * * [pick]: Picked  #<alt (λ (x) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))>
0.311 * * * [progress]: localizing error
0.319 * * * [progress]: generating rewritten candidates
0.319 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.325 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.334 * * * [progress]: generating series expansions
0.334 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.334 * [approximate]: Taking taylor expansion of (* 1/6 (pow x 2)) in (x) around 0
0.334 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x
0.334 * [taylor]: Taking taylor expansion of 1/6 in x
0.334 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.334 * [taylor]: Taking taylor expansion of x in x
0.334 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x
0.334 * [taylor]: Taking taylor expansion of 1/6 in x
0.334 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.334 * [taylor]: Taking taylor expansion of x in x
0.343 * [approximate]: Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0
0.343 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 2)) in x
0.343 * [taylor]: Taking taylor expansion of 1/6 in x
0.343 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 2)) in x
0.343 * [taylor]: Taking taylor expansion of 1/6 in x
0.343 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.351 * [approximate]: Taking taylor expansion of (/ 1/6 (pow x 2)) in (x) around 0
0.351 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 2)) in x
0.351 * [taylor]: Taking taylor expansion of 1/6 in x
0.351 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.352 * [taylor]: Taking taylor expansion of (/ 1/6 (pow x 2)) in x
0.352 * [taylor]: Taking taylor expansion of 1/6 in x
0.352 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.359 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.360 * [approximate]: Taking taylor expansion of (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) in (x) around 0
0.360 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) in x
0.360 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x
0.360 * [taylor]: Taking taylor expansion of 1/6 in x
0.360 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.360 * [taylor]: Taking taylor expansion of x in x
0.360 * [taylor]: Taking taylor expansion of (+ (* 1/2 x) 1) in x
0.360 * [taylor]: Taking taylor expansion of (* 1/2 x) in x
0.360 * [taylor]: Taking taylor expansion of 1/2 in x
0.360 * [taylor]: Taking taylor expansion of x in x
0.360 * [taylor]: Taking taylor expansion of 1 in x
0.360 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) in x
0.360 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x
0.360 * [taylor]: Taking taylor expansion of 1/6 in x
0.360 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.360 * [taylor]: Taking taylor expansion of x in x
0.360 * [taylor]: Taking taylor expansion of (+ (* 1/2 x) 1) in x
0.360 * [taylor]: Taking taylor expansion of (* 1/2 x) in x
0.360 * [taylor]: Taking taylor expansion of 1/2 in x
0.360 * [taylor]: Taking taylor expansion of x in x
0.360 * [taylor]: Taking taylor expansion of 1 in x
0.364 * [approximate]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in (x) around 0
0.364 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in x
0.364 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x
0.364 * [taylor]: Taking taylor expansion of 1/6 in x
0.364 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.364 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 x)) 1) in x
0.365 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x
0.365 * [taylor]: Taking taylor expansion of 1/2 in x
0.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of 1 in x
0.365 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 x)) 1)) in x
0.365 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x
0.365 * [taylor]: Taking taylor expansion of 1/6 in x
0.365 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.365 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 x)) 1) in x
0.366 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x
0.366 * [taylor]: Taking taylor expansion of 1/2 in x
0.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of 1 in x
0.372 * [approximate]: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in (x) around 0
0.372 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in x
0.372 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) 1) in x
0.372 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x
0.372 * [taylor]: Taking taylor expansion of 1/6 in x
0.372 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.372 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.372 * [taylor]: Taking taylor expansion of x in x
0.373 * [taylor]: Taking taylor expansion of 1 in x
0.373 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x
0.373 * [taylor]: Taking taylor expansion of 1/2 in x
0.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.373 * [taylor]: Taking taylor expansion of x in x
0.373 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow x 2))) 1) (* 1/2 (/ 1 x))) in x
0.373 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 2))) 1) in x
0.373 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x
0.373 * [taylor]: Taking taylor expansion of 1/6 in x
0.373 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.373 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.373 * [taylor]: Taking taylor expansion of x in x
0.373 * [taylor]: Taking taylor expansion of 1 in x
0.374 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x
0.374 * [taylor]: Taking taylor expansion of 1/2 in x
0.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.374 * [taylor]: Taking taylor expansion of x in x
0.380 * * * [progress]: simplifying candidates
0.381 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (log 1/6) (* (log x) 2))
  (+ (log 1/6) (* (log x) 2))
  (+ (log 1/6) (log (pow x 2)))
  (log (* 1/6 (pow x 2)))
  (exp (* 1/6 (pow x 2)))
  (* (* (* 1/6 1/6) 1/6) (* (* (pow x 2) (pow x 2)) (pow x 2)))
  (* (cbrt (* 1/6 (pow x 2))) (cbrt (* 1/6 (pow x 2))))
  (cbrt (* 1/6 (pow x 2)))
  (* (* (* 1/6 (pow x 2)) (* 1/6 (pow x 2))) (* 1/6 (pow x 2)))
  (sqrt (* 1/6 (pow x 2)))
  (sqrt (* 1/6 (pow x 2)))
  (* (sqrt 1/6) (pow (sqrt x) 2))
  (* (sqrt 1/6) (pow (sqrt x) 2))
  (* (sqrt 1/6) x)
  (* (sqrt 1/6) x)
  (* (sqrt 1/6) (sqrt (pow x 2)))
  (* (sqrt 1/6) (sqrt (pow x 2)))
  (* (sqrt 1/6) (pow x (/ 2 2)))
  (* (sqrt 1/6) (pow x (/ 2 2)))
  (* 1/6 (pow (* (cbrt x) (cbrt x)) 2))
  (* 1/6 (pow (sqrt x) 2))
  (* 1/6 (pow 1 2))
  (* 1/6 x)
  (* 1/6 (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* 1/6 (sqrt (pow x 2)))
  (* 1/6 1)
  (* 1/6 (pow x (/ 2 2)))
  (* (cbrt 1/6) (pow x 2))
  (* (sqrt 1/6) (pow x 2))
  (* 1/6 (pow x 2))
  (* (exp (* 1/6 (pow x 2))) (* (exp (* 1/2 x)) (exp 1)))
  (* (exp (* 1/6 (pow x 2))) (exp (+ (* 1/2 x) 1)))
  (log (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
  (exp (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
  (* (cbrt (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))) (cbrt (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))))
  (cbrt (+ (* 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))) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
  (sqrt (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
  (sqrt (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
  (+ (pow (* 1/6 (pow x 2)) 3) (pow (+ (* 1/2 x) 1) 3))
  (+ (* (* 1/6 (pow x 2)) (* 1/6 (pow x 2))) (- (* (+ (* 1/2 x) 1) (+ (* 1/2 x) 1)) (* (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))))
  (- (* (* 1/6 (pow x 2)) (* 1/6 (pow x 2))) (* (+ (* 1/2 x) 1) (+ (* 1/2 x) 1)))
  (- (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))
  (+ (* 1/6 (pow x 2)) (* 1/2 x))
  (* 1/6 (pow x 2))
  (* 1/6 (pow x 2))
  (* 1/6 (pow x 2))
  (+ (* 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))
0.385 * * [simplify]: iteration  0 :  201  enodes  (cost  222 )
0.389 * * [simplify]: iteration  1 :  825  enodes  (cost  201 )
0.412 * * [simplify]: iteration  2 :  5001  enodes  (cost  198 )
0.418 * [simplify]: Simplified to:
   (log (* 1/6 (pow x 2)))
  (log (* 1/6 (pow x 2)))
  (log (* 1/6 (pow x 2)))
  (log (* 1/6 (pow x 2)))
  (exp (* 1/6 (pow x 2)))
  (* 1/216 (pow x 6))
  (* (cbrt (* 1/6 (pow x 2))) (cbrt (* 1/6 (pow x 2))))
  (cbrt (* 1/6 (pow x 2)))
  (* 1/216 (pow x 6))
  (sqrt (* 1/6 (pow x 2)))
  (sqrt (* 1/6 (pow x 2)))
  (* x (sqrt 1/6))
  (* x (sqrt 1/6))
  (* x (sqrt 1/6))
  (* x (sqrt 1/6))
  (* (sqrt 1/6) (sqrt (pow x 2)))
  (* (sqrt 1/6) (sqrt (pow x 2)))
  (* x (sqrt 1/6))
  (* x (sqrt 1/6))
  (* 1/6 (pow (* (cbrt x) (cbrt x)) 2))
  (* x 1/6)
  1/6
  (* x 1/6)
  (* 1/6 (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* 1/6 (fabs x))
  1/6
  (* x 1/6)
  (* (cbrt 1/6) (pow x 2))
  (* (sqrt 1/6) (pow x 2))
  (* 1/6 (pow x 2))
  (exp (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
  (exp (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
  (log (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
  (exp (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
  (* (cbrt (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))) (cbrt (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))))
  (cbrt (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
  (pow (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) 3)
  (sqrt (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
  (sqrt (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
  (+ (pow (* 1/6 (pow x 2)) 3) (pow (+ (* 1/2 x) 1) 3))
  (+ (* (+ (* 1/2 x) 1) (- (+ (* 1/2 x) 1) (* 1/6 (pow x 2)))) (* 1/36 (* (pow x 2) (pow x 2))))
  (+ (- (* (+ (* 1/2 x) 1) (+ (* 1/2 x) 1))) (* (pow x 4) 1/36))
  (- (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))
  (* x (+ 1/2 (* x 1/6)))
  (* 1/6 (pow x 2))
  (* 1/6 (pow x 2))
  (* 1/6 (pow x 2))
  (+ (* 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))
0.418 * * * [progress]: adding candidates to table
0.495 * * [progress]: iteration 3 / 4
0.495 * * * [progress]: picking best candidate
0.497 * * * * [pick]: Picked  #<alt (λ (x) (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))>
0.497 * * * [progress]: localizing error
0.505 * * * [progress]: generating rewritten candidates
0.505 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.513 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
0.514 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.516 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.539 * * * [progress]: generating series expansions
0.539 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.540 * [approximate]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in (x) around 0
0.540 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in x
0.540 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.540 * [taylor]: Taking taylor expansion of (exp x) in x
0.540 * [taylor]: Taking taylor expansion of x in x
0.541 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.541 * [taylor]: Taking taylor expansion of 1.0 in x
0.542 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in x
0.542 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.542 * [taylor]: Taking taylor expansion of (exp x) in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.543 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.543 * [taylor]: Taking taylor expansion of 1.0 in x
0.550 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in (x) around 0
0.550 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
0.550 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.550 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.550 * [taylor]: Taking taylor expansion of x in x
0.551 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.551 * [taylor]: Taking taylor expansion of 1.0 in x
0.551 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
0.551 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.551 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.551 * [taylor]: Taking taylor expansion of x in x
0.552 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.552 * [taylor]: Taking taylor expansion of 1.0 in x
0.563 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in (x) around 0
0.564 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
0.564 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.564 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.564 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.564 * [taylor]: Taking taylor expansion of -1 in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.564 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.564 * [taylor]: Taking taylor expansion of 1.0 in x
0.565 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
0.565 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.565 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.565 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.565 * [taylor]: Taking taylor expansion of -1 in x
0.565 * [taylor]: Taking taylor expansion of x in x
0.565 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.565 * [taylor]: Taking taylor expansion of 1.0 in x
0.576 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
0.576 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
0.576 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.576 * [taylor]: Taking taylor expansion of (exp x) in x
0.576 * [taylor]: Taking taylor expansion of x in x
0.578 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.578 * [taylor]: Taking taylor expansion of (exp x) in x
0.578 * [taylor]: Taking taylor expansion of x in x
0.581 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
0.581 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.581 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.581 * [taylor]: Taking taylor expansion of x in x
0.581 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.581 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.581 * [taylor]: Taking taylor expansion of x in x
0.584 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
0.584 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.584 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.584 * [taylor]: Taking taylor expansion of -1 in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.585 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.585 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.585 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.585 * [taylor]: Taking taylor expansion of -1 in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.588 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.588 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
0.588 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.588 * [taylor]: Taking taylor expansion of (exp x) in x
0.588 * [taylor]: Taking taylor expansion of x in x
0.589 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.589 * [taylor]: Taking taylor expansion of (exp x) in x
0.589 * [taylor]: Taking taylor expansion of x in x
0.592 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
0.592 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.592 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.593 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.593 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.593 * [taylor]: Taking taylor expansion of x in x
0.596 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
0.596 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.596 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.596 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.596 * [taylor]: Taking taylor expansion of -1 in x
0.596 * [taylor]: Taking taylor expansion of x in x
0.596 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.596 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.596 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.596 * [taylor]: Taking taylor expansion of -1 in x
0.596 * [taylor]: Taking taylor expansion of x in x
0.600 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.600 * [approximate]: Taking taylor expansion of (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x) in (x) around 0
0.600 * [taylor]: Taking taylor expansion of (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x) in x
0.600 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) in x
0.600 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt 1.0)) in x
0.600 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.600 * [taylor]: Taking taylor expansion of (exp x) in x
0.600 * [taylor]: Taking taylor expansion of x in x
0.601 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.602 * [taylor]: Taking taylor expansion of 1.0 in x
0.602 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in x
0.602 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.602 * [taylor]: Taking taylor expansion of (exp x) in x
0.602 * [taylor]: Taking taylor expansion of x in x
0.603 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.603 * [taylor]: Taking taylor expansion of 1.0 in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.610 * [taylor]: Taking taylor expansion of (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x) in x
0.610 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) in x
0.610 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt 1.0)) in x
0.610 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.610 * [taylor]: Taking taylor expansion of (exp x) in x
0.610 * [taylor]: Taking taylor expansion of x in x
0.611 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.611 * [taylor]: Taking taylor expansion of 1.0 in x
0.616 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in x
0.616 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.616 * [taylor]: Taking taylor expansion of (exp x) in x
0.616 * [taylor]: Taking taylor expansion of x in x
0.618 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.618 * [taylor]: Taking taylor expansion of 1.0 in x
0.618 * [taylor]: Taking taylor expansion of x in x
0.641 * [approximate]: Taking taylor expansion of (* (+ (sqrt (exp (/ 1 x))) (sqrt 1.0)) (* x (- (sqrt (exp (/ 1 x))) (sqrt 1.0)))) in (x) around 0
0.641 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp (/ 1 x))) (sqrt 1.0)) (* x (- (sqrt (exp (/ 1 x))) (sqrt 1.0)))) in x
0.641 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
0.641 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.641 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.641 * [taylor]: Taking taylor expansion of x in x
0.641 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.641 * [taylor]: Taking taylor expansion of 1.0 in x
0.642 * [taylor]: Taking taylor expansion of (* x (- (sqrt (exp (/ 1 x))) (sqrt 1.0))) in x
0.642 * [taylor]: Taking taylor expansion of x in x
0.642 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
0.642 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.642 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.642 * [taylor]: Taking taylor expansion of x in x
0.642 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.642 * [taylor]: Taking taylor expansion of 1.0 in x
0.643 * [taylor]: Taking taylor expansion of (* (+ (sqrt (exp (/ 1 x))) (sqrt 1.0)) (* x (- (sqrt (exp (/ 1 x))) (sqrt 1.0)))) in x
0.643 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
0.643 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.643 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.643 * [taylor]: Taking taylor expansion of x in x
0.643 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.643 * [taylor]: Taking taylor expansion of 1.0 in x
0.644 * [taylor]: Taking taylor expansion of (* x (- (sqrt (exp (/ 1 x))) (sqrt 1.0))) in x
0.644 * [taylor]: Taking taylor expansion of x in x
0.644 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
0.644 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.644 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.644 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.644 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.645 * [taylor]: Taking taylor expansion of 1.0 in x
0.686 * [approximate]: Taking taylor expansion of (* -1 (* x (* (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) (+ (sqrt (exp (/ -1 x))) (sqrt 1.0))))) in (x) around 0
0.686 * [taylor]: Taking taylor expansion of (* -1 (* x (* (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) (+ (sqrt (exp (/ -1 x))) (sqrt 1.0))))) in x
0.686 * [taylor]: Taking taylor expansion of -1 in x
0.686 * [taylor]: Taking taylor expansion of (* x (* (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) (+ (sqrt (exp (/ -1 x))) (sqrt 1.0)))) in x
0.686 * [taylor]: Taking taylor expansion of x in x
0.686 * [taylor]: Taking taylor expansion of (* (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) (+ (sqrt (exp (/ -1 x))) (sqrt 1.0))) in x
0.686 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
0.686 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.686 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.686 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.686 * [taylor]: Taking taylor expansion of -1 in x
0.686 * [taylor]: Taking taylor expansion of x in x
0.686 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.686 * [taylor]: Taking taylor expansion of 1.0 in x
0.687 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
0.687 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.687 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.687 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.687 * [taylor]: Taking taylor expansion of -1 in x
0.687 * [taylor]: Taking taylor expansion of x in x
0.687 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.687 * [taylor]: Taking taylor expansion of 1.0 in x
0.688 * [taylor]: Taking taylor expansion of (* -1 (* x (* (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) (+ (sqrt (exp (/ -1 x))) (sqrt 1.0))))) in x
0.688 * [taylor]: Taking taylor expansion of -1 in x
0.688 * [taylor]: Taking taylor expansion of (* x (* (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) (+ (sqrt (exp (/ -1 x))) (sqrt 1.0)))) in x
0.688 * [taylor]: Taking taylor expansion of x in x
0.688 * [taylor]: Taking taylor expansion of (* (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) (+ (sqrt (exp (/ -1 x))) (sqrt 1.0))) in x
0.688 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
0.688 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.688 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.688 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.688 * [taylor]: Taking taylor expansion of -1 in x
0.688 * [taylor]: Taking taylor expansion of x in x
0.689 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.689 * [taylor]: Taking taylor expansion of 1.0 in x
0.689 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
0.689 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.689 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.689 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.689 * [taylor]: Taking taylor expansion of -1 in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.690 * [taylor]: Taking taylor expansion of 1.0 in x
0.749 * * * [progress]: simplifying candidates
0.750 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (sqrt (exp x))) (exp (sqrt 1.0)))
  (log (- (sqrt (exp x)) (sqrt 1.0)))
  (exp (- (sqrt (exp x)) (sqrt 1.0)))
  (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (cbrt (- (sqrt (exp x)) (sqrt 1.0)))
  (* (* (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (- (sqrt (exp x)) (sqrt 1.0)))
  (sqrt (- (sqrt (exp x)) (sqrt 1.0)))
  (sqrt (- (sqrt (exp x)) (sqrt 1.0)))
  (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))
  (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (exp x)) (sqrt 1.0))))
  (- (sqrt 1.0))
  (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt 1.0) (sqrt 1.0)))
  (+ (sqrt (exp x)) (sqrt 1.0))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt 1.0))
  (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)))
  (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)))
  (- (+ (log (+ (sqrt (exp x)) (sqrt 1.0))) (log (- (sqrt (exp x)) (sqrt 1.0)))) (log x))
  (- (log (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (log x))
  (log (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))
  (exp (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))
  (/ (* (* (* (+ (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (+ (sqrt (exp x)) (sqrt 1.0))) (* (* (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (- (sqrt (exp x)) (sqrt 1.0)))) (* (* x x) x))
  (/ (* (* (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (* (* x x) x))
  (* (cbrt (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x)) (cbrt (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x)))
  (cbrt (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))
  (* (* (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x) (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x)) (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))
  (sqrt (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))
  (sqrt (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))
  (- (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 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 x)
  (/ x (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (* (cbrt x) (cbrt x)))
  (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (sqrt x))
  (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) 1)
  (/ x (- (sqrt (exp x)) (sqrt 1.0)))
  (* x (* (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (exp x)) (sqrt 1.0)))) (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (exp x)) (sqrt 1.0))))))
  (* x (* (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (exp x)) (sqrt 1.0)))) (+ (sqrt (exp x)) (sqrt 1.0))))
  (* x (* (- (sqrt (exp x)) (sqrt 1.0)) (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (exp x)) (sqrt 1.0))))))
  (* x (* (- (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))))
  (* x (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (exp x)) (sqrt 1.0)))))
  (* x (+ (sqrt (exp x)) (sqrt 1.0)))
  (* x (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (exp x)) (sqrt 1.0)))))
  (* x (- (sqrt (exp x)) (sqrt 1.0)))
  (- (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 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 (+ (* 1/2 x) (/ 1 x))) (/ (pow (sqrt 1.0) 2) x))
  (/ (- (exp x) (pow (sqrt 1.0) 2)) x)
  (* -1 (/ (- (pow (sqrt 1.0) 2) (exp x)) x))
0.755 * * [simplify]: iteration  0 :  323  enodes  (cost  640 )
0.761 * * [simplify]: iteration  1 :  1443  enodes  (cost  501 )
0.784 * * [simplify]: iteration  2 :  5002  enodes  (cost  487 )
0.786 * [simplify]: Simplified to:
   (exp (- (sqrt (exp x)) (sqrt 1.0)))
  (log (- (sqrt (exp x)) (sqrt 1.0)))
  (exp (- (sqrt (exp x)) (sqrt 1.0)))
  (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (cbrt (- (sqrt (exp x)) (sqrt 1.0)))
  (pow (- (sqrt (exp x)) (sqrt 1.0)) 3)
  (sqrt (- (sqrt (exp x)) (sqrt 1.0)))
  (sqrt (- (sqrt (exp x)) (sqrt 1.0)))
  (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))
  (+ (+ (exp x) 1.0) (* (sqrt (exp x)) (sqrt 1.0)))
  (- (sqrt 1.0))
  (- (exp x) 1.0)
  (+ (sqrt (exp x)) (sqrt 1.0))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0)))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt 1.0))
  (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)
  (/ (pow x 1/2) 2)
  (* 1/2 x)
  (sqrt (sqrt (exp x)))
  (sqrt (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)
  (/ (pow x 1/2) 2)
  (* 1/2 x)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (- (log (+ (exp x) (- 1.0))) (log x))
  (- (log (+ (exp x) (- 1.0))) (log x))
  (- (log (+ (exp x) (- 1.0))) (log x))
  (exp (/ (+ (exp x) (- 1.0)) x))
  (pow (/ (+ (exp x) (- 1.0)) x) 3)
  (pow (/ (+ (exp x) (- 1.0)) x) 3)
  (* (cbrt (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x)) (cbrt (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x)))
  (cbrt (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))
  (pow (/ (+ (exp x) (- 1.0)) x) 3)
  (sqrt (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))
  (sqrt (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))
  (- 1.0 (exp x))
  (- 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))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) x)
  (/ 1 x)
  (/ x (- (exp x) 1.0))
  (/ (/ (+ (exp x) (- 1.0)) (cbrt x)) (cbrt x))
  (/ (- (exp x) 1.0) (pow x 1/2))
  (- (exp x) 1.0)
  (/ x (- (sqrt (exp x)) (sqrt 1.0)))
  (* (* (+ (+ (exp x) 1.0) (* (sqrt (exp x)) (sqrt 1.0))) (- (+ (exp x) 1.0) (* (sqrt (exp x)) (sqrt 1.0)))) x)
  (* (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (+ (exp x) 1.0) (* (sqrt (exp x)) (sqrt 1.0)))) x)
  (* (* x (- (sqrt (exp x)) (sqrt 1.0))) (+ (+ (exp x) 1.0) (* (sqrt (exp x)) (sqrt 1.0))))
  (* x (+ (exp x) (- 1.0)))
  (* (+ (+ (exp x) 1.0) (* (sqrt (exp x)) (sqrt 1.0))) x)
  (* x (+ (sqrt (exp x)) (sqrt 1.0)))
  (* (- (+ (exp x) 1.0) (* (sqrt (exp x)) (sqrt 1.0))) x)
  (* x (- (sqrt (exp x)) (sqrt 1.0)))
  (- (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 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/2 x) 1) (+ (/ 1 x) (/ (- 1.0) x)))
  (/ (+ (exp x) (- 1.0)) x)
  (- (/ (- 1.0 (exp x)) x))
0.786 * * * [progress]: adding candidates to table
0.976 * [progress]: [Phase 3 of 3] Extracting.
0.976 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))> #<alt (λ (x) (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))>)
0.977 * * * [regime-changes]: Trying 1 branch expressions: (x)
0.977 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))> #<alt (λ (x) (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))>)
0.991 * * * [regime]: Found split indices: #<option (#s(si 1 83) #s(si 0 255))>
0.992 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))> #<alt (λ (x) (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))>)
1.021 * [regimes]: Found splitpoints: (#s(sp 1 x -0.0002022345445868293) #s(sp 0 x +nan.0)) , with alts (#<alt (λ (x) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))> #<alt (λ (x) (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x))>)
1.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -0.0002022345445868293) (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
1.022 * * [simplify]: iteration  0 :  29  enodes  (cost  15 )
1.022 * * [simplify]: iteration  1 :  29  enodes  (cost  15 )
1.022 * [simplify]: Simplified to:
   (if (<= x -0.0002022345445868293) (/ (* (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) x) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)))
2.024 * [regime-testing]: Baseline error score: 21.19708218983784
2.024 * [regime-testing]: Oracle error score: 0.05660760715539061
2.025 * [regime-testing]: End program error score: 0.34661250862504034
2.066 * [regime-testing]: Target error score: 40.50331291411426