3.866 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.043 * [simplify]: Simplifying:
  (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
0.043 * * [simplify]: iteration 0: 9 enodes
0.046 * * [simplify]: iteration 1: 22 enodes
0.050 * * [simplify]: iteration 2: 46 enodes
0.058 * * [simplify]: iteration 3: 95 enodes
0.081 * * [simplify]: iteration 4: 177 enodes
0.125 * * [simplify]: iteration 5: 339 enodes
0.285 * * [simplify]: iteration 6: 575 enodes
0.560 * * [simplify]: iteration 7: 1519 enodes
1.933 * * [simplify]: iteration complete: 5002 enodes
1.933 * * [simplify]: Extracting #0: cost 1 inf + 0
1.933 * * [simplify]: Extracting #1: cost 286 inf + 0
1.936 * * [simplify]: Extracting #2: cost 1023 inf + 1
1.947 * * [simplify]: Extracting #3: cost 1586 inf + 4035
1.972 * * [simplify]: Extracting #4: cost 952 inf + 73800
2.033 * * [simplify]: Extracting #5: cost 263 inf + 226185
2.109 * * [simplify]: Extracting #6: cost 22 inf + 292710
2.193 * * [simplify]: Extracting #7: cost 0 inf + 300274
2.285 * [simplify]: Simplified to:
  (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y))))
2.289 * * [progress]: iteration 1 / 4
2.289 * * * [progress]: picking best candidate
2.292 * * * * [pick]: Picked  #<alt (λ (x y) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))>
2.292 * * * [progress]: localizing error
2.303 * * * [progress]: generating rewritten candidates
2.303 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
2.341 * * * [progress]: generating series expansions
2.341 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
2.342 * [backup-simplify]: Simplify (/ (- (* y y) (* x x)) (+ (* x x) (* y y))) into (/ (- (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2)))
2.342 * [approximate]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) in (y x) around 0
2.342 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) in x
2.342 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x
2.342 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.342 * [taylor]: Taking taylor expansion of y in x
2.342 * [backup-simplify]: Simplify y into y
2.342 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.342 * [taylor]: Taking taylor expansion of x in x
2.342 * [backup-simplify]: Simplify 0 into 0
2.342 * [backup-simplify]: Simplify 1 into 1
2.342 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
2.342 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.342 * [taylor]: Taking taylor expansion of y in x
2.342 * [backup-simplify]: Simplify y into y
2.342 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.342 * [taylor]: Taking taylor expansion of x in x
2.342 * [backup-simplify]: Simplify 0 into 0
2.342 * [backup-simplify]: Simplify 1 into 1
2.342 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.342 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
2.342 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.342 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
2.343 * [backup-simplify]: Simplify (/ (pow y 2) (pow y 2)) into 1
2.343 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) in y
2.343 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
2.343 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.343 * [taylor]: Taking taylor expansion of y in y
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 1 into 1
2.343 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.343 * [taylor]: Taking taylor expansion of x in y
2.343 * [backup-simplify]: Simplify x into x
2.343 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
2.343 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.343 * [taylor]: Taking taylor expansion of y in y
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 1 into 1
2.343 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.343 * [taylor]: Taking taylor expansion of x in y
2.343 * [backup-simplify]: Simplify x into x
2.343 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.343 * [backup-simplify]: Simplify (- (pow x 2)) into (- (pow x 2))
2.343 * [backup-simplify]: Simplify (+ 0 (- (pow x 2))) into (- (pow x 2))
2.343 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.343 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
2.343 * [backup-simplify]: Simplify (/ (- (pow x 2)) (pow x 2)) into -1
2.343 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) in y
2.343 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
2.343 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.343 * [taylor]: Taking taylor expansion of y in y
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 1 into 1
2.344 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.344 * [taylor]: Taking taylor expansion of x in y
2.344 * [backup-simplify]: Simplify x into x
2.344 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
2.344 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.344 * [taylor]: Taking taylor expansion of y in y
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 1 into 1
2.344 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.344 * [taylor]: Taking taylor expansion of x in y
2.344 * [backup-simplify]: Simplify x into x
2.344 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.344 * [backup-simplify]: Simplify (- (pow x 2)) into (- (pow x 2))
2.344 * [backup-simplify]: Simplify (+ 0 (- (pow x 2))) into (- (pow x 2))
2.344 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.344 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
2.344 * [backup-simplify]: Simplify (/ (- (pow x 2)) (pow x 2)) into -1
2.344 * [taylor]: Taking taylor expansion of -1 in x
2.344 * [backup-simplify]: Simplify -1 into -1
2.344 * [backup-simplify]: Simplify -1 into -1
2.344 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.345 * [backup-simplify]: Simplify (- 0) into 0
2.345 * [backup-simplify]: Simplify (+ 0 0) into 0
2.345 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.345 * [backup-simplify]: Simplify (+ 0 0) into 0
2.346 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* -1 (/ 0 (pow x 2))))) into 0
2.346 * [taylor]: Taking taylor expansion of 0 in x
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify (* 1 1) into 1
2.346 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
2.346 * [backup-simplify]: Simplify (- 0) into 0
2.347 * [backup-simplify]: Simplify (+ 1 0) into 1
2.347 * [backup-simplify]: Simplify (* 1 1) into 1
2.347 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
2.348 * [backup-simplify]: Simplify (+ 1 0) into 1
2.348 * [backup-simplify]: Simplify (- (/ 1 (pow x 2)) (+ (* -1 (/ 1 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into (* 2 (/ 1 (pow x 2)))
2.348 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
2.348 * [taylor]: Taking taylor expansion of 2 in x
2.348 * [backup-simplify]: Simplify 2 into 2
2.348 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.348 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.348 * [taylor]: Taking taylor expansion of x in x
2.348 * [backup-simplify]: Simplify 0 into 0
2.348 * [backup-simplify]: Simplify 1 into 1
2.348 * [backup-simplify]: Simplify (* 1 1) into 1
2.348 * [backup-simplify]: Simplify (/ 1 1) into 1
2.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.349 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.351 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
2.351 * [backup-simplify]: Simplify 0 into 0
2.351 * [backup-simplify]: Simplify 0 into 0
2.351 * [backup-simplify]: Simplify 0 into 0
2.351 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.352 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
2.352 * [backup-simplify]: Simplify (- 0) into 0
2.352 * [backup-simplify]: Simplify (+ 0 0) into 0
2.353 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.353 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
2.354 * [backup-simplify]: Simplify (+ 0 0) into 0
2.354 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* -1 (/ 0 (pow x 2))) (* 0 (/ 1 (pow x 2))) (* (* 2 (/ 1 (pow x 2))) (/ 0 (pow x 2))))) into 0
2.354 * [taylor]: Taking taylor expansion of 0 in x
2.354 * [backup-simplify]: Simplify 0 into 0
2.354 * [backup-simplify]: Simplify 0 into 0
2.354 * [backup-simplify]: Simplify -1 into -1
2.355 * [backup-simplify]: Simplify (/ (- (* (/ 1 y) (/ 1 y)) (* (/ 1 x) (/ 1 x))) (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y)))) into (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))
2.355 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (y x) around 0
2.355 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
2.355 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
2.355 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.355 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.355 * [taylor]: Taking taylor expansion of y in x
2.355 * [backup-simplify]: Simplify y into y
2.355 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.355 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
2.355 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.355 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.355 * [taylor]: Taking taylor expansion of x in x
2.355 * [backup-simplify]: Simplify 0 into 0
2.355 * [backup-simplify]: Simplify 1 into 1
2.355 * [backup-simplify]: Simplify (* 1 1) into 1
2.355 * [backup-simplify]: Simplify (/ 1 1) into 1
2.355 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
2.355 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.355 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.355 * [taylor]: Taking taylor expansion of y in x
2.355 * [backup-simplify]: Simplify y into y
2.356 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.356 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
2.356 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.356 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.356 * [taylor]: Taking taylor expansion of x in x
2.356 * [backup-simplify]: Simplify 0 into 0
2.356 * [backup-simplify]: Simplify 1 into 1
2.356 * [backup-simplify]: Simplify (* 1 1) into 1
2.356 * [backup-simplify]: Simplify (/ 1 1) into 1
2.356 * [backup-simplify]: Simplify (- 1) into -1
2.357 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.357 * [backup-simplify]: Simplify (+ 0 1) into 1
2.357 * [backup-simplify]: Simplify (/ -1 1) into -1
2.357 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
2.357 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.357 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.357 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.357 * [taylor]: Taking taylor expansion of y in y
2.357 * [backup-simplify]: Simplify 0 into 0
2.357 * [backup-simplify]: Simplify 1 into 1
2.358 * [backup-simplify]: Simplify (* 1 1) into 1
2.358 * [backup-simplify]: Simplify (/ 1 1) into 1
2.358 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.358 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.358 * [taylor]: Taking taylor expansion of x in y
2.358 * [backup-simplify]: Simplify x into x
2.358 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.358 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.358 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.358 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.358 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.358 * [taylor]: Taking taylor expansion of y in y
2.358 * [backup-simplify]: Simplify 0 into 0
2.358 * [backup-simplify]: Simplify 1 into 1
2.358 * [backup-simplify]: Simplify (* 1 1) into 1
2.359 * [backup-simplify]: Simplify (/ 1 1) into 1
2.359 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.359 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.359 * [taylor]: Taking taylor expansion of x in y
2.359 * [backup-simplify]: Simplify x into x
2.359 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.359 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.359 * [backup-simplify]: Simplify (+ 1 0) into 1
2.359 * [backup-simplify]: Simplify (+ 1 0) into 1
2.359 * [backup-simplify]: Simplify (/ 1 1) into 1
2.360 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
2.360 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.360 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.360 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.360 * [taylor]: Taking taylor expansion of y in y
2.360 * [backup-simplify]: Simplify 0 into 0
2.360 * [backup-simplify]: Simplify 1 into 1
2.360 * [backup-simplify]: Simplify (* 1 1) into 1
2.360 * [backup-simplify]: Simplify (/ 1 1) into 1
2.360 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.360 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.360 * [taylor]: Taking taylor expansion of x in y
2.360 * [backup-simplify]: Simplify x into x
2.360 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.360 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.360 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.360 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.360 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.360 * [taylor]: Taking taylor expansion of y in y
2.360 * [backup-simplify]: Simplify 0 into 0
2.360 * [backup-simplify]: Simplify 1 into 1
2.361 * [backup-simplify]: Simplify (* 1 1) into 1
2.361 * [backup-simplify]: Simplify (/ 1 1) into 1
2.361 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.361 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.361 * [taylor]: Taking taylor expansion of x in y
2.361 * [backup-simplify]: Simplify x into x
2.361 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.361 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.361 * [backup-simplify]: Simplify (+ 1 0) into 1
2.362 * [backup-simplify]: Simplify (+ 1 0) into 1
2.362 * [backup-simplify]: Simplify (/ 1 1) into 1
2.362 * [taylor]: Taking taylor expansion of 1 in x
2.362 * [backup-simplify]: Simplify 1 into 1
2.362 * [backup-simplify]: Simplify 1 into 1
2.362 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.363 * [backup-simplify]: Simplify (+ 0 0) into 0
2.363 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.364 * [backup-simplify]: Simplify (+ 0 0) into 0
2.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
2.364 * [taylor]: Taking taylor expansion of 0 in x
2.364 * [backup-simplify]: Simplify 0 into 0
2.364 * [backup-simplify]: Simplify 0 into 0
2.365 * [backup-simplify]: Simplify 0 into 0
2.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.366 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2)))
2.367 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow x 2)))) into (- (/ 1 (pow x 2)))
2.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.369 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
2.370 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow x 2))) 1) (+ (* 1 (/ (/ 1 (pow x 2)) 1)) (* 0 (/ 0 1)))) into (- (* 2 (/ 1 (pow x 2))))
2.370 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow x 2)))) in x
2.370 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
2.370 * [taylor]: Taking taylor expansion of 2 in x
2.370 * [backup-simplify]: Simplify 2 into 2
2.370 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.370 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.370 * [taylor]: Taking taylor expansion of x in x
2.370 * [backup-simplify]: Simplify 0 into 0
2.370 * [backup-simplify]: Simplify 1 into 1
2.370 * [backup-simplify]: Simplify (* 1 1) into 1
2.371 * [backup-simplify]: Simplify (/ 1 1) into 1
2.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.373 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.376 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
2.376 * [backup-simplify]: Simplify (- 0) into 0
2.376 * [backup-simplify]: Simplify 0 into 0
2.376 * [backup-simplify]: Simplify 0 into 0
2.376 * [backup-simplify]: Simplify 0 into 0
2.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.378 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.379 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
2.379 * [backup-simplify]: Simplify (- 0) into 0
2.379 * [backup-simplify]: Simplify (+ 0 0) into 0
2.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.381 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.382 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
2.382 * [backup-simplify]: Simplify (+ 0 0) into 0
2.384 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ (/ 1 (pow x 2)) 1)) (* (- (* 2 (/ 1 (pow x 2)))) (/ 0 1)))) into 0
2.384 * [taylor]: Taking taylor expansion of 0 in x
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify 1 into 1
2.385 * [backup-simplify]: Simplify (/ (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- x)) (/ 1 (- x)))) (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y))))) into (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))
2.385 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (y x) around 0
2.385 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
2.385 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
2.385 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.385 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.385 * [taylor]: Taking taylor expansion of y in x
2.385 * [backup-simplify]: Simplify y into y
2.385 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.385 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
2.385 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.385 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.385 * [taylor]: Taking taylor expansion of x in x
2.385 * [backup-simplify]: Simplify 0 into 0
2.385 * [backup-simplify]: Simplify 1 into 1
2.386 * [backup-simplify]: Simplify (* 1 1) into 1
2.386 * [backup-simplify]: Simplify (/ 1 1) into 1
2.386 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
2.386 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.386 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.386 * [taylor]: Taking taylor expansion of y in x
2.386 * [backup-simplify]: Simplify y into y
2.386 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.386 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
2.387 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.387 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.387 * [taylor]: Taking taylor expansion of x in x
2.387 * [backup-simplify]: Simplify 0 into 0
2.387 * [backup-simplify]: Simplify 1 into 1
2.387 * [backup-simplify]: Simplify (* 1 1) into 1
2.387 * [backup-simplify]: Simplify (/ 1 1) into 1
2.388 * [backup-simplify]: Simplify (- 1) into -1
2.388 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.389 * [backup-simplify]: Simplify (+ 0 1) into 1
2.389 * [backup-simplify]: Simplify (/ -1 1) into -1
2.389 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
2.389 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.389 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.389 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.389 * [taylor]: Taking taylor expansion of y in y
2.389 * [backup-simplify]: Simplify 0 into 0
2.389 * [backup-simplify]: Simplify 1 into 1
2.390 * [backup-simplify]: Simplify (* 1 1) into 1
2.390 * [backup-simplify]: Simplify (/ 1 1) into 1
2.390 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.390 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.390 * [taylor]: Taking taylor expansion of x in y
2.390 * [backup-simplify]: Simplify x into x
2.390 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.390 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.390 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.390 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.390 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.391 * [taylor]: Taking taylor expansion of y in y
2.391 * [backup-simplify]: Simplify 0 into 0
2.391 * [backup-simplify]: Simplify 1 into 1
2.391 * [backup-simplify]: Simplify (* 1 1) into 1
2.391 * [backup-simplify]: Simplify (/ 1 1) into 1
2.391 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.391 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.391 * [taylor]: Taking taylor expansion of x in y
2.391 * [backup-simplify]: Simplify x into x
2.392 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.392 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.392 * [backup-simplify]: Simplify (+ 1 0) into 1
2.393 * [backup-simplify]: Simplify (+ 1 0) into 1
2.393 * [backup-simplify]: Simplify (/ 1 1) into 1
2.393 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
2.393 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.393 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.393 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.393 * [taylor]: Taking taylor expansion of y in y
2.393 * [backup-simplify]: Simplify 0 into 0
2.393 * [backup-simplify]: Simplify 1 into 1
2.394 * [backup-simplify]: Simplify (* 1 1) into 1
2.394 * [backup-simplify]: Simplify (/ 1 1) into 1
2.394 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.394 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.394 * [taylor]: Taking taylor expansion of x in y
2.394 * [backup-simplify]: Simplify x into x
2.394 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.394 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.394 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.394 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.395 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.395 * [taylor]: Taking taylor expansion of y in y
2.395 * [backup-simplify]: Simplify 0 into 0
2.395 * [backup-simplify]: Simplify 1 into 1
2.395 * [backup-simplify]: Simplify (* 1 1) into 1
2.395 * [backup-simplify]: Simplify (/ 1 1) into 1
2.395 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.395 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.395 * [taylor]: Taking taylor expansion of x in y
2.395 * [backup-simplify]: Simplify x into x
2.396 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.396 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.396 * [backup-simplify]: Simplify (+ 1 0) into 1
2.397 * [backup-simplify]: Simplify (+ 1 0) into 1
2.397 * [backup-simplify]: Simplify (/ 1 1) into 1
2.397 * [taylor]: Taking taylor expansion of 1 in x
2.397 * [backup-simplify]: Simplify 1 into 1
2.397 * [backup-simplify]: Simplify 1 into 1
2.398 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.399 * [backup-simplify]: Simplify (+ 0 0) into 0
2.400 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.401 * [backup-simplify]: Simplify (+ 0 0) into 0
2.402 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
2.402 * [taylor]: Taking taylor expansion of 0 in x
2.402 * [backup-simplify]: Simplify 0 into 0
2.402 * [backup-simplify]: Simplify 0 into 0
2.402 * [backup-simplify]: Simplify 0 into 0
2.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.404 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2)))
2.404 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow x 2)))) into (- (/ 1 (pow x 2)))
2.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.406 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
2.407 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow x 2))) 1) (+ (* 1 (/ (/ 1 (pow x 2)) 1)) (* 0 (/ 0 1)))) into (- (* 2 (/ 1 (pow x 2))))
2.407 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow x 2)))) in x
2.407 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
2.408 * [taylor]: Taking taylor expansion of 2 in x
2.408 * [backup-simplify]: Simplify 2 into 2
2.408 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.408 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.408 * [taylor]: Taking taylor expansion of x in x
2.408 * [backup-simplify]: Simplify 0 into 0
2.408 * [backup-simplify]: Simplify 1 into 1
2.408 * [backup-simplify]: Simplify (* 1 1) into 1
2.409 * [backup-simplify]: Simplify (/ 1 1) into 1
2.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.410 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.413 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
2.413 * [backup-simplify]: Simplify (- 0) into 0
2.413 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify 0 into 0
2.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.416 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.416 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
2.416 * [backup-simplify]: Simplify (- 0) into 0
2.417 * [backup-simplify]: Simplify (+ 0 0) into 0
2.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.419 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.420 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
2.420 * [backup-simplify]: Simplify (+ 0 0) into 0
2.422 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ (/ 1 (pow x 2)) 1)) (* (- (* 2 (/ 1 (pow x 2)))) (/ 0 1)))) into 0
2.422 * [taylor]: Taking taylor expansion of 0 in x
2.422 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify 1 into 1
2.422 * * * [progress]: simplifying candidates
2.423 * [simplify]: Simplifying:
  (- (log (- (* y y) (* x x))) (log (+ (* x x) (* y y))))
  (log (/ (- (* y y) (* x x)) (+ (* x x) (* y y))))
  (exp (/ (- (* y y) (* x x)) (+ (* x x) (* y y))))
  (/ (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
  (* (cbrt (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))) (cbrt (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))
  (cbrt (/ (- (* y y) (* x x)) (+ (* x x) (* y y))))
  (* (* (/ (- (* y y) (* x x)) (+ (* x x) (* y y))) (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))) (/ (- (* y y) (* x x)) (+ (* x x) (* y y))))
  (sqrt (/ (- (* y y) (* x x)) (+ (* x x) (* y y))))
  (sqrt (/ (- (* y y) (* x x)) (+ (* x x) (* y y))))
  (- (- (* y y) (* x x)))
  (- (+ (* x x) (* y y)))
  (/ (* y y) (+ (* x x) (* y y)))
  (/ (* x x) (+ (* x x) (* y y)))
  (/ (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (cbrt (- (* y y) (* x x))) (cbrt (+ (* x x) (* y y))))
  (/ (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))) (sqrt (+ (* x x) (* y y))))
  (/ (cbrt (- (* y y) (* x x))) (sqrt (+ (* x x) (* y y))))
  (/ (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))) 1)
  (/ (cbrt (- (* y y) (* x x))) (+ (* x x) (* y y)))
  (/ (sqrt (- (* y y) (* x x))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (sqrt (- (* y y) (* x x))) (cbrt (+ (* x x) (* y y))))
  (/ (sqrt (- (* y y) (* x x))) (sqrt (+ (* x x) (* y y))))
  (/ (sqrt (- (* y y) (* x x))) (sqrt (+ (* x x) (* y y))))
  (/ (sqrt (- (* y y) (* x x))) 1)
  (/ (sqrt (- (* y y) (* x x))) (+ (* x x) (* y y)))
  (/ 1 (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (- (* y y) (* x x)) (cbrt (+ (* x x) (* y y))))
  (/ 1 (sqrt (+ (* x x) (* y y))))
  (/ (- (* y y) (* x x)) (sqrt (+ (* x x) (* y y))))
  (/ 1 1)
  (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))
  (/ (+ y x) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (- y x) (cbrt (+ (* x x) (* y y))))
  (/ (+ y x) (sqrt (+ (* x x) (* y y))))
  (/ (- y x) (sqrt (+ (* x x) (* y y))))
  (/ (+ y x) 1)
  (/ (- y x) (+ (* x x) (* y y)))
  (/ 1 (+ (* x x) (* y y)))
  (/ (+ (* x x) (* y y)) (- (* y y) (* x x)))
  (/ (- (* y y) (* x x)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (- (* y y) (* x x)) (sqrt (+ (* x x) (* y y))))
  (/ (- (* y y) (* x x)) 1)
  (/ (+ (* x x) (* y y)) (cbrt (- (* y y) (* x x))))
  (/ (+ (* x x) (* y y)) (sqrt (- (* y y) (* x x))))
  (/ (+ (* x x) (* y y)) (- (* y y) (* x x)))
  (/ (+ (* x x) (* y y)) (- y x))
  (/ (- (* y y) (* x x)) (+ (pow (* x x) 3) (pow (* y y) 3)))
  (/ (- (* y y) (* x x)) (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (* (+ (* x x) (* y y)) (+ (* (* y y) (* y y)) (+ (* (* x x) (* x x)) (* (* y y) (* x x)))))
  (* (+ (* x x) (* y y)) (+ (* y y) (* x x)))
  -1
  1
  1
2.425 * * [simplify]: iteration 0: 80 enodes
2.453 * * [simplify]: iteration 1: 220 enodes
2.545 * * [simplify]: iteration 2: 739 enodes
3.267 * * [simplify]: iteration 3: 3092 enodes
4.021 * * [simplify]: iteration complete: 5005 enodes
4.021 * * [simplify]: Extracting #0: cost 45 inf + 0
4.022 * * [simplify]: Extracting #1: cost 582 inf + 2
4.027 * * [simplify]: Extracting #2: cost 1370 inf + 582
4.053 * * [simplify]: Extracting #3: cost 1048 inf + 88304
4.146 * * [simplify]: Extracting #4: cost 229 inf + 324796
4.304 * * [simplify]: Extracting #5: cost 13 inf + 398877
4.449 * * [simplify]: Extracting #6: cost 0 inf + 403179
4.565 * [simplify]: Simplified to:
  (log (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x)))))
  (log (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x)))))
  (exp (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x)))))
  (* (* (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x)))) (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x))))) (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x)))))
  (* (cbrt (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x))))) (cbrt (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x))))))
  (cbrt (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x)))))
  (* (* (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x)))) (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x))))) (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x)))))
  (sqrt (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x)))))
  (sqrt (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x)))))
  (* (- y x) (- (+ y x)))
  (- (+ (* y y) (* x x)))
  (/ (* y y) (+ (* y y) (* x x)))
  (/ (* x x) (+ (* y y) (* x x)))
  (* (/ (cbrt (* (- y x) (+ y x))) (cbrt (+ (* y y) (* x x)))) (/ (cbrt (* (- y x) (+ y x))) (cbrt (+ (* y y) (* x x)))))
  (/ (cbrt (* (- y x) (+ y x))) (cbrt (+ (* y y) (* x x))))
  (* (/ (cbrt (* (- y x) (+ y x))) (sqrt (+ (* y y) (* x x)))) (cbrt (* (- y x) (+ y x))))
  (/ (cbrt (* (- y x) (+ y x))) (sqrt (+ (* y y) (* x x))))
  (* (cbrt (* (- y x) (+ y x))) (cbrt (* (- y x) (+ y x))))
  (/ (cbrt (* (- y x) (+ y x))) (+ (* y y) (* x x)))
  (/ (sqrt (* (- y x) (+ y x))) (* (cbrt (+ (* y y) (* x x))) (cbrt (+ (* y y) (* x x)))))
  (/ (sqrt (* (- y x) (+ y x))) (cbrt (+ (* y y) (* x x))))
  (/ (sqrt (* (- y x) (+ y x))) (sqrt (+ (* y y) (* x x))))
  (/ (sqrt (* (- y x) (+ y x))) (sqrt (+ (* y y) (* x x))))
  (sqrt (* (- y x) (+ y x)))
  (/ (sqrt (* (- y x) (+ y x))) (+ (* y y) (* x x)))
  (/ (/ 1 (cbrt (+ (* y y) (* x x)))) (cbrt (+ (* y y) (* x x))))
  (- (/ (* y y) (cbrt (+ (* y y) (* x x)))) (/ (* x x) (cbrt (+ (* y y) (* x x)))))
  (/ 1 (sqrt (+ (* y y) (* x x))))
  (- (/ (* y y) (sqrt (+ (* y y) (* x x)))) (/ (* x x) (sqrt (+ (* y y) (* x x)))))
  1
  (- (/ (* y y) (+ (* y y) (* x x))) (/ (* x x) (+ (* y y) (* x x))))
  (/ (+ y x) (* (cbrt (+ (* y y) (* x x))) (cbrt (+ (* y y) (* x x)))))
  (/ (- y x) (cbrt (+ (* y y) (* x x))))
  (/ (+ y x) (sqrt (+ (* y y) (* x x))))
  (/ (- y x) (sqrt (+ (* y y) (* x x))))
  (+ y x)
  (/ (- y x) (+ (* y y) (* x x)))
  (/ 1 (+ (* y y) (* x x)))
  (/ (/ (+ (* y y) (* x x)) (+ y x)) (- y x))
  (- (/ (* y y) (* (cbrt (+ (* y y) (* x x))) (cbrt (+ (* y y) (* x x))))) (/ (* x x) (* (cbrt (+ (* y y) (* x x))) (cbrt (+ (* y y) (* x x))))))
  (- (/ (* y y) (sqrt (+ (* y y) (* x x)))) (/ (* x x) (sqrt (+ (* y y) (* x x)))))
  (* (- y x) (+ y x))
  (/ (+ (* y y) (* x x)) (cbrt (* (- y x) (+ y x))))
  (/ (+ (* y y) (* x x)) (sqrt (* (- y x) (+ y x))))
  (/ (/ (+ (* y y) (* x x)) (+ y x)) (- y x))
  (/ (+ (* y y) (* x x)) (- y x))
  (- (/ (* y y) (+ (* (* (* y y) (* y y)) (* y y)) (* (* (* x x) (* x x)) (* x x)))) (/ (* x x) (+ (* (* (* y y) (* y y)) (* y y)) (* (* (* x x) (* x x)) (* x x)))))
  (- (/ (* y y) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (/ (* x x) (- (* (* x x) (* x x)) (* (* y y) (* y y)))))
  (* (+ (* y y) (* x x)) (+ (* (* x x) (* x x)) (* (+ (* y y) (* x x)) (* y y))))
  (* (+ (* y y) (* x x)) (+ (* y y) (* x x)))
  -1
  1
  1
4.568 * * * [progress]: adding candidates to table
4.739 * * [progress]: iteration 2 / 4
4.739 * * * [progress]: picking best candidate
4.744 * * * * [pick]: Picked  #<alt (λ (x y) (- 1))>
4.744 * * * [progress]: localizing error
4.746 * * * [progress]: generating rewritten candidates
4.746 * * * [progress]: generating series expansions
4.746 * * * [progress]: simplifying candidates
4.746 * [simplify]: Simplifying:
  
4.746 * * [simplify]: iteration 0: 0 enodes
4.746 * * [simplify]: iteration complete: 0 enodes
4.746 * * [simplify]: Extracting #0: cost 0 inf + 0
4.746 * [simplify]: Simplified to:
  
4.746 * * * [progress]: adding candidates to table
4.746 * * [progress]: iteration 3 / 4
4.747 * * * [progress]: picking best candidate
4.749 * * * * [pick]: Picked  #<alt (λ (x y) (- -1))>
4.749 * * * [progress]: localizing error
4.751 * * * [progress]: generating rewritten candidates
4.751 * * * [progress]: generating series expansions
4.751 * * * [progress]: simplifying candidates
4.751 * [simplify]: Simplifying:
  
4.751 * * [simplify]: iteration 0: 0 enodes
4.751 * * [simplify]: iteration complete: 0 enodes
4.751 * * [simplify]: Extracting #0: cost 0 inf + 0
4.751 * [simplify]: Simplified to:
  
4.751 * * * [progress]: adding candidates to table
4.752 * [progress]: [Phase 3 of 3] Extracting.
4.752 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (- -1))> #<alt (λ (x y) (- 1))> #<alt (λ (x y) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))>)
4.752 * * * [regime-changes]: Trying 2 branch expressions: (y x)
4.752 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (- -1))> #<alt (λ (x y) (- 1))> #<alt (λ (x y) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))>)
4.802 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (- -1))> #<alt (λ (x y) (- 1))> #<alt (λ (x y) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))>)
4.840 * * * [regime]: Found split indices: #<option (#s(si 1 49) #s(si 2 138) #s(si 0 216) #s(si 2 255))>
4.842 * [binary-search]: Improving bounds with binary search for y and (#<alt (λ (x y) (- -1))> #<alt (λ (x y) (- 1))> #<alt (λ (x y) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))>)
4.953 * [regimes]: Found splitpoints: (#s(sp 1 y -6.379960110729306e+150) #s(sp 2 y -1.5016765466948683e-155) #s(sp 0 y 1.6656408088991096e-162) #s(sp 2 y +nan.0)) , with alts (#<alt (λ (x y) (- -1))> #<alt (λ (x y) (- 1))> #<alt (λ (x y) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))>)
4.954 * [simplify]: Simplifying:
  (if (<= y -6.379960110729306e+150) (- 1) (if (<= y -1.5016765466948683e-155) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))) (if (<= y 1.6656408088991096e-162) (- -1) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))))
4.954 * * [simplify]: iteration 0: 21 enodes
4.956 * * [simplify]: iteration 1: 29 enodes
4.957 * * [simplify]: iteration complete: 29 enodes
4.957 * * [simplify]: Extracting #0: cost 1 inf + 0
4.957 * * [simplify]: Extracting #1: cost 4 inf + 0
4.957 * * [simplify]: Extracting #2: cost 10 inf + 1
4.957 * * [simplify]: Extracting #3: cost 13 inf + 4
4.957 * * [simplify]: Extracting #4: cost 15 inf + 72
4.958 * * [simplify]: Extracting #5: cost 12 inf + 248
4.958 * * [simplify]: Extracting #6: cost 7 inf + 797
4.958 * * [simplify]: Extracting #7: cost 3 inf + 1525
4.958 * * [simplify]: Extracting #8: cost 0 inf + 3151
4.959 * * [simplify]: Extracting #9: cost 0 inf + 3041
4.959 * [simplify]: Simplified to:
  (if (<= y -6.379960110729306e+150) -1 (if (<= y -1.5016765466948683e-155) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))) (if (<= y 1.6656408088991096e-162) 1 (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))))
6.846 * [regime-testing]: Baseline error score: 19.96738778137315
6.854 * [regime-testing]: Oracle error score: 0.5015881680337115
6.873 * [regime-testing]: End program error score: 5.167120932940993
7.000 * [regime-testing]: Target error score: 0.047772701277954195