1.722 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (- (exp x) 1.0) x)
0.032 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
0.033 * * [simplify]: iteration  1 :  10  enodes  (cost  6 )
0.034 * * [simplify]: iteration  2 :  13  enodes  (cost  6 )
0.035 * * [simplify]: iteration  3 :  15  enodes  (cost  6 )
0.036 * * [simplify]: iteration  done :  15  enodes  (cost  6 )
0.036 * [simplify]: Simplified to:
   (/ (- (exp x) 1.0) x)
0.037 * * [progress]: iteration 1 / 4
0.037 * * * [progress]: picking best candidate
0.038 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (exp x) 1.0) x))>
0.038 * * * [progress]: localizing error
0.042 * * * [progress]: generating rewritten candidates
0.042 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.047 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.059 * * * [progress]: generating series expansions
0.059 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.059 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
0.059 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.059 * [taylor]: Taking taylor expansion of (exp x) in x
0.059 * [taylor]: Taking taylor expansion of x in x
0.059 * [taylor]: Taking taylor expansion of 1.0 in x
0.059 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.059 * [taylor]: Taking taylor expansion of (exp x) in x
0.059 * [taylor]: Taking taylor expansion of x in x
0.059 * [taylor]: Taking taylor expansion of 1.0 in x
0.065 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
0.065 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.065 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of 1.0 in x
0.065 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.065 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of 1.0 in x
0.069 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
0.069 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.069 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.069 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.069 * [taylor]: Taking taylor expansion of -1 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 (/ -1 x)) 1.0) in x
0.070 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.070 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.070 * [taylor]: Taking taylor expansion of -1 in x
0.070 * [taylor]: Taking taylor expansion of x in x
0.070 * [taylor]: Taking taylor expansion of 1.0 in x
0.073 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.073 * [approximate]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in (x) around 0
0.073 * [taylor]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in x
0.073 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.073 * [taylor]: Taking taylor expansion of (exp x) in x
0.073 * [taylor]: Taking taylor expansion of x in x
0.073 * [taylor]: Taking taylor expansion of 1.0 in x
0.073 * [taylor]: Taking taylor expansion of x in x
0.075 * [taylor]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in x
0.075 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.075 * [taylor]: Taking taylor expansion of (exp x) in x
0.076 * [taylor]: Taking taylor expansion of x in x
0.076 * [taylor]: Taking taylor expansion of 1.0 in x
0.076 * [taylor]: Taking taylor expansion of x in x
0.082 * [approximate]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in (x) around 0
0.082 * [taylor]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.082 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of 1.0 in x
0.083 * [taylor]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.083 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of 1.0 in x
0.094 * [approximate]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in (x) around 0
0.094 * [taylor]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in x
0.094 * [taylor]: Taking taylor expansion of -1 in x
0.094 * [taylor]: Taking taylor expansion of (* x (- (exp (/ -1 x)) 1.0)) in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of (- (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 -1 in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.095 * [taylor]: Taking taylor expansion of 1.0 in x
0.095 * [taylor]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in x
0.095 * [taylor]: Taking taylor expansion of -1 in x
0.095 * [taylor]: Taking taylor expansion of (* x (- (exp (/ -1 x)) 1.0)) in x
0.095 * [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 -1 in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [taylor]: Taking taylor expansion of 1.0 in x
0.117 * * * [progress]: simplifying candidates
0.118 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (exp (exp x)) (exp 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (pow (exp x) 3) (pow 1.0 3))
  (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))
  (- 1.0)
  (- (* (exp x) (exp x)) (* 1.0 1.0))
  (+ (exp x) 1.0)
  (+ (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (- (log (- (exp x) 1.0)) (log x))
  (log (/ (- (exp x) 1.0) x))
  (exp (/ (- (exp x) 1.0) x))
  (/ (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (* (* x x) x))
  (* (cbrt (/ (- (exp x) 1.0) x)) (cbrt (/ (- (exp x) 1.0) x)))
  (cbrt (/ (- (exp x) 1.0) x))
  (* (* (/ (- (exp x) 1.0) x) (/ (- (exp x) 1.0) x)) (/ (- (exp x) 1.0) x))
  (sqrt (/ (- (exp x) 1.0) x))
  (sqrt (/ (- (exp x) 1.0) x))
  (- (- (exp x) 1.0))
  (- x)
  (/ (exp x) x)
  (/ 1.0 x)
  (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (- (exp x) 1.0)) (cbrt x))
  (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt x))
  (/ (cbrt (- (exp x) 1.0)) (sqrt x))
  (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) 1)
  (/ (cbrt (- (exp x) 1.0)) x)
  (/ (sqrt (- (exp x) 1.0)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- (exp x) 1.0)) (cbrt x))
  (/ (sqrt (- (exp x) 1.0)) (sqrt x))
  (/ (sqrt (- (exp x) 1.0)) (sqrt x))
  (/ (sqrt (- (exp x) 1.0)) 1)
  (/ (sqrt (- (exp x) 1.0)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- (exp x) 1.0) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- (exp x) 1.0) (sqrt x))
  (/ 1 1)
  (/ (- (exp x) 1.0) x)
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt x) (cbrt x)))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt x))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt x))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt x))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) 1)
  (/ (- (sqrt (exp x)) (sqrt 1.0)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- (exp x) 1.0) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- (exp x) 1.0) (sqrt x))
  (/ 1 1)
  (/ (- (exp x) 1.0) x)
  (/ 1 x)
  (/ x (- (exp x) 1.0))
  (/ (- (exp x) 1.0) (* (cbrt x) (cbrt x)))
  (/ (- (exp x) 1.0) (sqrt x))
  (/ (- (exp x) 1.0) 1)
  (/ x (cbrt (- (exp x) 1.0)))
  (/ x (sqrt (- (exp x) 1.0)))
  (/ x (- (exp x) 1.0))
  (/ x (- (sqrt (exp x)) (sqrt 1.0)))
  (/ x (- (exp x) 1.0))
  (* x (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))
  (* x (+ (exp x) 1.0))
  (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))
  (/ (- (exp x) 1.0) x)
  (* -1 (/ (- 1.0 (exp x)) x))
0.120 * * [simplify]: iteration  0 :  99  enodes  (cost  596 )
0.136 * * [simplify]: iteration  1 :  221  enodes  (cost  572 )
0.183 * * [simplify]: iteration  2 :  501  enodes  (cost  542 )
0.359 * * [simplify]: iteration  3 :  1229  enodes  (cost  537 )
1.292 * * [simplify]: iteration  4 :  4072  enodes  (cost  536 )
2.332 * * [simplify]: iteration  done :  5000  enodes  (cost  536 )
2.333 * [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 (+ (exp x) 1.0)) (exp (+ x x)))
  (- 1.0)
  (- (exp (+ x x)) (* 1.0 1.0))
  (+ (exp x) 1.0)
  (+ (sqrt 1.0) (sqrt (exp x)))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (log (/ (- (exp x) 1.0) x))
  (log (/ (- (exp x) 1.0) x))
  (exp (/ (- (exp x) 1.0) x))
  (pow (/ (- (exp x) 1.0) x) 3)
  (* (cbrt (/ (- (exp x) 1.0) x)) (cbrt (/ (- (exp x) 1.0) x)))
  (cbrt (/ (- (exp x) 1.0) x))
  (pow (/ (- (exp x) 1.0) x) 3)
  (sqrt (/ (- (exp x) 1.0) x))
  (sqrt (/ (- (exp x) 1.0) x))
  (- 1.0 (exp x))
  (- x)
  (/ (exp x) x)
  (/ 1.0 x)
  (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (- (exp x) 1.0)) (cbrt x))
  (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt x))
  (/ (cbrt (- (exp x) 1.0)) (sqrt x))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (/ (cbrt (- (exp x) 1.0)) x)
  (/ (sqrt (- (exp x) 1.0)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- (exp x) 1.0)) (cbrt x))
  (/ (sqrt (- (exp x) 1.0)) (sqrt x))
  (/ (sqrt (- (exp x) 1.0)) (sqrt x))
  (sqrt (- (exp x) 1.0))
  (/ (sqrt (- (exp x) 1.0)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- (exp x) 1.0) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- (exp x) 1.0) (sqrt x))
  1
  (/ (- (exp x) 1.0) x)
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt x) (cbrt x)))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt x))
  (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt x))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt x))
  (+ (sqrt 1.0) (sqrt (exp x)))
  (/ (- (sqrt (exp x)) (sqrt 1.0)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- (exp x) 1.0) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- (exp x) 1.0) (sqrt x))
  1
  (/ (- (exp x) 1.0) x)
  (/ 1 x)
  (/ x (- (exp x) 1.0))
  (/ (- (exp x) 1.0) (* (cbrt x) (cbrt x)))
  (/ (- (exp x) 1.0) (sqrt x))
  (- (exp x) 1.0)
  (/ x (cbrt (- (exp x) 1.0)))
  (/ x (sqrt (- (exp x) 1.0)))
  (/ x (- (exp x) 1.0))
  (/ x (- (sqrt (exp x)) (sqrt 1.0)))
  (/ x (- (exp x) 1.0))
  (* (+ (* 1.0 (+ (exp x) 1.0)) (exp (+ x x))) x)
  (* x (+ (exp x) 1.0))
  (+ x (* (* x x) (+ (* x 1/6) 1/2)))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ 1 (* x (+ (* x 1/6) 1/2)))
  (/ (- (exp x) 1.0) x)
  (/ (- (exp x) 1.0) x)
2.333 * * * [progress]: adding candidates to table
2.449 * * [progress]: iteration 2 / 4
2.449 * * * [progress]: picking best candidate
2.454 * * * * [pick]: Picked  #<alt (λ (x) (+ 1 (* x (+ (* x 1/6) 1/2))))>
2.454 * * * [progress]: localizing error
2.460 * * * [progress]: generating rewritten candidates
2.460 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2 1)
2.463 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
2.475 * * * [progress]: generating series expansions
2.475 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2 1)
2.475 * [approximate]: Taking taylor expansion of (* 1/6 x) in (x) around 0
2.475 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.475 * [taylor]: Taking taylor expansion of 1/6 in x
2.475 * [taylor]: Taking taylor expansion of x in x
2.475 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.475 * [taylor]: Taking taylor expansion of 1/6 in x
2.475 * [taylor]: Taking taylor expansion of x in x
2.485 * [approximate]: Taking taylor expansion of (/ 1/6 x) in (x) around 0
2.485 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
2.485 * [taylor]: Taking taylor expansion of 1/6 in x
2.485 * [taylor]: Taking taylor expansion of x in x
2.485 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
2.485 * [taylor]: Taking taylor expansion of 1/6 in x
2.485 * [taylor]: Taking taylor expansion of x in x
2.489 * [approximate]: Taking taylor expansion of (/ -1/6 x) in (x) around 0
2.489 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
2.489 * [taylor]: Taking taylor expansion of -1/6 in x
2.489 * [taylor]: Taking taylor expansion of x in x
2.489 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
2.489 * [taylor]: Taking taylor expansion of -1/6 in x
2.489 * [taylor]: Taking taylor expansion of x in x
2.493 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
2.493 * [approximate]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in (x) around 0
2.493 * [taylor]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in x
2.493 * [taylor]: Taking taylor expansion of x in x
2.493 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
2.493 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.493 * [taylor]: Taking taylor expansion of 1/6 in x
2.493 * [taylor]: Taking taylor expansion of x in x
2.493 * [taylor]: Taking taylor expansion of 1/2 in x
2.493 * [taylor]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in x
2.493 * [taylor]: Taking taylor expansion of x in x
2.493 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
2.493 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.493 * [taylor]: Taking taylor expansion of 1/6 in x
2.493 * [taylor]: Taking taylor expansion of x in x
2.493 * [taylor]: Taking taylor expansion of 1/2 in x
2.509 * [approximate]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in (x) around 0
2.509 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in x
2.509 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
2.509 * [taylor]: Taking taylor expansion of 1/2 in x
2.509 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.509 * [taylor]: Taking taylor expansion of 1/6 in x
2.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.509 * [taylor]: Taking taylor expansion of x in x
2.509 * [taylor]: Taking taylor expansion of x in x
2.510 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in x
2.510 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
2.510 * [taylor]: Taking taylor expansion of 1/2 in x
2.510 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.510 * [taylor]: Taking taylor expansion of 1/6 in x
2.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.510 * [taylor]: Taking taylor expansion of x in x
2.511 * [taylor]: Taking taylor expansion of x in x
2.526 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in (x) around 0
2.526 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in x
2.527 * [taylor]: Taking taylor expansion of -1 in x
2.527 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) x) in x
2.527 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
2.527 * [taylor]: Taking taylor expansion of 1/2 in x
2.527 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.527 * [taylor]: Taking taylor expansion of 1/6 in x
2.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.527 * [taylor]: Taking taylor expansion of x in x
2.527 * [taylor]: Taking taylor expansion of x in x
2.528 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in x
2.528 * [taylor]: Taking taylor expansion of -1 in x
2.528 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) x) in x
2.528 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
2.528 * [taylor]: Taking taylor expansion of 1/2 in x
2.528 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.528 * [taylor]: Taking taylor expansion of 1/6 in x
2.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.528 * [taylor]: Taking taylor expansion of x in x
2.528 * [taylor]: Taking taylor expansion of x in x
2.552 * * * [progress]: simplifying candidates
2.553 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* 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)
  (* x (+ (* x 1/6) 1/2))
  (+ (log x) (log (+ (* x 1/6) 1/2)))
  (log (* x (+ (* x 1/6) 1/2)))
  (exp (* x (+ (* x 1/6) 1/2)))
  (* (* (* x x) x) (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2)))
  (* (cbrt (* x (+ (* x 1/6) 1/2))) (cbrt (* x (+ (* x 1/6) 1/2))))
  (cbrt (* x (+ (* x 1/6) 1/2)))
  (* (* (* x (+ (* x 1/6) 1/2)) (* x (+ (* x 1/6) 1/2))) (* x (+ (* x 1/6) 1/2)))
  (sqrt (* x (+ (* x 1/6) 1/2)))
  (sqrt (* x (+ (* x 1/6) 1/2)))
  (* (sqrt x) (sqrt (+ (* x 1/6) 1/2)))
  (* (sqrt x) (sqrt (+ (* x 1/6) 1/2)))
  (* x (* x 1/6))
  (* x 1/2)
  (* (* x 1/6) x)
  (* 1/2 x)
  (* x (* (cbrt (+ (* x 1/6) 1/2)) (cbrt (+ (* x 1/6) 1/2))))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* x 1)
  (* (cbrt x) (+ (* x 1/6) 1/2))
  (* (sqrt x) (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
  (* x (+ (pow (* x 1/6) 3) (pow 1/2 3)))
  (* x (- (* (* x 1/6) (* x 1/6)) (* 1/2 1/2)))
  (* 1/6 x)
  (* 1/6 x)
  (* 1/6 x)
  (+ (* 1/6 (pow x 2)) (* 1/2 x))
  (+ (* 1/6 (pow x 2)) (* 1/2 x))
  (+ (* 1/6 (pow x 2)) (* 1/2 x))
2.555 * * [simplify]: iteration  0 :  70  enodes  (cost  356 )
2.576 * * [simplify]: iteration  1 :  182  enodes  (cost  328 )
2.614 * * [simplify]: iteration  2 :  462  enodes  (cost  298 )
2.779 * * [simplify]: iteration  3 :  1382  enodes  (cost  298 )
3.764 * * [simplify]: iteration  done :  5001  enodes  (cost  298 )
3.765 * [simplify]: Simplified to:
   (* 1/6 x)
  (log (* x 1/6))
  (log (* x 1/6))
  (exp (* x 1/6))
  (* (pow x 3) 1/216)
  (* (cbrt (* x 1/6)) (cbrt (* x 1/6)))
  (cbrt (* x 1/6))
  (* (pow x 3) 1/216)
  (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)
  (* 1/6 x)
  (* x (+ (* x 1/6) 1/2))
  (log (* x (+ (* x 1/6) 1/2)))
  (log (* x (+ (* x 1/6) 1/2)))
  (exp (* x (+ (* x 1/6) 1/2)))
  (pow (* x (+ (* x 1/6) 1/2)) 3)
  (* (cbrt (* x (+ (* x 1/6) 1/2))) (cbrt (* x (+ (* x 1/6) 1/2))))
  (cbrt (* x (+ (* x 1/6) 1/2)))
  (pow (* x (+ (* x 1/6) 1/2)) 3)
  (sqrt (* x (+ (* x 1/6) 1/2)))
  (sqrt (* x (+ (* x 1/6) 1/2)))
  (* (sqrt x) (sqrt (+ (* x 1/6) 1/2)))
  (* (sqrt x) (sqrt (+ (* x 1/6) 1/2)))
  (* 1/6 (* x x))
  (* x 1/2)
  (* 1/6 (* x x))
  (* x 1/2)
  (* x (* (cbrt (+ (* x 1/6) 1/2)) (cbrt (+ (* x 1/6) 1/2))))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  x
  (* (cbrt x) (+ (* x 1/6) 1/2))
  (* (sqrt x) (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
  (* (+ (pow (* 1/6 x) 3) 1/8) x)
  (* x (- (* (pow x 2) 1/36) 1/4))
  (* 1/6 x)
  (* 1/6 x)
  (* 1/6 x)
  (* x (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
3.765 * * * [progress]: adding candidates to table
3.835 * * [progress]: iteration 3 / 4
3.835 * * * [progress]: picking best candidate
3.839 * * * * [pick]: Picked  #<alt (λ (x) (+ 1 (log (exp (* x (+ (* x 1/6) 1/2))))))>
3.839 * * * [progress]: localizing error
3.847 * * * [progress]: generating rewritten candidates
3.847 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.849 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1)
3.854 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
3.865 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
3.869 * * * [progress]: generating series expansions
3.869 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.870 * [approximate]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in (x) around 0
3.870 * [taylor]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in x
3.870 * [taylor]: Taking taylor expansion of x in x
3.870 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
3.870 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.870 * [taylor]: Taking taylor expansion of 1/6 in x
3.870 * [taylor]: Taking taylor expansion of x in x
3.870 * [taylor]: Taking taylor expansion of 1/2 in x
3.870 * [taylor]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in x
3.870 * [taylor]: Taking taylor expansion of x in x
3.870 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
3.870 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.870 * [taylor]: Taking taylor expansion of 1/6 in x
3.870 * [taylor]: Taking taylor expansion of x in x
3.870 * [taylor]: Taking taylor expansion of 1/2 in x
3.886 * [approximate]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in (x) around 0
3.886 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in x
3.886 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
3.886 * [taylor]: Taking taylor expansion of 1/2 in x
3.886 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.886 * [taylor]: Taking taylor expansion of 1/6 in x
3.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.886 * [taylor]: Taking taylor expansion of x in x
3.887 * [taylor]: Taking taylor expansion of x in x
3.888 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in x
3.888 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
3.888 * [taylor]: Taking taylor expansion of 1/2 in x
3.888 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.888 * [taylor]: Taking taylor expansion of 1/6 in x
3.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.888 * [taylor]: Taking taylor expansion of x in x
3.888 * [taylor]: Taking taylor expansion of x in x
3.903 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in (x) around 0
3.903 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in x
3.903 * [taylor]: Taking taylor expansion of -1 in x
3.903 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) x) in x
3.903 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
3.903 * [taylor]: Taking taylor expansion of 1/2 in x
3.903 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.903 * [taylor]: Taking taylor expansion of 1/6 in x
3.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.903 * [taylor]: Taking taylor expansion of x in x
3.904 * [taylor]: Taking taylor expansion of x in x
3.905 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in x
3.905 * [taylor]: Taking taylor expansion of -1 in x
3.905 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) x) in x
3.905 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
3.905 * [taylor]: Taking taylor expansion of 1/2 in x
3.905 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.905 * [taylor]: Taking taylor expansion of 1/6 in x
3.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.905 * [taylor]: Taking taylor expansion of x in x
3.905 * [taylor]: Taking taylor expansion of x in x
3.928 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1)
3.929 * [approximate]: Taking taylor expansion of (* 1/6 x) in (x) around 0
3.929 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.929 * [taylor]: Taking taylor expansion of 1/6 in x
3.929 * [taylor]: Taking taylor expansion of x in x
3.929 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.929 * [taylor]: Taking taylor expansion of 1/6 in x
3.929 * [taylor]: Taking taylor expansion of x in x
3.937 * [approximate]: Taking taylor expansion of (/ 1/6 x) in (x) around 0
3.937 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
3.937 * [taylor]: Taking taylor expansion of 1/6 in x
3.937 * [taylor]: Taking taylor expansion of x in x
3.937 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
3.937 * [taylor]: Taking taylor expansion of 1/6 in x
3.937 * [taylor]: Taking taylor expansion of x in x
3.941 * [approximate]: Taking taylor expansion of (/ -1/6 x) in (x) around 0
3.941 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
3.941 * [taylor]: Taking taylor expansion of -1/6 in x
3.941 * [taylor]: Taking taylor expansion of x in x
3.942 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x
3.942 * [taylor]: Taking taylor expansion of -1/6 in x
3.942 * [taylor]: Taking taylor expansion of x in x
3.945 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
3.945 * [approximate]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in (x) around 0
3.945 * [taylor]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in x
3.945 * [taylor]: Taking taylor expansion of x in x
3.946 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
3.946 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.946 * [taylor]: Taking taylor expansion of 1/6 in x
3.946 * [taylor]: Taking taylor expansion of x in x
3.946 * [taylor]: Taking taylor expansion of 1/2 in x
3.946 * [taylor]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in x
3.946 * [taylor]: Taking taylor expansion of x in x
3.946 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
3.946 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.946 * [taylor]: Taking taylor expansion of 1/6 in x
3.946 * [taylor]: Taking taylor expansion of x in x
3.946 * [taylor]: Taking taylor expansion of 1/2 in x
3.961 * [approximate]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in (x) around 0
3.961 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in x
3.961 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
3.961 * [taylor]: Taking taylor expansion of 1/2 in x
3.961 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.961 * [taylor]: Taking taylor expansion of 1/6 in x
3.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.961 * [taylor]: Taking taylor expansion of x in x
3.961 * [taylor]: Taking taylor expansion of x in x
3.962 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in x
3.962 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
3.962 * [taylor]: Taking taylor expansion of 1/2 in x
3.962 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.962 * [taylor]: Taking taylor expansion of 1/6 in x
3.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.962 * [taylor]: Taking taylor expansion of x in x
3.962 * [taylor]: Taking taylor expansion of x in x
3.979 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in (x) around 0
3.979 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in x
3.979 * [taylor]: Taking taylor expansion of -1 in x
3.979 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) x) in x
3.979 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
3.979 * [taylor]: Taking taylor expansion of 1/2 in x
3.979 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.979 * [taylor]: Taking taylor expansion of 1/6 in x
3.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.979 * [taylor]: Taking taylor expansion of x in x
3.979 * [taylor]: Taking taylor expansion of x in x
3.980 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in x
3.980 * [taylor]: Taking taylor expansion of -1 in x
3.980 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) x) in x
3.980 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
3.980 * [taylor]: Taking taylor expansion of 1/2 in x
3.980 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.980 * [taylor]: Taking taylor expansion of 1/6 in x
3.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.980 * [taylor]: Taking taylor expansion of x in x
3.981 * [taylor]: Taking taylor expansion of x in x
4.003 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
4.003 * [approximate]: Taking taylor expansion of (exp (* x (+ (* 1/6 x) 1/2))) in (x) around 0
4.003 * [taylor]: Taking taylor expansion of (exp (* x (+ (* 1/6 x) 1/2))) in x
4.003 * [taylor]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in x
4.003 * [taylor]: Taking taylor expansion of x in x
4.004 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
4.004 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
4.004 * [taylor]: Taking taylor expansion of 1/6 in x
4.004 * [taylor]: Taking taylor expansion of x in x
4.004 * [taylor]: Taking taylor expansion of 1/2 in x
4.005 * [taylor]: Taking taylor expansion of (exp (* x (+ (* 1/6 x) 1/2))) in x
4.005 * [taylor]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in x
4.006 * [taylor]: Taking taylor expansion of x in x
4.006 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x
4.006 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
4.006 * [taylor]: Taking taylor expansion of 1/6 in x
4.006 * [taylor]: Taking taylor expansion of x in x
4.006 * [taylor]: Taking taylor expansion of 1/2 in x
4.011 * [approximate]: Taking taylor expansion of (exp (/ (+ 1/2 (* 1/6 (/ 1 x))) x)) in (x) around 0
4.011 * [taylor]: Taking taylor expansion of (exp (/ (+ 1/2 (* 1/6 (/ 1 x))) x)) in x
4.011 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in x
4.011 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
4.011 * [taylor]: Taking taylor expansion of 1/2 in x
4.011 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
4.011 * [taylor]: Taking taylor expansion of 1/6 in x
4.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.011 * [taylor]: Taking taylor expansion of x in x
4.011 * [taylor]: Taking taylor expansion of x in x
4.015 * [taylor]: Taking taylor expansion of (exp (/ (+ 1/2 (* 1/6 (/ 1 x))) x)) in x
4.015 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in x
4.015 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x
4.015 * [taylor]: Taking taylor expansion of 1/2 in x
4.015 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
4.015 * [taylor]: Taking taylor expansion of 1/6 in x
4.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.015 * [taylor]: Taking taylor expansion of x in x
4.015 * [taylor]: Taking taylor expansion of x in x
4.016 * [approximate]: Taking taylor expansion of (exp (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x))) in (x) around 0
4.016 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x))) in x
4.016 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in x
4.016 * [taylor]: Taking taylor expansion of -1 in x
4.016 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) x) in x
4.016 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
4.016 * [taylor]: Taking taylor expansion of 1/2 in x
4.017 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
4.017 * [taylor]: Taking taylor expansion of 1/6 in x
4.017 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.017 * [taylor]: Taking taylor expansion of x in x
4.017 * [taylor]: Taking taylor expansion of x in x
4.018 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x))) in x
4.018 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in x
4.018 * [taylor]: Taking taylor expansion of -1 in x
4.018 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) x) in x
4.018 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x
4.018 * [taylor]: Taking taylor expansion of 1/2 in x
4.018 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
4.018 * [taylor]: Taking taylor expansion of 1/6 in x
4.018 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.018 * [taylor]: Taking taylor expansion of x in x
4.019 * [taylor]: Taking taylor expansion of x in x
4.020 * * * [progress]: simplifying candidates
4.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (exp (* x (* x 1/6))))
  (log (exp (* x 1/2)))
  (log (exp (* (* x 1/6) x)))
  (log (exp (* 1/2 x)))
  (log (* (cbrt (exp (* x (+ (* x 1/6) 1/2)))) (cbrt (exp (* x (+ (* x 1/6) 1/2))))))
  (log (cbrt (exp (* x (+ (* x 1/6) 1/2)))))
  (log (sqrt (exp (* x (+ (* x 1/6) 1/2)))))
  (log (sqrt (exp (* x (+ (* x 1/6) 1/2)))))
  (log 1)
  (log (exp (* x (+ (* x 1/6) 1/2))))
  (log (exp x))
  (log (exp (* x (+ (* x 1/6) 1/2))))
  (log (exp x))
  (log (log (exp (* x (+ (* x 1/6) 1/2)))))
  (exp (log (exp (* x (+ (* x 1/6) 1/2)))))
  (* (cbrt (log (exp (* x (+ (* x 1/6) 1/2))))) (cbrt (log (exp (* x (+ (* x 1/6) 1/2))))))
  (cbrt (log (exp (* x (+ (* x 1/6) 1/2)))))
  (* (* (log (exp (* x (+ (* x 1/6) 1/2)))) (log (exp (* x (+ (* x 1/6) 1/2))))) (log (exp (* x (+ (* x 1/6) 1/2)))))
  (sqrt (log (exp (* x (+ (* x 1/6) 1/2)))))
  (sqrt (log (exp (* x (+ (* x 1/6) 1/2)))))
  (* 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)
  (* x (+ (* x 1/6) 1/2))
  (+ (log x) (log (+ (* x 1/6) 1/2)))
  (log (* x (+ (* x 1/6) 1/2)))
  (exp (* x (+ (* x 1/6) 1/2)))
  (* (* (* x x) x) (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2)))
  (* (cbrt (* x (+ (* x 1/6) 1/2))) (cbrt (* x (+ (* x 1/6) 1/2))))
  (cbrt (* x (+ (* x 1/6) 1/2)))
  (* (* (* x (+ (* x 1/6) 1/2)) (* x (+ (* x 1/6) 1/2))) (* x (+ (* x 1/6) 1/2)))
  (sqrt (* x (+ (* x 1/6) 1/2)))
  (sqrt (* x (+ (* x 1/6) 1/2)))
  (* (sqrt x) (sqrt (+ (* x 1/6) 1/2)))
  (* (sqrt x) (sqrt (+ (* x 1/6) 1/2)))
  (* x (* x 1/6))
  (* x 1/2)
  (* (* x 1/6) x)
  (* 1/2 x)
  (* x (* (cbrt (+ (* x 1/6) 1/2)) (cbrt (+ (* x 1/6) 1/2))))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  (* x 1)
  (* (cbrt x) (+ (* x 1/6) 1/2))
  (* (sqrt x) (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
  (* x (+ (pow (* x 1/6) 3) (pow 1/2 3)))
  (* x (- (* (* x 1/6) (* x 1/6)) (* 1/2 1/2)))
  (exp x)
  (exp (* x (* x 1/6)))
  (exp (* x 1/2))
  (exp (* (* x 1/6) x))
  (exp (* 1/2 x))
  (log (exp (* x (+ (* x 1/6) 1/2))))
  (exp (exp (* x (+ (* x 1/6) 1/2))))
  (* (cbrt (exp (* x (+ (* x 1/6) 1/2)))) (cbrt (exp (* x (+ (* x 1/6) 1/2)))))
  (cbrt (exp (* x (+ (* x 1/6) 1/2))))
  (* (* (exp (* x (+ (* x 1/6) 1/2))) (exp (* x (+ (* x 1/6) 1/2)))) (exp (* x (+ (* x 1/6) 1/2))))
  (sqrt (exp (* x (+ (* x 1/6) 1/2))))
  (sqrt (exp (* x (+ (* x 1/6) 1/2))))
  (+ (* 1/6 (pow x 2)) (* 1/2 x))
  (+ (* 1/6 (pow x 2)) (* 1/2 x))
  (+ (* 1/6 (pow x 2)) (* 1/2 x))
  (* 1/6 x)
  (* 1/6 x)
  (* 1/6 x)
  (+ (* 1/6 (pow x 2)) (* 1/2 x))
  (+ (* 1/6 (pow x 2)) (* 1/2 x))
  (+ (* 1/6 (pow x 2)) (* 1/2 x))
  (+ (* 7/24 (pow x 2)) (+ (* 1/2 x) 1))
  (exp (* x (+ (* 1/6 x) 1/2)))
  (exp (* x (+ (* 1/6 x) 1/2)))
4.024 * * [simplify]: iteration  0 :  105  enodes  (cost  722 )
4.048 * * [simplify]: iteration  1 :  230  enodes  (cost  648 )
4.095 * * [simplify]: iteration  2 :  562  enodes  (cost  585 )
4.322 * * [simplify]: iteration  3 :  1737  enodes  (cost  583 )
5.226 * * [simplify]: iteration  done :  5000  enodes  (cost  583 )
5.227 * [simplify]: Simplified to:
   (* x (* 1/6 x))
  (* x 1/2)
  (* x (* 1/6 x))
  (* x 1/2)
  (* 2 (log (cbrt (exp (* x (+ (* x 1/6) 1/2))))))
  (log (cbrt (exp (* x (+ (* x 1/6) 1/2)))))
  (log (sqrt (exp (* x (+ (* x 1/6) 1/2)))))
  (log (sqrt (exp (* x (+ (* x 1/6) 1/2)))))
  0
  (* x (+ (* x 1/6) 1/2))
  x
  (* x (+ (* x 1/6) 1/2))
  x
  (log (* x (+ (* x 1/6) 1/2)))
  (pow (exp x) (+ (* x 1/6) 1/2))
  (* (cbrt (* x (+ (* x 1/6) 1/2))) (cbrt (* x (+ (* x 1/6) 1/2))))
  (cbrt (* x (+ (* x 1/6) 1/2)))
  (* (pow x 3) (pow (+ (* x 1/6) 1/2) 3))
  (sqrt (* x (+ (* x 1/6) 1/2)))
  (sqrt (* x (+ (* x 1/6) 1/2)))
  (* 1/6 x)
  (log (* x 1/6))
  (log (* x 1/6))
  (exp (* x 1/6))
  (* (pow x 3) 1/216)
  (* (cbrt (* x 1/6)) (cbrt (* x 1/6)))
  (cbrt (* x 1/6))
  (* (pow x 3) 1/216)
  (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)
  (* 1/6 x)
  (* x (+ (* x 1/6) 1/2))
  (log (* x (+ (* x 1/6) 1/2)))
  (log (* x (+ (* x 1/6) 1/2)))
  (pow (exp x) (+ (* x 1/6) 1/2))
  (* (pow x 3) (pow (+ (* x 1/6) 1/2) 3))
  (* (cbrt (* x (+ (* x 1/6) 1/2))) (cbrt (* x (+ (* x 1/6) 1/2))))
  (cbrt (* x (+ (* x 1/6) 1/2)))
  (* (pow x 3) (pow (+ (* x 1/6) 1/2) 3))
  (sqrt (* x (+ (* x 1/6) 1/2)))
  (sqrt (* x (+ (* x 1/6) 1/2)))
  (* (sqrt x) (sqrt (+ (* x 1/6) 1/2)))
  (* (sqrt x) (sqrt (+ (* x 1/6) 1/2)))
  (* x (* 1/6 x))
  (* x 1/2)
  (* x (* 1/6 x))
  (* x 1/2)
  (* x (* (cbrt (+ (* x 1/6) 1/2)) (cbrt (+ (* x 1/6) 1/2))))
  (* x (sqrt (+ (* x 1/6) 1/2)))
  x
  (* (cbrt x) (+ (* x 1/6) 1/2))
  (* (sqrt x) (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
  (* x (+ 1/8 (pow (* 1/6 x) 3)))
  (* x (- (* (pow x 2) 1/36) 1/4))
  (exp x)
  (exp (* (* x 1/6) x))
  (sqrt (exp x))
  (exp (* (* x 1/6) x))
  (sqrt (exp x))
  (* x (+ (* x 1/6) 1/2))
  (exp (exp (* x (+ (* x 1/6) 1/2))))
  (* (cbrt (exp (* x (+ (* x 1/6) 1/2)))) (cbrt (exp (* x (+ (* x 1/6) 1/2)))))
  (cbrt (exp (* x (+ (* x 1/6) 1/2))))
  (pow (exp (* x (+ (* x 1/6) 1/2))) 3)
  (sqrt (exp (* x (+ (* x 1/6) 1/2))))
  (sqrt (exp (* x (+ (* x 1/6) 1/2))))
  (* x (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
  (* 1/6 x)
  (* 1/6 x)
  (* 1/6 x)
  (* x (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
  (* x (+ (* x 1/6) 1/2))
  (+ (* x (+ (* x 7/24) 1/2)) 1)
  (pow (exp x) (+ (* x 1/6) 1/2))
  (pow (exp x) (+ (* x 1/6) 1/2))
5.227 * * * [progress]: adding candidates to table
5.373 * * [progress]: iteration 4 / 4
5.373 * * * [progress]: picking best candidate
5.376 * * * * [pick]: Picked  #<alt (λ (x) (- (/ (exp x) x) (/ 1.0 x)))>
5.376 * * * [progress]: localizing error
5.381 * * * [progress]: generating rewritten candidates
5.381 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
5.400 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
5.404 * * * [progress]: generating series expansions
5.404 * * * * [progress]: [ 1 / 2 ] generating series at (2)
5.404 * [approximate]: Taking taylor expansion of (- (/ (exp x) x) (* 1.0 (/ 1 x))) in (x) around 0
5.404 * [taylor]: Taking taylor expansion of (- (/ (exp x) x) (* 1.0 (/ 1 x))) in x
5.404 * [taylor]: Taking taylor expansion of (/ (exp x) x) in x
5.404 * [taylor]: Taking taylor expansion of (exp x) in x
5.404 * [taylor]: Taking taylor expansion of x in x
5.404 * [taylor]: Taking taylor expansion of x in x
5.405 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
5.405 * [taylor]: Taking taylor expansion of 1.0 in x
5.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.405 * [taylor]: Taking taylor expansion of x in x
5.405 * [taylor]: Taking taylor expansion of (- (/ (exp x) x) (* 1.0 (/ 1 x))) in x
5.405 * [taylor]: Taking taylor expansion of (/ (exp x) x) in x
5.405 * [taylor]: Taking taylor expansion of (exp x) in x
5.405 * [taylor]: Taking taylor expansion of x in x
5.405 * [taylor]: Taking taylor expansion of x in x
5.406 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
5.406 * [taylor]: Taking taylor expansion of 1.0 in x
5.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.406 * [taylor]: Taking taylor expansion of x in x
5.416 * [approximate]: Taking taylor expansion of (- (* x (exp (/ 1 x))) (* 1.0 x)) in (x) around 0
5.416 * [taylor]: Taking taylor expansion of (- (* x (exp (/ 1 x))) (* 1.0 x)) in x
5.416 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 x))) in x
5.416 * [taylor]: Taking taylor expansion of x in x
5.417 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.417 * [taylor]: Taking taylor expansion of x in x
5.417 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
5.417 * [taylor]: Taking taylor expansion of 1.0 in x
5.417 * [taylor]: Taking taylor expansion of x in x
5.417 * [taylor]: Taking taylor expansion of (- (* x (exp (/ 1 x))) (* 1.0 x)) in x
5.417 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 x))) in x
5.417 * [taylor]: Taking taylor expansion of x in x
5.417 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.417 * [taylor]: Taking taylor expansion of x in x
5.417 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
5.417 * [taylor]: Taking taylor expansion of 1.0 in x
5.417 * [taylor]: Taking taylor expansion of x in x
5.433 * [approximate]: Taking taylor expansion of (- (* 1.0 x) (* x (exp (/ -1 x)))) in (x) around 0
5.433 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (exp (/ -1 x)))) in x
5.434 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
5.434 * [taylor]: Taking taylor expansion of 1.0 in x
5.434 * [taylor]: Taking taylor expansion of x in x
5.434 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 x))) in x
5.434 * [taylor]: Taking taylor expansion of x in x
5.434 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.434 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.434 * [taylor]: Taking taylor expansion of -1 in x
5.434 * [taylor]: Taking taylor expansion of x in x
5.434 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (exp (/ -1 x)))) in x
5.434 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
5.434 * [taylor]: Taking taylor expansion of 1.0 in x
5.434 * [taylor]: Taking taylor expansion of x in x
5.434 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 x))) in x
5.434 * [taylor]: Taking taylor expansion of x in x
5.434 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.434 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.434 * [taylor]: Taking taylor expansion of -1 in x
5.434 * [taylor]: Taking taylor expansion of x in x
5.454 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
5.454 * [approximate]: Taking taylor expansion of (/ (exp x) x) in (x) around 0
5.454 * [taylor]: Taking taylor expansion of (/ (exp x) x) in x
5.454 * [taylor]: Taking taylor expansion of (exp x) in x
5.454 * [taylor]: Taking taylor expansion of x in x
5.454 * [taylor]: Taking taylor expansion of x in x
5.454 * [taylor]: Taking taylor expansion of (/ (exp x) x) in x
5.455 * [taylor]: Taking taylor expansion of (exp x) in x
5.455 * [taylor]: Taking taylor expansion of x in x
5.455 * [taylor]: Taking taylor expansion of x in x
5.457 * [approximate]: Taking taylor expansion of (* x (exp (/ 1 x))) in (x) around 0
5.457 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 x))) in x
5.458 * [taylor]: Taking taylor expansion of x in x
5.458 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.458 * [taylor]: Taking taylor expansion of x in x
5.458 * [taylor]: Taking taylor expansion of (* x (exp (/ 1 x))) in x
5.458 * [taylor]: Taking taylor expansion of x in x
5.458 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.458 * [taylor]: Taking taylor expansion of x in x
5.466 * [approximate]: Taking taylor expansion of (* -1 (* x (exp (/ -1 x)))) in (x) around 0
5.466 * [taylor]: Taking taylor expansion of (* -1 (* x (exp (/ -1 x)))) in x
5.466 * [taylor]: Taking taylor expansion of -1 in x
5.466 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 x))) in x
5.466 * [taylor]: Taking taylor expansion of x in x
5.466 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.466 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.466 * [taylor]: Taking taylor expansion of -1 in x
5.466 * [taylor]: Taking taylor expansion of x in x
5.466 * [taylor]: Taking taylor expansion of (* -1 (* x (exp (/ -1 x)))) in x
5.466 * [taylor]: Taking taylor expansion of -1 in x
5.466 * [taylor]: Taking taylor expansion of (* x (exp (/ -1 x))) in x
5.466 * [taylor]: Taking taylor expansion of x in x
5.466 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.466 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.466 * [taylor]: Taking taylor expansion of -1 in x
5.466 * [taylor]: Taking taylor expansion of x in x
5.481 * * * [progress]: simplifying candidates
5.482 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (exp (/ (exp x) x)) (exp (/ 1.0 x)))
  (log (- (/ (exp x) x) (/ 1.0 x)))
  (exp (- (/ (exp x) x) (/ 1.0 x)))
  (* (cbrt (- (/ (exp x) x) (/ 1.0 x))) (cbrt (- (/ (exp x) x) (/ 1.0 x))))
  (cbrt (- (/ (exp x) x) (/ 1.0 x)))
  (* (* (- (/ (exp x) x) (/ 1.0 x)) (- (/ (exp x) x) (/ 1.0 x))) (- (/ (exp x) x) (/ 1.0 x)))
  (sqrt (- (/ (exp x) x) (/ 1.0 x)))
  (sqrt (- (/ (exp x) x) (/ 1.0 x)))
  (- (exp x) 1.0)
  (- (* (exp x) x) (* x 1.0))
  (* x x)
  (- (pow (/ (exp x) x) 3) (pow (/ 1.0 x) 3))
  (+ (* (/ (exp x) x) (/ (exp x) x)) (+ (* (/ 1.0 x) (/ 1.0 x)) (* (/ (exp x) x) (/ 1.0 x))))
  (- (/ 1.0 x))
  (- (* (/ (exp x) x) (/ (exp x) x)) (* (/ 1.0 x) (/ 1.0 x)))
  (+ (/ (exp x) x) (/ 1.0 x))
  (+ (sqrt (/ (exp x) x)) (sqrt (/ 1.0 x)))
  (- (sqrt (/ (exp x) x)) (sqrt (/ 1.0 x)))
  (+ (sqrt (/ (exp x) x)) (/ (sqrt 1.0) (sqrt x)))
  (- (sqrt (/ (exp x) x)) (/ (sqrt 1.0) (sqrt x)))
  (+ (/ (sqrt (exp x)) (sqrt x)) (sqrt (/ 1.0 x)))
  (- (/ (sqrt (exp x)) (sqrt x)) (sqrt (/ 1.0 x)))
  (+ (/ (sqrt (exp x)) (sqrt x)) (/ (sqrt 1.0) (sqrt x)))
  (- (/ (sqrt (exp x)) (sqrt x)) (/ (sqrt 1.0) (sqrt x)))
  (- (/ (exp x) (cbrt x)) (/ 1.0 (cbrt x)))
  (- (/ (exp x) (sqrt x)) (/ 1.0 (sqrt x)))
  (- (/ (exp x) x) (/ 1.0 x))
  (- (/ (exp x) x) (/ 1.0 x))
  (- (exp x) 1.0)
  (- (/ 1.0 x))
  (- x (log x))
  (log (/ (exp x) x))
  (exp (/ (exp x) x))
  (/ (* (* (exp x) (exp x)) (exp x)) (* (* x x) x))
  (* (cbrt (/ (exp x) x)) (cbrt (/ (exp x) x)))
  (cbrt (/ (exp x) x))
  (* (* (/ (exp x) x) (/ (exp x) x)) (/ (exp x) x))
  (sqrt (/ (exp x) x))
  (sqrt (/ (exp x) x))
  (- (exp x))
  (- x)
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (exp x)) (cbrt x))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt x))
  (/ (cbrt (exp x)) (sqrt x))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) 1)
  (/ (cbrt (exp x)) x)
  (/ (sqrt (exp x)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (exp x)) (cbrt x))
  (/ (sqrt (exp x)) (sqrt x))
  (/ (sqrt (exp x)) (sqrt x))
  (/ (sqrt (exp x)) 1)
  (/ (sqrt (exp x)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (exp x) (cbrt x))
  (/ 1 (sqrt x))
  (/ (exp x) (sqrt x))
  (/ 1 1)
  (/ (exp x) x)
  (/ 1 x)
  (/ x (exp x))
  (/ (exp x) (* (cbrt x) (cbrt x)))
  (/ (exp x) (sqrt x))
  (/ (exp x) 1)
  (/ x (cbrt (exp x)))
  (/ x (sqrt (exp x)))
  (/ x (exp x))
  (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))
  (/ (- (exp x) 1.0) x)
  (* -1 (/ (- 1.0 (exp x)) x))
  (+ 1 (+ (* 1/2 x) (/ 1 x)))
  (/ (exp x) x)
  (/ (exp x) x)
5.484 * * [simplify]: iteration  0 :  105  enodes  (cost  581 )
5.501 * * [simplify]: iteration  1 :  215  enodes  (cost  530 )
5.549 * * [simplify]: iteration  2 :  479  enodes  (cost  507 )
5.698 * * [simplify]: iteration  3 :  1191  enodes  (cost  505 )
6.507 * * [simplify]: iteration  4 :  3924  enodes  (cost  502 )
7.385 * * [simplify]: iteration  done :  5000  enodes  (cost  502 )
7.386 * [simplify]: Simplified to:
   (exp (/ (- (exp x) 1.0) x))
  (log (/ (- (exp x) 1.0) x))
  (exp (/ (- (exp x) 1.0) x))
  (* (cbrt (/ (- (exp x) 1.0) x)) (cbrt (/ (- (exp x) 1.0) x)))
  (cbrt (/ (- (exp x) 1.0) x))
  (pow (/ (- (exp x) 1.0) x) 3)
  (sqrt (/ (- (exp x) 1.0) x))
  (sqrt (/ (- (exp x) 1.0) x))
  (- (exp x) 1.0)
  (* x (- (exp x) 1.0))
  (* x x)
  (- (pow (/ (exp x) x) 3) (pow (/ 1.0 x) 3))
  (+ (* (/ (exp x) (* x x)) (+ 1.0 (exp x))) (* (/ 1.0 x) (/ 1.0 x)))
  (- (/ 1.0 x))
  (* (+ (/ (exp x) x) (/ 1.0 x)) (/ (- (exp x) 1.0) x))
  (+ (/ 1.0 x) (/ (exp x) x))
  (+ (sqrt (/ (exp x) x)) (sqrt (/ 1.0 x)))
  (- (sqrt (/ (exp x) x)) (sqrt (/ 1.0 x)))
  (+ (sqrt (/ (exp x) x)) (/ (sqrt 1.0) (sqrt x)))
  (- (sqrt (/ (exp x) x)) (/ (sqrt 1.0) (sqrt x)))
  (+ (/ (sqrt (exp x)) (sqrt x)) (sqrt (/ 1.0 x)))
  (- (/ (sqrt (exp x)) (sqrt x)) (sqrt (/ 1.0 x)))
  (+ (/ (sqrt (exp x)) (sqrt x)) (/ (sqrt 1.0) (sqrt x)))
  (- (/ (sqrt (exp x)) (sqrt x)) (/ (sqrt 1.0) (sqrt x)))
  (- (/ (exp x) (cbrt x)) (/ 1.0 (cbrt x)))
  (- (/ (exp x) (sqrt x)) (/ 1.0 (sqrt x)))
  (/ (- (exp x) 1.0) x)
  (/ (- (exp x) 1.0) x)
  (- (exp x) 1.0)
  (- (/ 1.0 x))
  (- x (log x))
  (- x (log x))
  (exp (/ (exp x) x))
  (pow (/ (exp x) x) 3)
  (* (cbrt (/ (exp x) x)) (cbrt (/ (exp x) x)))
  (cbrt (/ (exp x) x))
  (pow (/ (exp x) x) 3)
  (sqrt (/ (exp x) x))
  (sqrt (/ (exp x) x))
  (- (exp x))
  (- x)
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (exp x)) (cbrt x))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt x))
  (/ (cbrt (exp x)) (sqrt x))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (/ (cbrt (exp x)) x)
  (/ (sqrt (exp x)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (exp x)) (cbrt x))
  (/ (sqrt (exp x)) (sqrt x))
  (/ (sqrt (exp x)) (sqrt x))
  (sqrt (exp x))
  (/ (sqrt (exp x)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (exp x) (cbrt x))
  (/ 1 (sqrt x))
  (/ (exp x) (sqrt x))
  1
  (/ (exp x) x)
  (/ 1 x)
  (/ x (exp x))
  (/ (exp x) (* (cbrt x) (cbrt x)))
  (/ (exp x) (sqrt x))
  (exp x)
  (/ x (cbrt (exp x)))
  (/ x (sqrt (exp x)))
  (/ x (exp x))
  (+ 1 (* x (+ 1/2 (* x 1/6))))
  (/ (- (exp x) 1.0) x)
  (/ (- (exp x) 1.0) x)
  (+ 1 (+ (* 1/2 x) (/ 1 x)))
  (/ (exp x) x)
  (/ (exp x) x)
7.387 * * * [progress]: adding candidates to table
7.489 * [progress]: [Phase 3 of 3] Extracting.
7.489 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ 1 (log (exp (* x (+ (* x 1/6) 1/2))))))> #<alt (λ (x) (* (/ 1 (* (cbrt x) (cbrt x))) (- (/ (exp x) (cbrt x)) (/ 1.0 (cbrt x)))))> #<alt (λ (x) (- (/ (exp x) x) (/ 1.0 x)))> #<alt (λ (x) (/ (- (pow (/ (exp x) x) 3) (pow (/ 1.0 x) 3)) (+ (* (/ (exp x) (* x x)) (+ 1.0 (exp x))) (* (/ 1.0 x) (/ 1.0 x)))))>)
7.490 * * * [regime-changes]: Trying 1 branch expressions: (x)
7.490 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ 1 (log (exp (* x (+ (* x 1/6) 1/2))))))> #<alt (λ (x) (* (/ 1 (* (cbrt x) (cbrt x))) (- (/ (exp x) (cbrt x)) (/ 1.0 (cbrt x)))))> #<alt (λ (x) (- (/ (exp x) x) (/ 1.0 x)))> #<alt (λ (x) (/ (- (pow (/ (exp x) x) 3) (pow (/ 1.0 x) 3)) (+ (* (/ (exp x) (* x x)) (+ 1.0 (exp x))) (* (/ 1.0 x) (/ 1.0 x)))))>)
7.512 * * * [regime]: Found split indices: #<option (#s(si 2 81) #s(si 0 255))>
7.514 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (+ 1 (log (exp (* x (+ (* x 1/6) 1/2))))))> #<alt (λ (x) (* (/ 1 (* (cbrt x) (cbrt x))) (- (/ (exp x) (cbrt x)) (/ 1.0 (cbrt x)))))> #<alt (λ (x) (- (/ (exp x) x) (/ 1.0 x)))> #<alt (λ (x) (/ (- (pow (/ (exp x) x) 3) (pow (/ 1.0 x) 3)) (+ (* (/ (exp x) (* x x)) (+ 1.0 (exp x))) (* (/ 1.0 x) (/ 1.0 x)))))>)
7.537 * [regimes]: Found splitpoints: (#s(sp 2 x -0.00019061484402488725) #s(sp 0 x +nan.0)) , with alts (#<alt (λ (x) (+ 1 (log (exp (* x (+ (* x 1/6) 1/2))))))> #<alt (λ (x) (* (/ 1 (* (cbrt x) (cbrt x))) (- (/ (exp x) (cbrt x)) (/ 1.0 (cbrt x)))))> #<alt (λ (x) (- (/ (exp x) x) (/ 1.0 x)))> #<alt (λ (x) (/ (- (pow (/ (exp x) x) 3) (pow (/ 1.0 x) 3)) (+ (* (/ (exp x) (* x x)) (+ 1.0 (exp x))) (* (/ 1.0 x) (/ 1.0 x)))))>)
7.537 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= x -0.00019061484402488725) (- (/ (exp x) x) (/ 1.0 x)) (+ 1 (log (exp (* x (+ (* x 1/6) 1/2))))))
7.538 * * [simplify]: iteration  0 :  18  enodes  (cost  23 )
7.538 * * [simplify]: iteration  1 :  24  enodes  (cost  23 )
7.539 * * [simplify]: iteration  done :  24  enodes  (cost  23 )
7.539 * [simplify]: Simplified to:
   (if (<= x -0.00019061484402488725) (- (/ (exp x) x) (/ 1.0 x)) (+ 1 (log (exp (* x (+ (* x 1/6) 1/2))))))
8.585 * [regime-testing]: Baseline error score: 22.06106993705335
8.585 * [regime-testing]: Oracle error score: 0.05501242388487107
8.587 * [regime-testing]: End program error score: 0.3069772568054553
8.628 * [regime-testing]: Target error score: 39.84260532566571