27.632 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying:
  (sqrt (fabs (- x y)))
0.027 * * [simplify]: iteration 0: 5 enodes
0.028 * * [simplify]: iteration 1: 7 enodes
0.030 * * [simplify]: iteration 2: 8 enodes
0.032 * * [simplify]: iteration complete: 8 enodes
0.032 * * [simplify]: Extracting #0: cost 1 inf + 0
0.032 * * [simplify]: Extracting #1: cost 2 inf + 0
0.032 * * [simplify]: Extracting #2: cost 3 inf + 0
0.032 * * [simplify]: Extracting #3: cost 6 inf + 0
0.032 * * [simplify]: Extracting #4: cost 3 inf + 43
0.032 * * [simplify]: Extracting #5: cost 0 inf + 289
0.033 * [simplify]: Simplified to:
  (sqrt (fabs (- x y)))
0.034 * * [progress]: iteration 1 / 4
0.034 * * * [progress]: picking best candidate
0.045 * * * * [pick]: Picked  #<alt (λ (x y) (sqrt (fabs (- x y))))>
0.045 * * * [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.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.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.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.066 * [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.069 * [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.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.072 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
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 * [backup-simplify]: Simplify 0 into 0
0.074 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
0.074 * [taylor]: Taking taylor expansion of 0 in y
0.074 * [backup-simplify]: Simplify 0 into 0
0.074 * [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.075 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.075 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
0.075 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
0.075 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
0.075 * [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.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 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.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 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
0.077 * [taylor]: Taking taylor expansion of 0 in y
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify 0 into 0
0.078 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
0.078 * [taylor]: Taking taylor expansion of 0 in y
0.078 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [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 * [backup-simplify]: Simplify 0 into 0
0.080 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
0.080 * [taylor]: Taking taylor expansion of 0 in y
0.080 * [backup-simplify]: Simplify 0 into 0
0.080 * [backup-simplify]: Simplify 0 into 0
0.081 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y)))
0.081 * * * [progress]: simplifying candidates
0.081 * [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.102 * * [simplify]: iteration 3: 35 enodes
0.107 * * [simplify]: iteration 4: 43 enodes
0.114 * * [simplify]: iteration 5: 62 enodes
0.125 * * [simplify]: iteration 6: 96 enodes
0.148 * * [simplify]: iteration 7: 171 enodes
0.230 * * [simplify]: iteration 8: 390 enodes
0.641 * * [simplify]: iteration 9: 1256 enodes
2.074 * * [simplify]: iteration complete: 5001 enodes
2.075 * * [simplify]: Extracting #0: cost 11 inf + 0
2.076 * * [simplify]: Extracting #1: cost 298 inf + 2
2.084 * * [simplify]: Extracting #2: cost 1486 inf + 5
2.095 * * [simplify]: Extracting #3: cost 1586 inf + 142
2.106 * * [simplify]: Extracting #4: cost 1602 inf + 1446
2.118 * * [simplify]: Extracting #5: cost 1546 inf + 3957
2.142 * * [simplify]: Extracting #6: cost 1454 inf + 45895
2.206 * * [simplify]: Extracting #7: cost 726 inf + 749129
2.395 * * [simplify]: Extracting #8: cost 59 inf + 1470334
2.572 * * [simplify]: Extracting #9: cost 0 inf + 1521923
2.782 * * [simplify]: Extracting #10: cost 0 inf + 1519580
3.019 * [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.019 * * * [progress]: adding candidates to table
3.081 * * [progress]: iteration 2 / 4
3.081 * * * [progress]: picking best candidate
3.093 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))))>
3.093 * * * [progress]: localizing error
3.119 * * * [progress]: generating rewritten candidates
3.119 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
3.137 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
3.140 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
3.141 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
3.149 * * * [progress]: generating series expansions
3.149 * * * * [progress]: [ 1 / 4 ] generating series at (2)
3.150 * [backup-simplify]: Simplify (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))) into (sqrt (fabs (- x y)))
3.150 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0
3.150 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
3.150 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.150 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.150 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.150 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.150 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
3.150 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.150 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.150 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.150 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.150 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
3.151 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.151 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.151 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.151 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.151 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
3.151 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.151 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.151 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.151 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.151 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.152 * [taylor]: Taking taylor expansion of 0 in y
3.152 * [backup-simplify]: Simplify 0 into 0
3.152 * [backup-simplify]: Simplify 0 into 0
3.152 * [backup-simplify]: Simplify 0 into 0
3.153 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
3.153 * [taylor]: Taking taylor expansion of 0 in y
3.153 * [backup-simplify]: Simplify 0 into 0
3.153 * [backup-simplify]: Simplify 0 into 0
3.153 * [backup-simplify]: Simplify 0 into 0
3.154 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
3.154 * [backup-simplify]: Simplify 0 into 0
3.155 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0
3.155 * [taylor]: Taking taylor expansion of 0 in y
3.155 * [backup-simplify]: Simplify 0 into 0
3.155 * [backup-simplify]: Simplify 0 into 0
3.155 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.155 * [backup-simplify]: Simplify (* (sqrt (sqrt (fabs (- (/ 1 x) (/ 1 y))))) (sqrt (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.155 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0
3.156 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
3.156 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.156 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.156 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.156 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.156 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
3.156 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.156 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.156 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.157 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.157 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
3.157 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.157 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.157 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.157 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.157 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
3.157 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.158 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.158 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.158 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.158 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.158 * [taylor]: Taking taylor expansion of 0 in y
3.158 * [backup-simplify]: Simplify 0 into 0
3.158 * [backup-simplify]: Simplify 0 into 0
3.158 * [backup-simplify]: Simplify 0 into 0
3.160 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.160 * [taylor]: Taking taylor expansion of 0 in y
3.160 * [backup-simplify]: Simplify 0 into 0
3.160 * [backup-simplify]: Simplify 0 into 0
3.160 * [backup-simplify]: Simplify 0 into 0
3.161 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.161 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.162 * [taylor]: Taking taylor expansion of 0 in y
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y)))
3.163 * [backup-simplify]: Simplify (* (sqrt (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) (sqrt (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.163 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0
3.163 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
3.163 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.163 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.163 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.163 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.163 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
3.163 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.164 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.164 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.164 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.164 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
3.164 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.164 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.164 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.165 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.165 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
3.165 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.165 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.165 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.165 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.165 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.166 * [taylor]: Taking taylor expansion of 0 in y
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [backup-simplify]: Simplify 0 into 0
3.166 * [backup-simplify]: Simplify 0 into 0
3.167 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.167 * [taylor]: Taking taylor expansion of 0 in y
3.167 * [backup-simplify]: Simplify 0 into 0
3.167 * [backup-simplify]: Simplify 0 into 0
3.167 * [backup-simplify]: Simplify 0 into 0
3.168 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.168 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.169 * [taylor]: Taking taylor expansion of 0 in y
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y)))
3.169 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
3.169 * [backup-simplify]: Simplify (sqrt (sqrt (fabs (- x y)))) into (pow (fabs (- x y)) 1/4)
3.170 * [approximate]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in (x y) around 0
3.170 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in y
3.170 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in y
3.170 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in y
3.170 * [taylor]: Taking taylor expansion of 1/4 in y
3.170 * [backup-simplify]: Simplify 1/4 into 1/4
3.170 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y
3.170 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.170 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.170 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
3.170 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
3.170 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
3.170 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in x
3.170 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in x
3.170 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in x
3.170 * [taylor]: Taking taylor expansion of 1/4 in x
3.170 * [backup-simplify]: Simplify 1/4 into 1/4
3.170 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x
3.170 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.171 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.171 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
3.171 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
3.171 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
3.171 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in x
3.171 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in x
3.171 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in x
3.171 * [taylor]: Taking taylor expansion of 1/4 in x
3.171 * [backup-simplify]: Simplify 1/4 into 1/4
3.171 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x
3.171 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.171 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.171 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
3.172 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
3.172 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
3.172 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in y
3.172 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in y
3.172 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in y
3.172 * [taylor]: Taking taylor expansion of 1/4 in y
3.172 * [backup-simplify]: Simplify 1/4 into 1/4
3.172 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y
3.172 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.172 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.172 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
3.172 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
3.172 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
3.173 * [backup-simplify]: Simplify (pow (fabs (- x y)) 1/4) into (pow (fabs (- x y)) 1/4)
3.174 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- x y)) 1)))) 1) into 0
3.175 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- x y))))) into 0
3.176 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.176 * [taylor]: Taking taylor expansion of 0 in y
3.176 * [backup-simplify]: Simplify 0 into 0
3.176 * [backup-simplify]: Simplify 0 into 0
3.177 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- x y)) 1)))) 1) into 0
3.177 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- x y))))) into 0
3.178 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.178 * [backup-simplify]: Simplify 0 into 0
3.180 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- x y)) 1)))) 2) into 0
3.181 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- x y)))))) into 0
3.183 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.183 * [taylor]: Taking taylor expansion of 0 in y
3.183 * [backup-simplify]: Simplify 0 into 0
3.183 * [backup-simplify]: Simplify 0 into 0
3.183 * [backup-simplify]: Simplify 0 into 0
3.185 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- x y)) 1)))) 2) into 0
3.186 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- x y)))))) into 0
3.188 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.188 * [backup-simplify]: Simplify 0 into 0
3.191 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- x y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- x y)) 1)))) 6) into 0
3.192 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- x y))))))) into 0
3.194 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.194 * [taylor]: Taking taylor expansion of 0 in y
3.194 * [backup-simplify]: Simplify 0 into 0
3.194 * [backup-simplify]: Simplify 0 into 0
3.195 * [backup-simplify]: Simplify (pow (fabs (- x y)) 1/4) into (pow (fabs (- x y)) 1/4)
3.195 * [backup-simplify]: Simplify (sqrt (sqrt (fabs (- (/ 1 x) (/ 1 y))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
3.195 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in (x y) around 0
3.195 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in y
3.195 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y
3.195 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in y
3.195 * [taylor]: Taking taylor expansion of 1/4 in y
3.195 * [backup-simplify]: Simplify 1/4 into 1/4
3.195 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y
3.195 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.195 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.195 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
3.196 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
3.196 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
3.196 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in x
3.196 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x
3.196 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in x
3.196 * [taylor]: Taking taylor expansion of 1/4 in x
3.196 * [backup-simplify]: Simplify 1/4 into 1/4
3.196 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x
3.196 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.196 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.196 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
3.197 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
3.197 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
3.197 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in x
3.197 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x
3.197 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in x
3.197 * [taylor]: Taking taylor expansion of 1/4 in x
3.197 * [backup-simplify]: Simplify 1/4 into 1/4
3.197 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x
3.197 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.197 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.197 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
3.198 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
3.198 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
3.198 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in y
3.198 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y
3.198 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in y
3.198 * [taylor]: Taking taylor expansion of 1/4 in y
3.198 * [backup-simplify]: Simplify 1/4 into 1/4
3.198 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y
3.198 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.198 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.199 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
3.199 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
3.199 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
3.199 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
3.201 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 1) into 0
3.201 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.203 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.203 * [taylor]: Taking taylor expansion of 0 in y
3.203 * [backup-simplify]: Simplify 0 into 0
3.203 * [backup-simplify]: Simplify 0 into 0
3.204 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 1) into 0
3.204 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.205 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.205 * [backup-simplify]: Simplify 0 into 0
3.207 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 2) into 0
3.208 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y))))))) into 0
3.209 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.209 * [taylor]: Taking taylor expansion of 0 in y
3.209 * [backup-simplify]: Simplify 0 into 0
3.209 * [backup-simplify]: Simplify 0 into 0
3.209 * [backup-simplify]: Simplify 0 into 0
3.210 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 2) into 0
3.211 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y))))))) into 0
3.212 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.212 * [backup-simplify]: Simplify 0 into 0
3.214 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 6) into 0
3.215 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))))) into 0
3.216 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.216 * [taylor]: Taking taylor expansion of 0 in y
3.216 * [backup-simplify]: Simplify 0 into 0
3.216 * [backup-simplify]: Simplify 0 into 0
3.216 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) 1/4) into (pow (fabs (- x y)) 1/4)
3.216 * [backup-simplify]: Simplify (sqrt (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
3.217 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in (x y) around 0
3.217 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in y
3.217 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y
3.217 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in y
3.217 * [taylor]: Taking taylor expansion of 1/4 in y
3.217 * [backup-simplify]: Simplify 1/4 into 1/4
3.217 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y
3.217 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.217 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.217 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
3.217 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
3.217 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
3.217 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in x
3.217 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x
3.217 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in x
3.217 * [taylor]: Taking taylor expansion of 1/4 in x
3.217 * [backup-simplify]: Simplify 1/4 into 1/4
3.217 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x
3.217 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.217 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.217 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
3.217 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
3.218 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
3.218 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in x
3.218 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x
3.218 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in x
3.218 * [taylor]: Taking taylor expansion of 1/4 in x
3.218 * [backup-simplify]: Simplify 1/4 into 1/4
3.218 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x
3.218 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.218 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.218 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
3.218 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
3.218 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
3.218 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in y
3.218 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y
3.218 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in y
3.218 * [taylor]: Taking taylor expansion of 1/4 in y
3.218 * [backup-simplify]: Simplify 1/4 into 1/4
3.218 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y
3.218 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.218 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.218 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
3.219 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
3.219 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
3.219 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
3.220 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 1) into 0
3.220 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.221 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.221 * [taylor]: Taking taylor expansion of 0 in y
3.221 * [backup-simplify]: Simplify 0 into 0
3.221 * [backup-simplify]: Simplify 0 into 0
3.222 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 1) into 0
3.222 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.226 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.226 * [backup-simplify]: Simplify 0 into 0
3.228 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 2) into 0
3.229 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x))))))) into 0
3.230 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.230 * [taylor]: Taking taylor expansion of 0 in y
3.230 * [backup-simplify]: Simplify 0 into 0
3.230 * [backup-simplify]: Simplify 0 into 0
3.230 * [backup-simplify]: Simplify 0 into 0
3.231 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 2) into 0
3.232 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x))))))) into 0
3.233 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.233 * [backup-simplify]: Simplify 0 into 0
3.235 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 6) into 0
3.236 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))))) into 0
3.237 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.237 * [taylor]: Taking taylor expansion of 0 in y
3.237 * [backup-simplify]: Simplify 0 into 0
3.237 * [backup-simplify]: Simplify 0 into 0
3.237 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) 1/4) into (pow (fabs (- x y)) 1/4)
3.237 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
3.237 * [backup-simplify]: Simplify (sqrt (sqrt (fabs (- x y)))) into (pow (fabs (- x y)) 1/4)
3.237 * [approximate]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in (x y) around 0
3.237 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in y
3.237 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in y
3.237 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in y
3.237 * [taylor]: Taking taylor expansion of 1/4 in y
3.237 * [backup-simplify]: Simplify 1/4 into 1/4
3.237 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y
3.237 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.237 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.237 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
3.237 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
3.237 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
3.237 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in x
3.237 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in x
3.238 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in x
3.238 * [taylor]: Taking taylor expansion of 1/4 in x
3.238 * [backup-simplify]: Simplify 1/4 into 1/4
3.238 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x
3.238 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.238 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.238 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
3.238 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
3.238 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
3.238 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in x
3.238 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in x
3.238 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in x
3.238 * [taylor]: Taking taylor expansion of 1/4 in x
3.238 * [backup-simplify]: Simplify 1/4 into 1/4
3.238 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x
3.238 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.238 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.238 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
3.238 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
3.238 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
3.238 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in y
3.238 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in y
3.238 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in y
3.238 * [taylor]: Taking taylor expansion of 1/4 in y
3.238 * [backup-simplify]: Simplify 1/4 into 1/4
3.238 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y
3.238 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.238 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.238 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
3.239 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
3.239 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
3.239 * [backup-simplify]: Simplify (pow (fabs (- x y)) 1/4) into (pow (fabs (- x y)) 1/4)
3.239 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- x y)) 1)))) 1) into 0
3.240 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- x y))))) into 0
3.240 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.240 * [taylor]: Taking taylor expansion of 0 in y
3.240 * [backup-simplify]: Simplify 0 into 0
3.240 * [backup-simplify]: Simplify 0 into 0
3.241 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- x y)) 1)))) 1) into 0
3.241 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- x y))))) into 0
3.242 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.242 * [backup-simplify]: Simplify 0 into 0
3.243 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- x y)) 1)))) 2) into 0
3.244 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- x y)))))) into 0
3.245 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.245 * [taylor]: Taking taylor expansion of 0 in y
3.245 * [backup-simplify]: Simplify 0 into 0
3.245 * [backup-simplify]: Simplify 0 into 0
3.245 * [backup-simplify]: Simplify 0 into 0
3.247 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- x y)) 1)))) 2) into 0
3.248 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- x y)))))) into 0
3.250 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.250 * [backup-simplify]: Simplify 0 into 0
3.253 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- x y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- x y)) 1)))) 6) into 0
3.254 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- x y))))))) into 0
3.256 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.256 * [taylor]: Taking taylor expansion of 0 in y
3.256 * [backup-simplify]: Simplify 0 into 0
3.256 * [backup-simplify]: Simplify 0 into 0
3.256 * [backup-simplify]: Simplify (pow (fabs (- x y)) 1/4) into (pow (fabs (- x y)) 1/4)
3.256 * [backup-simplify]: Simplify (sqrt (sqrt (fabs (- (/ 1 x) (/ 1 y))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
3.256 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in (x y) around 0
3.256 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in y
3.256 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y
3.256 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in y
3.256 * [taylor]: Taking taylor expansion of 1/4 in y
3.256 * [backup-simplify]: Simplify 1/4 into 1/4
3.256 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y
3.256 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.257 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.257 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
3.257 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
3.257 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
3.257 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in x
3.257 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x
3.257 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in x
3.257 * [taylor]: Taking taylor expansion of 1/4 in x
3.257 * [backup-simplify]: Simplify 1/4 into 1/4
3.257 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x
3.257 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.257 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.258 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
3.258 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
3.258 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
3.258 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in x
3.258 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x
3.258 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in x
3.258 * [taylor]: Taking taylor expansion of 1/4 in x
3.258 * [backup-simplify]: Simplify 1/4 into 1/4
3.258 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x
3.258 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.258 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.258 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
3.259 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
3.259 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
3.259 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in y
3.259 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y
3.259 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in y
3.259 * [taylor]: Taking taylor expansion of 1/4 in y
3.259 * [backup-simplify]: Simplify 1/4 into 1/4
3.259 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y
3.259 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.259 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.259 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
3.260 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
3.260 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
3.260 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
3.261 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 1) into 0
3.262 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.263 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.263 * [taylor]: Taking taylor expansion of 0 in y
3.263 * [backup-simplify]: Simplify 0 into 0
3.263 * [backup-simplify]: Simplify 0 into 0
3.264 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 1) into 0
3.264 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.265 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.265 * [backup-simplify]: Simplify 0 into 0
3.267 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 2) into 0
3.268 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y))))))) into 0
3.270 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.270 * [taylor]: Taking taylor expansion of 0 in y
3.270 * [backup-simplify]: Simplify 0 into 0
3.270 * [backup-simplify]: Simplify 0 into 0
3.270 * [backup-simplify]: Simplify 0 into 0
3.272 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 2) into 0
3.273 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y))))))) into 0
3.274 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.274 * [backup-simplify]: Simplify 0 into 0
3.279 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 6) into 0
3.280 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))))) into 0
3.282 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.282 * [taylor]: Taking taylor expansion of 0 in y
3.282 * [backup-simplify]: Simplify 0 into 0
3.282 * [backup-simplify]: Simplify 0 into 0
3.282 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) 1/4) into (pow (fabs (- x y)) 1/4)
3.282 * [backup-simplify]: Simplify (sqrt (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
3.282 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in (x y) around 0
3.282 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in y
3.282 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y
3.282 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in y
3.282 * [taylor]: Taking taylor expansion of 1/4 in y
3.282 * [backup-simplify]: Simplify 1/4 into 1/4
3.282 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y
3.282 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.283 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.283 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
3.283 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
3.283 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
3.283 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in x
3.283 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x
3.283 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in x
3.283 * [taylor]: Taking taylor expansion of 1/4 in x
3.283 * [backup-simplify]: Simplify 1/4 into 1/4
3.283 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x
3.283 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.284 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.284 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
3.284 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
3.284 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
3.284 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in x
3.285 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x
3.285 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in x
3.285 * [taylor]: Taking taylor expansion of 1/4 in x
3.285 * [backup-simplify]: Simplify 1/4 into 1/4
3.285 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x
3.285 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.285 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.285 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
3.285 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
3.285 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
3.285 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in y
3.286 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y
3.286 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in y
3.286 * [taylor]: Taking taylor expansion of 1/4 in y
3.286 * [backup-simplify]: Simplify 1/4 into 1/4
3.286 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y
3.286 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.286 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.286 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
3.286 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
3.286 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
3.287 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
3.287 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 1) into 0
3.288 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.288 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.289 * [taylor]: Taking taylor expansion of 0 in y
3.289 * [backup-simplify]: Simplify 0 into 0
3.289 * [backup-simplify]: Simplify 0 into 0
3.289 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 1) into 0
3.290 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.290 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.290 * [backup-simplify]: Simplify 0 into 0
3.291 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 2) into 0
3.292 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x))))))) into 0
3.293 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.293 * [taylor]: Taking taylor expansion of 0 in y
3.293 * [backup-simplify]: Simplify 0 into 0
3.293 * [backup-simplify]: Simplify 0 into 0
3.293 * [backup-simplify]: Simplify 0 into 0
3.294 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 2) into 0
3.295 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x))))))) into 0
3.296 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.296 * [backup-simplify]: Simplify 0 into 0
3.298 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 6) into 0
3.299 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))))) into 0
3.300 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.300 * [taylor]: Taking taylor expansion of 0 in y
3.300 * [backup-simplify]: Simplify 0 into 0
3.300 * [backup-simplify]: Simplify 0 into 0
3.300 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) 1/4) into (pow (fabs (- x y)) 1/4)
3.300 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
3.300 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.300 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0
3.300 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
3.300 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.300 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.300 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.301 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.301 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
3.301 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.301 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.301 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.301 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.301 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
3.301 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
3.301 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.301 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.301 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.301 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
3.301 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
3.301 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
3.301 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.301 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
3.301 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.301 * [taylor]: Taking taylor expansion of 0 in y
3.301 * [backup-simplify]: Simplify 0 into 0
3.301 * [backup-simplify]: Simplify 0 into 0
3.301 * [backup-simplify]: Simplify 0 into 0
3.302 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
3.302 * [taylor]: Taking taylor expansion of 0 in y
3.302 * [backup-simplify]: Simplify 0 into 0
3.302 * [backup-simplify]: Simplify 0 into 0
3.302 * [backup-simplify]: Simplify 0 into 0
3.302 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
3.302 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0
3.303 * [taylor]: Taking taylor expansion of 0 in y
3.303 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
3.303 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.303 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0
3.303 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
3.303 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.303 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.304 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.304 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.304 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
3.304 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.304 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.304 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.304 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.304 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
3.304 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
3.304 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.304 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.304 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.304 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
3.304 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
3.304 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
3.305 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.305 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.305 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
3.305 * [taylor]: Taking taylor expansion of 0 in y
3.305 * [backup-simplify]: Simplify 0 into 0
3.305 * [backup-simplify]: Simplify 0 into 0
3.305 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.306 * [taylor]: Taking taylor expansion of 0 in y
3.306 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.306 * [backup-simplify]: Simplify 0 into 0
3.307 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
3.307 * [taylor]: Taking taylor expansion of 0 in y
3.307 * [backup-simplify]: Simplify 0 into 0
3.307 * [backup-simplify]: Simplify 0 into 0
3.307 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y)))
3.307 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.308 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0
3.308 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
3.308 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.308 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.308 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.308 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.308 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
3.308 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.308 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.308 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.309 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.309 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
3.309 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
3.309 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.309 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.309 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.309 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
3.309 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
3.309 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
3.310 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.310 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.310 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
3.310 * [taylor]: Taking taylor expansion of 0 in y
3.310 * [backup-simplify]: Simplify 0 into 0
3.310 * [backup-simplify]: Simplify 0 into 0
3.310 * [backup-simplify]: Simplify 0 into 0
3.311 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.311 * [taylor]: Taking taylor expansion of 0 in y
3.311 * [backup-simplify]: Simplify 0 into 0
3.311 * [backup-simplify]: Simplify 0 into 0
3.311 * [backup-simplify]: Simplify 0 into 0
3.312 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.312 * [backup-simplify]: Simplify 0 into 0
3.313 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
3.313 * [taylor]: Taking taylor expansion of 0 in y
3.313 * [backup-simplify]: Simplify 0 into 0
3.313 * [backup-simplify]: Simplify 0 into 0
3.313 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y)))
3.314 * * * [progress]: simplifying candidates
3.317 * [simplify]: Simplifying:
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1/2 2) (/ 1/2 2))
  (+ (/ 1/2 2) (/ (/ 1 2) 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ (/ 1 2) 2) (/ 1/2 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))
  (* (fabs (- x y)) (fabs (- x y)))
  (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y))))
  (* (fabs (- x y)) (fabs (- x y)))
  (+ 1 1)
  (+ (log (sqrt (sqrt (fabs (- x y))))) (log (sqrt (sqrt (fabs (- x y))))))
  (log (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))))
  (exp (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))))
  (* (* (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y))))) (* (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y))))))
  (* (cbrt (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))) (cbrt (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))))
  (cbrt (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))))
  (* (* (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))) (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))) (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y))))
  (sqrt (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))))
  (sqrt (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))))
  (* (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y)))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y)))))))
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))) (sqrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))))
  (* (sqrt (cbrt (sqrt (fabs (- x y))))) (sqrt (cbrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (sqrt (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))))
  (* (sqrt (sqrt (cbrt (fabs (- x y))))) (sqrt (sqrt (cbrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt 1)) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* 1 1)
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1/2 2))
  (* 2 (/ 1 2))
  (* 2 (/ (/ 1 2) 2))
  (* (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y)))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt 1))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) 1)
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))
  (log (sqrt (sqrt (fabs (- x y)))))
  (exp (sqrt (sqrt (fabs (- x y)))))
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))))
  (cbrt (sqrt (sqrt (fabs (- x y)))))
  (* (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (sqrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))))
  (sqrt (cbrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (sqrt (sqrt (cbrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt 1)
  (sqrt (sqrt (fabs (- x y))))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (log (sqrt (sqrt (fabs (- x y)))))
  (exp (sqrt (sqrt (fabs (- x y)))))
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))))
  (cbrt (sqrt (sqrt (fabs (- x y)))))
  (* (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (sqrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))))
  (sqrt (cbrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (sqrt (sqrt (cbrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt 1)
  (sqrt (sqrt (fabs (- x y))))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (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)))
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
3.320 * * [simplify]: iteration 0: 81 enodes
3.362 * * [simplify]: iteration 1: 150 enodes
3.396 * * [simplify]: iteration 2: 273 enodes
3.464 * * [simplify]: iteration 3: 519 enodes
3.713 * * [simplify]: iteration 4: 1209 enodes
5.436 * * [simplify]: iteration complete: 5000 enodes
5.436 * * [simplify]: Extracting #0: cost 33 inf + 0
5.438 * * [simplify]: Extracting #1: cost 651 inf + 4
5.443 * * [simplify]: Extracting #2: cost 1397 inf + 220
5.455 * * [simplify]: Extracting #3: cost 1427 inf + 1150
5.468 * * [simplify]: Extracting #4: cost 1408 inf + 8114
5.489 * * [simplify]: Extracting #5: cost 1283 inf + 45965
5.566 * * [simplify]: Extracting #6: cost 771 inf + 314573
5.729 * * [simplify]: Extracting #7: cost 88 inf + 800343
5.922 * * [simplify]: Extracting #8: cost 0 inf + 865057
6.113 * [simplify]: Simplified to:
  1
  1
  2
  1/2
  1/2
  1
  1
  1/2
  1/2
  (fabs (- x y))
  (sqrt (fabs (- x y)))
  (* (fabs (- x y)) (fabs (- x y)))
  (fabs (- x y))
  (* (fabs (- x y)) (fabs (- x y)))
  2
  (log (sqrt (fabs (- x y))))
  (log (sqrt (fabs (- x y))))
  (exp (sqrt (fabs (- x y))))
  (* (sqrt (fabs (- x y))) (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 (- x y))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))))
  (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))
  (cbrt (sqrt (fabs (- x y))))
  (fabs (cbrt (fabs (- x y))))
  (sqrt (cbrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  1
  (sqrt (fabs (- x y)))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  1
  (sqrt (fabs (- x y)))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  1
  (sqrt (fabs (- x y)))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  1
  2
  1/2
  1
  1/2
  (* (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y)))))
  (* (fabs (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (fabs (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (fabs (- x y))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (fabs (- x y))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (fabs (- x y))))
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (cbrt (fabs (- x y))))))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (sqrt (fabs (- x y)))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (sqrt (fabs (- x y)))
  (* (sqrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (sqrt (fabs (- x y)))
  (log (sqrt (sqrt (fabs (- x y)))))
  (exp (sqrt (sqrt (fabs (- x y)))))
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))))
  (cbrt (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))
  (fabs (cbrt (sqrt (fabs (- x y)))))
  (sqrt (cbrt (sqrt (fabs (- x y)))))
  (sqrt (fabs (cbrt (fabs (- x y)))))
  (sqrt (sqrt (cbrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  1
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  1
  (sqrt (sqrt (fabs (- x y))))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (log (sqrt (sqrt (fabs (- x y)))))
  (exp (sqrt (sqrt (fabs (- x y)))))
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))))
  (cbrt (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))
  (fabs (cbrt (sqrt (fabs (- x y)))))
  (sqrt (cbrt (sqrt (fabs (- x y)))))
  (sqrt (fabs (cbrt (fabs (- x y)))))
  (sqrt (sqrt (cbrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  1
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  1
  (sqrt (sqrt (fabs (- x y))))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (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)))
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
6.119 * * * [progress]: adding candidates to table
6.560 * * [progress]: iteration 3 / 4
6.560 * * * [progress]: picking best candidate
6.566 * * * * [pick]: Picked  #<alt (λ (x y) (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))))>
6.566 * * * [progress]: localizing error
6.616 * * * [progress]: generating rewritten candidates
6.616 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
6.623 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
6.638 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
6.661 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
6.669 * * * [progress]: generating series expansions
6.669 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
6.670 * [backup-simplify]: Simplify (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) into (pow (fabs (- x y)) 1/4)
6.670 * [approximate]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in (x y) around 0
6.670 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in y
6.670 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in y
6.670 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in y
6.670 * [taylor]: Taking taylor expansion of 1/4 in y
6.670 * [backup-simplify]: Simplify 1/4 into 1/4
6.670 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y
6.670 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
6.670 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.670 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
6.670 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
6.670 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
6.670 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in x
6.670 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in x
6.670 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in x
6.670 * [taylor]: Taking taylor expansion of 1/4 in x
6.670 * [backup-simplify]: Simplify 1/4 into 1/4
6.670 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x
6.671 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
6.671 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.671 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
6.671 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
6.671 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
6.671 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in x
6.671 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in x
6.671 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in x
6.671 * [taylor]: Taking taylor expansion of 1/4 in x
6.671 * [backup-simplify]: Simplify 1/4 into 1/4
6.671 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x
6.671 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
6.671 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.671 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
6.672 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
6.672 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
6.672 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in y
6.672 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in y
6.672 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in y
6.672 * [taylor]: Taking taylor expansion of 1/4 in y
6.672 * [backup-simplify]: Simplify 1/4 into 1/4
6.672 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y
6.672 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
6.672 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.672 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
6.672 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
6.672 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
6.673 * [backup-simplify]: Simplify (pow (fabs (- x y)) 1/4) into (pow (fabs (- x y)) 1/4)
6.674 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- x y)) 1)))) 1) into 0
6.675 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- x y))))) into 0
6.675 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.676 * [taylor]: Taking taylor expansion of 0 in y
6.676 * [backup-simplify]: Simplify 0 into 0
6.676 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- x y)) 1)))) 1) into 0
6.677 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- x y))))) into 0
6.678 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.678 * [backup-simplify]: Simplify 0 into 0
6.680 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- x y)) 1)))) 2) into 0
6.680 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- x y)))))) into 0
6.681 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.681 * [taylor]: Taking taylor expansion of 0 in y
6.681 * [backup-simplify]: Simplify 0 into 0
6.681 * [backup-simplify]: Simplify 0 into 0
6.681 * [backup-simplify]: Simplify 0 into 0
6.683 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- x y)) 1)))) 2) into 0
6.683 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- x y)))))) into 0
6.684 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.684 * [backup-simplify]: Simplify 0 into 0
6.686 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- x y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- x y)) 1)))) 6) into 0
6.687 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- x y))))))) into 0
6.688 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.688 * [taylor]: Taking taylor expansion of 0 in y
6.688 * [backup-simplify]: Simplify 0 into 0
6.688 * [backup-simplify]: Simplify 0 into 0
6.688 * [backup-simplify]: Simplify (pow (fabs (- x y)) 1/4) into (pow (fabs (- x y)) 1/4)
6.688 * [backup-simplify]: Simplify (cbrt (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) (sqrt (sqrt (fabs (- (/ 1 x) (/ 1 y))))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
6.688 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in (x y) around 0
6.688 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in y
6.688 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y
6.688 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in y
6.688 * [taylor]: Taking taylor expansion of 1/4 in y
6.688 * [backup-simplify]: Simplify 1/4 into 1/4
6.688 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y
6.689 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
6.689 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.689 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
6.689 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
6.689 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
6.689 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in x
6.689 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x
6.689 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in x
6.689 * [taylor]: Taking taylor expansion of 1/4 in x
6.689 * [backup-simplify]: Simplify 1/4 into 1/4
6.689 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x
6.689 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
6.689 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.689 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
6.689 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
6.689 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
6.689 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in x
6.689 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x
6.689 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in x
6.690 * [taylor]: Taking taylor expansion of 1/4 in x
6.690 * [backup-simplify]: Simplify 1/4 into 1/4
6.690 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x
6.690 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
6.690 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.690 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
6.690 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
6.693 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
6.693 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in y
6.693 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y
6.693 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in y
6.693 * [taylor]: Taking taylor expansion of 1/4 in y
6.693 * [backup-simplify]: Simplify 1/4 into 1/4
6.693 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y
6.693 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
6.693 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.693 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
6.694 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
6.694 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
6.694 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
6.695 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 1) into 0
6.695 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))) into 0
6.696 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.696 * [taylor]: Taking taylor expansion of 0 in y
6.696 * [backup-simplify]: Simplify 0 into 0
6.696 * [backup-simplify]: Simplify 0 into 0
6.696 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 1) into 0
6.697 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))) into 0
6.697 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.697 * [backup-simplify]: Simplify 0 into 0
6.699 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 2) into 0
6.699 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y))))))) into 0
6.700 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.700 * [taylor]: Taking taylor expansion of 0 in y
6.700 * [backup-simplify]: Simplify 0 into 0
6.700 * [backup-simplify]: Simplify 0 into 0
6.700 * [backup-simplify]: Simplify 0 into 0
6.701 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 2) into 0
6.702 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y))))))) into 0
6.703 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.703 * [backup-simplify]: Simplify 0 into 0
6.705 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 6) into 0
6.706 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))))) into 0
6.707 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.707 * [taylor]: Taking taylor expansion of 0 in y
6.707 * [backup-simplify]: Simplify 0 into 0
6.707 * [backup-simplify]: Simplify 0 into 0
6.708 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) 1/4) into (pow (fabs (- x y)) 1/4)
6.708 * [backup-simplify]: Simplify (cbrt (* (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) (sqrt (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y)))))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
6.708 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in (x y) around 0
6.708 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in y
6.708 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y
6.708 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in y
6.708 * [taylor]: Taking taylor expansion of 1/4 in y
6.708 * [backup-simplify]: Simplify 1/4 into 1/4
6.708 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y
6.708 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
6.708 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.709 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
6.709 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
6.709 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
6.709 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in x
6.709 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x
6.709 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in x
6.709 * [taylor]: Taking taylor expansion of 1/4 in x
6.709 * [backup-simplify]: Simplify 1/4 into 1/4
6.709 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x
6.709 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
6.709 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.710 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
6.710 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
6.710 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
6.710 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in x
6.710 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x
6.710 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in x
6.710 * [taylor]: Taking taylor expansion of 1/4 in x
6.710 * [backup-simplify]: Simplify 1/4 into 1/4
6.710 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x
6.710 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
6.710 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.711 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
6.711 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
6.711 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
6.711 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in y
6.711 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y
6.711 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in y
6.711 * [taylor]: Taking taylor expansion of 1/4 in y
6.711 * [backup-simplify]: Simplify 1/4 into 1/4
6.711 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y
6.711 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
6.711 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.712 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
6.712 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
6.712 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
6.712 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
6.713 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 1) into 0
6.714 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))) into 0
6.715 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.715 * [taylor]: Taking taylor expansion of 0 in y
6.715 * [backup-simplify]: Simplify 0 into 0
6.715 * [backup-simplify]: Simplify 0 into 0
6.716 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 1) into 0
6.717 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))) into 0
6.718 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.718 * [backup-simplify]: Simplify 0 into 0
6.720 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 2) into 0
6.721 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x))))))) into 0
6.722 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.722 * [taylor]: Taking taylor expansion of 0 in y
6.722 * [backup-simplify]: Simplify 0 into 0
6.723 * [backup-simplify]: Simplify 0 into 0
6.723 * [backup-simplify]: Simplify 0 into 0
6.725 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 2) into 0
6.726 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x))))))) into 0
6.727 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.727 * [backup-simplify]: Simplify 0 into 0
6.731 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 6) into 0
6.732 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))))) into 0
6.734 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.734 * [taylor]: Taking taylor expansion of 0 in y
6.734 * [backup-simplify]: Simplify 0 into 0
6.734 * [backup-simplify]: Simplify 0 into 0
6.734 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) 1/4) into (pow (fabs (- x y)) 1/4)
6.735 * * * * [progress]: [ 2 / 4 ] generating series at (2)
6.735 * [backup-simplify]: Simplify (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))) into (sqrt (fabs (- x y)))
6.735 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0
6.735 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
6.735 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
6.735 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.735 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
6.735 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
6.735 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
6.736 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
6.736 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.736 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
6.736 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
6.736 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x
6.736 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
6.736 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.736 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
6.736 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
6.736 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y
6.736 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
6.736 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.737 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
6.737 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0
6.737 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
6.737 * [taylor]: Taking taylor expansion of 0 in y
6.737 * [backup-simplify]: Simplify 0 into 0
6.737 * [backup-simplify]: Simplify 0 into 0
6.737 * [backup-simplify]: Simplify 0 into 0
6.738 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
6.738 * [taylor]: Taking taylor expansion of 0 in y
6.738 * [backup-simplify]: Simplify 0 into 0
6.738 * [backup-simplify]: Simplify 0 into 0
6.738 * [backup-simplify]: Simplify 0 into 0
6.739 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0
6.739 * [backup-simplify]: Simplify 0 into 0
6.740 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0
6.740 * [taylor]: Taking taylor expansion of 0 in y
6.740 * [backup-simplify]: Simplify 0 into 0
6.740 * [backup-simplify]: Simplify 0 into 0
6.740 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y)))
6.741 * [backup-simplify]: Simplify (* (cbrt (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) (sqrt (sqrt (fabs (- (/ 1 x) (/ 1 y))))))) (sqrt (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
6.741 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0
6.741 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
6.741 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
6.741 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.741 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
6.741 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
6.741 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
6.741 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
6.742 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.742 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
6.742 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
6.742 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x
6.742 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
6.742 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.742 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
6.743 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
6.743 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y
6.743 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
6.743 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.743 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
6.743 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
6.743 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y))))
6.743 * [taylor]: Taking taylor expansion of 0 in y
6.743 * [backup-simplify]: Simplify 0 into 0
6.743 * [backup-simplify]: Simplify 0 into 0
6.743 * [backup-simplify]: Simplify 0 into 0
6.744 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
6.744 * [taylor]: Taking taylor expansion of 0 in y
6.744 * [backup-simplify]: Simplify 0 into 0
6.744 * [backup-simplify]: Simplify 0 into 0
6.744 * [backup-simplify]: Simplify 0 into 0
6.745 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
6.745 * [backup-simplify]: Simplify 0 into 0
6.745 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0
6.745 * [taylor]: Taking taylor expansion of 0 in y
6.745 * [backup-simplify]: Simplify 0 into 0
6.745 * [backup-simplify]: Simplify 0 into 0
6.745 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y)))
6.746 * [backup-simplify]: Simplify (* (cbrt (* (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) (sqrt (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y)))))))) (sqrt (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
6.746 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0
6.746 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
6.746 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
6.746 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.746 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
6.746 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
6.746 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
6.746 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
6.746 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.746 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
6.747 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
6.747 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x
6.747 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
6.747 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.747 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
6.747 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
6.747 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y
6.747 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
6.747 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.747 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
6.747 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
6.747 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x))))
6.747 * [taylor]: Taking taylor expansion of 0 in y
6.747 * [backup-simplify]: Simplify 0 into 0
6.747 * [backup-simplify]: Simplify 0 into 0
6.748 * [backup-simplify]: Simplify 0 into 0
6.748 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
6.748 * [taylor]: Taking taylor expansion of 0 in y
6.748 * [backup-simplify]: Simplify 0 into 0
6.748 * [backup-simplify]: Simplify 0 into 0
6.748 * [backup-simplify]: Simplify 0 into 0
6.749 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
6.749 * [backup-simplify]: Simplify 0 into 0
6.750 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0
6.750 * [taylor]: Taking taylor expansion of 0 in y
6.750 * [backup-simplify]: Simplify 0 into 0
6.750 * [backup-simplify]: Simplify 0 into 0
6.750 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y)))
6.750 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
6.750 * [backup-simplify]: Simplify (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))) into (pow (pow (fabs (- x y)) 3) 1/4)
6.750 * [approximate]: Taking taylor expansion of (pow (pow (fabs (- x y)) 3) 1/4) in (x y) around 0
6.750 * [taylor]: Taking taylor expansion of (pow (pow (fabs (- x y)) 3) 1/4) in y
6.750 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (- x y)) 3)))) in y
6.750 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (- x y)) 3))) in y
6.750 * [taylor]: Taking taylor expansion of 1/4 in y
6.750 * [backup-simplify]: Simplify 1/4 into 1/4
6.750 * [taylor]: Taking taylor expansion of (log (pow (fabs (- x y)) 3)) in y
6.750 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in y
6.750 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
6.750 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.751 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2)
6.751 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3)
6.751 * [backup-simplify]: Simplify (log (pow (fabs (- x y)) 3)) into (log (pow (fabs (- x y)) 3))
6.751 * [backup-simplify]: Simplify (* 1/4 (log (pow (fabs (- x y)) 3))) into (* 1/4 (log (pow (fabs (- x y)) 3)))
6.751 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fabs (- x y)) 3)))) into (pow (pow (fabs (- x y)) 3) 1/4)
6.751 * [taylor]: Taking taylor expansion of (pow (pow (fabs (- x y)) 3) 1/4) in x
6.751 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (- x y)) 3)))) in x
6.751 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (- x y)) 3))) in x
6.751 * [taylor]: Taking taylor expansion of 1/4 in x
6.751 * [backup-simplify]: Simplify 1/4 into 1/4
6.751 * [taylor]: Taking taylor expansion of (log (pow (fabs (- x y)) 3)) in x
6.751 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in x
6.751 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
6.752 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.752 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2)
6.752 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3)
6.752 * [backup-simplify]: Simplify (log (pow (fabs (- x y)) 3)) into (log (pow (fabs (- x y)) 3))
6.752 * [backup-simplify]: Simplify (* 1/4 (log (pow (fabs (- x y)) 3))) into (* 1/4 (log (pow (fabs (- x y)) 3)))
6.752 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fabs (- x y)) 3)))) into (pow (pow (fabs (- x y)) 3) 1/4)
6.752 * [taylor]: Taking taylor expansion of (pow (pow (fabs (- x y)) 3) 1/4) in x
6.752 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (- x y)) 3)))) in x
6.752 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (- x y)) 3))) in x
6.752 * [taylor]: Taking taylor expansion of 1/4 in x
6.752 * [backup-simplify]: Simplify 1/4 into 1/4
6.752 * [taylor]: Taking taylor expansion of (log (pow (fabs (- x y)) 3)) in x
6.752 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in x
6.752 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
6.752 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.752 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2)
6.753 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3)
6.753 * [backup-simplify]: Simplify (log (pow (fabs (- x y)) 3)) into (log (pow (fabs (- x y)) 3))
6.753 * [backup-simplify]: Simplify (* 1/4 (log (pow (fabs (- x y)) 3))) into (* 1/4 (log (pow (fabs (- x y)) 3)))
6.753 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fabs (- x y)) 3)))) into (pow (pow (fabs (- x y)) 3) 1/4)
6.753 * [taylor]: Taking taylor expansion of (pow (pow (fabs (- x y)) 3) 1/4) in y
6.753 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (- x y)) 3)))) in y
6.753 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (- x y)) 3))) in y
6.753 * [taylor]: Taking taylor expansion of 1/4 in y
6.753 * [backup-simplify]: Simplify 1/4 into 1/4
6.753 * [taylor]: Taking taylor expansion of (log (pow (fabs (- x y)) 3)) in y
6.753 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in y
6.753 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
6.753 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.753 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2)
6.753 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3)
6.753 * [backup-simplify]: Simplify (log (pow (fabs (- x y)) 3)) into (log (pow (fabs (- x y)) 3))
6.754 * [backup-simplify]: Simplify (* 1/4 (log (pow (fabs (- x y)) 3))) into (* 1/4 (log (pow (fabs (- x y)) 3)))
6.754 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fabs (- x y)) 3)))) into (pow (pow (fabs (- x y)) 3) 1/4)
6.754 * [backup-simplify]: Simplify (pow (pow (fabs (- x y)) 3) 1/4) into (pow (pow (fabs (- x y)) 3) 1/4)
6.754 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (fabs (- x y)))) into 0
6.754 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (pow (fabs (- x y)) 2))) into 0
6.755 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fabs (- x y)) 3) 1)))) 1) into 0
6.756 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fabs (- x y)) 3)))) into 0
6.756 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- x y)) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.756 * [taylor]: Taking taylor expansion of 0 in y
6.756 * [backup-simplify]: Simplify 0 into 0
6.756 * [backup-simplify]: Simplify 0 into 0
6.756 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (fabs (- x y)))) into 0
6.757 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (pow (fabs (- x y)) 2))) into 0
6.757 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fabs (- x y)) 3) 1)))) 1) into 0
6.758 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fabs (- x y)) 3)))) into 0
6.758 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- x y)) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.758 * [backup-simplify]: Simplify 0 into 0
6.759 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (fabs (- x y))))) into 0
6.759 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (pow (fabs (- x y)) 2)))) into 0
6.760 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fabs (- x y)) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fabs (- x y)) 3) 1)))) 2) into 0
6.761 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fabs (- x y)) 3))))) into 0
6.762 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- x y)) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.762 * [taylor]: Taking taylor expansion of 0 in y
6.762 * [backup-simplify]: Simplify 0 into 0
6.762 * [backup-simplify]: Simplify 0 into 0
6.762 * [backup-simplify]: Simplify 0 into 0
6.762 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (fabs (- x y))))) into 0
6.763 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (pow (fabs (- x y)) 2)))) into 0
6.764 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fabs (- x y)) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fabs (- x y)) 3) 1)))) 2) into 0
6.765 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fabs (- x y)) 3))))) into 0
6.766 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- x y)) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.766 * [backup-simplify]: Simplify 0 into 0
6.766 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (- x y)))))) into 0
6.767 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (- x y)) 2))))) into 0
6.769 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fabs (- x y)) 3) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fabs (- x y)) 3) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fabs (- x y)) 3) 1)))) 6) into 0
6.770 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fabs (- x y)) 3)))))) into 0
6.771 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- x y)) 3)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.771 * [taylor]: Taking taylor expansion of 0 in y
6.771 * [backup-simplify]: Simplify 0 into 0
6.771 * [backup-simplify]: Simplify 0 into 0
6.771 * [backup-simplify]: Simplify (pow (pow (fabs (- x y)) 3) 1/4) into (pow (pow (fabs (- x y)) 3) 1/4)
6.771 * [backup-simplify]: Simplify (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) (sqrt (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1/4)
6.771 * [approximate]: Taking taylor expansion of (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1/4) in (x y) around 0
6.771 * [taylor]: Taking taylor expansion of (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1/4) in y
6.771 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) in y
6.771 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) in y
6.771 * [taylor]: Taking taylor expansion of 1/4 in y
6.771 * [backup-simplify]: Simplify 1/4 into 1/4
6.771 * [taylor]: Taking taylor expansion of (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in y
6.771 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in y
6.771 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
6.771 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.772 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2)
6.772 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3)
6.772 * [backup-simplify]: Simplify (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
6.772 * [backup-simplify]: Simplify (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) into (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))
6.772 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1/4)
6.772 * [taylor]: Taking taylor expansion of (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1/4) in x
6.772 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) in x
6.772 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) in x
6.772 * [taylor]: Taking taylor expansion of 1/4 in x
6.772 * [backup-simplify]: Simplify 1/4 into 1/4
6.772 * [taylor]: Taking taylor expansion of (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in x
6.772 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in x
6.772 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
6.773 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.773 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2)
6.773 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3)
6.773 * [backup-simplify]: Simplify (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
6.773 * [backup-simplify]: Simplify (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) into (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))
6.773 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1/4)
6.773 * [taylor]: Taking taylor expansion of (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1/4) in x
6.773 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) in x
6.773 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) in x
6.773 * [taylor]: Taking taylor expansion of 1/4 in x
6.773 * [backup-simplify]: Simplify 1/4 into 1/4
6.773 * [taylor]: Taking taylor expansion of (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in x
6.774 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in x
6.774 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
6.774 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.774 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2)
6.774 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3)
6.774 * [backup-simplify]: Simplify (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
6.774 * [backup-simplify]: Simplify (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) into (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))
6.774 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1/4)
6.775 * [taylor]: Taking taylor expansion of (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1/4) in y
6.775 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) in y
6.775 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) in y
6.775 * [taylor]: Taking taylor expansion of 1/4 in y
6.775 * [backup-simplify]: Simplify 1/4 into 1/4
6.775 * [taylor]: Taking taylor expansion of (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in y
6.775 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in y
6.775 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
6.775 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.775 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2)
6.775 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3)
6.775 * [backup-simplify]: Simplify (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))
6.775 * [backup-simplify]: Simplify (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) into (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))
6.776 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1/4)
6.776 * [backup-simplify]: Simplify (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1/4) into (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1/4)
6.776 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0
6.776 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) into 0
6.777 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1)))) 1) into 0
6.778 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
6.778 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.778 * [taylor]: Taking taylor expansion of 0 in y
6.778 * [backup-simplify]: Simplify 0 into 0
6.778 * [backup-simplify]: Simplify 0 into 0
6.779 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0
6.779 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) into 0
6.780 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1)))) 1) into 0
6.780 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0
6.781 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.781 * [backup-simplify]: Simplify 0 into 0
6.781 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y)))))) into 0
6.782 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2)))) into 0
6.783 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1)))) 2) into 0
6.784 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))))) into 0
6.785 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.785 * [taylor]: Taking taylor expansion of 0 in y
6.785 * [backup-simplify]: Simplify 0 into 0
6.785 * [backup-simplify]: Simplify 0 into 0
6.785 * [backup-simplify]: Simplify 0 into 0
6.785 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y)))))) into 0
6.786 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2)))) into 0
6.787 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1)))) 2) into 0
6.788 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3))))) into 0
6.789 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.789 * [backup-simplify]: Simplify 0 into 0
6.790 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0
6.790 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))))) into 0
6.792 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 1)))) 6) into 0
6.793 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))))) into 0
6.794 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.794 * [taylor]: Taking taylor expansion of 0 in y
6.794 * [backup-simplify]: Simplify 0 into 0
6.795 * [backup-simplify]: Simplify 0 into 0
6.795 * [backup-simplify]: Simplify (pow (pow (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) 3) 1/4) into (pow (pow (fabs (- x y)) 3) 1/4)
6.795 * [backup-simplify]: Simplify (* (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) (sqrt (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))))) into (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1/4)
6.795 * [approximate]: Taking taylor expansion of (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1/4) in (x y) around 0
6.795 * [taylor]: Taking taylor expansion of (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1/4) in y
6.795 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) in y
6.795 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) in y
6.795 * [taylor]: Taking taylor expansion of 1/4 in y
6.795 * [backup-simplify]: Simplify 1/4 into 1/4
6.795 * [taylor]: Taking taylor expansion of (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in y
6.795 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in y
6.795 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
6.795 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.795 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2)
6.796 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3)
6.796 * [backup-simplify]: Simplify (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
6.796 * [backup-simplify]: Simplify (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) into (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))
6.796 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1/4)
6.796 * [taylor]: Taking taylor expansion of (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1/4) in x
6.796 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) in x
6.796 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) in x
6.796 * [taylor]: Taking taylor expansion of 1/4 in x
6.796 * [backup-simplify]: Simplify 1/4 into 1/4
6.796 * [taylor]: Taking taylor expansion of (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in x
6.796 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in x
6.796 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
6.796 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.796 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2)
6.797 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3)
6.797 * [backup-simplify]: Simplify (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
6.797 * [backup-simplify]: Simplify (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) into (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))
6.797 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1/4)
6.797 * [taylor]: Taking taylor expansion of (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1/4) in x
6.797 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) in x
6.797 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) in x
6.797 * [taylor]: Taking taylor expansion of 1/4 in x
6.797 * [backup-simplify]: Simplify 1/4 into 1/4
6.797 * [taylor]: Taking taylor expansion of (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in x
6.797 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in x
6.797 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
6.797 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.797 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2)
6.798 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3)
6.798 * [backup-simplify]: Simplify (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
6.798 * [backup-simplify]: Simplify (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) into (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))
6.798 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1/4)
6.798 * [taylor]: Taking taylor expansion of (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1/4) in y
6.798 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) in y
6.798 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) in y
6.798 * [taylor]: Taking taylor expansion of 1/4 in y
6.798 * [backup-simplify]: Simplify 1/4 into 1/4
6.798 * [taylor]: Taking taylor expansion of (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in y
6.798 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in y
6.798 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
6.798 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.799 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2)
6.799 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3)
6.799 * [backup-simplify]: Simplify (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))
6.799 * [backup-simplify]: Simplify (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) into (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))
6.799 * [backup-simplify]: Simplify (exp (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1/4)
6.799 * [backup-simplify]: Simplify (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1/4) into (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1/4)
6.800 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))) into 0
6.800 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) into 0
6.801 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1)))) 1) into 0
6.801 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
6.802 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.802 * [taylor]: Taking taylor expansion of 0 in y
6.802 * [backup-simplify]: Simplify 0 into 0
6.802 * [backup-simplify]: Simplify 0 into 0
6.802 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))) into 0
6.802 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) into 0
6.803 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1)))) 1) into 0
6.803 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0
6.804 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) (+ (* (/ (pow 0 1) 1)))) into 0
6.804 * [backup-simplify]: Simplify 0 into 0
6.805 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 y) (/ 1 x)))))) into 0
6.809 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2)))) into 0
6.811 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1)))) 2) into 0
6.813 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))))) into 0
6.814 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.814 * [taylor]: Taking taylor expansion of 0 in y
6.814 * [backup-simplify]: Simplify 0 into 0
6.814 * [backup-simplify]: Simplify 0 into 0
6.814 * [backup-simplify]: Simplify 0 into 0
6.815 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 y) (/ 1 x)))))) into 0
6.816 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2)))) into 0
6.818 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1)))) 2) into 0
6.819 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3))))) into 0
6.821 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.821 * [backup-simplify]: Simplify 0 into 0
6.822 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0
6.824 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))))) into 0
6.828 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 1)))) 6) into 0
6.829 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))))) into 0
6.830 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.830 * [taylor]: Taking taylor expansion of 0 in y
6.830 * [backup-simplify]: Simplify 0 into 0
6.830 * [backup-simplify]: Simplify 0 into 0
6.830 * [backup-simplify]: Simplify (pow (pow (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) 3) 1/4) into (pow (pow (fabs (- x y)) 3) 1/4)
6.830 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
6.830 * [backup-simplify]: Simplify (sqrt (sqrt (fabs (- x y)))) into (pow (fabs (- x y)) 1/4)
6.830 * [approximate]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in (x y) around 0
6.830 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in y
6.830 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in y
6.830 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in y
6.830 * [taylor]: Taking taylor expansion of 1/4 in y
6.830 * [backup-simplify]: Simplify 1/4 into 1/4
6.830 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y
6.830 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
6.830 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.830 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
6.830 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
6.831 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
6.831 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in x
6.831 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in x
6.831 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in x
6.831 * [taylor]: Taking taylor expansion of 1/4 in x
6.831 * [backup-simplify]: Simplify 1/4 into 1/4
6.831 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x
6.831 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
6.831 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.831 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
6.831 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
6.831 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
6.831 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in x
6.831 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in x
6.831 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in x
6.831 * [taylor]: Taking taylor expansion of 1/4 in x
6.831 * [backup-simplify]: Simplify 1/4 into 1/4
6.831 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x
6.831 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
6.831 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.831 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
6.831 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
6.831 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
6.831 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/4) in y
6.831 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- x y))))) in y
6.831 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- x y)))) in y
6.831 * [taylor]: Taking taylor expansion of 1/4 in y
6.831 * [backup-simplify]: Simplify 1/4 into 1/4
6.831 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y
6.831 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
6.831 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
6.832 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y)))
6.832 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- x y)))) into (* 1/4 (log (fabs (- x y))))
6.832 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/4)
6.832 * [backup-simplify]: Simplify (pow (fabs (- x y)) 1/4) into (pow (fabs (- x y)) 1/4)
6.832 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- x y)) 1)))) 1) into 0
6.833 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- x y))))) into 0
6.833 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.833 * [taylor]: Taking taylor expansion of 0 in y
6.833 * [backup-simplify]: Simplify 0 into 0
6.833 * [backup-simplify]: Simplify 0 into 0
6.834 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- x y)) 1)))) 1) into 0
6.834 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- x y))))) into 0
6.835 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.835 * [backup-simplify]: Simplify 0 into 0
6.836 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- x y)) 1)))) 2) into 0
6.837 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- x y)))))) into 0
6.838 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.838 * [taylor]: Taking taylor expansion of 0 in y
6.838 * [backup-simplify]: Simplify 0 into 0
6.838 * [backup-simplify]: Simplify 0 into 0
6.838 * [backup-simplify]: Simplify 0 into 0
6.839 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- x y)) 1)))) 2) into 0
6.839 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- x y)))))) into 0
6.840 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.840 * [backup-simplify]: Simplify 0 into 0
6.842 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- x y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- x y)) 1)))) 6) into 0
6.843 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- x y))))))) into 0
6.844 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- x y))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.844 * [taylor]: Taking taylor expansion of 0 in y
6.844 * [backup-simplify]: Simplify 0 into 0
6.844 * [backup-simplify]: Simplify 0 into 0
6.844 * [backup-simplify]: Simplify (pow (fabs (- x y)) 1/4) into (pow (fabs (- x y)) 1/4)
6.844 * [backup-simplify]: Simplify (sqrt (sqrt (fabs (- (/ 1 x) (/ 1 y))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
6.844 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in (x y) around 0
6.844 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in y
6.844 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y
6.844 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in y
6.844 * [taylor]: Taking taylor expansion of 1/4 in y
6.844 * [backup-simplify]: Simplify 1/4 into 1/4
6.844 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y
6.845 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
6.845 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.845 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
6.845 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
6.845 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
6.845 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in x
6.845 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x
6.845 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in x
6.845 * [taylor]: Taking taylor expansion of 1/4 in x
6.845 * [backup-simplify]: Simplify 1/4 into 1/4
6.845 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x
6.845 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
6.845 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.845 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
6.845 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
6.845 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
6.845 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in x
6.845 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x
6.845 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in x
6.846 * [taylor]: Taking taylor expansion of 1/4 in x
6.846 * [backup-simplify]: Simplify 1/4 into 1/4
6.846 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x
6.846 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
6.846 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.846 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
6.846 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
6.846 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
6.846 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) in y
6.846 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y
6.846 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) in y
6.846 * [taylor]: Taking taylor expansion of 1/4 in y
6.846 * [backup-simplify]: Simplify 1/4 into 1/4
6.846 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y
6.846 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
6.846 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
6.846 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y))))
6.846 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))
6.847 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
6.847 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/4)
6.847 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 1) into 0
6.848 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))) into 0
6.848 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.848 * [taylor]: Taking taylor expansion of 0 in y
6.848 * [backup-simplify]: Simplify 0 into 0
6.848 * [backup-simplify]: Simplify 0 into 0
6.849 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 1) into 0
6.849 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))) into 0
6.850 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.850 * [backup-simplify]: Simplify 0 into 0
6.851 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 2) into 0
6.852 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y))))))) into 0
6.853 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.853 * [taylor]: Taking taylor expansion of 0 in y
6.853 * [backup-simplify]: Simplify 0 into 0
6.853 * [backup-simplify]: Simplify 0 into 0
6.853 * [backup-simplify]: Simplify 0 into 0
6.854 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 2) into 0
6.855 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y))))))) into 0
6.856 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.856 * [backup-simplify]: Simplify 0 into 0
6.858 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 6) into 0
6.859 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))))) into 0
6.860 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.860 * [taylor]: Taking taylor expansion of 0 in y
6.860 * [backup-simplify]: Simplify 0 into 0
6.860 * [backup-simplify]: Simplify 0 into 0
6.861 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) 1/4) into (pow (fabs (- x y)) 1/4)
6.861 * [backup-simplify]: Simplify (sqrt (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
6.861 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in (x y) around 0
6.861 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in y
6.861 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y
6.861 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in y
6.861 * [taylor]: Taking taylor expansion of 1/4 in y
6.861 * [backup-simplify]: Simplify 1/4 into 1/4
6.861 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y
6.861 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
6.861 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.862 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
6.862 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
6.862 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
6.862 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in x
6.862 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x
6.862 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in x
6.862 * [taylor]: Taking taylor expansion of 1/4 in x
6.862 * [backup-simplify]: Simplify 1/4 into 1/4
6.862 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x
6.862 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
6.862 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.862 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
6.863 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
6.863 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
6.863 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in x
6.863 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x
6.863 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in x
6.863 * [taylor]: Taking taylor expansion of 1/4 in x
6.863 * [backup-simplify]: Simplify 1/4 into 1/4
6.863 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x
6.863 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
6.863 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.863 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
6.864 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
6.864 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
6.864 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) in y
6.864 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y
6.864 * [taylor]: Taking taylor expansion of (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) in y
6.864 * [taylor]: Taking taylor expansion of 1/4 in y
6.864 * [backup-simplify]: Simplify 1/4 into 1/4
6.864 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y
6.864 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
6.864 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
6.864 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x))))
6.865 * [backup-simplify]: Simplify (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))
6.865 * [backup-simplify]: Simplify (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
6.865 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/4)
6.866 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 1) into 0
6.867 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))) into 0
6.868 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.868 * [taylor]: Taking taylor expansion of 0 in y
6.868 * [backup-simplify]: Simplify 0 into 0
6.868 * [backup-simplify]: Simplify 0 into 0
6.869 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 1) into 0
6.870 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))) into 0
6.871 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 1) 1)))) into 0
6.871 * [backup-simplify]: Simplify 0 into 0
6.873 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 2) into 0
6.874 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x))))))) into 0
6.876 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.876 * [taylor]: Taking taylor expansion of 0 in y
6.876 * [backup-simplify]: Simplify 0 into 0
6.876 * [backup-simplify]: Simplify 0 into 0
6.876 * [backup-simplify]: Simplify 0 into 0
6.878 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 2) into 0
6.879 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x))))))) into 0
6.880 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.881 * [backup-simplify]: Simplify 0 into 0
6.884 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 6) into 0
6.886 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))))) into 0
6.888 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.888 * [taylor]: Taking taylor expansion of 0 in y
6.888 * [backup-simplify]: Simplify 0 into 0
6.888 * [backup-simplify]: Simplify 0 into 0
6.888 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) 1/4) into (pow (fabs (- x y)) 1/4)
6.888 * * * [progress]: simplifying candidates
6.891 * [simplify]: Simplifying:
  (log (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))))
  (exp (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))))
  (cbrt (sqrt (fabs (- x y))))
  (cbrt (sqrt (sqrt (fabs (- x y)))))
  (* (cbrt (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))) (cbrt (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))))
  (cbrt (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))))
  (* (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))) (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))))
  (sqrt (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))))
  (sqrt (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))))
  (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y)))))
  (+ (log (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))) (log (sqrt (sqrt (fabs (- x y))))))
  (log (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))))
  (exp (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))))
  (* (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))) (* (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y))))))
  (* (cbrt (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y)))))) (cbrt (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y)))))))
  (cbrt (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))))
  (* (* (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))) (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y)))))) (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))))
  (sqrt (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))))
  (sqrt (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y)))))))
  (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))))
  (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))))
  (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt 1)))
  (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt 1))
  (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) 1)
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (* (cbrt (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))) (sqrt (sqrt (fabs (- x y)))))
  (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y)))))
  (+ 1/2 (/ 1/2 2))
  (+ 1/2 (/ (/ 1 2) 2))
  (+ 1 1/2)
  (+ 1 (/ 1 2))
  (+ (/ 1 2) (/ 1/2 2))
  (+ (/ 1 2) (/ (/ 1 2) 2))
  (* (fabs (- x y)) (sqrt (fabs (- x y))))
  (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))
  (* (fabs (- x y)) (sqrt (fabs (- x y))))
  (+ (log (sqrt (fabs (- x y)))) (log (sqrt (sqrt (fabs (- x y))))))
  (log (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))
  (exp (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))
  (* (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (* (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y))))))
  (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))))
  (cbrt (* (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 (sqrt (fabs (- x y))))))
  (* (fabs (- x y)) (sqrt (fabs (- x y))))
  (sqrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))
  (sqrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (fabs (- x y))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y)))))))
  (* (sqrt (fabs (- x y))) (sqrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))))
  (* (sqrt (fabs (- x y))) (sqrt (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))))
  (* (sqrt (fabs (- x y))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (fabs (- x y))) (sqrt (sqrt 1)))
  (* (sqrt (fabs (- x y))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (fabs (- x y))) (sqrt 1))
  (* (sqrt (fabs (- x y))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (fabs (- x y))) 1)
  (* (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))
  (log (sqrt (sqrt (fabs (- x y)))))
  (exp (sqrt (sqrt (fabs (- x y)))))
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))))
  (cbrt (sqrt (sqrt (fabs (- x y)))))
  (* (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (sqrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))))
  (sqrt (cbrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (sqrt (sqrt (cbrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt 1)
  (sqrt (sqrt (fabs (- x y))))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (pow (pow (fabs (- x y)) 3) 1/4)
  (pow (pow (fabs (- x y)) 3) 1/4)
  (pow (pow (fabs (- x y)) 3) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
6.894 * * [simplify]: iteration 0: 93 enodes
6.925 * * [simplify]: iteration 1: 196 enodes
6.993 * * [simplify]: iteration 2: 426 enodes
7.199 * * [simplify]: iteration 3: 609 enodes
7.385 * * [simplify]: iteration 4: 866 enodes
7.826 * * [simplify]: iteration 5: 1572 enodes
9.256 * * [simplify]: iteration 6: 4578 enodes
10.180 * * [simplify]: iteration complete: 5044 enodes
10.180 * * [simplify]: Extracting #0: cost 40 inf + 0
10.181 * * [simplify]: Extracting #1: cost 248 inf + 5
10.184 * * [simplify]: Extracting #2: cost 576 inf + 55
10.190 * * [simplify]: Extracting #3: cost 816 inf + 1446
10.197 * * [simplify]: Extracting #4: cost 823 inf + 2083
10.206 * * [simplify]: Extracting #5: cost 805 inf + 5429
10.226 * * [simplify]: Extracting #6: cost 628 inf + 78147
10.303 * * [simplify]: Extracting #7: cost 201 inf + 274320
10.412 * * [simplify]: Extracting #8: cost 12 inf + 375161
10.499 * * [simplify]: Extracting #9: cost 0 inf + 383429
10.601 * [simplify]: Simplified to:
  (log (sqrt (sqrt (fabs (- x y)))))
  (exp (sqrt (sqrt (fabs (- x y)))))
  (cbrt (sqrt (fabs (- x y))))
  (cbrt (sqrt (sqrt (fabs (- x y)))))
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))))
  (cbrt (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (fabs (- x y)))
  (log (sqrt (fabs (- x y))))
  (log (sqrt (fabs (- x y))))
  (exp (sqrt (fabs (- x y))))
  (* (sqrt (fabs (- x y))) (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))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (fabs (- x y))))
  (* (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y)))))
  (* (fabs (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (cbrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (sqrt (sqrt (fabs (- x y))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (sqrt (sqrt (fabs (- x y))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (sqrt (sqrt (fabs (- x y))))
  (* (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (sqrt (fabs (- x y)))
  3/4
  3/4
  3/2
  3/2
  3/4
  3/4
  (* (sqrt (fabs (- x y))) (fabs (- x y)))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (* (sqrt (fabs (- x y))) (fabs (- x y)))
  (log (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))))
  (log (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))))
  (exp (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (fabs (- x y)))) (* (fabs (- x y)) (fabs (- x y))))
  (sqrt (fabs (- x y)))
  (sqrt (sqrt (fabs (- x y))))
  (* (sqrt (sqrt (fabs (- x y)))) (* (fabs (- x y)) (fabs (- x y))))
  (* (sqrt (fabs (- x y))) (fabs (- x y)))
  (sqrt (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))))
  (sqrt (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (sqrt (fabs (- x y)))))
  (* (sqrt (fabs (- x y))) (fabs (cbrt (sqrt (fabs (- x y))))))
  (* (sqrt (fabs (cbrt (fabs (- x y))))) (sqrt (fabs (- x y))))
  (* (sqrt (fabs (- x y))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (sqrt (fabs (- x y)))
  (* (sqrt (fabs (- x y))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (sqrt (fabs (- x y)))
  (* (sqrt (fabs (- x y))) (sqrt (sqrt (sqrt (fabs (- x y))))))
  (sqrt (fabs (- x y)))
  (* (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (cbrt (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)))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (log (sqrt (sqrt (fabs (- x y)))))
  (exp (sqrt (sqrt (fabs (- x y)))))
  (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))))
  (cbrt (sqrt (sqrt (fabs (- x y)))))
  (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))))
  (fabs (cbrt (sqrt (fabs (- x y)))))
  (sqrt (cbrt (sqrt (fabs (- x y)))))
  (sqrt (fabs (cbrt (fabs (- x y)))))
  (sqrt (sqrt (cbrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  1
  (sqrt (sqrt (fabs (- x y))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  1
  (sqrt (sqrt (fabs (- x y))))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (sqrt (sqrt (sqrt (fabs (- x y)))))
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (sqrt (fabs (- x y)))
  (pow (* (fabs (- x y)) (* (fabs (- x y)) (fabs (- x y)))) 1/4)
  (pow (* (fabs (- x y)) (* (fabs (- x y)) (fabs (- x y)))) 1/4)
  (pow (* (fabs (- x y)) (* (fabs (- x y)) (fabs (- x y)))) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
  (pow (fabs (- x y)) 1/4)
10.611 * * * [progress]: adding candidates to table
11.049 * [progress]: [Phase 3 of 3] Extracting.
11.049 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (sqrt (fabs (- x y))))> #<alt (λ (x y) (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))))>)
11.049 * * * [regime-changes]: Trying 5 branch expressions: ((- x y) (fabs (- x y)) (sqrt (fabs (- x y))) y x)
11.049 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y) (sqrt (fabs (- x y))))> #<alt (λ (x y) (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))))>)
11.091 * * * * [regimes]: Trying to branch on (fabs (- x y)) from (#<alt (λ (x y) (sqrt (fabs (- x y))))> #<alt (λ (x y) (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))))>)
11.150 * * * * [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))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))))>)
11.206 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (sqrt (fabs (- x y))))> #<alt (λ (x y) (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))))>)
11.236 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (sqrt (fabs (- x y))))> #<alt (λ (x y) (* (cbrt (* (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))))) (sqrt (sqrt (fabs (- x y))))))>)
11.273 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
11.273 * [simplify]: Simplifying:
  (sqrt (fabs (- x y)))
11.273 * * [simplify]: iteration 0: 5 enodes
11.274 * * [simplify]: iteration complete: 5 enodes
11.274 * * [simplify]: Extracting #0: cost 1 inf + 0
11.274 * * [simplify]: Extracting #1: cost 2 inf + 0
11.274 * * [simplify]: Extracting #2: cost 3 inf + 0
11.274 * * [simplify]: Extracting #3: cost 5 inf + 0
11.274 * * [simplify]: Extracting #4: cost 3 inf + 2
11.274 * * [simplify]: Extracting #5: cost 0 inf + 248
11.274 * [simplify]: Simplified to:
  (sqrt (fabs (- x y)))
12.559 * [regime-testing]: Baseline error score: 0.008376047005875735
12.568 * [regime-testing]: Oracle error score: 0.006250781347668459
12.586 * [regime-testing]: End program error score: 0.008376047005875735