600.035 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.044 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.047 * [simplify]: Simplifying:
  (* x (exp (* y y)))
0.047 * * [simplify]: iteration 0: 5 enodes
0.048 * * [simplify]: iteration 1: 8 enodes
0.049 * * [simplify]: iteration 2: 12 enodes
0.050 * * [simplify]: iteration 3: 21 enodes
0.054 * * [simplify]: iteration 4: 48 enodes
0.062 * * [simplify]: iteration 5: 134 enodes
0.157 * * [simplify]: iteration 6: 691 enodes
1.166 * * [simplify]: iteration complete: 5000 enodes
1.167 * * [simplify]: Extracting #0: cost 1 inf + 0
1.167 * * [simplify]: Extracting #1: cost 358 inf + 0
1.173 * * [simplify]: Extracting #2: cost 1500 inf + 1
1.181 * * [simplify]: Extracting #3: cost 1555 inf + 14
1.188 * * [simplify]: Extracting #4: cost 1510 inf + 215
1.196 * * [simplify]: Extracting #5: cost 907 inf + 10767
1.203 * * [simplify]: Extracting #6: cost 26 inf + 24833
1.209 * * [simplify]: Extracting #7: cost 0 inf + 24731
1.216 * [simplify]: Simplified to:
  (* (pow (exp y) y) x)
1.226 * * [progress]: iteration 1 / 4
1.226 * * * [progress]: picking best candidate
1.231 * * * * [pick]: Picked  #<alt (λ (x y) (* x (exp (* y y))))>
1.232 * * * [progress]: localizing error
1.243 * * * [progress]: generating rewritten candidates
1.243 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.247 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.263 * * * [progress]: generating series expansions
1.263 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.263 * [backup-simplify]: Simplify (exp (* y y)) into (exp (pow y 2))
1.263 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0
1.263 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.263 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.263 * [taylor]: Taking taylor expansion of y in y
1.263 * [backup-simplify]: Simplify 0 into 0
1.263 * [backup-simplify]: Simplify 1 into 1
1.264 * [backup-simplify]: Simplify (* 1 1) into 1
1.264 * [backup-simplify]: Simplify (exp 0) into 1
1.264 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.264 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.264 * [taylor]: Taking taylor expansion of y in y
1.264 * [backup-simplify]: Simplify 0 into 0
1.264 * [backup-simplify]: Simplify 1 into 1
1.264 * [backup-simplify]: Simplify (* 1 1) into 1
1.264 * [backup-simplify]: Simplify (exp 0) into 1
1.264 * [backup-simplify]: Simplify 1 into 1
1.265 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1.265 * [backup-simplify]: Simplify 0 into 0
1.266 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
1.266 * [backup-simplify]: Simplify 1 into 1
1.267 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.268 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.268 * [backup-simplify]: Simplify 0 into 0
1.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.271 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.271 * [backup-simplify]: Simplify 1/2 into 1/2
1.272 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1))
1.272 * [backup-simplify]: Simplify (exp (* (/ 1 y) (/ 1 y))) into (exp (/ 1 (pow y 2)))
1.272 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
1.272 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.272 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.272 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.272 * [taylor]: Taking taylor expansion of y in y
1.272 * [backup-simplify]: Simplify 0 into 0
1.272 * [backup-simplify]: Simplify 1 into 1
1.272 * [backup-simplify]: Simplify (* 1 1) into 1
1.273 * [backup-simplify]: Simplify (/ 1 1) into 1
1.273 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.273 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.273 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.273 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.273 * [taylor]: Taking taylor expansion of y in y
1.273 * [backup-simplify]: Simplify 0 into 0
1.273 * [backup-simplify]: Simplify 1 into 1
1.273 * [backup-simplify]: Simplify (* 1 1) into 1
1.274 * [backup-simplify]: Simplify (/ 1 1) into 1
1.274 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.274 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.274 * [backup-simplify]: Simplify 0 into 0
1.274 * [backup-simplify]: Simplify 0 into 0
1.274 * [backup-simplify]: Simplify 0 into 0
1.274 * [backup-simplify]: Simplify 0 into 0
1.274 * [backup-simplify]: Simplify 0 into 0
1.274 * [backup-simplify]: Simplify 0 into 0
1.274 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2))
1.275 * [backup-simplify]: Simplify (exp (* (/ 1 (- y)) (/ 1 (- y)))) into (exp (/ 1 (pow y 2)))
1.275 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
1.275 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.275 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.275 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.275 * [taylor]: Taking taylor expansion of y in y
1.275 * [backup-simplify]: Simplify 0 into 0
1.275 * [backup-simplify]: Simplify 1 into 1
1.275 * [backup-simplify]: Simplify (* 1 1) into 1
1.275 * [backup-simplify]: Simplify (/ 1 1) into 1
1.276 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.276 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.276 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.276 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.276 * [taylor]: Taking taylor expansion of y in y
1.276 * [backup-simplify]: Simplify 0 into 0
1.276 * [backup-simplify]: Simplify 1 into 1
1.276 * [backup-simplify]: Simplify (* 1 1) into 1
1.276 * [backup-simplify]: Simplify (/ 1 1) into 1
1.276 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.277 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.277 * [backup-simplify]: Simplify 0 into 0
1.277 * [backup-simplify]: Simplify 0 into 0
1.277 * [backup-simplify]: Simplify 0 into 0
1.277 * [backup-simplify]: Simplify 0 into 0
1.277 * [backup-simplify]: Simplify 0 into 0
1.277 * [backup-simplify]: Simplify 0 into 0
1.277 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2))
1.277 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.277 * [backup-simplify]: Simplify (* x (exp (* y y))) into (* x (exp (pow y 2)))
1.277 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0
1.277 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y
1.277 * [taylor]: Taking taylor expansion of x in y
1.277 * [backup-simplify]: Simplify x into x
1.277 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.277 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.277 * [taylor]: Taking taylor expansion of y in y
1.277 * [backup-simplify]: Simplify 0 into 0
1.277 * [backup-simplify]: Simplify 1 into 1
1.278 * [backup-simplify]: Simplify (* 1 1) into 1
1.278 * [backup-simplify]: Simplify (exp 0) into 1
1.278 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x
1.278 * [taylor]: Taking taylor expansion of x in x
1.278 * [backup-simplify]: Simplify 0 into 0
1.278 * [backup-simplify]: Simplify 1 into 1
1.278 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x
1.278 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.278 * [taylor]: Taking taylor expansion of y in x
1.278 * [backup-simplify]: Simplify y into y
1.278 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.278 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
1.278 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x
1.278 * [taylor]: Taking taylor expansion of x in x
1.278 * [backup-simplify]: Simplify 0 into 0
1.278 * [backup-simplify]: Simplify 1 into 1
1.278 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x
1.278 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.278 * [taylor]: Taking taylor expansion of y in x
1.278 * [backup-simplify]: Simplify y into y
1.278 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.279 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
1.279 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0
1.279 * [taylor]: Taking taylor expansion of 0 in y
1.279 * [backup-simplify]: Simplify 0 into 0
1.279 * [backup-simplify]: Simplify 0 into 0
1.279 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.280 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0
1.280 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2))
1.280 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.280 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.280 * [taylor]: Taking taylor expansion of y in y
1.280 * [backup-simplify]: Simplify 0 into 0
1.280 * [backup-simplify]: Simplify 1 into 1
1.281 * [backup-simplify]: Simplify (* 1 1) into 1
1.281 * [backup-simplify]: Simplify (exp 0) into 1
1.281 * [backup-simplify]: Simplify 1 into 1
1.281 * [backup-simplify]: Simplify 0 into 0
1.281 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.282 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.283 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0
1.283 * [taylor]: Taking taylor expansion of 0 in y
1.283 * [backup-simplify]: Simplify 0 into 0
1.283 * [backup-simplify]: Simplify 0 into 0
1.284 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1.284 * [backup-simplify]: Simplify 0 into 0
1.284 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.286 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.287 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0
1.287 * [taylor]: Taking taylor expansion of 0 in y
1.287 * [backup-simplify]: Simplify 0 into 0
1.287 * [backup-simplify]: Simplify 0 into 0
1.287 * [backup-simplify]: Simplify 0 into 0
1.287 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x
1.288 * [backup-simplify]: Simplify (* (/ 1 x) (exp (* (/ 1 y) (/ 1 y)))) into (/ (exp (/ 1 (pow y 2))) x)
1.288 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0
1.288 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y
1.288 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.288 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.288 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.288 * [taylor]: Taking taylor expansion of y in y
1.288 * [backup-simplify]: Simplify 0 into 0
1.288 * [backup-simplify]: Simplify 1 into 1
1.288 * [backup-simplify]: Simplify (* 1 1) into 1
1.288 * [backup-simplify]: Simplify (/ 1 1) into 1
1.288 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.289 * [taylor]: Taking taylor expansion of x in y
1.289 * [backup-simplify]: Simplify x into x
1.289 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
1.289 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.289 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.289 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.289 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.289 * [taylor]: Taking taylor expansion of y in x
1.289 * [backup-simplify]: Simplify y into y
1.289 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.289 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.289 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.289 * [taylor]: Taking taylor expansion of x in x
1.289 * [backup-simplify]: Simplify 0 into 0
1.289 * [backup-simplify]: Simplify 1 into 1
1.289 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.289 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.289 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.289 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.290 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.290 * [taylor]: Taking taylor expansion of y in x
1.290 * [backup-simplify]: Simplify y into y
1.290 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.290 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.290 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.290 * [taylor]: Taking taylor expansion of x in x
1.290 * [backup-simplify]: Simplify 0 into 0
1.290 * [backup-simplify]: Simplify 1 into 1
1.290 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.290 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.290 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.290 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.290 * [taylor]: Taking taylor expansion of y in y
1.290 * [backup-simplify]: Simplify 0 into 0
1.290 * [backup-simplify]: Simplify 1 into 1
1.290 * [backup-simplify]: Simplify (* 1 1) into 1
1.291 * [backup-simplify]: Simplify (/ 1 1) into 1
1.291 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.291 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.291 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.291 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
1.292 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
1.292 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
1.292 * [taylor]: Taking taylor expansion of 0 in y
1.292 * [backup-simplify]: Simplify 0 into 0
1.292 * [backup-simplify]: Simplify 0 into 0
1.292 * [backup-simplify]: Simplify 0 into 0
1.293 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.293 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.294 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.295 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.295 * [taylor]: Taking taylor expansion of 0 in y
1.295 * [backup-simplify]: Simplify 0 into 0
1.295 * [backup-simplify]: Simplify 0 into 0
1.295 * [backup-simplify]: Simplify 0 into 0
1.295 * [backup-simplify]: Simplify 0 into 0
1.295 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.295 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.296 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.298 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.298 * [taylor]: Taking taylor expansion of 0 in y
1.298 * [backup-simplify]: Simplify 0 into 0
1.298 * [backup-simplify]: Simplify 0 into 0
1.298 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2)))
1.298 * [backup-simplify]: Simplify (* (/ 1 (- x)) (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (exp (/ 1 (pow y 2))) x))
1.298 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0
1.298 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y
1.298 * [taylor]: Taking taylor expansion of -1 in y
1.298 * [backup-simplify]: Simplify -1 into -1
1.298 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y
1.298 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.298 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.298 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.298 * [taylor]: Taking taylor expansion of y in y
1.298 * [backup-simplify]: Simplify 0 into 0
1.298 * [backup-simplify]: Simplify 1 into 1
1.298 * [backup-simplify]: Simplify (* 1 1) into 1
1.299 * [backup-simplify]: Simplify (/ 1 1) into 1
1.299 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.299 * [taylor]: Taking taylor expansion of x in y
1.299 * [backup-simplify]: Simplify x into x
1.299 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
1.299 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x
1.299 * [taylor]: Taking taylor expansion of -1 in x
1.299 * [backup-simplify]: Simplify -1 into -1
1.299 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.299 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.299 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.299 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.299 * [taylor]: Taking taylor expansion of y in x
1.299 * [backup-simplify]: Simplify y into y
1.299 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.299 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.299 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.299 * [taylor]: Taking taylor expansion of x in x
1.299 * [backup-simplify]: Simplify 0 into 0
1.299 * [backup-simplify]: Simplify 1 into 1
1.299 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.299 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x
1.299 * [taylor]: Taking taylor expansion of -1 in x
1.299 * [backup-simplify]: Simplify -1 into -1
1.299 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.299 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.299 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.299 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.299 * [taylor]: Taking taylor expansion of y in x
1.299 * [backup-simplify]: Simplify y into y
1.300 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.300 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.300 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.300 * [taylor]: Taking taylor expansion of x in x
1.300 * [backup-simplify]: Simplify 0 into 0
1.300 * [backup-simplify]: Simplify 1 into 1
1.300 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.300 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.300 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y
1.300 * [taylor]: Taking taylor expansion of -1 in y
1.300 * [backup-simplify]: Simplify -1 into -1
1.300 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.300 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.300 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.300 * [taylor]: Taking taylor expansion of y in y
1.300 * [backup-simplify]: Simplify 0 into 0
1.300 * [backup-simplify]: Simplify 1 into 1
1.300 * [backup-simplify]: Simplify (* 1 1) into 1
1.301 * [backup-simplify]: Simplify (/ 1 1) into 1
1.301 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.301 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.301 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.301 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.301 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
1.302 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
1.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
1.303 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
1.303 * [taylor]: Taking taylor expansion of 0 in y
1.303 * [backup-simplify]: Simplify 0 into 0
1.303 * [backup-simplify]: Simplify 0 into 0
1.303 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
1.303 * [backup-simplify]: Simplify 0 into 0
1.303 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.304 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.304 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.305 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.306 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
1.306 * [taylor]: Taking taylor expansion of 0 in y
1.306 * [backup-simplify]: Simplify 0 into 0
1.306 * [backup-simplify]: Simplify 0 into 0
1.306 * [backup-simplify]: Simplify 0 into 0
1.307 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
1.307 * [backup-simplify]: Simplify 0 into 0
1.307 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.307 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.308 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.310 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0
1.310 * [taylor]: Taking taylor expansion of 0 in y
1.310 * [backup-simplify]: Simplify 0 into 0
1.310 * [backup-simplify]: Simplify 0 into 0
1.311 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2)))
1.311 * * * [progress]: simplifying candidates
1.311 * [simplify]: Simplifying:
  (expm1 (exp (* y y)))
  (log1p (exp (* y y)))
  (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 (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)))
  (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  x
  (* x (exp (pow y 2)))
  (* x (exp (pow y 2)))
1.312 * * [simplify]: iteration 0: 48 enodes
1.320 * * [simplify]: iteration 1: 105 enodes
1.350 * * [simplify]: iteration 2: 428 enodes
1.741 * * [simplify]: iteration 3: 2516 enodes
3.082 * * [simplify]: iteration complete: 5002 enodes
3.082 * * [simplify]: Extracting #0: cost 26 inf + 0
3.134 * * [simplify]: Extracting #1: cost 528 inf + 1
3.139 * * [simplify]: Extracting #2: cost 1075 inf + 198
3.148 * * [simplify]: Extracting #3: cost 619 inf + 4005
3.157 * * [simplify]: Extracting #4: cost 26 inf + 9084
3.169 * * [simplify]: Extracting #5: cost 0 inf + 9271
3.178 * [simplify]: Simplified to:
  (expm1 (pow (exp y) y))
  (log1p (pow (exp y) y))
  (exp y)
  (pow y 2)
  (exp (pow (exp y) y))
  (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))
  (cbrt (pow (exp y) y))
  (exp (* 3 (pow y 2)))
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (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))
  (exp (* x (pow (exp y) y)))
  (pow (* (pow (exp y) y) x) 3)
  (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y))))
  (cbrt (* x (pow (exp y) y)))
  (pow (* (pow (exp y) y) x) 3)
  (sqrt (* x (pow (exp y) y)))
  (sqrt (* x (pow (exp y) y)))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))) x)
  (* x (sqrt (pow (exp y) y)))
  x
  (* (pow (exp y) y) (cbrt x))
  (* (sqrt x) (pow (exp y) y))
  (* x (pow (exp y) y))
  (fma 1/2 (pow y 4) (fma y y 1))
  (pow (exp y) y)
  (pow (exp y) y)
  x
  (* x (pow (exp y) y))
  (* x (pow (exp y) y))
3.178 * * * [progress]: adding candidates to table
3.404 * * [progress]: iteration 2 / 4
3.404 * * * [progress]: picking best candidate
3.414 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x (sqrt (pow (exp y) y))) (sqrt (exp (* y y)))))>
3.414 * * * [progress]: localizing error
3.452 * * * [progress]: generating rewritten candidates
3.453 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
3.460 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
3.465 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
3.471 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
3.478 * * * [progress]: generating series expansions
3.478 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
3.478 * [backup-simplify]: Simplify (sqrt (pow (exp y) y)) into (sqrt (pow (exp y) y))
3.478 * [approximate]: Taking taylor expansion of (sqrt (pow (exp y) y)) in (y) around 0
3.478 * [taylor]: Taking taylor expansion of (sqrt (pow (exp y) y)) in y
3.478 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
3.478 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
3.478 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
3.478 * [taylor]: Taking taylor expansion of y in y
3.478 * [backup-simplify]: Simplify 0 into 0
3.478 * [backup-simplify]: Simplify 1 into 1
3.478 * [taylor]: Taking taylor expansion of (log (exp y)) in y
3.478 * [taylor]: Taking taylor expansion of (exp y) in y
3.478 * [taylor]: Taking taylor expansion of y in y
3.478 * [backup-simplify]: Simplify 0 into 0
3.478 * [backup-simplify]: Simplify 1 into 1
3.479 * [backup-simplify]: Simplify (exp 0) into 1
3.479 * [backup-simplify]: Simplify (log 1) into 0
3.479 * [backup-simplify]: Simplify (* 0 0) into 0
3.480 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.482 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
3.482 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
3.484 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.486 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
3.487 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
3.487 * [backup-simplify]: Simplify (exp 0) into 1
3.487 * [backup-simplify]: Simplify (sqrt 1) into 1
3.488 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
3.489 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.489 * [taylor]: Taking taylor expansion of (sqrt (pow (exp y) y)) in y
3.489 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
3.489 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
3.489 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
3.489 * [taylor]: Taking taylor expansion of y in y
3.489 * [backup-simplify]: Simplify 0 into 0
3.489 * [backup-simplify]: Simplify 1 into 1
3.489 * [taylor]: Taking taylor expansion of (log (exp y)) in y
3.489 * [taylor]: Taking taylor expansion of (exp y) in y
3.489 * [taylor]: Taking taylor expansion of y in y
3.489 * [backup-simplify]: Simplify 0 into 0
3.489 * [backup-simplify]: Simplify 1 into 1
3.489 * [backup-simplify]: Simplify (exp 0) into 1
3.489 * [backup-simplify]: Simplify (log 1) into 0
3.490 * [backup-simplify]: Simplify (* 0 0) into 0
3.491 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.498 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
3.498 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
3.500 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.502 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
3.503 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
3.503 * [backup-simplify]: Simplify (exp 0) into 1
3.504 * [backup-simplify]: Simplify (sqrt 1) into 1
3.505 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
3.505 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.505 * [backup-simplify]: Simplify 1 into 1
3.506 * [backup-simplify]: Simplify 0 into 0
3.507 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
3.508 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 1)) into 1/2
3.508 * [backup-simplify]: Simplify 1/2 into 1/2
3.510 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
3.515 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/6) 1)) (pow 1 1)))) 6) into 0
3.517 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
3.519 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.520 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 1/2)))) (* 2 1)) into 0
3.520 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
3.534 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/6) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/24) 1)) (pow 1 1)))) 24) into 0
3.535 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.538 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.540 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into 1/8
3.540 * [backup-simplify]: Simplify 1/8 into 1/8
3.540 * [backup-simplify]: Simplify (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1)) into (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1))
3.541 * [backup-simplify]: Simplify (sqrt (pow (exp (/ 1 y)) (/ 1 y))) into (sqrt (pow (exp (/ 1 y)) (/ 1 y)))
3.541 * [approximate]: Taking taylor expansion of (sqrt (pow (exp (/ 1 y)) (/ 1 y))) in (y) around 0
3.541 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ 1 y)) (/ 1 y))) in y
3.541 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
3.541 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
3.541 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
3.541 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.541 * [taylor]: Taking taylor expansion of y in y
3.541 * [backup-simplify]: Simplify 0 into 0
3.541 * [backup-simplify]: Simplify 1 into 1
3.541 * [backup-simplify]: Simplify (/ 1 1) into 1
3.541 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
3.541 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
3.541 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.541 * [taylor]: Taking taylor expansion of y in y
3.541 * [backup-simplify]: Simplify 0 into 0
3.541 * [backup-simplify]: Simplify 1 into 1
3.542 * [backup-simplify]: Simplify (/ 1 1) into 1
3.542 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
3.542 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
3.542 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
3.542 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
3.542 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
3.543 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.543 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ 1 y)) (/ 1 y))) in y
3.543 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
3.543 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
3.543 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
3.543 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.543 * [taylor]: Taking taylor expansion of y in y
3.543 * [backup-simplify]: Simplify 0 into 0
3.543 * [backup-simplify]: Simplify 1 into 1
3.543 * [backup-simplify]: Simplify (/ 1 1) into 1
3.543 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
3.543 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
3.543 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.543 * [taylor]: Taking taylor expansion of y in y
3.543 * [backup-simplify]: Simplify 0 into 0
3.543 * [backup-simplify]: Simplify 1 into 1
3.544 * [backup-simplify]: Simplify (/ 1 1) into 1
3.544 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
3.544 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
3.544 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
3.544 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
3.544 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
3.545 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.545 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
3.545 * [backup-simplify]: Simplify 0 into 0
3.546 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.546 * [backup-simplify]: Simplify 0 into 0
3.547 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.547 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.548 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.549 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow (/ 1 y) 2)))) into (sqrt (exp (pow y 2)))
3.550 * [backup-simplify]: Simplify (sqrt (pow (exp (/ 1 (- y))) (/ 1 (- y)))) into (sqrt (pow (exp (/ -1 y)) (/ -1 y)))
3.550 * [approximate]: Taking taylor expansion of (sqrt (pow (exp (/ -1 y)) (/ -1 y))) in (y) around 0
3.550 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ -1 y)) (/ -1 y))) in y
3.550 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
3.550 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
3.550 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
3.550 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.550 * [taylor]: Taking taylor expansion of -1 in y
3.550 * [backup-simplify]: Simplify -1 into -1
3.550 * [taylor]: Taking taylor expansion of y in y
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify 1 into 1
3.551 * [backup-simplify]: Simplify (/ -1 1) into -1
3.551 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
3.551 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
3.551 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.551 * [taylor]: Taking taylor expansion of -1 in y
3.551 * [backup-simplify]: Simplify -1 into -1
3.551 * [taylor]: Taking taylor expansion of y in y
3.551 * [backup-simplify]: Simplify 0 into 0
3.551 * [backup-simplify]: Simplify 1 into 1
3.551 * [backup-simplify]: Simplify (/ -1 1) into -1
3.552 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
3.552 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
3.552 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
3.552 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
3.552 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
3.552 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.552 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ -1 y)) (/ -1 y))) in y
3.552 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
3.552 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
3.552 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
3.552 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.552 * [taylor]: Taking taylor expansion of -1 in y
3.553 * [backup-simplify]: Simplify -1 into -1
3.553 * [taylor]: Taking taylor expansion of y in y
3.553 * [backup-simplify]: Simplify 0 into 0
3.553 * [backup-simplify]: Simplify 1 into 1
3.553 * [backup-simplify]: Simplify (/ -1 1) into -1
3.553 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
3.553 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
3.553 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.553 * [taylor]: Taking taylor expansion of -1 in y
3.553 * [backup-simplify]: Simplify -1 into -1
3.553 * [taylor]: Taking taylor expansion of y in y
3.553 * [backup-simplify]: Simplify 0 into 0
3.553 * [backup-simplify]: Simplify 1 into 1
3.554 * [backup-simplify]: Simplify (/ -1 1) into -1
3.554 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
3.554 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
3.554 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
3.554 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
3.554 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
3.555 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.555 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
3.555 * [backup-simplify]: Simplify 0 into 0
3.556 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.556 * [backup-simplify]: Simplify 0 into 0
3.556 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.556 * [backup-simplify]: Simplify 0 into 0
3.557 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.558 * [backup-simplify]: Simplify 0 into 0
3.558 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.558 * [backup-simplify]: Simplify 0 into 0
3.559 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.559 * [backup-simplify]: Simplify 0 into 0
3.560 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow (/ 1 (- y)) 2)))) into (sqrt (exp (pow y 2)))
3.560 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
3.560 * [backup-simplify]: Simplify (sqrt (exp (* y y))) into (sqrt (exp (pow y 2)))
3.560 * [approximate]: Taking taylor expansion of (sqrt (exp (pow y 2))) in (y) around 0
3.560 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y
3.560 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
3.560 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.560 * [taylor]: Taking taylor expansion of y in y
3.560 * [backup-simplify]: Simplify 0 into 0
3.560 * [backup-simplify]: Simplify 1 into 1
3.560 * [backup-simplify]: Simplify (* 1 1) into 1
3.560 * [backup-simplify]: Simplify (exp 0) into 1
3.561 * [backup-simplify]: Simplify (sqrt 1) into 1
3.562 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
3.562 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.562 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y
3.562 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
3.562 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.562 * [taylor]: Taking taylor expansion of y in y
3.563 * [backup-simplify]: Simplify 0 into 0
3.563 * [backup-simplify]: Simplify 1 into 1
3.563 * [backup-simplify]: Simplify (* 1 1) into 1
3.563 * [backup-simplify]: Simplify (exp 0) into 1
3.563 * [backup-simplify]: Simplify (sqrt 1) into 1
3.565 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
3.565 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.566 * [backup-simplify]: Simplify 1 into 1
3.566 * [backup-simplify]: Simplify 0 into 0
3.567 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
3.568 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 1)) into 1/2
3.568 * [backup-simplify]: Simplify 1/2 into 1/2
3.569 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.571 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.572 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 1/2)))) (* 2 1)) into 0
3.572 * [backup-simplify]: Simplify 0 into 0
3.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.576 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.578 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into 1/8
3.578 * [backup-simplify]: Simplify 1/8 into 1/8
3.578 * [backup-simplify]: Simplify (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1)) into (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1))
3.578 * [backup-simplify]: Simplify (sqrt (exp (* (/ 1 y) (/ 1 y)))) into (sqrt (exp (/ 1 (pow y 2))))
3.578 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0
3.578 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y
3.578 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
3.578 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.578 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.578 * [taylor]: Taking taylor expansion of y in y
3.578 * [backup-simplify]: Simplify 0 into 0
3.578 * [backup-simplify]: Simplify 1 into 1
3.579 * [backup-simplify]: Simplify (* 1 1) into 1
3.579 * [backup-simplify]: Simplify (/ 1 1) into 1
3.579 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.580 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
3.580 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.580 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y
3.580 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
3.580 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.580 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.580 * [taylor]: Taking taylor expansion of y in y
3.580 * [backup-simplify]: Simplify 0 into 0
3.580 * [backup-simplify]: Simplify 1 into 1
3.580 * [backup-simplify]: Simplify (* 1 1) into 1
3.581 * [backup-simplify]: Simplify (/ 1 1) into 1
3.581 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.581 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
3.581 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.581 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
3.581 * [backup-simplify]: Simplify 0 into 0
3.582 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.582 * [backup-simplify]: Simplify 0 into 0
3.583 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.583 * [backup-simplify]: Simplify 0 into 0
3.584 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.584 * [backup-simplify]: Simplify 0 into 0
3.585 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.585 * [backup-simplify]: Simplify 0 into 0
3.586 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.586 * [backup-simplify]: Simplify 0 into 0
3.586 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow (/ 1 y) 2)))) into (sqrt (exp (pow y 2)))
3.587 * [backup-simplify]: Simplify (sqrt (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (sqrt (exp (/ 1 (pow y 2))))
3.587 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0
3.587 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y
3.587 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
3.587 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.587 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.587 * [taylor]: Taking taylor expansion of y in y
3.587 * [backup-simplify]: Simplify 0 into 0
3.587 * [backup-simplify]: Simplify 1 into 1
3.587 * [backup-simplify]: Simplify (* 1 1) into 1
3.588 * [backup-simplify]: Simplify (/ 1 1) into 1
3.588 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.588 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
3.588 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.588 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y
3.588 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
3.588 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.588 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.588 * [taylor]: Taking taylor expansion of y in y
3.588 * [backup-simplify]: Simplify 0 into 0
3.588 * [backup-simplify]: Simplify 1 into 1
3.589 * [backup-simplify]: Simplify (* 1 1) into 1
3.589 * [backup-simplify]: Simplify (/ 1 1) into 1
3.589 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.589 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
3.590 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.590 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
3.590 * [backup-simplify]: Simplify 0 into 0
3.591 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.591 * [backup-simplify]: Simplify 0 into 0
3.591 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.592 * [backup-simplify]: Simplify 0 into 0
3.593 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.593 * [backup-simplify]: Simplify 0 into 0
3.593 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.593 * [backup-simplify]: Simplify 0 into 0
3.594 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
3.594 * [backup-simplify]: Simplify 0 into 0
3.595 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow (/ 1 (- y)) 2)))) into (sqrt (exp (pow y 2)))
3.595 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
3.595 * [backup-simplify]: Simplify (pow (exp y) y) into (pow (exp y) y)
3.595 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0
3.595 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
3.595 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
3.595 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
3.595 * [taylor]: Taking taylor expansion of y in y
3.595 * [backup-simplify]: Simplify 0 into 0
3.595 * [backup-simplify]: Simplify 1 into 1
3.595 * [taylor]: Taking taylor expansion of (log (exp y)) in y
3.595 * [taylor]: Taking taylor expansion of (exp y) in y
3.595 * [taylor]: Taking taylor expansion of y in y
3.595 * [backup-simplify]: Simplify 0 into 0
3.595 * [backup-simplify]: Simplify 1 into 1
3.595 * [backup-simplify]: Simplify (exp 0) into 1
3.596 * [backup-simplify]: Simplify (log 1) into 0
3.596 * [backup-simplify]: Simplify (* 0 0) into 0
3.597 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.598 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
3.599 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
3.600 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.602 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
3.603 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
3.603 * [backup-simplify]: Simplify (exp 0) into 1
3.603 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
3.603 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
3.603 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
3.603 * [taylor]: Taking taylor expansion of y in y
3.603 * [backup-simplify]: Simplify 0 into 0
3.603 * [backup-simplify]: Simplify 1 into 1
3.603 * [taylor]: Taking taylor expansion of (log (exp y)) in y
3.603 * [taylor]: Taking taylor expansion of (exp y) in y
3.603 * [taylor]: Taking taylor expansion of y in y
3.603 * [backup-simplify]: Simplify 0 into 0
3.603 * [backup-simplify]: Simplify 1 into 1
3.603 * [backup-simplify]: Simplify (exp 0) into 1
3.604 * [backup-simplify]: Simplify (log 1) into 0
3.604 * [backup-simplify]: Simplify (* 0 0) into 0
3.605 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.606 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
3.607 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
3.608 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.610 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
3.611 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
3.611 * [backup-simplify]: Simplify (exp 0) into 1
3.611 * [backup-simplify]: Simplify 1 into 1
3.612 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
3.612 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
3.614 * [backup-simplify]: Simplify 1 into 1
3.616 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
3.621 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/6) 1)) (pow 1 1)))) 6) into 0
3.622 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
3.625 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.625 * [backup-simplify]: Simplify 0 into 0
3.628 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
3.640 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/6) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/24) 1)) (pow 1 1)))) 24) into 0
3.641 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.645 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.645 * [backup-simplify]: Simplify 1/2 into 1/2
3.645 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1))
3.645 * [backup-simplify]: Simplify (pow (exp (/ 1 y)) (/ 1 y)) into (pow (exp (/ 1 y)) (/ 1 y))
3.645 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0
3.645 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
3.645 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
3.646 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
3.646 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.646 * [taylor]: Taking taylor expansion of y in y
3.646 * [backup-simplify]: Simplify 0 into 0
3.646 * [backup-simplify]: Simplify 1 into 1
3.646 * [backup-simplify]: Simplify (/ 1 1) into 1
3.646 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
3.646 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
3.646 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.646 * [taylor]: Taking taylor expansion of y in y
3.646 * [backup-simplify]: Simplify 0 into 0
3.646 * [backup-simplify]: Simplify 1 into 1
3.647 * [backup-simplify]: Simplify (/ 1 1) into 1
3.647 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
3.647 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
3.647 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
3.647 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
3.647 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
3.647 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
3.647 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
3.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.647 * [taylor]: Taking taylor expansion of y in y
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 1 into 1
3.648 * [backup-simplify]: Simplify (/ 1 1) into 1
3.648 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
3.648 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
3.648 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.648 * [taylor]: Taking taylor expansion of y in y
3.648 * [backup-simplify]: Simplify 0 into 0
3.648 * [backup-simplify]: Simplify 1 into 1
3.648 * [backup-simplify]: Simplify (/ 1 1) into 1
3.648 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
3.648 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
3.648 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
3.649 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
3.649 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.649 * [backup-simplify]: Simplify 0 into 0
3.649 * [backup-simplify]: Simplify 0 into 0
3.649 * [backup-simplify]: Simplify 0 into 0
3.649 * [backup-simplify]: Simplify 0 into 0
3.649 * [backup-simplify]: Simplify 0 into 0
3.649 * [backup-simplify]: Simplify 0 into 0
3.649 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2))
3.649 * [backup-simplify]: Simplify (pow (exp (/ 1 (- y))) (/ 1 (- y))) into (pow (exp (/ -1 y)) (/ -1 y))
3.649 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0
3.649 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
3.650 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
3.650 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
3.650 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.650 * [taylor]: Taking taylor expansion of -1 in y
3.650 * [backup-simplify]: Simplify -1 into -1
3.650 * [taylor]: Taking taylor expansion of y in y
3.650 * [backup-simplify]: Simplify 0 into 0
3.650 * [backup-simplify]: Simplify 1 into 1
3.650 * [backup-simplify]: Simplify (/ -1 1) into -1
3.650 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
3.650 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
3.650 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.650 * [taylor]: Taking taylor expansion of -1 in y
3.650 * [backup-simplify]: Simplify -1 into -1
3.650 * [taylor]: Taking taylor expansion of y in y
3.650 * [backup-simplify]: Simplify 0 into 0
3.650 * [backup-simplify]: Simplify 1 into 1
3.651 * [backup-simplify]: Simplify (/ -1 1) into -1
3.651 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
3.651 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
3.651 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
3.651 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
3.651 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
3.651 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
3.651 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
3.651 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.651 * [taylor]: Taking taylor expansion of -1 in y
3.651 * [backup-simplify]: Simplify -1 into -1
3.651 * [taylor]: Taking taylor expansion of y in y
3.651 * [backup-simplify]: Simplify 0 into 0
3.651 * [backup-simplify]: Simplify 1 into 1
3.652 * [backup-simplify]: Simplify (/ -1 1) into -1
3.652 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
3.652 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
3.652 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.652 * [taylor]: Taking taylor expansion of -1 in y
3.652 * [backup-simplify]: Simplify -1 into -1
3.652 * [taylor]: Taking taylor expansion of y in y
3.652 * [backup-simplify]: Simplify 0 into 0
3.652 * [backup-simplify]: Simplify 1 into 1
3.652 * [backup-simplify]: Simplify (/ -1 1) into -1
3.653 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
3.653 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
3.653 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
3.653 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
3.653 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2))
3.654 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
3.654 * [backup-simplify]: Simplify (exp (* y y)) into (exp (pow y 2))
3.654 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0
3.654 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
3.654 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.654 * [taylor]: Taking taylor expansion of y in y
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify 1 into 1
3.654 * [backup-simplify]: Simplify (* 1 1) into 1
3.654 * [backup-simplify]: Simplify (exp 0) into 1
3.654 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
3.654 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.654 * [taylor]: Taking taylor expansion of y in y
3.654 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify 1 into 1
3.655 * [backup-simplify]: Simplify (* 1 1) into 1
3.655 * [backup-simplify]: Simplify (exp 0) into 1
3.655 * [backup-simplify]: Simplify 1 into 1
3.656 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
3.656 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
3.657 * [backup-simplify]: Simplify 1 into 1
3.658 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.660 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.660 * [backup-simplify]: Simplify 0 into 0
3.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.665 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.665 * [backup-simplify]: Simplify 1/2 into 1/2
3.665 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1))
3.665 * [backup-simplify]: Simplify (exp (* (/ 1 y) (/ 1 y))) into (exp (/ 1 (pow y 2)))
3.665 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
3.665 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
3.665 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.665 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.666 * [taylor]: Taking taylor expansion of y in y
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [backup-simplify]: Simplify 1 into 1
3.666 * [backup-simplify]: Simplify (* 1 1) into 1
3.666 * [backup-simplify]: Simplify (/ 1 1) into 1
3.666 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.667 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
3.667 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.667 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.667 * [taylor]: Taking taylor expansion of y in y
3.667 * [backup-simplify]: Simplify 0 into 0
3.667 * [backup-simplify]: Simplify 1 into 1
3.667 * [backup-simplify]: Simplify (* 1 1) into 1
3.667 * [backup-simplify]: Simplify (/ 1 1) into 1
3.667 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.668 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2))
3.668 * [backup-simplify]: Simplify (exp (* (/ 1 (- y)) (/ 1 (- y)))) into (exp (/ 1 (pow y 2)))
3.668 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
3.668 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
3.668 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.668 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.668 * [taylor]: Taking taylor expansion of y in y
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 1 into 1
3.669 * [backup-simplify]: Simplify (* 1 1) into 1
3.669 * [backup-simplify]: Simplify (/ 1 1) into 1
3.669 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.669 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
3.669 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.669 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.669 * [taylor]: Taking taylor expansion of y in y
3.669 * [backup-simplify]: Simplify 0 into 0
3.669 * [backup-simplify]: Simplify 1 into 1
3.670 * [backup-simplify]: Simplify (* 1 1) into 1
3.670 * [backup-simplify]: Simplify (/ 1 1) into 1
3.670 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.670 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2))
3.671 * * * [progress]: simplifying candidates
3.672 * [simplify]: Simplifying:
  (expm1 (sqrt (pow (exp y) y)))
  (log1p (sqrt (pow (exp y) y)))
  (log (sqrt (pow (exp y) y)))
  (exp (sqrt (pow (exp y) y)))
  (* (cbrt (sqrt (pow (exp y) y))) (cbrt (sqrt (pow (exp y) y))))
  (cbrt (sqrt (pow (exp y) y)))
  (* (* (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y)))
  (sqrt (pow (* (cbrt (exp y)) (cbrt (exp y))) y))
  (sqrt (pow (cbrt (exp y)) y))
  (sqrt (pow (sqrt (exp y)) y))
  (sqrt (pow (sqrt (exp y)) y))
  (sqrt (pow 1 y))
  (sqrt (pow (exp y) y))
  (sqrt (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))))
  (sqrt (cbrt (pow (exp y) y)))
  (sqrt (sqrt (pow (exp y) y)))
  (sqrt (sqrt (pow (exp y) y)))
  (sqrt 1)
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) (/ y 2)))
  (sqrt (pow (exp y) (/ y 2)))
  (/ y 2)
  (sqrt (sqrt (pow (exp y) y)))
  (sqrt (sqrt (pow (exp y) y)))
  (expm1 (sqrt (exp (* y y))))
  (log1p (sqrt (exp (* y y))))
  (log (sqrt (exp (* y y))))
  (exp (sqrt (exp (* y y))))
  (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))
  (cbrt (sqrt (exp (* y y))))
  (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))
  (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))
  (sqrt (cbrt (exp (* y y))))
  (sqrt (sqrt (exp (* y y))))
  (sqrt (sqrt (exp (* y y))))
  (sqrt 1)
  (sqrt (exp (* y y)))
  (/ y 2)
  (/ 1 2)
  (/ y 2)
  (sqrt (sqrt (exp (* y y))))
  (sqrt (sqrt (exp (* y y))))
  (expm1 (pow (exp y) y))
  (log1p (pow (exp y) y))
  (* 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 (exp (* y y)))
  (log1p (exp (* y y)))
  (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)))
  (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1))
  (sqrt (exp (pow y 2)))
  (sqrt (exp (pow y 2)))
  (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1))
  (sqrt (exp (pow y 2)))
  (sqrt (exp (pow y 2)))
  (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1))
  (exp (pow y 2))
  (exp (pow y 2))
3.674 * * [simplify]: iteration 0: 88 enodes
3.701 * * [simplify]: iteration 1: 183 enodes
3.767 * * [simplify]: iteration 2: 567 enodes
4.213 * * [simplify]: iteration 3: 2210 enodes
7.274 * * [simplify]: iteration complete: 5000 enodes
7.274 * * [simplify]: Extracting #0: cost 38 inf + 0
7.275 * * [simplify]: Extracting #1: cost 535 inf + 12
7.279 * * [simplify]: Extracting #2: cost 1215 inf + 878
7.286 * * [simplify]: Extracting #3: cost 795 inf + 3613
7.292 * * [simplify]: Extracting #4: cost 379 inf + 7237
7.304 * * [simplify]: Extracting #5: cost 48 inf + 12253
7.310 * * [simplify]: Extracting #6: cost 4 inf + 13033
7.316 * * [simplify]: Extracting #7: cost 0 inf + 13137
7.322 * [simplify]: Simplified to:
  (expm1 (sqrt (pow (exp y) y)))
  (log1p (sqrt (pow (exp y) y)))
  (log (sqrt (pow (exp y) y)))
  (exp (sqrt (pow (exp y) y)))
  (* (cbrt (sqrt (pow (exp y) y))) (cbrt (sqrt (pow (exp y) y))))
  (cbrt (sqrt (pow (exp y) y)))
  (pow (sqrt (pow (exp y) y)) 3)
  (sqrt (pow (* (cbrt (exp y)) (cbrt (exp y))) y))
  (sqrt (pow (cbrt (exp y)) y))
  (sqrt (pow (sqrt (exp y)) y))
  (sqrt (pow (sqrt (exp y)) y))
  1
  (sqrt (pow (exp y) y))
  (fabs (cbrt (pow (exp y) y)))
  (sqrt (cbrt (pow (exp y) y)))
  (sqrt (sqrt (pow (exp y) y)))
  (sqrt (sqrt (pow (exp y) y)))
  1
  (sqrt (pow (exp y) y))
  (fabs (pow (exp y) (/ y 4)))
  (fabs (pow (exp y) (/ y 4)))
  (/ y 2)
  (sqrt (sqrt (pow (exp y) y)))
  (sqrt (sqrt (pow (exp y) y)))
  (expm1 (sqrt (pow (exp y) y)))
  (log1p (sqrt (pow (exp y) y)))
  (log (sqrt (pow (exp y) y)))
  (exp (sqrt (pow (exp y) y)))
  (* (cbrt (sqrt (pow (exp y) y))) (cbrt (sqrt (pow (exp y) y))))
  (cbrt (sqrt (pow (exp y) y)))
  (pow (sqrt (pow (exp y) y)) 3)
  (fabs (cbrt (pow (exp y) y)))
  (sqrt (cbrt (pow (exp y) y)))
  (sqrt (sqrt (pow (exp y) y)))
  (sqrt (sqrt (pow (exp y) y)))
  1
  (sqrt (pow (exp y) y))
  (/ y 2)
  1/2
  (/ y 2)
  (sqrt (sqrt (pow (exp y) y)))
  (sqrt (sqrt (pow (exp y) y)))
  (expm1 (pow (exp y) y))
  (log1p (pow (exp y) y))
  (* y y)
  (* y y)
  y
  (* y (cbrt y))
  (* (sqrt y) y)
  (* y y)
  (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 (sqrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  1
  (pow (exp y) y)
  (* y y)
  (exp (pow (exp y) y))
  (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))
  (cbrt (pow (exp y) y))
  (pow (pow (exp y) y) 3)
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (expm1 (pow (exp y) y))
  (log1p (pow (exp y) y))
  (exp y)
  (* y y)
  (exp (pow (exp y) y))
  (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))
  (cbrt (pow (exp y) y))
  (pow (pow (exp y) y) 3)
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (fma (pow y 4) 1/8 (fma (* y y) 1/2 1))
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (fma (pow y 4) 1/8 (fma (* y y) 1/2 1))
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (fma (pow y 4) 1/2 (fma y y 1))
  (pow (exp y) y)
  (pow (exp y) y)
  (fma (pow y 4) 1/2 (fma y y 1))
  (pow (exp y) y)
  (pow (exp y) y)
7.323 * * * [progress]: adding candidates to table
7.863 * [progress]: [Phase 3 of 3] Extracting.
7.863 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* x (exp (* y y))))> #<alt (λ (x y) (* (* x (sqrt (pow (exp y) y))) (sqrt (exp (* y y)))))>)
7.864 * * * [regime-changes]: Trying 5 branch expressions: ((* y y) (exp (* y y)) (* x (exp (* y y))) y x)
7.864 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y) (* x (exp (* y y))))> #<alt (λ (x y) (* (* x (sqrt (pow (exp y) y))) (sqrt (exp (* y y)))))>)
7.906 * * * * [regimes]: Trying to branch on (exp (* y y)) from (#<alt (λ (x y) (* x (exp (* y y))))> #<alt (λ (x y) (* (* x (sqrt (pow (exp y) y))) (sqrt (exp (* y y)))))>)
7.933 * * * * [regimes]: Trying to branch on (* x (exp (* y y))) from (#<alt (λ (x y) (* x (exp (* y y))))> #<alt (λ (x y) (* (* x (sqrt (pow (exp y) y))) (sqrt (exp (* y y)))))>)
7.971 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* x (exp (* y y))))> #<alt (λ (x y) (* (* x (sqrt (pow (exp y) y))) (sqrt (exp (* y y)))))>)
8.000 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* x (exp (* y y))))> #<alt (λ (x y) (* (* x (sqrt (pow (exp y) y))) (sqrt (exp (* y y)))))>)
8.033 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
8.033 * [simplify]: Simplifying:
  (* (* x (sqrt (pow (exp y) y))) (sqrt (exp (* y y))))
8.033 * * [simplify]: iteration 0: 10 enodes
8.034 * * [simplify]: iteration 1: 12 enodes
8.034 * * [simplify]: iteration complete: 12 enodes
8.034 * * [simplify]: Extracting #0: cost 1 inf + 0
8.034 * * [simplify]: Extracting #1: cost 3 inf + 0
8.034 * * [simplify]: Extracting #2: cost 6 inf + 0
8.034 * * [simplify]: Extracting #3: cost 7 inf + 1
8.034 * * [simplify]: Extracting #4: cost 9 inf + 1
8.034 * * [simplify]: Extracting #5: cost 0 inf + 45
8.034 * [simplify]: Simplified to:
  (* (sqrt (exp (* y y))) (* (sqrt (pow (exp y) y)) x))
9.501 * [regime-testing]: Baseline error score: 0.04271564183180677
9.515 * [regime-testing]: Oracle error score: 0.02897783397776013
9.539 * [regime-testing]: End program error score: 0.04271564183180677
9.644 * [regime-testing]: Target error score: 0.02564300155583475