48.411 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.042 * * * [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.050 * * [simplify]: iteration 2: 12 enodes
0.052 * * [simplify]: iteration 3: 21 enodes
0.063 * * [simplify]: iteration 4: 48 enodes
0.077 * * [simplify]: iteration 5: 134 enodes
0.139 * * [simplify]: iteration 6: 691 enodes
1.079 * * [simplify]: iteration complete: 5000 enodes
1.079 * * [simplify]: Extracting #0: cost 1 inf + 0
1.080 * * [simplify]: Extracting #1: cost 358 inf + 0
1.085 * * [simplify]: Extracting #2: cost 1500 inf + 1
1.092 * * [simplify]: Extracting #3: cost 1555 inf + 14
1.100 * * [simplify]: Extracting #4: cost 1510 inf + 215
1.108 * * [simplify]: Extracting #5: cost 907 inf + 10767
1.113 * * [simplify]: Extracting #6: cost 26 inf + 24833
1.119 * * [simplify]: Extracting #7: cost 0 inf + 24731
1.127 * [simplify]: Simplified to:
  (* (pow (exp y) y) x)
1.136 * * [progress]: iteration 1 / 4
1.136 * * * [progress]: picking best candidate
1.143 * * * * [pick]: Picked  #<alt (λ (x y) (* x (exp (* y y))))>
1.143 * * * [progress]: localizing error
1.152 * * * [progress]: generating rewritten candidates
1.152 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.155 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.166 * * * [progress]: generating series expansions
1.166 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.166 * [backup-simplify]: Simplify (exp (* y y)) into (exp (pow y 2))
1.166 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0
1.166 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.166 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.166 * [taylor]: Taking taylor expansion of y in y
1.166 * [backup-simplify]: Simplify 0 into 0
1.166 * [backup-simplify]: Simplify 1 into 1
1.167 * [backup-simplify]: Simplify (* 1 1) into 1
1.167 * [backup-simplify]: Simplify (exp 0) into 1
1.167 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.167 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.167 * [taylor]: Taking taylor expansion of y in y
1.167 * [backup-simplify]: Simplify 0 into 0
1.167 * [backup-simplify]: Simplify 1 into 1
1.167 * [backup-simplify]: Simplify (* 1 1) into 1
1.167 * [backup-simplify]: Simplify (exp 0) into 1
1.167 * [backup-simplify]: Simplify 1 into 1
1.168 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1.168 * [backup-simplify]: Simplify 0 into 0
1.169 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
1.169 * [backup-simplify]: Simplify 1 into 1
1.169 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.171 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.171 * [backup-simplify]: Simplify 0 into 0
1.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.174 * [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.174 * [backup-simplify]: Simplify 1/2 into 1/2
1.174 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1))
1.175 * [backup-simplify]: Simplify (exp (* (/ 1 y) (/ 1 y))) into (exp (/ 1 (pow y 2)))
1.175 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
1.175 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.175 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.175 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.175 * [taylor]: Taking taylor expansion of y in y
1.175 * [backup-simplify]: Simplify 0 into 0
1.175 * [backup-simplify]: Simplify 1 into 1
1.175 * [backup-simplify]: Simplify (* 1 1) into 1
1.176 * [backup-simplify]: Simplify (/ 1 1) into 1
1.176 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.176 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.176 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.176 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.176 * [taylor]: Taking taylor expansion of y in y
1.176 * [backup-simplify]: Simplify 0 into 0
1.176 * [backup-simplify]: Simplify 1 into 1
1.176 * [backup-simplify]: Simplify (* 1 1) into 1
1.177 * [backup-simplify]: Simplify (/ 1 1) into 1
1.177 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.177 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.177 * [backup-simplify]: Simplify 0 into 0
1.177 * [backup-simplify]: Simplify 0 into 0
1.177 * [backup-simplify]: Simplify 0 into 0
1.177 * [backup-simplify]: Simplify 0 into 0
1.177 * [backup-simplify]: Simplify 0 into 0
1.177 * [backup-simplify]: Simplify 0 into 0
1.177 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2))
1.178 * [backup-simplify]: Simplify (exp (* (/ 1 (- y)) (/ 1 (- y)))) into (exp (/ 1 (pow y 2)))
1.178 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
1.178 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.178 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.178 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.178 * [taylor]: Taking taylor expansion of y in y
1.178 * [backup-simplify]: Simplify 0 into 0
1.178 * [backup-simplify]: Simplify 1 into 1
1.178 * [backup-simplify]: Simplify (* 1 1) into 1
1.179 * [backup-simplify]: Simplify (/ 1 1) into 1
1.179 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.179 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.179 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.179 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.179 * [taylor]: Taking taylor expansion of y in y
1.179 * [backup-simplify]: Simplify 0 into 0
1.179 * [backup-simplify]: Simplify 1 into 1
1.179 * [backup-simplify]: Simplify (* 1 1) into 1
1.180 * [backup-simplify]: Simplify (/ 1 1) into 1
1.180 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.180 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.180 * [backup-simplify]: Simplify 0 into 0
1.180 * [backup-simplify]: Simplify 0 into 0
1.180 * [backup-simplify]: Simplify 0 into 0
1.180 * [backup-simplify]: Simplify 0 into 0
1.180 * [backup-simplify]: Simplify 0 into 0
1.180 * [backup-simplify]: Simplify 0 into 0
1.180 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2))
1.180 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.181 * [backup-simplify]: Simplify (* x (exp (* y y))) into (* x (exp (pow y 2)))
1.181 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0
1.181 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y
1.181 * [taylor]: Taking taylor expansion of x in y
1.181 * [backup-simplify]: Simplify x into x
1.181 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.181 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.181 * [taylor]: Taking taylor expansion of y in y
1.181 * [backup-simplify]: Simplify 0 into 0
1.181 * [backup-simplify]: Simplify 1 into 1
1.181 * [backup-simplify]: Simplify (* 1 1) into 1
1.181 * [backup-simplify]: Simplify (exp 0) into 1
1.181 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.181 * [backup-simplify]: Simplify 0 into 0
1.181 * [backup-simplify]: Simplify 1 into 1
1.181 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x
1.182 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.182 * [taylor]: Taking taylor expansion of y in x
1.182 * [backup-simplify]: Simplify y into y
1.182 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.182 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
1.182 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x
1.182 * [taylor]: Taking taylor expansion of x in x
1.182 * [backup-simplify]: Simplify 0 into 0
1.182 * [backup-simplify]: Simplify 1 into 1
1.182 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x
1.182 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.182 * [taylor]: Taking taylor expansion of y in x
1.182 * [backup-simplify]: Simplify y into y
1.182 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.187 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
1.187 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0
1.187 * [taylor]: Taking taylor expansion of 0 in y
1.187 * [backup-simplify]: Simplify 0 into 0
1.187 * [backup-simplify]: Simplify 0 into 0
1.187 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.188 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0
1.189 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2))
1.189 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.189 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.189 * [taylor]: Taking taylor expansion of y in y
1.189 * [backup-simplify]: Simplify 0 into 0
1.189 * [backup-simplify]: Simplify 1 into 1
1.189 * [backup-simplify]: Simplify (* 1 1) into 1
1.189 * [backup-simplify]: Simplify (exp 0) into 1
1.189 * [backup-simplify]: Simplify 1 into 1
1.189 * [backup-simplify]: Simplify 0 into 0
1.190 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.191 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.192 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0
1.192 * [taylor]: Taking taylor expansion of 0 in y
1.192 * [backup-simplify]: Simplify 0 into 0
1.192 * [backup-simplify]: Simplify 0 into 0
1.193 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1.193 * [backup-simplify]: Simplify 0 into 0
1.193 * [backup-simplify]: Simplify 0 into 0
1.194 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.196 * [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.197 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0
1.197 * [taylor]: Taking taylor expansion of 0 in y
1.197 * [backup-simplify]: Simplify 0 into 0
1.197 * [backup-simplify]: Simplify 0 into 0
1.197 * [backup-simplify]: Simplify 0 into 0
1.197 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x
1.197 * [backup-simplify]: Simplify (* (/ 1 x) (exp (* (/ 1 y) (/ 1 y)))) into (/ (exp (/ 1 (pow y 2))) x)
1.197 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0
1.197 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y
1.197 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.197 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.197 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.197 * [taylor]: Taking taylor expansion of y in y
1.197 * [backup-simplify]: Simplify 0 into 0
1.197 * [backup-simplify]: Simplify 1 into 1
1.197 * [backup-simplify]: Simplify (* 1 1) into 1
1.198 * [backup-simplify]: Simplify (/ 1 1) into 1
1.198 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.198 * [taylor]: Taking taylor expansion of x in y
1.198 * [backup-simplify]: Simplify x into x
1.198 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
1.198 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.198 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.198 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.198 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.198 * [taylor]: Taking taylor expansion of y in x
1.198 * [backup-simplify]: Simplify y into y
1.198 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.198 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.198 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.198 * [taylor]: Taking taylor expansion of x in x
1.198 * [backup-simplify]: Simplify 0 into 0
1.198 * [backup-simplify]: Simplify 1 into 1
1.198 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.198 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.198 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.198 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.198 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.198 * [taylor]: Taking taylor expansion of y in x
1.198 * [backup-simplify]: Simplify y into y
1.198 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.199 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.199 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.199 * [taylor]: Taking taylor expansion of x in x
1.199 * [backup-simplify]: Simplify 0 into 0
1.199 * [backup-simplify]: Simplify 1 into 1
1.199 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.199 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.199 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.199 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.199 * [taylor]: Taking taylor expansion of y in y
1.199 * [backup-simplify]: Simplify 0 into 0
1.199 * [backup-simplify]: Simplify 1 into 1
1.199 * [backup-simplify]: Simplify (* 1 1) into 1
1.199 * [backup-simplify]: Simplify (/ 1 1) into 1
1.200 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.200 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.200 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.200 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
1.200 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
1.201 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
1.201 * [taylor]: Taking taylor expansion of 0 in y
1.201 * [backup-simplify]: Simplify 0 into 0
1.201 * [backup-simplify]: Simplify 0 into 0
1.201 * [backup-simplify]: Simplify 0 into 0
1.201 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.202 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.202 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.203 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.203 * [taylor]: Taking taylor expansion of 0 in y
1.203 * [backup-simplify]: Simplify 0 into 0
1.203 * [backup-simplify]: Simplify 0 into 0
1.203 * [backup-simplify]: Simplify 0 into 0
1.203 * [backup-simplify]: Simplify 0 into 0
1.204 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.204 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.205 * [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.206 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.206 * [taylor]: Taking taylor expansion of 0 in y
1.206 * [backup-simplify]: Simplify 0 into 0
1.206 * [backup-simplify]: Simplify 0 into 0
1.207 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2)))
1.207 * [backup-simplify]: Simplify (* (/ 1 (- x)) (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (exp (/ 1 (pow y 2))) x))
1.207 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0
1.207 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y
1.207 * [taylor]: Taking taylor expansion of -1 in y
1.207 * [backup-simplify]: Simplify -1 into -1
1.207 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y
1.207 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.207 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.207 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.207 * [taylor]: Taking taylor expansion of y in y
1.207 * [backup-simplify]: Simplify 0 into 0
1.207 * [backup-simplify]: Simplify 1 into 1
1.207 * [backup-simplify]: Simplify (* 1 1) into 1
1.207 * [backup-simplify]: Simplify (/ 1 1) into 1
1.208 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.208 * [taylor]: Taking taylor expansion of x in y
1.208 * [backup-simplify]: Simplify x into x
1.208 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
1.208 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x
1.208 * [taylor]: Taking taylor expansion of -1 in x
1.208 * [backup-simplify]: Simplify -1 into -1
1.208 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.208 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.208 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.208 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.208 * [taylor]: Taking taylor expansion of y in x
1.208 * [backup-simplify]: Simplify y into y
1.208 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.208 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.208 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.208 * [taylor]: Taking taylor expansion of x in x
1.208 * [backup-simplify]: Simplify 0 into 0
1.208 * [backup-simplify]: Simplify 1 into 1
1.208 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.208 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x
1.208 * [taylor]: Taking taylor expansion of -1 in x
1.208 * [backup-simplify]: Simplify -1 into -1
1.208 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.208 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.208 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.208 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.208 * [taylor]: Taking taylor expansion of y in x
1.208 * [backup-simplify]: Simplify y into y
1.208 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.209 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.209 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.209 * [taylor]: Taking taylor expansion of x in x
1.209 * [backup-simplify]: Simplify 0 into 0
1.209 * [backup-simplify]: Simplify 1 into 1
1.209 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.209 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.209 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y
1.209 * [taylor]: Taking taylor expansion of -1 in y
1.209 * [backup-simplify]: Simplify -1 into -1
1.209 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.209 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.209 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.209 * [taylor]: Taking taylor expansion of y in y
1.209 * [backup-simplify]: Simplify 0 into 0
1.209 * [backup-simplify]: Simplify 1 into 1
1.209 * [backup-simplify]: Simplify (* 1 1) into 1
1.210 * [backup-simplify]: Simplify (/ 1 1) into 1
1.210 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.210 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.210 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.210 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.210 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
1.211 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
1.211 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
1.212 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
1.212 * [taylor]: Taking taylor expansion of 0 in y
1.212 * [backup-simplify]: Simplify 0 into 0
1.212 * [backup-simplify]: Simplify 0 into 0
1.212 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
1.212 * [backup-simplify]: Simplify 0 into 0
1.212 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.213 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.214 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.215 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.216 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
1.216 * [taylor]: Taking taylor expansion of 0 in y
1.216 * [backup-simplify]: Simplify 0 into 0
1.216 * [backup-simplify]: Simplify 0 into 0
1.216 * [backup-simplify]: Simplify 0 into 0
1.216 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
1.217 * [backup-simplify]: Simplify 0 into 0
1.217 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.217 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.218 * [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.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.220 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0
1.220 * [taylor]: Taking taylor expansion of 0 in y
1.220 * [backup-simplify]: Simplify 0 into 0
1.221 * [backup-simplify]: Simplify 0 into 0
1.221 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2)))
1.221 * * * [progress]: simplifying candidates
1.221 * [simplify]: Simplifying:
  (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)))
  (* 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.222 * * [simplify]: iteration 0: 44 enodes
1.229 * * [simplify]: iteration 1: 100 enodes
1.249 * * [simplify]: iteration 2: 409 enodes
1.539 * * [simplify]: iteration 3: 2046 enodes
2.070 * * [simplify]: iteration complete: 5001 enodes
2.070 * * [simplify]: Extracting #0: cost 22 inf + 0
2.070 * * [simplify]: Extracting #1: cost 231 inf + 1
2.073 * * [simplify]: Extracting #2: cost 1275 inf + 49
2.077 * * [simplify]: Extracting #3: cost 1549 inf + 2623
2.083 * * [simplify]: Extracting #4: cost 239 inf + 8967
2.096 * * [simplify]: Extracting #5: cost 28 inf + 10821
2.104 * * [simplify]: Extracting #6: cost 0 inf + 11080
2.111 * [simplify]: Simplified to:
  (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))
  (pow (pow (exp y) y) 3)
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (* (pow (exp y) y) x)
  (+ (log x) (pow y 2))
  (+ (log x) (pow y 2))
  (exp (* (pow (exp y) y) x))
  (pow (* (pow (exp y) y) x) 3)
  (* (cbrt (* (pow (exp y) y) x)) (cbrt (* (pow (exp y) y) x)))
  (cbrt (* (pow (exp y) y) x))
  (pow (* (pow (exp y) y) x) 3)
  (sqrt (* (pow (exp y) y) x))
  (sqrt (* (pow (exp y) y) x))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))))
  (* (sqrt (pow (exp y) y)) x)
  x
  (* (pow (exp y) y) (cbrt x))
  (* (sqrt x) (pow (exp y) y))
  (* (pow (exp y) y) x)
  (+ 1 (* y (+ y (* (pow y 3) 1/2))))
  (pow (exp y) y)
  (pow (exp y) y)
  x
  (* (pow (exp y) y) x)
  (* (pow (exp y) y) x)
2.111 * * * [progress]: adding candidates to table
2.251 * * [progress]: iteration 2 / 4
2.251 * * * [progress]: picking best candidate
2.258 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (sqrt (pow (exp y) y)) x) (sqrt (exp (* y y)))))>
2.259 * * * [progress]: localizing error
2.292 * * * [progress]: generating rewritten candidates
2.292 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.298 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
2.301 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
2.306 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
2.312 * * * [progress]: generating series expansions
2.312 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.312 * [backup-simplify]: Simplify (sqrt (pow (exp y) y)) into (sqrt (pow (exp y) y))
2.312 * [approximate]: Taking taylor expansion of (sqrt (pow (exp y) y)) in (y) around 0
2.312 * [taylor]: Taking taylor expansion of (sqrt (pow (exp y) y)) in y
2.312 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
2.312 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
2.312 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
2.312 * [taylor]: Taking taylor expansion of y in y
2.312 * [backup-simplify]: Simplify 0 into 0
2.312 * [backup-simplify]: Simplify 1 into 1
2.312 * [taylor]: Taking taylor expansion of (log (exp y)) in y
2.312 * [taylor]: Taking taylor expansion of (exp y) in y
2.313 * [taylor]: Taking taylor expansion of y in y
2.313 * [backup-simplify]: Simplify 0 into 0
2.313 * [backup-simplify]: Simplify 1 into 1
2.313 * [backup-simplify]: Simplify (exp 0) into 1
2.313 * [backup-simplify]: Simplify (log 1) into 0
2.313 * [backup-simplify]: Simplify (* 0 0) into 0
2.314 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.315 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
2.316 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
2.317 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.319 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
2.320 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
2.320 * [backup-simplify]: Simplify (exp 0) into 1
2.320 * [backup-simplify]: Simplify (sqrt 1) into 1
2.321 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
2.322 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
2.322 * [taylor]: Taking taylor expansion of (sqrt (pow (exp y) y)) in y
2.322 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
2.322 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
2.322 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
2.322 * [taylor]: Taking taylor expansion of y in y
2.322 * [backup-simplify]: Simplify 0 into 0
2.322 * [backup-simplify]: Simplify 1 into 1
2.322 * [taylor]: Taking taylor expansion of (log (exp y)) in y
2.322 * [taylor]: Taking taylor expansion of (exp y) in y
2.322 * [taylor]: Taking taylor expansion of y in y
2.322 * [backup-simplify]: Simplify 0 into 0
2.322 * [backup-simplify]: Simplify 1 into 1
2.322 * [backup-simplify]: Simplify (exp 0) into 1
2.322 * [backup-simplify]: Simplify (log 1) into 0
2.323 * [backup-simplify]: Simplify (* 0 0) into 0
2.323 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.324 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
2.325 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
2.326 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.333 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
2.334 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
2.334 * [backup-simplify]: Simplify (exp 0) into 1
2.334 * [backup-simplify]: Simplify (sqrt 1) into 1
2.335 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
2.335 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
2.335 * [backup-simplify]: Simplify 1 into 1
2.335 * [backup-simplify]: Simplify 0 into 0
2.337 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
2.337 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 1)) into 1/2
2.338 * [backup-simplify]: Simplify 1/2 into 1/2
2.339 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
2.344 * [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
2.345 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
2.346 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.347 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 1/2)))) (* 2 1)) into 0
2.347 * [backup-simplify]: Simplify 0 into 0
2.351 * [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
2.359 * [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
2.360 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.363 * [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
2.364 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into 1/8
2.364 * [backup-simplify]: Simplify 1/8 into 1/8
2.365 * [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))
2.365 * [backup-simplify]: Simplify (sqrt (pow (exp (/ 1 y)) (/ 1 y))) into (sqrt (pow (exp (/ 1 y)) (/ 1 y)))
2.365 * [approximate]: Taking taylor expansion of (sqrt (pow (exp (/ 1 y)) (/ 1 y))) in (y) around 0
2.365 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ 1 y)) (/ 1 y))) in y
2.365 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
2.365 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
2.365 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
2.365 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.365 * [taylor]: Taking taylor expansion of y in y
2.365 * [backup-simplify]: Simplify 0 into 0
2.365 * [backup-simplify]: Simplify 1 into 1
2.365 * [backup-simplify]: Simplify (/ 1 1) into 1
2.365 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
2.365 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
2.365 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.365 * [taylor]: Taking taylor expansion of y in y
2.365 * [backup-simplify]: Simplify 0 into 0
2.365 * [backup-simplify]: Simplify 1 into 1
2.366 * [backup-simplify]: Simplify (/ 1 1) into 1
2.366 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
2.366 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
2.366 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
2.366 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
2.366 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
2.367 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.367 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ 1 y)) (/ 1 y))) in y
2.367 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
2.367 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
2.367 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
2.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.367 * [taylor]: Taking taylor expansion of y in y
2.367 * [backup-simplify]: Simplify 0 into 0
2.367 * [backup-simplify]: Simplify 1 into 1
2.367 * [backup-simplify]: Simplify (/ 1 1) into 1
2.367 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
2.367 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
2.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.367 * [taylor]: Taking taylor expansion of y in y
2.367 * [backup-simplify]: Simplify 0 into 0
2.367 * [backup-simplify]: Simplify 1 into 1
2.368 * [backup-simplify]: Simplify (/ 1 1) into 1
2.368 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
2.368 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
2.368 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
2.368 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
2.368 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
2.368 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.369 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
2.369 * [backup-simplify]: Simplify 0 into 0
2.369 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.369 * [backup-simplify]: Simplify 0 into 0
2.370 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.370 * [backup-simplify]: Simplify 0 into 0
2.371 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.371 * [backup-simplify]: Simplify 0 into 0
2.372 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.372 * [backup-simplify]: Simplify 0 into 0
2.373 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.373 * [backup-simplify]: Simplify 0 into 0
2.373 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow (/ 1 y) 2)))) into (sqrt (exp (pow y 2)))
2.373 * [backup-simplify]: Simplify (sqrt (pow (exp (/ 1 (- y))) (/ 1 (- y)))) into (sqrt (pow (exp (/ -1 y)) (/ -1 y)))
2.373 * [approximate]: Taking taylor expansion of (sqrt (pow (exp (/ -1 y)) (/ -1 y))) in (y) around 0
2.373 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ -1 y)) (/ -1 y))) in y
2.373 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
2.373 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
2.373 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
2.373 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.373 * [taylor]: Taking taylor expansion of -1 in y
2.373 * [backup-simplify]: Simplify -1 into -1
2.373 * [taylor]: Taking taylor expansion of y in y
2.373 * [backup-simplify]: Simplify 0 into 0
2.373 * [backup-simplify]: Simplify 1 into 1
2.374 * [backup-simplify]: Simplify (/ -1 1) into -1
2.374 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
2.374 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
2.374 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.374 * [taylor]: Taking taylor expansion of -1 in y
2.374 * [backup-simplify]: Simplify -1 into -1
2.374 * [taylor]: Taking taylor expansion of y in y
2.374 * [backup-simplify]: Simplify 0 into 0
2.374 * [backup-simplify]: Simplify 1 into 1
2.374 * [backup-simplify]: Simplify (/ -1 1) into -1
2.374 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
2.375 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
2.375 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
2.375 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
2.375 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
2.375 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.375 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ -1 y)) (/ -1 y))) in y
2.375 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
2.375 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
2.375 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
2.375 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.375 * [taylor]: Taking taylor expansion of -1 in y
2.375 * [backup-simplify]: Simplify -1 into -1
2.375 * [taylor]: Taking taylor expansion of y in y
2.375 * [backup-simplify]: Simplify 0 into 0
2.375 * [backup-simplify]: Simplify 1 into 1
2.376 * [backup-simplify]: Simplify (/ -1 1) into -1
2.376 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
2.376 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
2.376 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.376 * [taylor]: Taking taylor expansion of -1 in y
2.376 * [backup-simplify]: Simplify -1 into -1
2.376 * [taylor]: Taking taylor expansion of y in y
2.376 * [backup-simplify]: Simplify 0 into 0
2.376 * [backup-simplify]: Simplify 1 into 1
2.376 * [backup-simplify]: Simplify (/ -1 1) into -1
2.376 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
2.377 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
2.377 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
2.377 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
2.377 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
2.377 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.377 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
2.377 * [backup-simplify]: Simplify 0 into 0
2.378 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.378 * [backup-simplify]: Simplify 0 into 0
2.379 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.379 * [backup-simplify]: Simplify 0 into 0
2.380 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.380 * [backup-simplify]: Simplify 0 into 0
2.381 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.381 * [backup-simplify]: Simplify 0 into 0
2.381 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.382 * [backup-simplify]: Simplify 0 into 0
2.382 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow (/ 1 (- y)) 2)))) into (sqrt (exp (pow y 2)))
2.382 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.382 * [backup-simplify]: Simplify (sqrt (exp (* y y))) into (sqrt (exp (pow y 2)))
2.382 * [approximate]: Taking taylor expansion of (sqrt (exp (pow y 2))) in (y) around 0
2.382 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y
2.382 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
2.382 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.382 * [taylor]: Taking taylor expansion of y in y
2.382 * [backup-simplify]: Simplify 0 into 0
2.382 * [backup-simplify]: Simplify 1 into 1
2.382 * [backup-simplify]: Simplify (* 1 1) into 1
2.382 * [backup-simplify]: Simplify (exp 0) into 1
2.383 * [backup-simplify]: Simplify (sqrt 1) into 1
2.384 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
2.384 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
2.384 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y
2.384 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
2.384 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.384 * [taylor]: Taking taylor expansion of y in y
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify 1 into 1
2.385 * [backup-simplify]: Simplify (* 1 1) into 1
2.385 * [backup-simplify]: Simplify (exp 0) into 1
2.385 * [backup-simplify]: Simplify (sqrt 1) into 1
2.386 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
2.386 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
2.386 * [backup-simplify]: Simplify 1 into 1
2.387 * [backup-simplify]: Simplify 0 into 0
2.388 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
2.389 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 1)) into 1/2
2.389 * [backup-simplify]: Simplify 1/2 into 1/2
2.389 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.391 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.392 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 1/2)))) (* 2 1)) into 0
2.392 * [backup-simplify]: Simplify 0 into 0
2.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.396 * [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
2.397 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into 1/8
2.397 * [backup-simplify]: Simplify 1/8 into 1/8
2.397 * [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))
2.398 * [backup-simplify]: Simplify (sqrt (exp (* (/ 1 y) (/ 1 y)))) into (sqrt (exp (/ 1 (pow y 2))))
2.398 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0
2.398 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y
2.398 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
2.398 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.398 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.398 * [taylor]: Taking taylor expansion of y in y
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 1 into 1
2.398 * [backup-simplify]: Simplify (* 1 1) into 1
2.398 * [backup-simplify]: Simplify (/ 1 1) into 1
2.399 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
2.399 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
2.399 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.399 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y
2.399 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
2.399 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.399 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.399 * [taylor]: Taking taylor expansion of y in y
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify 1 into 1
2.399 * [backup-simplify]: Simplify (* 1 1) into 1
2.400 * [backup-simplify]: Simplify (/ 1 1) into 1
2.400 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
2.400 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
2.400 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.400 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
2.400 * [backup-simplify]: Simplify 0 into 0
2.401 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.401 * [backup-simplify]: Simplify 0 into 0
2.402 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.402 * [backup-simplify]: Simplify 0 into 0
2.403 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.403 * [backup-simplify]: Simplify 0 into 0
2.404 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.404 * [backup-simplify]: Simplify 0 into 0
2.405 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.405 * [backup-simplify]: Simplify 0 into 0
2.405 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow (/ 1 y) 2)))) into (sqrt (exp (pow y 2)))
2.405 * [backup-simplify]: Simplify (sqrt (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (sqrt (exp (/ 1 (pow y 2))))
2.405 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0
2.405 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y
2.405 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
2.405 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.405 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.405 * [taylor]: Taking taylor expansion of y in y
2.405 * [backup-simplify]: Simplify 0 into 0
2.405 * [backup-simplify]: Simplify 1 into 1
2.406 * [backup-simplify]: Simplify (* 1 1) into 1
2.406 * [backup-simplify]: Simplify (/ 1 1) into 1
2.406 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
2.406 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
2.406 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.406 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y
2.406 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
2.406 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.406 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.406 * [taylor]: Taking taylor expansion of y in y
2.406 * [backup-simplify]: Simplify 0 into 0
2.406 * [backup-simplify]: Simplify 1 into 1
2.406 * [backup-simplify]: Simplify (* 1 1) into 1
2.407 * [backup-simplify]: Simplify (/ 1 1) into 1
2.407 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
2.407 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
2.407 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.407 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2))))
2.407 * [backup-simplify]: Simplify 0 into 0
2.408 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.408 * [backup-simplify]: Simplify 0 into 0
2.408 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.408 * [backup-simplify]: Simplify 0 into 0
2.409 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.409 * [backup-simplify]: Simplify 0 into 0
2.410 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.410 * [backup-simplify]: Simplify 0 into 0
2.411 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0
2.411 * [backup-simplify]: Simplify 0 into 0
2.411 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow (/ 1 (- y)) 2)))) into (sqrt (exp (pow y 2)))
2.411 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
2.411 * [backup-simplify]: Simplify (pow (exp y) y) into (pow (exp y) y)
2.411 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0
2.412 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
2.412 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
2.412 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
2.412 * [taylor]: Taking taylor expansion of y in y
2.412 * [backup-simplify]: Simplify 0 into 0
2.412 * [backup-simplify]: Simplify 1 into 1
2.412 * [taylor]: Taking taylor expansion of (log (exp y)) in y
2.412 * [taylor]: Taking taylor expansion of (exp y) in y
2.412 * [taylor]: Taking taylor expansion of y in y
2.412 * [backup-simplify]: Simplify 0 into 0
2.412 * [backup-simplify]: Simplify 1 into 1
2.412 * [backup-simplify]: Simplify (exp 0) into 1
2.412 * [backup-simplify]: Simplify (log 1) into 0
2.412 * [backup-simplify]: Simplify (* 0 0) into 0
2.413 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.414 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
2.415 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
2.416 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.418 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
2.419 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
2.419 * [backup-simplify]: Simplify (exp 0) into 1
2.419 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
2.419 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
2.419 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
2.419 * [taylor]: Taking taylor expansion of y in y
2.419 * [backup-simplify]: Simplify 0 into 0
2.419 * [backup-simplify]: Simplify 1 into 1
2.419 * [taylor]: Taking taylor expansion of (log (exp y)) in y
2.419 * [taylor]: Taking taylor expansion of (exp y) in y
2.419 * [taylor]: Taking taylor expansion of y in y
2.419 * [backup-simplify]: Simplify 0 into 0
2.419 * [backup-simplify]: Simplify 1 into 1
2.419 * [backup-simplify]: Simplify (exp 0) into 1
2.419 * [backup-simplify]: Simplify (log 1) into 0
2.420 * [backup-simplify]: Simplify (* 0 0) into 0
2.421 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.422 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
2.422 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
2.423 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.425 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
2.426 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
2.426 * [backup-simplify]: Simplify (exp 0) into 1
2.426 * [backup-simplify]: Simplify 1 into 1
2.427 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
2.427 * [backup-simplify]: Simplify 0 into 0
2.428 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
2.428 * [backup-simplify]: Simplify 1 into 1
2.430 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
2.434 * [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
2.435 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
2.437 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.437 * [backup-simplify]: Simplify 0 into 0
2.440 * [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
2.451 * [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
2.452 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.455 * [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
2.455 * [backup-simplify]: Simplify 1/2 into 1/2
2.455 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1))
2.455 * [backup-simplify]: Simplify (pow (exp (/ 1 y)) (/ 1 y)) into (pow (exp (/ 1 y)) (/ 1 y))
2.455 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0
2.455 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
2.455 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
2.455 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
2.455 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.455 * [taylor]: Taking taylor expansion of y in y
2.455 * [backup-simplify]: Simplify 0 into 0
2.456 * [backup-simplify]: Simplify 1 into 1
2.456 * [backup-simplify]: Simplify (/ 1 1) into 1
2.456 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
2.456 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
2.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.456 * [taylor]: Taking taylor expansion of y in y
2.456 * [backup-simplify]: Simplify 0 into 0
2.456 * [backup-simplify]: Simplify 1 into 1
2.456 * [backup-simplify]: Simplify (/ 1 1) into 1
2.456 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
2.456 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
2.457 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
2.457 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
2.457 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
2.457 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
2.457 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
2.457 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.457 * [taylor]: Taking taylor expansion of y in y
2.457 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify 1 into 1
2.457 * [backup-simplify]: Simplify (/ 1 1) into 1
2.457 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
2.457 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
2.457 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.457 * [taylor]: Taking taylor expansion of y in y
2.457 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify 1 into 1
2.458 * [backup-simplify]: Simplify (/ 1 1) into 1
2.458 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
2.458 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
2.458 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
2.458 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
2.458 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
2.458 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2))
2.459 * [backup-simplify]: Simplify (pow (exp (/ 1 (- y))) (/ 1 (- y))) into (pow (exp (/ -1 y)) (/ -1 y))
2.459 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0
2.459 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
2.459 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
2.459 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
2.459 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.459 * [taylor]: Taking taylor expansion of -1 in y
2.459 * [backup-simplify]: Simplify -1 into -1
2.459 * [taylor]: Taking taylor expansion of y in y
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 1 into 1
2.460 * [backup-simplify]: Simplify (/ -1 1) into -1
2.460 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
2.460 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
2.460 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.460 * [taylor]: Taking taylor expansion of -1 in y
2.460 * [backup-simplify]: Simplify -1 into -1
2.460 * [taylor]: Taking taylor expansion of y in y
2.460 * [backup-simplify]: Simplify 0 into 0
2.460 * [backup-simplify]: Simplify 1 into 1
2.460 * [backup-simplify]: Simplify (/ -1 1) into -1
2.460 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
2.460 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
2.460 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
2.461 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
2.461 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
2.461 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
2.461 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
2.461 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.461 * [taylor]: Taking taylor expansion of -1 in y
2.461 * [backup-simplify]: Simplify -1 into -1
2.461 * [taylor]: Taking taylor expansion of y in y
2.461 * [backup-simplify]: Simplify 0 into 0
2.461 * [backup-simplify]: Simplify 1 into 1
2.461 * [backup-simplify]: Simplify (/ -1 1) into -1
2.461 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
2.461 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
2.461 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.461 * [taylor]: Taking taylor expansion of -1 in y
2.461 * [backup-simplify]: Simplify -1 into -1
2.461 * [taylor]: Taking taylor expansion of y in y
2.461 * [backup-simplify]: Simplify 0 into 0
2.461 * [backup-simplify]: Simplify 1 into 1
2.462 * [backup-simplify]: Simplify (/ -1 1) into -1
2.462 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
2.462 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
2.462 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
2.462 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
2.462 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
2.462 * [backup-simplify]: Simplify 0 into 0
2.462 * [backup-simplify]: Simplify 0 into 0
2.462 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2))
2.463 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.463 * [backup-simplify]: Simplify (exp (* y y)) into (exp (pow y 2))
2.463 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0
2.463 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
2.463 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.463 * [taylor]: Taking taylor expansion of y in y
2.463 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify 1 into 1
2.463 * [backup-simplify]: Simplify (* 1 1) into 1
2.463 * [backup-simplify]: Simplify (exp 0) into 1
2.463 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
2.463 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.464 * [taylor]: Taking taylor expansion of y in y
2.464 * [backup-simplify]: Simplify 0 into 0
2.464 * [backup-simplify]: Simplify 1 into 1
2.464 * [backup-simplify]: Simplify (* 1 1) into 1
2.464 * [backup-simplify]: Simplify (exp 0) into 1
2.464 * [backup-simplify]: Simplify 1 into 1
2.465 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
2.465 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
2.466 * [backup-simplify]: Simplify 1 into 1
2.467 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.469 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.469 * [backup-simplify]: Simplify 0 into 0
2.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.472 * [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
2.472 * [backup-simplify]: Simplify 1/2 into 1/2
2.473 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1))
2.473 * [backup-simplify]: Simplify (exp (* (/ 1 y) (/ 1 y))) into (exp (/ 1 (pow y 2)))
2.473 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
2.473 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
2.473 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.473 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.473 * [taylor]: Taking taylor expansion of y in y
2.473 * [backup-simplify]: Simplify 0 into 0
2.473 * [backup-simplify]: Simplify 1 into 1
2.474 * [backup-simplify]: Simplify (* 1 1) into 1
2.474 * [backup-simplify]: Simplify (/ 1 1) into 1
2.474 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
2.474 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
2.474 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.474 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.474 * [taylor]: Taking taylor expansion of y in y
2.474 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify 1 into 1
2.474 * [backup-simplify]: Simplify (* 1 1) into 1
2.475 * [backup-simplify]: Simplify (/ 1 1) into 1
2.475 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
2.475 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
2.475 * [backup-simplify]: Simplify 0 into 0
2.475 * [backup-simplify]: Simplify 0 into 0
2.475 * [backup-simplify]: Simplify 0 into 0
2.475 * [backup-simplify]: Simplify 0 into 0
2.475 * [backup-simplify]: Simplify 0 into 0
2.475 * [backup-simplify]: Simplify 0 into 0
2.475 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2))
2.476 * [backup-simplify]: Simplify (exp (* (/ 1 (- y)) (/ 1 (- y)))) into (exp (/ 1 (pow y 2)))
2.476 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
2.476 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
2.476 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.476 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.476 * [taylor]: Taking taylor expansion of y in y
2.476 * [backup-simplify]: Simplify 0 into 0
2.476 * [backup-simplify]: Simplify 1 into 1
2.476 * [backup-simplify]: Simplify (* 1 1) into 1
2.477 * [backup-simplify]: Simplify (/ 1 1) into 1
2.477 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
2.477 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
2.477 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.477 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.477 * [taylor]: Taking taylor expansion of y in y
2.477 * [backup-simplify]: Simplify 0 into 0
2.477 * [backup-simplify]: Simplify 1 into 1
2.477 * [backup-simplify]: Simplify (* 1 1) into 1
2.478 * [backup-simplify]: Simplify (/ 1 1) into 1
2.478 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
2.478 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
2.478 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2))
2.478 * * * [progress]: simplifying candidates
2.480 * [simplify]: Simplifying:
  (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)))
  (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))))
  (* 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))
  (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))
2.481 * * [simplify]: iteration 0: 80 enodes
2.504 * * [simplify]: iteration 1: 172 enodes
2.550 * * [simplify]: iteration 2: 543 enodes
2.873 * * [simplify]: iteration 3: 2274 enodes
3.650 * * [simplify]: iteration complete: 5001 enodes
3.650 * * [simplify]: Extracting #0: cost 35 inf + 0
3.651 * * [simplify]: Extracting #1: cost 611 inf + 15
3.656 * * [simplify]: Extracting #2: cost 1564 inf + 617
3.662 * * [simplify]: Extracting #3: cost 1568 inf + 3251
3.671 * * [simplify]: Extracting #4: cost 684 inf + 9994
3.681 * * [simplify]: Extracting #5: cost 102 inf + 17065
3.689 * * [simplify]: Extracting #6: cost 0 inf + 18540
3.697 * [simplify]: Simplified to:
  (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))))
  (pow (sqrt (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 (exp (* y y)))
  (fabs (cbrt (exp (* y y))))
  (sqrt (cbrt (exp (* y y))))
  (sqrt (sqrt (exp (* y y))))
  (sqrt (sqrt (exp (* y y))))
  1
  (sqrt (exp (* y y)))
  (sqrt (pow (exp y) (/ y 2)))
  (sqrt (pow (exp y) (/ y 2)))
  (/ y 2)
  (sqrt (sqrt (exp (* y y))))
  (sqrt (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))))
  (pow (sqrt (exp (* y y))) 3)
  (fabs (cbrt (exp (* y y))))
  (sqrt (cbrt (exp (* y y))))
  (sqrt (sqrt (exp (* y y))))
  (sqrt (sqrt (exp (* y y))))
  1
  (sqrt (exp (* y y)))
  (/ y 2)
  1/2
  (/ y 2)
  (sqrt (sqrt (exp (* y y))))
  (sqrt (sqrt (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
  (exp (* y y))
  (* y y)
  (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)))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (exp y)
  (* y y)
  (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)))
  (+ (* (pow y 4) 1/8) (+ (* 1/2 (* y y)) 1))
  (sqrt (exp (* y y)))
  (sqrt (exp (* y y)))
  (+ (* (pow y 4) 1/8) (+ (* 1/2 (* y y)) 1))
  (sqrt (exp (* y y)))
  (sqrt (exp (* y y)))
  (+ (+ (* (pow y 4) 1/2) 1) (* y y))
  (exp (* y y))
  (exp (* y y))
  (+ (+ (* (pow y 4) 1/2) 1) (* y y))
  (exp (* y y))
  (exp (* y y))
3.698 * * * [progress]: adding candidates to table
4.118 * [progress]: [Phase 3 of 3] Extracting.
4.118 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* x (exp (* y y))))> #<alt (λ (x y) (* (* (sqrt (pow (exp y) y)) x) (sqrt (exp (* y y)))))>)
4.118 * * * [regime-changes]: Trying 5 branch expressions: ((* y y) (exp (* y y)) (* x (exp (* y y))) y x)
4.119 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y) (* x (exp (* y y))))> #<alt (λ (x y) (* (* (sqrt (pow (exp y) y)) x) (sqrt (exp (* y y)))))>)
4.161 * * * * [regimes]: Trying to branch on (exp (* y y)) from (#<alt (λ (x y) (* x (exp (* y y))))> #<alt (λ (x y) (* (* (sqrt (pow (exp y) y)) x) (sqrt (exp (* y y)))))>)
4.194 * * * * [regimes]: Trying to branch on (* x (exp (* y y))) from (#<alt (λ (x y) (* x (exp (* y y))))> #<alt (λ (x y) (* (* (sqrt (pow (exp y) y)) x) (sqrt (exp (* y y)))))>)
4.232 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* x (exp (* y y))))> #<alt (λ (x y) (* (* (sqrt (pow (exp y) y)) x) (sqrt (exp (* y y)))))>)
4.267 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* x (exp (* y y))))> #<alt (λ (x y) (* (* (sqrt (pow (exp y) y)) x) (sqrt (exp (* y y)))))>)
4.308 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
4.308 * [simplify]: Simplifying:
  (* (* (sqrt (pow (exp y) y)) x) (sqrt (exp (* y y))))
4.308 * * [simplify]: iteration 0: 10 enodes
4.309 * * [simplify]: iteration 1: 12 enodes
4.309 * * [simplify]: iteration complete: 12 enodes
4.309 * * [simplify]: Extracting #0: cost 1 inf + 0
4.309 * * [simplify]: Extracting #1: cost 3 inf + 0
4.309 * * [simplify]: Extracting #2: cost 6 inf + 0
4.309 * * [simplify]: Extracting #3: cost 7 inf + 1
4.309 * * [simplify]: Extracting #4: cost 9 inf + 1
4.309 * * [simplify]: Extracting #5: cost 8 inf + 2
4.309 * * [simplify]: Extracting #6: cost 0 inf + 45
4.309 * [simplify]: Simplified to:
  (* (sqrt (exp (* y y))) (* (sqrt (pow (exp y) y)) x))
6.025 * [regime-testing]: Baseline error score: 0.04271564183180677
6.037 * [regime-testing]: Oracle error score: 0.02897783397776013
6.058 * [regime-testing]: End program error score: 0.04271564183180677
6.164 * [regime-testing]: Target error score: 0.02564300155583475