65.251 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.015 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (* x x) y) y)
0.017 * [simplify]: Sending expressions to egg_math:
 (+ (+ (* h0 h0) h1) h1)
0.020 * * [simplify]: iteration  0 :  10  enodes  (cost  2 )
0.022 * * [simplify]: iteration  1 :  14  enodes  (cost  2 )
0.023 * * [simplify]: iteration  2 :  16  enodes  (cost  2 )
0.025 * * [simplify]: iteration  3 :  17  enodes  (cost  2 )
0.026 * * [simplify]: iteration  4 :  17  enodes  (cost  2 )
0.026 * [simplify]: Simplified to:
   (+ y (fma x x y))
0.031 * * [progress]: iteration 1 / 4
0.031 * * * [progress]: picking best candidate
0.033 * * * * [pick]: Picked  #<alt (λ (x y) (+ y (fma x x y)))>
0.033 * * * [progress]: localizing error
0.037 * * * [progress]: generating rewritten candidates
0.037 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.043 * * * [progress]: generating series expansions
0.043 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.043 * [approximate]: Taking taylor expansion of (+ (fma x x y) y) in (y x) around 0
0.043 * [taylor]: Taking taylor expansion of (+ (fma x x y) y) in x
0.043 * [taylor]: Taking taylor expansion of (fma x x y) in x
0.044 * [taylor]: Rewrote expression to (+ (* x x) y)
0.044 * [taylor]: Taking taylor expansion of (* x x) in x
0.044 * [taylor]: Taking taylor expansion of x in x
0.044 * [taylor]: Taking taylor expansion of x in x
0.044 * [taylor]: Taking taylor expansion of y in x
0.044 * [taylor]: Taking taylor expansion of y in x
0.044 * [taylor]: Taking taylor expansion of (+ (fma x x y) y) in y
0.044 * [taylor]: Taking taylor expansion of (fma x x y) in y
0.044 * [taylor]: Rewrote expression to (+ (* x x) y)
0.044 * [taylor]: Taking taylor expansion of (* x x) in y
0.044 * [taylor]: Taking taylor expansion of x in y
0.044 * [taylor]: Taking taylor expansion of x in y
0.044 * [taylor]: Taking taylor expansion of y in y
0.044 * [taylor]: Taking taylor expansion of y in y
0.044 * [taylor]: Taking taylor expansion of (+ (fma x x y) y) in y
0.044 * [taylor]: Taking taylor expansion of (fma x x y) in y
0.044 * [taylor]: Rewrote expression to (+ (* x x) y)
0.044 * [taylor]: Taking taylor expansion of (* x x) in y
0.044 * [taylor]: Taking taylor expansion of x in y
0.044 * [taylor]: Taking taylor expansion of x in y
0.044 * [taylor]: Taking taylor expansion of y in y
0.044 * [taylor]: Taking taylor expansion of y in y
0.044 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.044 * [taylor]: Taking taylor expansion of x in x
0.045 * [taylor]: Taking taylor expansion of 2 in x
0.046 * [taylor]: Taking taylor expansion of 0 in x
0.047 * [taylor]: Taking taylor expansion of 0 in x
0.049 * [taylor]: Taking taylor expansion of 0 in x
0.049 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 x) (/ 1 x) (/ 1 y))) in (y x) around 0
0.049 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 x) (/ 1 x) (/ 1 y))) in x
0.049 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.049 * [taylor]: Taking taylor expansion of y in x
0.049 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 y)) in x
0.049 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 y))
0.049 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
0.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.049 * [taylor]: Taking taylor expansion of x in x
0.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.050 * [taylor]: Taking taylor expansion of x in x
0.050 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.050 * [taylor]: Taking taylor expansion of y in x
0.050 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 x) (/ 1 x) (/ 1 y))) in y
0.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.050 * [taylor]: Taking taylor expansion of y in y
0.050 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 y)) in y
0.050 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 y))
0.050 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
0.050 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.050 * [taylor]: Taking taylor expansion of x in y
0.050 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.050 * [taylor]: Taking taylor expansion of x in y
0.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.050 * [taylor]: Taking taylor expansion of y in y
0.051 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 x) (/ 1 x) (/ 1 y))) in y
0.051 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.051 * [taylor]: Taking taylor expansion of y in y
0.051 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 y)) in y
0.051 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 y))
0.051 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.051 * [taylor]: Taking taylor expansion of x in y
0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.051 * [taylor]: Taking taylor expansion of x in y
0.051 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.051 * [taylor]: Taking taylor expansion of y in y
0.052 * [taylor]: Taking taylor expansion of 2 in x
0.053 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.053 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.053 * [taylor]: Taking taylor expansion of x in x
0.055 * [taylor]: Taking taylor expansion of 0 in x
0.058 * [taylor]: Taking taylor expansion of 0 in x
0.061 * [taylor]: Taking taylor expansion of 0 in x
0.065 * [taylor]: Taking taylor expansion of 0 in x
0.066 * [approximate]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 x) (/ -1 y)) (/ 1 y)) in (y x) around 0
0.066 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 x) (/ -1 y)) (/ 1 y)) in x
0.066 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ -1 y)) in x
0.066 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ -1 y))
0.066 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
0.066 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.066 * [taylor]: Taking taylor expansion of -1 in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.066 * [taylor]: Taking taylor expansion of -1 in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.067 * [taylor]: Taking taylor expansion of -1 in x
0.067 * [taylor]: Taking taylor expansion of y in x
0.067 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.067 * [taylor]: Taking taylor expansion of y in x
0.067 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 x) (/ -1 y)) (/ 1 y)) in y
0.067 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ -1 y)) in y
0.067 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ -1 y))
0.067 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
0.067 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.067 * [taylor]: Taking taylor expansion of -1 in y
0.067 * [taylor]: Taking taylor expansion of x in y
0.067 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.067 * [taylor]: Taking taylor expansion of -1 in y
0.067 * [taylor]: Taking taylor expansion of x in y
0.067 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.067 * [taylor]: Taking taylor expansion of -1 in y
0.067 * [taylor]: Taking taylor expansion of y in y
0.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.067 * [taylor]: Taking taylor expansion of y in y
0.068 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 x) (/ -1 y)) (/ 1 y)) in y
0.068 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ -1 y)) in y
0.068 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ -1 y))
0.068 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
0.068 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.068 * [taylor]: Taking taylor expansion of -1 in y
0.068 * [taylor]: Taking taylor expansion of x in y
0.068 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.068 * [taylor]: Taking taylor expansion of -1 in y
0.068 * [taylor]: Taking taylor expansion of x in y
0.068 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.068 * [taylor]: Taking taylor expansion of -1 in y
0.068 * [taylor]: Taking taylor expansion of y in y
0.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.068 * [taylor]: Taking taylor expansion of y in y
0.069 * [taylor]: Taking taylor expansion of -2 in x
0.070 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.070 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.071 * [taylor]: Taking taylor expansion of x in x
0.073 * [taylor]: Taking taylor expansion of 0 in x
0.076 * [taylor]: Taking taylor expansion of 0 in x
0.079 * [taylor]: Taking taylor expansion of 0 in x
0.082 * [taylor]: Taking taylor expansion of 0 in x
0.083 * * * [progress]: simplifying candidates
0.083 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (+ y (fma x x y)))
  (log1p (+ y (fma x x y)))
  (* (exp y) (exp (fma x x y)))
  (log (+ y (fma x x y)))
  (exp (+ y (fma x x y)))
  (* (cbrt (+ y (fma x x y))) (cbrt (+ y (fma x x y))))
  (cbrt (+ y (fma x x y)))
  (* (* (+ y (fma x x y)) (+ y (fma x x y))) (+ y (fma x x y)))
  (sqrt (+ y (fma x x y)))
  (sqrt (+ y (fma x x y)))
  (+ (pow y 3) (pow (fma x x y) 3))
  (+ (* y y) (- (* (fma x x y) (fma x x y)) (* y (fma x x y))))
  (- (* y y) (* (fma x x y) (fma x x y)))
  (- y (fma x x y))
  (+ y (fma x x y))
  (+ y (* x x))
  (+ (pow x 2) (* 2 y))
  (+ (pow x 2) (* 2 y))
  (+ (pow x 2) (* 2 y))
0.083 * [simplify]: Sending expressions to egg_math:
 (expm1 (+ h0 (fma h1 h1 h0)))
 (log1p (+ h0 (fma h1 h1 h0)))
 (* (exp h0) (exp (fma h1 h1 h0)))
 (log (+ h0 (fma h1 h1 h0)))
 (exp (+ h0 (fma h1 h1 h0)))
 (* (cbrt (+ h0 (fma h1 h1 h0))) (cbrt (+ h0 (fma h1 h1 h0))))
 (cbrt (+ h0 (fma h1 h1 h0)))
 (* (* (+ h0 (fma h1 h1 h0)) (+ h0 (fma h1 h1 h0))) (+ h0 (fma h1 h1 h0)))
 (sqrt (+ h0 (fma h1 h1 h0)))
 (sqrt (+ h0 (fma h1 h1 h0)))
 (+ (pow h0 3) (pow (fma h1 h1 h0) 3))
 (+ (* h0 h0) (- (* (fma h1 h1 h0) (fma h1 h1 h0)) (* h0 (fma h1 h1 h0))))
 (- (* h0 h0) (* (fma h1 h1 h0) (fma h1 h1 h0)))
 (- h0 (fma h1 h1 h0))
 (+ h0 (fma h1 h1 h0))
 (+ h0 (* h1 h1))
 (+ (pow h1 2) (* 2 h0))
 (+ (pow h1 2) (* 2 h0))
 (+ (pow h1 2) (* 2 h0))
0.087 * * [simplify]: iteration  0 :  80  enodes  (cost  68 )
0.090 * * [simplify]: iteration  1 :  232  enodes  (cost  59 )
0.096 * * [simplify]: iteration  2 :  949  enodes  (cost  59 )
0.120 * * [simplify]: iteration  3 :  5001  enodes  (cost  58 )
0.121 * [simplify]: Simplified to:
   (expm1 (+ y (fma x x y)))
  (log1p (+ y (fma x x y)))
  (exp (+ y (fma x x y)))
  (log (+ y (fma x x y)))
  (exp (+ y (fma x x y)))
  (* (cbrt (+ y (fma x x y))) (cbrt (+ y (fma x x y))))
  (cbrt (+ y (fma x x y)))
  (pow (+ y (fma x x y)) 3)
  (sqrt (+ y (fma x x y)))
  (sqrt (+ y (fma x x y)))
  (+ (pow y 3) (pow (fma x x y) 3))
  (fma (pow x 2) (fma x x y) (* y y))
  (- (* y y) (* (fma x x y) (fma x x y)))
  (- y (fma x x y))
  (fma y 2 (pow x 2))
  (fma x x y)
  (fma y 2 (pow x 2))
  (fma y 2 (pow x 2))
  (fma y 2 (pow x 2))
0.121 * * * [progress]: adding candidates to table
0.163 * * [progress]: iteration 2 / 4
0.163 * * * [progress]: picking best candidate
0.165 * * * * [pick]: Picked  #<alt (λ (x y) (fma (* (cbrt y) (cbrt y)) (cbrt y) (fma x x y)))>
0.165 * * * [progress]: localizing error
0.172 * * * [progress]: generating rewritten candidates
0.172 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.173 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.174 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.175 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.188 * * * [progress]: generating series expansions
0.189 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.189 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
0.189 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.189 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.189 * [taylor]: Taking taylor expansion of 1/3 in y
0.189 * [taylor]: Taking taylor expansion of (log y) in y
0.189 * [taylor]: Taking taylor expansion of y in y
0.189 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.190 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.190 * [taylor]: Taking taylor expansion of 1/3 in y
0.190 * [taylor]: Taking taylor expansion of (log y) in y
0.190 * [taylor]: Taking taylor expansion of y in y
0.239 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
0.239 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.239 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.239 * [taylor]: Taking taylor expansion of 1/3 in y
0.239 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.239 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.239 * [taylor]: Taking taylor expansion of y in y
0.240 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.240 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.240 * [taylor]: Taking taylor expansion of 1/3 in y
0.240 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.240 * [taylor]: Taking taylor expansion of y in y
0.294 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
0.294 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.294 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.294 * [taylor]: Taking taylor expansion of -1 in y
0.295 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.295 * [taylor]: Taking taylor expansion of 1/3 in y
0.295 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.295 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.295 * [taylor]: Taking taylor expansion of y in y
0.296 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.296 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.296 * [taylor]: Taking taylor expansion of -1 in y
0.296 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.296 * [taylor]: Taking taylor expansion of 1/3 in y
0.297 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.297 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.297 * [taylor]: Taking taylor expansion of y in y
0.362 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.362 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
0.362 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.362 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.362 * [taylor]: Taking taylor expansion of 1/3 in y
0.362 * [taylor]: Taking taylor expansion of (log y) in y
0.362 * [taylor]: Taking taylor expansion of y in y
0.363 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.363 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.363 * [taylor]: Taking taylor expansion of 1/3 in y
0.363 * [taylor]: Taking taylor expansion of (log y) in y
0.363 * [taylor]: Taking taylor expansion of y in y
0.412 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
0.412 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.412 * [taylor]: Taking taylor expansion of 1/3 in y
0.412 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.412 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.412 * [taylor]: Taking taylor expansion of y in y
0.413 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.413 * [taylor]: Taking taylor expansion of 1/3 in y
0.413 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.413 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.413 * [taylor]: Taking taylor expansion of y in y
0.468 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
0.468 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.468 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.468 * [taylor]: Taking taylor expansion of -1 in y
0.469 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.469 * [taylor]: Taking taylor expansion of 1/3 in y
0.469 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.469 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.469 * [taylor]: Taking taylor expansion of y in y
0.470 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.470 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.470 * [taylor]: Taking taylor expansion of -1 in y
0.470 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.471 * [taylor]: Taking taylor expansion of 1/3 in y
0.471 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.471 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.471 * [taylor]: Taking taylor expansion of y in y
0.536 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.536 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
0.536 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.536 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.536 * [taylor]: Taking taylor expansion of 1/3 in y
0.536 * [taylor]: Taking taylor expansion of (log y) in y
0.536 * [taylor]: Taking taylor expansion of y in y
0.537 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.537 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.537 * [taylor]: Taking taylor expansion of 1/3 in y
0.537 * [taylor]: Taking taylor expansion of (log y) in y
0.537 * [taylor]: Taking taylor expansion of y in y
0.587 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
0.587 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.587 * [taylor]: Taking taylor expansion of 1/3 in y
0.587 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.587 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.587 * [taylor]: Taking taylor expansion of y in y
0.588 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.588 * [taylor]: Taking taylor expansion of 1/3 in y
0.588 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.588 * [taylor]: Taking taylor expansion of y in y
0.639 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
0.639 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.639 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.639 * [taylor]: Taking taylor expansion of -1 in y
0.640 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.640 * [taylor]: Taking taylor expansion of 1/3 in y
0.640 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.640 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.640 * [taylor]: Taking taylor expansion of y in y
0.641 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.641 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.641 * [taylor]: Taking taylor expansion of -1 in y
0.641 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.641 * [taylor]: Taking taylor expansion of 1/3 in y
0.641 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.641 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.642 * [taylor]: Taking taylor expansion of y in y
0.706 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.707 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/3) in (y) around 0
0.707 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
0.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
0.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
0.707 * [taylor]: Taking taylor expansion of 1/3 in y
0.707 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
0.707 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.707 * [taylor]: Taking taylor expansion of y in y
0.708 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
0.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
0.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
0.708 * [taylor]: Taking taylor expansion of 1/3 in y
0.708 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
0.708 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.708 * [taylor]: Taking taylor expansion of y in y
0.762 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in (y) around 0
0.762 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
0.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
0.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
0.762 * [taylor]: Taking taylor expansion of 1/3 in y
0.762 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
0.762 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.762 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.762 * [taylor]: Taking taylor expansion of y in y
0.764 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
0.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
0.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
0.764 * [taylor]: Taking taylor expansion of 1/3 in y
0.764 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
0.764 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.764 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.764 * [taylor]: Taking taylor expansion of y in y
0.823 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in (y) around 0
0.823 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y
0.823 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
0.823 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.823 * [taylor]: Taking taylor expansion of -1 in y
0.824 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
0.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
0.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
0.824 * [taylor]: Taking taylor expansion of 1/3 in y
0.824 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
0.824 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.824 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.824 * [taylor]: Taking taylor expansion of y in y
0.825 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y
0.825 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
0.825 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.825 * [taylor]: Taking taylor expansion of -1 in y
0.826 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
0.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
0.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
0.826 * [taylor]: Taking taylor expansion of 1/3 in y
0.826 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
0.826 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.826 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.826 * [taylor]: Taking taylor expansion of y in y
0.903 * * * [progress]: simplifying candidates
0.904 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (* (cbrt y) (cbrt y)))
  (log1p (* (cbrt y) (cbrt y)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* y y)
  (* (cbrt y) (cbrt y))
  (+ 1 1)
  (+ (log (cbrt y)) (log (cbrt y)))
  (log (* (cbrt y) (cbrt y)))
  (exp (* (cbrt y) (cbrt y)))
  (* y y)
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (* (cbrt y) (cbrt y)))
  (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))
  (sqrt (* (cbrt y) (cbrt y)))
  (sqrt (* (cbrt y) (cbrt y)))
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt y) (cbrt y))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* 1 1)
  (* (cbrt y) (cbrt y))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt y) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt y) (cbrt (sqrt y)))
  (* (cbrt y) (cbrt 1))
  (* (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (* (cbrt y) (sqrt (cbrt y)))
  (* (cbrt y) 1)
  (* (cbrt (cbrt y)) (cbrt y))
  (* (cbrt (sqrt y)) (cbrt y))
  (* (cbrt y) (cbrt y))
  (* (cbrt (cbrt y)) (cbrt y))
  (* (sqrt (cbrt y)) (cbrt y))
  (* (cbrt y) (cbrt y))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 2/3)
  (pow (/ 1 y) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow y 2) 1/3))
0.904 * [simplify]: Sending expressions to egg_math:
 (expm1 (cbrt h0))
 (log1p (cbrt h0))
 (log (cbrt h0))
 (exp (cbrt h0))
 (cbrt (* (cbrt h0) (cbrt h0)))
 (cbrt (cbrt h0))
 (cbrt (sqrt h0))
 (cbrt (sqrt h0))
 (cbrt 1)
 (cbrt h0)
 (* (cbrt (cbrt h0)) (cbrt (cbrt h0)))
 (cbrt (cbrt h0))
 (* (* (cbrt h0) (cbrt h0)) (cbrt h0))
 (sqrt (cbrt h0))
 (sqrt (cbrt h0))
 (expm1 (cbrt h0))
 (log1p (cbrt h0))
 (log (cbrt h0))
 (exp (cbrt h0))
 (cbrt (* (cbrt h0) (cbrt h0)))
 (cbrt (cbrt h0))
 (cbrt (sqrt h0))
 (cbrt (sqrt h0))
 (cbrt 1)
 (cbrt h0)
 (* (cbrt (cbrt h0)) (cbrt (cbrt h0)))
 (cbrt (cbrt h0))
 (* (* (cbrt h0) (cbrt h0)) (cbrt h0))
 (sqrt (cbrt h0))
 (sqrt (cbrt h0))
 (expm1 (cbrt h0))
 (log1p (cbrt h0))
 (log (cbrt h0))
 (exp (cbrt h0))
 (cbrt (* (cbrt h0) (cbrt h0)))
 (cbrt (cbrt h0))
 (cbrt (sqrt h0))
 (cbrt (sqrt h0))
 (cbrt 1)
 (cbrt h0)
 (* (cbrt (cbrt h0)) (cbrt (cbrt h0)))
 (cbrt (cbrt h0))
 (* (* (cbrt h0) (cbrt h0)) (cbrt h0))
 (sqrt (cbrt h0))
 (sqrt (cbrt h0))
 (expm1 (* (cbrt h0) (cbrt h0)))
 (log1p (* (cbrt h0) (cbrt h0)))
 (+ 1/3 1/3)
 (+ 1 1)
 (* h0 h0)
 (* (cbrt h0) (cbrt h0))
 (+ 1 1)
 (+ (log (cbrt h0)) (log (cbrt h0)))
 (log (* (cbrt h0) (cbrt h0)))
 (exp (* (cbrt h0) (cbrt h0)))
 (* h0 h0)
 (* (cbrt (* (cbrt h0) (cbrt h0))) (cbrt (* (cbrt h0) (cbrt h0))))
 (cbrt (* (cbrt h0) (cbrt h0)))
 (* (* (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (cbrt h0))) (* (cbrt h0) (cbrt h0)))
 (sqrt (* (cbrt h0) (cbrt h0)))
 (sqrt (* (cbrt h0) (cbrt h0)))
 (* (cbrt (* (cbrt h0) (cbrt h0))) (cbrt (* (cbrt h0) (cbrt h0))))
 (* (cbrt (cbrt h0)) (cbrt (cbrt h0)))
 (* (cbrt (sqrt h0)) (cbrt (sqrt h0)))
 (* (cbrt (sqrt h0)) (cbrt (sqrt h0)))
 (* (cbrt 1) (cbrt 1))
 (* (cbrt h0) (cbrt h0))
 (* (* (cbrt (cbrt h0)) (cbrt (cbrt h0))) (* (cbrt (cbrt h0)) (cbrt (cbrt h0))))
 (* (cbrt (cbrt h0)) (cbrt (cbrt h0)))
 (* (sqrt (cbrt h0)) (sqrt (cbrt h0)))
 (* (sqrt (cbrt h0)) (sqrt (cbrt h0)))
 (* 1 1)
 (* (cbrt h0) (cbrt h0))
 (* (cbrt (sqrt h0)) (cbrt (sqrt h0)))
 (* (cbrt (sqrt h0)) (cbrt (sqrt h0)))
 (* (cbrt (sqrt h0)) (sqrt (cbrt h0)))
 (* (cbrt (sqrt h0)) (sqrt (cbrt h0)))
 (* (sqrt (cbrt h0)) (cbrt (sqrt h0)))
 (* (sqrt (cbrt h0)) (cbrt (sqrt h0)))
 (* (sqrt (cbrt h0)) (sqrt (cbrt h0)))
 (* (sqrt (cbrt h0)) (sqrt (cbrt h0)))
 (* 2 1/3)
 (* 2 1)
 (* (cbrt h0) (cbrt (* (cbrt h0) (cbrt h0))))
 (* (cbrt h0) (cbrt (sqrt h0)))
 (* (cbrt h0) (cbrt 1))
 (* (cbrt h0) (* (cbrt (cbrt h0)) (cbrt (cbrt h0))))
 (* (cbrt h0) (sqrt (cbrt h0)))
 (* (cbrt h0) 1)
 (* (cbrt (cbrt h0)) (cbrt h0))
 (* (cbrt (sqrt h0)) (cbrt h0))
 (* (cbrt h0) (cbrt h0))
 (* (cbrt (cbrt h0)) (cbrt h0))
 (* (sqrt (cbrt h0)) (cbrt h0))
 (* (cbrt h0) (cbrt h0))
 (pow h0 1/3)
 (pow (/ 1 h0) -1/3)
 (* (pow (* -1 h0) 1/3) (cbrt -1))
 (pow h0 1/3)
 (pow (/ 1 h0) -1/3)
 (* (pow (* -1 h0) 1/3) (cbrt -1))
 (pow h0 1/3)
 (pow (/ 1 h0) -1/3)
 (* (pow (* -1 h0) 1/3) (cbrt -1))
 (pow h0 2/3)
 (pow (/ 1 h0) -2/3)
 (* (pow (cbrt -1) 2) (pow (pow h0 2) 1/3))
0.908 * * [simplify]: iteration  0 :  119  enodes  (cost  308 )
0.912 * * [simplify]: iteration  1 :  477  enodes  (cost  281 )
0.928 * * [simplify]: iteration  2 :  2972  enodes  (cost  258 )
0.997 * * [simplify]: iteration  3 :  5001  enodes  (cost  255 )
0.998 * [simplify]: Simplified to:
   (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (* (cbrt y) (cbrt y)))
  (log1p (* (cbrt y) (cbrt y)))
  2/3
  2
  (pow y 2)
  (pow y 2/3)
  2
  (* 2/3 (log y))
  (* 2/3 (log y))
  (exp (pow y 2/3))
  (pow y 2)
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (* (cbrt y) (cbrt y)))
  (pow y 2)
  (fabs (pow y 1/3))
  (fabs (pow y 1/3))
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  1
  (pow y 2/3)
  (pow (cbrt (cbrt y)) 4)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (pow y 1/3)
  (pow y 1/3)
  1
  (pow y 2/3)
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (pow y 1/3)
  (pow y 1/3)
  2/3
  2
  (* (cbrt y) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt y) (cbrt (sqrt y)))
  (pow y 1/3)
  (pow (cbrt (cbrt y)) 5)
  (pow (sqrt (cbrt y)) 3)
  (pow y 1/3)
  (pow (cbrt (cbrt y)) 4)
  (* (cbrt y) (cbrt (sqrt y)))
  (pow y 2/3)
  (pow (cbrt (cbrt y)) 4)
  (pow (sqrt (cbrt y)) 3)
  (pow y 2/3)
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 2/3)
  (pow (/ 1 y) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow y 2) 1/3))
0.999 * * * [progress]: adding candidates to table
1.203 * [progress]: [Phase 3 of 3] Extracting.
1.203 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ y (fma x x y)))> #<alt (λ (x y) (fma (* (cbrt y) (cbrt y)) (cbrt y) (fma x x y)))>)
1.203 * * * [regime-changes]: Trying 2 branch expressions: (y x)
1.203 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ y (fma x x y)))> #<alt (λ (x y) (fma (* (cbrt y) (cbrt y)) (cbrt y) (fma x x y)))>)
1.216 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ y (fma x x y)))> #<alt (λ (x y) (fma (* (cbrt y) (cbrt y)) (cbrt y) (fma x x y)))>)
1.226 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.227 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ y (fma x x y))
1.227 * [simplify]: Sending expressions to egg_math:
 (+ h0 (fma h1 h1 h0))
1.227 * * [simplify]: iteration  0 :  5  enodes  (cost  2 )
1.227 * * [simplify]: iteration  1 :  5  enodes  (cost  2 )
1.228 * [simplify]: Simplified to:
   (+ y (fma x x y))
1.726 * [regime-testing]: Baseline error score: 0.010340573261365935
1.727 * [regime-testing]: Oracle error score: 0.00809029197620529
1.728 * [regime-testing]: End program error score: 0.010340573261365935
1.744 * [regime-testing]: Target error score: 0.005089916929324431