5.478 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.012 * * * [progress]: [2/2] Setting up program.
0.013 * [progress]: [Phase 2 of 3] Improving.
0.013 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (/ 1.0 3.0))
0.016 * * [simplify]: iteration  0 :  6  enodes  (cost  2 )
0.017 * * [simplify]: iteration  1 :  6  enodes  (cost  2 )
0.017 * [simplify]: Simplified to:
   (+ x (/ 1.0 3.0))
0.017 * * [progress]: iteration 1 / 4
0.017 * * * [progress]: picking best candidate
0.018 * * * * [pick]: Picked  #<alt (λ (x) (+ x (/ 1.0 3.0)))>
0.019 * * * [progress]: localizing error
0.022 * * * [progress]: generating rewritten candidates
0.022 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.028 * * * [progress]: generating series expansions
0.028 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.029 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
0.029 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.029 * [taylor]: Taking taylor expansion of x in x
0.029 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.029 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.029 * [taylor]: Taking taylor expansion of x in x
0.029 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.031 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
0.031 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.031 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.031 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.031 * [taylor]: Taking taylor expansion of x in x
0.032 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.032 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.032 * [taylor]: Taking taylor expansion of x in x
0.037 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
0.037 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.037 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.037 * [taylor]: Taking taylor expansion of x in x
0.038 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.038 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.038 * [taylor]: Taking taylor expansion of x in x
0.048 * * * [progress]: simplifying candidates
0.048 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (* (exp x) (exp (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (* (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
0.051 * * [simplify]: iteration  0 :  82  enodes  (cost  61 )
0.053 * * [simplify]: iteration  1 :  218  enodes  (cost  55 )
0.057 * * [simplify]: iteration  2 :  532  enodes  (cost  55 )
0.065 * * [simplify]: iteration  3 :  1514  enodes  (cost  55 )
0.091 * * [simplify]: iteration  4 :  5001  enodes  (cost  55 )
0.092 * [simplify]: Simplified to:
   (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (pow (+ x (/ 1.0 3.0)) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (fma (/ 1.0 3.0) (- (/ 1.0 3.0) x) (* x x))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
0.092 * * * [progress]: adding candidates to table
0.121 * * [progress]: iteration 2 / 4
0.121 * * * [progress]: picking best candidate
0.126 * * * * [pick]: Picked  #<alt (λ (x) (expm1 (log1p (+ x (/ 1.0 3.0)))))>
0.126 * * * [progress]: localizing error
0.138 * * * [progress]: generating rewritten candidates
0.138 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.138 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
0.152 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.154 * * * [progress]: generating series expansions
0.154 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.154 * [approximate]: Taking taylor expansion of (expm1 (log1p (+ x 0.3333333333333333))) in (x) around 0
0.154 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ x 0.3333333333333333))) in x
0.155 * [taylor]: Rewrote expression to (- (exp (log1p (+ x 0.3333333333333333))) 1)
0.155 * [taylor]: Taking taylor expansion of (exp (log1p (+ x 0.3333333333333333))) in x
0.155 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
0.155 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
0.155 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
0.155 * [taylor]: Taking taylor expansion of 1 in x
0.155 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.155 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.157 * [taylor]: Taking taylor expansion of 1 in x
0.157 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ x 0.3333333333333333))) in x
0.157 * [taylor]: Rewrote expression to (- (exp (log1p (+ x 0.3333333333333333))) 1)
0.157 * [taylor]: Taking taylor expansion of (exp (log1p (+ x 0.3333333333333333))) in x
0.157 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
0.157 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
0.157 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
0.157 * [taylor]: Taking taylor expansion of 1 in x
0.157 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.157 * [taylor]: Taking taylor expansion of x in x
0.157 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.159 * [taylor]: Taking taylor expansion of 1 in x
0.185 * [approximate]: Taking taylor expansion of (expm1 (log1p (+ 0.3333333333333333 (/ 1 x)))) in (x) around 0
0.185 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
0.185 * [taylor]: Rewrote expression to (- (exp (log1p (+ 0.3333333333333333 (/ 1 x)))) 1)
0.186 * [taylor]: Taking taylor expansion of (exp (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
0.186 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
0.186 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
0.186 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
0.186 * [taylor]: Taking taylor expansion of 1 in x
0.186 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.186 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.186 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.186 * [taylor]: Taking taylor expansion of x in x
0.187 * [taylor]: Taking taylor expansion of 1 in x
0.187 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
0.187 * [taylor]: Rewrote expression to (- (exp (log1p (+ 0.3333333333333333 (/ 1 x)))) 1)
0.187 * [taylor]: Taking taylor expansion of (exp (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
0.187 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
0.187 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
0.187 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
0.187 * [taylor]: Taking taylor expansion of 1 in x
0.187 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.187 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.188 * [taylor]: Taking taylor expansion of x in x
0.189 * [taylor]: Taking taylor expansion of 1 in x
0.250 * [approximate]: Taking taylor expansion of (expm1 (log1p (- 0.3333333333333333 (/ 1 x)))) in (x) around 0
0.250 * [taylor]: Taking taylor expansion of (expm1 (log1p (- 0.3333333333333333 (/ 1 x)))) in x
0.250 * [taylor]: Rewrote expression to (- (exp (log1p (- 0.3333333333333333 (/ 1 x)))) 1)
0.250 * [taylor]: Taking taylor expansion of (exp (log1p (- 0.3333333333333333 (/ 1 x)))) in x
0.250 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
0.250 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
0.250 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
0.250 * [taylor]: Taking taylor expansion of 1 in x
0.250 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.250 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.250 * [taylor]: Taking taylor expansion of x in x
0.253 * [taylor]: Taking taylor expansion of 1 in x
0.253 * [taylor]: Taking taylor expansion of (expm1 (log1p (- 0.3333333333333333 (/ 1 x)))) in x
0.253 * [taylor]: Rewrote expression to (- (exp (log1p (- 0.3333333333333333 (/ 1 x)))) 1)
0.253 * [taylor]: Taking taylor expansion of (exp (log1p (- 0.3333333333333333 (/ 1 x)))) in x
0.253 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
0.253 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
0.253 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
0.253 * [taylor]: Taking taylor expansion of 1 in x
0.253 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.253 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.253 * [taylor]: Taking taylor expansion of x in x
0.256 * [taylor]: Taking taylor expansion of 1 in x
0.322 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
0.323 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
0.323 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.323 * [taylor]: Taking taylor expansion of x in x
0.323 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.323 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.323 * [taylor]: Taking taylor expansion of x in x
0.323 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.325 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
0.325 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.325 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.325 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.331 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
0.331 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.331 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.331 * [taylor]: Taking taylor expansion of x in x
0.331 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.331 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.331 * [taylor]: Taking taylor expansion of x in x
0.339 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.339 * [approximate]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in (x) around 0
0.339 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
0.339 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
0.339 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
0.339 * [taylor]: Taking taylor expansion of 1 in x
0.339 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.340 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
0.340 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
0.340 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
0.340 * [taylor]: Taking taylor expansion of 1 in x
0.340 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.340 * [taylor]: Taking taylor expansion of x in x
0.340 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.352 * [approximate]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in (x) around 0
0.352 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
0.352 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
0.352 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
0.352 * [taylor]: Taking taylor expansion of 1 in x
0.352 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.352 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
0.353 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
0.353 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
0.353 * [taylor]: Taking taylor expansion of 1 in x
0.353 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.353 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.366 * [approximate]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in (x) around 0
0.366 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
0.366 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
0.366 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
0.366 * [taylor]: Taking taylor expansion of 1 in x
0.366 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.366 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
0.367 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
0.367 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
0.367 * [taylor]: Taking taylor expansion of 1 in x
0.367 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.367 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.387 * * * [progress]: simplifying candidates
0.388 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp (log1p (+ x (/ 1.0 3.0))))
  (expm1 (expm1 (log1p (+ x (/ 1.0 3.0)))))
  (log1p (expm1 (log1p (+ x (/ 1.0 3.0)))))
  (log (expm1 (log1p (+ x (/ 1.0 3.0)))))
  (exp (expm1 (log1p (+ x (/ 1.0 3.0)))))
  (* (cbrt (expm1 (log1p (+ x (/ 1.0 3.0))))) (cbrt (expm1 (log1p (+ x (/ 1.0 3.0))))))
  (cbrt (expm1 (log1p (+ x (/ 1.0 3.0)))))
  (* (* (expm1 (log1p (+ x (/ 1.0 3.0)))) (expm1 (log1p (+ x (/ 1.0 3.0))))) (expm1 (log1p (+ x (/ 1.0 3.0)))))
  (sqrt (expm1 (log1p (+ x (/ 1.0 3.0)))))
  (sqrt (expm1 (log1p (+ x (/ 1.0 3.0)))))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (* (exp x) (exp (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (* (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (+ 1 (+ x (/ 1.0 3.0)))
  (expm1 (log1p (+ x (/ 1.0 3.0))))
  (log1p (log1p (+ x (/ 1.0 3.0))))
  (log (log1p (+ x (/ 1.0 3.0))))
  (exp (log1p (+ x (/ 1.0 3.0))))
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (log1p (+ x (/ 1.0 3.0))))
  (* (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))) (log1p (+ x (/ 1.0 3.0))))
  (sqrt (log1p (+ x (/ 1.0 3.0))))
  (sqrt (log1p (+ x (/ 1.0 3.0))))
  (- (+ 0.33333333333333326 (+ (* 0.375 (pow x 2)) (* 1.0 x))) (* 0.6666666666666666 (/ (pow x 2) (pow 1.3333333333333333 2))))
  (- (+ (* 1.3333333333333333 (/ (exp (- (log (/ 1 x)))) x)) (exp (- (log (/ 1 x))))) (+ 1 (* 1.1102230246251565e-16 (/ (exp (- (log (/ 1 x)))) (pow x 4)))))
  (- (+ (exp (- (log -1) (log (/ -1 x)))) (* 1.3333333333333333 (/ (exp (- (log -1) (log (/ -1 x)))) x))) (+ (* 1.1102230246251565e-16 (/ (exp (- (log -1) (log (/ -1 x)))) (pow x 4))) 1))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (- (+ (log 1.3333333333333333) (* 0.75 x)) (* 1/2 (/ (pow x 2) (pow 1.3333333333333333 2))))
  (- (* 1.3333333333333333 (/ 1 x)) (+ (* 0.8888888888888888 (/ 1 (pow x 2))) (log (/ 1 x))))
  (- (+ (log -1) (* 1.3333333333333333 (/ 1 x))) (+ (* 0.8888888888888888 (/ 1 (pow x 2))) (log (/ -1 x))))
0.392 * * [simplify]: iteration  0 :  260  enodes  (cost  226 )
0.396 * * [simplify]: iteration  1 :  783  enodes  (cost  208 )
0.409 * * [simplify]: iteration  2 :  2838  enodes  (cost  182 )
0.466 * * [simplify]: iteration  3 :  5002  enodes  (cost  173 )
0.467 * [simplify]: Simplified to:
   (exp (log1p (+ x (/ 1.0 3.0))))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (pow (+ x (/ 1.0 3.0)) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (pow (+ x (/ 1.0 3.0)) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (fma (/ 1.0 3.0) (- (/ 1.0 3.0) x) (pow x 2))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (+ 1 (+ x (/ 1.0 3.0)))
  (+ x (/ 1.0 3.0))
  (log1p (log1p (+ x (/ 1.0 3.0))))
  (log (log1p (+ x (/ 1.0 3.0))))
  (exp (log1p (+ x (/ 1.0 3.0))))
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (log1p (+ x (/ 1.0 3.0))))
  (pow (log1p (+ x (/ 1.0 3.0))) 3)
  (sqrt (log1p (+ x (/ 1.0 3.0))))
  (sqrt (log1p (+ x (/ 1.0 3.0))))
  (fma x (+ (* 0.375 x) 1.0) (- 0.33333333333333326 (* 0.6666666666666666 (/ (pow x 2) (pow 1.3333333333333333 2)))))
  (+ x (fma 1.3333333333333333 1 (- (- 1) (* (/ 1.1102230246251565e-16 (pow x 4)) (* 1 x)))))
  (+ x (fma 1.3333333333333333 1 (- (- 1) (* (/ 1.1102230246251565e-16 (pow x 4)) (* 1 x)))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (fma x 0.75 (- (log 1.3333333333333333) (* 1/2 (/ (pow x 2) (pow 1.3333333333333333 2)))))
  (fma (/ 1 x) (- 1.3333333333333333 (/ 0.8888888888888888 x)) (log x))
  (fma (/ 1 x) (- 1.3333333333333333 (/ 0.8888888888888888 x)) (log x))
0.467 * * * [progress]: adding candidates to table
0.554 * * [progress]: iteration 3 / 4
0.554 * * * [progress]: picking best candidate
0.557 * * * * [pick]: Picked  #<alt (λ (x) (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))>
0.557 * * * [progress]: localizing error
0.570 * * * [progress]: generating rewritten candidates
0.571 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.571 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.572 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.574 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
0.581 * * * [progress]: generating series expansions
0.581 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.582 * [approximate]: Taking taylor expansion of (expm1 (log1p (+ x 0.3333333333333333))) in (x) around 0
0.582 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ x 0.3333333333333333))) in x
0.582 * [taylor]: Rewrote expression to (- (exp (log1p (+ x 0.3333333333333333))) 1)
0.582 * [taylor]: Taking taylor expansion of (exp (log1p (+ x 0.3333333333333333))) in x
0.582 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
0.582 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
0.582 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
0.582 * [taylor]: Taking taylor expansion of 1 in x
0.582 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.582 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.583 * [taylor]: Taking taylor expansion of 1 in x
0.583 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ x 0.3333333333333333))) in x
0.583 * [taylor]: Rewrote expression to (- (exp (log1p (+ x 0.3333333333333333))) 1)
0.583 * [taylor]: Taking taylor expansion of (exp (log1p (+ x 0.3333333333333333))) in x
0.583 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
0.583 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
0.583 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
0.583 * [taylor]: Taking taylor expansion of 1 in x
0.583 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.583 * [taylor]: Taking taylor expansion of x in x
0.583 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.585 * [taylor]: Taking taylor expansion of 1 in x
0.610 * [approximate]: Taking taylor expansion of (expm1 (log1p (+ 0.3333333333333333 (/ 1 x)))) in (x) around 0
0.610 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
0.610 * [taylor]: Rewrote expression to (- (exp (log1p (+ 0.3333333333333333 (/ 1 x)))) 1)
0.610 * [taylor]: Taking taylor expansion of (exp (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
0.610 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
0.610 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
0.610 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
0.610 * [taylor]: Taking taylor expansion of 1 in x
0.610 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.610 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.610 * [taylor]: Taking taylor expansion of x in x
0.612 * [taylor]: Taking taylor expansion of 1 in x
0.612 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
0.612 * [taylor]: Rewrote expression to (- (exp (log1p (+ 0.3333333333333333 (/ 1 x)))) 1)
0.612 * [taylor]: Taking taylor expansion of (exp (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
0.612 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
0.612 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
0.612 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
0.612 * [taylor]: Taking taylor expansion of 1 in x
0.612 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.612 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.612 * [taylor]: Taking taylor expansion of x in x
0.614 * [taylor]: Taking taylor expansion of 1 in x
0.678 * [approximate]: Taking taylor expansion of (expm1 (log1p (- 0.3333333333333333 (/ 1 x)))) in (x) around 0
0.678 * [taylor]: Taking taylor expansion of (expm1 (log1p (- 0.3333333333333333 (/ 1 x)))) in x
0.678 * [taylor]: Rewrote expression to (- (exp (log1p (- 0.3333333333333333 (/ 1 x)))) 1)
0.678 * [taylor]: Taking taylor expansion of (exp (log1p (- 0.3333333333333333 (/ 1 x)))) in x
0.678 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
0.678 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
0.678 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
0.678 * [taylor]: Taking taylor expansion of 1 in x
0.678 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.678 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of 1 in x
0.681 * [taylor]: Taking taylor expansion of (expm1 (log1p (- 0.3333333333333333 (/ 1 x)))) in x
0.681 * [taylor]: Rewrote expression to (- (exp (log1p (- 0.3333333333333333 (/ 1 x)))) 1)
0.681 * [taylor]: Taking taylor expansion of (exp (log1p (- 0.3333333333333333 (/ 1 x)))) in x
0.681 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
0.681 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
0.681 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
0.681 * [taylor]: Taking taylor expansion of 1 in x
0.681 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.681 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.684 * [taylor]: Taking taylor expansion of 1 in x
0.756 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.756 * [approximate]: Taking taylor expansion of (pow (log1p (+ x 0.3333333333333333)) 3) in (x) around 0
0.756 * [taylor]: Taking taylor expansion of (pow (log1p (+ x 0.3333333333333333)) 3) in x
0.756 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
0.756 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
0.756 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
0.756 * [taylor]: Taking taylor expansion of 1 in x
0.756 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.756 * [taylor]: Taking taylor expansion of x in x
0.756 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.757 * [taylor]: Taking taylor expansion of (pow (log1p (+ x 0.3333333333333333)) 3) in x
0.757 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
0.757 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
0.757 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
0.757 * [taylor]: Taking taylor expansion of 1 in x
0.757 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.757 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.797 * [approximate]: Taking taylor expansion of (pow (log1p (+ 0.3333333333333333 (/ 1 x))) 3) in (x) around 0
0.797 * [taylor]: Taking taylor expansion of (pow (log1p (+ 0.3333333333333333 (/ 1 x))) 3) in x
0.797 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
0.797 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
0.797 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
0.797 * [taylor]: Taking taylor expansion of 1 in x
0.797 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.797 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.797 * [taylor]: Taking taylor expansion of x in x
0.799 * [taylor]: Taking taylor expansion of (pow (log1p (+ 0.3333333333333333 (/ 1 x))) 3) in x
0.799 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
0.799 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
0.799 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
0.799 * [taylor]: Taking taylor expansion of 1 in x
0.799 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.799 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.799 * [taylor]: Taking taylor expansion of x in x
0.823 * [approximate]: Taking taylor expansion of (pow (log1p (- 0.3333333333333333 (/ 1 x))) 3) in (x) around 0
0.823 * [taylor]: Taking taylor expansion of (pow (log1p (- 0.3333333333333333 (/ 1 x))) 3) in x
0.824 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
0.824 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
0.824 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
0.824 * [taylor]: Taking taylor expansion of 1 in x
0.824 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.824 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.824 * [taylor]: Taking taylor expansion of x in x
0.825 * [taylor]: Taking taylor expansion of (pow (log1p (- 0.3333333333333333 (/ 1 x))) 3) in x
0.825 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
0.826 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
0.826 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
0.826 * [taylor]: Taking taylor expansion of 1 in x
0.826 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.826 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.826 * [taylor]: Taking taylor expansion of x in x
0.859 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.859 * [approximate]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in (x) around 0
0.859 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
0.859 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
0.859 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
0.859 * [taylor]: Taking taylor expansion of 1 in x
0.859 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.859 * [taylor]: Taking taylor expansion of x in x
0.859 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.860 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
0.860 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
0.860 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
0.860 * [taylor]: Taking taylor expansion of 1 in x
0.860 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.860 * [taylor]: Taking taylor expansion of x in x
0.860 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.873 * [approximate]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in (x) around 0
0.873 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
0.873 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
0.873 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
0.873 * [taylor]: Taking taylor expansion of 1 in x
0.873 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.873 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.873 * [taylor]: Taking taylor expansion of x in x
0.874 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
0.875 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
0.875 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
0.875 * [taylor]: Taking taylor expansion of 1 in x
0.875 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.875 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.875 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.875 * [taylor]: Taking taylor expansion of x in x
0.889 * [approximate]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in (x) around 0
0.889 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
0.889 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
0.889 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
0.889 * [taylor]: Taking taylor expansion of 1 in x
0.889 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.889 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.889 * [taylor]: Taking taylor expansion of x in x
0.890 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
0.890 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
0.890 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
0.890 * [taylor]: Taking taylor expansion of 1 in x
0.890 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.890 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.890 * [taylor]: Taking taylor expansion of x in x
0.911 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
0.912 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
0.912 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.912 * [taylor]: Taking taylor expansion of x in x
0.912 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.912 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.912 * [taylor]: Taking taylor expansion of x in x
0.912 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.914 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
0.914 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.914 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.914 * [taylor]: Taking taylor expansion of x in x
0.914 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.914 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.914 * [taylor]: Taking taylor expansion of x in x
0.920 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
0.920 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.920 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.920 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.921 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.921 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.928 * * * [progress]: simplifying candidates
0.929 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (expm1 (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))
  (log1p (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))
  (log (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))
  (exp (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))
  (* (cbrt (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))) (cbrt (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))))
  (cbrt (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))
  (* (* (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))) (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))) (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))
  (sqrt (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))
  (sqrt (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))
  (expm1 (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (log1p (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (* (log (log1p (+ x (/ 1.0 3.0)))) 3)
  (* (log (log1p (+ x (/ 1.0 3.0)))) 3)
  (* 1 3)
  (pow (log1p (+ x (/ 1.0 3.0))) (* (cbrt 3) (cbrt 3)))
  (pow (log1p (+ x (/ 1.0 3.0))) (sqrt 3))
  (pow (log1p (+ x (/ 1.0 3.0))) 1)
  (pow (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0))))) 3)
  (pow (cbrt (log1p (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 3)
  (pow 1 3)
  (pow (log1p (+ x (/ 1.0 3.0))) 3)
  (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))
  (log (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (exp (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (* (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)) (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (* (* (pow (log1p (+ x (/ 1.0 3.0))) 3) (pow (log1p (+ x (/ 1.0 3.0))) 3)) (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (pow (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0))))) 3)
  (pow (cbrt (log1p (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 3)
  (pow 1 3)
  (pow (log1p (+ x (/ 1.0 3.0))) 3)
  (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))
  (sqrt (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (sqrt (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (pow (log1p (+ x (/ 1.0 3.0))) (/ 3 2))
  (pow (log1p (+ x (/ 1.0 3.0))) (/ 3 2))
  (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (log1p (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (log (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (exp (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (cbrt (pow (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0))))) 3))
  (cbrt (pow (cbrt (log1p (+ x (/ 1.0 3.0)))) 3))
  (cbrt (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 3))
  (cbrt (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (log1p (+ x (/ 1.0 3.0))))
  (cbrt (* (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)) (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))
  (cbrt (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (cbrt (pow (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0))))) 3))
  (cbrt (pow (cbrt (log1p (+ x (/ 1.0 3.0)))) 3))
  (cbrt (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 3))
  (cbrt (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (cbrt (log1p (+ x (/ 1.0 3.0))))
  (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (sqrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (cbrt (sqrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (cbrt 1)
  (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (cbrt (pow (log1p (+ x (/ 1.0 3.0))) (/ 3 2)))
  (cbrt (pow (log1p (+ x (/ 1.0 3.0))) (/ 3 2)))
  (* (cbrt (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))) (cbrt (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))
  (cbrt (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (* (* (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)) (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))) (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (sqrt (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (sqrt (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (* (exp x) (exp (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (* (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (- (+ 0.33333333333333326 (+ (* 0.375 (pow x 2)) (* 1.0 x))) (* 0.6666666666666666 (/ (pow x 2) (pow 1.3333333333333333 2))))
  (- (+ (* 1.3333333333333333 (/ (exp (- (log (/ 1 x)))) x)) (exp (- (log (/ 1 x))))) (+ 1 (* 1.1102230246251565e-16 (/ (exp (- (log (/ 1 x)))) (pow x 4)))))
  (- (+ (exp (- (log -1) (log (/ -1 x)))) (* 1.3333333333333333 (/ (exp (- (log -1) (log (/ -1 x)))) x))) (+ (* 1.1102230246251565e-16 (/ (exp (- (log -1) (log (/ -1 x)))) (pow x 4))) 1))
  (- (+ (* 1.6875 (* (log 1.3333333333333333) (pow x 2))) (+ (* 2.25 (* (pow (log 1.3333333333333333) 2) x)) (pow (log 1.3333333333333333) 3))) (* 3/2 (/ (* (pow (log 1.3333333333333333) 2) (pow x 2)) (pow 1.3333333333333333 2))))
  (- (* 4.0 (/ (pow (log (/ 1 x)) 2) x)) (+ (pow (log (/ 1 x)) 3) (+ (* 5.333333333333333 (/ (log (/ 1 x)) (pow x 2))) (* 2.6666666666666665 (/ (pow (log (/ 1 x)) 2) (pow x 2))))))
  (- (+ (* 3 (* (log -1) (pow (log (/ -1 x)) 2))) (+ (* 5.333333333333333 (/ (* (log -1) (log (/ -1 x))) (pow x 2))) (+ (* 4.0 (/ (pow (log (/ -1 x)) 2) x)) (+ (* 4.0 (/ (pow (log -1) 2) x)) (+ (* 5.333333333333333 (/ (log -1) (pow x 2))) (pow (log -1) 3)))))) (+ (pow (log (/ -1 x)) 3) (+ (* 3 (* (pow (log -1) 2) (log (/ -1 x)))) (+ (* 7.999999999999999 (/ (* (log -1) (log (/ -1 x))) x)) (+ (* 2.6666666666666665 (/ (pow (log (/ -1 x)) 2) (pow x 2))) (+ (* 2.6666666666666665 (/ (pow (log -1) 2) (pow x 2))) (* 5.333333333333333 (/ (log (/ -1 x)) (pow x 2)))))))))
  (- (+ (log 1.3333333333333333) (* 0.75 x)) (* 1/2 (/ (pow x 2) (pow 1.3333333333333333 2))))
  (- (* 1.3333333333333333 (/ 1 x)) (+ (* 0.8888888888888888 (/ 1 (pow x 2))) (log (/ 1 x))))
  (- (+ (log -1) (* 1.3333333333333333 (/ 1 x))) (+ (* 0.8888888888888888 (/ 1 (pow x 2))) (log (/ -1 x))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
0.936 * * [simplify]: iteration  0 :  547  enodes  (cost  621 )
0.946 * * [simplify]: iteration  1 :  2127  enodes  (cost  538 )
0.977 * * [simplify]: iteration  2 :  5001  enodes  (cost  524 )
0.980 * [simplify]: Simplified to:
   (exp (log1p (+ x (/ 1.0 3.0))))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (pow (+ x (/ 1.0 3.0)) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (expm1 (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (log1p (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (log (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (log (pow (log1p (+ x (/ 1.0 3.0))) 3))
  3
  (pow (log1p (+ x (/ 1.0 3.0))) (* (cbrt 3) (cbrt 3)))
  (pow (log1p (+ x (/ 1.0 3.0))) (sqrt 3))
  (log1p (+ x (/ 1.0 3.0)))
  (pow (log1p (+ x (/ 1.0 3.0))) 2)
  (log1p (+ x (/ 1.0 3.0)))
  (pow (log1p (+ x (/ 1.0 3.0))) 3/2)
  (pow (log1p (+ x (/ 1.0 3.0))) 3/2)
  1
  (pow (log1p (+ x (/ 1.0 3.0))) 3)
  (pow (log1p (+ x (/ 1.0 3.0))) 2)
  (log (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (exp (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (pow (log1p (+ x (/ 1.0 3.0))) 2)
  (log1p (+ x (/ 1.0 3.0)))
  (pow (pow (log1p (+ x (/ 1.0 3.0))) 3) 3)
  (pow (log1p (+ x (/ 1.0 3.0))) 2)
  (log1p (+ x (/ 1.0 3.0)))
  (pow (log1p (+ x (/ 1.0 3.0))) 3/2)
  (pow (log1p (+ x (/ 1.0 3.0))) 3/2)
  1
  (pow (log1p (+ x (/ 1.0 3.0))) 3)
  (pow (log1p (+ x (/ 1.0 3.0))) 2)
  (sqrt (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (sqrt (pow (log1p (+ x (/ 1.0 3.0))) 3))
  (pow (log1p (+ x (/ 1.0 3.0))) 3/2)
  (pow (log1p (+ x (/ 1.0 3.0))) 3/2)
  (+ x (/ 1.0 3.0))
  (log1p (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (log (log1p (+ x (/ 1.0 3.0))))
  (exp (log1p (+ x (/ 1.0 3.0))))
  (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (log1p (+ x (/ 1.0 3.0))))
  (sqrt (log1p (+ x (/ 1.0 3.0))))
  (sqrt (log1p (+ x (/ 1.0 3.0))))
  1
  (log1p (+ x (/ 1.0 3.0)))
  (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (log1p (+ x (/ 1.0 3.0))))
  (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (log1p (+ x (/ 1.0 3.0))))
  (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (log1p (+ x (/ 1.0 3.0))))
  (sqrt (log1p (+ x (/ 1.0 3.0))))
  (sqrt (log1p (+ x (/ 1.0 3.0))))
  1
  (log1p (+ x (/ 1.0 3.0)))
  (cbrt (log1p (+ x (/ 1.0 3.0))))
  (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (sqrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  (cbrt (sqrt (pow (log1p (+ x (/ 1.0 3.0))) 3)))
  1
  (log1p (+ x (/ 1.0 3.0)))
  (sqrt (log1p (+ x (/ 1.0 3.0))))
  (sqrt (log1p (+ x (/ 1.0 3.0))))
  (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (log1p (+ x (/ 1.0 3.0))))
  (pow (log1p (+ x (/ 1.0 3.0))) 3)
  (sqrt (log1p (+ x (/ 1.0 3.0))))
  (sqrt (log1p (+ x (/ 1.0 3.0))))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (pow (+ x (/ 1.0 3.0)) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (fma (/ 1.0 3.0) (- (/ 1.0 3.0) x) (pow x 2))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (+ 0.33333333333333326 (- (fma 0.375 (pow x 2) (* 1.0 x)) (* 0.6666666666666666 (/ (pow x 2) (pow 1.3333333333333333 2)))))
  (fma 1.3333333333333333 (/ 1 (* x (/ 1 x))) (- (exp (- (log (/ 1 x)))) (+ 1 (* 1.1102230246251565e-16 (/ (exp (- (log (/ 1 x)))) (pow x 4))))))
  (fma 1.3333333333333333 (/ -1 (* x (/ -1 x))) (- (exp (- (log -1) (log (/ -1 x)))) (fma 1.1102230246251565e-16 (/ (exp (- (log -1) (log (/ -1 x)))) (pow x 4)) 1)))
  (fma (* 1.6875 (log 1.3333333333333333)) (pow x 2) (- (fma 2.25 (* (pow (log 1.3333333333333333) 2) x) (pow (log 1.3333333333333333) 3)) (* 3/2 (/ (* (pow (log 1.3333333333333333) 2) (pow x 2)) (pow 1.3333333333333333 2)))))
  (- (- (* 4.0 (/ (pow (log (/ 1 x)) 2) x)) (pow (log (/ 1 x)) 3)) (fma 5.333333333333333 (/ (log (/ 1 x)) (pow x 2)) (* 2.6666666666666665 (/ (pow (log (/ 1 x)) 2) (pow x 2)))))
  (- (- (fma 3 (* (log -1) (pow (log (/ -1 x)) 2)) (fma 5.333333333333333 (/ (* (log -1) (log (/ -1 x))) (pow x 2)) (fma 4.0 (/ (pow (log (/ -1 x)) 2) x) (fma 4.0 (/ (pow (log -1) 2) x) (fma 5.333333333333333 (/ (log -1) (pow x 2)) (pow (log -1) 3)))))) (pow (log (/ -1 x)) 3)) (fma 3 (* (pow (log -1) 2) (log (/ -1 x))) (fma 7.999999999999999 (/ (* (log -1) (log (/ -1 x))) x) (fma 2.6666666666666665 (/ (pow (log (/ -1 x)) 2) (pow x 2)) (fma 2.6666666666666665 (/ (pow (log -1) 2) (pow x 2)) (* 5.333333333333333 (/ (log (/ -1 x)) (pow x 2))))))))
  (fma x 0.75 (- (log 1.3333333333333333) (* 1/2 (/ (pow x 2) (pow 1.3333333333333333 2)))))
  (fma 1.3333333333333333 (/ 1 x) (- (fma 0.8888888888888888 (/ 1 (pow x 2)) (log (/ 1 x)))))
  (fma 1.3333333333333333 (/ 1 x) (- (log -1) (fma 0.8888888888888888 (/ 1 (pow x 2)) (log (/ -1 x)))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
0.980 * * * [progress]: adding candidates to table
1.153 * * [progress]: iteration 4 / 4
1.153 * * * [progress]: picking best candidate
1.157 * * * * [pick]: Picked  #<alt (λ (x) (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))>
1.157 * * * [progress]: localizing error
1.169 * * * [progress]: generating rewritten candidates
1.169 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.169 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.172 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.173 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.180 * * * [progress]: generating series expansions
1.180 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.181 * [approximate]: Taking taylor expansion of (expm1 (log1p (+ x 0.3333333333333333))) in (x) around 0
1.181 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ x 0.3333333333333333))) in x
1.181 * [taylor]: Rewrote expression to (- (exp (log1p (+ x 0.3333333333333333))) 1)
1.181 * [taylor]: Taking taylor expansion of (exp (log1p (+ x 0.3333333333333333))) in x
1.181 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
1.181 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
1.181 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
1.181 * [taylor]: Taking taylor expansion of 1 in x
1.181 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.181 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.183 * [taylor]: Taking taylor expansion of 1 in x
1.183 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ x 0.3333333333333333))) in x
1.183 * [taylor]: Rewrote expression to (- (exp (log1p (+ x 0.3333333333333333))) 1)
1.183 * [taylor]: Taking taylor expansion of (exp (log1p (+ x 0.3333333333333333))) in x
1.183 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
1.183 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
1.183 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
1.183 * [taylor]: Taking taylor expansion of 1 in x
1.183 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.183 * [taylor]: Taking taylor expansion of x in x
1.183 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.184 * [taylor]: Taking taylor expansion of 1 in x
1.212 * [approximate]: Taking taylor expansion of (expm1 (log1p (+ 0.3333333333333333 (/ 1 x)))) in (x) around 0
1.212 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
1.212 * [taylor]: Rewrote expression to (- (exp (log1p (+ 0.3333333333333333 (/ 1 x)))) 1)
1.212 * [taylor]: Taking taylor expansion of (exp (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
1.212 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
1.212 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
1.212 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
1.213 * [taylor]: Taking taylor expansion of 1 in x
1.213 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.213 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.213 * [taylor]: Taking taylor expansion of x in x
1.214 * [taylor]: Taking taylor expansion of 1 in x
1.214 * [taylor]: Taking taylor expansion of (expm1 (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
1.214 * [taylor]: Rewrote expression to (- (exp (log1p (+ 0.3333333333333333 (/ 1 x)))) 1)
1.214 * [taylor]: Taking taylor expansion of (exp (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
1.214 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
1.215 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
1.215 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
1.215 * [taylor]: Taking taylor expansion of 1 in x
1.215 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.215 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.215 * [taylor]: Taking taylor expansion of x in x
1.216 * [taylor]: Taking taylor expansion of 1 in x
1.284 * [approximate]: Taking taylor expansion of (expm1 (log1p (- 0.3333333333333333 (/ 1 x)))) in (x) around 0
1.284 * [taylor]: Taking taylor expansion of (expm1 (log1p (- 0.3333333333333333 (/ 1 x)))) in x
1.284 * [taylor]: Rewrote expression to (- (exp (log1p (- 0.3333333333333333 (/ 1 x)))) 1)
1.284 * [taylor]: Taking taylor expansion of (exp (log1p (- 0.3333333333333333 (/ 1 x)))) in x
1.284 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
1.284 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
1.285 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
1.285 * [taylor]: Taking taylor expansion of 1 in x
1.285 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.285 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.285 * [taylor]: Taking taylor expansion of x in x
1.287 * [taylor]: Taking taylor expansion of 1 in x
1.287 * [taylor]: Taking taylor expansion of (expm1 (log1p (- 0.3333333333333333 (/ 1 x)))) in x
1.287 * [taylor]: Rewrote expression to (- (exp (log1p (- 0.3333333333333333 (/ 1 x)))) 1)
1.287 * [taylor]: Taking taylor expansion of (exp (log1p (- 0.3333333333333333 (/ 1 x)))) in x
1.287 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
1.287 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
1.287 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
1.287 * [taylor]: Taking taylor expansion of 1 in x
1.287 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.287 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.287 * [taylor]: Taking taylor expansion of x in x
1.290 * [taylor]: Taking taylor expansion of 1 in x
1.364 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.365 * [approximate]: Taking taylor expansion of (pow (log1p (+ x 0.3333333333333333)) 2) in (x) around 0
1.365 * [taylor]: Taking taylor expansion of (pow (log1p (+ x 0.3333333333333333)) 2) in x
1.365 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
1.365 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
1.365 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
1.365 * [taylor]: Taking taylor expansion of 1 in x
1.365 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.365 * [taylor]: Taking taylor expansion of x in x
1.365 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.366 * [taylor]: Taking taylor expansion of (pow (log1p (+ x 0.3333333333333333)) 2) in x
1.366 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
1.366 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
1.366 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
1.366 * [taylor]: Taking taylor expansion of 1 in x
1.366 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.366 * [taylor]: Taking taylor expansion of x in x
1.366 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.395 * [approximate]: Taking taylor expansion of (pow (log1p (+ 0.3333333333333333 (/ 1 x))) 2) in (x) around 0
1.395 * [taylor]: Taking taylor expansion of (pow (log1p (+ 0.3333333333333333 (/ 1 x))) 2) in x
1.395 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
1.395 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
1.395 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
1.395 * [taylor]: Taking taylor expansion of 1 in x
1.395 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.395 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.395 * [taylor]: Taking taylor expansion of x in x
1.397 * [taylor]: Taking taylor expansion of (pow (log1p (+ 0.3333333333333333 (/ 1 x))) 2) in x
1.397 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
1.397 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
1.397 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
1.397 * [taylor]: Taking taylor expansion of 1 in x
1.397 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.397 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.397 * [taylor]: Taking taylor expansion of x in x
1.413 * [approximate]: Taking taylor expansion of (pow (log1p (- 0.3333333333333333 (/ 1 x))) 2) in (x) around 0
1.413 * [taylor]: Taking taylor expansion of (pow (log1p (- 0.3333333333333333 (/ 1 x))) 2) in x
1.413 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
1.413 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
1.413 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
1.413 * [taylor]: Taking taylor expansion of 1 in x
1.413 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.413 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.413 * [taylor]: Taking taylor expansion of x in x
1.415 * [taylor]: Taking taylor expansion of (pow (log1p (- 0.3333333333333333 (/ 1 x))) 2) in x
1.415 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
1.415 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
1.415 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
1.415 * [taylor]: Taking taylor expansion of 1 in x
1.415 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.415 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.415 * [taylor]: Taking taylor expansion of x in x
1.436 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.437 * [approximate]: Taking taylor expansion of (pow (log1p (+ x 0.3333333333333333)) 1/3) in (x) around 0
1.437 * [taylor]: Taking taylor expansion of (pow (log1p (+ x 0.3333333333333333)) 1/3) in x
1.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (+ x 0.3333333333333333))))) in x
1.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (+ x 0.3333333333333333)))) in x
1.437 * [taylor]: Taking taylor expansion of 1/3 in x
1.437 * [taylor]: Taking taylor expansion of (log (log1p (+ x 0.3333333333333333))) in x
1.437 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
1.437 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
1.437 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
1.437 * [taylor]: Taking taylor expansion of 1 in x
1.437 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.437 * [taylor]: Taking taylor expansion of x in x
1.437 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.440 * [taylor]: Taking taylor expansion of (pow (log1p (+ x 0.3333333333333333)) 1/3) in x
1.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (+ x 0.3333333333333333))))) in x
1.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (+ x 0.3333333333333333)))) in x
1.440 * [taylor]: Taking taylor expansion of 1/3 in x
1.440 * [taylor]: Taking taylor expansion of (log (log1p (+ x 0.3333333333333333))) in x
1.440 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
1.441 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
1.441 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
1.441 * [taylor]: Taking taylor expansion of 1 in x
1.441 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.441 * [taylor]: Taking taylor expansion of x in x
1.441 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.529 * [approximate]: Taking taylor expansion of (pow (log1p (+ 0.3333333333333333 (/ 1 x))) 1/3) in (x) around 0
1.529 * [taylor]: Taking taylor expansion of (pow (log1p (+ 0.3333333333333333 (/ 1 x))) 1/3) in x
1.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (+ 0.3333333333333333 (/ 1 x)))))) in x
1.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (+ 0.3333333333333333 (/ 1 x))))) in x
1.529 * [taylor]: Taking taylor expansion of 1/3 in x
1.529 * [taylor]: Taking taylor expansion of (log (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
1.529 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
1.529 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
1.529 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
1.529 * [taylor]: Taking taylor expansion of 1 in x
1.529 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.529 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.529 * [taylor]: Taking taylor expansion of x in x
1.531 * [taylor]: Taking taylor expansion of (pow (log1p (+ 0.3333333333333333 (/ 1 x))) 1/3) in x
1.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (+ 0.3333333333333333 (/ 1 x)))))) in x
1.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (+ 0.3333333333333333 (/ 1 x))))) in x
1.531 * [taylor]: Taking taylor expansion of 1/3 in x
1.531 * [taylor]: Taking taylor expansion of (log (log1p (+ 0.3333333333333333 (/ 1 x)))) in x
1.531 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
1.531 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
1.531 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
1.531 * [taylor]: Taking taylor expansion of 1 in x
1.531 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.531 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.531 * [taylor]: Taking taylor expansion of x in x
1.559 * [approximate]: Taking taylor expansion of (pow (log1p (- 0.3333333333333333 (/ 1 x))) 1/3) in (x) around 0
1.559 * [taylor]: Taking taylor expansion of (pow (log1p (- 0.3333333333333333 (/ 1 x))) 1/3) in x
1.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (- 0.3333333333333333 (/ 1 x)))))) in x
1.559 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (- 0.3333333333333333 (/ 1 x))))) in x
1.559 * [taylor]: Taking taylor expansion of 1/3 in x
1.559 * [taylor]: Taking taylor expansion of (log (log1p (- 0.3333333333333333 (/ 1 x)))) in x
1.559 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
1.559 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
1.559 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
1.559 * [taylor]: Taking taylor expansion of 1 in x
1.559 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.559 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.563 * [taylor]: Taking taylor expansion of (pow (log1p (- 0.3333333333333333 (/ 1 x))) 1/3) in x
1.563 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log1p (- 0.3333333333333333 (/ 1 x)))))) in x
1.563 * [taylor]: Taking taylor expansion of (* 1/3 (log (log1p (- 0.3333333333333333 (/ 1 x))))) in x
1.563 * [taylor]: Taking taylor expansion of 1/3 in x
1.563 * [taylor]: Taking taylor expansion of (log (log1p (- 0.3333333333333333 (/ 1 x)))) in x
1.563 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
1.563 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
1.563 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
1.563 * [taylor]: Taking taylor expansion of 1 in x
1.563 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.563 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.563 * [taylor]: Taking taylor expansion of x in x
1.592 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.593 * [approximate]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in (x) around 0
1.593 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
1.593 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
1.593 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
1.593 * [taylor]: Taking taylor expansion of 1 in x
1.593 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.594 * [taylor]: Taking taylor expansion of x in x
1.594 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.594 * [taylor]: Taking taylor expansion of (log1p (+ x 0.3333333333333333)) in x
1.594 * [taylor]: Rewrote expression to (log (+ 1 (+ x 0.3333333333333333)))
1.594 * [taylor]: Taking taylor expansion of (+ 1 (+ x 0.3333333333333333)) in x
1.594 * [taylor]: Taking taylor expansion of 1 in x
1.594 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.594 * [taylor]: Taking taylor expansion of x in x
1.595 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.607 * [approximate]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in (x) around 0
1.608 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
1.608 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
1.608 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
1.608 * [taylor]: Taking taylor expansion of 1 in x
1.608 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.608 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.608 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.608 * [taylor]: Taking taylor expansion of x in x
1.609 * [taylor]: Taking taylor expansion of (log1p (+ 0.3333333333333333 (/ 1 x))) in x
1.609 * [taylor]: Rewrote expression to (log (+ 1 (+ 0.3333333333333333 (/ 1 x))))
1.609 * [taylor]: Taking taylor expansion of (+ 1 (+ 0.3333333333333333 (/ 1 x))) in x
1.609 * [taylor]: Taking taylor expansion of 1 in x
1.609 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.609 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.609 * [taylor]: Taking taylor expansion of x in x
1.623 * [approximate]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in (x) around 0
1.623 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
1.623 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
1.623 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
1.623 * [taylor]: Taking taylor expansion of 1 in x
1.623 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.623 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.623 * [taylor]: Taking taylor expansion of x in x
1.624 * [taylor]: Taking taylor expansion of (log1p (- 0.3333333333333333 (/ 1 x))) in x
1.624 * [taylor]: Rewrote expression to (log (+ 1 (- 0.3333333333333333 (/ 1 x))))
1.624 * [taylor]: Taking taylor expansion of (+ 1 (- 0.3333333333333333 (/ 1 x))) in x
1.624 * [taylor]: Taking taylor expansion of 1 in x
1.624 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.624 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.624 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.624 * [taylor]: Taking taylor expansion of x in x
1.645 * * * [progress]: simplifying candidates
1.647 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (expm1 (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (log1p (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (log (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (exp (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (* (cbrt (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))) (cbrt (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))))
  (cbrt (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (* (* (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))) (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))) (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (sqrt (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (sqrt (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (expm1 (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (log1p (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (+ 1 1)
  (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))
  (+ 1 1)
  (+ (log (log1p (+ x (/ 1.0 3.0)))) (log (log1p (+ x (/ 1.0 3.0)))))
  (log (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (exp (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (* (* (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))) (log1p (+ x (/ 1.0 3.0)))) (* (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))) (log1p (+ x (/ 1.0 3.0)))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))))
  (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (* (* (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))) (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (sqrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (sqrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (* (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0))))) (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (* (sqrt (log1p (+ x (/ 1.0 3.0)))) (sqrt (log1p (+ x (/ 1.0 3.0)))))
  (* (sqrt (log1p (+ x (/ 1.0 3.0)))) (sqrt (log1p (+ x (/ 1.0 3.0)))))
  (* 1 1)
  (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))
  (* (sqrt (log1p (+ x (/ 1.0 3.0)))) (sqrt (log1p (+ x (/ 1.0 3.0)))))
  (* (sqrt (log1p (+ x (/ 1.0 3.0)))) (sqrt (log1p (+ x (/ 1.0 3.0)))))
  (* 2 1)
  (* (log1p (+ x (/ 1.0 3.0))) (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (log1p (+ x (/ 1.0 3.0))) (sqrt (log1p (+ x (/ 1.0 3.0)))))
  (* (log1p (+ x (/ 1.0 3.0))) 1)
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (log1p (+ x (/ 1.0 3.0))))
  (* (sqrt (log1p (+ x (/ 1.0 3.0)))) (log1p (+ x (/ 1.0 3.0))))
  (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))
  (expm1 (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (log1p (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (log (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (exp (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (cbrt (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (sqrt (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (sqrt (log1p (+ x (/ 1.0 3.0)))))
  (cbrt 1)
  (cbrt (log1p (+ x (/ 1.0 3.0))))
  (* (cbrt (cbrt (log1p (+ x (/ 1.0 3.0))))) (cbrt (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (cbrt (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (* (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (sqrt (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (sqrt (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (log1p (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))) (log1p (+ x (/ 1.0 3.0))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (+ (log (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))) (log (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (log (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (exp (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))) (log1p (+ x (/ 1.0 3.0))))
  (* (cbrt (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))) (cbrt (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (cbrt (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (* (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))) (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))) (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (sqrt (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (sqrt (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (sqrt (log1p (+ x (/ 1.0 3.0))))))
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (sqrt (log1p (+ x (/ 1.0 3.0))))))
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (sqrt (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (sqrt (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (sqrt (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))) (cbrt (sqrt (log1p (+ x (/ 1.0 3.0))))))
  (* (sqrt (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))) (cbrt (sqrt (log1p (+ x (/ 1.0 3.0))))))
  (* (sqrt (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))) (sqrt (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (sqrt (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))) (sqrt (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (sqrt (log1p (+ x (/ 1.0 3.0))))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt 1))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (* (cbrt (cbrt (log1p (+ x (/ 1.0 3.0))))) (cbrt (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (sqrt (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) 1)
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (* (cbrt (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (* (sqrt (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (- (+ 0.33333333333333326 (+ (* 0.375 (pow x 2)) (* 1.0 x))) (* 0.6666666666666666 (/ (pow x 2) (pow 1.3333333333333333 2))))
  (- (+ (* 1.3333333333333333 (/ (exp (- (log (/ 1 x)))) x)) (exp (- (log (/ 1 x))))) (+ 1 (* 1.1102230246251565e-16 (/ (exp (- (log (/ 1 x)))) (pow x 4)))))
  (- (+ (exp (- (log -1) (log (/ -1 x)))) (* 1.3333333333333333 (/ (exp (- (log -1) (log (/ -1 x)))) x))) (+ (* 1.1102230246251565e-16 (/ (exp (- (log -1) (log (/ -1 x)))) (pow x 4))) 1))
  (- (+ (* 0.5625 (pow x 2)) (+ (pow (log 1.3333333333333333) 2) (* 1.5 (* (log 1.3333333333333333) x)))) (/ (* (log 1.3333333333333333) (pow x 2)) (pow 1.3333333333333333 2)))
  (- (+ (* 1.7777777777777777 (/ 1 (pow x 2))) (+ (pow (log (/ 1 x)) 2) (* 1.7777777777777777 (/ (log (/ 1 x)) (pow x 2))))) (* 2.6666666666666665 (/ (log (/ 1 x)) x)))
  (- (+ (* 2.6666666666666665 (/ (log -1) x)) (+ (* 1.7777777777777777 (/ (log (/ -1 x)) (pow x 2))) (+ (* 1.7777777777777777 (/ 1 (pow x 2))) (+ (pow (log (/ -1 x)) 2) (pow (log -1) 2))))) (+ (* 2 (* (log -1) (log (/ -1 x)))) (+ (* 1.7777777777777777 (/ (log -1) (pow x 2))) (* 2.6666666666666665 (/ (log (/ -1 x)) x)))))
  (- (+ (pow (log 1.3333333333333333) 1/3) (* 0.25 (* (pow (/ 1 (pow (log 1.3333333333333333) 2)) 1/3) x))) (+ (* 0.0625 (* (pow (/ 1 (pow (log 1.3333333333333333) 5)) 1/3) (pow x 2))) (* 1/6 (* (/ (pow x 2) (pow 1.3333333333333333 2)) (pow (/ 1 (pow (log 1.3333333333333333) 2)) 1/3)))))
  (- (+ (* 0.2962962962962963 (* (pow (/ -1 (pow (log (/ 1 x)) 2)) 1/3) (/ 1 (pow x 2)))) (pow (- (log (/ 1 x))) 1/3)) (+ (* 0.4444444444444444 (* (pow (/ -1 (pow (log (/ 1 x)) 2)) 1/3) (/ 1 x))) (* 0.19753086419753085 (* (pow (/ -1 (pow (log (/ 1 x)) 5)) 1/3) (/ 1 (pow x 2))))))
  (- (+ (pow (- (log -1) (log (/ -1 x))) 1/3) (* 0.4444444444444444 (* (/ 1 x) (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 2)) 1/3)))) (+ (* 0.2962962962962963 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 2)) 1/3))) (* 0.19753086419753085 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 5)) 1/3)))))
  (- (+ (log 1.3333333333333333) (* 0.75 x)) (* 1/2 (/ (pow x 2) (pow 1.3333333333333333 2))))
  (- (* 1.3333333333333333 (/ 1 x)) (+ (* 0.8888888888888888 (/ 1 (pow x 2))) (log (/ 1 x))))
  (- (+ (log -1) (* 1.3333333333333333 (/ 1 x))) (+ (* 0.8888888888888888 (/ 1 (pow x 2))) (log (/ -1 x))))
1.655 * * [simplify]: iteration  0 :  583  enodes  (cost  1186 )
1.665 * * [simplify]: iteration  1 :  2079  enodes  (cost  1057 )
1.700 * * [simplify]: iteration  2 :  5002  enodes  (cost  999 )
1.705 * [simplify]: Simplified to:
   (exp (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (expm1 (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (log (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (exp (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (* (cbrt (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))) (cbrt (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))))
  (cbrt (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (pow (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))) 3)
  (sqrt (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (sqrt (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (expm1 (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (log1p (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  2
  (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 4)
  2
  (* 2 (log (log1p (+ x (/ 1.0 3.0)))))
  (* 2 (log (log1p (+ x (/ 1.0 3.0)))))
  (pow (exp 1) (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 4))
  (pow (log1p (+ x (/ 1.0 3.0))) 6)
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))))
  (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (pow (log1p (+ x (/ 1.0 3.0))) 6)
  (fabs (log1p (+ x (/ 1.0 3.0))))
  (fabs (log1p (+ x (/ 1.0 3.0))))
  (pow (cbrt (log1p (+ x (/ 1.0 3.0)))) 4)
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (log1p (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  1
  (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 4)
  (log1p (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  2
  (* (log1p (+ x (/ 1.0 3.0))) (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 3)
  (log1p (+ x (/ 1.0 3.0)))
  (pow (cbrt (log1p (+ x (/ 1.0 3.0)))) 4)
  (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (log1p (+ x (/ 1.0 3.0)))) 4)
  (expm1 (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (log1p (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (log (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (exp (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (cbrt (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (sqrt (log1p (+ x (/ 1.0 3.0)))))
  (cbrt (sqrt (log1p (+ x (/ 1.0 3.0)))))
  1
  (cbrt (log1p (+ x (/ 1.0 3.0))))
  (* (cbrt (cbrt (log1p (+ x (/ 1.0 3.0))))) (cbrt (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (cbrt (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (log1p (+ x (/ 1.0 3.0)))
  (sqrt (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (sqrt (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (log1p (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (pow (log1p (+ x (/ 1.0 3.0))) 3)
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (log (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (log (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (exp (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (pow (log1p (+ x (/ 1.0 3.0))) 3)
  (* (cbrt (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))) (cbrt (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (cbrt (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (pow (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))) 3)
  (sqrt (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (sqrt (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (sqrt (log1p (+ x (/ 1.0 3.0))))))
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (sqrt (log1p (+ x (/ 1.0 3.0))))))
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (sqrt (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (sqrt (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (sqrt (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))) (cbrt (sqrt (log1p (+ x (/ 1.0 3.0))))))
  (* (sqrt (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))) (cbrt (sqrt (log1p (+ x (/ 1.0 3.0))))))
  (* (sqrt (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))) (sqrt (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (sqrt (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))) (sqrt (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (sqrt (log1p (+ x (/ 1.0 3.0))))))
  (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (* (cbrt (cbrt (log1p (+ x (/ 1.0 3.0))))) (cbrt (cbrt (log1p (+ x (/ 1.0 3.0)))))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (sqrt (cbrt (log1p (+ x (/ 1.0 3.0))))))
  (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))
  (* (cbrt (log1p (+ x (/ 1.0 3.0)))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (* (cbrt (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (* (sqrt (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0)))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (cbrt (log1p (+ x (/ 1.0 3.0)))))
  (+ 0.33333333333333326 (- (fma 0.375 (pow x 2) (* 1.0 x)) (* 0.6666666666666666 (/ (pow x 2) (pow 1.3333333333333333 2)))))
  (+ x (+ (fma 1.3333333333333333 (/ 1 (* x (/ 1 x))) (- 1)) (* (- 1.1102230246251565e-16) (* (/ 1 (pow x 4)) x))))
  (+ x (+ (fma 1.3333333333333333 (/ 1 (* x (/ 1 x))) (- 1)) (* (- 1.1102230246251565e-16) (* (/ 1 (pow x 4)) x))))
  (+ (* 1.5 (* (log 1.3333333333333333) x)) (+ (pow (log 1.3333333333333333) 2) (* (pow x 2) (- 0.5625 (/ (log 1.3333333333333333) (pow 1.3333333333333333 2))))))
  (+ (/ (/ 1.7777777777777777 x) x) (+ (pow (log (/ 1 x)) 2) (* (/ (log (/ 1 x)) x) (- (/ 1.7777777777777777 x) 2.6666666666666665))))
  (fma 2.6666666666666665 (/ (log -1) x) (- (fma 1.7777777777777777 (/ (log (/ -1 x)) (pow x 2)) (fma 1.7777777777777777 (/ 1 (pow x 2)) (+ (pow (log (/ -1 x)) 2) (pow (log -1) 2)))) (fma 2 (* (log -1) (log (/ -1 x))) (fma 1.7777777777777777 (/ (log -1) (pow x 2)) (* 2.6666666666666665 (/ (log (/ -1 x)) x))))))
  (fma (* 0.25 (pow (/ 1 (pow (log 1.3333333333333333) 2)) 1/3)) x (- (pow (log 1.3333333333333333) 1/3) (fma 0.0625 (* (pow (/ 1 (pow (log 1.3333333333333333) 5)) 1/3) (pow x 2)) (* 1/6 (* (/ (pow x 2) (pow 1.3333333333333333 2)) (pow (/ 1 (pow (log 1.3333333333333333) 2)) 1/3))))))
  (+ (pow (log x) 1/3) (- (* 0.2962962962962963 (* (pow (/ -1 (pow (log (/ 1 x)) 2)) 1/3) (/ 1 (pow x 2)))) (fma 0.4444444444444444 (* (pow (/ -1 (pow (log (/ 1 x)) 2)) 1/3) (/ 1 x)) (* 0.19753086419753085 (* (pow (/ -1 (pow (log (/ 1 x)) 5)) 1/3) (/ 1 (pow x 2)))))))
  (fma 0.4444444444444444 (/ (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 2)) 1/3) x) (- (pow (- (log -1) (log (/ -1 x))) 1/3) (fma 0.2962962962962963 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 2)) 1/3)) (* 0.19753086419753085 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 5)) 1/3))))))
  (fma x 0.75 (- (log 1.3333333333333333) (* 1/2 (/ (pow x 2) (pow 1.3333333333333333 2)))))
  (+ (+ (/ 1.3333333333333333 x) (log x)) (/ (- 0.8888888888888888) (pow x 2)))
  (+ (+ (/ 1.3333333333333333 x) (log x)) (/ (- 0.8888888888888888) (pow x 2)))
1.706 * * * [progress]: adding candidates to table
1.942 * [progress]: [Phase 3 of 3] Extracting.
1.942 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))> #<alt (λ (x) (+ x (/ 1.0 3.0)))> #<alt (λ (x) (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (* (cbrt (sqrt (log1p (+ x (/ 1.0 3.0))))) (cbrt (sqrt (log1p (+ x (/ 1.0 3.0)))))))))>)
1.943 * * * [regime-changes]: Trying 2 branch expressions: ((+ x (/ 1.0 3.0)) x)
1.943 * * * * [regimes]: Trying to branch on (+ x (/ 1.0 3.0)) from (#<alt (λ (x) (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))> #<alt (λ (x) (+ x (/ 1.0 3.0)))> #<alt (λ (x) (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (* (cbrt (sqrt (log1p (+ x (/ 1.0 3.0))))) (cbrt (sqrt (log1p (+ x (/ 1.0 3.0)))))))))>)
1.959 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (expm1 (cbrt (pow (log1p (+ x (/ 1.0 3.0))) 3))))> #<alt (λ (x) (+ x (/ 1.0 3.0)))> #<alt (λ (x) (expm1 (* (cbrt (* (log1p (+ x (/ 1.0 3.0))) (log1p (+ x (/ 1.0 3.0))))) (* (cbrt (sqrt (log1p (+ x (/ 1.0 3.0))))) (cbrt (sqrt (log1p (+ x (/ 1.0 3.0)))))))))>)
1.974 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.974 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (/ 1.0 3.0))
1.975 * * [simplify]: iteration  0 :  6  enodes  (cost  2 )
1.975 * * [simplify]: iteration  1 :  6  enodes  (cost  2 )
1.975 * [simplify]: Simplified to:
   (+ x (/ 1.0 3.0))
2.422 * [regime-testing]: Baseline error score: 0.010949488998714984
2.422 * [regime-testing]: Oracle error score: 0.007824098324880754
2.423 * [regime-testing]: End program error score: 0.010949488998714984