15.509 * [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.044 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
0.045 * * [simplify]: iteration  2 :  8  enodes  (cost  4 )
0.045 * [simplify]: Simplified to:
   (/ (exp x) (- (exp x) 1.0))
0.045 * * [progress]: iteration 1 / 4
0.045 * * * [progress]: picking best candidate
0.047 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp x) (- (exp x) 1.0)))>
0.047 * * * [progress]: localizing error
0.054 * * * [progress]: generating rewritten candidates
0.054 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.059 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.069 * * * [progress]: generating series expansions
0.069 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.069 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
0.069 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.069 * [taylor]: Taking taylor expansion of (exp x) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of 1.0 in x
0.069 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.069 * [taylor]: Taking taylor expansion of (exp x) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of 1.0 in x
0.075 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
0.075 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.075 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.075 * [taylor]: Taking taylor expansion of x in x
0.075 * [taylor]: Taking taylor expansion of 1.0 in x
0.075 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.075 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.075 * [taylor]: Taking taylor expansion of x in x
0.075 * [taylor]: Taking taylor expansion of 1.0 in x
0.079 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
0.079 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.079 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.079 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.079 * [taylor]: Taking taylor expansion of -1 in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [taylor]: Taking taylor expansion of 1.0 in x
0.079 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.079 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.080 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.080 * [taylor]: Taking taylor expansion of -1 in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of 1.0 in x
0.084 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.084 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in (x) around 0
0.084 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
0.084 * [taylor]: Taking taylor expansion of (exp x) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.084 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.084 * [taylor]: Taking taylor expansion of (exp x) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.084 * [taylor]: Taking taylor expansion of 1.0 in x
0.086 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
0.086 * [taylor]: Taking taylor expansion of (exp x) in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.086 * [taylor]: Taking taylor expansion of (exp x) in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of 1.0 in x
0.094 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in (x) around 0
0.094 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
0.094 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.095 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.095 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [taylor]: Taking taylor expansion of 1.0 in x
0.096 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
0.096 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.096 * [taylor]: Taking taylor expansion of x in x
0.096 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.096 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.096 * [taylor]: Taking taylor expansion of x in x
0.096 * [taylor]: Taking taylor expansion of 1.0 in x
0.102 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in (x) around 0
0.102 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
0.102 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.102 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.102 * [taylor]: Taking taylor expansion of -1 in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.102 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.103 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.103 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.103 * [taylor]: Taking taylor expansion of -1 in x
0.103 * [taylor]: Taking taylor expansion of x in x
0.103 * [taylor]: Taking taylor expansion of 1.0 in x
0.104 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
0.104 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.104 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.104 * [taylor]: Taking taylor expansion of -1 in x
0.104 * [taylor]: Taking taylor expansion of x in x
0.104 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.104 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.104 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.104 * [taylor]: Taking taylor expansion of -1 in x
0.104 * [taylor]: Taking taylor expansion of x in x
0.104 * [taylor]: Taking taylor expansion of 1.0 in x
0.110 * * * [progress]: simplifying candidates
0.111 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (exp x)) (exp 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (pow (exp x) 3) (pow 1.0 3))
  (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))
  (- 1.0)
  (- (* (exp x) (exp x)) (* 1.0 1.0))
  (+ (exp x) 1.0)
  (+ (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (- 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)))
  (- (exp x))
  (- (- (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.115 * * [simplify]: iteration  0 :  180  enodes  (cost  378 )
0.119 * * [simplify]: iteration  1 :  542  enodes  (cost  357 )
0.129 * * [simplify]: iteration  2 :  2210  enodes  (cost  354 )
0.178 * * [simplify]: iteration  3 :  5001  enodes  (cost  354 )
0.180 * [simplify]: Simplified to:
   (exp (- (exp x) 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (pow (- (exp x) 1.0) 3)
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (pow (exp x) 3) (pow 1.0 3))
  (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
  (- 1.0)
  (- (* (exp x) (exp x)) (* 1.0 1.0))
  (+ (exp x) 1.0)
  (+ (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (- 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)))
  (- (exp x))
  (- (- (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.180 * * * [progress]: adding candidates to table
0.303 * * [progress]: iteration 2 / 4
0.303 * * * [progress]: picking best candidate
0.314 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))>
0.314 * * * [progress]: localizing error
0.323 * * * [progress]: generating rewritten candidates
0.323 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 2 1)
0.326 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.339 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.353 * * * [progress]: generating series expansions
0.353 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 2 1)
0.353 * [approximate]: Taking taylor expansion of (* 1/6 x) in (x) around 0
0.353 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.353 * [taylor]: Taking taylor expansion of 1/6 in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.353 * [taylor]: Taking taylor expansion of 1/6 in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.359 * [approximate]: Taking taylor expansion of (/ 1/6 x) in (x) around 0
0.359 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
0.359 * [taylor]: Taking taylor expansion of 1/6 in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.359 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
0.359 * [taylor]: Taking taylor expansion of 1/6 in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.363 * [approximate]: Taking taylor expansion of (/ -1/6 x) in (x) around 0
0.363 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
0.363 * [taylor]: Taking taylor expansion of -1/6 in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
0.363 * [taylor]: Taking taylor expansion of -1/6 in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.367 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.367 * [approximate]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in (x) around 0
0.367 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x
0.367 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
0.367 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.367 * [taylor]: Taking taylor expansion of 1/6 in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of 1/2 in x
0.367 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x
0.367 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
0.367 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.367 * [taylor]: Taking taylor expansion of 1/6 in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of 1/2 in x
0.389 * [approximate]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in (x) around 0
0.390 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
0.390 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
0.390 * [taylor]: Taking taylor expansion of 1/2 in x
0.390 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.390 * [taylor]: Taking taylor expansion of 1/6 in x
0.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.390 * [taylor]: Taking taylor expansion of x in x
0.390 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.390 * [taylor]: Taking taylor expansion of x in x
0.391 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
0.391 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
0.391 * [taylor]: Taking taylor expansion of 1/2 in x
0.391 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.391 * [taylor]: Taking taylor expansion of 1/6 in x
0.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.391 * [taylor]: Taking taylor expansion of x in x
0.391 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.391 * [taylor]: Taking taylor expansion of x in x
0.411 * [approximate]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in (x) around 0
0.411 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
0.411 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
0.411 * [taylor]: Taking taylor expansion of 1/2 in x
0.411 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.411 * [taylor]: Taking taylor expansion of 1/6 in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
0.413 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
0.413 * [taylor]: Taking taylor expansion of 1/2 in x
0.413 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.413 * [taylor]: Taking taylor expansion of 1/6 in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.434 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.434 * [approximate]: Taking taylor expansion of (/ (exp x) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))) in (x) around 0
0.434 * [taylor]: Taking taylor expansion of (/ (exp x) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))) in x
0.434 * [taylor]: Taking taylor expansion of (exp x) in x
0.435 * [taylor]: Taking taylor expansion of x in x
0.435 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) in x
0.435 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.435 * [taylor]: Taking taylor expansion of 1/2 in x
0.435 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.435 * [taylor]: Taking taylor expansion of x in x
0.435 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 3)) x) in x
0.435 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.435 * [taylor]: Taking taylor expansion of 1/6 in x
0.435 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.435 * [taylor]: Taking taylor expansion of x in x
0.435 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (/ (exp x) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))) in x
0.436 * [taylor]: Taking taylor expansion of (exp x) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) in x
0.436 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.436 * [taylor]: Taking taylor expansion of 1/2 in x
0.436 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 3)) x) in x
0.436 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.436 * [taylor]: Taking taylor expansion of 1/6 in x
0.436 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.443 * [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.444 * [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.444 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.444 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.444 * [taylor]: Taking taylor expansion of x in x
0.444 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x
0.444 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.444 * [taylor]: Taking taylor expansion of 1/2 in x
0.444 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.444 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.444 * [taylor]: Taking taylor expansion of x in x
0.445 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x
0.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.445 * [taylor]: Taking taylor expansion of x in x
0.445 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.445 * [taylor]: Taking taylor expansion of 1/6 in x
0.445 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.445 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.445 * [taylor]: Taking taylor expansion of x in x
0.446 * [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.447 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.447 * [taylor]: Taking taylor expansion of x in x
0.447 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x
0.447 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.447 * [taylor]: Taking taylor expansion of 1/2 in x
0.447 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.447 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.447 * [taylor]: Taking taylor expansion of x in x
0.447 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x
0.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.447 * [taylor]: Taking taylor expansion of x in x
0.448 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.448 * [taylor]: Taking taylor expansion of 1/6 in x
0.448 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.448 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.448 * [taylor]: Taking taylor expansion of x in x
0.458 * [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.458 * [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.458 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.458 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.458 * [taylor]: Taking taylor expansion of -1 in x
0.458 * [taylor]: Taking taylor expansion of x in x
0.458 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x
0.458 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.458 * [taylor]: Taking taylor expansion of 1/2 in x
0.458 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.458 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.458 * [taylor]: Taking taylor expansion of x in x
0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x
0.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.459 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.459 * [taylor]: Taking taylor expansion of 1/6 in x
0.459 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.459 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.466 * [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.466 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.466 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.466 * [taylor]: Taking taylor expansion of -1 in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.467 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x
0.467 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.467 * [taylor]: Taking taylor expansion of 1/2 in x
0.467 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.467 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.467 * [taylor]: Taking taylor expansion of x in x
0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x
0.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.468 * [taylor]: Taking taylor expansion of 1/6 in x
0.468 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.468 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.478 * * * [progress]: simplifying candidates
0.479 * [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)))
  (- (exp x))
  (- (+ (* (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)))
  (* 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))))
0.486 * * [simplify]: iteration  0 :  401  enodes  (cost  620 )
0.495 * * [simplify]: iteration  1 :  1835  enodes  (cost  574 )
0.536 * * [simplify]: iteration  2 :  5001  enodes  (cost  572 )
0.540 * [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)))
  (* (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)) x)
  (* (sqrt (pow x 2)) (sqrt (+ (* x 1/6) 1/2)))
  (* (sqrt (pow x 2)) (sqrt (+ (* x 1/6) 1/2)))
  (* (sqrt (+ (* x 1/6) 1/2)) x)
  (* (sqrt (+ (* x 1/6) 1/2)) x)
  (* (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 1/6) 1/2) x)
  (* (pow x 2) (+ (* x 1/6) 1/2))
  (* (+ (* x 1/6) 1/2) x)
  (* (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 1/6) 1/2) x)
  (* (pow x 2) (+ (pow (* x 1/6) 3) 1/8))
  (* (pow x 2) (- (* (* x 1/6) (* x 1/6)) 1/4))
  (- 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)))
  (- (exp x))
  (- (+ (* (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)))
  (* 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))))
0.540 * * * [progress]: adding candidates to table
0.727 * * [progress]: iteration 3 / 4
0.727 * * * [progress]: picking best candidate
0.742 * * * * [pick]: Picked  #<alt (λ (x) (/ (* (cbrt (exp x)) (cbrt (exp x))) (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (cbrt (exp x)))))>
0.742 * * * [progress]: localizing error
0.755 * * * [progress]: generating rewritten candidates
0.755 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1)
0.758 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
0.771 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.772 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.775 * * * [progress]: generating series expansions
0.775 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1)
0.775 * [approximate]: Taking taylor expansion of (* 1/6 x) in (x) around 0
0.775 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.775 * [taylor]: Taking taylor expansion of 1/6 in x
0.775 * [taylor]: Taking taylor expansion of x in x
0.775 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.775 * [taylor]: Taking taylor expansion of 1/6 in x
0.775 * [taylor]: Taking taylor expansion of x in x
0.780 * [approximate]: Taking taylor expansion of (/ 1/6 x) in (x) around 0
0.781 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
0.781 * [taylor]: Taking taylor expansion of 1/6 in x
0.781 * [taylor]: Taking taylor expansion of x in x
0.781 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
0.781 * [taylor]: Taking taylor expansion of 1/6 in x
0.781 * [taylor]: Taking taylor expansion of x in x
0.785 * [approximate]: Taking taylor expansion of (/ -1/6 x) in (x) around 0
0.785 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
0.785 * [taylor]: Taking taylor expansion of -1/6 in x
0.785 * [taylor]: Taking taylor expansion of x in x
0.785 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
0.785 * [taylor]: Taking taylor expansion of -1/6 in x
0.785 * [taylor]: Taking taylor expansion of x in x
0.789 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
0.789 * [approximate]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in (x) around 0
0.789 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x
0.789 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.789 * [taylor]: Taking taylor expansion of x in x
0.789 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
0.789 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.789 * [taylor]: Taking taylor expansion of 1/6 in x
0.789 * [taylor]: Taking taylor expansion of x in x
0.789 * [taylor]: Taking taylor expansion of 1/2 in x
0.789 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x
0.789 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.789 * [taylor]: Taking taylor expansion of x in x
0.789 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
0.789 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.789 * [taylor]: Taking taylor expansion of 1/6 in x
0.789 * [taylor]: Taking taylor expansion of x in x
0.789 * [taylor]: Taking taylor expansion of 1/2 in x
0.807 * [approximate]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in (x) around 0
0.807 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
0.807 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
0.807 * [taylor]: Taking taylor expansion of 1/2 in x
0.807 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.807 * [taylor]: Taking taylor expansion of 1/6 in x
0.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.807 * [taylor]: Taking taylor expansion of x in x
0.807 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.807 * [taylor]: Taking taylor expansion of x in x
0.808 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
0.808 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
0.808 * [taylor]: Taking taylor expansion of 1/2 in x
0.809 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.809 * [taylor]: Taking taylor expansion of 1/6 in x
0.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.809 * [taylor]: Taking taylor expansion of x in x
0.809 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.809 * [taylor]: Taking taylor expansion of x in x
0.833 * [approximate]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in (x) around 0
0.834 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
0.834 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
0.834 * [taylor]: Taking taylor expansion of 1/2 in x
0.834 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.834 * [taylor]: Taking taylor expansion of 1/6 in x
0.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.834 * [taylor]: Taking taylor expansion of x in x
0.834 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.834 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x
0.835 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
0.835 * [taylor]: Taking taylor expansion of 1/2 in x
0.835 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.835 * [taylor]: Taking taylor expansion of 1/6 in x
0.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.836 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.836 * [taylor]: Taking taylor expansion of x in x
0.857 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.857 * [approximate]: Taking taylor expansion of (pow (exp x) 1/3) in (x) around 0
0.857 * [taylor]: Taking taylor expansion of (pow (exp x) 1/3) in x
0.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp x)))) in x
0.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp x))) in x
0.857 * [taylor]: Taking taylor expansion of 1/3 in x
0.857 * [taylor]: Taking taylor expansion of (log (exp x)) in x
0.857 * [taylor]: Taking taylor expansion of (exp x) in x
0.857 * [taylor]: Taking taylor expansion of x in x
0.860 * [taylor]: Taking taylor expansion of (pow (exp x) 1/3) in x
0.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp x)))) in x
0.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp x))) in x
0.860 * [taylor]: Taking taylor expansion of 1/3 in x
0.860 * [taylor]: Taking taylor expansion of (log (exp x)) in x
0.860 * [taylor]: Taking taylor expansion of (exp x) in x
0.860 * [taylor]: Taking taylor expansion of x in x
0.866 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in (x) around 0
0.866 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in x
0.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 x))))) in x
0.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 x)))) in x
0.866 * [taylor]: Taking taylor expansion of 1/3 in x
0.866 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x
0.866 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.867 * [taylor]: Taking taylor expansion of x in x
0.867 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in x
0.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 x))))) in x
0.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 x)))) in x
0.867 * [taylor]: Taking taylor expansion of 1/3 in x
0.867 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x
0.867 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.867 * [taylor]: Taking taylor expansion of x in x
0.906 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in (x) around 0
0.906 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in x
0.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 x))))) in x
0.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 x)))) in x
0.906 * [taylor]: Taking taylor expansion of 1/3 in x
0.906 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
0.906 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.906 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.906 * [taylor]: Taking taylor expansion of -1 in x
0.906 * [taylor]: Taking taylor expansion of x in x
0.907 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in x
0.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 x))))) in x
0.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 x)))) in x
0.907 * [taylor]: Taking taylor expansion of 1/3 in x
0.907 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
0.907 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.907 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.907 * [taylor]: Taking taylor expansion of -1 in x
0.907 * [taylor]: Taking taylor expansion of x in x
0.939 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.939 * [approximate]: Taking taylor expansion of (pow (exp x) 1/3) in (x) around 0
0.939 * [taylor]: Taking taylor expansion of (pow (exp x) 1/3) in x
0.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp x)))) in x
0.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp x))) in x
0.940 * [taylor]: Taking taylor expansion of 1/3 in x
0.940 * [taylor]: Taking taylor expansion of (log (exp x)) in x
0.940 * [taylor]: Taking taylor expansion of (exp x) in x
0.940 * [taylor]: Taking taylor expansion of x in x
0.942 * [taylor]: Taking taylor expansion of (pow (exp x) 1/3) in x
0.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp x)))) in x
0.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp x))) in x
0.942 * [taylor]: Taking taylor expansion of 1/3 in x
0.942 * [taylor]: Taking taylor expansion of (log (exp x)) in x
0.942 * [taylor]: Taking taylor expansion of (exp x) in x
0.942 * [taylor]: Taking taylor expansion of x in x
0.949 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in (x) around 0
0.949 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in x
0.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 x))))) in x
0.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 x)))) in x
0.949 * [taylor]: Taking taylor expansion of 1/3 in x
0.949 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x
0.949 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.949 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.949 * [taylor]: Taking taylor expansion of x in x
0.949 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 1/3) in x
0.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 x))))) in x
0.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 x)))) in x
0.949 * [taylor]: Taking taylor expansion of 1/3 in x
0.949 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x
0.949 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.949 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.949 * [taylor]: Taking taylor expansion of x in x
0.981 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in (x) around 0
0.981 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in x
0.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 x))))) in x
0.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 x)))) in x
0.981 * [taylor]: Taking taylor expansion of 1/3 in x
0.981 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
0.981 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.982 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.982 * [taylor]: Taking taylor expansion of -1 in x
0.982 * [taylor]: Taking taylor expansion of x in x
0.982 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 1/3) in x
0.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 x))))) in x
0.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 x)))) in x
0.982 * [taylor]: Taking taylor expansion of 1/3 in x
0.982 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
0.982 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.982 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.982 * [taylor]: Taking taylor expansion of -1 in x
0.982 * [taylor]: Taking taylor expansion of x in x
1.021 * * * [progress]: simplifying candidates
1.022 * [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)))
  (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/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/18 (pow x 2)) (+ (* 1/3 x) 1))
  (exp (* 1/3 x))
  (exp (* 1/3 x))
  (+ (* 1/18 (pow x 2)) (+ (* 1/3 x) 1))
  (exp (* 1/3 x))
  (exp (* 1/3 x))
1.027 * * [simplify]: iteration  0 :  275  enodes  (cost  353 )
1.033 * * [simplify]: iteration  1 :  1231  enodes  (cost  320 )
1.065 * * [simplify]: iteration  2 :  5001  enodes  (cost  314 )
1.067 * [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)))
  (* (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)) x)
  (* (sqrt (pow x 2)) (sqrt (+ (* x 1/6) 1/2)))
  (* (sqrt (pow x 2)) (sqrt (+ (* x 1/6) 1/2)))
  (* (sqrt (+ (* x 1/6) 1/2)) x)
  (* (sqrt (+ (* x 1/6) 1/2)) x)
  (* (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 1/6) 1/2) x)
  (* (pow x 2) (+ (* x 1/6) 1/2))
  (* (+ (* x 1/6) 1/2) x)
  (* (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 1/6) 1/2) x)
  (* (pow x 2) (+ (pow (* x 1/6) 3) 1/8))
  (* (pow x 2) (- (* (* x 1/6) (* x 1/6)) 1/4))
  (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)))
  1
  (exp (* 1/3 x))
  (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x))))
  (cbrt (cbrt (exp x)))
  (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)))
  1
  (exp (* 1/3 x))
  (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x))))
  (cbrt (cbrt (exp x)))
  (exp x)
  (sqrt (cbrt (exp x)))
  (sqrt (cbrt (exp 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/18 (pow x 2)) (+ (* 1/3 x) 1))
  (exp (* 1/3 x))
  (exp (* 1/3 x))
  (+ (* 1/18 (pow x 2)) (+ (* 1/3 x) 1))
  (exp (* 1/3 x))
  (exp (* 1/3 x))
1.068 * * * [progress]: adding candidates to table
1.291 * * [progress]: iteration 4 / 4
1.291 * * * [progress]: picking best candidate
1.299 * * * * [pick]: Picked  #<alt (λ (x) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))>
1.300 * * * [progress]: localizing error
1.305 * * * [progress]: generating rewritten candidates
1.305 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
1.308 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
1.317 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.335 * * * [progress]: generating series expansions
1.335 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
1.335 * [approximate]: Taking taylor expansion of (* 1/12 x) in (x) around 0
1.335 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
1.335 * [taylor]: Taking taylor expansion of 1/12 in x
1.335 * [taylor]: Taking taylor expansion of x in x
1.335 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
1.335 * [taylor]: Taking taylor expansion of 1/12 in x
1.335 * [taylor]: Taking taylor expansion of x in x
1.341 * [approximate]: Taking taylor expansion of (/ 1/12 x) in (x) around 0
1.341 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x
1.341 * [taylor]: Taking taylor expansion of 1/12 in x
1.341 * [taylor]: Taking taylor expansion of x in x
1.341 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x
1.341 * [taylor]: Taking taylor expansion of 1/12 in x
1.341 * [taylor]: Taking taylor expansion of x in x
1.345 * [approximate]: Taking taylor expansion of (/ -1/12 x) in (x) around 0
1.345 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x
1.345 * [taylor]: Taking taylor expansion of -1/12 in x
1.345 * [taylor]: Taking taylor expansion of x in x
1.345 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x
1.345 * [taylor]: Taking taylor expansion of -1/12 in x
1.345 * [taylor]: Taking taylor expansion of x in x
1.349 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1.349 * [approximate]: Taking taylor expansion of (+ (* 1/12 x) (/ 1 x)) in (x) around 0
1.349 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (/ 1 x)) in x
1.349 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
1.349 * [taylor]: Taking taylor expansion of 1/12 in x
1.349 * [taylor]: Taking taylor expansion of x in x
1.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.349 * [taylor]: Taking taylor expansion of x in x
1.350 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (/ 1 x)) in x
1.350 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
1.350 * [taylor]: Taking taylor expansion of 1/12 in x
1.350 * [taylor]: Taking taylor expansion of x in x
1.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.350 * [taylor]: Taking taylor expansion of x in x
1.362 * [approximate]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in (x) around 0
1.362 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x
1.362 * [taylor]: Taking taylor expansion of x in x
1.362 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
1.362 * [taylor]: Taking taylor expansion of 1/12 in x
1.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.362 * [taylor]: Taking taylor expansion of x in x
1.362 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x
1.362 * [taylor]: Taking taylor expansion of x in x
1.362 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
1.362 * [taylor]: Taking taylor expansion of 1/12 in x
1.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.362 * [taylor]: Taking taylor expansion of x in x
1.374 * [approximate]: Taking taylor expansion of (- (+ x (* 1/12 (/ 1 x)))) in (x) around 0
1.375 * [taylor]: Taking taylor expansion of (- (+ x (* 1/12 (/ 1 x)))) in x
1.375 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.375 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
1.375 * [taylor]: Taking taylor expansion of 1/12 in x
1.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.375 * [taylor]: Taking taylor expansion of (- (+ x (* 1/12 (/ 1 x)))) in x
1.375 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.375 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
1.375 * [taylor]: Taking taylor expansion of 1/12 in x
1.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.394 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.395 * [approximate]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in (x) around 0
1.395 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in x
1.395 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
1.395 * [taylor]: Taking taylor expansion of 1/12 in x
1.395 * [taylor]: Taking taylor expansion of x in x
1.395 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x
1.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.395 * [taylor]: Taking taylor expansion of x in x
1.395 * [taylor]: Taking taylor expansion of 1/2 in x
1.395 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (+ (/ 1 x) 1/2)) in x
1.395 * [taylor]: Taking taylor expansion of (* 1/12 x) in x
1.395 * [taylor]: Taking taylor expansion of 1/12 in x
1.395 * [taylor]: Taking taylor expansion of x in x
1.395 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1/2) in x
1.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.395 * [taylor]: Taking taylor expansion of x in x
1.396 * [taylor]: Taking taylor expansion of 1/2 in x
1.399 * [approximate]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in (x) around 0
1.399 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in x
1.399 * [taylor]: Taking taylor expansion of x in x
1.399 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 x)) 1/2) in x
1.399 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
1.399 * [taylor]: Taking taylor expansion of 1/12 in x
1.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.399 * [taylor]: Taking taylor expansion of x in x
1.399 * [taylor]: Taking taylor expansion of 1/2 in x
1.399 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/12 (/ 1 x)) 1/2)) in x
1.399 * [taylor]: Taking taylor expansion of x in x
1.399 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 x)) 1/2) in x
1.399 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
1.399 * [taylor]: Taking taylor expansion of 1/12 in x
1.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.399 * [taylor]: Taking taylor expansion of x in x
1.400 * [taylor]: Taking taylor expansion of 1/2 in x
1.404 * [approximate]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in (x) around 0
1.404 * [taylor]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in x
1.404 * [taylor]: Taking taylor expansion of 1/2 in x
1.404 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x
1.404 * [taylor]: Taking taylor expansion of x in x
1.404 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
1.404 * [taylor]: Taking taylor expansion of 1/12 in x
1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.404 * [taylor]: Taking taylor expansion of x in x
1.404 * [taylor]: Taking taylor expansion of (- 1/2 (+ x (* 1/12 (/ 1 x)))) in x
1.404 * [taylor]: Taking taylor expansion of 1/2 in x
1.404 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x
1.404 * [taylor]: Taking taylor expansion of x in x
1.404 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x
1.404 * [taylor]: Taking taylor expansion of 1/12 in x
1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.404 * [taylor]: Taking taylor expansion of x in x
1.409 * * * [progress]: simplifying candidates
1.410 * [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))
  (* (exp 1/2) (* (exp (* 1/12 x)) (exp (/ 1 x))))
  (* (exp 1/2) (exp (+ (* 1/12 x) (/ 1 x))))
  (log (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
  (exp (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
  (* (cbrt (+ 1/2 (+ (* 1/12 x) (/ 1 x)))) (cbrt (+ 1/2 (+ (* 1/12 x) (/ 1 x)))))
  (cbrt (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
  (* (* (+ 1/2 (+ (* 1/12 x) (/ 1 x))) (+ 1/2 (+ (* 1/12 x) (/ 1 x)))) (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
  (sqrt (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
  (sqrt (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
  (+ (pow 1/2 3) (pow (+ (* 1/12 x) (/ 1 x)) 3))
  (+ (* 1/2 1/2) (- (* (+ (* 1/12 x) (/ 1 x)) (+ (* 1/12 x) (/ 1 x))) (* 1/2 (+ (* 1/12 x) (/ 1 x)))))
  (- (* 1/2 1/2) (* (+ (* 1/12 x) (/ 1 x)) (+ (* 1/12 x) (/ 1 x))))
  (- 1/2 (+ (* 1/12 x) (/ 1 x)))
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
  (+ 1/2 (* 1/12 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/2 (+ (* 1/12 x) (/ 1 x)))
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
1.414 * * [simplify]: iteration  0 :  200  enodes  (cost  216 )
1.418 * * [simplify]: iteration  1 :  705  enodes  (cost  205 )
1.437 * * [simplify]: iteration  2 :  3820  enodes  (cost  204 )
1.516 * * [simplify]: iteration  3 :  5002  enodes  (cost  204 )
1.518 * [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 x) (/ 1 x)) (- (* 1/144 (* x x)) 1/12))
  (+ (/ (- (/ 1 x)) x) (* 1/144 (* x x)))
  (- (* 1/12 x) (/ 1 x))
  (exp (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
  (exp (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
  (log (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
  (exp (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
  (* (cbrt (+ 1/2 (+ (* 1/12 x) (/ 1 x)))) (cbrt (+ 1/2 (+ (* 1/12 x) (/ 1 x)))))
  (cbrt (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
  (pow (+ 1/2 (+ (* 1/12 x) (/ 1 x))) 3)
  (sqrt (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
  (sqrt (+ 1/2 (+ (* 1/12 x) (/ 1 x))))
  (+ 1/8 (pow (+ (* 1/12 x) (/ 1 x)) 3))
  (+ (* (+ (* 1/12 x) (/ 1 x)) (- (+ (* 1/12 x) (/ 1 x)) 1/2)) 1/4)
  (- 1/4 (* (+ (* 1/12 x) (/ 1 x)) (+ (* 1/12 x) (/ 1 x))))
  (- 1/2 (+ (* 1/12 x) (/ 1 x)))
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
  (+ 1/2 (* 1/12 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/2 (+ (* 1/12 x) (/ 1 x)))
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
  (+ 1/2 (+ (* 1/12 x) (/ 1 x)))
1.518 * * * [progress]: adding candidates to table
1.595 * [progress]: [Phase 3 of 3] Extracting.
1.595 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (* (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (exp x) (cbrt (- (exp x) 1.0)))))> #<alt (λ (x) (/ (exp x) (log (exp (- (exp x) 1.0)))))> #<alt (λ (x) (/ (exp x) (/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))))> #<alt (λ (x) (+ 1/2 (/ (+ (pow (* 1/12 x) 3) (pow (/ 1 x) 3)) (+ (* (/ 1 x) (/ 1 x)) (- (* 1/144 (* x x)) 1/12)))))> #<alt (λ (x) (/ (* (cbrt (exp x)) (cbrt (exp x))) (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (cbrt (exp x)))))>)
1.596 * * * [regime-changes]: Trying 2 branch expressions: ((exp x) x)
1.596 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (* (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (exp x) (cbrt (- (exp x) 1.0)))))> #<alt (λ (x) (/ (exp x) (log (exp (- (exp x) 1.0)))))> #<alt (λ (x) (/ (exp x) (/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))))> #<alt (λ (x) (+ 1/2 (/ (+ (pow (* 1/12 x) 3) (pow (/ 1 x) 3)) (+ (* (/ 1 x) (/ 1 x)) (- (* 1/144 (* x x)) 1/12)))))> #<alt (λ (x) (/ (* (cbrt (exp x)) (cbrt (exp x))) (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (cbrt (exp x)))))>)
1.625 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (* (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (exp x) (cbrt (- (exp x) 1.0)))))> #<alt (λ (x) (/ (exp x) (log (exp (- (exp x) 1.0)))))>)
1.639 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)))> #<alt (λ (x) (/ 1 (- 1 (/ 1.0 (exp x)))))> #<alt (λ (x) (* (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (exp x) (cbrt (- (exp x) 1.0)))))> #<alt (λ (x) (/ (exp x) (log (exp (- (exp x) 1.0)))))> #<alt (λ (x) (/ (exp x) (/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))))> #<alt (λ (x) (+ 1/2 (/ (+ (pow (* 1/12 x) 3) (pow (/ 1 x) 3)) (+ (* (/ 1 x) (/ 1 x)) (- (* 1/144 (* x x)) 1/12)))))> #<alt (λ (x) (/ (* (cbrt (exp x)) (cbrt (exp x))) (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (cbrt (exp x)))))>)
1.663 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.664 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
1.664 * * [simplify]: iteration  0 :  15  enodes  (cost  7 )
1.665 * * [simplify]: iteration  1 :  15  enodes  (cost  7 )
1.665 * [simplify]: Simplified to:
   (/ (exp x) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x))
3.085 * [regime-testing]: Baseline error score: 1.0241226939598478
3.086 * [regime-testing]: Oracle error score: 0.01850918271574923
3.087 * [regime-testing]: End program error score: 1.0241226939598478
3.117 * [regime-testing]: Target error score: 40.80912053952239