2.322 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.009 * * * [progress]: [2/2] Setting up program.
0.011 * [progress]: [Phase 2 of 3] Improving.
0.011 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (/ 1.0 3.0))
0.011 * [simplify]: Sending expressions to egg_math:
 (+ h0 (/ h1 h2))
0.014 * * [simplify]: iteration  0 :  6  enodes  (cost  2 )
0.015 * * [simplify]: iteration  1 :  6  enodes  (cost  2 )
0.015 * [simplify]: Simplified to:
   (+ x (/ 1.0 3.0))
0.016 * * [progress]: iteration 1 / 4
0.016 * * * [progress]: picking best candidate
0.017 * * * * [pick]: Picked  #<alt (λ (x) (+ x (/ 1.0 3.0)))>
0.017 * * * [progress]: localizing error
0.020 * * * [progress]: generating rewritten candidates
0.020 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.031 * * * [progress]: generating series expansions
0.031 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.032 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
0.032 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.032 * [taylor]: Taking taylor expansion of x in x
0.032 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.032 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.032 * [taylor]: Taking taylor expansion of x in x
0.032 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.038 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
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.039 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.039 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.039 * [taylor]: Taking taylor expansion of x in x
0.045 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
0.045 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.045 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.045 * [taylor]: Taking taylor expansion of x in x
0.045 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.045 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.045 * [taylor]: Taking taylor expansion of x in x
0.052 * * * [progress]: simplifying candidates
0.053 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (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.053 * [simplify]: Sending expressions to egg_math:
 (* (exp h0) (exp (/ h1 h2)))
 (log (+ h0 (/ h1 h2)))
 (exp (+ h0 (/ h1 h2)))
 (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2))))
 (cbrt (+ h0 (/ h1 h2)))
 (* (* (+ h0 (/ h1 h2)) (+ h0 (/ h1 h2))) (+ h0 (/ h1 h2)))
 (sqrt (+ h0 (/ h1 h2)))
 (sqrt (+ h0 (/ h1 h2)))
 (+ (pow h0 3) (pow (/ h1 h2) 3))
 (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2))))
 (- (* h0 h0) (* (/ h1 h2) (/ h1 h2)))
 (- h0 (/ h1 h2))
 (+ h0 (/ h1 h2))
 (+ h0 h3)
 (+ h0 h3)
 (+ h0 h3)
0.056 * * [simplify]: iteration  0 :  77  enodes  (cost  55 )
0.059 * * [simplify]: iteration  1 :  201  enodes  (cost  50 )
0.063 * * [simplify]: iteration  2 :  475  enodes  (cost  50 )
0.072 * * [simplify]: iteration  3 :  1282  enodes  (cost  50 )
0.100 * * [simplify]: iteration  4 :  3893  enodes  (cost  50 )
0.173 * * [simplify]: iteration  5 :  5002  enodes  (cost  50 )
0.174 * [simplify]: Simplified to:
   (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))
  (+ (* (/ 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.174 * * * [progress]: adding candidates to table
0.197 * * [progress]: iteration 2 / 4
0.197 * * * [progress]: picking best candidate
0.198 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))>
0.198 * * * [progress]: localizing error
0.204 * * * [progress]: generating rewritten candidates
0.204 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.282 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.292 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.302 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.320 * * * [progress]: generating series expansions
0.320 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.321 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
0.321 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.321 * [taylor]: Taking taylor expansion of x in x
0.321 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.321 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.322 * [taylor]: Taking taylor expansion of x in x
0.322 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.324 * [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]: [ 2 / 4 ] generating series at (2 2 1)
0.340 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
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.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.343 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
0.343 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.343 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.344 * [taylor]: Taking taylor expansion of x in x
0.344 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.344 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.344 * [taylor]: Taking taylor expansion of x in x
0.356 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
0.356 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.356 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.357 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.364 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.364 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
0.364 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.364 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.367 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
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.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.373 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
0.373 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.373 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.373 * [taylor]: Taking taylor expansion of x in x
0.373 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.373 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.373 * [taylor]: Taking taylor expansion of x in x
0.381 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.381 * [approximate]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in (x) around 0
0.381 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
0.381 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.381 * [taylor]: Taking taylor expansion of x in x
0.381 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.383 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
0.383 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.383 * [taylor]: Taking taylor expansion of x in x
0.383 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.392 * [approximate]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in (x) around 0
0.392 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
0.392 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.393 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.393 * [taylor]: Taking taylor expansion of x in x
0.394 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
0.394 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.394 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.394 * [taylor]: Taking taylor expansion of x in x
0.402 * [approximate]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in (x) around 0
0.402 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
0.402 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.402 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.402 * [taylor]: Taking taylor expansion of x in x
0.403 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
0.404 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.404 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.404 * [taylor]: Taking taylor expansion of x in x
0.411 * * * [progress]: simplifying candidates
0.413 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0)))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0)))
  (+ 1 1)
  (+ (log (sqrt (+ x (/ 1.0 3.0)))) (log (sqrt (+ x (/ 1.0 3.0)))))
  (log (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (exp (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (* (* (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0)))) (* (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0)))))
  (* (cbrt (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))) (cbrt (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))))
  (cbrt (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (* (* (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))) (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))) (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0)))
  (sqrt (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))) (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (* (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))) (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
  (* (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))) (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (* (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))) (sqrt (- x (/ 1.0 3.0))))
  (* (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (* (sqrt (- x (/ 1.0 3.0))) (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
  (* (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (* (sqrt (- x (/ 1.0 3.0))) (sqrt (- x (/ 1.0 3.0))))
  (* (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0))))) (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0))))))
  (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))) (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (cbrt (+ x (/ 1.0 3.0)))) (sqrt (cbrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* 1 1)
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (+ x (/ 1.0 3.0))) (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt 1))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt 1))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (+ x (/ 1.0 3.0))) 1)
  (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (cbrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (* (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (sqrt (+ 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))
  (* (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))
  (log (sqrt (+ x (/ 1.0 3.0))))
  (exp (sqrt (+ x (/ 1.0 3.0))))
  (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (cbrt (sqrt (+ x (/ 1.0 3.0))))
  (* (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0)))))
  (sqrt (cbrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt 1)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt 1)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))
  (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
  (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))
  (sqrt (- x (/ 1.0 3.0)))
  (/ 1 2)
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (- (+ (* 1/2 (/ x (sqrt 0.3333333333333333))) (sqrt 0.3333333333333333)) (* 1/8 (/ (pow x 2) (pow (sqrt 0.3333333333333333) 3))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
0.413 * [simplify]: Sending expressions to egg_math:
 (+ 1/2 1/2)
 (+ 1/2 (/ 1 2))
 (+ 1 1)
 (+ (/ 1 2) 1/2)
 (+ (/ 1 2) (/ 1 2))
 (* (+ h0 (/ h1 h2)) (+ h0 (/ h1 h2)))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2))))
 (* (+ h0 (/ h1 h2)) (+ h0 (/ h1 h2)))
 (+ 1 1)
 (+ (log (sqrt (+ h0 (/ h1 h2)))) (log (sqrt (+ h0 (/ h1 h2)))))
 (log (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2)))))
 (exp (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2)))))
 (* (* (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2)))) (sqrt (+ h0 (/ h1 h2)))) (* (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2)))) (sqrt (+ h0 (/ h1 h2)))))
 (* (cbrt (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2))))) (cbrt (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2))))))
 (cbrt (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2)))))
 (* (* (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2)))) (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2))))) (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2)))))
 (* (+ h0 (/ h1 h2)) (+ h0 (/ h1 h2)))
 (sqrt (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3))) (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3))))
 (* (sqrt (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2))))) (sqrt (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2))))))
 (* (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3))) (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2)))))
 (* (sqrt (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2))))) (sqrt (- h0 (/ h1 h2))))
 (* (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2)))) (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3))))
 (* (sqrt (- h0 (/ h1 h2))) (sqrt (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2))))))
 (* (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2)))) (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2)))))
 (* (sqrt (- h0 (/ h1 h2))) (sqrt (- h0 (/ h1 h2))))
 (* (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2))))) (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2))))))
 (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2))))) (sqrt (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2))))))
 (* (sqrt (cbrt (+ h0 (/ h1 h2)))) (sqrt (cbrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt 1) (sqrt 1))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2))))
 (* (sqrt 1) (sqrt 1))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2))))
 (* (sqrt 1) (sqrt 1))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2))))
 (* (sqrt 1) (sqrt 1))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* 1 1)
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* 2 1/2)
 (* 2 1)
 (* 2 (/ 1 2))
 (* (sqrt (+ h0 (/ h1 h2))) (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2))))))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2))))))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt 1))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt 1))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (+ h0 (/ h1 h2))) 1)
 (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (+ h0 (/ h1 h2))))
 (* (sqrt (cbrt (+ h0 (/ h1 h2)))) (sqrt (+ h0 (/ h1 h2))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (+ h0 (/ h1 h2))))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2))))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (+ h0 (/ h1 h2))))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2))))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3))))
 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2)))))
 (* (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3))) (sqrt (+ h0 (/ h1 h2))))
 (* (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2)))) (sqrt (+ h0 (/ h1 h2))))
 (* (exp h0) (exp (/ h1 h2)))
 (log (+ h0 (/ h1 h2)))
 (exp (+ h0 (/ h1 h2)))
 (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2))))
 (cbrt (+ h0 (/ h1 h2)))
 (* (* (+ h0 (/ h1 h2)) (+ h0 (/ h1 h2))) (+ h0 (/ h1 h2)))
 (sqrt (+ h0 (/ h1 h2)))
 (sqrt (+ h0 (/ h1 h2)))
 (+ (pow h0 3) (pow (/ h1 h2) 3))
 (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2))))
 (- (* h0 h0) (* (/ h1 h2) (/ h1 h2)))
 (- h0 (/ h1 h2))
 (+ h0 (/ h1 h2))
 (* (exp h0) (exp (/ h1 h2)))
 (log (+ h0 (/ h1 h2)))
 (exp (+ h0 (/ h1 h2)))
 (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2))))
 (cbrt (+ h0 (/ h1 h2)))
 (* (* (+ h0 (/ h1 h2)) (+ h0 (/ h1 h2))) (+ h0 (/ h1 h2)))
 (sqrt (+ h0 (/ h1 h2)))
 (sqrt (+ h0 (/ h1 h2)))
 (+ (pow h0 3) (pow (/ h1 h2) 3))
 (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2))))
 (- (* h0 h0) (* (/ h1 h2) (/ h1 h2)))
 (- h0 (/ h1 h2))
 (+ h0 (/ h1 h2))
 (log (sqrt (+ h0 (/ h1 h2))))
 (exp (sqrt (+ h0 (/ h1 h2))))
 (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2)))))
 (cbrt (sqrt (+ h0 (/ h1 h2))))
 (* (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2)))) (sqrt (+ h0 (/ h1 h2))))
 (sqrt (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2)))))
 (sqrt (cbrt (+ h0 (/ h1 h2))))
 (sqrt (sqrt (+ h0 (/ h1 h2))))
 (sqrt (sqrt (+ h0 (/ h1 h2))))
 (sqrt 1)
 (sqrt (+ h0 (/ h1 h2)))
 (sqrt 1)
 (sqrt (+ h0 (/ h1 h2)))
 (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3)))
 (sqrt (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2)))))
 (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2))))
 (sqrt (- h0 (/ h1 h2)))
 (/ 1 2)
 (sqrt (sqrt (+ h0 (/ h1 h2))))
 (sqrt (sqrt (+ h0 (/ h1 h2))))
 (+ h0 h3)
 (+ h0 h3)
 (+ h0 h3)
 (+ h0 h3)
 (+ h0 h3)
 (+ h0 h3)
 (+ h0 h3)
 (+ h0 h3)
 (+ h0 h3)
 (- (+ (* 1/2 (/ h0 (sqrt h3))) (sqrt h3)) (* 1/8 (/ (pow h0 2) (pow (sqrt h3) 3))))
 (- (+ (* h4 (/ 1 (pow h0 2))) (- (+ (* h4 (/ 1 h0)) (- h4)))))
 (- (+ (* h4 (/ 1 (pow h0 2))) (- (+ (* h4 (/ 1 h0)) (- h4)))))
0.419 * * [simplify]: iteration  0 :  224  enodes  (cost  573 )
0.424 * * [simplify]: iteration  1 :  883  enodes  (cost  518 )
0.451 * * [simplify]: iteration  2 :  5001  enodes  (cost  502 )
0.455 * [simplify]: Simplified to:
   1
  1
  2
  1
  1
  (pow (sqrt (+ x (/ 1.0 3.0))) 4)
  (+ x (/ 1.0 3.0))
  (pow (sqrt (+ x (/ 1.0 3.0))) 4)
  2
  (log (+ x (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (pow (+ x (/ 1.0 3.0)) 3)
  (* (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)
  (pow (sqrt (+ x (/ 1.0 3.0))) 4)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (pow x 2))
  (* (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))) (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (* (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))) (sqrt (- x (/ 1.0 3.0))))
  (* (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))) (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (* (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))) (sqrt (- x (/ 1.0 3.0))))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (pow (cbrt (sqrt (+ x (/ 1.0 3.0)))) 4)
  (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  1
  (+ x (/ 1.0 3.0))
  1
  (+ x (/ 1.0 3.0))
  1
  (+ x (/ 1.0 3.0))
  1
  (+ x (/ 1.0 3.0))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  1
  (+ x (/ 1.0 3.0))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  1
  2
  1
  (* (pow (cbrt (sqrt (+ x (/ 1.0 3.0)))) 4) (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (fabs (cbrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (pow (cbrt (sqrt (+ x (/ 1.0 3.0)))) 4)
  (* (sqrt (cbrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (+ x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (+ x (/ 1.0 3.0))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 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))
  (+ (* (/ 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))
  (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))
  (+ (* (/ 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))
  (log (sqrt (+ x (/ 1.0 3.0))))
  (exp (sqrt (+ x (/ 1.0 3.0))))
  (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (cbrt (sqrt (+ x (/ 1.0 3.0))))
  (pow (sqrt (+ x (/ 1.0 3.0))) 3)
  (fabs (cbrt (+ x (/ 1.0 3.0))))
  (sqrt (cbrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  1
  (sqrt (+ x (/ 1.0 3.0)))
  1
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))
  (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
  (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))
  (sqrt (- x (/ 1.0 3.0)))
  1/2
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (- (+ (* 1/2 (/ x (sqrt 0.3333333333333333))) (sqrt 0.3333333333333333)) (* 1/8 (/ (pow x 2) (pow (sqrt 0.3333333333333333) 3))))
  (- (+ (/ (- +nan.0) (pow x 2)) (/ +nan.0 x)) +nan.0)
  (- (+ (/ (- +nan.0) (pow x 2)) (/ +nan.0 x)) +nan.0)
0.456 * * * [progress]: adding candidates to table
0.641 * * [progress]: iteration 3 / 4
0.641 * * * [progress]: picking best candidate
0.645 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))>
0.645 * * * [progress]: localizing error
0.659 * * * [progress]: generating rewritten candidates
0.659 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.680 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.805 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.821 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.846 * * * [progress]: generating series expansions
0.846 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.847 * [approximate]: Taking taylor expansion of (pow (pow (+ x 0.3333333333333333) 1/4) 3) in (x) around 0
0.847 * [taylor]: Taking taylor expansion of (pow (pow (+ x 0.3333333333333333) 1/4) 3) in x
0.847 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
0.847 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
0.847 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
0.847 * [taylor]: Taking taylor expansion of 1/4 in x
0.847 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
0.847 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.847 * [taylor]: Taking taylor expansion of x in x
0.847 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.849 * [taylor]: Taking taylor expansion of (pow (pow (+ x 0.3333333333333333) 1/4) 3) in x
0.849 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
0.849 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
0.849 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
0.849 * [taylor]: Taking taylor expansion of 1/4 in x
0.849 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
0.849 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.849 * [taylor]: Taking taylor expansion of x in x
0.849 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.936 * [approximate]: Taking taylor expansion of (pow (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) 3) in (x) around 0
0.936 * [taylor]: Taking taylor expansion of (pow (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) 3) in x
0.936 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
0.936 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
0.936 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
0.936 * [taylor]: Taking taylor expansion of 1/4 in x
0.936 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
0.936 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.936 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.937 * [taylor]: Taking taylor expansion of (pow (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) 3) in x
0.937 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
0.937 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
0.937 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
0.937 * [taylor]: Taking taylor expansion of 1/4 in x
0.937 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
0.937 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.937 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.937 * [taylor]: Taking taylor expansion of x in x
0.959 * [approximate]: Taking taylor expansion of (pow (pow (- 0.3333333333333333 (/ 1 x)) 1/4) 3) in (x) around 0
0.959 * [taylor]: Taking taylor expansion of (pow (pow (- 0.3333333333333333 (/ 1 x)) 1/4) 3) in x
0.959 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
0.959 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
0.959 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
0.959 * [taylor]: Taking taylor expansion of 1/4 in x
0.959 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
0.959 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.959 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.959 * [taylor]: Taking taylor expansion of x in x
0.961 * [taylor]: Taking taylor expansion of (pow (pow (- 0.3333333333333333 (/ 1 x)) 1/4) 3) in x
0.961 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
0.962 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
0.962 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
0.962 * [taylor]: Taking taylor expansion of 1/4 in x
0.962 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
0.962 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.962 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.962 * [taylor]: Taking taylor expansion of x in x
0.995 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.996 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
0.996 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.996 * [taylor]: Taking taylor expansion of x in x
0.996 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.996 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.996 * [taylor]: Taking taylor expansion of x in x
0.996 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.998 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
0.998 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.998 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.999 * [taylor]: Taking taylor expansion of x in x
0.999 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.999 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.999 * [taylor]: Taking taylor expansion of x in x
1.005 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
1.005 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.005 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.005 * [taylor]: Taking taylor expansion of x in x
1.005 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.005 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.005 * [taylor]: Taking taylor expansion of x in x
1.019 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.019 * [approximate]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in (x) around 0
1.019 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
1.020 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
1.020 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
1.020 * [taylor]: Taking taylor expansion of 1/4 in x
1.020 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
1.020 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.020 * [taylor]: Taking taylor expansion of x in x
1.020 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.022 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
1.022 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
1.022 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
1.022 * [taylor]: Taking taylor expansion of 1/4 in x
1.022 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
1.022 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.022 * [taylor]: Taking taylor expansion of x in x
1.022 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.057 * [approximate]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in (x) around 0
1.057 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
1.057 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
1.057 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
1.057 * [taylor]: Taking taylor expansion of 1/4 in x
1.057 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
1.057 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.057 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.057 * [taylor]: Taking taylor expansion of x in x
1.058 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
1.058 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
1.059 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
1.059 * [taylor]: Taking taylor expansion of 1/4 in x
1.059 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
1.059 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.059 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.059 * [taylor]: Taking taylor expansion of x in x
1.078 * [approximate]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in (x) around 0
1.078 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
1.078 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
1.078 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
1.078 * [taylor]: Taking taylor expansion of 1/4 in x
1.078 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
1.078 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.078 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.078 * [taylor]: Taking taylor expansion of x in x
1.080 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
1.080 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
1.080 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
1.080 * [taylor]: Taking taylor expansion of 1/4 in x
1.081 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
1.081 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.081 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.081 * [taylor]: Taking taylor expansion of x in x
1.105 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.105 * [approximate]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in (x) around 0
1.106 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
1.106 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
1.106 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
1.106 * [taylor]: Taking taylor expansion of 1/4 in x
1.106 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
1.106 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.106 * [taylor]: Taking taylor expansion of x in x
1.106 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.115 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
1.115 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
1.115 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
1.115 * [taylor]: Taking taylor expansion of 1/4 in x
1.115 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
1.115 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.115 * [taylor]: Taking taylor expansion of x in x
1.115 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.152 * [approximate]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in (x) around 0
1.152 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
1.152 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
1.152 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
1.152 * [taylor]: Taking taylor expansion of 1/4 in x
1.152 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
1.152 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.152 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.152 * [taylor]: Taking taylor expansion of x in x
1.153 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
1.153 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
1.154 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
1.154 * [taylor]: Taking taylor expansion of 1/4 in x
1.154 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
1.154 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.154 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.154 * [taylor]: Taking taylor expansion of x in x
1.174 * [approximate]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in (x) around 0
1.174 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
1.174 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
1.174 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
1.174 * [taylor]: Taking taylor expansion of 1/4 in x
1.174 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
1.174 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.174 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.174 * [taylor]: Taking taylor expansion of x in x
1.176 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
1.176 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
1.176 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
1.176 * [taylor]: Taking taylor expansion of 1/4 in x
1.176 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
1.176 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.176 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.176 * [taylor]: Taking taylor expansion of x in x
1.202 * * * [progress]: simplifying candidates
1.212 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (log (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (* (log (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (* 1/2 3)
  (* 1 3)
  (* (/ 1/2 2) 3)
  (* (/ 1 2) 3)
  (* (/ (/ 1 2) 2) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt 3))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1)
  (pow (* (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))) 3)
  (pow (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0)))))) 3)
  (pow (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0)))))) 3)
  (pow (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt 1)) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt 1)) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow 1 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (log (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (exp (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (cbrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)) (cbrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (cbrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (* (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (pow (* (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))) 3)
  (pow (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0)))))) 3)
  (pow (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0)))))) 3)
  (pow (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt 1)) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt 1)) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow 1 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) 3)
  (pow (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))) 3)
  (pow (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (- x (/ 1.0 3.0)))) 3)
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (/ 3 2)
  (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) (/ 3 2))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) (/ 3 2))
  (+ 1 3)
  (+ (log (sqrt (sqrt (+ x (/ 1.0 3.0))))) (* (log (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (+ (log (sqrt (sqrt (+ x (/ 1.0 3.0))))) (* (log (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (+ (log (sqrt (sqrt (+ x (/ 1.0 3.0))))) (log (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (log (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (exp (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (* (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (sqrt (+ x (/ 1.0 3.0))))) (* (* (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (cbrt (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))) (cbrt (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))))
  (cbrt (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (* (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (sqrt (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (sqrt (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) (pow (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) 3))
  (* (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))) (pow (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))) 3))
  (* (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) (pow (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))) (pow (sqrt (sqrt (- x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) 3))
  (* (sqrt (sqrt (- x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))) 3))
  (* (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) (pow (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (- x (/ 1.0 3.0)))) (pow (sqrt (sqrt (- x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) (/ 3 2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) (/ 3 2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) (/ 3 2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) (/ 3 2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) (/ 3 2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) (/ 3 2)))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (* (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0)))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0)))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt 1)) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt 1)) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt 1) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow 1 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (* (cbrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)) (cbrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (* (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0)))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0)))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt 1)) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt 1)) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt 1) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow 1 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1)
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) (/ 3 2)))
  (* (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (log (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (exp (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))))
  (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0))))))
  (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))))
  (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt 1)
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
  (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (sqrt (sqrt (- x (/ 1.0 3.0))))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (log (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (exp (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))))
  (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0))))))
  (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))))
  (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt 1)
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
  (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (sqrt (sqrt (- x (/ 1.0 3.0))))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (- (+ (* (pow 0.3333333333333333 1/4) (sqrt 0.3333333333333333)) (+ (* 2.53125 (* (* (pow x 2) (sqrt 0.3333333333333333)) (pow 0.3333333333333333 1/4))) (* 2.25 (* (* x (sqrt 0.3333333333333333)) (pow 0.3333333333333333 1/4))))) (* 3/8 (* (* (pow x 2) (sqrt 0.3333333333333333)) (pow (/ 1 (pow 0.3333333333333333 7)) 1/4))))
  (- (+ (* 0.25 (pow (/ 1 x) 1/4)) (pow (pow x 3) 1/4)) (* 0.010416666666666666 (pow (/ 1 (pow x 5)) 1/4)))
  (- (+ (* 0.25 (/ (pow (exp (* 1/4 (- (log -1) (log (/ -1 x))))) 3) x)) (pow (exp (* 1/4 (- (log -1) (log (/ -1 x))))) 3)) (* 0.010416666666666666 (/ (pow (exp (* 1/4 (- (log -1) (log (/ -1 x))))) 3) (pow x 2))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (- (+ (pow 0.3333333333333333 1/4) (+ (* 0.28125 (* (pow x 2) (pow 0.3333333333333333 1/4))) (* 0.75 (* x (pow 0.3333333333333333 1/4))))) (* 1/8 (* (pow x 2) (pow (/ 1 (pow 0.3333333333333333 7)) 1/4))))
  (- (+ (* 0.08333333333333333 (pow (/ 1 (pow x 3)) 1/4)) (pow (/ 1 x) -1/4)) (* 0.010416666666666666 (pow (/ 1 (pow x 7)) 1/4)))
  (- (+ (* 0.08333333333333333 (/ (exp (* 1/4 (- (log -1) (log (/ -1 x))))) x)) (exp (* 1/4 (- (log -1) (log (/ -1 x)))))) (* 0.010416666666666666 (/ (exp (* 1/4 (- (log -1) (log (/ -1 x))))) (pow x 2))))
  (- (+ (pow 0.3333333333333333 1/4) (+ (* 0.28125 (* (pow x 2) (pow 0.3333333333333333 1/4))) (* 0.75 (* x (pow 0.3333333333333333 1/4))))) (* 1/8 (* (pow x 2) (pow (/ 1 (pow 0.3333333333333333 7)) 1/4))))
  (- (+ (* 0.08333333333333333 (pow (/ 1 (pow x 3)) 1/4)) (pow (/ 1 x) -1/4)) (* 0.010416666666666666 (pow (/ 1 (pow x 7)) 1/4)))
  (- (+ (* 0.08333333333333333 (/ (exp (* 1/4 (- (log -1) (log (/ -1 x))))) x)) (exp (* 1/4 (- (log -1) (log (/ -1 x)))))) (* 0.010416666666666666 (/ (exp (* 1/4 (- (log -1) (log (/ -1 x))))) (pow x 2))))
1.213 * [simplify]: Sending expressions to egg_math:
 (* (log (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (* (log (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (* 1/2 3)
 (* 1 3)
 (* (/ 1/2 2) 3)
 (* (/ 1 2) 3)
 (* (/ (/ 1 2) 2) 3)
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) (* (cbrt 3) (cbrt 3)))
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt 3))
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 1)
 (pow (* (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (cbrt (sqrt (sqrt (+ h0 (/ h1 h2)))))) 3)
 (pow (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2)))))) 3)
 (pow (sqrt (cbrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (sqrt (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2)))))) 3)
 (pow (sqrt (sqrt (cbrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (sqrt 1)) 3)
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)
 (pow (sqrt (sqrt 1)) 3)
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)
 (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt 1) 3)
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)
 (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow 1 3)
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (log (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (exp (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (cbrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)) (cbrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (cbrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (* (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (pow (* (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (cbrt (sqrt (sqrt (+ h0 (/ h1 h2)))))) 3)
 (pow (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2)))))) 3)
 (pow (sqrt (cbrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (sqrt (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2)))))) 3)
 (pow (sqrt (sqrt (cbrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (sqrt 1)) 3)
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)
 (pow (sqrt (sqrt 1)) 3)
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)
 (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt 1) 3)
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)
 (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3)
 (pow 1 3)
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)
 (pow (sqrt (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3)))) 3)
 (pow (sqrt (sqrt (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2)))))) 3)
 (pow (sqrt (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2))))) 3)
 (pow (sqrt (sqrt (- h0 (/ h1 h2)))) 3)
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (/ 3 2)
 (sqrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (sqrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) (/ 3 2))
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) (/ 3 2))
 (+ 1 3)
 (+ (log (sqrt (sqrt (+ h0 (/ h1 h2))))) (* (log (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (+ (log (sqrt (sqrt (+ h0 (/ h1 h2))))) (* (log (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (+ (log (sqrt (sqrt (+ h0 (/ h1 h2))))) (log (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (log (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (exp (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (* (* (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (sqrt (+ h0 (/ h1 h2))))) (* (* (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (* (cbrt (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))) (cbrt (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))))
 (cbrt (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (* (* (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)) (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))) (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (sqrt (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (sqrt (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (* (sqrt (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3)))) (pow (sqrt (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3)))) 3))
 (* (sqrt (sqrt (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2)))))) (pow (sqrt (sqrt (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2)))))) 3))
 (* (sqrt (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3)))) (pow (sqrt (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2))))) 3))
 (* (sqrt (sqrt (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2)))))) (pow (sqrt (sqrt (- h0 (/ h1 h2)))) 3))
 (* (sqrt (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2))))) (pow (sqrt (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3)))) 3))
 (* (sqrt (sqrt (- h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2)))))) 3))
 (* (sqrt (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2))))) (pow (sqrt (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2))))) 3))
 (* (sqrt (sqrt (- h0 (/ h1 h2)))) (pow (sqrt (sqrt (- h0 (/ h1 h2)))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) (/ 3 2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) (/ 3 2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) (/ 3 2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) (/ 3 2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) (/ 3 2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) (/ 3 2)))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (* (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (cbrt (sqrt (sqrt (+ h0 (/ h1 h2)))))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2)))))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2)))))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt 1)) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt 1)) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt 1) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow 1 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2))))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (* (cbrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)) (cbrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (* (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (cbrt (sqrt (sqrt (+ h0 (/ h1 h2)))))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2)))))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2)))))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt 1)) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt 1)) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt 1) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow 1 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) 1)
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) (/ 3 2)))
 (* (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (sqrt (cbrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (sqrt (sqrt (cbrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3)))) 3))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2))))) 3))
 (* (sqrt (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (sqrt (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (log (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (exp (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))))
 (cbrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2))))))
 (sqrt (cbrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2))))))
 (sqrt (sqrt (cbrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt 1))
 (sqrt (sqrt (+ h0 (/ h1 h2))))
 (sqrt (sqrt 1))
 (sqrt (sqrt (+ h0 (/ h1 h2))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt 1)
 (sqrt (sqrt (+ h0 (/ h1 h2))))
 (sqrt (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3))))
 (sqrt (sqrt (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2))))))
 (sqrt (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2)))))
 (sqrt (sqrt (- h0 (/ h1 h2))))
 (/ 1/2 2)
 (/ 1 2)
 (/ (/ 1 2) 2)
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (log (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (exp (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))))
 (cbrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2))))))
 (sqrt (cbrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2))))))
 (sqrt (sqrt (cbrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt 1))
 (sqrt (sqrt (+ h0 (/ h1 h2))))
 (sqrt (sqrt 1))
 (sqrt (sqrt (+ h0 (/ h1 h2))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt 1)
 (sqrt (sqrt (+ h0 (/ h1 h2))))
 (sqrt (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3))))
 (sqrt (sqrt (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2))))))
 (sqrt (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2)))))
 (sqrt (sqrt (- h0 (/ h1 h2))))
 (/ 1/2 2)
 (/ 1 2)
 (/ (/ 1 2) 2)
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (- (+ (* (pow h3 1/4) (sqrt h3)) (+ (* h4 (* (* (pow h0 2) (sqrt h3)) (pow h3 1/4))) (* h5 (* (* h0 (sqrt h3)) (pow h3 1/4))))) (* 3/8 (* (* (pow h0 2) (sqrt h3)) (pow (/ 1 (pow h3 7)) 1/4))))
 (- (+ (* h6 (pow (/ 1 h0) 1/4)) (pow (pow h0 3) 1/4)) (* h7 (pow (/ 1 (pow h0 5)) 1/4)))
 (- (+ (* h6 (/ (pow (exp (* 1/4 (- (log -1) (log (/ -1 h0))))) 3) h0)) (pow (exp (* 1/4 (- (log -1) (log (/ -1 h0))))) 3)) (* h7 (/ (pow (exp (* 1/4 (- (log -1) (log (/ -1 h0))))) 3) (pow h0 2))))
 (+ h0 h3)
 (+ h0 h3)
 (+ h0 h3)
 (- (+ (pow h3 1/4) (+ (* h8 (* (pow h0 2) (pow h3 1/4))) (* h9 (* h0 (pow h3 1/4))))) (* 1/8 (* (pow h0 2) (pow (/ 1 (pow h3 7)) 1/4))))
 (- (+ (* h10 (pow (/ 1 (pow h0 3)) 1/4)) (pow (/ 1 h0) -1/4)) (* h7 (pow (/ 1 (pow h0 7)) 1/4)))
 (- (+ (* h10 (/ (exp (* 1/4 (- (log -1) (log (/ -1 h0))))) h0)) (exp (* 1/4 (- (log -1) (log (/ -1 h0)))))) (* h7 (/ (exp (* 1/4 (- (log -1) (log (/ -1 h0))))) (pow h0 2))))
 (- (+ (pow h3 1/4) (+ (* h8 (* (pow h0 2) (pow h3 1/4))) (* h9 (* h0 (pow h3 1/4))))) (* 1/8 (* (pow h0 2) (pow (/ 1 (pow h3 7)) 1/4))))
 (- (+ (* h10 (pow (/ 1 (pow h0 3)) 1/4)) (pow (/ 1 h0) -1/4)) (* h7 (pow (/ 1 (pow h0 7)) 1/4)))
 (- (+ (* h10 (/ (exp (* 1/4 (- (log -1) (log (/ -1 h0))))) h0)) (exp (* 1/4 (- (log -1) (log (/ -1 h0)))))) (* h7 (/ (exp (* 1/4 (- (log -1) (log (/ -1 h0))))) (pow h0 2))))
1.222 * * [simplify]: iteration  0 :  519  enodes  (cost  1994 )
1.235 * * [simplify]: iteration  1 :  2254  enodes  (cost  1455 )
1.289 * * [simplify]: iteration  2 :  5001  enodes  (cost  1301 )
1.296 * [simplify]: Simplified to:
   (log (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (log (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  3/2
  3
  3/4
  3/2
  3/4
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt 3))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (pow (fabs (cbrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0)))))) 3)
  (pow (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  1
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  1
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  1
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  1
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (log (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (exp (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (pow (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (pow (fabs (cbrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0)))))) 3)
  (pow (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  1
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  1
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  1
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  1
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) 3)
  (pow (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))) 3)
  (pow (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) 3)
  (pow (sqrt (sqrt (- x (/ 1.0 3.0)))) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  3/2
  (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  4
  (* 4 (log (sqrt (sqrt (+ x (/ 1.0 3.0))))))
  (* 4 (log (sqrt (sqrt (+ x (/ 1.0 3.0))))))
  (* 4 (log (sqrt (sqrt (+ x (/ 1.0 3.0))))))
  (* 4 (log (sqrt (sqrt (+ x (/ 1.0 3.0))))))
  (pow (exp 1) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 4))
  (pow (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 4) 3)
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (pow (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 4) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (pow x 2))
  (* (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) (pow (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))) (pow (sqrt (sqrt (- x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) 3))
  (* (sqrt (sqrt (- x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))) 3))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (fabs (cbrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0)))))) 3))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 5/2)
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 5/2)
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 5/2)
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (fabs (cbrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0)))))) 3))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 5/2)
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 5/2)
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 5/2)
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (+ x (/ 1.0 3.0)))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 5/2)
  (* (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (+ x (/ 1.0 3.0))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (+ x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (* (sqrt (+ x (/ 1.0 3.0))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (+ x (/ 1.0 3.0))
  (* (sqrt (+ x (/ 1.0 3.0))) (pow (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) 3))
  (+ x (/ 1.0 3.0))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) 3))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) 3))
  (* (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (log (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (exp (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (cbrt (sqrt (+ x (/ 1.0 3.0))))
  (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (fabs (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))))
  (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0)))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1/2)
  1
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  1
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1/2)
  1
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
  (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (sqrt (sqrt (- x (/ 1.0 3.0))))
  1/4
  1/2
  1/4
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1/2)
  (log (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (exp (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (cbrt (sqrt (+ x (/ 1.0 3.0))))
  (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)
  (fabs (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))))
  (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0)))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1/2)
  1
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  1
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1/2)
  1
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
  (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (sqrt (sqrt (- x (/ 1.0 3.0))))
  1/4
  1/2
  1/4
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1/2)
  (+ (* (pow 0.3333333333333333 1/4) (+ (sqrt 0.3333333333333333) (* 2.53125 (* (pow x 2) (sqrt 0.3333333333333333))))) (- (* 2.25 (* (* x (sqrt 0.3333333333333333)) (pow 0.3333333333333333 1/4))) (* 3/8 (* (* (pow x 2) (sqrt 0.3333333333333333)) (pow (/ 1 (pow 0.3333333333333333 7)) 1/4)))))
  (- (+ (* 0.25 (pow (/ 1 x) 1/4)) (pow (pow x 3) 1/4)) (* 0.010416666666666666 (pow (/ 1 (pow x 5)) 1/4)))
  (- (+ (* 0.25 (/ (pow (exp (* 1/4 (- (log -1) (log (/ -1 x))))) 3) x)) (pow (exp (* 1/4 (- (log -1) (log (/ -1 x))))) 3)) (* 0.010416666666666666 (/ (pow (exp (* 1/4 (- (log -1) (log (/ -1 x))))) 3) (pow x 2))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ (* (pow 0.3333333333333333 1/4) (+ (* 0.75 x) (* 0.28125 (pow x 2)))) (- (pow 0.3333333333333333 1/4) (* 1/8 (* (pow x 2) (pow (/ 1 (pow 0.3333333333333333 7)) 1/4)))))
  (- (+ (* 0.08333333333333333 (pow (/ 1 (pow x 3)) 1/4)) (pow (/ 1 x) -1/4)) (* 0.010416666666666666 (pow (/ 1 (pow x 7)) 1/4)))
  (- (+ (* 0.08333333333333333 (/ (exp (* 1/4 (- (log -1) (log (/ -1 x))))) x)) (exp (* 1/4 (- (log -1) (log (/ -1 x)))))) (* 0.010416666666666666 (/ (exp (* 1/4 (- (log -1) (log (/ -1 x))))) (pow x 2))))
  (+ (* (pow 0.3333333333333333 1/4) (+ (* 0.75 x) (* 0.28125 (pow x 2)))) (- (pow 0.3333333333333333 1/4) (* 1/8 (* (pow x 2) (pow (/ 1 (pow 0.3333333333333333 7)) 1/4)))))
  (- (+ (* 0.08333333333333333 (pow (/ 1 (pow x 3)) 1/4)) (pow (/ 1 x) -1/4)) (* 0.010416666666666666 (pow (/ 1 (pow x 7)) 1/4)))
  (- (+ (* 0.08333333333333333 (/ (exp (* 1/4 (- (log -1) (log (/ -1 x))))) x)) (exp (* 1/4 (- (log -1) (log (/ -1 x)))))) (* 0.010416666666666666 (/ (exp (* 1/4 (- (log -1) (log (/ -1 x))))) (pow x 2))))
1.297 * * * [progress]: adding candidates to table
1.642 * * [progress]: iteration 4 / 4
1.642 * * * [progress]: picking best candidate
1.646 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))>
1.647 * * * [progress]: localizing error
1.657 * * * [progress]: generating rewritten candidates
1.657 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.676 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.795 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.813 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
1.826 * * * [progress]: generating series expansions
1.826 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.827 * [approximate]: Taking taylor expansion of (pow (sqrt (+ x 0.3333333333333333)) 3/2) in (x) around 0
1.827 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 0.3333333333333333)) 3/2) in x
1.827 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (sqrt (+ x 0.3333333333333333))))) in x
1.827 * [taylor]: Taking taylor expansion of (* 3/2 (log (sqrt (+ x 0.3333333333333333)))) in x
1.827 * [taylor]: Taking taylor expansion of 3/2 in x
1.827 * [taylor]: Taking taylor expansion of (log (sqrt (+ x 0.3333333333333333))) in x
1.827 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
1.827 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.827 * [taylor]: Taking taylor expansion of x in x
1.827 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.832 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 0.3333333333333333)) 3/2) in x
1.832 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (sqrt (+ x 0.3333333333333333))))) in x
1.832 * [taylor]: Taking taylor expansion of (* 3/2 (log (sqrt (+ x 0.3333333333333333)))) in x
1.832 * [taylor]: Taking taylor expansion of 3/2 in x
1.832 * [taylor]: Taking taylor expansion of (log (sqrt (+ x 0.3333333333333333))) in x
1.832 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
1.832 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.832 * [taylor]: Taking taylor expansion of x in x
1.832 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.905 * [approximate]: Taking taylor expansion of (pow (sqrt (+ 0.3333333333333333 (/ 1 x))) 3/2) in (x) around 0
1.905 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 0.3333333333333333 (/ 1 x))) 3/2) in x
1.905 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (sqrt (+ 0.3333333333333333 (/ 1 x)))))) in x
1.906 * [taylor]: Taking taylor expansion of (* 3/2 (log (sqrt (+ 0.3333333333333333 (/ 1 x))))) in x
1.906 * [taylor]: Taking taylor expansion of 3/2 in x
1.906 * [taylor]: Taking taylor expansion of (log (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
1.906 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
1.906 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.906 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.906 * [taylor]: Taking taylor expansion of x in x
1.909 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 0.3333333333333333 (/ 1 x))) 3/2) in x
1.909 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (sqrt (+ 0.3333333333333333 (/ 1 x)))))) in x
1.909 * [taylor]: Taking taylor expansion of (* 3/2 (log (sqrt (+ 0.3333333333333333 (/ 1 x))))) in x
1.909 * [taylor]: Taking taylor expansion of 3/2 in x
1.909 * [taylor]: Taking taylor expansion of (log (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
1.909 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
1.909 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.909 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.909 * [taylor]: Taking taylor expansion of x in x
1.947 * [approximate]: Taking taylor expansion of (pow (sqrt (- 0.3333333333333333 (/ 1 x))) 3/2) in (x) around 0
1.948 * [taylor]: Taking taylor expansion of (pow (sqrt (- 0.3333333333333333 (/ 1 x))) 3/2) in x
1.948 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (sqrt (- 0.3333333333333333 (/ 1 x)))))) in x
1.948 * [taylor]: Taking taylor expansion of (* 3/2 (log (sqrt (- 0.3333333333333333 (/ 1 x))))) in x
1.948 * [taylor]: Taking taylor expansion of 3/2 in x
1.948 * [taylor]: Taking taylor expansion of (log (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
1.948 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
1.948 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.948 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.948 * [taylor]: Taking taylor expansion of x in x
1.951 * [taylor]: Taking taylor expansion of (pow (sqrt (- 0.3333333333333333 (/ 1 x))) 3/2) in x
1.951 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (sqrt (- 0.3333333333333333 (/ 1 x)))))) in x
1.951 * [taylor]: Taking taylor expansion of (* 3/2 (log (sqrt (- 0.3333333333333333 (/ 1 x))))) in x
1.951 * [taylor]: Taking taylor expansion of 3/2 in x
1.951 * [taylor]: Taking taylor expansion of (log (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
1.951 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
1.951 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.951 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.951 * [taylor]: Taking taylor expansion of x in x
1.997 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.998 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
1.998 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.998 * [taylor]: Taking taylor expansion of x in x
1.998 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.998 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.998 * [taylor]: Taking taylor expansion of x in x
1.998 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.001 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
2.001 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
2.001 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.001 * [taylor]: Taking taylor expansion of x in x
2.001 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
2.001 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.001 * [taylor]: Taking taylor expansion of x in x
2.007 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
2.008 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.008 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.008 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.008 * [taylor]: Taking taylor expansion of x in x
2.008 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.008 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.008 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.008 * [taylor]: Taking taylor expansion of x in x
2.015 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.015 * [approximate]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in (x) around 0
2.016 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
2.016 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
2.016 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
2.016 * [taylor]: Taking taylor expansion of 1/4 in x
2.016 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
2.016 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
2.016 * [taylor]: Taking taylor expansion of x in x
2.016 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.018 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
2.018 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
2.018 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
2.018 * [taylor]: Taking taylor expansion of 1/4 in x
2.018 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
2.018 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
2.018 * [taylor]: Taking taylor expansion of x in x
2.018 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.054 * [approximate]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in (x) around 0
2.054 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
2.054 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
2.054 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
2.054 * [taylor]: Taking taylor expansion of 1/4 in x
2.054 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
2.054 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
2.054 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.054 * [taylor]: Taking taylor expansion of x in x
2.055 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
2.055 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
2.055 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
2.055 * [taylor]: Taking taylor expansion of 1/4 in x
2.055 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
2.055 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
2.056 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.056 * [taylor]: Taking taylor expansion of x in x
2.083 * [approximate]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in (x) around 0
2.083 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
2.083 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
2.083 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
2.083 * [taylor]: Taking taylor expansion of 1/4 in x
2.083 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
2.083 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.083 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.083 * [taylor]: Taking taylor expansion of x in x
2.085 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
2.085 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
2.085 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
2.085 * [taylor]: Taking taylor expansion of 1/4 in x
2.085 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
2.085 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.085 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.085 * [taylor]: Taking taylor expansion of x in x
2.110 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
2.111 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
2.111 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
2.111 * [taylor]: Taking taylor expansion of x in x
2.111 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.111 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
2.111 * [taylor]: Taking taylor expansion of x in x
2.111 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.113 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
2.113 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
2.113 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.113 * [taylor]: Taking taylor expansion of x in x
2.113 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
2.113 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.113 * [taylor]: Taking taylor expansion of x in x
2.119 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
2.119 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.119 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.119 * [taylor]: Taking taylor expansion of x in x
2.120 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.120 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.120 * [taylor]: Taking taylor expansion of x in x
2.127 * * * [progress]: simplifying candidates
2.129 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (log (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (* (log (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (* 1/2 3/2)
  (* 1 3/2)
  (* (/ 1 2) 3/2)
  (pow (sqrt (+ x (/ 1.0 3.0))) (* (cbrt 3/2) (cbrt 3/2)))
  (pow (sqrt (+ x (/ 1.0 3.0))) (sqrt 3/2))
  (pow (sqrt (+ x (/ 1.0 3.0))) 1)
  (pow (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0))))) 3/2)
  (pow (cbrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))) 3/2)
  (pow (sqrt (cbrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt 1) 3/2)
  (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)
  (pow (sqrt 1) 3/2)
  (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow 1 3/2)
  (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)
  (log (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (exp (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)) (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (* (pow (sqrt (+ x (/ 1.0 3.0))) 3/2) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (/ 3/2 2)
  (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (pow (sqrt (+ x (/ 1.0 3.0))) (/ 3/2 2))
  (pow (sqrt (+ x (/ 1.0 3.0))) (/ 3/2 2))
  (+ 1/2 3/2)
  (+ (/ 1 2) 3/2)
  (+ (log (sqrt (sqrt (+ x (/ 1.0 3.0))))) (* (log (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (+ (log (sqrt (sqrt (+ x (/ 1.0 3.0))))) (* (log (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (+ (log (sqrt (sqrt (+ x (/ 1.0 3.0))))) (log (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (log (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (exp (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (* (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (sqrt (+ x (/ 1.0 3.0))))) (* (* (pow (sqrt (+ x (/ 1.0 3.0))) 3/2) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (cbrt (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))) (cbrt (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))))
  (cbrt (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (* (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (sqrt (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (sqrt (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) (/ 3/2 2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) (/ 3/2 2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) (/ 3/2 2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) (/ 3/2 2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) (/ 3/2 2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) (/ 3/2 2)))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0))))) 3/2))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))) 3/2))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt 1) 3/2))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt 1) 3/2))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow 1 3/2))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (* (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)) (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) 1)
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) (/ 3/2 2)))
  (* (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (log (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (exp (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))))
  (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0))))))
  (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))))
  (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt 1)
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
  (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (sqrt (sqrt (- x (/ 1.0 3.0))))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ 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))
  (- (+ (* 3/4 (* x (sqrt (/ 1 (sqrt 0.3333333333333333))))) (pow (sqrt 0.3333333333333333) 3/2)) (* 3/32 (* (pow x 2) (sqrt (/ 1 (pow (sqrt 0.3333333333333333) 5))))))
  (- (pow +nan.0 3/2) (+ (* +nan.0 (* (/ 1 x) (sqrt (pow +nan.0 3)))) (- (* +nan.0 (* (/ 1 (pow x 2)) (sqrt (pow +nan.0 3)))))))
  (- (pow +nan.0 3/2) (+ (* +nan.0 (* (/ 1 x) (sqrt (pow +nan.0 3)))) (- (* +nan.0 (* (/ 1 (pow x 2)) (sqrt (pow +nan.0 3)))))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (- (+ (pow 0.3333333333333333 1/4) (+ (* 0.28125 (* (pow x 2) (pow 0.3333333333333333 1/4))) (* 0.75 (* x (pow 0.3333333333333333 1/4))))) (* 1/8 (* (pow x 2) (pow (/ 1 (pow 0.3333333333333333 7)) 1/4))))
  (- (+ (* 0.08333333333333333 (pow (/ 1 (pow x 3)) 1/4)) (pow (/ 1 x) -1/4)) (* 0.010416666666666666 (pow (/ 1 (pow x 7)) 1/4)))
  (- (+ (* 0.08333333333333333 (/ (exp (* 1/4 (- (log -1) (log (/ -1 x))))) x)) (exp (* 1/4 (- (log -1) (log (/ -1 x)))))) (* 0.010416666666666666 (/ (exp (* 1/4 (- (log -1) (log (/ -1 x))))) (pow x 2))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
2.129 * [simplify]: Sending expressions to egg_math:
 (* (log (sqrt (+ h0 (/ h1 h2)))) 3/2)
 (* (log (sqrt (+ h0 (/ h1 h2)))) 3/2)
 (* 1/2 3/2)
 (* 1 3/2)
 (* (/ 1 2) 3/2)
 (pow (sqrt (+ h0 (/ h1 h2))) (* (cbrt 3/2) (cbrt 3/2)))
 (pow (sqrt (+ h0 (/ h1 h2))) (sqrt 3/2))
 (pow (sqrt (+ h0 (/ h1 h2))) 1)
 (pow (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2))))) 3/2)
 (pow (cbrt (sqrt (+ h0 (/ h1 h2)))) 3/2)
 (pow (sqrt (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2))))) 3/2)
 (pow (sqrt (cbrt (+ h0 (/ h1 h2)))) 3/2)
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2)
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2)
 (pow (sqrt 1) 3/2)
 (pow (sqrt (+ h0 (/ h1 h2))) 3/2)
 (pow (sqrt 1) 3/2)
 (pow (sqrt (+ h0 (/ h1 h2))) 3/2)
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2)
 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2)
 (pow 1 3/2)
 (pow (sqrt (+ h0 (/ h1 h2))) 3/2)
 (log (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (exp (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (cbrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2)) (cbrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (cbrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (* (pow (sqrt (+ h0 (/ h1 h2))) 3/2) (pow (sqrt (+ h0 (/ h1 h2))) 3/2)) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (/ 3/2 2)
 (sqrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (sqrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (pow (sqrt (+ h0 (/ h1 h2))) (/ 3/2 2))
 (pow (sqrt (+ h0 (/ h1 h2))) (/ 3/2 2))
 (+ 1/2 3/2)
 (+ (/ 1 2) 3/2)
 (+ (log (sqrt (sqrt (+ h0 (/ h1 h2))))) (* (log (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (+ (log (sqrt (sqrt (+ h0 (/ h1 h2))))) (* (log (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (+ (log (sqrt (sqrt (+ h0 (/ h1 h2))))) (log (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (log (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (exp (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (* (* (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (sqrt (+ h0 (/ h1 h2))))) (* (* (pow (sqrt (+ h0 (/ h1 h2))) 3/2) (pow (sqrt (+ h0 (/ h1 h2))) 3/2)) (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (* (cbrt (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))) (cbrt (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))))
 (cbrt (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (* (* (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2)) (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))) (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (sqrt (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (sqrt (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (+ h0 (/ h1 h2))) (/ 3/2 2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (+ h0 (/ h1 h2))) (/ 3/2 2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (+ h0 (/ h1 h2))) (/ 3/2 2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (+ h0 (/ h1 h2))) (/ 3/2 2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (+ h0 (/ h1 h2))) (/ 3/2 2)))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (+ h0 (/ h1 h2))) (/ 3/2 2)))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2))))) 3/2))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2))))) 3/2))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt 1) 3/2))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt 1) 3/2))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3/2))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow 1 3/2))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (* (cbrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2)) (cbrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2))))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) 1)
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) (/ 3/2 2)))
 (* (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (sqrt (cbrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (sqrt (sqrt (cbrt (+ h0 (/ h1 h2))))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (sqrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (sqrt (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (sqrt (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2))))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (log (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (exp (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))) (cbrt (sqrt (sqrt (+ h0 (/ h1 h2))))))
 (cbrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (sqrt (sqrt (+ h0 (/ h1 h2))))) (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (* (cbrt (sqrt (+ h0 (/ h1 h2)))) (cbrt (sqrt (+ h0 (/ h1 h2))))))
 (sqrt (cbrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2))))))
 (sqrt (sqrt (cbrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt 1))
 (sqrt (sqrt (+ h0 (/ h1 h2))))
 (sqrt (sqrt 1))
 (sqrt (sqrt (+ h0 (/ h1 h2))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt 1)
 (sqrt (sqrt (+ h0 (/ h1 h2))))
 (sqrt (sqrt (+ (pow h0 3) (pow (/ h1 h2) 3))))
 (sqrt (sqrt (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2))))))
 (sqrt (sqrt (- (* h0 h0) (* (/ h1 h2) (/ h1 h2)))))
 (sqrt (sqrt (- h0 (/ h1 h2))))
 (/ 1/2 2)
 (/ 1 2)
 (/ (/ 1 2) 2)
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (sqrt (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (* (exp h0) (exp (/ h1 h2)))
 (log (+ h0 (/ h1 h2)))
 (exp (+ h0 (/ h1 h2)))
 (* (cbrt (+ h0 (/ h1 h2))) (cbrt (+ h0 (/ h1 h2))))
 (cbrt (+ h0 (/ h1 h2)))
 (* (* (+ h0 (/ h1 h2)) (+ h0 (/ h1 h2))) (+ h0 (/ h1 h2)))
 (sqrt (+ h0 (/ h1 h2)))
 (sqrt (+ h0 (/ h1 h2)))
 (+ (pow h0 3) (pow (/ h1 h2) 3))
 (+ (* h0 h0) (- (* (/ h1 h2) (/ h1 h2)) (* h0 (/ h1 h2))))
 (- (* h0 h0) (* (/ h1 h2) (/ h1 h2)))
 (- h0 (/ h1 h2))
 (+ h0 (/ h1 h2))
 (- (+ (* 3/4 (* h0 (sqrt (/ 1 (sqrt h3))))) (pow (sqrt h3) 3/2)) (* 3/32 (* (pow h0 2) (sqrt (/ 1 (pow (sqrt h3) 5))))))
 (- (pow h4 3/2) (+ (* h4 (* (/ 1 h0) (sqrt (pow h4 3)))) (- (* h4 (* (/ 1 (pow h0 2)) (sqrt (pow h4 3)))))))
 (- (pow h4 3/2) (+ (* h4 (* (/ 1 h0) (sqrt (pow h4 3)))) (- (* h4 (* (/ 1 (pow h0 2)) (sqrt (pow h4 3)))))))
 (+ h0 h3)
 (+ h0 h3)
 (+ h0 h3)
 (- (+ (pow h3 1/4) (+ (* h5 (* (pow h0 2) (pow h3 1/4))) (* h6 (* h0 (pow h3 1/4))))) (* 1/8 (* (pow h0 2) (pow (/ 1 (pow h3 7)) 1/4))))
 (- (+ (* h7 (pow (/ 1 (pow h0 3)) 1/4)) (pow (/ 1 h0) -1/4)) (* h8 (pow (/ 1 (pow h0 7)) 1/4)))
 (- (+ (* h7 (/ (exp (* 1/4 (- (log -1) (log (/ -1 h0))))) h0)) (exp (* 1/4 (- (log -1) (log (/ -1 h0)))))) (* h8 (/ (exp (* 1/4 (- (log -1) (log (/ -1 h0))))) (pow h0 2))))
 (+ h0 h3)
 (+ h0 h3)
 (+ h0 h3)
2.137 * * [simplify]: iteration  0 :  434  enodes  (cost  1058 )
2.146 * * [simplify]: iteration  1 :  1538  enodes  (cost  988 )
2.180 * * [simplify]: iteration  2 :  5001  enodes  (cost  870 )
2.185 * [simplify]: Simplified to:
   (log (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (log (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  3/4
  3/2
  3/4
  (pow (sqrt (+ x (/ 1.0 3.0))) (* (cbrt 3/2) (cbrt 3/2)))
  (pow (sqrt (+ x (/ 1.0 3.0))) (sqrt 3/2))
  (sqrt (+ x (/ 1.0 3.0)))
  (pow (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0))))) 3/2)
  (pow (cbrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (fabs (cbrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (cbrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  1
  (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)
  1
  (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2)
  1
  (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)
  (log (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (exp (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)) (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (pow (pow (sqrt (+ x (/ 1.0 3.0))) 3/2) 3)
  3/4
  (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (pow (sqrt (+ x (/ 1.0 3.0))) 3/4)
  (pow (sqrt (+ x (/ 1.0 3.0))) 3/4)
  2
  2
  (log (+ x (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (pow (+ x (/ 1.0 3.0)) 3)
  (* (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)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/4))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/4))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/4))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/4))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/4))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/4))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0))))) 3/2))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (fabs (cbrt (+ x (/ 1.0 3.0)))) 3/2))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 5/2)
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 5/2)
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (* (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)) (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/4))
  (* (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (+ x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (+ x (/ 1.0 3.0))
  (* (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (+ x (/ 1.0 3.0))
  (* (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (log (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (exp (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))) (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0))))))
  (cbrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)
  (fabs (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))))
  (sqrt (sqrt (cbrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  1
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  1
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  1
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (sqrt (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
  (sqrt (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (sqrt (sqrt (- x (/ 1.0 3.0))))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (sqrt (sqrt (+ 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))
  (+ (* (/ 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))
  (- (+ (* 3/4 (* x (sqrt (/ 1 (sqrt 0.3333333333333333))))) (pow (sqrt 0.3333333333333333) 3/2)) (* 3/32 (* (pow x 2) (sqrt (/ 1 (pow (sqrt 0.3333333333333333) 5))))))
  (- (pow +nan.0 3/2) (- (/ (* +nan.0 (sqrt (pow +nan.0 3))) x) (/ (* +nan.0 (sqrt (pow +nan.0 3))) (pow x 2))))
  (- (pow +nan.0 3/2) (- (/ (* +nan.0 (sqrt (pow +nan.0 3))) x) (/ (* +nan.0 (sqrt (pow +nan.0 3))) (pow x 2))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ (* (+ (* 0.75 x) 1) (pow 0.3333333333333333 1/4)) (* (pow x 2) (- (* (pow 0.3333333333333333 1/4) 0.28125) (* (pow (/ 1 (pow 0.3333333333333333 7)) 1/4) 1/8))))
  (- (+ (* 0.08333333333333333 (pow (/ 1 (pow x 3)) 1/4)) (pow (/ 1 x) -1/4)) (* 0.010416666666666666 (pow (/ 1 (pow x 7)) 1/4)))
  (- (+ (* 0.08333333333333333 (/ (exp (* 1/4 (- (log -1) (log (/ -1 x))))) x)) (exp (* 1/4 (- (log -1) (log (/ -1 x)))))) (* 0.010416666666666666 (/ (exp (* 1/4 (- (log -1) (log (/ -1 x))))) (pow x 2))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
2.185 * * * [progress]: adding candidates to table
2.442 * [progress]: [Phase 3 of 3] Extracting.
2.442 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))> #<alt (λ (x) (* (sqrt (+ x (/ 1.0 3.0))) (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3))))> #<alt (λ (x) (+ x (/ 1.0 3.0)))> #<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))>)
2.443 * * * [regime-changes]: Trying 2 branch expressions: ((+ x (/ 1.0 3.0)) x)
2.443 * * * * [regimes]: Trying to branch on (+ x (/ 1.0 3.0)) from (#<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))> #<alt (λ (x) (* (sqrt (+ x (/ 1.0 3.0))) (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3))))> #<alt (λ (x) (+ x (/ 1.0 3.0)))> #<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))>)
2.462 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))> #<alt (λ (x) (* (sqrt (+ x (/ 1.0 3.0))) (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3))))> #<alt (λ (x) (+ x (/ 1.0 3.0)))> #<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))>)
2.479 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
2.479 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (/ 1.0 3.0))
2.479 * [simplify]: Sending expressions to egg_math:
 (+ h0 (/ h1 h2))
2.480 * * [simplify]: iteration  0 :  6  enodes  (cost  2 )
2.480 * * [simplify]: iteration  1 :  6  enodes  (cost  2 )
2.480 * [simplify]: Simplified to:
   (+ x (/ 1.0 3.0))
2.838 * [regime-testing]: Baseline error score: 0.010001250156269533
2.839 * [regime-testing]: Oracle error score: 0.005125640705088136
2.840 * [regime-testing]: End program error score: 0.010001250156269533