51.400 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (+ (+ (* x x) y) y)
0.028 * * [simplify]: iteration 0: 5 enodes
0.030 * * [simplify]: iteration 1: 9 enodes
0.034 * * [simplify]: iteration 2: 12 enodes
0.038 * * [simplify]: iteration 3: 13 enodes
0.043 * * [simplify]: iteration complete: 13 enodes
0.043 * * [simplify]: Extracting #0: cost 1 inf + 0
0.044 * * [simplify]: Extracting #1: cost 5 inf + 0
0.044 * * [simplify]: Extracting #2: cost 6 inf + 1
0.044 * * [simplify]: Extracting #3: cost 2 inf + 85
0.044 * * [simplify]: Extracting #4: cost 0 inf + 289
0.044 * [simplify]: Simplified to:
  (+ y (+ y (* x x)))
0.045 * * [progress]: iteration 1 / 4
0.045 * * * [progress]: picking best candidate
0.051 * * * * [pick]: Picked  #<alt (λ (x y) (+ (+ (* x x) y) y))>
0.051 * * * [progress]: localizing error
0.069 * * * [progress]: generating rewritten candidates
0.069 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.085 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.165 * * * [progress]: generating series expansions
0.165 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.165 * [backup-simplify]: Simplify (+ (* x x) y) into (+ (pow x 2) y)
0.165 * [approximate]: Taking taylor expansion of (+ (pow x 2) y) in (x y) around 0
0.165 * [taylor]: Taking taylor expansion of (+ (pow x 2) y) in y
0.165 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.165 * [taylor]: Taking taylor expansion of x in y
0.166 * [backup-simplify]: Simplify x into x
0.166 * [taylor]: Taking taylor expansion of y in y
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 1 into 1
0.166 * [taylor]: Taking taylor expansion of (+ (pow x 2) y) in x
0.166 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.166 * [taylor]: Taking taylor expansion of x in x
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 1 into 1
0.166 * [taylor]: Taking taylor expansion of y in x
0.166 * [backup-simplify]: Simplify y into y
0.166 * [taylor]: Taking taylor expansion of (+ (pow x 2) y) in x
0.166 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.166 * [taylor]: Taking taylor expansion of x in x
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 1 into 1
0.166 * [taylor]: Taking taylor expansion of y in x
0.166 * [backup-simplify]: Simplify y into y
0.166 * [backup-simplify]: Simplify (+ 0 y) into y
0.166 * [taylor]: Taking taylor expansion of y in y
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 1 into 1
0.166 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify (+ 0 0) into 0
0.167 * [taylor]: Taking taylor expansion of 0 in y
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify 1 into 1
0.168 * [backup-simplify]: Simplify (* 1 1) into 1
0.168 * [backup-simplify]: Simplify (+ 1 0) into 1
0.168 * [taylor]: Taking taylor expansion of 1 in y
0.168 * [backup-simplify]: Simplify 1 into 1
0.168 * [backup-simplify]: Simplify 1 into 1
0.168 * [backup-simplify]: Simplify 0 into 0
0.168 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.169 * [backup-simplify]: Simplify (+ 0 0) into 0
0.169 * [taylor]: Taking taylor expansion of 0 in y
0.169 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify 0 into 0
0.170 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 x) 2)) (* 1 (* y 1))) into (+ (pow x 2) y)
0.170 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 x)) (/ 1 y)) into (+ (/ 1 (pow x 2)) (/ 1 y))
0.170 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in (x y) around 0
0.170 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in y
0.170 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.170 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.170 * [taylor]: Taking taylor expansion of x in y
0.170 * [backup-simplify]: Simplify x into x
0.170 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.170 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.170 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.170 * [taylor]: Taking taylor expansion of y in y
0.170 * [backup-simplify]: Simplify 0 into 0
0.170 * [backup-simplify]: Simplify 1 into 1
0.171 * [backup-simplify]: Simplify (/ 1 1) into 1
0.171 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x
0.171 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.171 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.171 * [taylor]: Taking taylor expansion of x in x
0.171 * [backup-simplify]: Simplify 0 into 0
0.171 * [backup-simplify]: Simplify 1 into 1
0.171 * [backup-simplify]: Simplify (* 1 1) into 1
0.172 * [backup-simplify]: Simplify (/ 1 1) into 1
0.172 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.172 * [taylor]: Taking taylor expansion of y in x
0.172 * [backup-simplify]: Simplify y into y
0.172 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.172 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x
0.172 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.172 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.172 * [taylor]: Taking taylor expansion of x in x
0.172 * [backup-simplify]: Simplify 0 into 0
0.172 * [backup-simplify]: Simplify 1 into 1
0.173 * [backup-simplify]: Simplify (* 1 1) into 1
0.173 * [backup-simplify]: Simplify (/ 1 1) into 1
0.173 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.173 * [taylor]: Taking taylor expansion of y in x
0.173 * [backup-simplify]: Simplify y into y
0.173 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.174 * [backup-simplify]: Simplify (+ 1 0) into 1
0.174 * [taylor]: Taking taylor expansion of 1 in y
0.174 * [backup-simplify]: Simplify 1 into 1
0.175 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.176 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.176 * [backup-simplify]: Simplify (+ 0 0) into 0
0.176 * [taylor]: Taking taylor expansion of 0 in y
0.176 * [backup-simplify]: Simplify 0 into 0
0.176 * [backup-simplify]: Simplify 1 into 1
0.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.179 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
0.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.179 * [taylor]: Taking taylor expansion of y in y
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 1 into 1
0.179 * [backup-simplify]: Simplify (/ 1 1) into 1
0.179 * [backup-simplify]: Simplify 1 into 1
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 0 into 0
0.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.181 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.182 * [backup-simplify]: Simplify (+ 0 0) into 0
0.182 * [taylor]: Taking taylor expansion of 0 in y
0.182 * [backup-simplify]: Simplify 0 into 0
0.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.183 * [backup-simplify]: Simplify 0 into 0
0.183 * [backup-simplify]: Simplify 0 into 0
0.183 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.185 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.185 * [backup-simplify]: Simplify (+ 0 0) into 0
0.185 * [taylor]: Taking taylor expansion of 0 in y
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2))) into (+ (pow x 2) y)
0.186 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- y))) into (- (/ 1 (pow x 2)) (/ 1 y))
0.186 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in (x y) around 0
0.186 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in y
0.186 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.186 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.186 * [taylor]: Taking taylor expansion of x in y
0.186 * [backup-simplify]: Simplify x into x
0.187 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.187 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.187 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.187 * [taylor]: Taking taylor expansion of y in y
0.187 * [backup-simplify]: Simplify 0 into 0
0.187 * [backup-simplify]: Simplify 1 into 1
0.187 * [backup-simplify]: Simplify (/ 1 1) into 1
0.187 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x
0.187 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.187 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.187 * [taylor]: Taking taylor expansion of x in x
0.187 * [backup-simplify]: Simplify 0 into 0
0.187 * [backup-simplify]: Simplify 1 into 1
0.188 * [backup-simplify]: Simplify (* 1 1) into 1
0.189 * [backup-simplify]: Simplify (/ 1 1) into 1
0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.189 * [taylor]: Taking taylor expansion of y in x
0.189 * [backup-simplify]: Simplify y into y
0.189 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.189 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.189 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.189 * [taylor]: Taking taylor expansion of x in x
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify 1 into 1
0.189 * [backup-simplify]: Simplify (* 1 1) into 1
0.190 * [backup-simplify]: Simplify (/ 1 1) into 1
0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.190 * [taylor]: Taking taylor expansion of y in x
0.190 * [backup-simplify]: Simplify y into y
0.190 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.190 * [backup-simplify]: Simplify (+ 1 0) into 1
0.191 * [taylor]: Taking taylor expansion of 1 in y
0.191 * [backup-simplify]: Simplify 1 into 1
0.191 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.193 * [backup-simplify]: Simplify (+ 0 0) into 0
0.193 * [taylor]: Taking taylor expansion of 0 in y
0.193 * [backup-simplify]: Simplify 0 into 0
0.193 * [backup-simplify]: Simplify 1 into 1
0.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.195 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.195 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
0.195 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.195 * [taylor]: Taking taylor expansion of y in y
0.195 * [backup-simplify]: Simplify 0 into 0
0.195 * [backup-simplify]: Simplify 1 into 1
0.196 * [backup-simplify]: Simplify (/ 1 1) into 1
0.196 * [backup-simplify]: Simplify (- 1) into -1
0.196 * [backup-simplify]: Simplify -1 into -1
0.196 * [backup-simplify]: Simplify 0 into 0
0.196 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.198 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.199 * [backup-simplify]: Simplify (- 0) into 0
0.199 * [backup-simplify]: Simplify (+ 0 0) into 0
0.199 * [taylor]: Taking taylor expansion of 0 in y
0.199 * [backup-simplify]: Simplify 0 into 0
0.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.200 * [backup-simplify]: Simplify (- 0) into 0
0.200 * [backup-simplify]: Simplify 0 into 0
0.200 * [backup-simplify]: Simplify 0 into 0
0.200 * [backup-simplify]: Simplify 0 into 0
0.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.203 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.204 * [backup-simplify]: Simplify (- 0) into 0
0.205 * [backup-simplify]: Simplify (+ 0 0) into 0
0.205 * [taylor]: Taking taylor expansion of 0 in y
0.205 * [backup-simplify]: Simplify 0 into 0
0.205 * [backup-simplify]: Simplify 0 into 0
0.205 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2))) into (+ (pow x 2) y)
0.205 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.206 * [backup-simplify]: Simplify (+ (+ (* x x) y) y) into (+ (pow x 2) (* 2 y))
0.206 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in (x y) around 0
0.206 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in y
0.206 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.206 * [taylor]: Taking taylor expansion of x in y
0.206 * [backup-simplify]: Simplify x into x
0.206 * [taylor]: Taking taylor expansion of (* 2 y) in y
0.206 * [taylor]: Taking taylor expansion of 2 in y
0.206 * [backup-simplify]: Simplify 2 into 2
0.206 * [taylor]: Taking taylor expansion of y in y
0.206 * [backup-simplify]: Simplify 0 into 0
0.206 * [backup-simplify]: Simplify 1 into 1
0.206 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in x
0.206 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.206 * [backup-simplify]: Simplify 0 into 0
0.206 * [backup-simplify]: Simplify 1 into 1
0.206 * [taylor]: Taking taylor expansion of (* 2 y) in x
0.206 * [taylor]: Taking taylor expansion of 2 in x
0.206 * [backup-simplify]: Simplify 2 into 2
0.206 * [taylor]: Taking taylor expansion of y in x
0.206 * [backup-simplify]: Simplify y into y
0.206 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in x
0.206 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.206 * [backup-simplify]: Simplify 0 into 0
0.206 * [backup-simplify]: Simplify 1 into 1
0.206 * [taylor]: Taking taylor expansion of (* 2 y) in x
0.206 * [taylor]: Taking taylor expansion of 2 in x
0.206 * [backup-simplify]: Simplify 2 into 2
0.206 * [taylor]: Taking taylor expansion of y in x
0.206 * [backup-simplify]: Simplify y into y
0.207 * [backup-simplify]: Simplify (* 2 y) into (* 2 y)
0.207 * [backup-simplify]: Simplify (+ 0 (* 2 y)) into (* 2 y)
0.207 * [taylor]: Taking taylor expansion of (* 2 y) in y
0.207 * [taylor]: Taking taylor expansion of 2 in y
0.207 * [backup-simplify]: Simplify 2 into 2
0.207 * [taylor]: Taking taylor expansion of y in y
0.207 * [backup-simplify]: Simplify 0 into 0
0.207 * [backup-simplify]: Simplify 1 into 1
0.207 * [backup-simplify]: Simplify (* 2 0) into 0
0.207 * [backup-simplify]: Simplify 0 into 0
0.208 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 y)) into 0
0.208 * [backup-simplify]: Simplify (+ 0 0) into 0
0.208 * [taylor]: Taking taylor expansion of 0 in y
0.208 * [backup-simplify]: Simplify 0 into 0
0.209 * [backup-simplify]: Simplify 0 into 0
0.209 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.209 * [backup-simplify]: Simplify 2 into 2
0.210 * [backup-simplify]: Simplify (* 1 1) into 1
0.211 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 y))) into 0
0.211 * [backup-simplify]: Simplify (+ 1 0) into 1
0.211 * [taylor]: Taking taylor expansion of 1 in y
0.211 * [backup-simplify]: Simplify 1 into 1
0.211 * [backup-simplify]: Simplify 1 into 1
0.211 * [backup-simplify]: Simplify 0 into 0
0.212 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
0.212 * [backup-simplify]: Simplify 0 into 0
0.213 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.214 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.215 * [backup-simplify]: Simplify (+ 0 0) into 0
0.215 * [taylor]: Taking taylor expansion of 0 in y
0.215 * [backup-simplify]: Simplify 0 into 0
0.215 * [backup-simplify]: Simplify 0 into 0
0.215 * [backup-simplify]: Simplify 0 into 0
0.215 * [backup-simplify]: Simplify 0 into 0
0.216 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.216 * [backup-simplify]: Simplify 0 into 0
0.217 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 x) 2)) (* 2 (* y 1))) into (+ (pow x 2) (* 2 y))
0.217 * [backup-simplify]: Simplify (+ (+ (* (/ 1 x) (/ 1 x)) (/ 1 y)) (/ 1 y)) into (+ (/ 1 (pow x 2)) (* 2 (/ 1 y)))
0.217 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in (x y) around 0
0.217 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in y
0.217 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.217 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.217 * [taylor]: Taking taylor expansion of x in y
0.217 * [backup-simplify]: Simplify x into x
0.217 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.217 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.218 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.218 * [taylor]: Taking taylor expansion of 2 in y
0.218 * [backup-simplify]: Simplify 2 into 2
0.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.218 * [taylor]: Taking taylor expansion of y in y
0.218 * [backup-simplify]: Simplify 0 into 0
0.218 * [backup-simplify]: Simplify 1 into 1
0.218 * [backup-simplify]: Simplify (/ 1 1) into 1
0.218 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x
0.218 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.218 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.218 * [taylor]: Taking taylor expansion of x in x
0.218 * [backup-simplify]: Simplify 0 into 0
0.219 * [backup-simplify]: Simplify 1 into 1
0.219 * [backup-simplify]: Simplify (* 1 1) into 1
0.219 * [backup-simplify]: Simplify (/ 1 1) into 1
0.219 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x
0.219 * [taylor]: Taking taylor expansion of 2 in x
0.219 * [backup-simplify]: Simplify 2 into 2
0.219 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.219 * [taylor]: Taking taylor expansion of y in x
0.219 * [backup-simplify]: Simplify y into y
0.220 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.220 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x
0.220 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.220 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.220 * [taylor]: Taking taylor expansion of x in x
0.220 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify 1 into 1
0.220 * [backup-simplify]: Simplify (* 1 1) into 1
0.220 * [backup-simplify]: Simplify (/ 1 1) into 1
0.221 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x
0.221 * [taylor]: Taking taylor expansion of 2 in x
0.221 * [backup-simplify]: Simplify 2 into 2
0.221 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.221 * [taylor]: Taking taylor expansion of y in x
0.221 * [backup-simplify]: Simplify y into y
0.221 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.221 * [backup-simplify]: Simplify (+ 1 0) into 1
0.221 * [taylor]: Taking taylor expansion of 1 in y
0.221 * [backup-simplify]: Simplify 1 into 1
0.222 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.223 * [backup-simplify]: Simplify (+ 0 0) into 0
0.223 * [taylor]: Taking taylor expansion of 0 in y
0.223 * [backup-simplify]: Simplify 0 into 0
0.223 * [backup-simplify]: Simplify 1 into 1
0.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.225 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y)
0.225 * [backup-simplify]: Simplify (+ 0 (/ 2 y)) into (* 2 (/ 1 y))
0.225 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.225 * [taylor]: Taking taylor expansion of 2 in y
0.225 * [backup-simplify]: Simplify 2 into 2
0.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.225 * [taylor]: Taking taylor expansion of y in y
0.225 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify 1 into 1
0.226 * [backup-simplify]: Simplify (/ 1 1) into 1
0.226 * [backup-simplify]: Simplify (* 2 1) into 2
0.226 * [backup-simplify]: Simplify 2 into 2
0.226 * [backup-simplify]: Simplify 0 into 0
0.226 * [backup-simplify]: Simplify 0 into 0
0.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.229 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.229 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0
0.230 * [backup-simplify]: Simplify (+ 0 0) into 0
0.230 * [taylor]: Taking taylor expansion of 0 in y
0.230 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.231 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.234 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.234 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
0.235 * [backup-simplify]: Simplify (+ 0 0) into 0
0.235 * [taylor]: Taking taylor expansion of 0 in y
0.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify (+ (* 2 (* (/ 1 (/ 1 y)) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2))) into (+ (pow x 2) (* 2 y))
0.236 * [backup-simplify]: Simplify (+ (+ (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- y))) (/ 1 (- y))) into (- (/ 1 (pow x 2)) (* 2 (/ 1 y)))
0.236 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in (x y) around 0
0.236 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in y
0.236 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.236 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.236 * [taylor]: Taking taylor expansion of x in y
0.236 * [backup-simplify]: Simplify x into x
0.236 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.236 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
0.236 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.236 * [taylor]: Taking taylor expansion of 2 in y
0.236 * [backup-simplify]: Simplify 2 into 2
0.236 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.236 * [taylor]: Taking taylor expansion of y in y
0.236 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify 1 into 1
0.237 * [backup-simplify]: Simplify (/ 1 1) into 1
0.237 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x
0.237 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.237 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.237 * [taylor]: Taking taylor expansion of x in x
0.237 * [backup-simplify]: Simplify 0 into 0
0.237 * [backup-simplify]: Simplify 1 into 1
0.237 * [backup-simplify]: Simplify (* 1 1) into 1
0.238 * [backup-simplify]: Simplify (/ 1 1) into 1
0.238 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x
0.238 * [taylor]: Taking taylor expansion of 2 in x
0.238 * [backup-simplify]: Simplify 2 into 2
0.238 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.238 * [taylor]: Taking taylor expansion of y in x
0.238 * [backup-simplify]: Simplify y into y
0.238 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.238 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x
0.238 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.238 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.238 * [taylor]: Taking taylor expansion of x in x
0.238 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify 1 into 1
0.239 * [backup-simplify]: Simplify (* 1 1) into 1
0.239 * [backup-simplify]: Simplify (/ 1 1) into 1
0.239 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x
0.239 * [taylor]: Taking taylor expansion of 2 in x
0.239 * [backup-simplify]: Simplify 2 into 2
0.239 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.239 * [taylor]: Taking taylor expansion of y in x
0.239 * [backup-simplify]: Simplify y into y
0.239 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.240 * [backup-simplify]: Simplify (+ 1 0) into 1
0.240 * [taylor]: Taking taylor expansion of 1 in y
0.240 * [backup-simplify]: Simplify 1 into 1
0.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.242 * [backup-simplify]: Simplify (+ 0 0) into 0
0.242 * [taylor]: Taking taylor expansion of 0 in y
0.242 * [backup-simplify]: Simplify 0 into 0
0.242 * [backup-simplify]: Simplify 1 into 1
0.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.244 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y)
0.244 * [backup-simplify]: Simplify (- (/ 2 y)) into (- (* 2 (/ 1 y)))
0.244 * [backup-simplify]: Simplify (+ 0 (- (* 2 (/ 1 y)))) into (- (* 2 (/ 1 y)))
0.244 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
0.244 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.244 * [taylor]: Taking taylor expansion of 2 in y
0.244 * [backup-simplify]: Simplify 2 into 2
0.244 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.244 * [taylor]: Taking taylor expansion of y in y
0.244 * [backup-simplify]: Simplify 0 into 0
0.244 * [backup-simplify]: Simplify 1 into 1
0.245 * [backup-simplify]: Simplify (/ 1 1) into 1
0.245 * [backup-simplify]: Simplify (* 2 1) into 2
0.246 * [backup-simplify]: Simplify (- 2) into -2
0.246 * [backup-simplify]: Simplify -2 into -2
0.246 * [backup-simplify]: Simplify 0 into 0
0.246 * [backup-simplify]: Simplify 0 into 0
0.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.248 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.249 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0
0.249 * [backup-simplify]: Simplify (- 0) into 0
0.249 * [backup-simplify]: Simplify (+ 0 0) into 0
0.249 * [taylor]: Taking taylor expansion of 0 in y
0.249 * [backup-simplify]: Simplify 0 into 0
0.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.251 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
0.251 * [backup-simplify]: Simplify (- 0) into 0
0.251 * [backup-simplify]: Simplify 0 into 0
0.251 * [backup-simplify]: Simplify 0 into 0
0.251 * [backup-simplify]: Simplify 0 into 0
0.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.254 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.255 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
0.255 * [backup-simplify]: Simplify (- 0) into 0
0.255 * [backup-simplify]: Simplify (+ 0 0) into 0
0.255 * [taylor]: Taking taylor expansion of 0 in y
0.255 * [backup-simplify]: Simplify 0 into 0
0.255 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify (+ (* -2 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2))) into (+ (pow x 2) (* 2 y))
0.256 * * * [progress]: simplifying candidates
0.257 * [simplify]: Simplifying:
  (* (exp (* x x)) (exp y))
  (log (+ (* x x) y))
  (exp (+ (* x x) y))
  (* (cbrt (+ (* x x) y)) (cbrt (+ (* x x) y)))
  (cbrt (+ (* x x) y))
  (* (* (+ (* x x) y) (+ (* x x) y)) (+ (* x x) y))
  (sqrt (+ (* x x) y))
  (sqrt (+ (* x x) y))
  (+ (pow (* x x) 3) (pow y 3))
  (+ (* (* x x) (* x x)) (- (* y y) (* (* x x) y)))
  (- (* (* x x) (* x x)) (* y y))
  (- (* x x) y)
  (* (* (exp (* x x)) (exp y)) (exp y))
  (* (exp (+ (* x x) y)) (exp y))
  (log (+ (+ (* x x) y) y))
  (exp (+ (+ (* x x) y) y))
  (* (cbrt (+ (+ (* x x) y) y)) (cbrt (+ (+ (* x x) y) y)))
  (cbrt (+ (+ (* x x) y) y))
  (* (* (+ (+ (* x x) y) y) (+ (+ (* x x) y) y)) (+ (+ (* x x) y) y))
  (sqrt (+ (+ (* x x) y) y))
  (sqrt (+ (+ (* x x) y) y))
  (+ (pow (+ (* x x) y) 3) (pow y 3))
  (+ (* (+ (* x x) y) (+ (* x x) y)) (- (* y y) (* (+ (* x x) y) y)))
  (- (* (+ (* x x) y) (+ (* x x) y)) (* y y))
  (- (+ (* x x) y) y)
  (+ (+ (* x x) y) y)
  (+ y y)
  (+ (pow x 2) y)
  (+ (pow x 2) y)
  (+ (pow x 2) y)
  (+ (pow x 2) (* 2 y))
  (+ (pow x 2) (* 2 y))
  (+ (pow x 2) (* 2 y))
0.258 * * [simplify]: iteration 0: 48 enodes
0.284 * * [simplify]: iteration 1: 154 enodes
0.398 * * [simplify]: iteration 2: 480 enodes
1.517 * * [simplify]: iteration 3: 2097 enodes
5.921 * * [simplify]: iteration complete: 5005 enodes
5.921 * * [simplify]: Extracting #0: cost 23 inf + 0
5.922 * * [simplify]: Extracting #1: cost 253 inf + 0
5.929 * * [simplify]: Extracting #2: cost 1095 inf + 4349
5.963 * * [simplify]: Extracting #3: cost 1085 inf + 90037
6.065 * * [simplify]: Extracting #4: cost 125 inf + 271171
6.215 * * [simplify]: Extracting #5: cost 43 inf + 292576
6.468 * * [simplify]: Extracting #6: cost 11 inf + 298769
6.694 * * [simplify]: Extracting #7: cost 0 inf + 301410
7.100 * [simplify]: Simplified to:
  (exp (+ y (* x x)))
  (log (+ (* x x) y))
  (exp (+ y (* x x)))
  (* (cbrt (+ (* x x) y)) (cbrt (+ (* x x) y)))
  (cbrt (+ (* x x) y))
  (* (* (+ (* x x) y) (+ (* x x) y)) (+ (* x x) y))
  (sqrt (+ (* x x) y))
  (sqrt (+ (* x x) y))
  (+ (* (* x x) (* (* x x) (* x x))) (* y (* y y)))
  (- (* y y) (* (* x x) (- y (* x x))))
  (- (* (* x x) (* x x)) (* y y))
  (- (* x x) y)
  (exp (+ y (+ (* x x) y)))
  (exp (+ y (+ (* x x) y)))
  (log (+ y (+ (* x x) y)))
  (exp (+ y (+ (* x x) y)))
  (* (cbrt (+ y (+ (* x x) y))) (cbrt (+ y (+ (* x x) y))))
  (cbrt (+ y (+ (* x x) y)))
  (* (+ y (+ (* x x) y)) (* (+ y (+ (* x x) y)) (+ y (+ (* x x) y))))
  (sqrt (+ y (+ (* x x) y)))
  (sqrt (+ y (+ (* x x) y)))
  (+ (* y (* y y)) (* (* (+ (* x x) y) (+ (* x x) y)) (+ (* x x) y)))
  (+ (* (+ (* x x) y) (* x x)) (* y y))
  (* (* x x) (+ y (+ (* x x) y)))
  (* x x)
  (+ y (+ (* x x) y))
  (+ y y)
  (+ (* x x) y)
  (+ (* x x) y)
  (+ (* x x) y)
  (+ y (+ (* x x) y))
  (+ y (+ (* x x) y))
  (+ y (+ (* x x) y))
7.102 * * * [progress]: adding candidates to table
7.283 * * [progress]: iteration 2 / 4
7.283 * * * [progress]: picking best candidate
7.289 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* x x) (+ y y)))>
7.289 * * * [progress]: localizing error
7.305 * * * [progress]: generating rewritten candidates
7.305 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
7.348 * * * [progress]: generating series expansions
7.348 * * * * [progress]: [ 1 / 1 ] generating series at (2)
7.348 * [backup-simplify]: Simplify (+ (* x x) (+ y y)) into (+ (pow x 2) (* 2 y))
7.348 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in (x y) around 0
7.348 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in y
7.348 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.348 * [taylor]: Taking taylor expansion of x in y
7.348 * [backup-simplify]: Simplify x into x
7.348 * [taylor]: Taking taylor expansion of (* 2 y) in y
7.348 * [taylor]: Taking taylor expansion of 2 in y
7.349 * [backup-simplify]: Simplify 2 into 2
7.349 * [taylor]: Taking taylor expansion of y in y
7.349 * [backup-simplify]: Simplify 0 into 0
7.349 * [backup-simplify]: Simplify 1 into 1
7.349 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in x
7.349 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.349 * [taylor]: Taking taylor expansion of x in x
7.349 * [backup-simplify]: Simplify 0 into 0
7.349 * [backup-simplify]: Simplify 1 into 1
7.349 * [taylor]: Taking taylor expansion of (* 2 y) in x
7.349 * [taylor]: Taking taylor expansion of 2 in x
7.349 * [backup-simplify]: Simplify 2 into 2
7.349 * [taylor]: Taking taylor expansion of y in x
7.349 * [backup-simplify]: Simplify y into y
7.349 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in x
7.349 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.349 * [taylor]: Taking taylor expansion of x in x
7.349 * [backup-simplify]: Simplify 0 into 0
7.349 * [backup-simplify]: Simplify 1 into 1
7.349 * [taylor]: Taking taylor expansion of (* 2 y) in x
7.349 * [taylor]: Taking taylor expansion of 2 in x
7.349 * [backup-simplify]: Simplify 2 into 2
7.349 * [taylor]: Taking taylor expansion of y in x
7.349 * [backup-simplify]: Simplify y into y
7.349 * [backup-simplify]: Simplify (* 2 y) into (* 2 y)
7.349 * [backup-simplify]: Simplify (+ 0 (* 2 y)) into (* 2 y)
7.349 * [taylor]: Taking taylor expansion of (* 2 y) in y
7.349 * [taylor]: Taking taylor expansion of 2 in y
7.350 * [backup-simplify]: Simplify 2 into 2
7.350 * [taylor]: Taking taylor expansion of y in y
7.350 * [backup-simplify]: Simplify 0 into 0
7.350 * [backup-simplify]: Simplify 1 into 1
7.350 * [backup-simplify]: Simplify (* 2 0) into 0
7.350 * [backup-simplify]: Simplify 0 into 0
7.351 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 y)) into 0
7.351 * [backup-simplify]: Simplify (+ 0 0) into 0
7.351 * [taylor]: Taking taylor expansion of 0 in y
7.351 * [backup-simplify]: Simplify 0 into 0
7.351 * [backup-simplify]: Simplify 0 into 0
7.352 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
7.352 * [backup-simplify]: Simplify 2 into 2
7.352 * [backup-simplify]: Simplify (* 1 1) into 1
7.353 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 y))) into 0
7.354 * [backup-simplify]: Simplify (+ 1 0) into 1
7.354 * [taylor]: Taking taylor expansion of 1 in y
7.354 * [backup-simplify]: Simplify 1 into 1
7.354 * [backup-simplify]: Simplify 1 into 1
7.354 * [backup-simplify]: Simplify 0 into 0
7.355 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
7.355 * [backup-simplify]: Simplify 0 into 0
7.356 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.357 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.357 * [backup-simplify]: Simplify (+ 0 0) into 0
7.357 * [taylor]: Taking taylor expansion of 0 in y
7.357 * [backup-simplify]: Simplify 0 into 0
7.357 * [backup-simplify]: Simplify 0 into 0
7.357 * [backup-simplify]: Simplify 0 into 0
7.357 * [backup-simplify]: Simplify 0 into 0
7.359 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.359 * [backup-simplify]: Simplify 0 into 0
7.359 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 x) 2)) (* 2 (* y 1))) into (+ (pow x 2) (* 2 y))
7.359 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 x)) (+ (/ 1 y) (/ 1 y))) into (+ (/ 1 (pow x 2)) (* 2 (/ 1 y)))
7.359 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in (x y) around 0
7.359 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in y
7.359 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.359 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.359 * [taylor]: Taking taylor expansion of x in y
7.359 * [backup-simplify]: Simplify x into x
7.360 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.360 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.360 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
7.360 * [taylor]: Taking taylor expansion of 2 in y
7.360 * [backup-simplify]: Simplify 2 into 2
7.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.360 * [taylor]: Taking taylor expansion of y in y
7.360 * [backup-simplify]: Simplify 0 into 0
7.360 * [backup-simplify]: Simplify 1 into 1
7.360 * [backup-simplify]: Simplify (/ 1 1) into 1
7.360 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x
7.360 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.360 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.360 * [taylor]: Taking taylor expansion of x in x
7.360 * [backup-simplify]: Simplify 0 into 0
7.361 * [backup-simplify]: Simplify 1 into 1
7.361 * [backup-simplify]: Simplify (* 1 1) into 1
7.361 * [backup-simplify]: Simplify (/ 1 1) into 1
7.361 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x
7.361 * [taylor]: Taking taylor expansion of 2 in x
7.361 * [backup-simplify]: Simplify 2 into 2
7.361 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.361 * [taylor]: Taking taylor expansion of y in x
7.361 * [backup-simplify]: Simplify y into y
7.362 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.362 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x
7.362 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.362 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.362 * [taylor]: Taking taylor expansion of x in x
7.362 * [backup-simplify]: Simplify 0 into 0
7.362 * [backup-simplify]: Simplify 1 into 1
7.362 * [backup-simplify]: Simplify (* 1 1) into 1
7.363 * [backup-simplify]: Simplify (/ 1 1) into 1
7.363 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x
7.363 * [taylor]: Taking taylor expansion of 2 in x
7.363 * [backup-simplify]: Simplify 2 into 2
7.363 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.363 * [taylor]: Taking taylor expansion of y in x
7.363 * [backup-simplify]: Simplify y into y
7.363 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.363 * [backup-simplify]: Simplify (+ 1 0) into 1
7.363 * [taylor]: Taking taylor expansion of 1 in y
7.363 * [backup-simplify]: Simplify 1 into 1
7.364 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.365 * [backup-simplify]: Simplify (+ 0 0) into 0
7.365 * [taylor]: Taking taylor expansion of 0 in y
7.365 * [backup-simplify]: Simplify 0 into 0
7.365 * [backup-simplify]: Simplify 1 into 1
7.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.367 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y)
7.367 * [backup-simplify]: Simplify (+ 0 (/ 2 y)) into (* 2 (/ 1 y))
7.368 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
7.368 * [taylor]: Taking taylor expansion of 2 in y
7.368 * [backup-simplify]: Simplify 2 into 2
7.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.368 * [taylor]: Taking taylor expansion of y in y
7.368 * [backup-simplify]: Simplify 0 into 0
7.368 * [backup-simplify]: Simplify 1 into 1
7.368 * [backup-simplify]: Simplify (/ 1 1) into 1
7.369 * [backup-simplify]: Simplify (* 2 1) into 2
7.369 * [backup-simplify]: Simplify 2 into 2
7.369 * [backup-simplify]: Simplify 0 into 0
7.369 * [backup-simplify]: Simplify 0 into 0
7.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.371 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.371 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0
7.372 * [backup-simplify]: Simplify (+ 0 0) into 0
7.372 * [taylor]: Taking taylor expansion of 0 in y
7.372 * [backup-simplify]: Simplify 0 into 0
7.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.373 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
7.373 * [backup-simplify]: Simplify 0 into 0
7.374 * [backup-simplify]: Simplify 0 into 0
7.374 * [backup-simplify]: Simplify 0 into 0
7.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.376 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.377 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
7.377 * [backup-simplify]: Simplify (+ 0 0) into 0
7.377 * [taylor]: Taking taylor expansion of 0 in y
7.377 * [backup-simplify]: Simplify 0 into 0
7.377 * [backup-simplify]: Simplify 0 into 0
7.378 * [backup-simplify]: Simplify (+ (* 2 (* (/ 1 (/ 1 y)) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2))) into (+ (pow x 2) (* 2 y))
7.378 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) (+ (/ 1 (- y)) (/ 1 (- y)))) into (- (/ 1 (pow x 2)) (* 2 (/ 1 y)))
7.378 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in (x y) around 0
7.378 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in y
7.378 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.378 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.378 * [taylor]: Taking taylor expansion of x in y
7.378 * [backup-simplify]: Simplify x into x
7.378 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.379 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.379 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
7.379 * [taylor]: Taking taylor expansion of 2 in y
7.379 * [backup-simplify]: Simplify 2 into 2
7.379 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.379 * [taylor]: Taking taylor expansion of y in y
7.379 * [backup-simplify]: Simplify 0 into 0
7.379 * [backup-simplify]: Simplify 1 into 1
7.379 * [backup-simplify]: Simplify (/ 1 1) into 1
7.379 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x
7.379 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.379 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.379 * [taylor]: Taking taylor expansion of x in x
7.379 * [backup-simplify]: Simplify 0 into 0
7.379 * [backup-simplify]: Simplify 1 into 1
7.380 * [backup-simplify]: Simplify (* 1 1) into 1
7.380 * [backup-simplify]: Simplify (/ 1 1) into 1
7.380 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x
7.380 * [taylor]: Taking taylor expansion of 2 in x
7.380 * [backup-simplify]: Simplify 2 into 2
7.380 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.380 * [taylor]: Taking taylor expansion of y in x
7.380 * [backup-simplify]: Simplify y into y
7.380 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.380 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x
7.381 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.381 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.381 * [taylor]: Taking taylor expansion of x in x
7.381 * [backup-simplify]: Simplify 0 into 0
7.381 * [backup-simplify]: Simplify 1 into 1
7.381 * [backup-simplify]: Simplify (* 1 1) into 1
7.381 * [backup-simplify]: Simplify (/ 1 1) into 1
7.381 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x
7.381 * [taylor]: Taking taylor expansion of 2 in x
7.381 * [backup-simplify]: Simplify 2 into 2
7.382 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.382 * [taylor]: Taking taylor expansion of y in x
7.382 * [backup-simplify]: Simplify y into y
7.382 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.382 * [backup-simplify]: Simplify (+ 1 0) into 1
7.382 * [taylor]: Taking taylor expansion of 1 in y
7.382 * [backup-simplify]: Simplify 1 into 1
7.383 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.384 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.384 * [backup-simplify]: Simplify (+ 0 0) into 0
7.384 * [taylor]: Taking taylor expansion of 0 in y
7.384 * [backup-simplify]: Simplify 0 into 0
7.384 * [backup-simplify]: Simplify 1 into 1
7.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.386 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y)
7.386 * [backup-simplify]: Simplify (- (/ 2 y)) into (- (* 2 (/ 1 y)))
7.386 * [backup-simplify]: Simplify (+ 0 (- (* 2 (/ 1 y)))) into (- (* 2 (/ 1 y)))
7.386 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
7.386 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
7.386 * [taylor]: Taking taylor expansion of 2 in y
7.386 * [backup-simplify]: Simplify 2 into 2
7.386 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.386 * [taylor]: Taking taylor expansion of y in y
7.386 * [backup-simplify]: Simplify 0 into 0
7.386 * [backup-simplify]: Simplify 1 into 1
7.387 * [backup-simplify]: Simplify (/ 1 1) into 1
7.387 * [backup-simplify]: Simplify (* 2 1) into 2
7.387 * [backup-simplify]: Simplify (- 2) into -2
7.387 * [backup-simplify]: Simplify -2 into -2
7.387 * [backup-simplify]: Simplify 0 into 0
7.387 * [backup-simplify]: Simplify 0 into 0
7.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.390 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.390 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0
7.391 * [backup-simplify]: Simplify (- 0) into 0
7.391 * [backup-simplify]: Simplify (+ 0 0) into 0
7.391 * [taylor]: Taking taylor expansion of 0 in y
7.391 * [backup-simplify]: Simplify 0 into 0
7.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.392 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
7.393 * [backup-simplify]: Simplify (- 0) into 0
7.393 * [backup-simplify]: Simplify 0 into 0
7.393 * [backup-simplify]: Simplify 0 into 0
7.393 * [backup-simplify]: Simplify 0 into 0
7.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.395 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.396 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
7.396 * [backup-simplify]: Simplify (- 0) into 0
7.396 * [backup-simplify]: Simplify (+ 0 0) into 0
7.397 * [taylor]: Taking taylor expansion of 0 in y
7.397 * [backup-simplify]: Simplify 0 into 0
7.397 * [backup-simplify]: Simplify 0 into 0
7.397 * [backup-simplify]: Simplify (+ (* -2 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2))) into (+ (pow x 2) (* 2 y))
7.397 * * * [progress]: simplifying candidates
7.398 * [simplify]: Simplifying:
  (* (exp (* x x)) (* (exp y) (exp y)))
  (* (exp (* x x)) (exp (+ y y)))
  (log (+ (* x x) (+ y y)))
  (exp (+ (* x x) (+ y y)))
  (* (cbrt (+ (* x x) (+ y y))) (cbrt (+ (* x x) (+ y y))))
  (cbrt (+ (* x x) (+ y y)))
  (* (* (+ (* x x) (+ y y)) (+ (* x x) (+ y y))) (+ (* x x) (+ y y)))
  (sqrt (+ (* x x) (+ y y)))
  (sqrt (+ (* x x) (+ y y)))
  (+ (pow (* x x) 3) (pow (+ y y) 3))
  (+ (* (* x x) (* x x)) (- (* (+ y y) (+ y y)) (* (* x x) (+ y y))))
  (- (* (* x x) (* x x)) (* (+ y y) (+ y y)))
  (- (* x x) (+ y y))
  (+ (* x x) y)
  (+ (pow x 2) (* 2 y))
  (+ (pow x 2) (* 2 y))
  (+ (pow x 2) (* 2 y))
7.398 * * [simplify]: iteration 0: 34 enodes
7.424 * * [simplify]: iteration 1: 109 enodes
7.501 * * [simplify]: iteration 2: 457 enodes
8.119 * * [simplify]: iteration 3: 2029 enodes
11.182 * * [simplify]: iteration complete: 5000 enodes
11.182 * * [simplify]: Extracting #0: cost 12 inf + 0
11.183 * * [simplify]: Extracting #1: cost 108 inf + 0
11.187 * * [simplify]: Extracting #2: cost 874 inf + 43
11.279 * * [simplify]: Extracting #3: cost 1355 inf + 19755
11.333 * * [simplify]: Extracting #4: cost 676 inf + 145373
11.438 * * [simplify]: Extracting #5: cost 78 inf + 265366
11.636 * * [simplify]: Extracting #6: cost 11 inf + 276156
11.783 * * [simplify]: Extracting #7: cost 0 inf + 279339
12.056 * [simplify]: Simplified to:
  (exp (+ (+ y y) (* x x)))
  (exp (+ (+ y y) (* x x)))
  (log (+ (+ y y) (* x x)))
  (exp (+ (+ y y) (* x x)))
  (* (cbrt (+ (+ y y) (* x x))) (cbrt (+ (+ y y) (* x x))))
  (cbrt (+ (+ y y) (* x x)))
  (* (+ (+ y y) (* x x)) (* (+ (+ y y) (* x x)) (+ (+ y y) (* x x))))
  (sqrt (+ (+ y y) (* x x)))
  (sqrt (+ (+ y y) (* x x)))
  (+ (* (+ y y) (* (+ y y) (+ y y))) (* (* (* x x) (* x x)) (* x x)))
  (+ (* (* x x) (* x x)) (* (+ y y) (- (+ y y) (* x x))))
  (- (* (* x x) (* x x)) (* (+ y y) (+ y y)))
  (- (- (* x x) y) y)
  (+ (* x x) y)
  (+ (+ y y) (* x x))
  (+ (+ y y) (* x x))
  (+ (+ y y) (* x x))
12.088 * * * [progress]: adding candidates to table
12.520 * [progress]: [Phase 3 of 3] Extracting.
12.526 * [simplify]: Simplifying:
  (+ (* x x) (+ y y))
12.526 * * [simplify]: iteration 0: 5 enodes
12.527 * * [simplify]: iteration 1: 6 enodes
12.528 * * [simplify]: iteration complete: 6 enodes
12.528 * * [simplify]: Extracting #0: cost 1 inf + 0
12.528 * * [simplify]: Extracting #1: cost 3 inf + 0
12.528 * * [simplify]: Extracting #2: cost 5 inf + 0
12.528 * * [simplify]: Extracting #3: cost 2 inf + 43
12.528 * * [simplify]: Extracting #4: cost 0 inf + 206
12.528 * [simplify]: Simplified to:
  (+ (+ y y) (* x x))
17.029 * [regime-testing]: Baseline error score: 0.006625828228528566
17.062 * [regime-testing]: Oracle error score: 0.006625828228528566
17.063 * [regime-testing]: End program error score: 0.006625828228528566
17.354 * [regime-testing]: Target error score: 0.006625828228528566