14.054 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.029 * [progress]: [Phase 2 of 3] Improving.
0.030 * [simplify]: Simplifying:
  (sqrt (fabs (- x y)))
0.030 * * [simplify]: iteration 0: 5 enodes
0.031 * * [simplify]: iteration 1: 7 enodes
0.033 * * [simplify]: iteration 2: 8 enodes
0.035 * * [simplify]: iteration complete: 8 enodes
0.035 * * [simplify]: Extracting #0: cost 1 inf + 0
0.035 * * [simplify]: Extracting #1: cost 2 inf + 0
0.035 * * [simplify]: Extracting #2: cost 3 inf + 0
0.035 * * [simplify]: Extracting #3: cost 6 inf + 0
0.036 * * [simplify]: Extracting #4: cost 3 inf + 43
0.036 * * [simplify]: Extracting #5: cost 0 inf + 289
0.036 * [simplify]: Simplified to:
  (sqrt (fabs (- x y)))
0.037 * * [progress]: iteration 1 / 4
0.037 * * * [progress]: picking best candidate
0.044 * * * * [pick]: Picked  #<alt (λ (x y) (sqrt (fabs (- x y))))>
0.044 * * * [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.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.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.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 * [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.066 * [backup-simplify]: Simplify 0 into 0
0.066 * [backup-simplify]: Simplify 0 into 0
0.066 * [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.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.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.071 * [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.072 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
0.072 * [taylor]: Taking taylor expansion of 0 in y
0.072 * [backup-simplify]: Simplify 0 into 0
0.072 * [backup-simplify]: Simplify 0 into 0
0.072 * [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.089 * * [simplify]: iteration 1: 27 enodes
0.096 * * [simplify]: iteration 2: 31 enodes
0.114 * * [simplify]: iteration 3: 35 enodes
0.125 * * [simplify]: iteration 4: 43 enodes
0.132 * * [simplify]: iteration 5: 62 enodes
0.142 * * [simplify]: iteration 6: 96 enodes
0.157 * * [simplify]: iteration 7: 171 enodes
0.230 * * [simplify]: iteration 8: 390 enodes
0.543 * * [simplify]: iteration 9: 1256 enodes
2.480 * * [simplify]: iteration complete: 5001 enodes
2.480 * * [simplify]: Extracting #0: cost 11 inf + 0
2.481 * * [simplify]: Extracting #1: cost 298 inf + 2
2.489 * * [simplify]: Extracting #2: cost 1486 inf + 5
2.495 * * [simplify]: Extracting #3: cost 1586 inf + 142
2.501 * * [simplify]: Extracting #4: cost 1602 inf + 1446
2.507 * * [simplify]: Extracting #5: cost 1546 inf + 3957
2.516 * * [simplify]: Extracting #6: cost 1454 inf + 45895
2.600 * * [simplify]: Extracting #7: cost 726 inf + 749129
2.794 * * [simplify]: Extracting #8: cost 59 inf + 1470334
3.004 * * [simplify]: Extracting #9: cost 0 inf + 1521923
3.169 * * [simplify]: Extracting #10: cost 0 inf + 1519580
3.360 * [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)))
3.361 * * * [progress]: adding candidates to table
3.427 * * [progress]: iteration 2 / 4
3.427 * * * [progress]: picking best candidate
3.431 * * * * [pick]: Picked  #<alt (λ (x y) (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))>
3.431 * * * [progress]: localizing error
3.446 * * * [progress]: generating rewritten candidates
3.447 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
3.455 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
3.471 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
3.475 * * * [progress]: generating series expansions
3.475 * * * * [progress]: [ 1 / 3 ] generating series at (2)
3.476 * [backup-simplify]: Simplify (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))) into (sqrt (fabs (- x y)))
3.476 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0
3.476 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
3.476 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.476 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.476 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.476 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.476 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
3.476 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.476 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.476 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.477 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.477 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
3.477 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.477 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.477 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.477 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.477 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
3.477 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.477 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.477 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.478 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.478 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.478 * [taylor]: Taking taylor expansion of 0 in y
3.478 * [backup-simplify]: Simplify 0 into 0
3.478 * [backup-simplify]: Simplify 0 into 0
3.478 * [backup-simplify]: Simplify 0 into 0
3.479 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
3.479 * [taylor]: Taking taylor expansion of 0 in y
3.479 * [backup-simplify]: Simplify 0 into 0
3.479 * [backup-simplify]: Simplify 0 into 0
3.479 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
3.480 * [backup-simplify]: Simplify 0 into 0
3.481 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0
3.481 * [taylor]: Taking taylor expansion of 0 in y
3.481 * [backup-simplify]: Simplify 0 into 0
3.481 * [backup-simplify]: Simplify 0 into 0
3.481 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.482 * [backup-simplify]: Simplify (cbrt (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y))))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.482 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0
3.482 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
3.482 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.482 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.482 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.482 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.482 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
3.482 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.483 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.483 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.483 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.483 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
3.483 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.483 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.483 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.484 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.484 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
3.484 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.484 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.484 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.484 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.484 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.484 * [taylor]: Taking taylor expansion of 0 in y
3.485 * [backup-simplify]: Simplify 0 into 0
3.485 * [backup-simplify]: Simplify 0 into 0
3.485 * [backup-simplify]: Simplify 0 into 0
3.486 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.486 * [taylor]: Taking taylor expansion of 0 in y
3.486 * [backup-simplify]: Simplify 0 into 0
3.486 * [backup-simplify]: Simplify 0 into 0
3.486 * [backup-simplify]: Simplify 0 into 0
3.487 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.487 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.488 * [taylor]: Taking taylor expansion of 0 in y
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y)))
3.489 * [backup-simplify]: Simplify (cbrt (* (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.489 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0
3.489 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
3.489 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.489 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.489 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.489 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.489 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
3.489 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.489 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.490 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.490 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.490 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
3.490 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.490 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.490 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.490 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.491 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
3.491 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.491 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.491 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.491 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.491 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.491 * [taylor]: Taking taylor expansion of 0 in y
3.491 * [backup-simplify]: Simplify 0 into 0
3.491 * [backup-simplify]: Simplify 0 into 0
3.492 * [backup-simplify]: Simplify 0 into 0
3.493 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.493 * [taylor]: Taking taylor expansion of 0 in y
3.493 * [backup-simplify]: Simplify 0 into 0
3.493 * [backup-simplify]: Simplify 0 into 0
3.493 * [backup-simplify]: Simplify 0 into 0
3.494 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.494 * [backup-simplify]: Simplify 0 into 0
3.495 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.495 * [taylor]: Taking taylor expansion of 0 in y
3.495 * [backup-simplify]: Simplify 0 into 0
3.495 * [backup-simplify]: Simplify 0 into 0
3.495 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y)))
3.495 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
3.495 * [backup-simplify]: Simplify (* (sqrt (fabs (- x y))) (fabs (- x y))) into (sqrt (pow (fabs (- x y)) 3))
3.495 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (- x y)) 3)) in (x y) around 0
3.495 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- x y)) 3)) in y
3.495 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in y
3.496 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.496 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.496 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2)
3.496 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3)
3.500 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3))
3.501 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (fabs (- x y)))) into 0
3.501 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (pow (fabs (- x y)) 2))) into 0
3.501 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
3.501 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- x y)) 3)) in x
3.501 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in x
3.501 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.501 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.502 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2)
3.502 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3)
3.502 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3))
3.503 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (fabs (- x y)))) into 0
3.503 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (pow (fabs (- x y)) 2))) into 0
3.503 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
3.503 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- x y)) 3)) in x
3.503 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in x
3.503 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.503 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.503 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2)
3.504 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3)
3.504 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3))
3.504 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (fabs (- x y)))) into 0
3.505 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (pow (fabs (- x y)) 2))) into 0
3.505 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
3.505 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- x y)) 3)) in y
3.505 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in y
3.505 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.505 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.505 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2)
3.506 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3)
3.506 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3))
3.506 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (fabs (- x y)))) into 0
3.506 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (pow (fabs (- x y)) 2))) into 0
3.507 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
3.507 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3))
3.507 * [taylor]: Taking taylor expansion of 0 in y
3.507 * [backup-simplify]: Simplify 0 into 0
3.507 * [backup-simplify]: Simplify 0 into 0
3.507 * [backup-simplify]: Simplify 0 into 0
3.508 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (fabs (- x y))))) into 0
3.509 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (pow (fabs (- x y)) 2)))) into 0
3.509 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
3.510 * [taylor]: Taking taylor expansion of 0 in y
3.510 * [backup-simplify]: Simplify 0 into 0
3.510 * [backup-simplify]: Simplify 0 into 0
3.510 * [backup-simplify]: Simplify 0 into 0
3.510 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (fabs (- x y))))) into 0
3.511 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (pow (fabs (- x y)) 2)))) into 0
3.512 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
3.512 * [backup-simplify]: Simplify 0 into 0
3.513 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (- x y)))))) into 0
3.514 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (- x y)) 2))))) into 0
3.515 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0
3.515 * [taylor]: Taking taylor expansion of 0 in y
3.515 * [backup-simplify]: Simplify 0 into 0
3.515 * [backup-simplify]: Simplify 0 into 0
3.516 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3))
3.516 * [backup-simplify]: Simplify (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
3.516 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in (x y) around 0
3.516 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in y
3.516 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in y
3.516 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.516 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.517 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2)
3.517 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3)
3.517 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
3.518 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0
3.518 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) into 0
3.518 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
3.518 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in x
3.518 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in x
3.519 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.519 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.519 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2)
3.519 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3)
3.520 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
3.520 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0
3.521 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) into 0
3.521 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
3.521 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in x
3.521 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in x
3.521 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.521 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.522 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2)
3.522 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3)
3.523 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
3.523 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0
3.523 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) into 0
3.524 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
3.524 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in y
3.524 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in y
3.524 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.524 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.524 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2)
3.525 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3)
3.525 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
3.525 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0
3.526 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) into 0
3.526 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
3.526 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
3.527 * [taylor]: Taking taylor expansion of 0 in y
3.527 * [backup-simplify]: Simplify 0 into 0
3.527 * [backup-simplify]: Simplify 0 into 0
3.527 * [backup-simplify]: Simplify 0 into 0
3.528 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.528 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2)))) into 0
3.529 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
3.529 * [taylor]: Taking taylor expansion of 0 in y
3.529 * [backup-simplify]: Simplify 0 into 0
3.529 * [backup-simplify]: Simplify 0 into 0
3.529 * [backup-simplify]: Simplify 0 into 0
3.529 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.530 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2)))) into 0
3.530 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
3.530 * [backup-simplify]: Simplify 0 into 0
3.531 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0
3.532 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))))) into 0
3.532 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
3.532 * [taylor]: Taking taylor expansion of 0 in y
3.532 * [backup-simplify]: Simplify 0 into 0
3.532 * [backup-simplify]: Simplify 0 into 0
3.532 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) 3)) into (sqrt (pow (fabs (- x y)) 3))
3.533 * [backup-simplify]: Simplify (* (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
3.533 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in (x y) around 0
3.533 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in y
3.533 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in y
3.533 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.533 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.533 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2)
3.533 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3)
3.533 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
3.534 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))) into 0
3.534 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) into 0
3.534 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
3.534 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in x
3.534 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in x
3.534 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.534 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.534 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2)
3.534 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3)
3.535 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
3.535 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))) into 0
3.535 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) into 0
3.535 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
3.535 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in x
3.535 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in x
3.535 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.535 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.535 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2)
3.536 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3)
3.536 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
3.536 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))) into 0
3.536 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) into 0
3.536 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
3.536 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in y
3.536 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in y
3.537 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.537 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.537 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2)
3.537 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3)
3.537 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
3.537 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))) into 0
3.537 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) into 0
3.538 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
3.538 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
3.538 * [taylor]: Taking taylor expansion of 0 in y
3.538 * [backup-simplify]: Simplify 0 into 0
3.538 * [backup-simplify]: Simplify 0 into 0
3.538 * [backup-simplify]: Simplify 0 into 0
3.538 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.539 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2)))) into 0
3.540 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
3.540 * [taylor]: Taking taylor expansion of 0 in y
3.540 * [backup-simplify]: Simplify 0 into 0
3.540 * [backup-simplify]: Simplify 0 into 0
3.540 * [backup-simplify]: Simplify 0 into 0
3.540 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.541 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2)))) into 0
3.541 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
3.541 * [backup-simplify]: Simplify 0 into 0
3.542 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0
3.542 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))))) into 0
3.543 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
3.543 * [taylor]: Taking taylor expansion of 0 in y
3.543 * [backup-simplify]: Simplify 0 into 0
3.543 * [backup-simplify]: Simplify 0 into 0
3.543 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) 3)) into (sqrt (pow (fabs (- x y)) 3))
3.543 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
3.544 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.544 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0
3.544 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
3.544 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.544 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.544 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.544 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.544 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
3.544 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.544 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.544 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.544 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.544 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
3.544 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.544 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.544 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.544 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.544 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
3.544 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.544 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.544 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.545 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.545 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.545 * [taylor]: Taking taylor expansion of 0 in y
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
3.545 * [taylor]: Taking taylor expansion of 0 in y
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify 0 into 0
3.546 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
3.546 * [backup-simplify]: Simplify 0 into 0
3.546 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0
3.546 * [taylor]: Taking taylor expansion of 0 in y
3.546 * [backup-simplify]: Simplify 0 into 0
3.546 * [backup-simplify]: Simplify 0 into 0
3.546 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.547 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.547 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0
3.547 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
3.547 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.547 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.547 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.547 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.547 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
3.547 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.547 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.547 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.547 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.547 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
3.547 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.547 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.547 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.548 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.548 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
3.548 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.548 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.548 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.548 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.548 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.548 * [taylor]: Taking taylor expansion of 0 in y
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.549 * [taylor]: Taking taylor expansion of 0 in y
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.549 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.550 * [taylor]: Taking taylor expansion of 0 in y
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y)))
3.550 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.550 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0
3.550 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
3.550 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.550 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.550 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.550 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.551 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
3.551 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.551 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.551 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.551 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.551 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
3.551 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.551 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.551 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.551 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.551 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
3.551 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.551 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.551 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.551 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.552 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.552 * [taylor]: Taking taylor expansion of 0 in y
3.552 * [backup-simplify]: Simplify 0 into 0
3.552 * [backup-simplify]: Simplify 0 into 0
3.552 * [backup-simplify]: Simplify 0 into 0
3.552 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.552 * [taylor]: Taking taylor expansion of 0 in y
3.552 * [backup-simplify]: Simplify 0 into 0
3.552 * [backup-simplify]: Simplify 0 into 0
3.552 * [backup-simplify]: Simplify 0 into 0
3.553 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.553 * [backup-simplify]: Simplify 0 into 0
3.553 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.553 * [taylor]: Taking taylor expansion of 0 in y
3.553 * [backup-simplify]: Simplify 0 into 0
3.553 * [backup-simplify]: Simplify 0 into 0
3.554 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y)))
3.554 * * * [progress]: simplifying candidates
3.554 * [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)))
3.555 * * [simplify]: iteration 0: 51 enodes
3.570 * * [simplify]: iteration 1: 99 enodes
3.604 * * [simplify]: iteration 2: 217 enodes
3.677 * * [simplify]: iteration 3: 391 enodes
3.808 * * [simplify]: iteration 4: 625 enodes
4.065 * * [simplify]: iteration 5: 1685 enodes
5.754 * * [simplify]: iteration complete: 5000 enodes
5.754 * * [simplify]: Extracting #0: cost 24 inf + 0
5.754 * * [simplify]: Extracting #1: cost 362 inf + 3
5.758 * * [simplify]: Extracting #2: cost 1055 inf + 710
5.763 * * [simplify]: Extracting #3: cost 1184 inf + 3595
5.769 * * [simplify]: Extracting #4: cost 1189 inf + 9155
5.782 * * [simplify]: Extracting #5: cost 976 inf + 55577
5.828 * * [simplify]: Extracting #6: cost 443 inf + 293059
5.931 * * [simplify]: Extracting #7: cost 57 inf + 509902
6.018 * * [simplify]: Extracting #8: cost 0 inf + 542298
6.084 * * [simplify]: Extracting #9: cost 0 inf + 541027
6.148 * [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.150 * * * [progress]: adding candidates to table
6.400 * [progress]: [Phase 3 of 3] Extracting.
6.401 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (sqrt (fabs (- x y))))> #<alt (λ (x y) (cbrt (* (sqrt (fabs (- x y))) (fabs (- x y)))))>)
6.401 * * * [regime-changes]: Trying 5 branch expressions: ((- x y) (fabs (- x y)) (sqrt (fabs (- x y))) y x)
6.401 * * * * [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.430 * * * * [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.466 * * * * [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.504 * * * * [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.542 * * * * [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.573 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
6.573 * [simplify]: Simplifying:
  (sqrt (fabs (- x y)))
6.573 * * [simplify]: iteration 0: 5 enodes
6.574 * * [simplify]: iteration complete: 5 enodes
6.574 * * [simplify]: Extracting #0: cost 1 inf + 0
6.574 * * [simplify]: Extracting #1: cost 2 inf + 0
6.574 * * [simplify]: Extracting #2: cost 3 inf + 0
6.574 * * [simplify]: Extracting #3: cost 5 inf + 0
6.574 * * [simplify]: Extracting #4: cost 3 inf + 2
6.574 * * [simplify]: Extracting #5: cost 0 inf + 248
6.574 * [simplify]: Simplified to:
  (sqrt (fabs (- x y)))
7.436 * [regime-testing]: Baseline error score: 0.007125890736342043
7.444 * [regime-testing]: Oracle error score: 0.004875609451181397
7.461 * [regime-testing]: End program error score: 0.007125890736342043