1.837 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.009 * * * [progress]: [2/2] Setting up program.
0.010 * [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.013 * * [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.015 * * [progress]: iteration 1 / 4
0.015 * * * [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.035 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
0.035 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.035 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.035 * [taylor]: Taking taylor expansion of x in x
0.035 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.035 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.035 * [taylor]: Taking taylor expansion of x in x
0.041 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
0.041 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.041 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.041 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.041 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.048 * * * [progress]: simplifying candidates
0.049 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (* (exp x) (exp (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (* (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
0.049 * [simplify]: Sending expressions to egg_math:
 (expm1 (+ h0 (/ h1 h2)))
 (log1p (+ 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))
 (+ h0 h3)
 (+ h0 h3)
 (+ h0 h3)
0.052 * * [simplify]: iteration  0 :  82  enodes  (cost  61 )
0.055 * * [simplify]: iteration  1 :  218  enodes  (cost  55 )
0.060 * * [simplify]: iteration  2 :  532  enodes  (cost  55 )
0.070 * * [simplify]: iteration  3 :  1514  enodes  (cost  55 )
0.101 * * [simplify]: iteration  4 :  5001  enodes  (cost  55 )
0.102 * [simplify]: Simplified to:
   (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (pow (+ x (/ 1.0 3.0)) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (fma (/ 1.0 3.0) (- (/ 1.0 3.0) x) (* x x))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
0.102 * * * [progress]: adding candidates to table
0.142 * * [progress]: iteration 2 / 4
0.142 * * * [progress]: picking best candidate
0.143 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))>
0.143 * * * [progress]: localizing error
0.149 * * * [progress]: generating rewritten candidates
0.149 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.228 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.242 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.252 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.274 * * * [progress]: generating series expansions
0.274 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.275 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
0.275 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.275 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.278 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
0.278 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.278 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.279 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.279 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.279 * [taylor]: Taking taylor expansion of x in x
0.286 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
0.286 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.286 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.286 * [taylor]: Taking taylor expansion of x in x
0.286 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.286 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.286 * [taylor]: Taking taylor expansion of x in x
0.293 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.293 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
0.293 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.294 * [taylor]: Taking taylor expansion of x in x
0.294 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.294 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.294 * [taylor]: Taking taylor expansion of x in x
0.294 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.296 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
0.296 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.296 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.296 * [taylor]: Taking taylor expansion of x in x
0.296 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.296 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.296 * [taylor]: Taking taylor expansion of x in x
0.302 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
0.302 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.302 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.302 * [taylor]: Taking taylor expansion of x in x
0.303 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.303 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.303 * [taylor]: Taking taylor expansion of x in x
0.315 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.315 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
0.315 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.315 * [taylor]: Taking taylor expansion of x in x
0.315 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.315 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.315 * [taylor]: Taking taylor expansion of x in x
0.315 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.318 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
0.318 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.318 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.318 * [taylor]: Taking taylor expansion of x in x
0.318 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.318 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.318 * [taylor]: Taking taylor expansion of x in x
0.324 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
0.324 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.324 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.324 * [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.332 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.332 * [approximate]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in (x) around 0
0.333 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
0.333 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.333 * [taylor]: Taking taylor expansion of x in x
0.333 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.334 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
0.334 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.335 * [taylor]: Taking taylor expansion of x in x
0.335 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.344 * [approximate]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in (x) around 0
0.344 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 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.346 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
0.346 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.346 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.353 * [approximate]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in (x) around 0
0.353 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
0.353 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.354 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.355 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
0.355 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.355 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.355 * [taylor]: Taking taylor expansion of x in x
0.363 * * * [progress]: simplifying candidates
0.365 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (log1p (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (+ 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))))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (* (exp x) (exp (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (* (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (* (exp x) (exp (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (* (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (expm1 (sqrt (+ x (/ 1.0 3.0))))
  (log1p (sqrt (+ 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.366 * [simplify]: Sending expressions to egg_math:
 (expm1 (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2)))))
 (log1p (* (sqrt (+ h0 (/ h1 h2))) (sqrt (+ h0 (/ h1 h2)))))
 (+ 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))))
 (expm1 (+ h0 (/ h1 h2)))
 (log1p (+ 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))
 (expm1 (+ h0 (/ h1 h2)))
 (log1p (+ 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))
 (expm1 (sqrt (+ h0 (/ h1 h2))))
 (log1p (sqrt (+ 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.372 * * [simplify]: iteration  0 :  236  enodes  (cost  599 )
0.379 * * [simplify]: iteration  1 :  925  enodes  (cost  537 )
0.407 * * [simplify]: iteration  2 :  5002  enodes  (cost  521 )
0.411 * [simplify]: Simplified to:
   (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  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))
  (fma (/ 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))) (hypot (pow x 3/2) (pow (/ 1.0 3.0) 3/2)))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (* (sqrt (+ x (/ 1.0 3.0))) (hypot (pow x 3/2) (pow (/ 1.0 3.0) 3/2)))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (pow (+ x (/ 1.0 3.0)) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (fma (/ 1.0 3.0) (- (/ 1.0 3.0) x) (pow x 2))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (pow (+ x (/ 1.0 3.0)) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (fma (/ 1.0 3.0) (- (/ 1.0 3.0) x) (pow x 2))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (expm1 (sqrt (+ x (/ 1.0 3.0))))
  (log1p (sqrt (+ 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)))
  (hypot (pow x 3/2) (pow (/ 1.0 3.0) 3/2))
  (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)
  (fma 1/2 (/ x (sqrt 0.3333333333333333)) (- (sqrt 0.3333333333333333) (* 1/8 (/ (pow x 2) (pow (sqrt 0.3333333333333333) 3)))))
  (+ (/ +nan.0 x) (- (fma +nan.0 1 (/ (/ +nan.0 x) x))))
  (+ (/ +nan.0 x) (- (fma +nan.0 1 (/ (/ +nan.0 x) x))))
0.411 * * * [progress]: adding candidates to table
0.647 * * [progress]: iteration 3 / 4
0.647 * * * [progress]: picking best candidate
0.655 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))>
0.655 * * * [progress]: localizing error
0.664 * * * [progress]: generating rewritten candidates
0.664 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.689 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.820 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.837 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.864 * * * [progress]: generating series expansions
0.864 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.865 * [approximate]: Taking taylor expansion of (pow (pow (+ x 0.3333333333333333) 1/4) 3) in (x) around 0
0.865 * [taylor]: Taking taylor expansion of (pow (pow (+ x 0.3333333333333333) 1/4) 3) in x
0.865 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
0.865 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
0.865 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
0.865 * [taylor]: Taking taylor expansion of 1/4 in x
0.866 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
0.866 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.866 * [taylor]: Taking taylor expansion of x in x
0.866 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.868 * [taylor]: Taking taylor expansion of (pow (pow (+ x 0.3333333333333333) 1/4) 3) in x
0.868 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
0.868 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
0.868 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
0.868 * [taylor]: Taking taylor expansion of 1/4 in x
0.868 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
0.868 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.868 * [taylor]: Taking taylor expansion of x in x
0.868 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.956 * [approximate]: Taking taylor expansion of (pow (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) 3) in (x) around 0
0.957 * [taylor]: Taking taylor expansion of (pow (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) 3) in x
0.957 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
0.957 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
0.957 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
0.957 * [taylor]: Taking taylor expansion of 1/4 in x
0.957 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
0.957 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.957 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.957 * [taylor]: Taking taylor expansion of x in x
0.958 * [taylor]: Taking taylor expansion of (pow (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) 3) in x
0.958 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
0.958 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
0.958 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
0.958 * [taylor]: Taking taylor expansion of 1/4 in x
0.958 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
0.958 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.958 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.958 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.958 * [taylor]: Taking taylor expansion of x in x
0.982 * [approximate]: Taking taylor expansion of (pow (pow (- 0.3333333333333333 (/ 1 x)) 1/4) 3) in (x) around 0
0.982 * [taylor]: Taking taylor expansion of (pow (pow (- 0.3333333333333333 (/ 1 x)) 1/4) 3) in x
0.982 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
0.982 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
0.982 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
0.982 * [taylor]: Taking taylor expansion of 1/4 in x
0.982 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
0.982 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.982 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.982 * [taylor]: Taking taylor expansion of x in x
0.984 * [taylor]: Taking taylor expansion of (pow (pow (- 0.3333333333333333 (/ 1 x)) 1/4) 3) in x
0.984 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
0.984 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
0.984 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
0.984 * [taylor]: Taking taylor expansion of 1/4 in x
0.984 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
0.984 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.984 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.984 * [taylor]: Taking taylor expansion of x in x
1.019 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.019 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
1.019 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.019 * [taylor]: Taking taylor expansion of x in x
1.019 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.019 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.019 * [taylor]: Taking taylor expansion of x in x
1.019 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.022 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
1.022 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.022 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.022 * [taylor]: Taking taylor expansion of x in x
1.023 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.023 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.023 * [taylor]: Taking taylor expansion of x in x
1.029 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
1.029 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.029 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.029 * [taylor]: Taking taylor expansion of x in x
1.029 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.029 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.029 * [taylor]: Taking taylor expansion of x in x
1.037 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.037 * [approximate]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in (x) around 0
1.037 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
1.037 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
1.037 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
1.037 * [taylor]: Taking taylor expansion of 1/4 in x
1.037 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
1.037 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.037 * [taylor]: Taking taylor expansion of x in x
1.037 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.039 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
1.039 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
1.039 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
1.040 * [taylor]: Taking taylor expansion of 1/4 in x
1.040 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
1.040 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.040 * [taylor]: Taking taylor expansion of x in x
1.040 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.084 * [approximate]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in (x) around 0
1.084 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
1.084 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
1.084 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
1.084 * [taylor]: Taking taylor expansion of 1/4 in x
1.084 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
1.085 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.085 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.086 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
1.086 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
1.086 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
1.086 * [taylor]: Taking taylor expansion of 1/4 in x
1.086 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
1.086 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.086 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.086 * [taylor]: Taking taylor expansion of x in x
1.106 * [approximate]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in (x) around 0
1.106 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
1.106 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
1.106 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
1.106 * [taylor]: Taking taylor expansion of 1/4 in x
1.106 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
1.106 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.106 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.106 * [taylor]: Taking taylor expansion of x in x
1.108 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
1.109 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
1.109 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
1.109 * [taylor]: Taking taylor expansion of 1/4 in x
1.109 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
1.109 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.109 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.109 * [taylor]: Taking taylor expansion of x in x
1.134 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.134 * [approximate]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in (x) around 0
1.134 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
1.135 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
1.135 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
1.135 * [taylor]: Taking taylor expansion of 1/4 in x
1.135 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
1.135 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.135 * [taylor]: Taking taylor expansion of x in x
1.135 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.145 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
1.145 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
1.145 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
1.145 * [taylor]: Taking taylor expansion of 1/4 in x
1.145 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
1.145 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.145 * [taylor]: Taking taylor expansion of x in x
1.145 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.181 * [approximate]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in (x) around 0
1.181 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
1.181 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
1.181 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
1.181 * [taylor]: Taking taylor expansion of 1/4 in x
1.181 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
1.181 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.181 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.182 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
1.182 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
1.182 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
1.182 * [taylor]: Taking taylor expansion of 1/4 in x
1.182 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
1.182 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.183 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.183 * [taylor]: Taking taylor expansion of x in x
1.203 * [approximate]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in (x) around 0
1.203 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
1.203 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
1.203 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
1.203 * [taylor]: Taking taylor expansion of 1/4 in x
1.203 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
1.203 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.203 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.203 * [taylor]: Taking taylor expansion of x in x
1.205 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
1.205 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
1.205 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
1.205 * [taylor]: Taking taylor expansion of 1/4 in x
1.206 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
1.206 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
1.206 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.206 * [taylor]: Taking taylor expansion of x in x
1.239 * * * [progress]: simplifying candidates
1.242 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (log1p (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (* (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))
  (expm1 (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (log1p (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (+ 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))
  (expm1 (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (log1p (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)))))
  (expm1 (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (log1p (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.243 * [simplify]: Sending expressions to egg_math:
 (expm1 (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (log1p (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3))
 (* (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))
 (expm1 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (log1p (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (sqrt (+ h0 (/ h1 h2)))) 3)))
 (+ 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))
 (expm1 (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (log1p (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)))))
 (expm1 (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (log1p (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.254 * * [simplify]: iteration  0 :  535  enodes  (cost  2045 )
1.267 * * [simplify]: iteration  1 :  2332  enodes  (cost  1503 )
1.325 * * [simplify]: iteration  2 :  5001  enodes  (cost  1345 )
1.332 * [simplify]: Simplified to:
   (expm1 (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (log1p (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3))
  (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)
  (expm1 (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  (log1p (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))
  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))
  (fma (/ 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))
  (expm1 (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (log1p (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 (+ 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)
  (expm1 (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (log1p (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 (+ 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)
  (fma (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)))))
  (fma (pow (/ 1 x) 1/4) 0.25 (- (pow (pow x 3) 1/4) (* 0.010416666666666666 (pow (/ 1 (pow x 5)) 1/4))))
  (fma 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)
  (fma (pow 0.3333333333333333 1/4) (+ (* 0.28125 (pow x 2)) (* 0.75 x)) (- (pow 0.3333333333333333 1/4) (* 1/8 (* (pow x 2) (pow (/ 1 (pow 0.3333333333333333 7)) 1/4)))))
  (fma (pow (/ 1 (pow x 3)) 1/4) 0.08333333333333333 (- (pow (/ 1 x) -1/4) (* 0.010416666666666666 (pow (/ 1 (pow x 7)) 1/4))))
  (fma 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)))))
  (fma (pow 0.3333333333333333 1/4) (+ (* 0.28125 (pow x 2)) (* 0.75 x)) (- (pow 0.3333333333333333 1/4) (* 1/8 (* (pow x 2) (pow (/ 1 (pow 0.3333333333333333 7)) 1/4)))))
  (fma (pow (/ 1 (pow x 3)) 1/4) 0.08333333333333333 (- (pow (/ 1 x) -1/4) (* 0.010416666666666666 (pow (/ 1 (pow x 7)) 1/4))))
  (fma 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.333 * * * [progress]: adding candidates to table
1.721 * * [progress]: iteration 4 / 4
1.722 * * * [progress]: picking best candidate
1.731 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))>
1.731 * * * [progress]: localizing error
1.743 * * * [progress]: generating rewritten candidates
1.743 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.763 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.884 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.902 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
1.916 * * * [progress]: generating series expansions
1.916 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.917 * [approximate]: Taking taylor expansion of (pow (sqrt (+ x 0.3333333333333333)) 3/2) in (x) around 0
1.917 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 0.3333333333333333)) 3/2) in x
1.917 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (sqrt (+ x 0.3333333333333333))))) in x
1.917 * [taylor]: Taking taylor expansion of (* 3/2 (log (sqrt (+ x 0.3333333333333333)))) in x
1.917 * [taylor]: Taking taylor expansion of 3/2 in x
1.917 * [taylor]: Taking taylor expansion of (log (sqrt (+ x 0.3333333333333333))) in x
1.917 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
1.917 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.917 * [taylor]: Taking taylor expansion of x in x
1.917 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.926 * [taylor]: Taking taylor expansion of (pow (sqrt (+ x 0.3333333333333333)) 3/2) in x
1.926 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (sqrt (+ x 0.3333333333333333))))) in x
1.926 * [taylor]: Taking taylor expansion of (* 3/2 (log (sqrt (+ x 0.3333333333333333)))) in x
1.926 * [taylor]: Taking taylor expansion of 3/2 in x
1.926 * [taylor]: Taking taylor expansion of (log (sqrt (+ x 0.3333333333333333))) in x
1.926 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
1.926 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
1.926 * [taylor]: Taking taylor expansion of x in x
1.926 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.993 * [approximate]: Taking taylor expansion of (pow (sqrt (+ 0.3333333333333333 (/ 1 x))) 3/2) in (x) around 0
1.993 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 0.3333333333333333 (/ 1 x))) 3/2) in x
1.993 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (sqrt (+ 0.3333333333333333 (/ 1 x)))))) in x
1.993 * [taylor]: Taking taylor expansion of (* 3/2 (log (sqrt (+ 0.3333333333333333 (/ 1 x))))) in x
1.993 * [taylor]: Taking taylor expansion of 3/2 in x
1.993 * [taylor]: Taking taylor expansion of (log (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
1.993 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
1.993 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.993 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.994 * [taylor]: Taking taylor expansion of x in x
1.997 * [taylor]: Taking taylor expansion of (pow (sqrt (+ 0.3333333333333333 (/ 1 x))) 3/2) in x
1.997 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (sqrt (+ 0.3333333333333333 (/ 1 x)))))) in x
1.997 * [taylor]: Taking taylor expansion of (* 3/2 (log (sqrt (+ 0.3333333333333333 (/ 1 x))))) in x
1.997 * [taylor]: Taking taylor expansion of 3/2 in x
1.997 * [taylor]: Taking taylor expansion of (log (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
1.997 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
1.997 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
1.997 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.997 * [taylor]: Taking taylor expansion of x in x
2.044 * [approximate]: Taking taylor expansion of (pow (sqrt (- 0.3333333333333333 (/ 1 x))) 3/2) in (x) around 0
2.044 * [taylor]: Taking taylor expansion of (pow (sqrt (- 0.3333333333333333 (/ 1 x))) 3/2) in x
2.044 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (sqrt (- 0.3333333333333333 (/ 1 x)))))) in x
2.044 * [taylor]: Taking taylor expansion of (* 3/2 (log (sqrt (- 0.3333333333333333 (/ 1 x))))) in x
2.044 * [taylor]: Taking taylor expansion of 3/2 in x
2.044 * [taylor]: Taking taylor expansion of (log (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
2.044 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
2.044 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.044 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.044 * [taylor]: Taking taylor expansion of x in x
2.048 * [taylor]: Taking taylor expansion of (pow (sqrt (- 0.3333333333333333 (/ 1 x))) 3/2) in x
2.048 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (sqrt (- 0.3333333333333333 (/ 1 x)))))) in x
2.048 * [taylor]: Taking taylor expansion of (* 3/2 (log (sqrt (- 0.3333333333333333 (/ 1 x))))) in x
2.048 * [taylor]: Taking taylor expansion of 3/2 in x
2.048 * [taylor]: Taking taylor expansion of (log (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
2.048 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
2.048 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.048 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.048 * [taylor]: Taking taylor expansion of x in x
2.087 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.088 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
2.088 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
2.088 * [taylor]: Taking taylor expansion of x in x
2.088 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.088 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
2.088 * [taylor]: Taking taylor expansion of x in x
2.088 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.091 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
2.091 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
2.091 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.091 * [taylor]: Taking taylor expansion of x in x
2.091 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
2.091 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.092 * [taylor]: Taking taylor expansion of x in x
2.098 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
2.098 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.098 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.098 * [taylor]: Taking taylor expansion of x in x
2.098 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.098 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.098 * [taylor]: Taking taylor expansion of x in x
2.114 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.114 * [approximate]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in (x) around 0
2.114 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
2.114 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
2.114 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
2.114 * [taylor]: Taking taylor expansion of 1/4 in x
2.114 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
2.114 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
2.114 * [taylor]: Taking taylor expansion of x in x
2.114 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.116 * [taylor]: Taking taylor expansion of (pow (+ x 0.3333333333333333) 1/4) in x
2.116 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x 0.3333333333333333)))) in x
2.116 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x 0.3333333333333333))) in x
2.116 * [taylor]: Taking taylor expansion of 1/4 in x
2.116 * [taylor]: Taking taylor expansion of (log (+ x 0.3333333333333333)) in x
2.116 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
2.116 * [taylor]: Taking taylor expansion of x in x
2.116 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.153 * [approximate]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in (x) around 0
2.153 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
2.153 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
2.153 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
2.153 * [taylor]: Taking taylor expansion of 1/4 in x
2.153 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
2.153 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
2.153 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.153 * [taylor]: Taking taylor expansion of x in x
2.154 * [taylor]: Taking taylor expansion of (pow (+ 0.3333333333333333 (/ 1 x)) 1/4) in x
2.154 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ 0.3333333333333333 (/ 1 x))))) in x
2.154 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ 0.3333333333333333 (/ 1 x)))) in x
2.154 * [taylor]: Taking taylor expansion of 1/4 in x
2.154 * [taylor]: Taking taylor expansion of (log (+ 0.3333333333333333 (/ 1 x))) in x
2.154 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
2.154 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.154 * [taylor]: Taking taylor expansion of x in x
2.175 * [approximate]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in (x) around 0
2.175 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
2.175 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
2.175 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
2.175 * [taylor]: Taking taylor expansion of 1/4 in x
2.175 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
2.175 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.175 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.175 * [taylor]: Taking taylor expansion of x in x
2.177 * [taylor]: Taking taylor expansion of (pow (- 0.3333333333333333 (/ 1 x)) 1/4) in x
2.177 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- 0.3333333333333333 (/ 1 x))))) in x
2.177 * [taylor]: Taking taylor expansion of (* 1/4 (log (- 0.3333333333333333 (/ 1 x)))) in x
2.177 * [taylor]: Taking taylor expansion of 1/4 in x
2.178 * [taylor]: Taking taylor expansion of (log (- 0.3333333333333333 (/ 1 x))) in x
2.178 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.178 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.178 * [taylor]: Taking taylor expansion of x in x
2.210 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
2.211 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
2.211 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
2.211 * [taylor]: Taking taylor expansion of x in x
2.211 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.211 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
2.211 * [taylor]: Taking taylor expansion of x in x
2.211 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.213 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
2.213 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
2.213 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.213 * [taylor]: Taking taylor expansion of x in x
2.214 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
2.214 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.214 * [taylor]: Taking taylor expansion of x in x
2.220 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
2.220 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.220 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.220 * [taylor]: Taking taylor expansion of x in x
2.220 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
2.220 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.220 * [taylor]: Taking taylor expansion of x in x
2.228 * * * [progress]: simplifying candidates
2.230 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (log1p (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (* (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))
  (expm1 (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))
  (log1p (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/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))
  (expm1 (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (log1p (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)))))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (* (exp x) (exp (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (* (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (- (+ (* 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.231 * [simplify]: Sending expressions to egg_math:
 (expm1 (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (log1p (pow (sqrt (+ h0 (/ h1 h2))) 3/2))
 (* (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))
 (expm1 (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/2)))
 (log1p (* (sqrt (sqrt (+ h0 (/ h1 h2)))) (pow (sqrt (+ h0 (/ h1 h2))) 3/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))
 (expm1 (sqrt (sqrt (+ h0 (/ h1 h2)))))
 (log1p (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)))))
 (expm1 (+ h0 (/ h1 h2)))
 (log1p (+ 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.238 * * [simplify]: iteration  0 :  450  enodes  (cost  1103 )
2.248 * * [simplify]: iteration  1 :  1606  enodes  (cost  1030 )
2.284 * * [simplify]: iteration  2 :  5001  enodes  (cost  898 )
2.289 * [simplify]: Simplified to:
   (expm1 (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (log1p (pow (sqrt (+ x (/ 1.0 3.0))) 3/2))
  (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)
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  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))
  (expm1 (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (log1p (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)))))
  (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)))))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (pow (+ x (/ 1.0 3.0)) 3)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (fma (/ 1.0 3.0) (- (/ 1.0 3.0) x) (pow x 2))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (fma (* 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)
  (fma (pow 0.3333333333333333 1/4) (+ (* 0.28125 (pow x 2)) (* 0.75 x)) (- (pow 0.3333333333333333 1/4) (* 1/8 (* (pow x 2) (pow (/ 1 (pow 0.3333333333333333 7)) 1/4)))))
  (fma (pow (/ 1 (pow x 3)) 1/4) 0.08333333333333333 (- (pow (/ 1 x) -1/4) (* 0.010416666666666666 (pow (/ 1 (pow x 7)) 1/4))))
  (fma 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.290 * * * [progress]: adding candidates to table
2.599 * [progress]: [Phase 3 of 3] Extracting.
2.599 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (sqrt (+ x (/ 1.0 3.0))) (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3))))> #<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))> #<alt (λ (x) (+ x (/ 1.0 3.0)))> #<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))>)
2.599 * * * [regime-changes]: Trying 2 branch expressions: ((+ x (/ 1.0 3.0)) x)
2.599 * * * * [regimes]: Trying to branch on (+ x (/ 1.0 3.0)) from (#<alt (λ (x) (* (sqrt (+ x (/ 1.0 3.0))) (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3))))> #<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))> #<alt (λ (x) (+ x (/ 1.0 3.0)))> #<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))>)
2.615 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (sqrt (+ x (/ 1.0 3.0))) (cbrt (pow (sqrt (+ x (/ 1.0 3.0))) 3))))> #<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (+ x (/ 1.0 3.0))) 3/2)))> #<alt (λ (x) (+ x (/ 1.0 3.0)))> #<alt (λ (x) (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (pow (sqrt (sqrt (+ x (/ 1.0 3.0)))) 3)))>)
2.630 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
2.631 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (/ 1.0 3.0))
2.631 * [simplify]: Sending expressions to egg_math:
 (+ h0 (/ h1 h2))
2.631 * * [simplify]: iteration  0 :  6  enodes  (cost  2 )
2.632 * * [simplify]: iteration  1 :  6  enodes  (cost  2 )
2.632 * [simplify]: Simplified to:
   (+ x (/ 1.0 3.0))
2.999 * [regime-testing]: Baseline error score: 0.010001250156269533
2.999 * [regime-testing]: Oracle error score: 0.005125640705088136
3.000 * [regime-testing]: End program error score: 0.010001250156269533