7.383 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.038 * * * [progress]: [2/2] Setting up program.
0.040 * [progress]: [Phase 2 of 3] Improving.
0.040 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp x) (- (exp x) 1.0))
0.042 * * [simplify]: iteration  0 :  7  enodes  (cost  4 )
0.043 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
0.044 * * [simplify]: iteration  2 :  8  enodes  (cost  4 )
0.044 * [simplify]: Simplified to:
   (/ (exp x) (- (exp x) 1.0))
0.044 * * [progress]: iteration 1 / 4
0.044 * * * [progress]: picking best candidate
0.046 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp x) (- (exp x) 1.0)))>
0.046 * * * [progress]: localizing error
0.050 * * * [progress]: generating rewritten candidates
0.050 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.054 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.062 * * * [progress]: generating series expansions
0.062 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.062 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
0.062 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.062 * [taylor]: Taking taylor expansion of (exp x) in x
0.062 * [taylor]: Taking taylor expansion of x in x
0.062 * [taylor]: Taking taylor expansion of 1.0 in x
0.062 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.062 * [taylor]: Taking taylor expansion of (exp x) in x
0.062 * [taylor]: Taking taylor expansion of x in x
0.062 * [taylor]: Taking taylor expansion of 1.0 in x
0.063 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
0.063 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.063 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.063 * [taylor]: Taking taylor expansion of x in x
0.063 * [taylor]: Taking taylor expansion of 1.0 in x
0.063 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.063 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.063 * [taylor]: Taking taylor expansion of x in x
0.063 * [taylor]: Taking taylor expansion of 1.0 in x
0.064 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
0.064 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.064 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.064 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.064 * [taylor]: Taking taylor expansion of -1 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 (/ -1 x)) 1.0) in x
0.064 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.064 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.064 * [taylor]: Taking taylor expansion of -1 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 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.064 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in (x) around 0
0.064 * [taylor]: Taking taylor expansion of (/ (exp x) (- (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 (- (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.065 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
0.065 * [taylor]: Taking taylor expansion of (exp x) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.065 * [taylor]: Taking taylor expansion of (exp x) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of 1.0 in x
0.066 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in (x) around 0
0.066 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
0.066 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.066 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of 1.0 in x
0.066 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
0.066 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.066 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of 1.0 in x
0.068 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in (x) around 0
0.068 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
0.068 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.068 * [taylor]: Taking taylor expansion of -1 in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.068 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.068 * [taylor]: Taking taylor expansion of -1 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 (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
0.068 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.068 * [taylor]: Taking taylor expansion of -1 in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.068 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.068 * [taylor]: Taking taylor expansion of -1 in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of 1.0 in x
0.070 * * * [progress]: simplifying candidates
0.071 * [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)))
  (neg 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)
  (neg 1.0)
  (- x (log (- (exp x) 1.0)))
  (log (/ (exp x) (- (exp x) 1.0)))
  (exp (/ (exp x) (- (exp x) 1.0)))
  (/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)))
  (* (cbrt (/ (exp x) (- (exp x) 1.0))) (cbrt (/ (exp x) (- (exp x) 1.0))))
  (cbrt (/ (exp x) (- (exp x) 1.0)))
  (* (* (/ (exp x) (- (exp x) 1.0)) (/ (exp x) (- (exp x) 1.0))) (/ (exp x) (- (exp x) 1.0)))
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (neg (exp x))
  (neg (- (exp x) 1.0))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (cbrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (cbrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) 1)
  (/ (cbrt (exp x)) (- (exp x) 1.0))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) 1)
  (/ (cbrt (exp x)) (- (exp x) 1.0))
  (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) 1)
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (exp x)) 1)
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (cbrt (- (exp x) 1.0)))
  (/ 1 (sqrt (- (exp x) 1.0)))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  (/ 1 1)
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 1)
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (- (exp x) 1.0))
  (/ (- (exp x) 1.0) (exp x))
  (/ (exp x) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  (/ (exp x) 1)
  (/ (exp x) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (exp x) 1)
  (/ (- (exp x) 1.0) (cbrt (exp x)))
  (/ (- (exp x) 1.0) (sqrt (exp x)))
  (/ (- (exp x) 1.0) (exp x))
  (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))
  (/ (exp x) (- (* (exp x) (exp x)) (* 1.0 1.0)))
  (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
  (/ (exp x) (- (exp x) 1.0))
  (/ (exp x) (- (exp x) 1.0))
0.074 * * [simplify]: iteration  0 :  180  enodes  (cost  378 )
0.077 * * [simplify]: iteration  1 :  542  enodes  (cost  357 )
0.086 * * [simplify]: iteration  2 :  2174  enodes  (cost  354 )
0.134 * * [simplify]: iteration  3 :  5003  enodes  (cost  354 )
0.137 * [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)))
  (neg 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)
  (neg 1.0)
  (- x (log (- (exp x) 1.0)))
  (- x (log (- (exp x) 1.0)))
  (exp (/ (exp x) (- (exp x) 1.0)))
  (pow (/ (exp x) (- (exp x) 1.0)) 3)
  (* (cbrt (/ (exp x) (- (exp x) 1.0))) (cbrt (/ (exp x) (- (exp x) 1.0))))
  (cbrt (/ (exp x) (- (exp x) 1.0)))
  (pow (/ (exp x) (- (exp x) 1.0)) 3)
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (neg (exp x))
  (neg (- (exp x) 1.0))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (cbrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (cbrt (exp x)) (sqrt (- (exp x) 1.0)))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (/ (cbrt (exp x)) (- (exp x) 1.0))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (/ (cbrt (exp x)) (- (exp x) 1.0))
  (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (cbrt (- (exp x) 1.0)))
  (/ 1 (sqrt (- (exp x) 1.0)))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  1
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0)))
  1
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (- (exp x) 1.0))
  (- 1 (/ 1.0 (exp x)))
  (/ (exp x) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  (exp x)
  (/ (exp x) (+ (sqrt (exp x)) (sqrt 1.0)))
  (exp x)
  (/ (- (exp x) 1.0) (cbrt (exp x)))
  (/ (- (exp x) 1.0) (sqrt (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))
  (/ (exp x) (- (* (exp x) (exp x)) (* 1.0 1.0)))
  (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
  (/ (exp x) (- (exp x) 1.0))
  (/ (exp x) (- (exp x) 1.0))
0.137 * * * [progress]: adding candidates to table
0.204 * * [progress]: iteration 2 / 4
0.204 * * * [progress]: picking best candidate
0.212 * * * * [pick]: Picked  #<alt (λ (x) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))>
0.212 * * * [progress]: localizing error
0.217 * * * [progress]: generating rewritten candidates
0.217 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1)
0.221 * * * [progress]: generating series expansions
0.221 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1)
0.221 * [approximate]: Taking taylor expansion of (* 1/12 x) in (x) around 0
0.221 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
0.221 * [taylor]: Taking taylor expansion of 1/12 in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.221 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
0.221 * [taylor]: Taking taylor expansion of 1/12 in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.222 * [approximate]: Taking taylor expansion of (/ 1/12 x) in (x) around 0
0.222 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x
0.222 * [taylor]: Taking taylor expansion of 1/12 in x
0.222 * [taylor]: Taking taylor expansion of x in x
0.222 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x
0.222 * [taylor]: Taking taylor expansion of 1/12 in x
0.222 * [taylor]: Taking taylor expansion of x in x
0.222 * [approximate]: Taking taylor expansion of (/ -1/12 x) in (x) around 0
0.222 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x
0.222 * [taylor]: Taking taylor expansion of -1/12 in x
0.222 * [taylor]: Taking taylor expansion of x in x
0.222 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x
0.222 * [taylor]: Taking taylor expansion of -1/12 in x
0.222 * [taylor]: Taking taylor expansion of x in x
0.223 * * * [progress]: simplifying candidates
0.223 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 1/12 x)
  (+ (log 1/12) (log x))
  (log (* 1/12 x))
  (exp (* 1/12 x))
  (* (* (* 1/12 1/12) 1/12) (* (* x x) x))
  (* (cbrt (* 1/12 x)) (cbrt (* 1/12 x)))
  (cbrt (* 1/12 x))
  (* (* (* 1/12 x) (* 1/12 x)) (* 1/12 x))
  (sqrt (* 1/12 x))
  (sqrt (* 1/12 x))
  (* (sqrt 1/12) (sqrt x))
  (* (sqrt 1/12) (sqrt x))
  (* 1/12 (* (cbrt x) (cbrt x)))
  (* 1/12 (sqrt x))
  (* 1/12 1)
  (* (cbrt 1/12) x)
  (* (sqrt 1/12) x)
  (* 1/12 x)
  (* 1/12 x)
  (* 1/12 x)
  (* 1/12 x)
0.225 * * [simplify]: iteration  0 :  59  enodes  (cost  45 )
0.227 * * [simplify]: iteration  1 :  218  enodes  (cost  42 )
0.231 * * [simplify]: iteration  2 :  515  enodes  (cost  42 )
0.237 * * [simplify]: iteration  3 :  795  enodes  (cost  42 )
0.247 * * [simplify]: iteration  4 :  1943  enodes  (cost  42 )
0.282 * * [simplify]: iteration  5 :  5002  enodes  (cost  42 )
0.283 * [simplify]: Simplified to:
   (* 1/12 x)
  (log (* 1/12 x))
  (log (* 1/12 x))
  (exp (* 1/12 x))
  (pow (* 1/12 x) 3)
  (* (cbrt (* 1/12 x)) (cbrt (* 1/12 x)))
  (cbrt (* 1/12 x))
  (pow (* 1/12 x) 3)
  (sqrt (* 1/12 x))
  (sqrt (* 1/12 x))
  (* (sqrt 1/12) (sqrt x))
  (* (sqrt 1/12) (sqrt x))
  (* 1/12 (* (cbrt x) (cbrt x)))
  (* 1/12 (sqrt x))
  1/12
  (* (cbrt 1/12) x)
  (* (sqrt 1/12) x)
  (* 1/12 x)
  (* 1/12 x)
  (* 1/12 x)
  (* 1/12 x)
0.283 * * * [progress]: adding candidates to table
0.302 * * [progress]: iteration 3 / 4
0.302 * * * [progress]: picking best candidate
0.306 * * * * [pick]: Picked  #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))>
0.306 * * * [progress]: localizing error
0.311 * * * [progress]: generating rewritten candidates
0.311 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.318 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
0.322 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.336 * * * [progress]: generating series expansions
0.336 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.336 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in (x) around 0
0.336 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x
0.336 * [taylor]: Taking taylor expansion of 1 in x
0.336 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x
0.336 * [taylor]: Taking taylor expansion of 1.0 in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
0.336 * [taylor]: Taking taylor expansion of (exp x) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x
0.336 * [taylor]: Taking taylor expansion of 1 in x
0.336 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x
0.336 * [taylor]: Taking taylor expansion of 1.0 in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
0.336 * [taylor]: Taking taylor expansion of (exp x) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.337 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in (x) around 0
0.337 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x
0.337 * [taylor]: Taking taylor expansion of 1 in x
0.337 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x
0.337 * [taylor]: Taking taylor expansion of 1.0 in x
0.337 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
0.337 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x
0.338 * [taylor]: Taking taylor expansion of 1 in x
0.338 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x
0.338 * [taylor]: Taking taylor expansion of 1.0 in x
0.338 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
0.338 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.339 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in (x) around 0
0.339 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x
0.339 * [taylor]: Taking taylor expansion of 1 in x
0.339 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x
0.339 * [taylor]: Taking taylor expansion of 1.0 in x
0.340 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
0.340 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.340 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.340 * [taylor]: Taking taylor expansion of -1 in x
0.340 * [taylor]: Taking taylor expansion of x in x
0.340 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x
0.340 * [taylor]: Taking taylor expansion of 1 in x
0.340 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x
0.340 * [taylor]: Taking taylor expansion of 1.0 in x
0.340 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
0.340 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.340 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.340 * [taylor]: Taking taylor expansion of -1 in x
0.340 * [taylor]: Taking taylor expansion of x in x
0.341 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
0.342 * [approximate]: Taking taylor expansion of (/ 1.0 (exp x)) in (x) around 0
0.342 * [taylor]: Taking taylor expansion of (/ 1.0 (exp x)) in x
0.342 * [taylor]: Taking taylor expansion of 1.0 in x
0.342 * [taylor]: Taking taylor expansion of (exp x) in x
0.342 * [taylor]: Taking taylor expansion of x in x
0.342 * [taylor]: Taking taylor expansion of (/ 1.0 (exp x)) in x
0.342 * [taylor]: Taking taylor expansion of 1.0 in x
0.342 * [taylor]: Taking taylor expansion of (exp x) in x
0.342 * [taylor]: Taking taylor expansion of x in x
0.342 * [approximate]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in (x) around 0
0.342 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in x
0.342 * [taylor]: Taking taylor expansion of 1.0 in x
0.342 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.342 * [taylor]: Taking taylor expansion of x in x
0.342 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in x
0.342 * [taylor]: Taking taylor expansion of 1.0 in x
0.342 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.342 * [taylor]: Taking taylor expansion of x in x
0.344 * [approximate]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in (x) around 0
0.344 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in x
0.344 * [taylor]: Taking taylor expansion of 1.0 in x
0.344 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.344 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.344 * [taylor]: Taking taylor expansion of -1 in x
0.344 * [taylor]: Taking taylor expansion of x in x
0.344 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in x
0.344 * [taylor]: Taking taylor expansion of 1.0 in x
0.344 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.344 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.344 * [taylor]: Taking taylor expansion of -1 in x
0.344 * [taylor]: Taking taylor expansion of x in x
0.345 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.345 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in (x) around 0
0.345 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in x
0.345 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x
0.345 * [taylor]: Taking taylor expansion of 1 in x
0.345 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x
0.345 * [taylor]: Taking taylor expansion of 1.0 in x
0.345 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
0.345 * [taylor]: Taking taylor expansion of (exp x) in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in x
0.346 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x
0.346 * [taylor]: Taking taylor expansion of 1 in x
0.346 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x
0.346 * [taylor]: Taking taylor expansion of 1.0 in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
0.346 * [taylor]: Taking taylor expansion of (exp x) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.347 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in (x) around 0
0.347 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in x
0.347 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x
0.347 * [taylor]: Taking taylor expansion of 1 in x
0.347 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x
0.347 * [taylor]: Taking taylor expansion of 1.0 in x
0.347 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
0.347 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.347 * [taylor]: Taking taylor expansion of x in x
0.347 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in x
0.347 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x
0.347 * [taylor]: Taking taylor expansion of 1 in x
0.347 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x
0.347 * [taylor]: Taking taylor expansion of 1.0 in x
0.347 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
0.347 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.347 * [taylor]: Taking taylor expansion of x in x
0.351 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in (x) around 0
0.351 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in x
0.351 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x
0.351 * [taylor]: Taking taylor expansion of 1 in x
0.351 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x
0.351 * [taylor]: Taking taylor expansion of 1.0 in x
0.351 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
0.351 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.351 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.351 * [taylor]: Taking taylor expansion of -1 in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in x
0.351 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x
0.351 * [taylor]: Taking taylor expansion of 1 in x
0.351 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x
0.351 * [taylor]: Taking taylor expansion of 1.0 in x
0.351 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
0.351 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.351 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.351 * [taylor]: Taking taylor expansion of -1 in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.355 * * * [progress]: simplifying candidates
0.356 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp 1) (exp (/ 1.0 (exp x))))
  (log (- 1 (/ 1.0 (exp x))))
  (exp (- 1 (/ 1.0 (exp x))))
  (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))
  (cbrt (- 1 (/ 1.0 (exp x))))
  (* (* (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x)))) (- 1 (/ 1.0 (exp x))))
  (sqrt (- 1 (/ 1.0 (exp x))))
  (sqrt (- 1 (/ 1.0 (exp x))))
  (- (pow 1 3) (pow (/ 1.0 (exp x)) 3))
  (+ (* 1 1) (+ (* (/ 1.0 (exp x)) (/ 1.0 (exp x))) (* 1 (/ 1.0 (exp x)))))
  (neg (/ 1.0 (exp x)))
  (- (* 1 1) (* (/ 1.0 (exp x)) (/ 1.0 (exp x))))
  (+ 1 (/ 1.0 (exp x)))
  (+ (sqrt 1) (sqrt (/ 1.0 (exp x))))
  (- (sqrt 1) (sqrt (/ 1.0 (exp x))))
  (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))
  (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))
  (+ 1 (sqrt (/ 1.0 (exp x))))
  (- 1 (sqrt (/ 1.0 (exp x))))
  (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (- 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (neg (/ 1.0 (exp x)))
  (- (log 1.0) x)
  (log (/ 1.0 (exp x)))
  (exp (/ 1.0 (exp x)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x))))
  (cbrt (/ 1.0 (exp x)))
  (* (* (/ 1.0 (exp x)) (/ 1.0 (exp x))) (/ 1.0 (exp x)))
  (sqrt (/ 1.0 (exp x)))
  (sqrt (/ 1.0 (exp x)))
  (neg 1.0)
  (neg (exp x))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt 1.0) (cbrt (exp x)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x)))
  (/ (cbrt 1.0) (sqrt (exp x)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) 1)
  (/ (cbrt 1.0) (exp x))
  (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt 1.0) (cbrt (exp x)))
  (/ (sqrt 1.0) (sqrt (exp x)))
  (/ (sqrt 1.0) (sqrt (exp x)))
  (/ (sqrt 1.0) 1)
  (/ (sqrt 1.0) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1.0 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1.0 (sqrt (exp x)))
  (/ 1 1)
  (/ 1.0 (exp x))
  (/ 1 (exp x))
  (/ (exp x) 1.0)
  (/ 1.0 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1.0 (sqrt (exp x)))
  (/ 1.0 1)
  (/ (exp x) (cbrt 1.0))
  (/ (exp x) (sqrt 1.0))
  (/ (exp x) 1.0)
  (neg 1)
  (neg (log (- 1 (/ 1.0 (exp x)))))
  (- 0 (log (- 1 (/ 1.0 (exp x)))))
  (- (log 1) (log (- 1 (/ 1.0 (exp x)))))
  (log (/ 1 (- 1 (/ 1.0 (exp x)))))
  (exp (/ 1 (- 1 (/ 1.0 (exp x)))))
  (/ (* (* 1 1) 1) (* (* (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x)))) (- 1 (/ 1.0 (exp x)))))
  (* (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))) (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))))
  (cbrt (/ 1 (- 1 (/ 1.0 (exp x)))))
  (* (* (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (- 1 (/ 1.0 (exp x))))) (/ 1 (- 1 (/ 1.0 (exp x)))))
  (sqrt (/ 1 (- 1 (/ 1.0 (exp x)))))
  (sqrt (/ 1 (- 1 (/ 1.0 (exp x)))))
  (neg 1)
  (neg (- 1 (/ 1.0 (exp x))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x))))))
  (/ (cbrt 1) (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ (cbrt 1) (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (- 1 (/ 1.0 (exp x))))
  (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ (cbrt 1) (- (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (cbrt 1) (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (* (cbrt 1) (cbrt 1)) (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ (cbrt 1) (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ (* (cbrt 1) (cbrt 1)) (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (cbrt 1) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (- 1 (/ 1.0 (exp x))))
  (/ (sqrt 1) (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x))))))
  (/ (sqrt 1) (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ (sqrt 1) (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ (sqrt 1) (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (- 1 (/ 1.0 (exp x))))
  (/ (sqrt 1) (+ (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ (sqrt 1) (- (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ (sqrt 1) (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (sqrt 1) (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (sqrt 1) (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ (sqrt 1) (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ (sqrt 1) (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (sqrt 1) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (- 1 (/ 1.0 (exp x))))
  (/ 1 (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x))))))
  (/ 1 (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 1)
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (+ (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 1)
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ (- 1 (/ 1.0 (exp x))) 1)
  (/ 1 (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x))))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 1)
  (/ 1 (+ (sqrt 1) (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 1)
  (/ (- 1 (/ 1.0 (exp x))) (cbrt 1))
  (/ (- 1 (/ 1.0 (exp x))) (sqrt 1))
  (/ (- 1 (/ 1.0 (exp x))) 1)
  (/ 1 (- (pow 1 3) (pow (/ 1.0 (exp x)) 3)))
  (/ 1 (- (* 1 1) (* (/ 1.0 (exp x)) (/ 1.0 (exp x)))))
  (- (+ (* 0.16666666666666666 (pow x 3)) (* 1.0 x)) (* 0.5 (pow x 2)))
  (- 1 (* 1.0 (/ 1 (exp x))))
  (- 1 (* 1.0 (/ 1 (exp x))))
  (- (+ (* 0.5 (pow x 2)) 1.0) (* 1.0 x))
  (/ 1.0 (exp x))
  (/ 1.0 (exp x))
  (+ 0.5 (+ (* 0.08333333333333334 x) (* 1.0 (/ 1 x))))
  (/ 1 (- 1 (* 1.0 (/ 1 (exp x)))))
  (/ 1 (- 1 (* 1.0 (/ 1 (exp x)))))
0.361 * * [simplify]: iteration  0 :  310  enodes  (cost  722 )
0.367 * * [simplify]: iteration  1 :  1324  enodes  (cost  620 )
0.386 * * [simplify]: iteration  2 :  5001  enodes  (cost  618 )
0.390 * [simplify]: Simplified to:
   (exp (- 1 (/ 1.0 (exp x))))
  (log (- 1 (/ 1.0 (exp x))))
  (exp (- 1 (/ 1.0 (exp x))))
  (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))
  (cbrt (- 1 (/ 1.0 (exp x))))
  (pow (- 1 (/ 1.0 (exp x))) 3)
  (sqrt (- 1 (/ 1.0 (exp x))))
  (sqrt (- 1 (/ 1.0 (exp x))))
  (- 1 (pow (/ 1.0 (exp x)) 3))
  (+ (* (/ 1.0 (exp x)) (+ (/ 1.0 (exp x)) 1)) 1)
  (neg (/ 1.0 (exp x)))
  (- 1 (* (/ 1.0 (exp x)) (/ 1.0 (exp x))))
  (+ 1 (/ 1.0 (exp x)))
  (+ 1 (sqrt (/ 1.0 (exp x))))
  (- 1 (sqrt (/ 1.0 (exp x))))
  (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (- 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (+ 1 (sqrt (/ 1.0 (exp x))))
  (- 1 (sqrt (/ 1.0 (exp x))))
  (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (- 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (neg (/ 1.0 (exp x)))
  (- (log 1.0) x)
  (- (log 1.0) x)
  (exp (/ 1.0 (exp x)))
  (pow (/ 1.0 (exp x)) 3)
  (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x))))
  (cbrt (/ 1.0 (exp x)))
  (pow (/ 1.0 (exp x)) 3)
  (sqrt (/ 1.0 (exp x)))
  (sqrt (/ 1.0 (exp x)))
  (neg 1.0)
  (neg (exp x))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt 1.0) (cbrt (exp x)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x)))
  (/ (cbrt 1.0) (sqrt (exp x)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (exp x))
  (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt 1.0) (cbrt (exp x)))
  (/ (sqrt 1.0) (sqrt (exp x)))
  (/ (sqrt 1.0) (sqrt (exp x)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1.0 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1.0 (sqrt (exp x)))
  1
  (/ 1.0 (exp x))
  (/ 1 (exp x))
  (/ (exp x) 1.0)
  (/ 1.0 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1.0 (sqrt (exp x)))
  1.0
  (/ (exp x) (cbrt 1.0))
  (/ (exp x) (sqrt 1.0))
  (/ (exp x) 1.0)
  -1
  (log (/ 1 (- 1 (/ 1.0 (exp x)))))
  (log (/ 1 (- 1 (/ 1.0 (exp x)))))
  (log (/ 1 (- 1 (/ 1.0 (exp x)))))
  (log (/ 1 (- 1 (/ 1.0 (exp x)))))
  (exp (/ 1 (- 1 (/ 1.0 (exp x)))))
  (pow (/ 1 (- 1 (/ 1.0 (exp x)))) 3)
  (* (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))) (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))))
  (cbrt (/ 1 (- 1 (/ 1.0 (exp x)))))
  (pow (/ 1 (- 1 (/ 1.0 (exp x)))) 3)
  (sqrt (/ 1 (- 1 (/ 1.0 (exp x)))))
  (sqrt (/ 1 (- 1 (/ 1.0 (exp x)))))
  -1
  (+ -1 (/ 1.0 (exp x)))
  (/ (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  1
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  1
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  1
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  1
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  1
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (- 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  1
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (- 1 (/ 1.0 (exp x)))
  (/ (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x)))))
  (/ 1 (sqrt (- 1 (/ 1.0 (exp x)))))
  1
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  (/ 1 (+ 1 (sqrt (/ 1.0 (exp x)))))
  (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))))
  1
  (- 1 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (/ 1 (- 1 (pow (/ 1.0 (exp x)) 3)))
  (/ 1 (- 1 (* (/ 1.0 (exp x)) (/ 1.0 (exp x)))))
  (- (+ (* 0.16666666666666666 (pow x 3)) (* 1.0 x)) (* 0.5 (pow x 2)))
  (- 1 (/ 1.0 (exp x)))
  (- 1 (/ 1.0 (exp x)))
  (- 1.0 (* x (- 1.0 (* x 0.5))))
  (/ 1.0 (exp x))
  (/ 1.0 (exp x))
  (+ 0.5 (+ (* 0.08333333333333334 x) (* 1.0 (/ 1 x))))
  (/ 1 (- 1 (/ 1.0 (exp x))))
  (/ 1 (- 1 (/ 1.0 (exp x))))
0.390 * * * [progress]: adding candidates to table
0.470 * * [progress]: iteration 4 / 4
0.470 * * * [progress]: picking best candidate
0.473 * * * * [pick]: Picked  #<alt (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))))>
0.473 * * * [progress]: localizing error
0.483 * * * [progress]: generating rewritten candidates
0.483 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.491 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.502 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.512 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
0.521 * * * [progress]: generating series expansions
0.521 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.521 * [approximate]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in (x) around 0
0.521 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in x
0.521 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.521 * [taylor]: Taking taylor expansion of (exp x) in x
0.521 * [taylor]: Taking taylor expansion of x in x
0.521 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.521 * [taylor]: Taking taylor expansion of 1.0 in x
0.522 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in x
0.522 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.522 * [taylor]: Taking taylor expansion of (exp x) in x
0.522 * [taylor]: Taking taylor expansion of x in x
0.522 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.522 * [taylor]: Taking taylor expansion of 1.0 in x
0.522 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in (x) around 0
0.522 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
0.522 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.522 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.522 * [taylor]: Taking taylor expansion of x in x
0.523 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.523 * [taylor]: Taking taylor expansion of 1.0 in x
0.523 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
0.523 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.523 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.523 * [taylor]: Taking taylor expansion of x in x
0.523 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.523 * [taylor]: Taking taylor expansion of 1.0 in x
0.524 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in (x) around 0
0.524 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
0.524 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.524 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.524 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.524 * [taylor]: Taking taylor expansion of -1 in x
0.524 * [taylor]: Taking taylor expansion of x in x
0.524 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.524 * [taylor]: Taking taylor expansion of 1.0 in x
0.524 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
0.524 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.524 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.524 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.524 * [taylor]: Taking taylor expansion of -1 in x
0.524 * [taylor]: Taking taylor expansion of x in x
0.525 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.525 * [taylor]: Taking taylor expansion of 1.0 in x
0.526 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.526 * [approximate]: Taking taylor expansion of (* (sqrt (exp x)) (/ 1 (- (sqrt (exp x)) (sqrt 1.0)))) in (x) around 0
0.526 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (/ 1 (- (sqrt (exp x)) (sqrt 1.0)))) in x
0.526 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.526 * [taylor]: Taking taylor expansion of (exp x) in x
0.526 * [taylor]: Taking taylor expansion of x in x
0.526 * [taylor]: Taking taylor expansion of (/ 1 (- (sqrt (exp x)) (sqrt 1.0))) in x
0.526 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in x
0.526 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.526 * [taylor]: Taking taylor expansion of (exp x) in x
0.526 * [taylor]: Taking taylor expansion of x in x
0.526 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.526 * [taylor]: Taking taylor expansion of 1.0 in x
0.526 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (/ 1 (- (sqrt (exp x)) (sqrt 1.0)))) in x
0.526 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.526 * [taylor]: Taking taylor expansion of (exp x) in x
0.526 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of (/ 1 (- (sqrt (exp x)) (sqrt 1.0))) in x
0.527 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in x
0.527 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.527 * [taylor]: Taking taylor expansion of (exp x) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.527 * [taylor]: Taking taylor expansion of 1.0 in x
0.529 * [approximate]: Taking taylor expansion of (* (/ 1 (- (sqrt (exp (/ 1 x))) (sqrt 1.0))) (sqrt (exp (/ 1 x)))) in (x) around 0
0.529 * [taylor]: Taking taylor expansion of (* (/ 1 (- (sqrt (exp (/ 1 x))) (sqrt 1.0))) (sqrt (exp (/ 1 x)))) in x
0.529 * [taylor]: Taking taylor expansion of (/ 1 (- (sqrt (exp (/ 1 x))) (sqrt 1.0))) in x
0.529 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
0.529 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.529 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.529 * [taylor]: Taking taylor expansion of x in x
0.529 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.529 * [taylor]: Taking taylor expansion of 1.0 in x
0.530 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.530 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.530 * [taylor]: Taking taylor expansion of x in x
0.530 * [taylor]: Taking taylor expansion of (* (/ 1 (- (sqrt (exp (/ 1 x))) (sqrt 1.0))) (sqrt (exp (/ 1 x)))) in x
0.530 * [taylor]: Taking taylor expansion of (/ 1 (- (sqrt (exp (/ 1 x))) (sqrt 1.0))) in x
0.530 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
0.530 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.530 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.530 * [taylor]: Taking taylor expansion of x in x
0.530 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.530 * [taylor]: Taking taylor expansion of 1.0 in x
0.530 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.530 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.530 * [taylor]: Taking taylor expansion of x in x
0.534 * [approximate]: Taking taylor expansion of (* (/ 1 (- (sqrt (exp (/ -1 x))) (sqrt 1.0))) (sqrt (exp (/ -1 x)))) in (x) around 0
0.534 * [taylor]: Taking taylor expansion of (* (/ 1 (- (sqrt (exp (/ -1 x))) (sqrt 1.0))) (sqrt (exp (/ -1 x)))) in x
0.534 * [taylor]: Taking taylor expansion of (/ 1 (- (sqrt (exp (/ -1 x))) (sqrt 1.0))) in x
0.534 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
0.534 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.534 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.534 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.534 * [taylor]: Taking taylor expansion of -1 in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.534 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.534 * [taylor]: Taking taylor expansion of 1.0 in x
0.534 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.534 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.534 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.534 * [taylor]: Taking taylor expansion of -1 in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.535 * [taylor]: Taking taylor expansion of (* (/ 1 (- (sqrt (exp (/ -1 x))) (sqrt 1.0))) (sqrt (exp (/ -1 x)))) in x
0.535 * [taylor]: Taking taylor expansion of (/ 1 (- (sqrt (exp (/ -1 x))) (sqrt 1.0))) in x
0.535 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
0.535 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.535 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.535 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.535 * [taylor]: Taking taylor expansion of -1 in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.535 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.535 * [taylor]: Taking taylor expansion of 1.0 in x
0.535 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.535 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.535 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.535 * [taylor]: Taking taylor expansion of -1 in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.539 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.539 * [approximate]: Taking taylor expansion of (* (sqrt (exp x)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))) in (x) around 0
0.539 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))) in x
0.539 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.539 * [taylor]: Taking taylor expansion of (exp x) in x
0.539 * [taylor]: Taking taylor expansion of x in x
0.539 * [taylor]: Taking taylor expansion of (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) in x
0.539 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt 1.0)) in x
0.539 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.539 * [taylor]: Taking taylor expansion of (exp x) in x
0.539 * [taylor]: Taking taylor expansion of x in x
0.539 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.539 * [taylor]: Taking taylor expansion of 1.0 in x
0.539 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))) in x
0.539 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.539 * [taylor]: Taking taylor expansion of (exp x) in x
0.539 * [taylor]: Taking taylor expansion of x in x
0.539 * [taylor]: Taking taylor expansion of (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) in x
0.539 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt 1.0)) in x
0.539 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.539 * [taylor]: Taking taylor expansion of (exp x) in x
0.540 * [taylor]: Taking taylor expansion of x in x
0.540 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.540 * [taylor]: Taking taylor expansion of 1.0 in x
0.542 * [approximate]: Taking taylor expansion of (* (/ 1 (+ (sqrt (exp (/ 1 x))) (sqrt 1.0))) (sqrt (exp (/ 1 x)))) in (x) around 0
0.542 * [taylor]: Taking taylor expansion of (* (/ 1 (+ (sqrt (exp (/ 1 x))) (sqrt 1.0))) (sqrt (exp (/ 1 x)))) in x
0.542 * [taylor]: Taking taylor expansion of (/ 1 (+ (sqrt (exp (/ 1 x))) (sqrt 1.0))) in x
0.542 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
0.542 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.542 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.542 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.542 * [taylor]: Taking taylor expansion of 1.0 in x
0.542 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.542 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.543 * [taylor]: Taking taylor expansion of x in x
0.543 * [taylor]: Taking taylor expansion of (* (/ 1 (+ (sqrt (exp (/ 1 x))) (sqrt 1.0))) (sqrt (exp (/ 1 x)))) in x
0.543 * [taylor]: Taking taylor expansion of (/ 1 (+ (sqrt (exp (/ 1 x))) (sqrt 1.0))) in x
0.543 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
0.543 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.543 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.543 * [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.543 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.543 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.543 * [taylor]: Taking taylor expansion of x in x
0.547 * [approximate]: Taking taylor expansion of (* (/ 1 (+ (sqrt (exp (/ -1 x))) (sqrt 1.0))) (sqrt (exp (/ -1 x)))) in (x) around 0
0.547 * [taylor]: Taking taylor expansion of (* (/ 1 (+ (sqrt (exp (/ -1 x))) (sqrt 1.0))) (sqrt (exp (/ -1 x)))) in x
0.547 * [taylor]: Taking taylor expansion of (/ 1 (+ (sqrt (exp (/ -1 x))) (sqrt 1.0))) in x
0.547 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
0.547 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.547 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.547 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.547 * [taylor]: Taking taylor expansion of -1 in x
0.547 * [taylor]: Taking taylor expansion of x in x
0.547 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.547 * [taylor]: Taking taylor expansion of 1.0 in x
0.547 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.547 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.547 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.547 * [taylor]: Taking taylor expansion of -1 in x
0.547 * [taylor]: Taking taylor expansion of x in x
0.548 * [taylor]: Taking taylor expansion of (* (/ 1 (+ (sqrt (exp (/ -1 x))) (sqrt 1.0))) (sqrt (exp (/ -1 x)))) in x
0.548 * [taylor]: Taking taylor expansion of (/ 1 (+ (sqrt (exp (/ -1 x))) (sqrt 1.0))) in x
0.548 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
0.548 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.548 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.548 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.548 * [taylor]: Taking taylor expansion of -1 in x
0.548 * [taylor]: Taking taylor expansion of x in x
0.548 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
0.548 * [taylor]: Taking taylor expansion of 1.0 in x
0.548 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.548 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.548 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.548 * [taylor]: Taking taylor expansion of -1 in x
0.548 * [taylor]: Taking taylor expansion of x in x
0.552 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
0.552 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
0.552 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.552 * [taylor]: Taking taylor expansion of (exp x) in x
0.552 * [taylor]: Taking taylor expansion of x in x
0.552 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
0.552 * [taylor]: Taking taylor expansion of (exp x) in x
0.552 * [taylor]: Taking taylor expansion of x in x
0.553 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
0.553 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.553 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.553 * [taylor]: Taking taylor expansion of x in x
0.553 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
0.553 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.553 * [taylor]: Taking taylor expansion of x in x
0.553 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
0.554 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.554 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.554 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.554 * [taylor]: Taking taylor expansion of -1 in x
0.554 * [taylor]: Taking taylor expansion of x in x
0.554 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
0.554 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.554 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.554 * [taylor]: Taking taylor expansion of -1 in x
0.554 * [taylor]: Taking taylor expansion of x in x
0.554 * * * [progress]: simplifying candidates
0.557 * [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))))
  (neg (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))
  (neg (sqrt 1.0))
  (- (log (sqrt (exp x))) (log (- (sqrt (exp x)) (sqrt 1.0))))
  (log (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))))
  (exp (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (* (* (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (- (sqrt (exp x)) (sqrt 1.0))))
  (* (cbrt (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))) (cbrt (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))))
  (cbrt (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))))
  (* (* (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))) (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))))
  (sqrt (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))))
  (sqrt (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))))
  (neg (sqrt (exp x)))
  (neg (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))))
  (/ (cbrt (sqrt (exp x))) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (cbrt (sqrt (exp x))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) 1)
  (/ (cbrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (cbrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (cbrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (cbrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (cbrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt 1))
  (/ (cbrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) 1)
  (/ (cbrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (cbrt (exp x))) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (cbrt (exp x))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) 1)
  (/ (sqrt (cbrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (cbrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (cbrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (cbrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (cbrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt 1))
  (/ (sqrt (cbrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) 1)
  (/ (sqrt (cbrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (sqrt (exp x))) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) 1)
  (/ (sqrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt 1))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) 1)
  (/ (sqrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt 1) (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (exp x)) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt 1) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (exp x)) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt 1) 1)
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt 1) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt 1) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt 1) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt 1) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt 1) (sqrt 1))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt 1) 1)
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (sqrt (exp x))) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) 1)
  (/ (sqrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt 1))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) 1)
  (/ (sqrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (exp x)) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ 1 (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (exp x)) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ 1 1)
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ 1 (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ 1 (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ 1 (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ 1 (sqrt 1))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 1)
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x)))
  (/ (sqrt (exp x)) (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (exp x)) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (exp x)) 1)
  (/ (sqrt (exp x)) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (sqrt 1))
  (/ (sqrt (exp x)) 1)
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (sqrt (exp x))))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (cbrt (exp x))))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x)))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x)))
  (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))
  (/ (sqrt (exp x)) (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt 1.0) (sqrt 1.0))))
  (- (log (sqrt (exp x))) (log (+ (sqrt (exp x)) (sqrt 1.0))))
  (log (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))))
  (exp (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (* (* (+ (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (+ (sqrt (exp x)) (sqrt 1.0))))
  (* (cbrt (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))) (cbrt (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))))
  (cbrt (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))))
  (* (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))) (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))))
  (sqrt (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))))
  (sqrt (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))))
  (neg (sqrt (exp x)))
  (neg (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))))
  (/ (cbrt (sqrt (exp x))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (cbrt (sqrt (exp x))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) 1)
  (/ (cbrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt 1))
  (/ (cbrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) 1)
  (/ (cbrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (cbrt (exp x))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (cbrt (exp x))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) 1)
  (/ (sqrt (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt 1))
  (/ (sqrt (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) 1)
  (/ (sqrt (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (sqrt (exp x))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) 1)
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (sqrt 1))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) 1)
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt 1) (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (exp x)) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt 1) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (exp x)) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt 1) 1)
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt 1) (sqrt 1))
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt 1) 1)
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (sqrt (exp x))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) 1)
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (sqrt 1))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) 1)
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (exp x)) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ 1 (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (exp x)) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ 1 1)
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (sqrt 1))
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 1)
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x)))
  (/ (sqrt (exp x)) (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (exp x)) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (exp x)) 1)
  (/ (sqrt (exp x)) (sqrt 1))
  (/ (sqrt (exp x)) 1)
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (cbrt (sqrt (exp x))))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (cbrt (exp x))))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x)))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x)))
  (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))
  (/ (sqrt (exp x)) (- (* (sqrt (exp x)) (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)))
  (- (+ (* 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 (sqrt 1.0)))) (+ (* 1/2 (/ x (- 1 (sqrt 1.0)))) (+ (/ 1 (- 1 (sqrt 1.0))) (* 1/4 (/ (pow x 2) (pow (- 1 (sqrt 1.0)) 3)))))) (+ (* 1/2 (/ x (pow (- 1 (sqrt 1.0)) 2))) (* 3/8 (/ (pow x 2) (pow (- 1 (sqrt 1.0)) 2)))))
  (* (sqrt (exp x)) (/ 1 (- (sqrt (exp x)) (sqrt 1.0))))
  (* (sqrt (exp x)) (/ 1 (- (sqrt (exp x)) (sqrt 1.0))))
  (- (+ (* 1/4 (/ (pow x 2) (pow (+ (sqrt 1.0) 1) 3))) (+ (* 1/2 (/ x (+ (sqrt 1.0) 1))) (+ (/ 1 (+ (sqrt 1.0) 1)) (* 1/8 (/ (pow x 2) (+ (sqrt 1.0) 1)))))) (+ (* 1/2 (/ x (pow (+ (sqrt 1.0) 1) 2))) (* 3/8 (/ (pow x 2) (pow (+ (sqrt 1.0) 1) 2)))))
  (* (sqrt (exp x)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))))
  (* (sqrt (exp x)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))))
  (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1))
  (sqrt (exp x))
  (sqrt (exp x))
0.565 * * [simplify]: iteration  0 :  411  enodes  (cost  2166 )
0.571 * * [simplify]: iteration  1 :  1445  enodes  (cost  2072 )
0.594 * * [simplify]: iteration  2 :  5002  enodes  (cost  2025 )
0.606 * [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)))
  (neg (sqrt 1.0))
  (+ (exp x) (neg 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))
  (neg (sqrt 1.0))
  (log (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))))
  (log (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))))
  (exp (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))))
  (pow (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))) 3)
  (* (cbrt (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))) (cbrt (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))))
  (cbrt (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))))
  (pow (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))) 3)
  (sqrt (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))))
  (sqrt (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))))
  (neg (sqrt (exp x)))
  (neg (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))))
  (/ (cbrt (sqrt (exp x))) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (cbrt (sqrt (exp x))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (cbrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (cbrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (cbrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (cbrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (/ (fabs (cbrt (exp x))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (cbrt (exp x))) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (fabs (cbrt (exp x))) (* (sqrt (- (sqrt (exp x)) (sqrt 1.0))) 1))
  (/ (sqrt (cbrt (exp x))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (fabs (cbrt (exp x))) (* (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) 1))
  (/ (sqrt (cbrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (fabs (cbrt (exp x))) (* (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) 1))
  (/ (sqrt (cbrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (fabs (cbrt (exp x))) (* (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) 1))
  (/ (sqrt (cbrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (fabs (cbrt (exp x))) (* (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) 1))
  (/ (sqrt (cbrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (sqrt (exp x))) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (exp x)) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ 1 (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (exp x)) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  1
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ 1 (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ 1 (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ 1 (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  1
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  1
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (sqrt (exp x))) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (exp x)) (cbrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ 1 (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (exp x)) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  1
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ 1 (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ 1 (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ 1 (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  1
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  1
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (- (sqrt (exp x)) (sqrt 1.0)))
  (- 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (exp x)) (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (exp x)) (sqrt (- (sqrt (exp x)) (sqrt 1.0))))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (/ (sqrt (exp x)) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))))
  (sqrt (exp x))
  (sqrt (exp x))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt (sqrt (exp x))))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (cbrt (exp x))))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))
  (- 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))
  (- 1 (/ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))
  (/ (sqrt (exp x)) (+ (exp x) (neg 1.0)))
  (log (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))))
  (log (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))))
  (exp (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))))
  (pow (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) 3)
  (* (cbrt (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))) (cbrt (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))))
  (cbrt (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))))
  (pow (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) 3)
  (sqrt (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))))
  (sqrt (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))))
  (neg (sqrt (exp x)))
  (neg (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))))
  (/ (cbrt (sqrt (exp x))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (cbrt (sqrt (exp x))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cbrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (/ (fabs (cbrt (exp x))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (cbrt (exp x))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (fabs (cbrt (exp x))) (* (sqrt (+ (sqrt (exp x)) (sqrt 1.0))) 1))
  (/ (sqrt (cbrt (exp x))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (fabs (cbrt (exp x)))
  (/ (sqrt (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (sqrt (exp x))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (exp x)) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ 1 (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (exp x)) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  1
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  1
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  1
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (sqrt (exp x))) (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (sqrt (exp x))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (sqrt (exp x))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (sqrt (sqrt (exp x)))
  (/ (sqrt (sqrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (exp x)) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ 1 (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (/ (sqrt (exp x)) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  1
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  1
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  1
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x)))
  (/ (sqrt (exp x)) (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))))
  (/ (sqrt (exp x)) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))))
  (sqrt (exp x))
  (sqrt (exp x))
  (sqrt (exp x))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (cbrt (sqrt (exp x))))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (cbrt (exp x))))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x)))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (sqrt (exp x))))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt (exp x)))
  (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))
  (/ (sqrt (exp x)) (+ (exp x) (neg 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)))
  (+ (- 1 (sqrt 1.0)) (* x (+ 1/2 (* x 1/8))))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (+ (* -3/8 (/ (pow x 2) (pow (- 1 (sqrt 1.0)) 2))) (+ (* -1/2 (/ x (pow (- 1 (sqrt 1.0)) 2))) (+ (/ 1 (- 1 (sqrt 1.0))) (+ (* 1/2 (/ x (- 1 (sqrt 1.0)))) (* (/ (pow x 2) (- 1 (sqrt 1.0))) (+ (/ 1/4 (pow (- 1 (sqrt 1.0)) 2)) 1/8))))))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (+ (* -3/8 (/ (pow x 2) (pow (+ (sqrt 1.0) 1) 2))) (+ (* -1/2 (/ x (pow (+ (sqrt 1.0) 1) 2))) (+ (/ 1 (+ (sqrt 1.0) 1)) (+ (* 1/2 (/ x (+ (sqrt 1.0) 1))) (* (/ (pow x 2) (+ (sqrt 1.0) 1)) (+ 1/8 (/ 1/4 (pow (+ (sqrt 1.0) 1) 2))))))))
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1))
  (sqrt (exp x))
  (sqrt (exp x))
0.608 * * * [progress]: adding candidates to table
0.793 * [progress]: [Phase 3 of 3] Extracting.
0.793 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))> #<alt (λ (x) (* (/ (/ (sqrt (exp x)) (* (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 (exp x)) (sqrt 1.0)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (cbrt (pow (- (sqrt (exp x)) (sqrt 1.0)) 3)))))>)
0.794 * * * [regime-changes]: Trying 2 branch expressions: ((exp x) x)
0.794 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))> #<alt (λ (x) (* (/ (/ (sqrt (exp x)) (* (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 (exp x)) (sqrt 1.0)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (cbrt (pow (- (sqrt (exp x)) (sqrt 1.0)) 3)))))>)
0.825 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (* (/ (/ (sqrt (exp x)) (* (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 (exp x)) (sqrt 1.0)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (cbrt (pow (- (sqrt (exp x)) (sqrt 1.0)) 3)))))>)
0.854 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))> #<alt (λ (x) (* (/ (/ (sqrt (exp x)) (* (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 (exp x)) (sqrt 1.0)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (cbrt (pow (- (sqrt (exp x)) (sqrt 1.0)) 3)))))>)
0.891 * * * [regime]: Found split indices: #<option (#s(si 3 80) #s(si 0 255))>
0.891 * [binary-search]: Only using regimes for bounds on (exp x) and (#<alt (λ (x) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))> #<alt (λ (x) (* (/ (/ (sqrt (exp x)) (* (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 (exp x)) (sqrt 1.0)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (cbrt (pow (- (sqrt (exp x)) (sqrt 1.0)) 3)))))>)
0.891 * [regimes]: Found splitpoints: (#s(sp 3 (exp x) 0.9953325137597722) #s(sp 0 (exp x) +nan.0)) , with alts (#<alt (λ (x) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))> #<alt (λ (x) (* (/ (/ (sqrt (exp x)) (* (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 (exp x)) (sqrt 1.0)))))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (cbrt (pow (- (sqrt (exp x)) (sqrt 1.0)) 3)))))>)
0.891 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (exp x) 0.9953325137597722) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (cbrt (pow (- (sqrt (exp x)) (sqrt 1.0)) 3)))) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
0.892 * * [simplify]: iteration  0 :  30  enodes  (cost  22 )
0.892 * * [simplify]: iteration  1 :  30  enodes  (cost  22 )
0.892 * [simplify]: Simplified to:
   (if (<= (exp x) 0.9953325137597722) (* (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (cbrt (pow (- (sqrt (exp x)) (sqrt 1.0)) 3)))) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
2.332 * [regime-testing]: Baseline error score: 21.34970161460188
2.332 * [regime-testing]: Oracle error score: 0.02267959728424579
2.334 * [regime-testing]: End program error score: 0.4933264298319207
2.396 * [regime-testing]: Target error score: 40.895123990987535