11.024 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.025 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying:
  (sqrt (fabs (- x y)))
0.026 * * [simplify]: iteration 0: 5 enodes
0.027 * * [simplify]: iteration 1: 7 enodes
0.029 * * [simplify]: iteration 2: 8 enodes
0.031 * * [simplify]: iteration complete: 8 enodes
0.031 * * [simplify]: Extracting #0: cost 1 inf + 0
0.031 * * [simplify]: Extracting #1: cost 2 inf + 0
0.031 * * [simplify]: Extracting #2: cost 3 inf + 0
0.031 * * [simplify]: Extracting #3: cost 6 inf + 0
0.031 * * [simplify]: Extracting #4: cost 3 inf + 43
0.031 * * [simplify]: Extracting #5: cost 0 inf + 289
0.032 * [simplify]: Simplified to:
  (sqrt (fabs (- x y)))
0.033 * * [progress]: iteration 1 / 4
0.033 * * * [progress]: picking best candidate
0.039 * * * * [pick]: Picked  #<alt (λ (x y) (sqrt (fabs (- x y))))>
0.039 * * * [progress]: localizing error
0.059 * * * [progress]: generating rewritten candidates
0.059 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.061 * * * [progress]: generating series expansions
0.061 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.061 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
0.061 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0
0.061 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
0.061 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
0.063 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
0.063 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
0.063 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
0.063 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
0.063 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
0.064 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
0.064 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
0.064 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
0.064 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
0.064 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
0.064 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
0.064 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
0.064 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
0.064 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
0.064 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
0.064 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
0.065 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
0.065 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
0.065 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
0.065 * [taylor]: Taking taylor expansion of 0 in y
0.065 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify 0 into 0
0.066 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
0.066 * [taylor]: Taking taylor expansion of 0 in y
0.067 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
0.067 * [backup-simplify]: Simplify 0 into 0
0.068 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0
0.068 * [taylor]: Taking taylor expansion of 0 in y
0.068 * [backup-simplify]: Simplify 0 into 0
0.068 * [backup-simplify]: Simplify 0 into 0
0.068 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
0.069 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
0.069 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0
0.069 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
0.069 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
0.069 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.069 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
0.069 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
0.069 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
0.069 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
0.069 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.070 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
0.070 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
0.070 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
0.070 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
0.070 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.070 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
0.070 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
0.071 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
0.071 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
0.071 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.071 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
0.071 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
0.071 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
0.071 * [taylor]: Taking taylor expansion of 0 in y
0.071 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
0.073 * [taylor]: Taking taylor expansion of 0 in y
0.073 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify 0 into 0
0.074 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
0.074 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
0.075 * [taylor]: Taking taylor expansion of 0 in y
0.075 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y)))
0.075 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
0.075 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0
0.075 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
0.075 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
0.076 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.076 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
0.076 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
0.076 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
0.076 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
0.076 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.076 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
0.077 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
0.077 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
0.077 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
0.077 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.077 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
0.077 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
0.077 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
0.077 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
0.077 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.078 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
0.078 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
0.078 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
0.078 * [taylor]: Taking taylor expansion of 0 in y
0.078 * [backup-simplify]: Simplify 0 into 0
0.078 * [backup-simplify]: Simplify 0 into 0
0.078 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
0.079 * [taylor]: Taking taylor expansion of 0 in y
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify 0 into 0
0.080 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
0.080 * [backup-simplify]: Simplify 0 into 0
0.081 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
0.081 * [taylor]: Taking taylor expansion of 0 in y
0.081 * [backup-simplify]: Simplify 0 into 0
0.081 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y)))
0.082 * * * [progress]: simplifying candidates
0.082 * [simplify]: Simplifying:
  (log (sqrt (fabs (- x y))))
  (exp (sqrt (fabs (- x y))))
  (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))
  (cbrt (sqrt (fabs (- x y))))
  (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))
  (sqrt (cbrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt 1)
  (sqrt (fabs (- x y)))
  (/ 1 2)
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
0.082 * * [simplify]: iteration 0: 20 enodes
0.090 * * [simplify]: iteration 1: 27 enodes
0.096 * * [simplify]: iteration 2: 31 enodes
0.104 * * [simplify]: iteration 3: 35 enodes
0.114 * * [simplify]: iteration 4: 43 enodes
0.127 * * [simplify]: iteration 5: 62 enodes
0.147 * * [simplify]: iteration 6: 96 enodes
0.176 * * [simplify]: iteration 7: 171 enodes
0.241 * * [simplify]: iteration 8: 390 enodes
0.614 * * [simplify]: iteration 9: 1256 enodes
1.868 * * [simplify]: iteration complete: 5001 enodes
1.868 * * [simplify]: Extracting #0: cost 11 inf + 0
1.869 * * [simplify]: Extracting #1: cost 298 inf + 2
1.876 * * [simplify]: Extracting #2: cost 1486 inf + 5
1.885 * * [simplify]: Extracting #3: cost 1586 inf + 142
1.895 * * [simplify]: Extracting #4: cost 1602 inf + 1446
1.907 * * [simplify]: Extracting #5: cost 1546 inf + 3957
1.920 * * [simplify]: Extracting #6: cost 1454 inf + 45895
1.979 * * [simplify]: Extracting #7: cost 726 inf + 749129
2.146 * * [simplify]: Extracting #8: cost 59 inf + 1470334
2.323 * * [simplify]: Extracting #9: cost 0 inf + 1521923
2.560 * * [simplify]: Extracting #10: cost 0 inf + 1519580
2.776 * [simplify]: Simplified to:
  (log (sqrt (fabs (- x y))))
  (exp (sqrt (fabs (- x y))))
  (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))
  (cbrt (sqrt (fabs (- x y))))
  (* (sqrt (fabs (- x y))) (fabs (- x y)))
  (fabs (cbrt (fabs (- x y))))
  (sqrt (cbrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  1
  (sqrt (fabs (- x y)))
  1/2
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
2.777 * * * [progress]: adding candidates to table
2.834 * * [progress]: iteration 2 / 4
2.834 * * * [progress]: picking best candidate
2.841 * * * * [pick]: Picked  #<alt (λ (x y) (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))>
2.841 * * * [progress]: localizing error
2.864 * * * [progress]: generating rewritten candidates
2.864 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.872 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.891 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
2.894 * * * [progress]: generating series expansions
2.894 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.894 * [backup-simplify]: Simplify (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))) into (sqrt (fabs (- x y)))
2.894 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0
2.894 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
2.894 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.894 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.895 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
2.895 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
2.895 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
2.895 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.895 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.895 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
2.895 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
2.895 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
2.895 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.895 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.895 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
2.895 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
2.895 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
2.895 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.896 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.896 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
2.896 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
2.896 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
2.896 * [taylor]: Taking taylor expansion of 0 in y
2.896 * [backup-simplify]: Simplify 0 into 0
2.896 * [backup-simplify]: Simplify 0 into 0
2.896 * [backup-simplify]: Simplify 0 into 0
2.897 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
2.897 * [taylor]: Taking taylor expansion of 0 in y
2.897 * [backup-simplify]: Simplify 0 into 0
2.897 * [backup-simplify]: Simplify 0 into 0
2.897 * [backup-simplify]: Simplify 0 into 0
2.898 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
2.898 * [backup-simplify]: Simplify 0 into 0
2.899 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0
2.899 * [taylor]: Taking taylor expansion of 0 in y
2.899 * [backup-simplify]: Simplify 0 into 0
2.899 * [backup-simplify]: Simplify 0 into 0
2.899 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
2.899 * [backup-simplify]: Simplify (cbrt (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y))))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
2.899 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0
2.899 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
2.899 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.899 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.900 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
2.900 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.900 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
2.900 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.900 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.900 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
2.900 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.900 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
2.900 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.900 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.901 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
2.901 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.901 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
2.901 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.901 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.901 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
2.901 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.901 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
2.901 * [taylor]: Taking taylor expansion of 0 in y
2.902 * [backup-simplify]: Simplify 0 into 0
2.902 * [backup-simplify]: Simplify 0 into 0
2.902 * [backup-simplify]: Simplify 0 into 0
2.902 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.902 * [taylor]: Taking taylor expansion of 0 in y
2.902 * [backup-simplify]: Simplify 0 into 0
2.902 * [backup-simplify]: Simplify 0 into 0
2.903 * [backup-simplify]: Simplify 0 into 0
2.903 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.903 * [backup-simplify]: Simplify 0 into 0
2.904 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.904 * [taylor]: Taking taylor expansion of 0 in y
2.904 * [backup-simplify]: Simplify 0 into 0
2.904 * [backup-simplify]: Simplify 0 into 0
2.904 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y)))
2.905 * [backup-simplify]: Simplify (cbrt (* (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
2.905 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0
2.905 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
2.905 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.905 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.905 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
2.905 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.905 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
2.905 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.905 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.906 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
2.906 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.906 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
2.906 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.906 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.906 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
2.906 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.906 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
2.906 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.907 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.907 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
2.907 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.907 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
2.907 * [taylor]: Taking taylor expansion of 0 in y
2.907 * [backup-simplify]: Simplify 0 into 0
2.907 * [backup-simplify]: Simplify 0 into 0
2.907 * [backup-simplify]: Simplify 0 into 0
2.908 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.908 * [taylor]: Taking taylor expansion of 0 in y
2.908 * [backup-simplify]: Simplify 0 into 0
2.908 * [backup-simplify]: Simplify 0 into 0
2.908 * [backup-simplify]: Simplify 0 into 0
2.909 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.909 * [backup-simplify]: Simplify 0 into 0
2.910 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.910 * [taylor]: Taking taylor expansion of 0 in y
2.910 * [backup-simplify]: Simplify 0 into 0
2.910 * [backup-simplify]: Simplify 0 into 0
2.910 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y)))
2.910 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.910 * [backup-simplify]: Simplify (* (sqrt (fabs (- x y))) (fabs (- x y))) into (sqrt (pow (fabs (- x y)) 3))
2.910 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (- x y)) 3)) in (x y) around 0
2.910 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- x y)) 3)) in y
2.910 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in y
2.910 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.910 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.911 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2)
2.911 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3)
2.911 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3))
2.912 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (fabs (- x y)))) into 0
2.912 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (pow (fabs (- x y)) 2))) into 0
2.912 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
2.912 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- x y)) 3)) in x
2.912 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in x
2.912 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.912 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.913 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2)
2.913 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3)
2.913 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3))
2.913 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (fabs (- x y)))) into 0
2.913 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (pow (fabs (- x y)) 2))) into 0
2.914 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
2.914 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- x y)) 3)) in x
2.914 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in x
2.914 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.914 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.914 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2)
2.914 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3)
2.914 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3))
2.914 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (fabs (- x y)))) into 0
2.915 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (pow (fabs (- x y)) 2))) into 0
2.915 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
2.915 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- x y)) 3)) in y
2.915 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in y
2.915 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.915 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.915 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2)
2.916 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3)
2.916 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3))
2.916 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (fabs (- x y)))) into 0
2.916 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (pow (fabs (- x y)) 2))) into 0
2.916 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
2.917 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3))
2.917 * [taylor]: Taking taylor expansion of 0 in y
2.917 * [backup-simplify]: Simplify 0 into 0
2.917 * [backup-simplify]: Simplify 0 into 0
2.917 * [backup-simplify]: Simplify 0 into 0
2.917 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (fabs (- x y))))) into 0
2.918 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (pow (fabs (- x y)) 2)))) into 0
2.919 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
2.919 * [taylor]: Taking taylor expansion of 0 in y
2.919 * [backup-simplify]: Simplify 0 into 0
2.919 * [backup-simplify]: Simplify 0 into 0
2.919 * [backup-simplify]: Simplify 0 into 0
2.920 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (fabs (- x y))))) into 0
2.920 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (pow (fabs (- x y)) 2)))) into 0
2.921 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
2.921 * [backup-simplify]: Simplify 0 into 0
2.922 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (- x y)))))) into 0
2.923 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (- x y)) 2))))) into 0
2.924 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
2.924 * [taylor]: Taking taylor expansion of 0 in y
2.924 * [backup-simplify]: Simplify 0 into 0
2.924 * [backup-simplify]: Simplify 0 into 0
2.924 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3))
2.924 * [backup-simplify]: Simplify (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
2.924 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in (x y) around 0
2.924 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in y
2.924 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in y
2.925 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.925 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.925 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2)
2.925 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3)
2.926 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
2.926 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0
2.926 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) into 0
2.927 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
2.927 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in x
2.927 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in x
2.927 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.927 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.927 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2)
2.927 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3)
2.928 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
2.928 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0
2.928 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) into 0
2.929 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
2.929 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in x
2.929 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in x
2.929 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.929 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.929 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2)
2.929 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3)
2.930 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
2.930 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0
2.930 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) into 0
2.931 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
2.931 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in y
2.931 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in y
2.931 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.931 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.931 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2)
2.932 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3)
2.932 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
2.932 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0
2.933 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) into 0
2.933 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
2.933 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
2.933 * [taylor]: Taking taylor expansion of 0 in y
2.933 * [backup-simplify]: Simplify 0 into 0
2.933 * [backup-simplify]: Simplify 0 into 0
2.933 * [backup-simplify]: Simplify 0 into 0
2.934 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.935 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2)))) into 0
2.936 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
2.936 * [taylor]: Taking taylor expansion of 0 in y
2.936 * [backup-simplify]: Simplify 0 into 0
2.936 * [backup-simplify]: Simplify 0 into 0
2.936 * [backup-simplify]: Simplify 0 into 0
2.937 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.938 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2)))) into 0
2.939 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
2.939 * [backup-simplify]: Simplify 0 into 0
2.940 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0
2.942 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))))) into 0
2.943 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
2.943 * [taylor]: Taking taylor expansion of 0 in y
2.943 * [backup-simplify]: Simplify 0 into 0
2.943 * [backup-simplify]: Simplify 0 into 0
2.943 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) 3)) into (sqrt (pow (fabs (- x y)) 3))
2.944 * [backup-simplify]: Simplify (* (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
2.944 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in (x y) around 0
2.944 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in y
2.944 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in y
2.944 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.944 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.944 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2)
2.945 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3)
2.945 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
2.945 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))) into 0
2.946 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) into 0
2.946 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
2.946 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in x
2.946 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in x
2.946 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.946 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.946 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2)
2.947 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3)
2.947 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
2.947 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))) into 0
2.948 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) into 0
2.948 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
2.948 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in x
2.948 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in x
2.948 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.948 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.949 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2)
2.949 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3)
2.949 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
2.949 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))) into 0
2.950 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) into 0
2.950 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
2.950 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in y
2.950 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in y
2.950 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.950 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.951 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2)
2.951 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3)
2.951 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
2.952 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))) into 0
2.952 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) into 0
2.952 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
2.953 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
2.953 * [taylor]: Taking taylor expansion of 0 in y
2.953 * [backup-simplify]: Simplify 0 into 0
2.953 * [backup-simplify]: Simplify 0 into 0
2.953 * [backup-simplify]: Simplify 0 into 0
2.954 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.954 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2)))) into 0
2.955 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
2.955 * [taylor]: Taking taylor expansion of 0 in y
2.955 * [backup-simplify]: Simplify 0 into 0
2.955 * [backup-simplify]: Simplify 0 into 0
2.955 * [backup-simplify]: Simplify 0 into 0
2.956 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.957 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2)))) into 0
2.958 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
2.958 * [backup-simplify]: Simplify 0 into 0
2.959 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0
2.960 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))))) into 0
2.961 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
2.961 * [taylor]: Taking taylor expansion of 0 in y
2.961 * [backup-simplify]: Simplify 0 into 0
2.961 * [backup-simplify]: Simplify 0 into 0
2.961 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) 3)) into (sqrt (pow (fabs (- x y)) 3))
2.962 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
2.962 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
2.962 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0
2.962 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
2.962 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.962 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.962 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
2.962 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
2.962 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
2.962 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.962 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.962 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
2.962 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
2.962 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
2.963 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.963 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.963 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
2.963 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
2.963 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
2.963 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.963 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.963 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
2.963 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
2.963 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
2.963 * [taylor]: Taking taylor expansion of 0 in y
2.963 * [backup-simplify]: Simplify 0 into 0
2.963 * [backup-simplify]: Simplify 0 into 0
2.963 * [backup-simplify]: Simplify 0 into 0
2.964 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
2.965 * [taylor]: Taking taylor expansion of 0 in y
2.965 * [backup-simplify]: Simplify 0 into 0
2.965 * [backup-simplify]: Simplify 0 into 0
2.965 * [backup-simplify]: Simplify 0 into 0
2.965 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
2.965 * [backup-simplify]: Simplify 0 into 0
2.966 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0
2.966 * [taylor]: Taking taylor expansion of 0 in y
2.966 * [backup-simplify]: Simplify 0 into 0
2.966 * [backup-simplify]: Simplify 0 into 0
2.967 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
2.967 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
2.967 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0
2.967 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
2.967 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.967 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.967 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
2.967 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.967 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
2.967 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.968 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.968 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
2.968 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.968 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
2.968 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.968 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.968 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
2.969 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.969 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
2.969 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.969 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.969 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
2.970 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.970 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
2.970 * [taylor]: Taking taylor expansion of 0 in y
2.970 * [backup-simplify]: Simplify 0 into 0
2.970 * [backup-simplify]: Simplify 0 into 0
2.970 * [backup-simplify]: Simplify 0 into 0
2.971 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.971 * [taylor]: Taking taylor expansion of 0 in y
2.971 * [backup-simplify]: Simplify 0 into 0
2.971 * [backup-simplify]: Simplify 0 into 0
2.971 * [backup-simplify]: Simplify 0 into 0
2.972 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.972 * [backup-simplify]: Simplify 0 into 0
2.973 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
2.973 * [taylor]: Taking taylor expansion of 0 in y
2.973 * [backup-simplify]: Simplify 0 into 0
2.973 * [backup-simplify]: Simplify 0 into 0
2.973 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y)))
2.973 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
2.973 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0
2.973 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
2.973 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.974 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.974 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
2.974 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.974 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
2.974 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.974 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.974 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
2.974 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.974 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
2.974 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.975 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.975 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
2.975 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.975 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
2.975 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.975 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.975 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
2.976 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.976 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
2.976 * [taylor]: Taking taylor expansion of 0 in y
2.976 * [backup-simplify]: Simplify 0 into 0
2.976 * [backup-simplify]: Simplify 0 into 0
2.976 * [backup-simplify]: Simplify 0 into 0
2.977 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.977 * [taylor]: Taking taylor expansion of 0 in y
2.977 * [backup-simplify]: Simplify 0 into 0
2.977 * [backup-simplify]: Simplify 0 into 0
2.977 * [backup-simplify]: Simplify 0 into 0
2.978 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.978 * [backup-simplify]: Simplify 0 into 0
2.979 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
2.979 * [taylor]: Taking taylor expansion of 0 in y
2.979 * [backup-simplify]: Simplify 0 into 0
2.979 * [backup-simplify]: Simplify 0 into 0
2.979 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y)))
2.979 * * * [progress]: simplifying candidates
2.980 * [simplify]: Simplifying:
  (log (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))
  (exp (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))
  (cbrt (sqrt (fabs (- x y))))
  (cbrt (fabs (- x y)))
  (* (cbrt (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y))))) (cbrt (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y))))))
  (cbrt (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))
  (* (* (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))) (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y))))) (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))
  (sqrt (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))
  (sqrt (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))
  (+ 1/2 1)
  (+ (/ 1 2) 1)
  (* (sqrt (fabs (- x y))) (fabs (- x y)))
  (+ 1/2 1)
  (+ (/ 1 2) 1)
  (+ (log (sqrt (fabs (- x y)))) (log (fabs (- x y))))
  (log (* (sqrt (fabs (- x y))) (fabs (- x y))))
  (exp (* (sqrt (fabs (- x y))) (fabs (- x y))))
  (* (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))))
  (* (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))) (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))
  (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y))))
  (* (* (* (sqrt (fabs (- x y))) (fabs (- x y))) (* (sqrt (fabs (- x y))) (fabs (- x y)))) (* (sqrt (fabs (- x y))) (fabs (- x y))))
  (sqrt (* (sqrt (fabs (- x y))) (fabs (- x y))))
  (sqrt (* (sqrt (fabs (- x y))) (fabs (- x y))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (* (sqrt (fabs (- x y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))
  (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y))))
  (* (sqrt (fabs (- x y))) 1)
  (* (cbrt (sqrt (fabs (- x y)))) (fabs (- x y)))
  (* (sqrt (cbrt (fabs (- x y)))) (fabs (- x y)))
  (* (sqrt (sqrt (fabs (- x y)))) (fabs (- x y)))
  (* (sqrt (fabs (- x y))) (fabs (- x y)))
  (* (sqrt (sqrt (fabs (- x y)))) (fabs (- x y)))
  (* (sqrt (fabs (- x y))) (fabs (- x y)))
  (log (sqrt (fabs (- x y))))
  (exp (sqrt (fabs (- x y))))
  (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))
  (cbrt (sqrt (fabs (- x y))))
  (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))
  (sqrt (cbrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt 1)
  (sqrt (fabs (- x y)))
  (/ 1 2)
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (sqrt (pow (fabs (- x y)) 3))
  (sqrt (pow (fabs (- x y)) 3))
  (sqrt (pow (fabs (- x y)) 3))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
2.981 * * [simplify]: iteration 0: 51 enodes
3.003 * * [simplify]: iteration 1: 99 enodes
3.056 * * [simplify]: iteration 2: 217 enodes
3.148 * * [simplify]: iteration 3: 391 enodes
3.279 * * [simplify]: iteration 4: 625 enodes
3.911 * * [simplify]: iteration 5: 1685 enodes
5.750 * * [simplify]: iteration complete: 5000 enodes
5.750 * * [simplify]: Extracting #0: cost 24 inf + 0
5.751 * * [simplify]: Extracting #1: cost 362 inf + 3
5.754 * * [simplify]: Extracting #2: cost 1055 inf + 710
5.759 * * [simplify]: Extracting #3: cost 1184 inf + 3595
5.770 * * [simplify]: Extracting #4: cost 1189 inf + 9155
5.780 * * [simplify]: Extracting #5: cost 976 inf + 55577
5.836 * * [simplify]: Extracting #6: cost 443 inf + 293059
5.946 * * [simplify]: Extracting #7: cost 57 inf + 509902
6.065 * * [simplify]: Extracting #8: cost 0 inf + 542298
6.189 * * [simplify]: Extracting #9: cost 0 inf + 541027
6.273 * [simplify]: Simplified to:
  (log (sqrt (fabs (- x y))))
  (exp (sqrt (fabs (- x y))))
  (cbrt (sqrt (fabs (- x y))))
  (cbrt (fabs (- x y)))
  (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))
  (cbrt (sqrt (fabs (- x y))))
  (* (sqrt (fabs (- x y))) (fabs (- x y)))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  3/2
  3/2
  (* (sqrt (fabs (- x y))) (fabs (- x y)))
  3/2
  3/2
  (log (* (sqrt (fabs (- x y))) (fabs (- x y))))
  (log (* (sqrt (fabs (- x y))) (fabs (- x y))))
  (exp (* (sqrt (fabs (- x y))) (fabs (- x y))))
  (* (* (* (fabs (- x y)) (fabs (- x y))) (* (fabs (- x y)) (fabs (- x y)))) (sqrt (fabs (- x y))))
  (fabs (- x y))
  (sqrt (fabs (- x y)))
  (* (* (* (fabs (- x y)) (fabs (- x y))) (* (fabs (- x y)) (fabs (- x y)))) (sqrt (fabs (- x y))))
  (sqrt (* (sqrt (fabs (- x y))) (fabs (- x y))))
  (sqrt (* (sqrt (fabs (- x y))) (fabs (- x y))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (* (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (fabs (- x y))
  (sqrt (fabs (- x y)))
  (* (fabs (- x y)) (cbrt (sqrt (fabs (- x y)))))
  (* (fabs (- x y)) (sqrt (cbrt (fabs (- x y)))))
  (* (fabs (- x y)) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (fabs (- x y))) (fabs (- x y)))
  (* (fabs (- x y)) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (fabs (- x y))) (fabs (- x y)))
  (log (sqrt (fabs (- x y))))
  (exp (sqrt (fabs (- x y))))
  (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))
  (cbrt (sqrt (fabs (- x y))))
  (* (sqrt (fabs (- x y))) (fabs (- x y)))
  (fabs (cbrt (fabs (- x y))))
  (sqrt (cbrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  1
  (sqrt (fabs (- x y)))
  1/2
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (sqrt (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))))
  (sqrt (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))))
  (sqrt (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
6.275 * * * [progress]: adding candidates to table
6.445 * [progress]: [Phase 3 of 3] Extracting.
6.445 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (sqrt (fabs (- x y))))> #<alt (λ (x y) (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))>)
6.445 * * * [regime-changes]: Trying 5 branch expressions: ((- x y) (fabs (- x y)) (sqrt (fabs (- x y))) y x)
6.445 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y) (sqrt (fabs (- x y))))> #<alt (λ (x y) (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))>)
6.471 * * * * [regimes]: Trying to branch on (fabs (- x y)) from (#<alt (λ (x y) (sqrt (fabs (- x y))))> #<alt (λ (x y) (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))>)
6.503 * * * * [regimes]: Trying to branch on (sqrt (fabs (- x y))) from (#<alt (λ (x y) (sqrt (fabs (- x y))))> #<alt (λ (x y) (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))>)
6.537 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (sqrt (fabs (- x y))))> #<alt (λ (x y) (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))>)
6.572 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (sqrt (fabs (- x y))))> #<alt (λ (x y) (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))>)
6.620 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
6.621 * [simplify]: Simplifying:
  (sqrt (fabs (- x y)))
6.621 * * [simplify]: iteration 0: 5 enodes
6.621 * * [simplify]: iteration complete: 5 enodes
6.621 * * [simplify]: Extracting #0: cost 1 inf + 0
6.621 * * [simplify]: Extracting #1: cost 2 inf + 0
6.621 * * [simplify]: Extracting #2: cost 3 inf + 0
6.621 * * [simplify]: Extracting #3: cost 5 inf + 0
6.621 * * [simplify]: Extracting #4: cost 3 inf + 2
6.622 * * [simplify]: Extracting #5: cost 0 inf + 248
6.622 * [simplify]: Simplified to:
  (sqrt (fabs (- x y)))
7.417 * [regime-testing]: Baseline error score: 0.007125890736342043
7.425 * [regime-testing]: Oracle error score: 0.004875609451181397
7.456 * [regime-testing]: End program error score: 0.007125890736342043