12.680 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (exp (* y y)))
0.023 * [simplify]: Sending expressions to egg_math:
 (* h0 (exp (* h1 h1)))
0.025 * * [simplify]: iteration  0 :  8  enodes  (cost  3 )
0.026 * * [simplify]: iteration  1 :  12  enodes  (cost  3 )
0.028 * * [simplify]: iteration  2 :  21  enodes  (cost  3 )
0.029 * * [simplify]: iteration  3 :  48  enodes  (cost  3 )
0.031 * * [simplify]: iteration  4 :  133  enodes  (cost  3 )
0.034 * * [simplify]: iteration  5 :  437  enodes  (cost  3 )
0.043 * * [simplify]: iteration  6 :  1926  enodes  (cost  3 )
0.084 * * [simplify]: iteration  7 :  5002  enodes  (cost  3 )
0.084 * [simplify]: Simplified to:
   (* x (exp (* y y)))
0.085 * * [progress]: iteration 1 / 4
0.085 * * * [progress]: picking best candidate
0.086 * * * * [pick]: Picked  #<alt (λ (x y) (* x (exp (* y y))))>
0.086 * * * [progress]: localizing error
0.091 * * * [progress]: generating rewritten candidates
0.091 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.095 * * * [progress]: generating series expansions
0.095 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.095 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0
0.095 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
0.095 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.095 * [taylor]: Taking taylor expansion of y in y
0.095 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
0.095 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.095 * [taylor]: Taking taylor expansion of y in y
0.101 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
0.101 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.101 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.101 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.101 * [taylor]: Taking taylor expansion of y in y
0.102 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.102 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.102 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.102 * [taylor]: Taking taylor expansion of y in y
0.102 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
0.102 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.103 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.103 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.103 * [taylor]: Taking taylor expansion of y in y
0.103 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.103 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.103 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.103 * [taylor]: Taking taylor expansion of y in y
0.104 * * * [progress]: simplifying candidates
0.104 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp y)
  (log (exp (* y y)))
  (exp (exp (* y y)))
  (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))
  (cbrt (exp (* y y)))
  (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))
  (sqrt (exp (* y y)))
  (sqrt (exp (* y y)))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (pow y 2))
  (exp (pow y 2))
0.104 * [simplify]: Sending expressions to egg_math:
 (exp h0)
 (log (exp (* h0 h0)))
 (exp (exp (* h0 h0)))
 (* (cbrt (exp (* h0 h0))) (cbrt (exp (* h0 h0))))
 (cbrt (exp (* h0 h0)))
 (* (* (exp (* h0 h0)) (exp (* h0 h0))) (exp (* h0 h0)))
 (sqrt (exp (* h0 h0)))
 (sqrt (exp (* h0 h0)))
 (+ (pow h0 2) (+ (* 1/2 (pow h0 4)) 1))
 (exp (pow h0 2))
 (exp (pow h0 2))
0.107 * * [simplify]: iteration  0 :  38  enodes  (cost  37 )
0.108 * * [simplify]: iteration  1 :  102  enodes  (cost  33 )
0.111 * * [simplify]: iteration  2 :  322  enodes  (cost  33 )
0.118 * * [simplify]: iteration  3 :  1464  enodes  (cost  33 )
0.177 * * [simplify]: iteration  4 :  5001  enodes  (cost  33 )
0.178 * [simplify]: Simplified to:
   (exp y)
  (pow y 2)
  (exp (exp (* y y)))
  (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))
  (cbrt (exp (* y y)))
  (pow (exp (* y y)) 3)
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (* y y))
  (exp (* y y))
0.178 * * * [progress]: adding candidates to table
0.203 * * [progress]: iteration 2 / 4
0.203 * * * [progress]: picking best candidate
0.205 * * * * [pick]: Picked  #<alt (λ (x y) (* x (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)))))>
0.205 * * * [progress]: localizing error
0.212 * * * [progress]: generating rewritten candidates
0.212 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.240 * * * [progress]: generating series expansions
0.240 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.241 * [approximate]: Taking taylor expansion of (pow (pow (exp y) (* 1/2 y)) 2) in (y) around 0
0.241 * [taylor]: Taking taylor expansion of (pow (pow (exp y) (* 1/2 y)) 2) in y
0.241 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in y
0.241 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in y
0.241 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in y
0.241 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
0.241 * [taylor]: Taking taylor expansion of 1/2 in y
0.241 * [taylor]: Taking taylor expansion of y in y
0.241 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.241 * [taylor]: Taking taylor expansion of (exp y) in y
0.241 * [taylor]: Taking taylor expansion of y in y
0.246 * [taylor]: Taking taylor expansion of (pow (pow (exp y) (* 1/2 y)) 2) in y
0.246 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in y
0.246 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in y
0.246 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in y
0.246 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
0.246 * [taylor]: Taking taylor expansion of 1/2 in y
0.246 * [taylor]: Taking taylor expansion of y in y
0.246 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.246 * [taylor]: Taking taylor expansion of (exp y) in y
0.246 * [taylor]: Taking taylor expansion of y in y
0.275 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) (/ 1/2 y)) 2) in (y) around 0
0.275 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) (/ 1/2 y)) 2) in y
0.275 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in y
0.275 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in y
0.275 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in y
0.275 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
0.275 * [taylor]: Taking taylor expansion of 1/2 in y
0.275 * [taylor]: Taking taylor expansion of y in y
0.275 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.275 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.275 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.275 * [taylor]: Taking taylor expansion of y in y
0.276 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) (/ 1/2 y)) 2) in y
0.276 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in y
0.276 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in y
0.276 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in y
0.276 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
0.276 * [taylor]: Taking taylor expansion of 1/2 in y
0.276 * [taylor]: Taking taylor expansion of y in y
0.276 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.276 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.276 * [taylor]: Taking taylor expansion of y in y
0.281 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) (/ -1/2 y)) 2) in (y) around 0
0.281 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) (/ -1/2 y)) 2) in y
0.281 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in y
0.281 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in y
0.281 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in y
0.281 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y
0.281 * [taylor]: Taking taylor expansion of -1/2 in y
0.281 * [taylor]: Taking taylor expansion of y in y
0.282 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.282 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.282 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.282 * [taylor]: Taking taylor expansion of -1 in y
0.282 * [taylor]: Taking taylor expansion of y in y
0.282 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) (/ -1/2 y)) 2) in y
0.282 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in y
0.282 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in y
0.282 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in y
0.282 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y
0.282 * [taylor]: Taking taylor expansion of -1/2 in y
0.282 * [taylor]: Taking taylor expansion of y in y
0.283 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.283 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.283 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.283 * [taylor]: Taking taylor expansion of -1 in y
0.283 * [taylor]: Taking taylor expansion of y in y
0.288 * * * [progress]: simplifying candidates
0.288 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (/ y 2) (/ y 2))
  (* (exp y) (exp y))
  (+ (* y (/ y 2)) (* y (/ y 2)))
  (+ (* y (/ y 2)) (* (log (exp y)) (/ y 2)))
  (+ (* y (/ y 2)) (log (pow (exp y) (/ y 2))))
  (+ (* (log (exp y)) (/ y 2)) (* y (/ y 2)))
  (+ (* (log (exp y)) (/ y 2)) (* (log (exp y)) (/ y 2)))
  (+ (* (log (exp y)) (/ y 2)) (log (pow (exp y) (/ y 2))))
  (+ (log (pow (exp y) (/ y 2))) (* y (/ y 2)))
  (+ (log (pow (exp y) (/ y 2))) (* (log (exp y)) (/ y 2)))
  (+ (log (pow (exp y) (/ y 2))) (log (pow (exp y) (/ y 2))))
  (log (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))))
  (exp (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))))
  (* (* (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))) (pow (exp y) (/ y 2))) (* (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))) (pow (exp y) (/ y 2))))
  (* (cbrt (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)))) (cbrt (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)))))
  (cbrt (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))))
  (* (* (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))) (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)))) (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))))
  (sqrt (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))))
  (sqrt (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))))
  (* (pow (* (cbrt (exp y)) (cbrt (exp y))) (/ y 2)) (pow (* (cbrt (exp y)) (cbrt (exp y))) (/ y 2)))
  (* (pow (cbrt (exp y)) (/ y 2)) (pow (cbrt (exp y)) (/ y 2)))
  (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2)))
  (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2)))
  (* (pow 1 (/ y 2)) (pow 1 (/ y 2)))
  (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)))
  (* (* (cbrt (pow (exp y) (/ y 2))) (cbrt (pow (exp y) (/ y 2)))) (* (cbrt (pow (exp y) (/ y 2))) (cbrt (pow (exp y) (/ y 2)))))
  (* (cbrt (pow (exp y) (/ y 2))) (cbrt (pow (exp y) (/ y 2))))
  (* (sqrt (pow (exp y) (/ y 2))) (sqrt (pow (exp y) (/ y 2))))
  (* (sqrt (pow (exp y) (/ y 2))) (sqrt (pow (exp y) (/ y 2))))
  (* 1 1)
  (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)))
  (* (pow (exp y) (/ (/ y 2) 2)) (pow (exp y) (/ (/ y 2) 2)))
  (* (pow (exp y) (/ (/ y 2) 2)) (pow (exp y) (/ (/ y 2) 2)))
  (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2)))
  (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2)))
  (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (exp y) (/ y 2))))
  (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (exp y) (/ y 2))))
  (* (pow (sqrt (exp y)) (/ y 2)) (pow (exp y) (/ (/ y 2) 2)))
  (* (pow (sqrt (exp y)) (/ y 2)) (pow (exp y) (/ (/ y 2) 2)))
  (* (sqrt (pow (exp y) (/ y 2))) (pow (sqrt (exp y)) (/ y 2)))
  (* (sqrt (pow (exp y) (/ y 2))) (pow (sqrt (exp y)) (/ y 2)))
  (* (sqrt (pow (exp y) (/ y 2))) (sqrt (pow (exp y) (/ y 2))))
  (* (sqrt (pow (exp y) (/ y 2))) (sqrt (pow (exp y) (/ y 2))))
  (* (sqrt (pow (exp y) (/ y 2))) (pow (exp y) (/ (/ y 2) 2)))
  (* (sqrt (pow (exp y) (/ y 2))) (pow (exp y) (/ (/ y 2) 2)))
  (* (pow (exp y) (/ (/ y 2) 2)) (pow (sqrt (exp y)) (/ y 2)))
  (* (pow (exp y) (/ (/ y 2) 2)) (pow (sqrt (exp y)) (/ y 2)))
  (* (pow (exp y) (/ (/ y 2) 2)) (sqrt (pow (exp y) (/ y 2))))
  (* (pow (exp y) (/ (/ y 2) 2)) (sqrt (pow (exp y) (/ y 2))))
  (* (pow (exp y) (/ (/ y 2) 2)) (pow (exp y) (/ (/ y 2) 2)))
  (* (pow (exp y) (/ (/ y 2) 2)) (pow (exp y) (/ (/ y 2) 2)))
  (* 2 (/ y 2))
  (* (pow (exp y) (/ y 2)) (pow (* (cbrt (exp y)) (cbrt (exp y))) (/ y 2)))
  (* (pow (exp y) (/ y 2)) (pow (sqrt (exp y)) (/ y 2)))
  (* (pow (exp y) (/ y 2)) (pow 1 (/ y 2)))
  (* (pow (exp y) (/ y 2)) (* (cbrt (pow (exp y) (/ y 2))) (cbrt (pow (exp y) (/ y 2)))))
  (* (pow (exp y) (/ y 2)) (sqrt (pow (exp y) (/ y 2))))
  (* (pow (exp y) (/ y 2)) 1)
  (* (pow (exp y) (/ y 2)) (pow (exp y) (/ (/ y 2) 2)))
  (* (pow (cbrt (exp y)) (/ y 2)) (pow (exp y) (/ y 2)))
  (* (pow (sqrt (exp y)) (/ y 2)) (pow (exp y) (/ y 2)))
  (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)))
  (* (cbrt (pow (exp y) (/ y 2))) (pow (exp y) (/ y 2)))
  (* (sqrt (pow (exp y) (/ y 2))) (pow (exp y) (/ y 2)))
  (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)))
  (* (pow (exp y) (/ (/ y 2) 2)) (pow (exp y) (/ y 2)))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (pow (exp (* 1/2 (pow y 2))) 2)
  (pow (exp (* 1/2 (pow y 2))) 2)
0.289 * [simplify]: Sending expressions to egg_math:
 (+ (/ h0 2) (/ h0 2))
 (* (exp h0) (exp h0))
 (+ (* h0 (/ h0 2)) (* h0 (/ h0 2)))
 (+ (* h0 (/ h0 2)) (* (log (exp h0)) (/ h0 2)))
 (+ (* h0 (/ h0 2)) (log (pow (exp h0) (/ h0 2))))
 (+ (* (log (exp h0)) (/ h0 2)) (* h0 (/ h0 2)))
 (+ (* (log (exp h0)) (/ h0 2)) (* (log (exp h0)) (/ h0 2)))
 (+ (* (log (exp h0)) (/ h0 2)) (log (pow (exp h0) (/ h0 2))))
 (+ (log (pow (exp h0) (/ h0 2))) (* h0 (/ h0 2)))
 (+ (log (pow (exp h0) (/ h0 2))) (* (log (exp h0)) (/ h0 2)))
 (+ (log (pow (exp h0) (/ h0 2))) (log (pow (exp h0) (/ h0 2))))
 (log (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2))))
 (exp (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2))))
 (* (* (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2))) (pow (exp h0) (/ h0 2))) (* (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2))) (pow (exp h0) (/ h0 2))))
 (* (cbrt (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2)))) (cbrt (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2)))))
 (cbrt (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2))))
 (* (* (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2))) (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2)))) (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2))))
 (sqrt (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2))))
 (sqrt (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2))))
 (* (pow (* (cbrt (exp h0)) (cbrt (exp h0))) (/ h0 2)) (pow (* (cbrt (exp h0)) (cbrt (exp h0))) (/ h0 2)))
 (* (pow (cbrt (exp h0)) (/ h0 2)) (pow (cbrt (exp h0)) (/ h0 2)))
 (* (pow (sqrt (exp h0)) (/ h0 2)) (pow (sqrt (exp h0)) (/ h0 2)))
 (* (pow (sqrt (exp h0)) (/ h0 2)) (pow (sqrt (exp h0)) (/ h0 2)))
 (* (pow 1 (/ h0 2)) (pow 1 (/ h0 2)))
 (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2)))
 (* (* (cbrt (pow (exp h0) (/ h0 2))) (cbrt (pow (exp h0) (/ h0 2)))) (* (cbrt (pow (exp h0) (/ h0 2))) (cbrt (pow (exp h0) (/ h0 2)))))
 (* (cbrt (pow (exp h0) (/ h0 2))) (cbrt (pow (exp h0) (/ h0 2))))
 (* (sqrt (pow (exp h0) (/ h0 2))) (sqrt (pow (exp h0) (/ h0 2))))
 (* (sqrt (pow (exp h0) (/ h0 2))) (sqrt (pow (exp h0) (/ h0 2))))
 (* 1 1)
 (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2)))
 (* (pow (exp h0) (/ (/ h0 2) 2)) (pow (exp h0) (/ (/ h0 2) 2)))
 (* (pow (exp h0) (/ (/ h0 2) 2)) (pow (exp h0) (/ (/ h0 2) 2)))
 (* (pow (sqrt (exp h0)) (/ h0 2)) (pow (sqrt (exp h0)) (/ h0 2)))
 (* (pow (sqrt (exp h0)) (/ h0 2)) (pow (sqrt (exp h0)) (/ h0 2)))
 (* (pow (sqrt (exp h0)) (/ h0 2)) (sqrt (pow (exp h0) (/ h0 2))))
 (* (pow (sqrt (exp h0)) (/ h0 2)) (sqrt (pow (exp h0) (/ h0 2))))
 (* (pow (sqrt (exp h0)) (/ h0 2)) (pow (exp h0) (/ (/ h0 2) 2)))
 (* (pow (sqrt (exp h0)) (/ h0 2)) (pow (exp h0) (/ (/ h0 2) 2)))
 (* (sqrt (pow (exp h0) (/ h0 2))) (pow (sqrt (exp h0)) (/ h0 2)))
 (* (sqrt (pow (exp h0) (/ h0 2))) (pow (sqrt (exp h0)) (/ h0 2)))
 (* (sqrt (pow (exp h0) (/ h0 2))) (sqrt (pow (exp h0) (/ h0 2))))
 (* (sqrt (pow (exp h0) (/ h0 2))) (sqrt (pow (exp h0) (/ h0 2))))
 (* (sqrt (pow (exp h0) (/ h0 2))) (pow (exp h0) (/ (/ h0 2) 2)))
 (* (sqrt (pow (exp h0) (/ h0 2))) (pow (exp h0) (/ (/ h0 2) 2)))
 (* (pow (exp h0) (/ (/ h0 2) 2)) (pow (sqrt (exp h0)) (/ h0 2)))
 (* (pow (exp h0) (/ (/ h0 2) 2)) (pow (sqrt (exp h0)) (/ h0 2)))
 (* (pow (exp h0) (/ (/ h0 2) 2)) (sqrt (pow (exp h0) (/ h0 2))))
 (* (pow (exp h0) (/ (/ h0 2) 2)) (sqrt (pow (exp h0) (/ h0 2))))
 (* (pow (exp h0) (/ (/ h0 2) 2)) (pow (exp h0) (/ (/ h0 2) 2)))
 (* (pow (exp h0) (/ (/ h0 2) 2)) (pow (exp h0) (/ (/ h0 2) 2)))
 (* 2 (/ h0 2))
 (* (pow (exp h0) (/ h0 2)) (pow (* (cbrt (exp h0)) (cbrt (exp h0))) (/ h0 2)))
 (* (pow (exp h0) (/ h0 2)) (pow (sqrt (exp h0)) (/ h0 2)))
 (* (pow (exp h0) (/ h0 2)) (pow 1 (/ h0 2)))
 (* (pow (exp h0) (/ h0 2)) (* (cbrt (pow (exp h0) (/ h0 2))) (cbrt (pow (exp h0) (/ h0 2)))))
 (* (pow (exp h0) (/ h0 2)) (sqrt (pow (exp h0) (/ h0 2))))
 (* (pow (exp h0) (/ h0 2)) 1)
 (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ (/ h0 2) 2)))
 (* (pow (cbrt (exp h0)) (/ h0 2)) (pow (exp h0) (/ h0 2)))
 (* (pow (sqrt (exp h0)) (/ h0 2)) (pow (exp h0) (/ h0 2)))
 (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2)))
 (* (cbrt (pow (exp h0) (/ h0 2))) (pow (exp h0) (/ h0 2)))
 (* (sqrt (pow (exp h0) (/ h0 2))) (pow (exp h0) (/ h0 2)))
 (* (pow (exp h0) (/ h0 2)) (pow (exp h0) (/ h0 2)))
 (* (pow (exp h0) (/ (/ h0 2) 2)) (pow (exp h0) (/ h0 2)))
 (+ (pow h0 2) (+ (* 1/2 (pow h0 4)) 1))
 (pow (exp (* 1/2 (pow h0 2))) 2)
 (pow (exp (* 1/2 (pow h0 2))) 2)
0.293 * * [simplify]: iteration  0 :  165  enodes  (cost  427 )
0.297 * * [simplify]: iteration  1 :  677  enodes  (cost  382 )
0.313 * * [simplify]: iteration  2 :  4354  enodes  (cost  349 )
0.413 * * [simplify]: iteration  3 :  5001  enodes  (cost  334 )
0.414 * [simplify]: Simplified to:
   (/ y 1)
  (exp (+ y y))
  (* (pow y 2) 1)
  (* (pow y 2) 1)
  (* (pow y 2) 1)
  (* (pow y 2) 1)
  (* (pow y 2) 1)
  (* (pow y 2) 1)
  (* (pow y 2) 1)
  (* (pow y 2) 1)
  (* (pow y 2) 1)
  (* (pow y 2) 1)
  (pow (exp 1) (pow (exp y) (* 2 (/ y 2))))
  (pow (pow (exp y) (/ y 2)) 6)
  (* (cbrt (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)))) (cbrt (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)))))
  (cbrt (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))))
  (pow (pow (exp y) (/ y 2)) 6)
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (pow (* (cbrt (exp y)) (cbrt (exp y))) (* 2 (/ y 2)))
  (pow (cbrt (exp y)) (* 2 (/ y 2)))
  (pow (sqrt (exp y)) (* 2 (/ y 2)))
  (pow (sqrt (exp y)) (* 2 (/ y 2)))
  1
  (exp (pow y 2))
  (pow (cbrt (pow (exp y) (/ y 2))) 4)
  (* (cbrt (pow (exp y) (/ y 2))) (cbrt (pow (exp y) (/ y 2))))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  1
  (exp (pow y 2))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (pow (sqrt (exp y)) (* 2 (/ y 2)))
  (pow (sqrt (exp y)) (* 2 (/ y 2)))
  (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (exp y) (/ y 2))))
  (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (exp y) (/ y 2))))
  (* (pow (sqrt (exp y)) (/ y 2)) (pow (exp y) (/ (/ y 2) 2)))
  (* (pow (sqrt (exp y)) (/ y 2)) (pow (exp y) (/ (/ y 2) 2)))
  (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (exp y) (/ y 2))))
  (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (exp y) (/ y 2))))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (* (sqrt (pow (exp y) (/ y 2))) (pow (exp y) (/ (/ y 2) 2)))
  (* (sqrt (pow (exp y) (/ y 2))) (pow (exp y) (/ (/ y 2) 2)))
  (* (pow (sqrt (exp y)) (/ y 2)) (pow (exp y) (/ (/ y 2) 2)))
  (* (pow (sqrt (exp y)) (/ y 2)) (pow (exp y) (/ (/ y 2) 2)))
  (* (sqrt (pow (exp y) (/ y 2))) (pow (exp y) (/ (/ y 2) 2)))
  (* (sqrt (pow (exp y) (/ y 2))) (pow (exp y) (/ (/ y 2) 2)))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (/ y 1)
  (* (pow (exp y) (/ y 2)) (pow (* (cbrt (exp y)) (cbrt (exp y))) (/ y 2)))
  (* (pow (exp y) (/ y 2)) (pow (sqrt (exp y)) (/ y 2)))
  (pow (exp y) (/ y 2))
  (pow (cbrt (pow (exp y) (/ y 2))) 5)
  (pow (pow (exp y) (/ y 2)) 3/2)
  (pow (exp y) (/ y 2))
  (pow (pow (exp y) (/ (/ y 2) 2)) 3)
  (* (pow (cbrt (exp y)) (/ y 2)) (pow (exp y) (/ y 2)))
  (* (pow (exp y) (/ y 2)) (pow (sqrt (exp y)) (/ y 2)))
  (exp (pow y 2))
  (pow (cbrt (pow (exp y) (/ y 2))) 4)
  (pow (pow (exp y) (/ y 2)) 3/2)
  (exp (pow y 2))
  (pow (pow (exp y) (/ (/ y 2) 2)) 3)
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (pow y 2))
  (exp (pow y 2))
0.415 * * * [progress]: adding candidates to table
0.514 * * [progress]: iteration 3 / 4
0.514 * * * [progress]: picking best candidate
0.517 * * * * [pick]: Picked  #<alt (λ (x y) (* x (cbrt (pow (pow (exp y) (/ y 2)) 6))))>
0.517 * * * [progress]: localizing error
0.527 * * * [progress]: generating rewritten candidates
0.527 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.533 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.541 * * * [progress]: generating series expansions
0.541 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.542 * [approximate]: Taking taylor expansion of (pow (pow (exp y) (* 1/2 y)) 2) in (y) around 0
0.542 * [taylor]: Taking taylor expansion of (pow (pow (exp y) (* 1/2 y)) 2) in y
0.542 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in y
0.542 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in y
0.542 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in y
0.542 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
0.542 * [taylor]: Taking taylor expansion of 1/2 in y
0.542 * [taylor]: Taking taylor expansion of y in y
0.542 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.542 * [taylor]: Taking taylor expansion of (exp y) in y
0.542 * [taylor]: Taking taylor expansion of y in y
0.547 * [taylor]: Taking taylor expansion of (pow (pow (exp y) (* 1/2 y)) 2) in y
0.548 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in y
0.548 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in y
0.548 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in y
0.548 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
0.548 * [taylor]: Taking taylor expansion of 1/2 in y
0.548 * [taylor]: Taking taylor expansion of y in y
0.548 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.548 * [taylor]: Taking taylor expansion of (exp y) in y
0.548 * [taylor]: Taking taylor expansion of y in y
0.578 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) (/ 1/2 y)) 2) in (y) around 0
0.578 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) (/ 1/2 y)) 2) in y
0.578 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in y
0.578 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in y
0.578 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in y
0.578 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
0.578 * [taylor]: Taking taylor expansion of 1/2 in y
0.578 * [taylor]: Taking taylor expansion of y in y
0.578 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.578 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.578 * [taylor]: Taking taylor expansion of y in y
0.579 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) (/ 1/2 y)) 2) in y
0.579 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in y
0.579 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in y
0.579 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in y
0.579 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
0.579 * [taylor]: Taking taylor expansion of 1/2 in y
0.579 * [taylor]: Taking taylor expansion of y in y
0.579 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.579 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.579 * [taylor]: Taking taylor expansion of y in y
0.584 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) (/ -1/2 y)) 2) in (y) around 0
0.585 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) (/ -1/2 y)) 2) in y
0.585 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in y
0.585 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in y
0.585 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in y
0.585 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y
0.585 * [taylor]: Taking taylor expansion of -1/2 in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.585 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.585 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.585 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.585 * [taylor]: Taking taylor expansion of -1 in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.585 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) (/ -1/2 y)) 2) in y
0.586 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in y
0.586 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in y
0.586 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in y
0.586 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y
0.586 * [taylor]: Taking taylor expansion of -1/2 in y
0.586 * [taylor]: Taking taylor expansion of y in y
0.586 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.586 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.586 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.586 * [taylor]: Taking taylor expansion of -1 in y
0.586 * [taylor]: Taking taylor expansion of y in y
0.591 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
0.591 * [approximate]: Taking taylor expansion of (pow (pow (exp y) (* 1/2 y)) 6) in (y) around 0
0.591 * [taylor]: Taking taylor expansion of (pow (pow (exp y) (* 1/2 y)) 6) in y
0.591 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in y
0.591 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in y
0.591 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in y
0.591 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
0.591 * [taylor]: Taking taylor expansion of 1/2 in y
0.591 * [taylor]: Taking taylor expansion of y in y
0.591 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.591 * [taylor]: Taking taylor expansion of (exp y) in y
0.591 * [taylor]: Taking taylor expansion of y in y
0.597 * [taylor]: Taking taylor expansion of (pow (pow (exp y) (* 1/2 y)) 6) in y
0.597 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in y
0.597 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in y
0.597 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in y
0.597 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
0.597 * [taylor]: Taking taylor expansion of 1/2 in y
0.597 * [taylor]: Taking taylor expansion of y in y
0.597 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.597 * [taylor]: Taking taylor expansion of (exp y) in y
0.597 * [taylor]: Taking taylor expansion of y in y
0.628 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) (/ 1/2 y)) 6) in (y) around 0
0.628 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) (/ 1/2 y)) 6) in y
0.628 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in y
0.628 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in y
0.628 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in y
0.628 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
0.628 * [taylor]: Taking taylor expansion of 1/2 in y
0.628 * [taylor]: Taking taylor expansion of y in y
0.628 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.628 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.628 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.628 * [taylor]: Taking taylor expansion of y in y
0.629 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) (/ 1/2 y)) 6) in y
0.629 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in y
0.629 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in y
0.629 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in y
0.629 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
0.629 * [taylor]: Taking taylor expansion of 1/2 in y
0.629 * [taylor]: Taking taylor expansion of y in y
0.629 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.629 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.629 * [taylor]: Taking taylor expansion of y in y
0.643 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) (/ -1/2 y)) 6) in (y) around 0
0.643 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) (/ -1/2 y)) 6) in y
0.643 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in y
0.643 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in y
0.643 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in y
0.643 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y
0.643 * [taylor]: Taking taylor expansion of -1/2 in y
0.643 * [taylor]: Taking taylor expansion of y in y
0.644 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.644 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.644 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.644 * [taylor]: Taking taylor expansion of -1 in y
0.644 * [taylor]: Taking taylor expansion of y in y
0.644 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) (/ -1/2 y)) 6) in y
0.644 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in y
0.644 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in y
0.644 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in y
0.644 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y
0.644 * [taylor]: Taking taylor expansion of -1/2 in y
0.644 * [taylor]: Taking taylor expansion of y in y
0.645 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.645 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.645 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.645 * [taylor]: Taking taylor expansion of -1 in y
0.645 * [taylor]: Taking taylor expansion of y in y
0.664 * * * [progress]: simplifying candidates
0.665 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (exp (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (cbrt (pow (pow (* (cbrt (exp y)) (cbrt (exp y))) (/ y 2)) 6))
  (cbrt (pow (pow (cbrt (exp y)) (/ y 2)) 6))
  (cbrt (pow (pow (sqrt (exp y)) (/ y 2)) 6))
  (cbrt (pow (pow (sqrt (exp y)) (/ y 2)) 6))
  (cbrt (pow (pow 1 (/ y 2)) 6))
  (cbrt (pow (pow (exp y) (/ y 2)) 6))
  (cbrt (pow (* (cbrt (pow (exp y) (/ y 2))) (cbrt (pow (exp y) (/ y 2)))) 6))
  (cbrt (pow (cbrt (pow (exp y) (/ y 2))) 6))
  (cbrt (pow (sqrt (pow (exp y) (/ y 2))) 6))
  (cbrt (pow (sqrt (pow (exp y) (/ y 2))) 6))
  (cbrt (pow 1 6))
  (cbrt (pow (pow (exp y) (/ y 2)) 6))
  (cbrt (pow (pow (exp y) (/ (/ y 2) 2)) 6))
  (cbrt (pow (pow (exp y) (/ (/ y 2) 2)) 6))
  (cbrt (* (cbrt (pow (pow (exp y) (/ y 2)) 6)) (cbrt (pow (pow (exp y) (/ y 2)) 6))))
  (cbrt (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (cbrt (sqrt (pow (pow (exp y) (/ y 2)) 6)))
  (cbrt (sqrt (pow (pow (exp y) (/ y 2)) 6)))
  (cbrt 1)
  (cbrt (pow (pow (exp y) (/ y 2)) 6))
  (cbrt (pow (pow (exp y) (/ y 2)) (/ 6 2)))
  (cbrt (pow (pow (exp y) (/ y 2)) (/ 6 2)))
  (* (cbrt (cbrt (pow (pow (exp y) (/ y 2)) 6))) (cbrt (cbrt (pow (pow (exp y) (/ y 2)) 6))))
  (cbrt (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (* (* (cbrt (pow (pow (exp y) (/ y 2)) 6)) (cbrt (pow (pow (exp y) (/ y 2)) 6))) (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (sqrt (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (sqrt (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (* (* y (/ y 2)) 6)
  (* (* (log (exp y)) (/ y 2)) 6)
  (* (log (pow (exp y) (/ y 2))) 6)
  (* (log (pow (exp y) (/ y 2))) 6)
  (* (/ y 2) 6)
  (pow (pow (exp y) (/ y 2)) (* (cbrt 6) (cbrt 6)))
  (pow (pow (exp y) (/ y 2)) (sqrt 6))
  (pow (pow (exp y) (/ y 2)) 1)
  (pow (pow (* (cbrt (exp y)) (cbrt (exp y))) (/ y 2)) 6)
  (pow (pow (cbrt (exp y)) (/ y 2)) 6)
  (pow (pow (sqrt (exp y)) (/ y 2)) 6)
  (pow (pow (sqrt (exp y)) (/ y 2)) 6)
  (pow (pow 1 (/ y 2)) 6)
  (pow (pow (exp y) (/ y 2)) 6)
  (pow (* (cbrt (pow (exp y) (/ y 2))) (cbrt (pow (exp y) (/ y 2)))) 6)
  (pow (cbrt (pow (exp y) (/ y 2))) 6)
  (pow (sqrt (pow (exp y) (/ y 2))) 6)
  (pow (sqrt (pow (exp y) (/ y 2))) 6)
  (pow 1 6)
  (pow (pow (exp y) (/ y 2)) 6)
  (pow (pow (exp y) (/ (/ y 2) 2)) 6)
  (pow (pow (exp y) (/ (/ y 2) 2)) 6)
  (log (pow (pow (exp y) (/ y 2)) 6))
  (exp (pow (pow (exp y) (/ y 2)) 6))
  (* (cbrt (pow (pow (exp y) (/ y 2)) 6)) (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (cbrt (pow (pow (exp y) (/ y 2)) 6))
  (* (* (pow (pow (exp y) (/ y 2)) 6) (pow (pow (exp y) (/ y 2)) 6)) (pow (pow (exp y) (/ y 2)) 6))
  (sqrt (pow (pow (exp y) (/ y 2)) 6))
  (sqrt (pow (pow (exp y) (/ y 2)) 6))
  (pow (pow (exp y) (/ y 2)) (/ 6 2))
  (pow (pow (exp y) (/ y 2)) (/ 6 2))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (pow (exp (* 1/2 (pow y 2))) 2)
  (pow (exp (* 1/2 (pow y 2))) 2)
  (+ (* 3 (pow y 2)) (+ (* 9/2 (pow y 4)) 1))
  (pow (exp (* 1/2 (pow y 2))) 6)
  (pow (exp (* 1/2 (pow y 2))) 6)
0.665 * [simplify]: Sending expressions to egg_math:
 (log (cbrt (pow (pow (exp h0) (/ h0 2)) 6)))
 (exp (cbrt (pow (pow (exp h0) (/ h0 2)) 6)))
 (cbrt (pow (pow (* (cbrt (exp h0)) (cbrt (exp h0))) (/ h0 2)) 6))
 (cbrt (pow (pow (cbrt (exp h0)) (/ h0 2)) 6))
 (cbrt (pow (pow (sqrt (exp h0)) (/ h0 2)) 6))
 (cbrt (pow (pow (sqrt (exp h0)) (/ h0 2)) 6))
 (cbrt (pow (pow 1 (/ h0 2)) 6))
 (cbrt (pow (pow (exp h0) (/ h0 2)) 6))
 (cbrt (pow (* (cbrt (pow (exp h0) (/ h0 2))) (cbrt (pow (exp h0) (/ h0 2)))) 6))
 (cbrt (pow (cbrt (pow (exp h0) (/ h0 2))) 6))
 (cbrt (pow (sqrt (pow (exp h0) (/ h0 2))) 6))
 (cbrt (pow (sqrt (pow (exp h0) (/ h0 2))) 6))
 (cbrt (pow 1 6))
 (cbrt (pow (pow (exp h0) (/ h0 2)) 6))
 (cbrt (pow (pow (exp h0) (/ (/ h0 2) 2)) 6))
 (cbrt (pow (pow (exp h0) (/ (/ h0 2) 2)) 6))
 (cbrt (* (cbrt (pow (pow (exp h0) (/ h0 2)) 6)) (cbrt (pow (pow (exp h0) (/ h0 2)) 6))))
 (cbrt (cbrt (pow (pow (exp h0) (/ h0 2)) 6)))
 (cbrt (sqrt (pow (pow (exp h0) (/ h0 2)) 6)))
 (cbrt (sqrt (pow (pow (exp h0) (/ h0 2)) 6)))
 (cbrt 1)
 (cbrt (pow (pow (exp h0) (/ h0 2)) 6))
 (cbrt (pow (pow (exp h0) (/ h0 2)) (/ 6 2)))
 (cbrt (pow (pow (exp h0) (/ h0 2)) (/ 6 2)))
 (* (cbrt (cbrt (pow (pow (exp h0) (/ h0 2)) 6))) (cbrt (cbrt (pow (pow (exp h0) (/ h0 2)) 6))))
 (cbrt (cbrt (pow (pow (exp h0) (/ h0 2)) 6)))
 (* (* (cbrt (pow (pow (exp h0) (/ h0 2)) 6)) (cbrt (pow (pow (exp h0) (/ h0 2)) 6))) (cbrt (pow (pow (exp h0) (/ h0 2)) 6)))
 (sqrt (cbrt (pow (pow (exp h0) (/ h0 2)) 6)))
 (sqrt (cbrt (pow (pow (exp h0) (/ h0 2)) 6)))
 (* (* h0 (/ h0 2)) 6)
 (* (* (log (exp h0)) (/ h0 2)) 6)
 (* (log (pow (exp h0) (/ h0 2))) 6)
 (* (log (pow (exp h0) (/ h0 2))) 6)
 (* (/ h0 2) 6)
 (pow (pow (exp h0) (/ h0 2)) (* (cbrt 6) (cbrt 6)))
 (pow (pow (exp h0) (/ h0 2)) (sqrt 6))
 (pow (pow (exp h0) (/ h0 2)) 1)
 (pow (pow (* (cbrt (exp h0)) (cbrt (exp h0))) (/ h0 2)) 6)
 (pow (pow (cbrt (exp h0)) (/ h0 2)) 6)
 (pow (pow (sqrt (exp h0)) (/ h0 2)) 6)
 (pow (pow (sqrt (exp h0)) (/ h0 2)) 6)
 (pow (pow 1 (/ h0 2)) 6)
 (pow (pow (exp h0) (/ h0 2)) 6)
 (pow (* (cbrt (pow (exp h0) (/ h0 2))) (cbrt (pow (exp h0) (/ h0 2)))) 6)
 (pow (cbrt (pow (exp h0) (/ h0 2))) 6)
 (pow (sqrt (pow (exp h0) (/ h0 2))) 6)
 (pow (sqrt (pow (exp h0) (/ h0 2))) 6)
 (pow 1 6)
 (pow (pow (exp h0) (/ h0 2)) 6)
 (pow (pow (exp h0) (/ (/ h0 2) 2)) 6)
 (pow (pow (exp h0) (/ (/ h0 2) 2)) 6)
 (log (pow (pow (exp h0) (/ h0 2)) 6))
 (exp (pow (pow (exp h0) (/ h0 2)) 6))
 (* (cbrt (pow (pow (exp h0) (/ h0 2)) 6)) (cbrt (pow (pow (exp h0) (/ h0 2)) 6)))
 (cbrt (pow (pow (exp h0) (/ h0 2)) 6))
 (* (* (pow (pow (exp h0) (/ h0 2)) 6) (pow (pow (exp h0) (/ h0 2)) 6)) (pow (pow (exp h0) (/ h0 2)) 6))
 (sqrt (pow (pow (exp h0) (/ h0 2)) 6))
 (sqrt (pow (pow (exp h0) (/ h0 2)) 6))
 (pow (pow (exp h0) (/ h0 2)) (/ 6 2))
 (pow (pow (exp h0) (/ h0 2)) (/ 6 2))
 (+ (pow h0 2) (+ (* 1/2 (pow h0 4)) 1))
 (pow (exp (* 1/2 (pow h0 2))) 2)
 (pow (exp (* 1/2 (pow h0 2))) 2)
 (+ (* 3 (pow h0 2)) (+ (* 9/2 (pow h0 4)) 1))
 (pow (exp (* 1/2 (pow h0 2))) 6)
 (pow (exp (* 1/2 (pow h0 2))) 6)
0.669 * * [simplify]: iteration  0 :  181  enodes  (cost  355 )
0.673 * * [simplify]: iteration  1 :  605  enodes  (cost  313 )
0.688 * * [simplify]: iteration  2 :  3073  enodes  (cost  300 )
0.819 * * [simplify]: iteration  3 :  5001  enodes  (cost  293 )
0.821 * [simplify]: Simplified to:
   (log (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (exp (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (cbrt (pow (pow (* (cbrt (exp y)) (cbrt (exp y))) (/ y 2)) 6))
  (cbrt (pow (pow (cbrt (exp y)) (/ y 2)) 6))
  (cbrt (pow (pow (sqrt (exp y)) (/ y 2)) 6))
  (cbrt (pow (pow (sqrt (exp y)) (/ y 2)) 6))
  1
  (cbrt (pow (pow (exp y) (/ y 2)) 6))
  (cbrt (pow (* (cbrt (pow (exp y) (/ y 2))) (cbrt (pow (exp y) (/ y 2)))) 6))
  (cbrt (pow (cbrt (pow (exp y) (/ y 2))) 6))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  1
  (cbrt (pow (pow (exp y) (/ y 2)) 6))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (cbrt (* (cbrt (pow (pow (exp y) (/ y 2)) 6)) (cbrt (pow (pow (exp y) (/ y 2)) 6))))
  (cbrt (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (cbrt (sqrt (pow (pow (exp y) (/ y 2)) 6)))
  (cbrt (sqrt (pow (pow (exp y) (/ y 2)) 6)))
  1
  (cbrt (pow (pow (exp y) (/ y 2)) 6))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (* (cbrt (cbrt (pow (pow (exp y) (/ y 2)) 6))) (cbrt (cbrt (pow (pow (exp y) (/ y 2)) 6))))
  (cbrt (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (pow (pow (exp y) (/ y 2)) 6)
  (sqrt (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (sqrt (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (/ y 1/3)
  (pow (pow (exp y) (/ y 2)) (* (cbrt 6) (cbrt 6)))
  (pow (pow (exp y) (/ y 2)) (sqrt 6))
  (pow (exp y) (/ y 2))
  (pow (pow (* (cbrt (exp y)) (cbrt (exp y))) (/ y 2)) 6)
  (pow (pow (cbrt (exp y)) (/ y 2)) 6)
  (pow (pow (sqrt (exp y)) (/ y 2)) 6)
  (pow (pow (sqrt (exp y)) (/ y 2)) 6)
  1
  (pow (pow (exp y) (/ y 2)) 6)
  (pow (exp (pow y 2)) 2)
  (exp (pow y 2))
  (pow (exp (pow y 2)) 3/2)
  (pow (exp (pow y 2)) 3/2)
  1
  (pow (pow (exp y) (/ y 2)) 6)
  (pow (exp (pow y 2)) 3/2)
  (pow (exp (pow y 2)) 3/2)
  (* 3 (pow y 2))
  (exp (pow (pow (exp y) (/ y 2)) 6))
  (* (cbrt (pow (pow (exp y) (/ y 2)) 6)) (cbrt (pow (pow (exp y) (/ y 2)) 6)))
  (cbrt (pow (pow (exp y) (/ y 2)) 6))
  (pow (pow (pow (exp y) (/ y 2)) 6) 3)
  (sqrt (pow (pow (exp y) (/ y 2)) 6))
  (sqrt (pow (pow (exp y) (/ y 2)) 6))
  (pow (exp (pow y 2)) 3/2)
  (pow (exp (pow y 2)) 3/2)
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  (+ (* 3 (pow y 2)) (+ (* 9/2 (pow y 4)) 1))
  (pow (pow (exp y) (/ y 2)) 6)
  (pow (pow (exp y) (/ y 2)) 6)
0.821 * * * [progress]: adding candidates to table
0.924 * [progress]: [Phase 3 of 3] Extracting.
0.924 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* x (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)))))> #<alt (λ (x y) (* x (cbrt (pow (pow (exp y) (/ y 2)) 6))))>)
0.925 * * * [regime-changes]: Trying 2 branch expressions: (y x)
0.925 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* x (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)))))> #<alt (λ (x y) (* x (cbrt (pow (pow (exp y) (/ y 2)) 6))))>)
0.937 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* x (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)))))> #<alt (λ (x y) (* x (cbrt (pow (pow (exp y) (/ y 2)) 6))))>)
0.949 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.949 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))))
0.949 * [simplify]: Sending expressions to egg_math:
 (* h0 (* (pow (exp h1) (/ h1 2)) (pow (exp h1) (/ h1 2))))
0.950 * * [simplify]: iteration  0 :  9  enodes  (cost  8 )
0.950 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
0.950 * [simplify]: Simplified to:
   (* x (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))))
1.709 * [regime-testing]: Baseline error score: 0.038324878166899785
1.710 * [regime-testing]: Oracle error score: 0.03586176776781624
1.710 * [regime-testing]: End program error score: 0.038324878166899785
1.748 * [regime-testing]: Target error score: 0.030910584806274177