26.833 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.337 * * * [progress]: [2/2] Setting up program.
0.339 * [progress]: [Phase 2 of 3] Improving.
0.339 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp x) (- (exp x) 1.0))
0.341 * * [simplify]: iteration  0 :  7  enodes  (cost  4 )
0.342 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
0.343 * * [simplify]: iteration  2 :  8  enodes  (cost  4 )
0.344 * [simplify]: Simplified to:
   (/ (exp x) (- (exp x) 1.0))
0.344 * * [progress]: iteration 1 / 4
0.344 * * * [progress]: picking best candidate
0.346 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp x) (- (exp x) 1.0)))>
0.346 * * * [progress]: localizing error
0.350 * * * [progress]: generating rewritten candidates
0.350 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.354 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.361 * * * [progress]: generating series expansions
0.361 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.361 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
0.361 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.361 * [taylor]: Taking taylor expansion of (exp x) in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of 1.0 in x
0.361 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.361 * [taylor]: Taking taylor expansion of (exp x) in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of 1.0 in x
0.362 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
0.362 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.362 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.362 * [taylor]: Taking taylor expansion of x in x
0.362 * [taylor]: Taking taylor expansion of 1.0 in x
0.362 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.362 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.362 * [taylor]: Taking taylor expansion of x in x
0.362 * [taylor]: Taking taylor expansion of 1.0 in x
0.363 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
0.363 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.363 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.363 * [taylor]: Taking taylor expansion of -1 in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of 1.0 in x
0.363 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.363 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.363 * [taylor]: Taking taylor expansion of -1 in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of 1.0 in x
0.363 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.363 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in (x) around 0
0.363 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
0.363 * [taylor]: Taking taylor expansion of (exp x) in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.363 * [taylor]: Taking taylor expansion of (exp x) in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of 1.0 in x
0.364 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
0.364 * [taylor]: Taking taylor expansion of (exp x) in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.364 * [taylor]: Taking taylor expansion of (exp x) in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of 1.0 in x
0.364 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in (x) around 0
0.365 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
0.365 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) 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 (- (exp (/ 1 x)) 1.0) in x
0.365 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) 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.0 in x
0.365 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
0.365 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) 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 (- (exp (/ 1 x)) 1.0) in x
0.365 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) 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.0 in x
0.556 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in (x) around 0
0.556 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
0.556 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.557 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.557 * [taylor]: Taking taylor expansion of -1 in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.557 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.557 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.557 * [taylor]: Taking taylor expansion of -1 in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of 1.0 in x
0.557 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
0.557 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.557 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.557 * [taylor]: Taking taylor expansion of -1 in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.557 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.557 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.557 * [taylor]: Taking taylor expansion of -1 in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of 1.0 in x
0.559 * * * [progress]: simplifying candidates
0.560 * [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.563 * * [simplify]: iteration  0 :  180  enodes  (cost  378 )
0.567 * * [simplify]: iteration  1 :  542  enodes  (cost  357 )
0.577 * * [simplify]: iteration  2 :  2174  enodes  (cost  354 )
0.624 * * [simplify]: iteration  3 :  5003  enodes  (cost  354 )
0.626 * [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.627 * * * [progress]: adding candidates to table
0.695 * * [progress]: iteration 2 / 4
0.695 * * * [progress]: picking best candidate
0.701 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))>
0.701 * * * [progress]: localizing error
0.711 * * * [progress]: generating rewritten candidates
0.711 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
0.714 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.721 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.730 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.740 * * * [progress]: generating series expansions
0.740 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
0.740 * [approximate]: Taking taylor expansion of (* 1/6 x) in (x) around 0
0.740 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.740 * [taylor]: Taking taylor expansion of 1/6 in x
0.740 * [taylor]: Taking taylor expansion of x in x
0.740 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.740 * [taylor]: Taking taylor expansion of 1/6 in x
0.740 * [taylor]: Taking taylor expansion of x in x
0.741 * [approximate]: Taking taylor expansion of (/ 1/6 x) in (x) around 0
0.741 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
0.741 * [taylor]: Taking taylor expansion of 1/6 in x
0.741 * [taylor]: Taking taylor expansion of x in x
0.741 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
0.741 * [taylor]: Taking taylor expansion of 1/6 in x
0.741 * [taylor]: Taking taylor expansion of x in x
0.741 * [approximate]: Taking taylor expansion of (/ -1/6 x) in (x) around 0
0.741 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
0.741 * [taylor]: Taking taylor expansion of -1/6 in x
0.741 * [taylor]: Taking taylor expansion of x in x
0.741 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
0.742 * [taylor]: Taking taylor expansion of -1/6 in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.742 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.742 * [approximate]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in (x) around 0
0.742 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x
0.742 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.742 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
0.742 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.742 * [taylor]: Taking taylor expansion of 1/6 in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.742 * [taylor]: Taking taylor expansion of 1/2 in x
0.742 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x
0.742 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.742 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
0.742 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.742 * [taylor]: Taking taylor expansion of 1/6 in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.742 * [taylor]: Taking taylor expansion of 1/2 in x
0.746 * [approximate]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in (x) around 0
0.746 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
0.746 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
0.746 * [taylor]: Taking taylor expansion of 1/2 in x
0.746 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.746 * [taylor]: Taking taylor expansion of 1/6 in x
0.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.746 * [taylor]: Taking taylor expansion of x in x
0.746 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.746 * [taylor]: Taking taylor expansion of x in x
0.746 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
0.746 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
0.746 * [taylor]: Taking taylor expansion of 1/2 in x
0.746 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.746 * [taylor]: Taking taylor expansion of 1/6 in x
0.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.746 * [taylor]: Taking taylor expansion of x in x
0.746 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.746 * [taylor]: Taking taylor expansion of x in x
0.748 * [approximate]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in (x) around 0
0.748 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
0.748 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
0.748 * [taylor]: Taking taylor expansion of 1/2 in x
0.748 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.748 * [taylor]: Taking taylor expansion of 1/6 in x
0.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.748 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.748 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
0.748 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
0.748 * [taylor]: Taking taylor expansion of 1/2 in x
0.748 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.748 * [taylor]: Taking taylor expansion of 1/6 in x
0.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.748 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.749 * [taylor]: Taking taylor expansion of x in x
0.750 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.750 * [approximate]: Taking taylor expansion of (/ (exp x) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))) in (x) around 0
0.751 * [taylor]: Taking taylor expansion of (/ (exp x) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))) in x
0.751 * [taylor]: Taking taylor expansion of (exp x) in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.751 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) in x
0.751 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.751 * [taylor]: Taking taylor expansion of 1/2 in x
0.751 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.751 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 3)) x) in x
0.751 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.751 * [taylor]: Taking taylor expansion of 1/6 in x
0.751 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.751 * [taylor]: Taking taylor expansion of (/ (exp x) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))) in x
0.751 * [taylor]: Taking taylor expansion of (exp x) in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.751 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) in x
0.751 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.751 * [taylor]: Taking taylor expansion of 1/2 in x
0.751 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.751 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 3)) x) in x
0.751 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.751 * [taylor]: Taking taylor expansion of 1/6 in x
0.751 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.752 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))))) in (x) around 0
0.752 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))))) in x
0.752 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x
0.752 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.752 * [taylor]: Taking taylor expansion of 1/2 in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.752 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.752 * [taylor]: Taking taylor expansion of 1/6 in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.752 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))))) in x
0.752 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x
0.752 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.752 * [taylor]: Taking taylor expansion of 1/2 in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.752 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.752 * [taylor]: Taking taylor expansion of 1/6 in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.753 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.754 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))))) in (x) around 0
0.754 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))))) in x
0.754 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.754 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.754 * [taylor]: Taking taylor expansion of -1 in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x
0.754 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.754 * [taylor]: Taking taylor expansion of 1/2 in x
0.754 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.754 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x
0.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.754 * [taylor]: Taking taylor expansion of 1/6 in x
0.754 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.754 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))))) in x
0.754 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.754 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.754 * [taylor]: Taking taylor expansion of -1 in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x
0.754 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.754 * [taylor]: Taking taylor expansion of 1/2 in x
0.754 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.754 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.755 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x
0.755 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.755 * [taylor]: Taking taylor expansion of x in x
0.755 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.755 * [taylor]: Taking taylor expansion of 1/6 in x
0.755 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.755 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.755 * [taylor]: Taking taylor expansion of x in x
0.756 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.756 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) in (x) around 0
0.756 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) in x
0.756 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.756 * [taylor]: Taking taylor expansion of 1/2 in x
0.756 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.756 * [taylor]: Taking taylor expansion of x in x
0.756 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 3)) x) in x
0.756 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.756 * [taylor]: Taking taylor expansion of 1/6 in x
0.756 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.756 * [taylor]: Taking taylor expansion of x in x
0.756 * [taylor]: Taking taylor expansion of x in x
0.756 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) in x
0.756 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.756 * [taylor]: Taking taylor expansion of 1/2 in x
0.756 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.756 * [taylor]: Taking taylor expansion of x in x
0.756 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 3)) x) in x
0.756 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.756 * [taylor]: Taking taylor expansion of 1/6 in x
0.756 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.756 * [taylor]: Taking taylor expansion of x in x
0.756 * [taylor]: Taking taylor expansion of x in x
0.757 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in (x) around 0
0.757 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x
0.757 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.757 * [taylor]: Taking taylor expansion of 1/2 in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.757 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.757 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.757 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.757 * [taylor]: Taking taylor expansion of 1/6 in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.757 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.757 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x
0.757 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.757 * [taylor]: Taking taylor expansion of 1/2 in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.757 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.757 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.757 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.757 * [taylor]: Taking taylor expansion of 1/6 in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.757 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.758 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in (x) around 0
0.758 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x
0.758 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.758 * [taylor]: Taking taylor expansion of 1/2 in x
0.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.758 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.758 * [taylor]: Taking taylor expansion of x in x
0.758 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x
0.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.758 * [taylor]: Taking taylor expansion of x in x
0.758 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.758 * [taylor]: Taking taylor expansion of 1/6 in x
0.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.758 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.758 * [taylor]: Taking taylor expansion of x in x
0.758 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x
0.758 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.758 * [taylor]: Taking taylor expansion of 1/2 in x
0.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.759 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.759 * [taylor]: Taking taylor expansion of x in x
0.759 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x
0.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.759 * [taylor]: Taking taylor expansion of x in x
0.759 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.759 * [taylor]: Taking taylor expansion of 1/6 in x
0.759 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.759 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.759 * [taylor]: Taking taylor expansion of x in x
0.759 * * * [progress]: simplifying candidates
0.761 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x 1/6)
  (+ (log x) (log 1/6))
  (log (* x 1/6))
  (exp (* x 1/6))
  (* (* (* x x) x) (* (* 1/6 1/6) 1/6))
  (* (cbrt (* x 1/6)) (cbrt (* x 1/6)))
  (cbrt (* x 1/6))
  (* (* (* x 1/6) (* x 1/6)) (* x 1/6))
  (sqrt (* x 1/6))
  (sqrt (* x 1/6))
  (* (sqrt x) (sqrt 1/6))
  (* (sqrt x) (sqrt 1/6))
  (* x (* (cbrt 1/6) (cbrt 1/6)))
  (* x (sqrt 1/6))
  (* x 1)
  (* (cbrt x) 1/6)
  (* (sqrt x) 1/6)
  (* x 1/6)
  (+ (* (log x) 2) (log (+ (* x 1/6) 1/2)))
  (+ (* (log x) 2) (log (+ (* x 1/6) 1/2)))
  (+ (log (pow x 2)) (log (+ (* x 1/6) 1/2)))
  (log (* (pow x 2) (+ (* x 1/6) 1/2)))
  (exp (* (pow x 2) (+ (* x 1/6) 1/2)))
  (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2)))
  (* (cbrt (* (pow x 2) (+ (* x 1/6) 1/2))) (cbrt (* (pow x 2) (+ (* x 1/6) 1/2))))
  (cbrt (* (pow x 2) (+ (* x 1/6) 1/2)))
  (* (* (* (pow x 2) (+ (* x 1/6) 1/2)) (* (pow x 2) (+ (* x 1/6) 1/2))) (* (pow x 2) (+ (* x 1/6) 1/2)))
  (sqrt (* (pow x 2) (+ (* x 1/6) 1/2)))
  (sqrt (* (pow x 2) (+ (* x 1/6) 1/2)))
  (* (pow (sqrt x) 2) (sqrt (+ (* x 1/6) 1/2)))
  (* (pow (sqrt x) 2) (sqrt (+ (* x 1/6) 1/2)))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* (sqrt (pow x 2)) (sqrt (+ (* x 1/6) 1/2)))
  (* (sqrt (pow x 2)) (sqrt (+ (* x 1/6) 1/2)))
  (* (pow x (/ 2 2)) (sqrt (+ (* x 1/6) 1/2)))
  (* (pow x (/ 2 2)) (sqrt (+ (* x 1/6) 1/2)))
  (* (pow x 2) (* x 1/6))
  (* (pow x 2) 1/2)
  (* (* x 1/6) (pow x 2))
  (* 1/2 (pow x 2))
  (* (pow x 2) (* (cbrt (+ (* x 1/6) 1/2)) (cbrt (+ (* x 1/6) 1/2))))
  (* (pow x 2) (sqrt (+ (* x 1/6) 1/2)))
  (* (pow x 2) 1)
  (* (pow (cbrt x) 2) (+ (* x 1/6) 1/2))
  (* (pow (sqrt x) 2) (+ (* x 1/6) 1/2))
  (* (pow x 2) (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
  (* (cbrt (pow x 2)) (+ (* x 1/6) 1/2))
  (* (sqrt (pow x 2)) (+ (* x 1/6) 1/2))
  (* (pow x 2) (+ (* x 1/6) 1/2))
  (* (pow x (/ 2 2)) (+ (* x 1/6) 1/2))
  (* (pow x 2) (+ (pow (* x 1/6) 3) (pow 1/2 3)))
  (* (pow x 2) (- (* (* x 1/6) (* x 1/6)) (* 1/2 1/2)))
  (- x (log (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (log (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (exp (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (* (* (exp x) (exp x)) (exp x)) (* (* (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (* (cbrt (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))) (cbrt (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))))
  (cbrt (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (* (* (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))) (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (sqrt (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (sqrt (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (neg (exp x))
  (neg (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))))
  (/ (cbrt (exp x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (cbrt (exp x)) (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) 1)
  (/ (cbrt (exp x)) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (/ (sqrt (exp x)) (* (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))))
  (/ (sqrt (exp x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (sqrt (exp x)) (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (sqrt (exp x)) (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (sqrt (exp x)) 1)
  (/ (sqrt (exp x)) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (/ 1 (* (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))))
  (/ (exp x) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ 1 (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (exp x) (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ 1 1)
  (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (/ 1 (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (exp x))
  (/ (exp x) (* (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))))
  (/ (exp x) (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (exp x) 1)
  (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (cbrt (exp x)))
  (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (sqrt (exp x)))
  (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (exp x))
  (/ (exp x) (+ (pow (* (pow x 2) (+ (* x 1/6) 1/2)) 3) (pow x 3)))
  (/ (exp x) (- (* (* (pow x 2) (+ (* x 1/6) 1/2)) (* (pow x 2) (+ (* x 1/6) 1/2))) (* x x)))
  (* (exp (* (pow x 2) (+ (* x 1/6) 1/2))) (exp x))
  (log (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (exp (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (* (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (* (* (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (+ (pow (* (pow x 2) (+ (* x 1/6) 1/2)) 3) (pow x 3))
  (+ (* (* (pow x 2) (+ (* x 1/6) 1/2)) (* (pow x 2) (+ (* x 1/6) 1/2))) (- (* x x) (* (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (- (* (* (pow x 2) (+ (* x 1/6) 1/2)) (* (pow x 2) (+ (* x 1/6) 1/2))) (* x x))
  (- (* (pow x 2) (+ (* x 1/6) 1/2)) x)
  (+ (* (pow x 2) 1/2) x)
  (+ (* 1/2 (pow x 2)) x)
  (* 1/6 x)
  (* 1/6 x)
  (* 1/6 x)
  (+ (* 1/2 (pow x 2)) (* 1/6 (pow x 3)))
  (+ (* 1/2 (pow x 2)) (* 1/6 (pow x 3)))
  (+ (* 1/2 (pow x 2)) (* 1/6 (pow x 3)))
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
  (- (+ (* 6 (/ (exp x) (pow x 3))) (* 18 (/ (exp x) (pow x 5)))) (* 18 (/ (exp x) (pow x 4))))
  (- (+ (* 6 (/ (exp x) (pow x 3))) (* 18 (/ (exp x) (pow x 5)))) (* 18 (/ (exp x) (pow x 4))))
  (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))
  (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3))))
  (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3))))
0.767 * * [simplify]: iteration  0 :  429  enodes  (cost  756 )
0.776 * * [simplify]: iteration  1 :  2075  enodes  (cost  688 )
0.815 * * [simplify]: iteration  2 :  5002  enodes  (cost  686 )
0.820 * [simplify]: Simplified to:
   (* x 1/6)
  (log (* x 1/6))
  (log (* x 1/6))
  (exp (* x 1/6))
  (pow (* x 1/6) 3)
  (* (cbrt (* x 1/6)) (cbrt (* x 1/6)))
  (cbrt (* x 1/6))
  (pow (* x 1/6) 3)
  (sqrt (* x 1/6))
  (sqrt (* x 1/6))
  (* (sqrt x) (sqrt 1/6))
  (* (sqrt x) (sqrt 1/6))
  (* x (* (cbrt 1/6) (cbrt 1/6)))
  (* x (sqrt 1/6))
  x
  (* (cbrt x) 1/6)
  (* (sqrt x) 1/6)
  (* x 1/6)
  (log (* (pow x 2) (+ (* x 1/6) 1/2)))
  (log (* (pow x 2) (+ (* x 1/6) 1/2)))
  (log (* (pow x 2) (+ (* x 1/6) 1/2)))
  (log (* (pow x 2) (+ (* x 1/6) 1/2)))
  (exp (* (pow x 2) (+ (* x 1/6) 1/2)))
  (pow (* (pow x 2) (+ (* x 1/6) 1/2)) 3)
  (* (cbrt (* (pow x 2) (+ (* x 1/6) 1/2))) (cbrt (* (pow x 2) (+ (* x 1/6) 1/2))))
  (cbrt (* (pow x 2) (+ (* x 1/6) 1/2)))
  (pow (* (pow x 2) (+ (* x 1/6) 1/2)) 3)
  (sqrt (* (pow x 2) (+ (* x 1/6) 1/2)))
  (sqrt (* (pow x 2) (+ (* x 1/6) 1/2)))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* (sqrt (pow x 2)) (sqrt (+ (* x 1/6) 1/2)))
  (* (sqrt (pow x 2)) (sqrt (+ (* x 1/6) 1/2)))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* (pow x 3) 1/6)
  (* (pow x 2) 1/2)
  (* (pow x 3) 1/6)
  (* (pow x 2) 1/2)
  (* (pow x 2) (* (cbrt (+ (* x 1/6) 1/2)) (cbrt (+ (* x 1/6) 1/2))))
  (* (pow x 2) (sqrt (+ (* x 1/6) 1/2)))
  (pow x 2)
  (* (pow (cbrt x) 2) (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
  (* (pow x 2) (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
  (* (cbrt (pow x 2)) (+ (* x 1/6) 1/2))
  (* (fabs x) (+ (* x 1/6) 1/2))
  (* (pow x 2) (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
  (* (pow x 2) (+ (pow (* x 1/6) 3) (pow 1/2 3)))
  (* (pow x 2) (- (* (* x 1/6) (* x 1/6)) (* 1/2 1/2)))
  (- x (log (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (- x (log (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (exp (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (pow (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) 3)
  (* (cbrt (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))) (cbrt (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))))
  (cbrt (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (pow (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) 3)
  (sqrt (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (sqrt (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (neg (exp x))
  (neg (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))))
  (/ (cbrt (exp x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (cbrt (exp x)) (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (/ (cbrt (exp x)) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (/ (sqrt (exp x)) (* (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))))
  (/ (sqrt (exp x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (sqrt (exp x)) (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (sqrt (exp x)) (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (/ 1 (* (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))))
  (/ (exp x) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ 1 (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (/ (exp x) (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  1
  (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (/ 1 (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (exp x))
  (/ (exp x) (* (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))))
  (/ (exp x) (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (exp x)
  (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (cbrt (exp x)))
  (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (sqrt (exp x)))
  (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (exp x))
  (/ (exp x) (+ (pow (* (pow x 2) (+ (* x 1/6) 1/2)) 3) (pow x 3)))
  (/ (exp x) (- (* (pow x 4) (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2))) (pow x 2)))
  (exp (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (log (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (exp (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (* (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)) (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
  (cbrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (pow (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) 3)
  (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (sqrt (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (+ (pow (* (pow x 2) (+ (* x 1/6) 1/2)) 3) (pow x 3))
  (- (+ (* (pow x 4) (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2))) (pow x 2)) (* (* (pow x 2) (+ (* x 1/6) 1/2)) x))
  (- (* (pow x 4) (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2))) (pow x 2))
  (- (* (pow x 2) (+ (* x 1/6) 1/2)) x)
  (+ (* 1/2 (pow x 2)) x)
  (+ (* 1/2 (pow x 2)) x)
  (* x 1/6)
  (* x 1/6)
  (* x 1/6)
  (* (pow x 2) (+ (* x 1/6) 1/2))
  (* (pow x 2) (+ (* x 1/6) 1/2))
  (* (pow x 2) (+ (* x 1/6) 1/2))
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
  (+ (* 18 (- (/ (exp x) (pow x 5)) (/ (exp x) (pow x 4)))) (* 6 (/ (exp x) (pow x 3))))
  (+ (* 18 (- (/ (exp x) (pow x 5)) (/ (exp x) (pow x 4)))) (* 6 (/ (exp x) (pow x 3))))
  (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)
  (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)
  (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)
0.820 * * * [progress]: adding candidates to table
0.947 * * [progress]: iteration 3 / 4
0.947 * * * [progress]: picking best candidate
0.952 * * * * [pick]: Picked  #<alt (λ (x) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))>
0.952 * * * [progress]: localizing error
0.957 * * * [progress]: generating rewritten candidates
0.957 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
0.960 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.968 * * * [progress]: generating series expansions
0.968 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
0.968 * [approximate]: Taking taylor expansion of (* 1/12 x) in (x) around 0
0.968 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
0.968 * [taylor]: Taking taylor expansion of 1/12 in x
0.968 * [taylor]: Taking taylor expansion of x in x
0.968 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
0.968 * [taylor]: Taking taylor expansion of 1/12 in x
0.968 * [taylor]: Taking taylor expansion of x in x
0.969 * [approximate]: Taking taylor expansion of (/ 1/12 x) in (x) around 0
0.969 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x
0.969 * [taylor]: Taking taylor expansion of 1/12 in x
0.969 * [taylor]: Taking taylor expansion of x in x
0.969 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x
0.969 * [taylor]: Taking taylor expansion of 1/12 in x
0.969 * [taylor]: Taking taylor expansion of x in x
0.969 * [approximate]: Taking taylor expansion of (/ -1/12 x) in (x) around 0
0.969 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x
0.969 * [taylor]: Taking taylor expansion of -1/12 in x
0.969 * [taylor]: Taking taylor expansion of x in x
0.970 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x
0.970 * [taylor]: Taking taylor expansion of -1/12 in x
0.970 * [taylor]: Taking taylor expansion of x in x
0.970 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.970 * [approximate]: Taking taylor expansion of (+ (* 1/12 x) (/ 1 x)) in (x) around 0
0.970 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (/ 1 x)) in x
0.970 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
0.970 * [taylor]: Taking taylor expansion of 1/12 in x
0.970 * [taylor]: Taking taylor expansion of x in x
0.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.970 * [taylor]: Taking taylor expansion of x in x
0.970 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (/ 1 x)) in x
0.970 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
0.970 * [taylor]: Taking taylor expansion of 1/12 in x
0.970 * [taylor]: Taking taylor expansion of x in x
0.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.970 * [taylor]: Taking taylor expansion of x in x
0.971 * [approximate]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in (x) around 0
0.971 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x
0.971 * [taylor]: Taking taylor expansion of x in x
0.971 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
0.971 * [taylor]: Taking taylor expansion of 1/12 in x
0.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.972 * [taylor]: Taking taylor expansion of x in x
0.972 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x
0.972 * [taylor]: Taking taylor expansion of x in x
0.972 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
0.972 * [taylor]: Taking taylor expansion of 1/12 in x
0.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.972 * [taylor]: Taking taylor expansion of x in x
0.973 * [approximate]: Taking taylor expansion of (neg (+ x (* 1/12 (/ 1 x)))) in (x) around 0
0.973 * [taylor]: Taking taylor expansion of (neg (+ x (* 1/12 (/ 1 x)))) in x
0.973 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.973 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
0.973 * [taylor]: Taking taylor expansion of 1/12 in x
0.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.973 * [taylor]: Taking taylor expansion of (neg (+ x (* 1/12 (/ 1 x)))) in x
0.973 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.973 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
0.973 * [taylor]: Taking taylor expansion of 1/12 in x
0.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.974 * * * [progress]: simplifying candidates
0.975 * [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)
  (* (exp (* 1/12 x)) (exp (/ 1 x)))
  (log (+ (* 1/12 x) (/ 1 x)))
  (exp (+ (* 1/12 x) (/ 1 x)))
  (* (cbrt (+ (* 1/12 x) (/ 1 x))) (cbrt (+ (* 1/12 x) (/ 1 x))))
  (cbrt (+ (* 1/12 x) (/ 1 x)))
  (* (* (+ (* 1/12 x) (/ 1 x)) (+ (* 1/12 x) (/ 1 x))) (+ (* 1/12 x) (/ 1 x)))
  (sqrt (+ (* 1/12 x) (/ 1 x)))
  (sqrt (+ (* 1/12 x) (/ 1 x)))
  (+ (pow (* 1/12 x) 3) (pow (/ 1 x) 3))
  (+ (* (* 1/12 x) (* 1/12 x)) (- (* (/ 1 x) (/ 1 x)) (* (* 1/12 x) (/ 1 x))))
  (- (* (* 1/12 x) (* 1/12 x)) (* (/ 1 x) (/ 1 x)))
  (- (* 1/12 x) (/ 1 x))
  (* 1/12 x)
  (* 1/12 x)
  (* 1/12 x)
  (+ (* 1/12 x) (/ 1 x))
  (+ (* 1/12 x) (/ 1 x))
  (+ (* 1/12 x) (/ 1 x))
0.978 * * [simplify]: iteration  0 :  130  enodes  (cost  119 )
0.981 * * [simplify]: iteration  1 :  448  enodes  (cost  109 )
0.992 * * [simplify]: iteration  2 :  2305  enodes  (cost  108 )
1.040 * * [simplify]: iteration  3 :  5001  enodes  (cost  108 )
1.042 * [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)
  (exp (+ (* 1/12 x) (/ 1 x)))
  (log (+ (* 1/12 x) (/ 1 x)))
  (exp (+ (* 1/12 x) (/ 1 x)))
  (* (cbrt (+ (* 1/12 x) (/ 1 x))) (cbrt (+ (* 1/12 x) (/ 1 x))))
  (cbrt (+ (* 1/12 x) (/ 1 x)))
  (pow (+ (* 1/12 x) (/ 1 x)) 3)
  (sqrt (+ (* 1/12 x) (/ 1 x)))
  (sqrt (+ (* 1/12 x) (/ 1 x)))
  (+ (pow (* 1/12 x) 3) (pow (/ 1 x) 3))
  (+ (+ -1/12 (* 1/144 (* x x))) (/ (/ 1 x) x))
  (+ (/ (neg (/ 1 x)) x) (* 1/144 (* x x)))
  (- (* 1/12 x) (/ 1 x))
  (* 1/12 x)
  (* 1/12 x)
  (* 1/12 x)
  (+ (* 1/12 x) (/ 1 x))
  (+ (* 1/12 x) (/ 1 x))
  (+ (* 1/12 x) (/ 1 x))
1.042 * * * [progress]: adding candidates to table
1.074 * * [progress]: iteration 4 / 4
1.074 * * * [progress]: picking best candidate
1.076 * * * * [pick]: Picked  #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))))>
1.077 * * * [progress]: localizing error
1.088 * * * [progress]: generating rewritten candidates
1.088 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.096 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.102 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.104 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
1.107 * * * [progress]: generating series expansions
1.108 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.108 * [approximate]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in (x) around 0
1.108 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in x
1.108 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
1.108 * [taylor]: Taking taylor expansion of (exp x) in x
1.108 * [taylor]: Taking taylor expansion of x in x
1.108 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.108 * [taylor]: Taking taylor expansion of 1.0 in x
1.108 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in x
1.108 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
1.108 * [taylor]: Taking taylor expansion of (exp x) in x
1.108 * [taylor]: Taking taylor expansion of x in x
1.108 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.108 * [taylor]: Taking taylor expansion of 1.0 in x
1.109 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in (x) around 0
1.109 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
1.109 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
1.109 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.109 * [taylor]: Taking taylor expansion of x in x
1.109 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.109 * [taylor]: Taking taylor expansion of 1.0 in x
1.109 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x
1.109 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
1.109 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.109 * [taylor]: Taking taylor expansion of x in x
1.109 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.109 * [taylor]: Taking taylor expansion of 1.0 in x
1.110 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in (x) around 0
1.110 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
1.110 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
1.110 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.110 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.110 * [taylor]: Taking taylor expansion of -1 in x
1.110 * [taylor]: Taking taylor expansion of x in x
1.111 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.111 * [taylor]: Taking taylor expansion of 1.0 in x
1.111 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x
1.111 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
1.111 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.111 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.111 * [taylor]: Taking taylor expansion of -1 in x
1.111 * [taylor]: Taking taylor expansion of x in x
1.111 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.111 * [taylor]: Taking taylor expansion of 1.0 in x
1.112 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.112 * [approximate]: Taking taylor expansion of (pow (pow (exp x) 2) 1/3) in (x) around 0
1.112 * [taylor]: Taking taylor expansion of (pow (pow (exp x) 2) 1/3) in x
1.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp x) 2)))) in x
1.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp x) 2))) in x
1.112 * [taylor]: Taking taylor expansion of 1/3 in x
1.112 * [taylor]: Taking taylor expansion of (log (pow (exp x) 2)) in x
1.112 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.112 * [taylor]: Taking taylor expansion of (exp x) in x
1.112 * [taylor]: Taking taylor expansion of x in x
1.113 * [taylor]: Taking taylor expansion of (pow (pow (exp x) 2) 1/3) in x
1.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp x) 2)))) in x
1.113 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp x) 2))) in x
1.113 * [taylor]: Taking taylor expansion of 1/3 in x
1.113 * [taylor]: Taking taylor expansion of (log (pow (exp x) 2)) in x
1.113 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.113 * [taylor]: Taking taylor expansion of (exp x) in x
1.113 * [taylor]: Taking taylor expansion of x in x
1.115 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ 1 x)) 2) 1/3) in (x) around 0
1.115 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 x)) 2) 1/3) in x
1.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ 1 x)) 2)))) in x
1.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ 1 x)) 2))) in x
1.115 * [taylor]: Taking taylor expansion of 1/3 in x
1.115 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 x)) 2)) in x
1.115 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.115 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.115 * [taylor]: Taking taylor expansion of x in x
1.115 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 x)) 2) 1/3) in x
1.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ 1 x)) 2)))) in x
1.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ 1 x)) 2))) in x
1.115 * [taylor]: Taking taylor expansion of 1/3 in x
1.115 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 x)) 2)) in x
1.115 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.115 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.115 * [taylor]: Taking taylor expansion of x in x
1.123 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ -1 x)) 2) 1/3) in (x) around 0
1.123 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 x)) 2) 1/3) in x
1.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ -1 x)) 2)))) in x
1.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ -1 x)) 2))) in x
1.123 * [taylor]: Taking taylor expansion of 1/3 in x
1.123 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 x)) 2)) in x
1.123 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.123 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.123 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.123 * [taylor]: Taking taylor expansion of -1 in x
1.123 * [taylor]: Taking taylor expansion of x in x
1.124 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 x)) 2) 1/3) in x
1.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ -1 x)) 2)))) in x
1.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ -1 x)) 2))) in x
1.124 * [taylor]: Taking taylor expansion of 1/3 in x
1.124 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 x)) 2)) in x
1.124 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.124 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.124 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.124 * [taylor]: Taking taylor expansion of -1 in x
1.124 * [taylor]: Taking taylor expansion of x in x
1.131 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.131 * [approximate]: Taking taylor expansion of (pow (exp x) 1/3) in (x) around 0
1.131 * [taylor]: Taking taylor expansion of (pow (exp x) 1/3) in x
1.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp x)))) in x
1.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp x))) in x
1.131 * [taylor]: Taking taylor expansion of 1/3 in x
1.131 * [taylor]: Taking taylor expansion of (log (exp x)) in x
1.131 * [taylor]: Taking taylor expansion of (exp x) in x
1.131 * [taylor]: Taking taylor expansion of x in x
1.132 * [taylor]: Taking taylor expansion of (pow (exp x) 1/3) in x
1.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp x)))) in x
1.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp x))) in x
1.132 * [taylor]: Taking taylor expansion of 1/3 in x
1.132 * [taylor]: Taking taylor expansion of (log (exp x)) in x
1.132 * [taylor]: Taking taylor expansion of (exp x) in x
1.132 * [taylor]: Taking taylor expansion of x in x
1.133 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in (x) around 0
1.133 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in x
1.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 x))))) in x
1.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 x)))) in x
1.133 * [taylor]: Taking taylor expansion of 1/3 in x
1.133 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x
1.133 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.133 * [taylor]: Taking taylor expansion of x in x
1.133 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in x
1.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 x))))) in x
1.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 x)))) in x
1.133 * [taylor]: Taking taylor expansion of 1/3 in x
1.133 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x
1.133 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.133 * [taylor]: Taking taylor expansion of x in x
1.139 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in (x) around 0
1.139 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in x
1.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 x))))) in x
1.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 x)))) in x
1.139 * [taylor]: Taking taylor expansion of 1/3 in x
1.139 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
1.139 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.139 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.139 * [taylor]: Taking taylor expansion of -1 in x
1.139 * [taylor]: Taking taylor expansion of x in x
1.139 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in x
1.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 x))))) in x
1.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 x)))) in x
1.139 * [taylor]: Taking taylor expansion of 1/3 in x
1.139 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
1.139 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.139 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.139 * [taylor]: Taking taylor expansion of -1 in x
1.139 * [taylor]: Taking taylor expansion of x in x
1.145 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
1.145 * [approximate]: Taking taylor expansion of (pow (exp x) 1/3) in (x) around 0
1.145 * [taylor]: Taking taylor expansion of (pow (exp x) 1/3) in x
1.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp x)))) in x
1.145 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp x))) in x
1.145 * [taylor]: Taking taylor expansion of 1/3 in x
1.145 * [taylor]: Taking taylor expansion of (log (exp x)) in x
1.145 * [taylor]: Taking taylor expansion of (exp x) in x
1.145 * [taylor]: Taking taylor expansion of x in x
1.145 * [taylor]: Taking taylor expansion of (pow (exp x) 1/3) in x
1.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp x)))) in x
1.145 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp x))) in x
1.145 * [taylor]: Taking taylor expansion of 1/3 in x
1.145 * [taylor]: Taking taylor expansion of (log (exp x)) in x
1.145 * [taylor]: Taking taylor expansion of (exp x) in x
1.145 * [taylor]: Taking taylor expansion of x in x
1.146 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in (x) around 0
1.146 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in x
1.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 x))))) in x
1.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 x)))) in x
1.146 * [taylor]: Taking taylor expansion of 1/3 in x
1.146 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x
1.146 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.146 * [taylor]: Taking taylor expansion of x in x
1.146 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in x
1.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 x))))) in x
1.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 x)))) in x
1.147 * [taylor]: Taking taylor expansion of 1/3 in x
1.147 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x
1.147 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.147 * [taylor]: Taking taylor expansion of x in x
1.152 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in (x) around 0
1.152 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in x
1.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 x))))) in x
1.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 x)))) in x
1.152 * [taylor]: Taking taylor expansion of 1/3 in x
1.152 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
1.152 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.152 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.152 * [taylor]: Taking taylor expansion of -1 in x
1.152 * [taylor]: Taking taylor expansion of x in x
1.153 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in x
1.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 x))))) in x
1.153 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 x)))) in x
1.153 * [taylor]: Taking taylor expansion of 1/3 in x
1.153 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
1.153 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.153 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.153 * [taylor]: Taking taylor expansion of -1 in x
1.153 * [taylor]: Taking taylor expansion of x in x
1.158 * * * [progress]: simplifying candidates
1.159 * [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))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (exp x) (exp x))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (+ 1 1)
  (+ (log (cbrt (exp x))) (log (cbrt (exp x))))
  (log (* (cbrt (exp x)) (cbrt (exp x))))
  (exp (* (cbrt (exp x)) (cbrt (exp x))))
  (* (exp x) (exp x))
  (* (cbrt (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (cbrt (* (cbrt (exp x)) (cbrt (exp x))))
  (* (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (exp x)) (cbrt (exp x))))
  (sqrt (* (cbrt (exp x)) (cbrt (exp x))))
  (sqrt (* (cbrt (exp x)) (cbrt (exp x))))
  (* (cbrt (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (* (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x)))) (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x)))))
  (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x))))
  (* (sqrt (cbrt (exp x))) (sqrt (cbrt (exp x))))
  (* (sqrt (cbrt (exp x))) (sqrt (cbrt (exp x))))
  (* 1 1)
  (* (cbrt (exp x)) (cbrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (* (sqrt (cbrt (exp x))) (cbrt (sqrt (exp x))))
  (* (sqrt (cbrt (exp x))) (cbrt (sqrt (exp x))))
  (* (sqrt (cbrt (exp x))) (sqrt (cbrt (exp x))))
  (* (sqrt (cbrt (exp x))) (sqrt (cbrt (exp x))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (exp x)) (cbrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (* (cbrt (exp x)) (cbrt (sqrt (exp x))))
  (* (cbrt (exp x)) (cbrt 1))
  (* (cbrt (exp x)) (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x)))))
  (* (cbrt (exp x)) (sqrt (cbrt (exp x))))
  (* (cbrt (exp x)) 1)
  (* (cbrt (cbrt (exp x))) (cbrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (exp x)))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (* (cbrt (cbrt (exp x))) (cbrt (exp x)))
  (* (sqrt (cbrt (exp x))) (cbrt (exp x)))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (log (cbrt (exp x)))
  (exp (cbrt (exp x)))
  (cbrt (* (cbrt (exp x)) (cbrt (exp x))))
  (cbrt (cbrt (exp x)))
  (cbrt (sqrt (exp x)))
  (cbrt (sqrt (exp x)))
  (cbrt 1)
  (cbrt (exp x))
  (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x))))
  (cbrt (cbrt (exp x)))
  (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (log (cbrt (exp x)))
  (exp (cbrt (exp x)))
  (cbrt (* (cbrt (exp x)) (cbrt (exp x))))
  (cbrt (cbrt (exp x)))
  (cbrt (sqrt (exp x)))
  (cbrt (sqrt (exp x)))
  (cbrt 1)
  (cbrt (exp x))
  (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x))))
  (cbrt (cbrt (exp x)))
  (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (- (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (+ (* 2/9 (pow x 2)) (+ (* 2/3 x) (pow 1 1/3)))
  (pow (pow (exp x) 2) 1/3)
  (pow (pow (exp x) 2) 1/3)
  (+ (* 1/18 (pow x 2)) (+ (* 1/3 x) (pow 1 1/3)))
  (exp (* 1/3 x))
  (exp (* 1/3 x))
  (+ (* 1/18 (pow x 2)) (+ (* 1/3 x) (pow 1 1/3)))
  (exp (* 1/3 x))
  (exp (* 1/3 x))
1.164 * * [simplify]: iteration  0 :  186  enodes  (cost  523 )
1.168 * * [simplify]: iteration  1 :  563  enodes  (cost  482 )
1.180 * * [simplify]: iteration  2 :  2291  enodes  (cost  458 )
1.228 * * [simplify]: iteration  3 :  5001  enodes  (cost  432 )
1.230 * [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))
  2/3
  2
  (pow (exp x) 2)
  (exp (* 2/3 x))
  2
  (* 2/3 x)
  (* 2/3 x)
  (exp (* (cbrt (exp x)) (cbrt (exp x))))
  (pow (exp x) 2)
  (* (cbrt (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (cbrt (* (cbrt (exp x)) (cbrt (exp x))))
  (pow (exp x) 2)
  (fabs (cbrt (exp x)))
  (fabs (cbrt (exp x)))
  (* (cbrt (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  1
  (exp (* 2/3 x))
  (pow (cbrt (cbrt (exp x))) 4)
  (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x))))
  (cbrt (exp x))
  (cbrt (exp x))
  1
  (exp (* 2/3 x))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (cbrt (exp x))
  (cbrt (exp x))
  2/3
  2
  (* (cbrt (exp x)) (cbrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (* (cbrt (exp x)) (cbrt (sqrt (exp x))))
  (cbrt (exp x))
  (pow (cbrt (cbrt (exp x))) 5)
  (pow (sqrt (cbrt (exp x))) 3)
  (cbrt (exp x))
  (pow (cbrt (cbrt (exp x))) 4)
  (* (cbrt (exp x)) (cbrt (sqrt (exp x))))
  (exp (* 2/3 x))
  (pow (cbrt (cbrt (exp x))) 4)
  (pow (sqrt (cbrt (exp x))) 3)
  (exp (* 2/3 x))
  (* 1/3 x)
  (exp (cbrt (exp x)))
  (cbrt (* (cbrt (exp x)) (cbrt (exp x))))
  (cbrt (cbrt (exp x)))
  (cbrt (sqrt (exp x)))
  (cbrt (sqrt (exp x)))
  1
  (cbrt (exp x))
  (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x))))
  (cbrt (cbrt (exp x)))
  (exp x)
  (sqrt (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (* 1/3 x)
  (exp (cbrt (exp x)))
  (cbrt (* (cbrt (exp x)) (cbrt (exp x))))
  (cbrt (cbrt (exp x)))
  (cbrt (sqrt (exp x)))
  (cbrt (sqrt (exp x)))
  1
  (cbrt (exp x))
  (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x))))
  (cbrt (cbrt (exp x)))
  (exp x)
  (sqrt (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (+ 1 (- (* x (+ 1/2 (* x 1/8))) (sqrt 1.0)))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (+ (+ (* 2/9 (pow x 2)) (* 2/3 x)) 1)
  (exp (* 2/3 x))
  (exp (* 2/3 x))
  (+ (+ (* 1/18 (pow x 2)) (* 1/3 x)) 1)
  (cbrt (exp x))
  (cbrt (exp x))
  (+ (+ (* 1/18 (pow x 2)) (* 1/3 x)) 1)
  (cbrt (exp x))
  (cbrt (exp x))
1.231 * * * [progress]: adding candidates to table
1.327 * [progress]: [Phase 3 of 3] Extracting.
1.327 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))> #<alt (λ (x) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))> #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (log (exp (- (sqrt (exp x)) (sqrt 1.0)))))))>)
1.328 * * * [regime-changes]: Trying 2 branch expressions: ((exp x) x)
1.328 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))> #<alt (λ (x) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))> #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (log (exp (- (sqrt (exp x)) (sqrt 1.0)))))))>)
1.355 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))> #<alt (λ (x) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))> #<alt (λ (x) (* (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (log (exp (- (sqrt (exp x)) (sqrt 1.0)))))))>)
1.381 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.382 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
1.382 * * [simplify]: iteration  0 :  15  enodes  (cost  7 )
1.383 * * [simplify]: iteration  1 :  15  enodes  (cost  7 )
1.383 * [simplify]: Simplified to:
   (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
2.866 * [regime-testing]: End program error score: 1.016959183430599
2.926 * [regime-testing]: Target error score: 40.61247862547067