37.145 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.052 * * * [progress]: [2/2] Setting up program.
0.059 * [progress]: [Phase 2 of 3] Improving.
0.059 * [simplify]: Simplifying:
  (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
0.059 * * [simplify]: iteration 0: 9 enodes
0.063 * * [simplify]: iteration 1: 22 enodes
0.067 * * [simplify]: iteration 2: 46 enodes
0.074 * * [simplify]: iteration 3: 95 enodes
0.091 * * [simplify]: iteration 4: 177 enodes
0.157 * * [simplify]: iteration 5: 339 enodes
0.302 * * [simplify]: iteration 6: 575 enodes
0.611 * * [simplify]: iteration 7: 1519 enodes
2.262 * * [simplify]: iteration complete: 5002 enodes
2.262 * * [simplify]: Extracting #0: cost 1 inf + 0
2.263 * * [simplify]: Extracting #1: cost 286 inf + 0
2.268 * * [simplify]: Extracting #2: cost 1023 inf + 1
2.285 * * [simplify]: Extracting #3: cost 1586 inf + 4035
2.305 * * [simplify]: Extracting #4: cost 952 inf + 73800
2.371 * * [simplify]: Extracting #5: cost 263 inf + 226185
2.439 * * [simplify]: Extracting #6: cost 22 inf + 292710
2.510 * * [simplify]: Extracting #7: cost 0 inf + 300274
2.584 * [simplify]: Simplified to:
  (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y))))
2.589 * * [progress]: iteration 1 / 4
2.589 * * * [progress]: picking best candidate
2.593 * * * * [pick]: Picked  #<alt (λ (x y) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))>
2.593 * * * [progress]: localizing error
2.605 * * * [progress]: generating rewritten candidates
2.605 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
2.628 * * * [progress]: generating series expansions
2.628 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
2.629 * [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.629 * [approximate]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) in (y x) around 0
2.629 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) in x
2.629 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x
2.629 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.629 * [taylor]: Taking taylor expansion of y in x
2.629 * [backup-simplify]: Simplify y into y
2.629 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.629 * [taylor]: Taking taylor expansion of x in x
2.629 * [backup-simplify]: Simplify 0 into 0
2.629 * [backup-simplify]: Simplify 1 into 1
2.629 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
2.629 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.629 * [taylor]: Taking taylor expansion of y in x
2.629 * [backup-simplify]: Simplify y into y
2.629 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.629 * [taylor]: Taking taylor expansion of x in x
2.629 * [backup-simplify]: Simplify 0 into 0
2.629 * [backup-simplify]: Simplify 1 into 1
2.629 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.629 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
2.629 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.629 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
2.630 * [backup-simplify]: Simplify (/ (pow y 2) (pow y 2)) into 1
2.630 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) in y
2.630 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
2.630 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.630 * [taylor]: Taking taylor expansion of y in y
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify 1 into 1
2.630 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.630 * [taylor]: Taking taylor expansion of x in y
2.630 * [backup-simplify]: Simplify x into x
2.630 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
2.630 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.630 * [taylor]: Taking taylor expansion of y in y
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify 1 into 1
2.630 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.630 * [taylor]: Taking taylor expansion of x in y
2.630 * [backup-simplify]: Simplify x into x
2.630 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.630 * [backup-simplify]: Simplify (- (pow x 2)) into (- (pow x 2))
2.630 * [backup-simplify]: Simplify (+ 0 (- (pow x 2))) into (- (pow x 2))
2.630 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.630 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
2.630 * [backup-simplify]: Simplify (/ (- (pow x 2)) (pow x 2)) into -1
2.630 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) in y
2.630 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
2.630 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.630 * [taylor]: Taking taylor expansion of y in y
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify 1 into 1
2.630 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.630 * [taylor]: Taking taylor expansion of x in y
2.630 * [backup-simplify]: Simplify x into x
2.631 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
2.631 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.631 * [taylor]: Taking taylor expansion of y in y
2.631 * [backup-simplify]: Simplify 0 into 0
2.631 * [backup-simplify]: Simplify 1 into 1
2.631 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.631 * [taylor]: Taking taylor expansion of x in y
2.631 * [backup-simplify]: Simplify x into x
2.631 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.631 * [backup-simplify]: Simplify (- (pow x 2)) into (- (pow x 2))
2.631 * [backup-simplify]: Simplify (+ 0 (- (pow x 2))) into (- (pow x 2))
2.631 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.631 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
2.631 * [backup-simplify]: Simplify (/ (- (pow x 2)) (pow x 2)) into -1
2.631 * [taylor]: Taking taylor expansion of -1 in x
2.631 * [backup-simplify]: Simplify -1 into -1
2.631 * [backup-simplify]: Simplify -1 into -1
2.631 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.632 * [backup-simplify]: Simplify (- 0) into 0
2.632 * [backup-simplify]: Simplify (+ 0 0) into 0
2.632 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.633 * [backup-simplify]: Simplify (+ 0 0) into 0
2.633 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* -1 (/ 0 (pow x 2))))) into 0
2.633 * [taylor]: Taking taylor expansion of 0 in x
2.633 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify (* 1 1) into 1
2.633 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
2.634 * [backup-simplify]: Simplify (- 0) into 0
2.634 * [backup-simplify]: Simplify (+ 1 0) into 1
2.634 * [backup-simplify]: Simplify (* 1 1) into 1
2.635 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
2.635 * [backup-simplify]: Simplify (+ 1 0) into 1
2.635 * [backup-simplify]: Simplify (- (/ 1 (pow x 2)) (+ (* -1 (/ 1 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into (* 2 (/ 1 (pow x 2)))
2.635 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
2.635 * [taylor]: Taking taylor expansion of 2 in x
2.635 * [backup-simplify]: Simplify 2 into 2
2.635 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.635 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.635 * [taylor]: Taking taylor expansion of x in x
2.635 * [backup-simplify]: Simplify 0 into 0
2.635 * [backup-simplify]: Simplify 1 into 1
2.636 * [backup-simplify]: Simplify (* 1 1) into 1
2.636 * [backup-simplify]: Simplify (/ 1 1) into 1
2.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.637 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.638 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
2.638 * [backup-simplify]: Simplify 0 into 0
2.638 * [backup-simplify]: Simplify 0 into 0
2.638 * [backup-simplify]: Simplify 0 into 0
2.639 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.639 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
2.639 * [backup-simplify]: Simplify (- 0) into 0
2.640 * [backup-simplify]: Simplify (+ 0 0) into 0
2.640 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.641 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
2.641 * [backup-simplify]: Simplify (+ 0 0) into 0
2.641 * [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.641 * [taylor]: Taking taylor expansion of 0 in x
2.641 * [backup-simplify]: Simplify 0 into 0
2.641 * [backup-simplify]: Simplify 0 into 0
2.641 * [backup-simplify]: Simplify -1 into -1
2.642 * [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.642 * [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.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
2.642 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
2.642 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.642 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.642 * [taylor]: Taking taylor expansion of y in x
2.642 * [backup-simplify]: Simplify y into y
2.642 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.642 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
2.642 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.642 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.642 * [taylor]: Taking taylor expansion of x in x
2.642 * [backup-simplify]: Simplify 0 into 0
2.642 * [backup-simplify]: Simplify 1 into 1
2.642 * [backup-simplify]: Simplify (* 1 1) into 1
2.643 * [backup-simplify]: Simplify (/ 1 1) into 1
2.643 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
2.643 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.643 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.643 * [taylor]: Taking taylor expansion of y in x
2.643 * [backup-simplify]: Simplify y into y
2.643 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.643 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
2.643 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.643 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.643 * [taylor]: Taking taylor expansion of x in x
2.643 * [backup-simplify]: Simplify 0 into 0
2.643 * [backup-simplify]: Simplify 1 into 1
2.643 * [backup-simplify]: Simplify (* 1 1) into 1
2.643 * [backup-simplify]: Simplify (/ 1 1) into 1
2.644 * [backup-simplify]: Simplify (- 1) into -1
2.644 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.644 * [backup-simplify]: Simplify (+ 0 1) into 1
2.644 * [backup-simplify]: Simplify (/ -1 1) into -1
2.644 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
2.644 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.644 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.644 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.645 * [taylor]: Taking taylor expansion of y in y
2.645 * [backup-simplify]: Simplify 0 into 0
2.645 * [backup-simplify]: Simplify 1 into 1
2.645 * [backup-simplify]: Simplify (* 1 1) into 1
2.645 * [backup-simplify]: Simplify (/ 1 1) into 1
2.645 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.645 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.645 * [taylor]: Taking taylor expansion of x in y
2.645 * [backup-simplify]: Simplify x into x
2.645 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.645 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.645 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.645 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.645 * [taylor]: Taking taylor expansion of y in y
2.645 * [backup-simplify]: Simplify 0 into 0
2.645 * [backup-simplify]: Simplify 1 into 1
2.646 * [backup-simplify]: Simplify (* 1 1) into 1
2.646 * [backup-simplify]: Simplify (/ 1 1) into 1
2.646 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.646 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.646 * [taylor]: Taking taylor expansion of x in y
2.646 * [backup-simplify]: Simplify x into x
2.646 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.646 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.650 * [backup-simplify]: Simplify (+ 1 0) into 1
2.650 * [backup-simplify]: Simplify (+ 1 0) into 1
2.651 * [backup-simplify]: Simplify (/ 1 1) into 1
2.651 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
2.651 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.651 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.651 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.651 * [taylor]: Taking taylor expansion of y in y
2.651 * [backup-simplify]: Simplify 0 into 0
2.651 * [backup-simplify]: Simplify 1 into 1
2.651 * [backup-simplify]: Simplify (* 1 1) into 1
2.651 * [backup-simplify]: Simplify (/ 1 1) into 1
2.651 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.651 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.651 * [taylor]: Taking taylor expansion of x in y
2.651 * [backup-simplify]: Simplify x into x
2.651 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.651 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.651 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.651 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.652 * [taylor]: Taking taylor expansion of y in y
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [backup-simplify]: Simplify (* 1 1) into 1
2.652 * [backup-simplify]: Simplify (/ 1 1) into 1
2.652 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.652 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.652 * [taylor]: Taking taylor expansion of x in y
2.652 * [backup-simplify]: Simplify x into x
2.652 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.652 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.653 * [backup-simplify]: Simplify (+ 1 0) into 1
2.653 * [backup-simplify]: Simplify (+ 1 0) into 1
2.653 * [backup-simplify]: Simplify (/ 1 1) into 1
2.653 * [taylor]: Taking taylor expansion of 1 in x
2.653 * [backup-simplify]: Simplify 1 into 1
2.653 * [backup-simplify]: Simplify 1 into 1
2.654 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.654 * [backup-simplify]: Simplify (+ 0 0) into 0
2.655 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.655 * [backup-simplify]: Simplify (+ 0 0) into 0
2.656 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
2.656 * [taylor]: Taking taylor expansion of 0 in x
2.656 * [backup-simplify]: Simplify 0 into 0
2.656 * [backup-simplify]: Simplify 0 into 0
2.656 * [backup-simplify]: Simplify 0 into 0
2.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.657 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2)))
2.657 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow x 2)))) into (- (/ 1 (pow x 2)))
2.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.658 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
2.659 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow x 2))) 1) (+ (* 1 (/ (/ 1 (pow x 2)) 1)) (* 0 (/ 0 1)))) into (- (* 2 (/ 1 (pow x 2))))
2.659 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow x 2)))) in x
2.659 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
2.659 * [taylor]: Taking taylor expansion of 2 in x
2.659 * [backup-simplify]: Simplify 2 into 2
2.659 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.659 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.659 * [taylor]: Taking taylor expansion of x in x
2.659 * [backup-simplify]: Simplify 0 into 0
2.659 * [backup-simplify]: Simplify 1 into 1
2.659 * [backup-simplify]: Simplify (* 1 1) into 1
2.660 * [backup-simplify]: Simplify (/ 1 1) into 1
2.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.661 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.662 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
2.662 * [backup-simplify]: Simplify (- 0) into 0
2.663 * [backup-simplify]: Simplify 0 into 0
2.663 * [backup-simplify]: Simplify 0 into 0
2.663 * [backup-simplify]: Simplify 0 into 0
2.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.665 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.666 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
2.666 * [backup-simplify]: Simplify (- 0) into 0
2.667 * [backup-simplify]: Simplify (+ 0 0) into 0
2.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.669 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.670 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
2.670 * [backup-simplify]: Simplify (+ 0 0) into 0
2.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ (/ 1 (pow x 2)) 1)) (* (- (* 2 (/ 1 (pow x 2)))) (/ 0 1)))) into 0
2.672 * [taylor]: Taking taylor expansion of 0 in x
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify 1 into 1
2.673 * [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.673 * [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.673 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
2.673 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
2.673 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.673 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.673 * [taylor]: Taking taylor expansion of y in x
2.673 * [backup-simplify]: Simplify y into y
2.673 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.673 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
2.673 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.673 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.673 * [taylor]: Taking taylor expansion of x in x
2.673 * [backup-simplify]: Simplify 0 into 0
2.673 * [backup-simplify]: Simplify 1 into 1
2.674 * [backup-simplify]: Simplify (* 1 1) into 1
2.674 * [backup-simplify]: Simplify (/ 1 1) into 1
2.674 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
2.674 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.674 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.674 * [taylor]: Taking taylor expansion of y in x
2.674 * [backup-simplify]: Simplify y into y
2.674 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.674 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
2.674 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.675 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.675 * [taylor]: Taking taylor expansion of x in x
2.675 * [backup-simplify]: Simplify 0 into 0
2.675 * [backup-simplify]: Simplify 1 into 1
2.675 * [backup-simplify]: Simplify (* 1 1) into 1
2.675 * [backup-simplify]: Simplify (/ 1 1) into 1
2.676 * [backup-simplify]: Simplify (- 1) into -1
2.676 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.677 * [backup-simplify]: Simplify (+ 0 1) into 1
2.677 * [backup-simplify]: Simplify (/ -1 1) into -1
2.677 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
2.677 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.677 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.677 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.677 * [taylor]: Taking taylor expansion of y in y
2.677 * [backup-simplify]: Simplify 0 into 0
2.677 * [backup-simplify]: Simplify 1 into 1
2.678 * [backup-simplify]: Simplify (* 1 1) into 1
2.678 * [backup-simplify]: Simplify (/ 1 1) into 1
2.678 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.678 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.678 * [taylor]: Taking taylor expansion of x in y
2.678 * [backup-simplify]: Simplify x into x
2.678 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.679 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.679 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.679 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.679 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.679 * [taylor]: Taking taylor expansion of y in y
2.679 * [backup-simplify]: Simplify 0 into 0
2.679 * [backup-simplify]: Simplify 1 into 1
2.679 * [backup-simplify]: Simplify (* 1 1) into 1
2.679 * [backup-simplify]: Simplify (/ 1 1) into 1
2.679 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.680 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.680 * [taylor]: Taking taylor expansion of x in y
2.680 * [backup-simplify]: Simplify x into x
2.680 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.680 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.680 * [backup-simplify]: Simplify (+ 1 0) into 1
2.681 * [backup-simplify]: Simplify (+ 1 0) into 1
2.681 * [backup-simplify]: Simplify (/ 1 1) into 1
2.681 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
2.681 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.681 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.681 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.681 * [taylor]: Taking taylor expansion of y in y
2.681 * [backup-simplify]: Simplify 0 into 0
2.681 * [backup-simplify]: Simplify 1 into 1
2.682 * [backup-simplify]: Simplify (* 1 1) into 1
2.682 * [backup-simplify]: Simplify (/ 1 1) into 1
2.682 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.682 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.682 * [taylor]: Taking taylor expansion of x in y
2.682 * [backup-simplify]: Simplify x into x
2.682 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.683 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.683 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
2.683 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.683 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.683 * [taylor]: Taking taylor expansion of y in y
2.683 * [backup-simplify]: Simplify 0 into 0
2.683 * [backup-simplify]: Simplify 1 into 1
2.683 * [backup-simplify]: Simplify (* 1 1) into 1
2.684 * [backup-simplify]: Simplify (/ 1 1) into 1
2.684 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.684 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.684 * [taylor]: Taking taylor expansion of x in y
2.684 * [backup-simplify]: Simplify x into x
2.684 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.684 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.684 * [backup-simplify]: Simplify (+ 1 0) into 1
2.685 * [backup-simplify]: Simplify (+ 1 0) into 1
2.685 * [backup-simplify]: Simplify (/ 1 1) into 1
2.685 * [taylor]: Taking taylor expansion of 1 in x
2.685 * [backup-simplify]: Simplify 1 into 1
2.685 * [backup-simplify]: Simplify 1 into 1
2.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.687 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.687 * [backup-simplify]: Simplify (+ 0 0) into 0
2.688 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.689 * [backup-simplify]: Simplify (+ 0 0) into 0
2.690 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
2.690 * [taylor]: Taking taylor expansion of 0 in x
2.690 * [backup-simplify]: Simplify 0 into 0
2.690 * [backup-simplify]: Simplify 0 into 0
2.690 * [backup-simplify]: Simplify 0 into 0
2.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.692 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2)))
2.692 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow x 2)))) into (- (/ 1 (pow x 2)))
2.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.695 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
2.696 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow x 2))) 1) (+ (* 1 (/ (/ 1 (pow x 2)) 1)) (* 0 (/ 0 1)))) into (- (* 2 (/ 1 (pow x 2))))
2.696 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow x 2)))) in x
2.696 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
2.696 * [taylor]: Taking taylor expansion of 2 in x
2.696 * [backup-simplify]: Simplify 2 into 2
2.696 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.696 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.696 * [taylor]: Taking taylor expansion of x in x
2.696 * [backup-simplify]: Simplify 0 into 0
2.696 * [backup-simplify]: Simplify 1 into 1
2.696 * [backup-simplify]: Simplify (* 1 1) into 1
2.697 * [backup-simplify]: Simplify (/ 1 1) into 1
2.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.698 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.701 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
2.701 * [backup-simplify]: Simplify (- 0) into 0
2.701 * [backup-simplify]: Simplify 0 into 0
2.701 * [backup-simplify]: Simplify 0 into 0
2.701 * [backup-simplify]: Simplify 0 into 0
2.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.704 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.704 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
2.705 * [backup-simplify]: Simplify (- 0) into 0
2.705 * [backup-simplify]: Simplify (+ 0 0) into 0
2.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.707 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
2.708 * [backup-simplify]: Simplify (+ 0 0) into 0
2.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ (/ 1 (pow x 2)) 1)) (* (- (* 2 (/ 1 (pow x 2)))) (/ 0 1)))) into 0
2.710 * [taylor]: Taking taylor expansion of 0 in x
2.710 * [backup-simplify]: Simplify 0 into 0
2.710 * [backup-simplify]: Simplify 0 into 0
2.710 * [backup-simplify]: Simplify 1 into 1
2.710 * * * [progress]: simplifying candidates
2.711 * [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.713 * * [simplify]: iteration 0: 80 enodes
2.730 * * [simplify]: iteration 1: 220 enodes
2.787 * * [simplify]: iteration 2: 739 enodes
3.521 * * [simplify]: iteration 3: 3092 enodes
4.354 * * [simplify]: iteration complete: 5005 enodes
4.354 * * [simplify]: Extracting #0: cost 45 inf + 0
4.355 * * [simplify]: Extracting #1: cost 582 inf + 2
4.360 * * [simplify]: Extracting #2: cost 1370 inf + 582
4.378 * * [simplify]: Extracting #3: cost 1048 inf + 88304
4.483 * * [simplify]: Extracting #4: cost 229 inf + 324796
4.627 * * [simplify]: Extracting #5: cost 13 inf + 398877
4.804 * * [simplify]: Extracting #6: cost 0 inf + 403179
4.938 * [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.941 * * * [progress]: adding candidates to table
5.184 * * [progress]: iteration 2 / 4
5.184 * * * [progress]: picking best candidate
5.190 * * * * [pick]: Picked  #<alt (λ (x y) (- 1))>
5.190 * * * [progress]: localizing error
5.192 * * * [progress]: generating rewritten candidates
5.192 * * * [progress]: generating series expansions
5.192 * * * [progress]: simplifying candidates
5.192 * [simplify]: Simplifying:
  
5.192 * * [simplify]: iteration 0: 0 enodes
5.192 * * [simplify]: iteration complete: 0 enodes
5.192 * * [simplify]: Extracting #0: cost 0 inf + 0
5.192 * [simplify]: Simplified to:
  
5.192 * * * [progress]: adding candidates to table
5.193 * * [progress]: iteration 3 / 4
5.193 * * * [progress]: picking best candidate
5.198 * * * * [pick]: Picked  #<alt (λ (x y) (- -1))>
5.198 * * * [progress]: localizing error
5.202 * * * [progress]: generating rewritten candidates
5.202 * * * [progress]: generating series expansions
5.202 * * * [progress]: simplifying candidates
5.203 * [simplify]: Simplifying:
  
5.203 * * [simplify]: iteration 0: 0 enodes
5.203 * * [simplify]: iteration complete: 0 enodes
5.203 * * [simplify]: Extracting #0: cost 0 inf + 0
5.203 * [simplify]: Simplified to:
  
5.203 * * * [progress]: adding candidates to table
5.204 * [progress]: [Phase 3 of 3] Extracting.
5.204 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))> #<alt (λ (x y) (- -1))> #<alt (λ (x y) (- 1))>)
5.204 * * * [regime-changes]: Trying 2 branch expressions: (y x)
5.204 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))> #<alt (λ (x y) (- -1))> #<alt (λ (x y) (- 1))>)
5.296 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))> #<alt (λ (x y) (- -1))> #<alt (λ (x y) (- 1))>)
5.352 * * * [regime]: Found split indices: #<option (#s(si 2 49) #s(si 0 138) #s(si 1 216) #s(si 0 255))>
5.354 * [binary-search]: Improving bounds with binary search for y and (#<alt (λ (x y) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))> #<alt (λ (x y) (- -1))> #<alt (λ (x y) (- 1))>)
5.518 * [regimes]: Found splitpoints: (#s(sp 2 y -6.379960110729306e+150) #s(sp 0 y -1.5016765466948683e-155) #s(sp 1 y 1.6656408088991096e-162) #s(sp 0 y +nan.0)) , with alts (#<alt (λ (x y) (- (/ (- (* y y) (* x x)) (+ (* x x) (* y y)))))> #<alt (λ (x y) (- -1))> #<alt (λ (x y) (- 1))>)
5.519 * [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)))))))
5.519 * * [simplify]: iteration 0: 21 enodes
5.523 * * [simplify]: iteration 1: 29 enodes
5.525 * * [simplify]: iteration complete: 29 enodes
5.525 * * [simplify]: Extracting #0: cost 1 inf + 0
5.525 * * [simplify]: Extracting #1: cost 4 inf + 0
5.525 * * [simplify]: Extracting #2: cost 10 inf + 1
5.526 * * [simplify]: Extracting #3: cost 13 inf + 4
5.526 * * [simplify]: Extracting #4: cost 15 inf + 72
5.526 * * [simplify]: Extracting #5: cost 12 inf + 248
5.526 * * [simplify]: Extracting #6: cost 7 inf + 797
5.526 * * [simplify]: Extracting #7: cost 3 inf + 1525
5.527 * * [simplify]: Extracting #8: cost 0 inf + 3151
5.527 * * [simplify]: Extracting #9: cost 0 inf + 3041
5.527 * [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)))))))
7.213 * [regime-testing]: Baseline error score: 19.96738778137315
7.222 * [regime-testing]: Oracle error score: 0.5015881680337115
7.241 * [regime-testing]: End program error score: 5.167120932940993
7.390 * [regime-testing]: Target error score: 0.047772701277954195