7.697 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.033 * * * [progress]: [2/2] Setting up program.
0.041 * [progress]: [Phase 2 of 3] Improving.
0.041 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (- (* x x) (* y y)))>
0.041 * [simplify]: Simplifying:
  (- (* x x) (* y y))
0.041 * * [simplify]: iteration 0: 5 enodes
0.045 * * [simplify]: iteration 1: 11 enodes
0.051 * * [simplify]: iteration 2: 18 enodes
0.063 * * [simplify]: iteration 3: 35 enodes
0.108 * * [simplify]: iteration 4: 66 enodes
0.171 * * [simplify]: iteration 5: 159 enodes
0.292 * * [simplify]: iteration 6: 286 enodes
0.593 * * [simplify]: iteration 7: 519 enodes
1.664 * * [simplify]: iteration 8: 1418 enodes
11.354 * * [simplify]: iteration 9: 4794 enodes
15.561 * * [simplify]: iteration complete: 5000 enodes
15.561 * * [simplify]: Extracting #0: cost 1 inf + 0
15.562 * * [simplify]: Extracting #1: cost 191 inf + 0
15.568 * * [simplify]: Extracting #2: cost 574 inf + 3326
15.590 * * [simplify]: Extracting #3: cost 140 inf + 78086
15.643 * * [simplify]: Extracting #4: cost 3 inf + 107323
15.688 * * [simplify]: Extracting #5: cost 0 inf + 106470
15.740 * [simplify]: Simplified to:
  (- (* x x) (* y y))
15.741 * * [progress]: iteration 1 / 4
15.741 * * * [progress]: picking best candidate
15.749 * * * * [pick]: Picked  #<alt (λ (x y) (- (* x x) (* y y)))>
15.749 * * * [progress]: localizing error
15.764 * * * [progress]: generating rewritten candidates
15.764 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
15.785 * * * [progress]: generating series expansions
15.785 * * * * [progress]: [ 1 / 1 ] generating series at (2)
15.785 * [backup-simplify]: Simplify (- (* x x) (* y y)) into (- (pow x 2) (pow y 2))
15.785 * [approximate]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in (x y) around 0
15.785 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in y
15.785 * [taylor]: Taking taylor expansion of (pow x 2) in y
15.785 * [taylor]: Taking taylor expansion of x in y
15.785 * [backup-simplify]: Simplify x into x
15.785 * [taylor]: Taking taylor expansion of (pow y 2) in y
15.785 * [taylor]: Taking taylor expansion of y in y
15.785 * [backup-simplify]: Simplify 0 into 0
15.785 * [backup-simplify]: Simplify 1 into 1
15.785 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in x
15.785 * [taylor]: Taking taylor expansion of (pow x 2) in x
15.785 * [taylor]: Taking taylor expansion of x in x
15.785 * [backup-simplify]: Simplify 0 into 0
15.785 * [backup-simplify]: Simplify 1 into 1
15.785 * [taylor]: Taking taylor expansion of (pow y 2) in x
15.785 * [taylor]: Taking taylor expansion of y in x
15.785 * [backup-simplify]: Simplify y into y
15.785 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in x
15.785 * [taylor]: Taking taylor expansion of (pow x 2) in x
15.785 * [taylor]: Taking taylor expansion of x in x
15.786 * [backup-simplify]: Simplify 0 into 0
15.786 * [backup-simplify]: Simplify 1 into 1
15.786 * [taylor]: Taking taylor expansion of (pow y 2) in x
15.786 * [taylor]: Taking taylor expansion of y in x
15.786 * [backup-simplify]: Simplify y into y
15.786 * [backup-simplify]: Simplify (* y y) into (pow y 2)
15.786 * [backup-simplify]: Simplify (- (pow y 2)) into (- (pow y 2))
15.786 * [backup-simplify]: Simplify (+ 0 (- (pow y 2))) into (- (pow y 2))
15.786 * [taylor]: Taking taylor expansion of (- (pow y 2)) in y
15.786 * [taylor]: Taking taylor expansion of (pow y 2) in y
15.786 * [taylor]: Taking taylor expansion of y in y
15.786 * [backup-simplify]: Simplify 0 into 0
15.786 * [backup-simplify]: Simplify 1 into 1
15.786 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
15.787 * [backup-simplify]: Simplify (- 0) into 0
15.787 * [backup-simplify]: Simplify (+ 0 0) into 0
15.787 * [taylor]: Taking taylor expansion of 0 in y
15.787 * [backup-simplify]: Simplify 0 into 0
15.787 * [backup-simplify]: Simplify 0 into 0
15.788 * [backup-simplify]: Simplify (* 1 1) into 1
15.788 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
15.788 * [backup-simplify]: Simplify (- 0) into 0
15.789 * [backup-simplify]: Simplify (+ 1 0) into 1
15.789 * [taylor]: Taking taylor expansion of 1 in y
15.789 * [backup-simplify]: Simplify 1 into 1
15.789 * [backup-simplify]: Simplify 1 into 1
15.789 * [backup-simplify]: Simplify 0 into 0
15.789 * [backup-simplify]: Simplify (* 1 1) into 1
15.789 * [backup-simplify]: Simplify (- 1) into -1
15.789 * [backup-simplify]: Simplify -1 into -1
15.790 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.791 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
15.791 * [backup-simplify]: Simplify (- 0) into 0
15.791 * [backup-simplify]: Simplify (+ 0 0) into 0
15.791 * [taylor]: Taking taylor expansion of 0 in y
15.791 * [backup-simplify]: Simplify 0 into 0
15.791 * [backup-simplify]: Simplify 0 into 0
15.791 * [backup-simplify]: Simplify 0 into 0
15.791 * [backup-simplify]: Simplify 0 into 0
15.792 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.792 * [backup-simplify]: Simplify (- 0) into 0
15.792 * [backup-simplify]: Simplify 0 into 0
15.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.793 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
15.794 * [backup-simplify]: Simplify (- 0) into 0
15.794 * [backup-simplify]: Simplify (+ 0 0) into 0
15.794 * [taylor]: Taking taylor expansion of 0 in y
15.794 * [backup-simplify]: Simplify 0 into 0
15.794 * [backup-simplify]: Simplify 0 into 0
15.794 * [backup-simplify]: Simplify 0 into 0
15.795 * [backup-simplify]: Simplify (+ (* -1 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (- (pow x 2) (pow y 2))
15.795 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) into (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))
15.795 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0
15.795 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
15.795 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
15.795 * [taylor]: Taking taylor expansion of (pow x 2) in y
15.795 * [taylor]: Taking taylor expansion of x in y
15.795 * [backup-simplify]: Simplify x into x
15.795 * [backup-simplify]: Simplify (* x x) into (pow x 2)
15.795 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
15.795 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
15.796 * [taylor]: Taking taylor expansion of (pow y 2) in y
15.796 * [taylor]: Taking taylor expansion of y in y
15.796 * [backup-simplify]: Simplify 0 into 0
15.796 * [backup-simplify]: Simplify 1 into 1
15.796 * [backup-simplify]: Simplify (* 1 1) into 1
15.796 * [backup-simplify]: Simplify (/ 1 1) into 1
15.796 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
15.796 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
15.796 * [taylor]: Taking taylor expansion of (pow x 2) in x
15.796 * [taylor]: Taking taylor expansion of x in x
15.796 * [backup-simplify]: Simplify 0 into 0
15.796 * [backup-simplify]: Simplify 1 into 1
15.796 * [backup-simplify]: Simplify (* 1 1) into 1
15.797 * [backup-simplify]: Simplify (/ 1 1) into 1
15.797 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
15.797 * [taylor]: Taking taylor expansion of (pow y 2) in x
15.797 * [taylor]: Taking taylor expansion of y in x
15.797 * [backup-simplify]: Simplify y into y
15.797 * [backup-simplify]: Simplify (* y y) into (pow y 2)
15.797 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
15.797 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
15.797 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
15.797 * [taylor]: Taking taylor expansion of (pow x 2) in x
15.797 * [taylor]: Taking taylor expansion of x in x
15.797 * [backup-simplify]: Simplify 0 into 0
15.797 * [backup-simplify]: Simplify 1 into 1
15.798 * [backup-simplify]: Simplify (* 1 1) into 1
15.798 * [backup-simplify]: Simplify (/ 1 1) into 1
15.798 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
15.798 * [taylor]: Taking taylor expansion of (pow y 2) in x
15.798 * [taylor]: Taking taylor expansion of y in x
15.798 * [backup-simplify]: Simplify y into y
15.798 * [backup-simplify]: Simplify (* y y) into (pow y 2)
15.798 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
15.799 * [backup-simplify]: Simplify (+ 1 0) into 1
15.799 * [taylor]: Taking taylor expansion of 1 in y
15.799 * [backup-simplify]: Simplify 1 into 1
15.799 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.800 * [backup-simplify]: Simplify (+ 0 0) into 0
15.800 * [taylor]: Taking taylor expansion of 0 in y
15.800 * [backup-simplify]: Simplify 0 into 0
15.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.801 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2)))
15.802 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2)))
15.802 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
15.802 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
15.802 * [taylor]: Taking taylor expansion of (pow y 2) in y
15.802 * [taylor]: Taking taylor expansion of y in y
15.802 * [backup-simplify]: Simplify 0 into 0
15.802 * [backup-simplify]: Simplify 1 into 1
15.802 * [backup-simplify]: Simplify (* 1 1) into 1
15.803 * [backup-simplify]: Simplify (/ 1 1) into 1
15.803 * [backup-simplify]: Simplify (- 1) into -1
15.803 * [backup-simplify]: Simplify -1 into -1
15.803 * [backup-simplify]: Simplify 1 into 1
15.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.805 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
15.805 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
15.805 * [backup-simplify]: Simplify (- 0) into 0
15.806 * [backup-simplify]: Simplify (+ 0 0) into 0
15.806 * [taylor]: Taking taylor expansion of 0 in y
15.806 * [backup-simplify]: Simplify 0 into 0
15.806 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.807 * [backup-simplify]: Simplify (- 0) into 0
15.807 * [backup-simplify]: Simplify 0 into 0
15.807 * [backup-simplify]: Simplify 0 into 0
15.807 * [backup-simplify]: Simplify 0 into 0
15.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.809 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
15.810 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
15.810 * [backup-simplify]: Simplify (- 0) into 0
15.810 * [backup-simplify]: Simplify (+ 0 0) into 0
15.810 * [taylor]: Taking taylor expansion of 0 in y
15.810 * [backup-simplify]: Simplify 0 into 0
15.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.812 * [backup-simplify]: Simplify (- 0) into 0
15.812 * [backup-simplify]: Simplify 0 into 0
15.812 * [backup-simplify]: Simplify 0 into 0
15.812 * [backup-simplify]: Simplify 0 into 0
15.813 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (- (pow x 2) (pow y 2))
15.813 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y)))) into (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))
15.813 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0
15.813 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
15.813 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
15.813 * [taylor]: Taking taylor expansion of (pow x 2) in y
15.813 * [taylor]: Taking taylor expansion of x in y
15.813 * [backup-simplify]: Simplify x into x
15.814 * [backup-simplify]: Simplify (* x x) into (pow x 2)
15.814 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
15.814 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
15.814 * [taylor]: Taking taylor expansion of (pow y 2) in y
15.814 * [taylor]: Taking taylor expansion of y in y
15.814 * [backup-simplify]: Simplify 0 into 0
15.814 * [backup-simplify]: Simplify 1 into 1
15.815 * [backup-simplify]: Simplify (* 1 1) into 1
15.815 * [backup-simplify]: Simplify (/ 1 1) into 1
15.815 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
15.815 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
15.815 * [taylor]: Taking taylor expansion of (pow x 2) in x
15.815 * [taylor]: Taking taylor expansion of x in x
15.815 * [backup-simplify]: Simplify 0 into 0
15.815 * [backup-simplify]: Simplify 1 into 1
15.815 * [backup-simplify]: Simplify (* 1 1) into 1
15.816 * [backup-simplify]: Simplify (/ 1 1) into 1
15.816 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
15.816 * [taylor]: Taking taylor expansion of (pow y 2) in x
15.816 * [taylor]: Taking taylor expansion of y in x
15.816 * [backup-simplify]: Simplify y into y
15.816 * [backup-simplify]: Simplify (* y y) into (pow y 2)
15.817 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
15.817 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
15.817 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
15.817 * [taylor]: Taking taylor expansion of (pow x 2) in x
15.817 * [taylor]: Taking taylor expansion of x in x
15.817 * [backup-simplify]: Simplify 0 into 0
15.817 * [backup-simplify]: Simplify 1 into 1
15.817 * [backup-simplify]: Simplify (* 1 1) into 1
15.818 * [backup-simplify]: Simplify (/ 1 1) into 1
15.818 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
15.818 * [taylor]: Taking taylor expansion of (pow y 2) in x
15.818 * [taylor]: Taking taylor expansion of y in x
15.818 * [backup-simplify]: Simplify y into y
15.818 * [backup-simplify]: Simplify (* y y) into (pow y 2)
15.818 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
15.819 * [backup-simplify]: Simplify (+ 1 0) into 1
15.819 * [taylor]: Taking taylor expansion of 1 in y
15.819 * [backup-simplify]: Simplify 1 into 1
15.820 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.821 * [backup-simplify]: Simplify (+ 0 0) into 0
15.821 * [taylor]: Taking taylor expansion of 0 in y
15.821 * [backup-simplify]: Simplify 0 into 0
15.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.827 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2)))
15.827 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2)))
15.827 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
15.827 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
15.827 * [taylor]: Taking taylor expansion of (pow y 2) in y
15.827 * [taylor]: Taking taylor expansion of y in y
15.827 * [backup-simplify]: Simplify 0 into 0
15.827 * [backup-simplify]: Simplify 1 into 1
15.828 * [backup-simplify]: Simplify (* 1 1) into 1
15.828 * [backup-simplify]: Simplify (/ 1 1) into 1
15.829 * [backup-simplify]: Simplify (- 1) into -1
15.829 * [backup-simplify]: Simplify -1 into -1
15.829 * [backup-simplify]: Simplify 1 into 1
15.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.832 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
15.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
15.833 * [backup-simplify]: Simplify (- 0) into 0
15.834 * [backup-simplify]: Simplify (+ 0 0) into 0
15.834 * [taylor]: Taking taylor expansion of 0 in y
15.834 * [backup-simplify]: Simplify 0 into 0
15.834 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.835 * [backup-simplify]: Simplify (- 0) into 0
15.835 * [backup-simplify]: Simplify 0 into 0
15.836 * [backup-simplify]: Simplify 0 into 0
15.836 * [backup-simplify]: Simplify 0 into 0
15.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.839 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
15.841 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
15.841 * [backup-simplify]: Simplify (- 0) into 0
15.841 * [backup-simplify]: Simplify (+ 0 0) into 0
15.841 * [taylor]: Taking taylor expansion of 0 in y
15.841 * [backup-simplify]: Simplify 0 into 0
15.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.844 * [backup-simplify]: Simplify (- 0) into 0
15.844 * [backup-simplify]: Simplify 0 into 0
15.844 * [backup-simplify]: Simplify 0 into 0
15.844 * [backup-simplify]: Simplify 0 into 0
15.845 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (- (pow x 2) (pow y 2))
15.846 * * * [progress]: simplifying candidates
15.846 * * * * [progress]: [ 1 / 21 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (- (* x x) (* y y)))))>
15.846 * * * * [progress]: [ 2 / 21 ] simplifiying candidate #<alt (λ (x y) (+ (fma x x (- (* y y))) (fma (- y) y (* y y))))>
15.846 * * * * [progress]: [ 3 / 21 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (- (* x x) (* y y)))))>
15.846 * * * * [progress]: [ 4 / 21 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (- (* x x) (* y y)))))>
15.846 * * * * [progress]: [ 5 / 21 ] simplifiying candidate #<alt (λ (x y) (fma x x (- (* y y))))>
15.846 * * * * [progress]: [ 6 / 21 ] simplifiying candidate #<alt (λ (x y) (log (/ (exp (* x x)) (exp (* y y)))))>
15.846 * * * * [progress]: [ 7 / 21 ] simplifiying candidate #<alt (λ (x y) (pow (- (* x x) (* y y)) 1))>
15.846 * * * * [progress]: [ 8 / 21 ] simplifiying candidate #<alt (λ (x y) (exp (log (- (* x x) (* y y)))))>
15.846 * * * * [progress]: [ 9 / 21 ] simplifiying candidate #<alt (λ (x y) (log (exp (- (* x x) (* y y)))))>
15.846 * * * * [progress]: [ 10 / 21 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (cbrt (- (* x x) (* y y)))))>
15.846 * * * * [progress]: [ 11 / 21 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (- (* x x) (* y y)) (- (* x x) (* y y))) (- (* x x) (* y y)))))>
15.846 * * * * [progress]: [ 12 / 21 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y)))))>
15.846 * * * * [progress]: [ 13 / 21 ] 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))))))>
15.846 * * * * [progress]: [ 14 / 21 ] simplifiying candidate #<alt (λ (x y) (+ (* x x) (- (* y y))))>
15.846 * * * * [progress]: [ 15 / 21 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (* x x) (* y y))))>
15.846 * * * * [progress]: [ 16 / 21 ] simplifiying candidate #<alt (λ (x y) (/ (- (* (* x x) (* x x)) (* (* y y) (* y y))) (+ (* x x) (* y y))))>
15.846 * * * * [progress]: [ 17 / 21 ] simplifiying candidate #<alt (λ (x y) (* (+ x y) (- x y)))>
15.846 * * * * [progress]: [ 18 / 21 ] simplifiying candidate #<alt (λ (x y) (+ (* x x) (- (* y y))))>
15.846 * * * * [progress]: [ 19 / 21 ] simplifiying candidate #<alt (λ (x y) (- (pow x 2) (pow y 2)))>
15.846 * * * * [progress]: [ 20 / 21 ] simplifiying candidate #<alt (λ (x y) (- (pow x 2) (pow y 2)))>
15.846 * * * * [progress]: [ 21 / 21 ] simplifiying candidate #<alt (λ (x y) (- (pow x 2) (pow y 2)))>
15.847 * [simplify]: Simplifying:
  (real->posit16 (- (* x x) (* y y)))
  (fma x x (- (* y y)))
  (fma (- y) y (* y y))
  (expm1 (- (* x x) (* y y)))
  (log1p (- (* x x) (* y y)))
  (- (* y y))
  (/ (exp (* x x)) (exp (* y y)))
  (log (- (* x x) (* y y)))
  (exp (- (* x x) (* y y)))
  (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))
  (cbrt (- (* x x) (* y y)))
  (* (* (- (* x x) (* y y)) (- (* x x) (* y y))) (- (* x x) (* y y)))
  (sqrt (- (* x x) (* y y)))
  (sqrt (- (* x x) (* y y)))
  (- (pow (* x x) 3) (pow (* y y) 3))
  (+ (* (* x x) (* x x)) (+ (* (* y y) (* y y)) (* (* x x) (* y y))))
  (- (* y y))
  (- (* (* x x) (* x x)) (* (* y y) (* y y)))
  (+ (* x x) (* y y))
  (+ x y)
  (- x y)
  (- (* y y))
  (- (pow x 2) (pow y 2))
  (- (pow x 2) (pow y 2))
  (- (pow x 2) (pow y 2))
15.847 * * [simplify]: iteration 0: 39 enodes
15.877 * * [simplify]: iteration 1: 104 enodes
15.988 * * [simplify]: iteration 2: 316 enodes
16.478 * * [simplify]: iteration 3: 1433 enodes
18.291 * * [simplify]: iteration complete: 5006 enodes
18.291 * * [simplify]: Extracting #0: cost 18 inf + 0
18.293 * * [simplify]: Extracting #1: cost 335 inf + 1
18.301 * * [simplify]: Extracting #2: cost 1240 inf + 5637
18.344 * * [simplify]: Extracting #3: cost 959 inf + 109827
18.447 * * [simplify]: Extracting #4: cost 140 inf + 302500
18.529 * * [simplify]: Extracting #5: cost 32 inf + 330762
18.609 * * [simplify]: Extracting #6: cost 7 inf + 334192
18.743 * * [simplify]: Extracting #7: cost 0 inf + 336243
18.866 * [simplify]: Simplified to:
  (real->posit16 (- (* x x) (* y y)))
  (- (* x x) (* y y))
  0
  (expm1 (- (* x x) (* y y)))
  (log1p (- (* x x) (* y y)))
  (* y (- y))
  (exp (- (* x x) (* 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)))
  (- (* (* x (* x x)) (* x (* x x))) (* (* (* y y) (* y y)) (* y y)))
  (fma (* x x) (* y y) (fma (* y y) (* y y) (* (* x x) (* x x))))
  (* y (- y))
  (- (* (* x x) (* x x)) (* (* y y) (* y y)))
  (fma x x (* y y))
  (+ x y)
  (- x y)
  (* y (- y))
  (- (* x x) (* y y))
  (- (* x x) (* y y))
  (- (* x x) (* y y))
18.867 * * * [progress]: adding candidates to table
19.043 * * [progress]: iteration 2 / 4
19.043 * * * [progress]: picking best candidate
19.058 * * * * [pick]: Picked  #<alt (λ (x y) (* (+ x y) (- x y)))>
19.058 * * * [progress]: localizing error
19.069 * * * [progress]: generating rewritten candidates
19.070 * * * [progress]: generating series expansions
19.070 * * * [progress]: simplifying candidates
19.070 * [simplify]: Simplifying:
  
19.070 * * [simplify]: iteration 0: 0 enodes
19.070 * * [simplify]: iteration complete: 0 enodes
19.070 * * [simplify]: Extracting #0: cost 0 inf + 0
19.070 * [simplify]: Simplified to:
  
19.070 * * * [progress]: adding candidates to table
19.071 * [progress]: [Phase 3 of 3] Extracting.
19.079 * [simplify]: Simplifying:
  (* (+ x y) (- x y))
19.079 * * [simplify]: iteration 0: 5 enodes
19.080 * * [simplify]: iteration 1: 7 enodes
19.080 * * [simplify]: iteration complete: 7 enodes
19.080 * * [simplify]: Extracting #0: cost 1 inf + 0
19.080 * * [simplify]: Extracting #1: cost 3 inf + 0
19.080 * * [simplify]: Extracting #2: cost 5 inf + 0
19.080 * * [simplify]: Extracting #3: cost 3 inf + 2
19.081 * * [simplify]: Extracting #4: cost 0 inf + 208
19.081 * [simplify]: Simplified to:
  (* (+ y x) (- x y))
21.265 * [regime-testing]: Baseline error score: 0.0005000625078134767
21.312 * [regime-testing]: Oracle error score: 0.0005000625078134767
21.313 * [regime-testing]: End program error score: 0.0005000625078134767