5.299 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (exp (* y y)))
0.025 * * [simplify]: iteration  0 :  8  enodes  (cost  3 )
0.026 * * [simplify]: iteration  1 :  12  enodes  (cost  3 )
0.027 * * [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.045 * * [simplify]: iteration  6 :  1926  enodes  (cost  3 )
0.091 * * [simplify]: iteration  7 :  5001  enodes  (cost  3 )
0.091 * [simplify]: Simplified to:
   (* x (exp (* y y)))
0.091 * * [progress]: iteration 1 / 4
0.091 * * * [progress]: picking best candidate
0.093 * * * * [pick]: Picked  #<alt (λ (x y) (* x (exp (* y y))))>
0.093 * * * [progress]: localizing error
0.097 * * * [progress]: generating rewritten candidates
0.097 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.102 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.112 * * * [progress]: generating series expansions
0.112 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.112 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0
0.112 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
0.112 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.112 * [taylor]: Taking taylor expansion of y in y
0.113 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
0.113 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.113 * [taylor]: Taking taylor expansion of y in y
0.119 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
0.119 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.119 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.119 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.119 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.120 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
0.120 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.120 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.120 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.120 * [taylor]: Taking taylor expansion of y in y
0.121 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.121 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.121 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.121 * [taylor]: Taking taylor expansion of y in y
0.122 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.122 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0
0.122 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y
0.122 * [taylor]: Taking taylor expansion of x in y
0.122 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
0.122 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.122 * [taylor]: Taking taylor expansion of y in y
0.122 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.122 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x
0.122 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.122 * [taylor]: Taking taylor expansion of y in x
0.122 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.122 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x
0.122 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.123 * [taylor]: Taking taylor expansion of y in x
0.123 * [taylor]: Taking taylor expansion of 0 in y
0.124 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
0.124 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.124 * [taylor]: Taking taylor expansion of y in y
0.125 * [taylor]: Taking taylor expansion of 0 in y
0.128 * [taylor]: Taking taylor expansion of 0 in y
0.129 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0
0.129 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y
0.129 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.129 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.129 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.129 * [taylor]: Taking taylor expansion of y in y
0.129 * [taylor]: Taking taylor expansion of x in y
0.129 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
0.129 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.130 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.130 * [taylor]: Taking taylor expansion of y in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
0.130 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.130 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.130 * [taylor]: Taking taylor expansion of y in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.130 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.130 * [taylor]: Taking taylor expansion of y in y
0.132 * [taylor]: Taking taylor expansion of 0 in y
0.134 * [taylor]: Taking taylor expansion of 0 in y
0.137 * [taylor]: Taking taylor expansion of 0 in y
0.138 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0
0.138 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y
0.138 * [taylor]: Taking taylor expansion of -1 in y
0.138 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y
0.138 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.138 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.138 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.138 * [taylor]: Taking taylor expansion of y in y
0.138 * [taylor]: Taking taylor expansion of x in y
0.138 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x
0.139 * [taylor]: Taking taylor expansion of -1 in x
0.139 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
0.139 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.139 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.139 * [taylor]: Taking taylor expansion of y in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x
0.139 * [taylor]: Taking taylor expansion of -1 in x
0.139 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
0.139 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.139 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.139 * [taylor]: Taking taylor expansion of y in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y
0.139 * [taylor]: Taking taylor expansion of -1 in y
0.139 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.139 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.139 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.139 * [taylor]: Taking taylor expansion of y in y
0.142 * [taylor]: Taking taylor expansion of 0 in y
0.149 * [taylor]: Taking taylor expansion of 0 in y
0.153 * [taylor]: Taking taylor expansion of 0 in y
0.153 * * * [progress]: simplifying candidates
0.154 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (exp (* y y)))
  (log1p (exp (* y y)))
  (exp y)
  (exp (* (cbrt (* y y)) (cbrt (* y y))))
  (exp (sqrt (* y y)))
  (exp 1)
  (exp (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))
  (exp (* (sqrt y) (sqrt y)))
  (exp (* 1 1))
  (exp (* (sqrt y) (sqrt y)))
  (exp (* y (* (cbrt y) (cbrt y))))
  (exp (* y (sqrt y)))
  (exp (* y 1))
  (exp (* (cbrt y) (cbrt y)))
  (exp (sqrt y))
  (exp 1)
  (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)))
  (expm1 (* x (exp (* y y))))
  (log1p (* x (exp (* y y))))
  (* x (exp (* y y)))
  (+ (log x) (* y y))
  (+ (log x) (log (exp (* y y))))
  (log (* x (exp (* y y))))
  (exp (* x (exp (* y y))))
  (* (* (* x x) x) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))))
  (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))
  (cbrt (* x (exp (* y y))))
  (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y))))
  (sqrt (* x (exp (* y y))))
  (sqrt (* x (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))
  (* x (sqrt (exp (* y y))))
  (* x 1)
  (* (cbrt x) (exp (* y y)))
  (* (sqrt x) (exp (* y y)))
  (* x (exp (* y y)))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  x
  (* x (exp (pow y 2)))
  (* x (exp (pow y 2)))
0.158 * * [simplify]: iteration  0 :  139  enodes  (cost  181 )
0.161 * * [simplify]: iteration  1 :  470  enodes  (cost  161 )
0.172 * * [simplify]: iteration  2 :  2158  enodes  (cost  156 )
0.218 * * [simplify]: iteration  3 :  5002  enodes  (cost  156 )
0.219 * [simplify]: Simplified to:
   (expm1 (exp (* y y)))
  (log1p (exp (* y y)))
  (exp y)
  (exp (* (cbrt (* y y)) (cbrt (* y y))))
  (exp (sqrt (* y y)))
  E
  (exp (* y (cbrt y)))
  (exp y)
  E
  (exp y)
  (exp (* y (* (cbrt y) (cbrt y))))
  (exp (* y (sqrt y)))
  (exp y)
  (exp (* (cbrt y) (cbrt y)))
  (exp (sqrt y))
  E
  (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)
  (sqrt (exp (* y y)))
  (sqrt (exp (* y y)))
  (expm1 (* x (exp (* y y))))
  (log1p (* x (exp (* y y))))
  (* x (exp (pow y 2)))
  (fma y y (log x))
  (fma y y (log x))
  (fma y y (log x))
  (exp (* x (exp (* y y))))
  (pow (* x (exp (pow y 2))) 3)
  (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))
  (cbrt (* x (exp (* y y))))
  (pow (* x (exp (pow y 2))) 3)
  (sqrt (* x (exp (* y y))))
  (sqrt (* x (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))
  (* x (sqrt (exp (* y y))))
  x
  (* (cbrt x) (exp (* y y)))
  (* (sqrt x) (exp (* y y)))
  (* x (exp (pow y 2)))
  (fma y y (fma 1/2 (pow y 4) 1))
  (exp (* y y))
  (exp (* y y))
  x
  (* x (exp (pow y 2)))
  (* x (exp (pow y 2)))
0.219 * * * [progress]: adding candidates to table
0.314 * * [progress]: iteration 2 / 4
0.314 * * * [progress]: picking best candidate
0.318 * * * * [pick]: Picked  #<alt (λ (x y) (* x (pow (exp y) y)))>
0.318 * * * [progress]: localizing error
0.323 * * * [progress]: generating rewritten candidates
0.323 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.326 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.335 * * * [progress]: generating series expansions
0.335 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.335 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0
0.335 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
0.335 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
0.335 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
0.335 * [taylor]: Taking taylor expansion of y in y
0.335 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.335 * [taylor]: Taking taylor expansion of (exp y) in y
0.335 * [taylor]: Taking taylor expansion of y in y
0.340 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
0.340 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
0.340 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
0.340 * [taylor]: Taking taylor expansion of y in y
0.340 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.340 * [taylor]: Taking taylor expansion of (exp y) in y
0.340 * [taylor]: Taking taylor expansion of y in y
0.362 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0
0.362 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
0.362 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
0.362 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
0.362 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.362 * [taylor]: Taking taylor expansion of y in y
0.362 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.362 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.362 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.362 * [taylor]: Taking taylor expansion of y in y
0.363 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
0.363 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
0.363 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
0.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.363 * [taylor]: Taking taylor expansion of y in y
0.363 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.363 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.363 * [taylor]: Taking taylor expansion of y in y
0.364 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0
0.364 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
0.364 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
0.364 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
0.364 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.364 * [taylor]: Taking taylor expansion of -1 in y
0.364 * [taylor]: Taking taylor expansion of y in y
0.364 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.364 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.364 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.364 * [taylor]: Taking taylor expansion of -1 in y
0.364 * [taylor]: Taking taylor expansion of y in y
0.365 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
0.365 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
0.365 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
0.365 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.365 * [taylor]: Taking taylor expansion of -1 in y
0.365 * [taylor]: Taking taylor expansion of y in y
0.365 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.365 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.365 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.365 * [taylor]: Taking taylor expansion of -1 in y
0.365 * [taylor]: Taking taylor expansion of y in y
0.366 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.366 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0
0.366 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y
0.366 * [taylor]: Taking taylor expansion of x in y
0.366 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
0.366 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
0.366 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
0.366 * [taylor]: Taking taylor expansion of y in y
0.367 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.367 * [taylor]: Taking taylor expansion of (exp y) in y
0.367 * [taylor]: Taking taylor expansion of y in y
0.374 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.375 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x
0.375 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x
0.375 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x
0.375 * [taylor]: Taking taylor expansion of y in x
0.375 * [taylor]: Taking taylor expansion of (log (exp y)) in x
0.375 * [taylor]: Taking taylor expansion of (exp y) in x
0.375 * [taylor]: Taking taylor expansion of y in x
0.375 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.375 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x
0.375 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x
0.375 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x
0.375 * [taylor]: Taking taylor expansion of y in x
0.375 * [taylor]: Taking taylor expansion of (log (exp y)) in x
0.375 * [taylor]: Taking taylor expansion of (exp y) in x
0.375 * [taylor]: Taking taylor expansion of y in x
0.375 * [taylor]: Taking taylor expansion of 0 in y
0.377 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
0.377 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.377 * [taylor]: Taking taylor expansion of y in y
0.381 * [taylor]: Taking taylor expansion of 0 in y
0.386 * [taylor]: Taking taylor expansion of 0 in y
0.386 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0
0.386 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y
0.387 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
0.387 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
0.387 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
0.387 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.387 * [taylor]: Taking taylor expansion of y in y
0.387 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.387 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.387 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.387 * [taylor]: Taking taylor expansion of y in y
0.387 * [taylor]: Taking taylor expansion of x in y
0.388 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x
0.388 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x
0.388 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x
0.388 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x
0.388 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.388 * [taylor]: Taking taylor expansion of y in x
0.388 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x
0.388 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.388 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.388 * [taylor]: Taking taylor expansion of y in x
0.388 * [taylor]: Taking taylor expansion of x in x
0.388 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x
0.388 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x
0.388 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x
0.388 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x
0.388 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.388 * [taylor]: Taking taylor expansion of y in x
0.388 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x
0.388 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
0.388 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.388 * [taylor]: Taking taylor expansion of y in x
0.388 * [taylor]: Taking taylor expansion of x in x
0.389 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.389 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.389 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.389 * [taylor]: Taking taylor expansion of y in y
0.392 * [taylor]: Taking taylor expansion of 0 in y
0.395 * [taylor]: Taking taylor expansion of 0 in y
0.401 * [taylor]: Taking taylor expansion of 0 in y
0.401 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0
0.401 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y
0.401 * [taylor]: Taking taylor expansion of -1 in y
0.401 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y
0.401 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
0.401 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
0.401 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
0.401 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.401 * [taylor]: Taking taylor expansion of -1 in y
0.401 * [taylor]: Taking taylor expansion of y in y
0.402 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.402 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.402 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.402 * [taylor]: Taking taylor expansion of -1 in y
0.402 * [taylor]: Taking taylor expansion of y in y
0.402 * [taylor]: Taking taylor expansion of x in y
0.402 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x
0.402 * [taylor]: Taking taylor expansion of -1 in x
0.402 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x
0.402 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x
0.402 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x
0.403 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x
0.403 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.403 * [taylor]: Taking taylor expansion of -1 in x
0.403 * [taylor]: Taking taylor expansion of y in x
0.403 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x
0.403 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.403 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.403 * [taylor]: Taking taylor expansion of -1 in x
0.403 * [taylor]: Taking taylor expansion of y in x
0.403 * [taylor]: Taking taylor expansion of x in x
0.403 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x
0.403 * [taylor]: Taking taylor expansion of -1 in x
0.403 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x
0.403 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x
0.403 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x
0.403 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x
0.403 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.403 * [taylor]: Taking taylor expansion of -1 in x
0.403 * [taylor]: Taking taylor expansion of y in x
0.403 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x
0.403 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
0.403 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.403 * [taylor]: Taking taylor expansion of -1 in x
0.403 * [taylor]: Taking taylor expansion of y in x
0.403 * [taylor]: Taking taylor expansion of x in x
0.404 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y
0.404 * [taylor]: Taking taylor expansion of -1 in y
0.404 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
0.404 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.404 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.404 * [taylor]: Taking taylor expansion of y in y
0.407 * [taylor]: Taking taylor expansion of 0 in y
0.412 * [taylor]: Taking taylor expansion of 0 in y
0.420 * [taylor]: Taking taylor expansion of 0 in y
0.420 * * * [progress]: simplifying candidates
0.421 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (pow (exp y) y))
  (log1p (pow (exp y) y))
  (* y y)
  (* (log (exp y)) y)
  (* (log (exp y)) y)
  (* 1 y)
  (* (cbrt y) y)
  (* (sqrt y) y)
  (* y y)
  (pow (exp y) (* (cbrt y) (cbrt y)))
  (pow (exp y) (sqrt y))
  (pow (exp y) 1)
  (pow (* (cbrt (exp y)) (cbrt (exp y))) y)
  (pow (cbrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  (pow 1 y)
  (pow (exp y) y)
  (log (pow (exp y) y))
  (exp (pow (exp y) y))
  (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))
  (cbrt (pow (exp y) y))
  (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (expm1 (* x (pow (exp y) y)))
  (log1p (* x (pow (exp y) y)))
  (* x (pow (exp y) y))
  (+ (log x) (* y y))
  (+ (log x) (* (log (exp y)) y))
  (+ (log x) (* (log (exp y)) y))
  (+ (log x) (log (pow (exp y) y)))
  (log (* x (pow (exp y) y)))
  (exp (* x (pow (exp y) y)))
  (* (* (* x x) x) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y)))
  (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y))))
  (cbrt (* x (pow (exp y) y)))
  (* (* (* x (pow (exp y) y)) (* x (pow (exp y) y))) (* x (pow (exp y) y)))
  (sqrt (* x (pow (exp y) y)))
  (sqrt (* x (pow (exp y) y)))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y))
  (* x (pow (sqrt (exp y)) y))
  (* x (pow 1 y))
  (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))))
  (* x (sqrt (pow (exp y) y)))
  (* x 1)
  (* x (pow (exp y) (/ y 2)))
  (* (cbrt x) (pow (exp y) y))
  (* (sqrt x) (pow (exp y) y))
  (* x (pow (exp y) y))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  x
  (* x (exp (pow y 2)))
  (* x (exp (pow y 2)))
0.424 * * [simplify]: iteration  0 :  153  enodes  (cost  225 )
0.428 * * [simplify]: iteration  1 :  606  enodes  (cost  204 )
0.443 * * [simplify]: iteration  2 :  3014  enodes  (cost  204 )
0.534 * * [simplify]: iteration  3 :  5001  enodes  (cost  203 )
0.536 * [simplify]: Simplified to:
   (expm1 (pow (exp y) y))
  (log1p (pow (exp y) y))
  (pow y 2)
  (pow y 2)
  (pow y 2)
  y
  (* (cbrt y) y)
  (pow y 3/2)
  (pow y 2)
  (pow (exp y) (* (cbrt y) (cbrt y)))
  (pow (exp y) (sqrt y))
  (exp y)
  (pow (* (cbrt (exp y)) (cbrt (exp y))) y)
  (pow (cbrt (exp y)) y)
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  1
  (exp (pow y 2))
  (pow y 2)
  (exp (pow (exp y) y))
  (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))
  (cbrt (pow (exp y) y))
  (pow (exp (pow y 2)) 3)
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (expm1 (* x (pow (exp y) y)))
  (log1p (* x (pow (exp y) y)))
  (* x (pow (exp y) y))
  (fma y y (log x))
  (fma y y (log x))
  (fma y y (log x))
  (fma y y (log x))
  (fma y y (log x))
  (exp (* x (pow (exp y) y)))
  (pow (* x (pow (exp y) y)) 3)
  (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y))))
  (cbrt (* x (pow (exp y) y)))
  (pow (* x (pow (exp y) y)) 3)
  (sqrt (* x (pow (exp y) y)))
  (sqrt (* x (pow (exp y) y)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y))
  (* x (pow (exp y) (/ y 2)))
  x
  (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))))
  (* x (pow (exp y) (/ y 2)))
  x
  (* x (pow (exp y) (/ y 2)))
  (* (cbrt x) (pow (exp y) y))
  (* (sqrt x) (pow (exp y) y))
  (* x (pow (exp y) y))
  (fma y y (fma 1/2 (pow y 4) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  x
  (* x (pow (exp y) y))
  (* x (pow (exp y) y))
0.536 * * * [progress]: adding candidates to table
0.634 * * [progress]: iteration 3 / 4
0.634 * * * [progress]: picking best candidate
0.641 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (pow (cbrt (exp y)) y)))>
0.641 * * * [progress]: localizing error
0.651 * * * [progress]: generating rewritten candidates
0.651 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
0.660 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.662 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
0.664 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
0.668 * * * [progress]: generating series expansions
0.668 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
0.668 * [approximate]: Taking taylor expansion of (pow (pow (exp y) 2) 1/3) in (y) around 0
0.668 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 2) 1/3) in y
0.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp y) 2)))) in y
0.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp y) 2))) in y
0.668 * [taylor]: Taking taylor expansion of 1/3 in y
0.668 * [taylor]: Taking taylor expansion of (log (pow (exp y) 2)) in y
0.668 * [taylor]: Taking taylor expansion of (pow (exp y) 2) in y
0.669 * [taylor]: Taking taylor expansion of (exp y) in y
0.669 * [taylor]: Taking taylor expansion of y in y
0.671 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 2) 1/3) in y
0.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp y) 2)))) in y
0.672 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp y) 2))) in y
0.672 * [taylor]: Taking taylor expansion of 1/3 in y
0.672 * [taylor]: Taking taylor expansion of (log (pow (exp y) 2)) in y
0.672 * [taylor]: Taking taylor expansion of (pow (exp y) 2) in y
0.672 * [taylor]: Taking taylor expansion of (exp y) in y
0.672 * [taylor]: Taking taylor expansion of y in y
0.679 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 2) 1/3) in (y) around 0
0.679 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 2) 1/3) in y
0.679 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) in y
0.679 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ 1 y)) 2))) in y
0.679 * [taylor]: Taking taylor expansion of 1/3 in y
0.679 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 2)) in y
0.679 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 2) in y
0.679 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.679 * [taylor]: Taking taylor expansion of y in y
0.680 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 2) 1/3) in y
0.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) in y
0.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ 1 y)) 2))) in y
0.680 * [taylor]: Taking taylor expansion of 1/3 in y
0.680 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 2)) in y
0.680 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 2) in y
0.680 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.680 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.680 * [taylor]: Taking taylor expansion of y in y
0.719 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 2) 1/3) in (y) around 0
0.719 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 2) 1/3) in y
0.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) in y
0.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ -1 y)) 2))) in y
0.719 * [taylor]: Taking taylor expansion of 1/3 in y
0.719 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 2)) in y
0.719 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 2) in y
0.719 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.719 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.719 * [taylor]: Taking taylor expansion of -1 in y
0.719 * [taylor]: Taking taylor expansion of y in y
0.720 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 2) 1/3) in y
0.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) in y
0.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ -1 y)) 2))) in y
0.720 * [taylor]: Taking taylor expansion of 1/3 in y
0.720 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 2)) in y
0.720 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 2) in y
0.720 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.720 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.720 * [taylor]: Taking taylor expansion of -1 in y
0.720 * [taylor]: Taking taylor expansion of y in y
0.761 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.761 * [approximate]: Taking taylor expansion of (pow (exp y) 1/3) in (y) around 0
0.762 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
0.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
0.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
0.762 * [taylor]: Taking taylor expansion of 1/3 in y
0.762 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.762 * [taylor]: Taking taylor expansion of (exp y) in y
0.762 * [taylor]: Taking taylor expansion of y in y
0.764 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
0.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
0.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
0.764 * [taylor]: Taking taylor expansion of 1/3 in y
0.764 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.764 * [taylor]: Taking taylor expansion of (exp y) in y
0.764 * [taylor]: Taking taylor expansion of y in y
0.770 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in (y) around 0
0.770 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
0.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
0.770 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
0.771 * [taylor]: Taking taylor expansion of 1/3 in y
0.771 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.771 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.771 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.771 * [taylor]: Taking taylor expansion of y in y
0.771 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
0.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
0.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
0.771 * [taylor]: Taking taylor expansion of 1/3 in y
0.771 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.771 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.771 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.771 * [taylor]: Taking taylor expansion of y in y
0.803 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in (y) around 0
0.803 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
0.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
0.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
0.803 * [taylor]: Taking taylor expansion of 1/3 in y
0.803 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.803 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.803 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.803 * [taylor]: Taking taylor expansion of -1 in y
0.803 * [taylor]: Taking taylor expansion of y in y
0.804 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
0.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
0.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
0.804 * [taylor]: Taking taylor expansion of 1/3 in y
0.804 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.804 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.804 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.804 * [taylor]: Taking taylor expansion of -1 in y
0.804 * [taylor]: Taking taylor expansion of y in y
0.839 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
0.839 * [approximate]: Taking taylor expansion of (pow (exp y) 1/3) in (y) around 0
0.839 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
0.839 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
0.839 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
0.839 * [taylor]: Taking taylor expansion of 1/3 in y
0.839 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.839 * [taylor]: Taking taylor expansion of (exp y) in y
0.839 * [taylor]: Taking taylor expansion of y in y
0.842 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
0.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
0.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
0.842 * [taylor]: Taking taylor expansion of 1/3 in y
0.842 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.842 * [taylor]: Taking taylor expansion of (exp y) in y
0.842 * [taylor]: Taking taylor expansion of y in y
0.849 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in (y) around 0
0.849 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
0.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
0.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
0.849 * [taylor]: Taking taylor expansion of 1/3 in y
0.849 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.849 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.849 * [taylor]: Taking taylor expansion of y in y
0.849 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
0.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
0.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
0.849 * [taylor]: Taking taylor expansion of 1/3 in y
0.849 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.849 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.850 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.850 * [taylor]: Taking taylor expansion of y in y
0.881 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in (y) around 0
0.882 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
0.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
0.882 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
0.882 * [taylor]: Taking taylor expansion of 1/3 in y
0.882 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.882 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.882 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.882 * [taylor]: Taking taylor expansion of -1 in y
0.882 * [taylor]: Taking taylor expansion of y in y
0.882 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
0.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
0.882 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
0.882 * [taylor]: Taking taylor expansion of 1/3 in y
0.882 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.882 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.882 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.882 * [taylor]: Taking taylor expansion of -1 in y
0.882 * [taylor]: Taking taylor expansion of y in y
0.918 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
0.919 * [approximate]: Taking taylor expansion of (pow (exp y) 1/3) in (y) around 0
0.919 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
0.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
0.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
0.919 * [taylor]: Taking taylor expansion of 1/3 in y
0.919 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.919 * [taylor]: Taking taylor expansion of (exp y) in y
0.919 * [taylor]: Taking taylor expansion of y in y
0.921 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
0.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
0.921 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
0.921 * [taylor]: Taking taylor expansion of 1/3 in y
0.921 * [taylor]: Taking taylor expansion of (log (exp y)) in y
0.921 * [taylor]: Taking taylor expansion of (exp y) in y
0.921 * [taylor]: Taking taylor expansion of y in y
0.928 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in (y) around 0
0.928 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
0.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
0.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
0.928 * [taylor]: Taking taylor expansion of 1/3 in y
0.928 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.928 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.928 * [taylor]: Taking taylor expansion of y in y
0.928 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
0.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
0.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
0.928 * [taylor]: Taking taylor expansion of 1/3 in y
0.928 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
0.928 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
0.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.928 * [taylor]: Taking taylor expansion of y in y
0.960 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in (y) around 0
0.960 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
0.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
0.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
0.960 * [taylor]: Taking taylor expansion of 1/3 in y
0.960 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.960 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.960 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.960 * [taylor]: Taking taylor expansion of -1 in y
0.960 * [taylor]: Taking taylor expansion of y in y
0.961 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
0.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
0.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
0.961 * [taylor]: Taking taylor expansion of 1/3 in y
0.961 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
0.961 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
0.961 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.961 * [taylor]: Taking taylor expansion of -1 in y
0.961 * [taylor]: Taking taylor expansion of y in y
0.995 * * * [progress]: simplifying candidates
0.997 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* (cbrt (exp y)) (cbrt (exp y))))
  (log1p (* (cbrt (exp y)) (cbrt (exp y))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (exp y) (exp y))
  (* (cbrt (exp y)) (cbrt (exp y)))
  (+ 1 1)
  (+ (log (cbrt (exp y))) (log (cbrt (exp y))))
  (log (* (cbrt (exp y)) (cbrt (exp y))))
  (exp (* (cbrt (exp y)) (cbrt (exp y))))
  (* (exp y) (exp y))
  (* (exp y) (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y))))
  (* (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y))) (exp y))
  (* (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y))) (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y))))
  (* (cbrt (* (cbrt (exp y)) (cbrt (exp y)))) (cbrt (* (cbrt (exp y)) (cbrt (exp y)))))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (* (* (* (cbrt (exp y)) (cbrt (exp y))) (* (cbrt (exp y)) (cbrt (exp y)))) (* (cbrt (exp y)) (cbrt (exp y))))
  (sqrt (* (cbrt (exp y)) (cbrt (exp y))))
  (sqrt (* (cbrt (exp y)) (cbrt (exp y))))
  (* (cbrt (* (cbrt (exp y)) (cbrt (exp y)))) (cbrt (* (cbrt (exp y)) (cbrt (exp y)))))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (exp y)) (cbrt (exp y)))
  (* (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))))
  (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))))
  (* 1 1)
  (* (cbrt (exp y)) (cbrt (exp y)))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y))))
  (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y))))
  (* (sqrt (cbrt (exp y))) (cbrt (sqrt (exp y))))
  (* (sqrt (cbrt (exp y))) (cbrt (sqrt (exp y))))
  (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))))
  (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (exp y)) (cbrt (* (cbrt (exp y)) (cbrt (exp y)))))
  (* (cbrt (exp y)) (cbrt (sqrt (exp y))))
  (* (cbrt (exp y)) (cbrt 1))
  (* (cbrt (exp y)) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))))
  (* (cbrt (exp y)) (sqrt (cbrt (exp y))))
  (* (cbrt (exp y)) 1)
  (* (cbrt (cbrt (exp y))) (cbrt (exp y)))
  (* (cbrt (sqrt (exp y))) (cbrt (exp y)))
  (* (cbrt (exp y)) (cbrt (exp y)))
  (* (cbrt (cbrt (exp y))) (cbrt (exp y)))
  (* (sqrt (cbrt (exp y))) (cbrt (exp y)))
  (* (cbrt (exp y)) (cbrt (exp y)))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt 1)
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt 1)
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt 1)
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (+ (* 2/9 (pow y 2)) (+ (* 2/3 y) 1))
  (pow (pow (exp y) 2) 1/3)
  (pow (pow (exp y) 2) 1/3)
  (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1))
  (exp (* 1/3 y))
  (exp (* 1/3 y))
  (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1))
  (exp (* 1/3 y))
  (exp (* 1/3 y))
  (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1))
  (exp (* 1/3 y))
  (exp (* 1/3 y))
1.001 * * [simplify]: iteration  0 :  129  enodes  (cost  496 )
1.005 * * [simplify]: iteration  1 :  419  enodes  (cost  448 )
1.016 * * [simplify]: iteration  2 :  2107  enodes  (cost  395 )
1.064 * * [simplify]: iteration  3 :  5002  enodes  (cost  367 )
1.066 * [simplify]: Simplified to:
   (expm1 (* (cbrt (exp y)) (cbrt (exp y))))
  (log1p (* (cbrt (exp y)) (cbrt (exp y))))
  2/3
  2
  (pow (exp y) 2)
  (exp (* 2/3 y))
  2
  (* 2/3 y)
  (* 2/3 y)
  (exp (* (cbrt (exp y)) (cbrt (exp y))))
  (pow (exp y) 2)
  (pow (exp y) 2)
  (pow (exp y) 2)
  (pow (exp y) 2)
  (* (cbrt (* (cbrt (exp y)) (cbrt (exp y)))) (cbrt (* (cbrt (exp y)) (cbrt (exp y)))))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (pow (exp y) 2)
  (fabs (cbrt (exp y)))
  (fabs (cbrt (exp y)))
  (* (cbrt (* (cbrt (exp y)) (cbrt (exp y)))) (cbrt (* (cbrt (exp y)) (cbrt (exp y)))))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  1
  (exp (* 2/3 y))
  (pow (cbrt (cbrt (exp y))) 4)
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (exp y))
  (cbrt (exp y))
  1
  (exp (* 2/3 y))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y))))
  (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y))))
  (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y))))
  (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y))))
  (cbrt (exp y))
  (cbrt (exp y))
  2/3
  2
  (* (cbrt (exp y)) (cbrt (* (cbrt (exp y)) (cbrt (exp y)))))
  (* (cbrt (exp y)) (cbrt (sqrt (exp y))))
  (cbrt (exp y))
  (pow (cbrt (cbrt (exp y))) 5)
  (pow (sqrt (cbrt (exp y))) 3)
  (cbrt (exp y))
  (pow (cbrt (cbrt (exp y))) 4)
  (* (cbrt (exp y)) (cbrt (sqrt (exp y))))
  (exp (* 2/3 y))
  (pow (cbrt (cbrt (exp y))) 4)
  (pow (sqrt (cbrt (exp y))) 3)
  (exp (* 2/3 y))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (* 1/3 y)
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  1
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (exp y)
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (* 1/3 y)
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  1
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (exp y)
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (* 1/3 y)
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  1
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (exp y)
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (fma 2/9 (pow y 2) (fma 2/3 y 1))
  (exp (* 2/3 y))
  (exp (* 2/3 y))
  (fma 1/18 (pow y 2) (fma 1/3 y 1))
  (cbrt (exp y))
  (cbrt (exp y))
  (fma 1/18 (pow y 2) (fma 1/3 y 1))
  (cbrt (exp y))
  (cbrt (exp y))
  (fma 1/18 (pow y 2) (fma 1/3 y 1))
  (cbrt (exp y))
  (cbrt (exp y))
1.067 * * * [progress]: adding candidates to table
1.313 * * [progress]: iteration 4 / 4
1.313 * * * [progress]: picking best candidate
1.317 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x (pow (* (pow (sqrt (cbrt (exp y))) 3) (sqrt (cbrt (exp y)))) y)) (pow (cbrt (exp y)) y)))>
1.318 * * * [progress]: localizing error
1.331 * * * [progress]: generating rewritten candidates
1.331 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
1.336 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.338 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1)
1.340 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1)
1.344 * * * [progress]: generating series expansions
1.344 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
1.344 * [approximate]: Taking taylor expansion of (pow (pow (exp y) 1/6) 3) in (y) around 0
1.344 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 1/6) 3) in y
1.344 * [taylor]: Taking taylor expansion of (pow (exp y) 1/6) in y
1.344 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp y)))) in y
1.344 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp y))) in y
1.344 * [taylor]: Taking taylor expansion of 1/6 in y
1.344 * [taylor]: Taking taylor expansion of (log (exp y)) in y
1.344 * [taylor]: Taking taylor expansion of (exp y) in y
1.345 * [taylor]: Taking taylor expansion of y in y
1.347 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 1/6) 3) in y
1.347 * [taylor]: Taking taylor expansion of (pow (exp y) 1/6) in y
1.347 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp y)))) in y
1.347 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp y))) in y
1.347 * [taylor]: Taking taylor expansion of 1/6 in y
1.347 * [taylor]: Taking taylor expansion of (log (exp y)) in y
1.347 * [taylor]: Taking taylor expansion of (exp y) in y
1.347 * [taylor]: Taking taylor expansion of y in y
1.356 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 1/6) 3) in (y) around 0
1.356 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 1/6) 3) in y
1.356 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/6) in y
1.356 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ 1 y))))) in y
1.356 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ 1 y)))) in y
1.356 * [taylor]: Taking taylor expansion of 1/6 in y
1.356 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
1.356 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.356 * [taylor]: Taking taylor expansion of y in y
1.356 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 1/6) 3) in y
1.356 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/6) in y
1.356 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ 1 y))))) in y
1.356 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ 1 y)))) in y
1.356 * [taylor]: Taking taylor expansion of 1/6 in y
1.356 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
1.357 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.357 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.357 * [taylor]: Taking taylor expansion of y in y
1.401 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 1/6) 3) in (y) around 0
1.401 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 1/6) 3) in y
1.401 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/6) in y
1.401 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ -1 y))))) in y
1.401 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ -1 y)))) in y
1.401 * [taylor]: Taking taylor expansion of 1/6 in y
1.401 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
1.401 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.401 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.401 * [taylor]: Taking taylor expansion of -1 in y
1.401 * [taylor]: Taking taylor expansion of y in y
1.402 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 1/6) 3) in y
1.402 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/6) in y
1.402 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (/ -1 y))))) in y
1.402 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (/ -1 y)))) in y
1.402 * [taylor]: Taking taylor expansion of 1/6 in y
1.402 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
1.402 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.402 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.402 * [taylor]: Taking taylor expansion of -1 in y
1.402 * [taylor]: Taking taylor expansion of y in y
1.443 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.443 * [approximate]: Taking taylor expansion of (pow (exp y) 1/3) in (y) around 0
1.443 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
1.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
1.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
1.443 * [taylor]: Taking taylor expansion of 1/3 in y
1.443 * [taylor]: Taking taylor expansion of (log (exp y)) in y
1.443 * [taylor]: Taking taylor expansion of (exp y) in y
1.443 * [taylor]: Taking taylor expansion of y in y
1.445 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
1.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
1.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
1.445 * [taylor]: Taking taylor expansion of 1/3 in y
1.445 * [taylor]: Taking taylor expansion of (log (exp y)) in y
1.445 * [taylor]: Taking taylor expansion of (exp y) in y
1.445 * [taylor]: Taking taylor expansion of y in y
1.451 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in (y) around 0
1.452 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
1.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
1.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
1.452 * [taylor]: Taking taylor expansion of 1/3 in y
1.452 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
1.452 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.452 * [taylor]: Taking taylor expansion of y in y
1.452 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
1.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
1.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
1.452 * [taylor]: Taking taylor expansion of 1/3 in y
1.452 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
1.452 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.452 * [taylor]: Taking taylor expansion of y in y
1.488 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in (y) around 0
1.488 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
1.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
1.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
1.488 * [taylor]: Taking taylor expansion of 1/3 in y
1.488 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
1.488 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.488 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.488 * [taylor]: Taking taylor expansion of -1 in y
1.488 * [taylor]: Taking taylor expansion of y in y
1.488 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
1.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
1.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
1.488 * [taylor]: Taking taylor expansion of 1/3 in y
1.488 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
1.488 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.488 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.488 * [taylor]: Taking taylor expansion of -1 in y
1.488 * [taylor]: Taking taylor expansion of y in y
1.519 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1)
1.520 * [approximate]: Taking taylor expansion of (pow (exp y) 1/3) in (y) around 0
1.520 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
1.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
1.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
1.520 * [taylor]: Taking taylor expansion of 1/3 in y
1.520 * [taylor]: Taking taylor expansion of (log (exp y)) in y
1.520 * [taylor]: Taking taylor expansion of (exp y) in y
1.520 * [taylor]: Taking taylor expansion of y in y
1.522 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
1.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
1.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
1.522 * [taylor]: Taking taylor expansion of 1/3 in y
1.522 * [taylor]: Taking taylor expansion of (log (exp y)) in y
1.522 * [taylor]: Taking taylor expansion of (exp y) in y
1.522 * [taylor]: Taking taylor expansion of y in y
1.529 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in (y) around 0
1.529 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
1.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
1.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
1.529 * [taylor]: Taking taylor expansion of 1/3 in y
1.529 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
1.529 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.529 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.529 * [taylor]: Taking taylor expansion of y in y
1.529 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
1.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
1.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
1.530 * [taylor]: Taking taylor expansion of 1/3 in y
1.530 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
1.530 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.530 * [taylor]: Taking taylor expansion of y in y
1.564 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in (y) around 0
1.564 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
1.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
1.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
1.564 * [taylor]: Taking taylor expansion of 1/3 in y
1.564 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
1.564 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.564 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.564 * [taylor]: Taking taylor expansion of -1 in y
1.564 * [taylor]: Taking taylor expansion of y in y
1.565 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
1.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
1.565 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
1.565 * [taylor]: Taking taylor expansion of 1/3 in y
1.565 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
1.565 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.565 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.565 * [taylor]: Taking taylor expansion of -1 in y
1.565 * [taylor]: Taking taylor expansion of y in y
1.596 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1)
1.597 * [approximate]: Taking taylor expansion of (pow (exp y) 1/3) in (y) around 0
1.597 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
1.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
1.597 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
1.597 * [taylor]: Taking taylor expansion of 1/3 in y
1.597 * [taylor]: Taking taylor expansion of (log (exp y)) in y
1.597 * [taylor]: Taking taylor expansion of (exp y) in y
1.597 * [taylor]: Taking taylor expansion of y in y
1.599 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
1.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
1.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
1.599 * [taylor]: Taking taylor expansion of 1/3 in y
1.599 * [taylor]: Taking taylor expansion of (log (exp y)) in y
1.599 * [taylor]: Taking taylor expansion of (exp y) in y
1.599 * [taylor]: Taking taylor expansion of y in y
1.606 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in (y) around 0
1.606 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
1.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
1.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
1.606 * [taylor]: Taking taylor expansion of 1/3 in y
1.606 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
1.606 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.606 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.606 * [taylor]: Taking taylor expansion of y in y
1.606 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
1.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
1.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
1.606 * [taylor]: Taking taylor expansion of 1/3 in y
1.606 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
1.606 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
1.606 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.606 * [taylor]: Taking taylor expansion of y in y
1.641 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in (y) around 0
1.641 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
1.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
1.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
1.642 * [taylor]: Taking taylor expansion of 1/3 in y
1.642 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
1.642 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.642 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.642 * [taylor]: Taking taylor expansion of -1 in y
1.642 * [taylor]: Taking taylor expansion of y in y
1.642 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
1.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
1.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
1.642 * [taylor]: Taking taylor expansion of 1/3 in y
1.642 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
1.642 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
1.642 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.642 * [taylor]: Taking taylor expansion of -1 in y
1.642 * [taylor]: Taking taylor expansion of y in y
1.673 * * * [progress]: simplifying candidates
1.675 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (pow (sqrt (cbrt (exp y))) 3))
  (log1p (pow (sqrt (cbrt (exp y))) 3))
  (* (log (sqrt (cbrt (exp y)))) 3)
  (* (log (sqrt (cbrt (exp y)))) 3)
  (* 1/2 3)
  (* 1 3)
  (* (/ 1/3 2) 3)
  (* (/ 1 2) 3)
  (pow (sqrt (cbrt (exp y))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (cbrt (exp y))) (sqrt 3))
  (pow (sqrt (cbrt (exp y))) 1)
  (pow (* (cbrt (sqrt (cbrt (exp y)))) (cbrt (sqrt (cbrt (exp y))))) 3)
  (pow (cbrt (sqrt (cbrt (exp y)))) 3)
  (pow (sqrt (cbrt (* (cbrt (exp y)) (cbrt (exp y))))) 3)
  (pow (sqrt (cbrt (cbrt (exp y)))) 3)
  (pow (sqrt (cbrt (sqrt (exp y)))) 3)
  (pow (sqrt (cbrt (sqrt (exp y)))) 3)
  (pow (sqrt (cbrt 1)) 3)
  (pow (sqrt (cbrt (exp y))) 3)
  (pow (sqrt (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))) 3)
  (pow (sqrt (cbrt (cbrt (exp y)))) 3)
  (pow (sqrt (sqrt (cbrt (exp y)))) 3)
  (pow (sqrt (sqrt (cbrt (exp y)))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (cbrt (exp y))) 3)
  (pow (sqrt (sqrt (cbrt (exp y)))) 3)
  (pow (sqrt (sqrt (cbrt (exp y)))) 3)
  (pow 1 3)
  (pow (sqrt (cbrt (exp y))) 3)
  (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))))
  (log (pow (sqrt (cbrt (exp y))) 3))
  (exp (pow (sqrt (cbrt (exp y))) 3))
  (* (cbrt (pow (sqrt (cbrt (exp y))) 3)) (cbrt (pow (sqrt (cbrt (exp y))) 3)))
  (cbrt (pow (sqrt (cbrt (exp y))) 3))
  (* (* (pow (sqrt (cbrt (exp y))) 3) (pow (sqrt (cbrt (exp y))) 3)) (pow (sqrt (cbrt (exp y))) 3))
  (pow (* (cbrt (sqrt (cbrt (exp y)))) (cbrt (sqrt (cbrt (exp y))))) 3)
  (pow (cbrt (sqrt (cbrt (exp y)))) 3)
  (pow (sqrt (cbrt (* (cbrt (exp y)) (cbrt (exp y))))) 3)
  (pow (sqrt (cbrt (cbrt (exp y)))) 3)
  (pow (sqrt (cbrt (sqrt (exp y)))) 3)
  (pow (sqrt (cbrt (sqrt (exp y)))) 3)
  (pow (sqrt (cbrt 1)) 3)
  (pow (sqrt (cbrt (exp y))) 3)
  (pow (sqrt (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))) 3)
  (pow (sqrt (cbrt (cbrt (exp y)))) 3)
  (pow (sqrt (sqrt (cbrt (exp y)))) 3)
  (pow (sqrt (sqrt (cbrt (exp y)))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (cbrt (exp y))) 3)
  (pow (sqrt (sqrt (cbrt (exp y)))) 3)
  (pow (sqrt (sqrt (cbrt (exp y)))) 3)
  (pow 1 3)
  (pow (sqrt (cbrt (exp y))) 3)
  (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))))
  (/ 3 2)
  (sqrt (pow (sqrt (cbrt (exp y))) 3))
  (sqrt (pow (sqrt (cbrt (exp y))) 3))
  (pow (sqrt (cbrt (exp y))) (/ 3 2))
  (pow (sqrt (cbrt (exp y))) (/ 3 2))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt 1)
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt 1)
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt 1)
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1))
  (pow (exp (* 1/6 y)) 3)
  (pow (exp (* 1/6 y)) 3)
  (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1))
  (exp (* 1/3 y))
  (exp (* 1/3 y))
  (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1))
  (exp (* 1/3 y))
  (exp (* 1/3 y))
  (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1))
  (exp (* 1/3 y))
  (exp (* 1/3 y))
1.680 * * [simplify]: iteration  0 :  192  enodes  (cost  431 )
1.685 * * [simplify]: iteration  1 :  676  enodes  (cost  391 )
1.711 * * [simplify]: iteration  2 :  4745  enodes  (cost  342 )
1.929 * * [simplify]: iteration  3 :  5001  enodes  (cost  342 )
1.931 * [simplify]: Simplified to:
   (expm1 (pow (sqrt (cbrt (exp y))) 3))
  (log1p (pow (sqrt (cbrt (exp y))) 3))
  (* (log (cbrt (exp y))) 3/2)
  (* (log (cbrt (exp y))) 3/2)
  3/2
  3
  1/2
  3/2
  (pow (sqrt (cbrt (exp y))) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (cbrt (exp y))) (sqrt 3))
  (exp (* 1/6 y))
  (cbrt (exp y))
  (exp (* 1/6 y))
  (pow (sqrt (cbrt (* (cbrt (exp y)) (cbrt (exp y))))) 3)
  (pow (sqrt (cbrt (cbrt (exp y)))) 3)
  (pow (sqrt (cbrt (sqrt (exp y)))) 3)
  (pow (sqrt (cbrt (sqrt (exp y)))) 3)
  1
  (pow (exp (* 1/6 y)) 3)
  (pow (fabs (cbrt (cbrt (exp y)))) 3)
  (pow (sqrt (cbrt (cbrt (exp y)))) 3)
  (pow (exp (* 1/6 y)) 3/2)
  (pow (exp (* 1/6 y)) 3/2)
  1
  (pow (exp (* 1/6 y)) 3)
  (pow (exp (* 1/6 y)) 3/2)
  (pow (exp (* 1/6 y)) 3/2)
  1
  (pow (exp (* 1/6 y)) 3)
  (cbrt (exp y))
  (* (log (cbrt (exp y))) 3/2)
  (exp (pow (sqrt (cbrt (exp y))) 3))
  (cbrt (exp y))
  (exp (* 1/6 y))
  (pow (pow (sqrt (cbrt (exp y))) 3) 3)
  (cbrt (exp y))
  (exp (* 1/6 y))
  (pow (sqrt (cbrt (* (cbrt (exp y)) (cbrt (exp y))))) 3)
  (pow (sqrt (cbrt (cbrt (exp y)))) 3)
  (pow (sqrt (cbrt (sqrt (exp y)))) 3)
  (pow (sqrt (cbrt (sqrt (exp y)))) 3)
  1
  (pow (exp (* 1/6 y)) 3)
  (pow (fabs (cbrt (cbrt (exp y)))) 3)
  (pow (sqrt (cbrt (cbrt (exp y)))) 3)
  (pow (exp (* 1/6 y)) 3/2)
  (pow (exp (* 1/6 y)) 3/2)
  1
  (pow (exp (* 1/6 y)) 3)
  (pow (exp (* 1/6 y)) 3/2)
  (pow (exp (* 1/6 y)) 3/2)
  1
  (pow (exp (* 1/6 y)) 3)
  (cbrt (exp y))
  3/2
  (sqrt (pow (sqrt (cbrt (exp y))) 3))
  (sqrt (pow (sqrt (cbrt (exp y))) 3))
  (pow (exp (* 1/6 y)) 3/2)
  (pow (exp (* 1/6 y)) 3/2)
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  1
  (cbrt (exp y))
  (pow (cbrt (sqrt (cbrt (exp y)))) 4)
  (cbrt (cbrt (exp y)))
  (exp y)
  (exp (* 1/6 y))
  (exp (* 1/6 y))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  1
  (cbrt (exp y))
  (pow (cbrt (sqrt (cbrt (exp y)))) 4)
  (cbrt (cbrt (exp y)))
  (exp y)
  (exp (* 1/6 y))
  (exp (* 1/6 y))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  1
  (cbrt (exp y))
  (pow (cbrt (sqrt (cbrt (exp y)))) 4)
  (cbrt (cbrt (exp y)))
  (exp y)
  (exp (* 1/6 y))
  (exp (* 1/6 y))
  (fma 1/8 (pow y 2) (fma 1/2 y 1))
  (pow (exp (* 1/6 y)) 3)
  (pow (exp (* 1/6 y)) 3)
  (fma 1/18 (pow y 2) (fma 1/3 y 1))
  (cbrt (exp y))
  (cbrt (exp y))
  (fma 1/18 (pow y 2) (fma 1/3 y 1))
  (cbrt (exp y))
  (cbrt (exp y))
  (fma 1/18 (pow y 2) (fma 1/3 y 1))
  (cbrt (exp y))
  (cbrt (exp y))
1.932 * * * [progress]: adding candidates to table
2.202 * [progress]: [Phase 3 of 3] Extracting.
2.202 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (sqrt x) (* (sqrt x) (exp (* y y)))))> #<alt (λ (x y) (* (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (pow (cbrt (exp y)) y)))> #<alt (λ (x y) (* (* x (pow (* (pow (sqrt (cbrt (exp y))) 3) (sqrt (cbrt (exp y)))) y)) (pow (cbrt (exp y)) y)))>)
2.203 * * * [regime-changes]: Trying 4 branch expressions: ((* y y) (exp (* y y)) y x)
2.203 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y) (* (sqrt x) (* (sqrt x) (exp (* y y)))))> #<alt (λ (x y) (* (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (pow (cbrt (exp y)) y)))> #<alt (λ (x y) (* (* x (pow (* (pow (sqrt (cbrt (exp y))) 3) (sqrt (cbrt (exp y)))) y)) (pow (cbrt (exp y)) y)))>)
2.217 * * * * [regimes]: Trying to branch on (exp (* y y)) from (#<alt (λ (x y) (* (sqrt x) (* (sqrt x) (exp (* y y)))))> #<alt (λ (x y) (* (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (pow (cbrt (exp y)) y)))> #<alt (λ (x y) (* (* x (pow (* (pow (sqrt (cbrt (exp y))) 3) (sqrt (cbrt (exp y)))) y)) (pow (cbrt (exp y)) y)))>)
2.233 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (sqrt x) (* (sqrt x) (exp (* y y)))))> #<alt (λ (x y) (* (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (pow (cbrt (exp y)) y)))> #<alt (λ (x y) (* (* x (pow (* (pow (sqrt (cbrt (exp y))) 3) (sqrt (cbrt (exp y)))) y)) (pow (cbrt (exp y)) y)))>)
2.251 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (sqrt x) (* (sqrt x) (exp (* y y)))))> #<alt (λ (x y) (* (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (pow (cbrt (exp y)) y)))> #<alt (λ (x y) (* (* x (pow (* (pow (sqrt (cbrt (exp y))) 3) (sqrt (cbrt (exp y)))) y)) (pow (cbrt (exp y)) y)))>)
2.267 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
2.267 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* x (pow (* (pow (sqrt (cbrt (exp y))) 3) (sqrt (cbrt (exp y)))) y)) (pow (cbrt (exp y)) y))
2.268 * * [simplify]: iteration  0 :  15  enodes  (cost  14 )
2.268 * * [simplify]: iteration  1 :  15  enodes  (cost  14 )
2.268 * [simplify]: Simplified to:
   (* (* x (pow (* (pow (sqrt (cbrt (exp y))) 3) (sqrt (cbrt (exp y)))) y)) (pow (cbrt (exp y)) y))
3.070 * [regime-testing]: Baseline error score: 0.02567441558216071
3.070 * [regime-testing]: Oracle error score: 0.0194363585778644
3.071 * [regime-testing]: End program error score: 0.02567441558216071
3.107 * [regime-testing]: Target error score: 0.02264974437266659