2.524 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.053 * [progress]: [Phase 2 of 3] Improving.
0.053 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (- (* x x) (* y y)))>
0.053 * [simplify]: Simplifying:
  (- (* x x) (* y y))
0.054 * * [simplify]: iteration 0: 5 enodes
0.056 * * [simplify]: iteration 1: 10 enodes
0.059 * * [simplify]: iteration 2: 17 enodes
0.064 * * [simplify]: iteration 3: 32 enodes
0.075 * * [simplify]: iteration 4: 57 enodes
0.099 * * [simplify]: iteration 5: 128 enodes
0.149 * * [simplify]: iteration 6: 201 enodes
0.220 * * [simplify]: iteration 7: 367 enodes
0.561 * * [simplify]: iteration 8: 1179 enodes
2.862 * * [simplify]: iteration 9: 4084 enodes
4.894 * * [simplify]: iteration complete: 5002 enodes
4.894 * * [simplify]: Extracting #0: cost 1 inf + 0
4.895 * * [simplify]: Extracting #1: cost 166 inf + 0
4.900 * * [simplify]: Extracting #2: cost 895 inf + 2
4.908 * * [simplify]: Extracting #3: cost 702 inf + 29891
4.934 * * [simplify]: Extracting #4: cost 180 inf + 115226
4.993 * * [simplify]: Extracting #5: cost 4 inf + 156981
5.054 * * [simplify]: Extracting #6: cost 0 inf + 157867
5.112 * [simplify]: Simplified to:
  (* (- x y) (+ y x))
5.113 * * [progress]: iteration 1 / 4
5.113 * * * [progress]: picking best candidate
5.117 * * * * [pick]: Picked  #<alt (λ (x y) (- (* x x) (* y y)))>
5.117 * * * [progress]: localizing error
5.133 * * * [progress]: generating rewritten candidates
5.133 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.203 * * * [progress]: generating series expansions
5.204 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.204 * [backup-simplify]: Simplify (- (* x x) (* y y)) into (- (pow x 2) (pow y 2))
5.204 * [approximate]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in (x y) around 0
5.204 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in y
5.204 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.204 * [taylor]: Taking taylor expansion of x in y
5.204 * [backup-simplify]: Simplify x into x
5.204 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.204 * [taylor]: Taking taylor expansion of y in y
5.204 * [backup-simplify]: Simplify 0 into 0
5.204 * [backup-simplify]: Simplify 1 into 1
5.204 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in x
5.204 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.204 * [taylor]: Taking taylor expansion of x in x
5.204 * [backup-simplify]: Simplify 0 into 0
5.204 * [backup-simplify]: Simplify 1 into 1
5.204 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.204 * [taylor]: Taking taylor expansion of y in x
5.204 * [backup-simplify]: Simplify y into y
5.204 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in x
5.204 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.204 * [taylor]: Taking taylor expansion of x in x
5.205 * [backup-simplify]: Simplify 0 into 0
5.205 * [backup-simplify]: Simplify 1 into 1
5.205 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.205 * [taylor]: Taking taylor expansion of y in x
5.205 * [backup-simplify]: Simplify y into y
5.205 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.205 * [backup-simplify]: Simplify (- (pow y 2)) into (- (pow y 2))
5.205 * [backup-simplify]: Simplify (+ 0 (- (pow y 2))) into (- (pow y 2))
5.205 * [taylor]: Taking taylor expansion of (- (pow y 2)) in y
5.205 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.205 * [taylor]: Taking taylor expansion of y in y
5.205 * [backup-simplify]: Simplify 0 into 0
5.205 * [backup-simplify]: Simplify 1 into 1
5.205 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.206 * [backup-simplify]: Simplify (- 0) into 0
5.207 * [backup-simplify]: Simplify (+ 0 0) into 0
5.207 * [taylor]: Taking taylor expansion of 0 in y
5.207 * [backup-simplify]: Simplify 0 into 0
5.207 * [backup-simplify]: Simplify 0 into 0
5.207 * [backup-simplify]: Simplify (* 1 1) into 1
5.208 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
5.208 * [backup-simplify]: Simplify (- 0) into 0
5.209 * [backup-simplify]: Simplify (+ 1 0) into 1
5.209 * [taylor]: Taking taylor expansion of 1 in y
5.209 * [backup-simplify]: Simplify 1 into 1
5.209 * [backup-simplify]: Simplify 1 into 1
5.209 * [backup-simplify]: Simplify 0 into 0
5.210 * [backup-simplify]: Simplify (* 1 1) into 1
5.210 * [backup-simplify]: Simplify (- 1) into -1
5.210 * [backup-simplify]: Simplify -1 into -1
5.211 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.212 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.212 * [backup-simplify]: Simplify (- 0) into 0
5.213 * [backup-simplify]: Simplify (+ 0 0) into 0
5.213 * [taylor]: Taking taylor expansion of 0 in y
5.213 * [backup-simplify]: Simplify 0 into 0
5.213 * [backup-simplify]: Simplify 0 into 0
5.213 * [backup-simplify]: Simplify 0 into 0
5.213 * [backup-simplify]: Simplify 0 into 0
5.214 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.214 * [backup-simplify]: Simplify (- 0) into 0
5.214 * [backup-simplify]: Simplify 0 into 0
5.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.217 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.217 * [backup-simplify]: Simplify (- 0) into 0
5.217 * [backup-simplify]: Simplify (+ 0 0) into 0
5.218 * [taylor]: Taking taylor expansion of 0 in y
5.218 * [backup-simplify]: Simplify 0 into 0
5.218 * [backup-simplify]: Simplify 0 into 0
5.218 * [backup-simplify]: Simplify 0 into 0
5.218 * [backup-simplify]: Simplify (+ (* -1 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (- (pow x 2) (pow y 2))
5.218 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) into (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))
5.218 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0
5.218 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.218 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.219 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.219 * [taylor]: Taking taylor expansion of x in y
5.219 * [backup-simplify]: Simplify x into x
5.219 * [backup-simplify]: Simplify (* x x) into (pow x 2)
5.219 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
5.219 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.219 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.219 * [taylor]: Taking taylor expansion of y in y
5.219 * [backup-simplify]: Simplify 0 into 0
5.219 * [backup-simplify]: Simplify 1 into 1
5.220 * [backup-simplify]: Simplify (* 1 1) into 1
5.220 * [backup-simplify]: Simplify (/ 1 1) into 1
5.220 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.220 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.220 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.220 * [taylor]: Taking taylor expansion of x in x
5.220 * [backup-simplify]: Simplify 0 into 0
5.220 * [backup-simplify]: Simplify 1 into 1
5.221 * [backup-simplify]: Simplify (* 1 1) into 1
5.221 * [backup-simplify]: Simplify (/ 1 1) into 1
5.221 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.221 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.221 * [taylor]: Taking taylor expansion of y in x
5.221 * [backup-simplify]: Simplify y into y
5.221 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.222 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.222 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.222 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.222 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.222 * [taylor]: Taking taylor expansion of x in x
5.222 * [backup-simplify]: Simplify 0 into 0
5.222 * [backup-simplify]: Simplify 1 into 1
5.222 * [backup-simplify]: Simplify (* 1 1) into 1
5.223 * [backup-simplify]: Simplify (/ 1 1) into 1
5.223 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.223 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.223 * [taylor]: Taking taylor expansion of y in x
5.223 * [backup-simplify]: Simplify y into y
5.223 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.223 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.224 * [backup-simplify]: Simplify (+ 1 0) into 1
5.224 * [taylor]: Taking taylor expansion of 1 in y
5.224 * [backup-simplify]: Simplify 1 into 1
5.224 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.226 * [backup-simplify]: Simplify (+ 0 0) into 0
5.226 * [taylor]: Taking taylor expansion of 0 in y
5.226 * [backup-simplify]: Simplify 0 into 0
5.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.228 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2)))
5.228 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2)))
5.228 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
5.228 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.229 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.229 * [taylor]: Taking taylor expansion of y in y
5.229 * [backup-simplify]: Simplify 0 into 0
5.229 * [backup-simplify]: Simplify 1 into 1
5.229 * [backup-simplify]: Simplify (* 1 1) into 1
5.230 * [backup-simplify]: Simplify (/ 1 1) into 1
5.230 * [backup-simplify]: Simplify (- 1) into -1
5.230 * [backup-simplify]: Simplify -1 into -1
5.230 * [backup-simplify]: Simplify 1 into 1
5.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.233 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.233 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
5.234 * [backup-simplify]: Simplify (- 0) into 0
5.234 * [backup-simplify]: Simplify (+ 0 0) into 0
5.234 * [taylor]: Taking taylor expansion of 0 in y
5.234 * [backup-simplify]: Simplify 0 into 0
5.235 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.236 * [backup-simplify]: Simplify (- 0) into 0
5.236 * [backup-simplify]: Simplify 0 into 0
5.236 * [backup-simplify]: Simplify 0 into 0
5.236 * [backup-simplify]: Simplify 0 into 0
5.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.239 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
5.240 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
5.240 * [backup-simplify]: Simplify (- 0) into 0
5.241 * [backup-simplify]: Simplify (+ 0 0) into 0
5.241 * [taylor]: Taking taylor expansion of 0 in y
5.241 * [backup-simplify]: Simplify 0 into 0
5.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.243 * [backup-simplify]: Simplify (- 0) into 0
5.243 * [backup-simplify]: Simplify 0 into 0
5.243 * [backup-simplify]: Simplify 0 into 0
5.244 * [backup-simplify]: Simplify 0 into 0
5.244 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (- (pow x 2) (pow y 2))
5.244 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y)))) into (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))
5.244 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0
5.244 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.244 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.244 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.245 * [taylor]: Taking taylor expansion of x in y
5.245 * [backup-simplify]: Simplify x into x
5.245 * [backup-simplify]: Simplify (* x x) into (pow x 2)
5.245 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
5.245 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.245 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.245 * [taylor]: Taking taylor expansion of y in y
5.245 * [backup-simplify]: Simplify 0 into 0
5.245 * [backup-simplify]: Simplify 1 into 1
5.246 * [backup-simplify]: Simplify (* 1 1) into 1
5.246 * [backup-simplify]: Simplify (/ 1 1) into 1
5.246 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.246 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.246 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.246 * [taylor]: Taking taylor expansion of x in x
5.246 * [backup-simplify]: Simplify 0 into 0
5.246 * [backup-simplify]: Simplify 1 into 1
5.247 * [backup-simplify]: Simplify (* 1 1) into 1
5.248 * [backup-simplify]: Simplify (/ 1 1) into 1
5.248 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.248 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.248 * [taylor]: Taking taylor expansion of y in x
5.248 * [backup-simplify]: Simplify y into y
5.248 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.248 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.248 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.248 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.248 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.248 * [taylor]: Taking taylor expansion of x in x
5.248 * [backup-simplify]: Simplify 0 into 0
5.248 * [backup-simplify]: Simplify 1 into 1
5.249 * [backup-simplify]: Simplify (* 1 1) into 1
5.249 * [backup-simplify]: Simplify (/ 1 1) into 1
5.249 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.249 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.249 * [taylor]: Taking taylor expansion of y in x
5.249 * [backup-simplify]: Simplify y into y
5.249 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.250 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.250 * [backup-simplify]: Simplify (+ 1 0) into 1
5.250 * [taylor]: Taking taylor expansion of 1 in y
5.250 * [backup-simplify]: Simplify 1 into 1
5.251 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.252 * [backup-simplify]: Simplify (+ 0 0) into 0
5.253 * [taylor]: Taking taylor expansion of 0 in y
5.253 * [backup-simplify]: Simplify 0 into 0
5.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.255 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2)))
5.256 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2)))
5.256 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
5.256 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.256 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.256 * [taylor]: Taking taylor expansion of y in y
5.256 * [backup-simplify]: Simplify 0 into 0
5.256 * [backup-simplify]: Simplify 1 into 1
5.257 * [backup-simplify]: Simplify (* 1 1) into 1
5.257 * [backup-simplify]: Simplify (/ 1 1) into 1
5.258 * [backup-simplify]: Simplify (- 1) into -1
5.258 * [backup-simplify]: Simplify -1 into -1
5.258 * [backup-simplify]: Simplify 1 into 1
5.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.260 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.260 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
5.261 * [backup-simplify]: Simplify (- 0) into 0
5.261 * [backup-simplify]: Simplify (+ 0 0) into 0
5.261 * [taylor]: Taking taylor expansion of 0 in y
5.261 * [backup-simplify]: Simplify 0 into 0
5.262 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.263 * [backup-simplify]: Simplify (- 0) into 0
5.263 * [backup-simplify]: Simplify 0 into 0
5.263 * [backup-simplify]: Simplify 0 into 0
5.263 * [backup-simplify]: Simplify 0 into 0
5.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.266 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
5.266 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
5.266 * [backup-simplify]: Simplify (- 0) into 0
5.267 * [backup-simplify]: Simplify (+ 0 0) into 0
5.267 * [taylor]: Taking taylor expansion of 0 in y
5.267 * [backup-simplify]: Simplify 0 into 0
5.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.269 * [backup-simplify]: Simplify (- 0) into 0
5.269 * [backup-simplify]: Simplify 0 into 0
5.269 * [backup-simplify]: Simplify 0 into 0
5.269 * [backup-simplify]: Simplify 0 into 0
5.270 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (- (pow x 2) (pow y 2))
5.270 * * * [progress]: simplifying candidates
5.270 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (x y) (log (/ (exp (* x x)) (exp (* y y)))))>
5.270 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (x y) (pow (- (* x x) (* y y)) 1))>
5.270 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (x y) (exp (log (- (* x x) (* y y)))))>
5.270 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (x y) (log (exp (- (* x x) (* y y)))))>
5.270 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (cbrt (- (* x x) (* y y)))))>
5.270 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (- (* x x) (* y y)) (- (* x x) (* y y))) (- (* x x) (* y y)))))>
5.270 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y)))))>
5.270 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (x y) (/ (- (pow (* x x) 3) (pow (* y y) 3)) (+ (* (* x x) (* x x)) (+ (* (* y y) (* y y)) (* (* x x) (* y y))))))>
5.270 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (x y) (+ (* x x) (- (* y y))))>
5.270 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (* x x) (* y y))))>
5.270 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ (x y) (/ (- (* (* x x) (* x x)) (* (* y y) (* y y))) (+ (* x x) (* y y))))>
5.271 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ x y) (- x y)))>
5.271 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ x (sqrt (* y y))) (- x (sqrt (* y y)))))>
5.271 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ x (* (sqrt y) (sqrt y))) (- x (* (sqrt y) (sqrt y)))))>
5.271 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ x (* (sqrt y) (sqrt y))) (- x (* (sqrt y) (sqrt y)))))>
5.271 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ x y) (- x y)))>
5.271 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (* x x)) y) (- (sqrt (* x x)) y)))>
5.271 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (* x x)) (sqrt (* y y))) (- (sqrt (* x x)) (sqrt (* y y)))))>
5.271 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (* x x)) (* (sqrt y) (sqrt y))) (- (sqrt (* x x)) (* (sqrt y) (sqrt y)))))>
5.271 * * * * [progress]: [ 20 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (* x x)) (* (sqrt y) (sqrt y))) (- (sqrt (* x x)) (* (sqrt y) (sqrt y)))))>
5.271 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (* x x)) y) (- (sqrt (* x x)) y)))>
5.271 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt x) (sqrt x)) y) (- (* (sqrt x) (sqrt x)) y)))>
5.271 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt x) (sqrt x)) (sqrt (* y y))) (- (* (sqrt x) (sqrt x)) (sqrt (* y y)))))>
5.271 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y))) (- (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y)))))>
5.271 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y))) (- (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y)))))>
5.271 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt x) (sqrt x)) y) (- (* (sqrt x) (sqrt x)) y)))>
5.271 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt x) (sqrt x)) y) (- (* (sqrt x) (sqrt x)) y)))>
5.271 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt x) (sqrt x)) (sqrt (* y y))) (- (* (sqrt x) (sqrt x)) (sqrt (* y y)))))>
5.271 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y))) (- (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y)))))>
5.272 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y))) (- (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y)))))>
5.272 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ (* (sqrt x) (sqrt x)) y) (- (* (sqrt x) (sqrt x)) y)))>
5.272 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ x y) (- x y)))>
5.272 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ x (sqrt (* y y))) (- x (sqrt (* y y)))))>
5.272 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ x (* (sqrt y) (sqrt y))) (- x (* (sqrt y) (sqrt y)))))>
5.272 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ x (* (sqrt y) (sqrt y))) (- x (* (sqrt y) (sqrt y)))))>
5.272 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (x y) (* (+ x y) (- x y)))>
5.272 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (* x x) (* y y))))>
5.272 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (* x x) (* y y))))>
5.272 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (x y) (* (* 1 1) (- (* x x) (* y y))))>
5.272 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (* x x) (* y y))))>
5.272 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (* x x) (* y y))))>
5.272 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (x y) (+ (* x x) (- (* y y))))>
5.272 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (- (* x x) (* y y)))))>
5.272 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (x y) (- (pow x 2) (pow y 2)))>
5.272 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (x y) (- (pow x 2) (pow y 2)))>
5.272 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (x y) (- (pow x 2) (pow y 2)))>
5.273 * [simplify]: Simplifying:
  (/ (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))))
  (- (* y y))
  (- (* (* x x) (* x x)) (* (* y y) (* y y)))
  (+ (* x x) (* y y))
  (+ x y)
  (- x y)
  (+ x (sqrt (* y y)))
  (- x (sqrt (* y y)))
  (+ x (* (sqrt y) (sqrt y)))
  (- x (* (sqrt y) (sqrt y)))
  (+ x (* (sqrt y) (sqrt y)))
  (- x (* (sqrt y) (sqrt y)))
  (+ x y)
  (- x y)
  (+ (sqrt (* x x)) y)
  (- (sqrt (* x x)) y)
  (+ (sqrt (* x x)) (sqrt (* y y)))
  (- (sqrt (* x x)) (sqrt (* y y)))
  (+ (sqrt (* x x)) (* (sqrt y) (sqrt y)))
  (- (sqrt (* x x)) (* (sqrt y) (sqrt y)))
  (+ (sqrt (* x x)) (* (sqrt y) (sqrt y)))
  (- (sqrt (* x x)) (* (sqrt y) (sqrt y)))
  (+ (sqrt (* x x)) y)
  (- (sqrt (* x x)) y)
  (+ (* (sqrt x) (sqrt x)) y)
  (- (* (sqrt x) (sqrt x)) y)
  (+ (* (sqrt x) (sqrt x)) (sqrt (* y y)))
  (- (* (sqrt x) (sqrt x)) (sqrt (* y y)))
  (+ (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y)))
  (- (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y)))
  (+ (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y)))
  (- (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y)))
  (+ (* (sqrt x) (sqrt x)) y)
  (- (* (sqrt x) (sqrt x)) y)
  (+ (* (sqrt x) (sqrt x)) y)
  (- (* (sqrt x) (sqrt x)) y)
  (+ (* (sqrt x) (sqrt x)) (sqrt (* y y)))
  (- (* (sqrt x) (sqrt x)) (sqrt (* y y)))
  (+ (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y)))
  (- (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y)))
  (+ (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y)))
  (- (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y)))
  (+ (* (sqrt x) (sqrt x)) y)
  (- (* (sqrt x) (sqrt x)) y)
  (+ x y)
  (- x y)
  (+ x (sqrt (* y y)))
  (- x (sqrt (* y y)))
  (+ x (* (sqrt y) (sqrt y)))
  (- x (* (sqrt y) (sqrt y)))
  (+ x (* (sqrt y) (sqrt y)))
  (- x (* (sqrt y) (sqrt y)))
  (+ x y)
  (- x y)
  (- (* x x) (* y y))
  (- (* x x) (* y y))
  (- (* x x) (* y y))
  (- (* x x) (* y y))
  (- (* x x) (* y y))
  (- (* y y))
  (real->posit16 (- (* x x) (* y y)))
  (- (pow x 2) (pow y 2))
  (- (pow x 2) (pow y 2))
  (- (pow x 2) (pow y 2))
5.275 * * [simplify]: iteration 0: 56 enodes
5.300 * * [simplify]: iteration 1: 178 enodes
5.367 * * [simplify]: iteration 2: 629 enodes
5.876 * * [simplify]: iteration 3: 2833 enodes
7.364 * * [simplify]: iteration complete: 5003 enodes
7.364 * * [simplify]: Extracting #0: cost 21 inf + 0
7.365 * * [simplify]: Extracting #1: cost 212 inf + 0
7.367 * * [simplify]: Extracting #2: cost 1187 inf + 2214
7.381 * * [simplify]: Extracting #3: cost 1387 inf + 70679
7.435 * * [simplify]: Extracting #4: cost 146 inf + 169117
7.504 * * [simplify]: Extracting #5: cost 20 inf + 203782
7.552 * * [simplify]: Extracting #6: cost 1 inf + 212009
7.594 * * [simplify]: Extracting #7: cost 0 inf + 212512
7.649 * [simplify]: Simplified to:
  (exp (* (+ x y) (- x y)))
  (log (* (+ x y) (- x y)))
  (exp (* (+ x y) (- x y)))
  (* (cbrt (* (+ x y) (- x y))) (cbrt (* (+ x y) (- x y))))
  (cbrt (* (+ x y) (- x y)))
  (* (* (+ x y) (- x y)) (* (* (+ x y) (- x y)) (* (+ x y) (- x y))))
  (sqrt (* (+ x y) (- x y)))
  (sqrt (* (+ x y) (- x y)))
  (* (+ (* (* x x) x) (* y (* y y))) (- (* (* x x) x) (* y (* y y))))
  (+ (* (* x x) (* x x)) (* (* y y) (+ (* x x) (* y y))))
  (* (- y) y)
  (* (+ (* x x) (* y y)) (- (* x x) (* y y)))
  (+ (* x x) (* y y))
  (+ x y)
  (- x y)
  (+ x (fabs y))
  (- x (fabs y))
  (+ x y)
  (- x y)
  (+ x y)
  (- x y)
  (+ x y)
  (- x y)
  (+ (fabs x) y)
  (- (fabs x) y)
  (+ (fabs y) (fabs x))
  (- (fabs x) (fabs y))
  (+ (fabs x) y)
  (- (fabs x) y)
  (+ (fabs x) y)
  (- (fabs x) y)
  (+ (fabs x) y)
  (- (fabs x) y)
  (+ x y)
  (- x y)
  (+ x (fabs y))
  (- x (fabs y))
  (+ x y)
  (- x y)
  (+ x y)
  (- x y)
  (+ x y)
  (- x y)
  (+ x y)
  (- x y)
  (+ x (fabs y))
  (- x (fabs y))
  (+ x y)
  (- x y)
  (+ x y)
  (- x y)
  (+ x y)
  (- x y)
  (+ x y)
  (- x y)
  (+ x (fabs y))
  (- x (fabs y))
  (+ x y)
  (- x y)
  (+ x y)
  (- x y)
  (+ x y)
  (- x y)
  (* (+ x y) (- x y))
  (* (+ x y) (- x y))
  (* (+ x y) (- x y))
  (* (+ x y) (- x y))
  (* (+ x y) (- x y))
  (* (- y) y)
  (real->posit16 (* (+ x y) (- x y)))
  (* (+ x y) (- x y))
  (* (+ x y) (- x y))
  (* (+ x y) (- x y))
7.654 * * * [progress]: adding candidates to table
7.780 * * [progress]: iteration 2 / 4
7.780 * * * [progress]: picking best candidate
7.782 * * * * [pick]: Picked  #<alt (λ (x y) (* (+ x y) (- x y)))>
7.782 * * * [progress]: localizing error
7.791 * * * [progress]: generating rewritten candidates
7.791 * * * [progress]: generating series expansions
7.792 * * * [progress]: simplifying candidates
7.792 * [simplify]: Simplifying:
  
7.792 * * [simplify]: iteration 0: 0 enodes
7.792 * * [simplify]: iteration complete: 0 enodes
7.792 * * [simplify]: Extracting #0: cost 0 inf + 0
7.792 * [simplify]: Simplified to:
  
7.792 * * * [progress]: adding candidates to table
7.793 * [progress]: [Phase 3 of 3] Extracting.
7.797 * [simplify]: Simplifying:
  (* (+ x y) (- x y))
7.797 * * [simplify]: iteration 0: 5 enodes
7.798 * * [simplify]: iteration 1: 7 enodes
7.798 * * [simplify]: iteration complete: 7 enodes
7.798 * * [simplify]: Extracting #0: cost 1 inf + 0
7.798 * * [simplify]: Extracting #1: cost 3 inf + 0
7.798 * * [simplify]: Extracting #2: cost 5 inf + 0
7.798 * * [simplify]: Extracting #3: cost 3 inf + 2
7.799 * * [simplify]: Extracting #4: cost 0 inf + 208
7.799 * [simplify]: Simplified to:
  (* (+ y x) (- x y))
9.817 * [regime-testing]: Baseline error score: 0.0008751093886735842
9.821 * [regime-testing]: Oracle error score: 0.0008751093886735842
9.821 * [regime-testing]: End program error score: 0.0008751093886735842