33.642 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.025 * [simplify]: Simplifying:
  (/ (fabs (- x y)) (fabs y))
0.048 * * [progress]: iteration 1 / 4
0.048 * * * [progress]: picking best candidate
0.051 * * * * [pick]: Picked  #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>
0.051 * * * [progress]: localizing error
0.057 * * * [progress]: generating rewritten candidates
0.057 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.062 * * * [progress]: generating series expansions
0.063 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.063 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.063 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0
0.063 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
0.063 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
0.063 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
0.063 * [taylor]: Taking taylor expansion of (fabs y) in y
0.063 * [backup-simplify]: Simplify (fabs y) into (fabs y)
0.063 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.063 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs 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 * [taylor]: Taking taylor expansion of (fabs y) in x
0.063 * [backup-simplify]: Simplify (fabs y) into (fabs y)
0.063 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.063 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs 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 * [taylor]: Taking taylor expansion of (fabs y) in x
0.063 * [backup-simplify]: Simplify (fabs y) into (fabs y)
0.063 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.063 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs 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 * [taylor]: Taking taylor expansion of (fabs y) in y
0.064 * [backup-simplify]: Simplify (fabs y) into (fabs y)
0.064 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.064 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.064 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
0.064 * [taylor]: Taking taylor expansion of 0 in y
0.064 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
0.064 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
0.064 * [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.065 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
0.065 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
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 (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.065 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.065 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0
0.065 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
0.065 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
0.066 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.066 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
0.066 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
0.066 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.066 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
0.066 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
0.066 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.066 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
0.066 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
0.066 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.066 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
0.066 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
0.066 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.066 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
0.066 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
0.066 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.067 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
0.067 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
0.067 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.067 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
0.067 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
0.067 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.067 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.067 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
0.067 * [taylor]: Taking taylor expansion of 0 in y
0.067 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify 0 into 0
0.068 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
0.068 * [backup-simplify]: Simplify 0 into 0
0.068 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
0.068 * [taylor]: Taking taylor expansion of 0 in y
0.068 * [backup-simplify]: Simplify 0 into 0
0.068 * [backup-simplify]: Simplify 0 into 0
0.068 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
0.069 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
0.069 * [taylor]: Taking taylor expansion of 0 in y
0.069 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y))
0.069 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.069 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0
0.069 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
0.069 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
0.070 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.070 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
0.070 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
0.070 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.070 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
0.070 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
0.070 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.070 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
0.070 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
0.070 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.070 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
0.070 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
0.070 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.070 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
0.070 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
0.070 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.070 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
0.070 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
0.071 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.071 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
0.071 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
0.071 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.071 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.071 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
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 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
0.071 * [backup-simplify]: Simplify 0 into 0
0.072 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -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.072 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
0.072 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
0.073 * [taylor]: Taking taylor expansion of 0 in y
0.073 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y))
0.073 * * * [progress]: simplifying candidates
0.073 * [simplify]: Simplifying:
  (- (log (fabs (- x y))) (log (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (exp (/ (fabs (- x y)) (fabs y)))
  (/ (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))) (* (* (fabs y) (fabs y)) (fabs y)))
  (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y))))
  (cbrt (/ (fabs (- x y)) (fabs y)))
  (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y)))
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (- (fabs (- x y)))
  (- (fabs y))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (cbrt (fabs (- x y))) (cbrt (fabs y)))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y)))
  (/ (cbrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1)
  (/ (cbrt (fabs (- x y))) (fabs y))
  (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (sqrt (fabs (- x y))) (cbrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) 1)
  (/ (sqrt (fabs (- x y))) (fabs y))
  (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (fabs (- x y)) (cbrt (fabs y)))
  (/ 1 (sqrt (fabs y)))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (/ 1 1)
  (/ (fabs (- x y)) (fabs y))
  (/ 1 (fabs y))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs (- x y)) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (/ (fabs (- x y)) 1)
  (/ (fabs y) (cbrt (fabs (- x y))))
  (/ (fabs y) (sqrt (fabs (- x y))))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
1.475 * * * [progress]: adding candidates to table
1.568 * * [progress]: iteration 2 / 4
1.568 * * * [progress]: picking best candidate
1.580 * * * * [pick]: Picked  #<alt (λ (x y) (/ 1 (/ (fabs y) (fabs (- x y)))))>
1.581 * * * [progress]: localizing error
1.597 * * * [progress]: generating rewritten candidates
1.597 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.617 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.636 * * * [progress]: generating series expansions
1.636 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.637 * [backup-simplify]: Simplify (/ 1 (/ (fabs y) (fabs (- x y)))) into (/ (fabs (- x y)) (fabs y))
1.637 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (y x) around 0
1.637 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
1.637 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
1.637 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.637 * [taylor]: Taking taylor expansion of (fabs y) in x
1.637 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.637 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.637 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
1.637 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
1.637 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.637 * [taylor]: Taking taylor expansion of (fabs y) in y
1.638 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.638 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.638 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
1.638 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
1.638 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.638 * [taylor]: Taking taylor expansion of (fabs y) in y
1.638 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.638 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.638 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
1.638 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
1.638 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.638 * [taylor]: Taking taylor expansion of (fabs y) in x
1.638 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.639 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.639 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.639 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
1.639 * [taylor]: Taking taylor expansion of 0 in x
1.639 * [backup-simplify]: Simplify 0 into 0
1.639 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
1.640 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
1.640 * [taylor]: Taking taylor expansion of 0 in x
1.640 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify 0 into 0
1.641 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
1.641 * [backup-simplify]: Simplify 0 into 0
1.641 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
1.641 * [taylor]: Taking taylor expansion of 0 in x
1.641 * [backup-simplify]: Simplify 0 into 0
1.641 * [backup-simplify]: Simplify 0 into 0
1.641 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.642 * [backup-simplify]: Simplify (/ 1 (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.642 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (y x) around 0
1.642 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
1.642 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
1.642 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.642 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
1.642 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.642 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.642 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
1.642 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
1.643 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.643 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
1.643 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.643 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.643 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
1.643 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
1.643 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.643 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
1.643 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.644 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.644 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
1.644 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
1.644 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.644 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
1.644 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.644 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.645 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.645 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
1.645 * [taylor]: Taking taylor expansion of 0 in x
1.645 * [backup-simplify]: Simplify 0 into 0
1.645 * [backup-simplify]: Simplify 0 into 0
1.646 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
1.646 * [backup-simplify]: Simplify 0 into 0
1.646 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
1.646 * [taylor]: Taking taylor expansion of 0 in x
1.646 * [backup-simplify]: Simplify 0 into 0
1.646 * [backup-simplify]: Simplify 0 into 0
1.647 * [backup-simplify]: Simplify 0 into 0
1.647 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
1.647 * [backup-simplify]: Simplify 0 into 0
1.648 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
1.648 * [taylor]: Taking taylor expansion of 0 in x
1.648 * [backup-simplify]: Simplify 0 into 0
1.648 * [backup-simplify]: Simplify 0 into 0
1.648 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y))
1.648 * [backup-simplify]: Simplify (/ 1 (/ (fabs (/ 1 (- y))) (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.648 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (y x) around 0
1.649 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
1.649 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
1.649 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.649 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
1.649 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.649 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.649 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
1.649 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
1.649 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.649 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
1.649 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.650 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.650 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
1.650 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
1.650 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.650 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
1.650 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.650 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.650 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
1.650 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
1.650 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.650 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
1.651 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.651 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.651 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.652 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
1.652 * [taylor]: Taking taylor expansion of 0 in x
1.652 * [backup-simplify]: Simplify 0 into 0
1.652 * [backup-simplify]: Simplify 0 into 0
1.652 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
1.652 * [backup-simplify]: Simplify 0 into 0
1.653 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
1.653 * [taylor]: Taking taylor expansion of 0 in x
1.653 * [backup-simplify]: Simplify 0 into 0
1.653 * [backup-simplify]: Simplify 0 into 0
1.653 * [backup-simplify]: Simplify 0 into 0
1.653 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
1.653 * [backup-simplify]: Simplify 0 into 0
1.654 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
1.654 * [taylor]: Taking taylor expansion of 0 in x
1.654 * [backup-simplify]: Simplify 0 into 0
1.654 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y))
1.655 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.655 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
1.655 * [approximate]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in (y x) around 0
1.655 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in x
1.655 * [taylor]: Taking taylor expansion of (fabs y) in x
1.655 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.655 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
1.655 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.655 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
1.655 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in y
1.655 * [taylor]: Taking taylor expansion of (fabs y) in y
1.655 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.655 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
1.655 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.656 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
1.656 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in y
1.656 * [taylor]: Taking taylor expansion of (fabs y) in y
1.656 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.656 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
1.656 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.656 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
1.656 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in x
1.656 * [taylor]: Taking taylor expansion of (fabs y) in x
1.656 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.656 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
1.656 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.656 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
1.657 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
1.657 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))))) into 0
1.657 * [taylor]: Taking taylor expansion of 0 in x
1.657 * [backup-simplify]: Simplify 0 into 0
1.657 * [backup-simplify]: Simplify 0 into 0
1.657 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))))) into 0
1.658 * [backup-simplify]: Simplify 0 into 0
1.658 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0
1.658 * [taylor]: Taking taylor expansion of 0 in x
1.658 * [backup-simplify]: Simplify 0 into 0
1.658 * [backup-simplify]: Simplify 0 into 0
1.658 * [backup-simplify]: Simplify 0 into 0
1.659 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0
1.659 * [backup-simplify]: Simplify 0 into 0
1.659 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0
1.659 * [taylor]: Taking taylor expansion of 0 in x
1.659 * [backup-simplify]: Simplify 0 into 0
1.659 * [backup-simplify]: Simplify 0 into 0
1.659 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
1.660 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))
1.660 * [approximate]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in (y x) around 0
1.660 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in x
1.660 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
1.660 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.660 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
1.660 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.660 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))
1.660 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in y
1.660 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
1.661 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.661 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
1.661 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.661 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))
1.661 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in y
1.661 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
1.661 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.661 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
1.661 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.661 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))
1.662 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in x
1.662 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
1.662 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.662 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
1.662 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.662 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))
1.662 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))
1.663 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0
1.663 * [taylor]: Taking taylor expansion of 0 in x
1.663 * [backup-simplify]: Simplify 0 into 0
1.663 * [backup-simplify]: Simplify 0 into 0
1.664 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0
1.664 * [backup-simplify]: Simplify 0 into 0
1.665 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0
1.665 * [taylor]: Taking taylor expansion of 0 in x
1.665 * [backup-simplify]: Simplify 0 into 0
1.665 * [backup-simplify]: Simplify 0 into 0
1.665 * [backup-simplify]: Simplify 0 into 0
1.666 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0
1.666 * [backup-simplify]: Simplify 0 into 0
1.667 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0
1.667 * [taylor]: Taking taylor expansion of 0 in x
1.667 * [backup-simplify]: Simplify 0 into 0
1.667 * [backup-simplify]: Simplify 0 into 0
1.667 * [backup-simplify]: Simplify (/ (fabs (/ 1 (/ 1 y))) (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (fabs y) (fabs (- x y)))
1.667 * [backup-simplify]: Simplify (/ (fabs (/ 1 (- y))) (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x))))
1.667 * [approximate]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in (y x) around 0
1.667 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in x
1.667 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
1.667 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.668 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
1.668 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.668 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x))))
1.668 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in y
1.668 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
1.668 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.668 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
1.668 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.668 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x))))
1.669 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in y
1.669 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
1.669 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.669 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
1.669 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.669 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x))))
1.669 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in x
1.669 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
1.669 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.669 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
1.669 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.670 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x))))
1.670 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x))))
1.671 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0
1.671 * [taylor]: Taking taylor expansion of 0 in x
1.671 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0
1.671 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0
1.672 * [taylor]: Taking taylor expansion of 0 in x
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify 0 into 0
1.673 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0
1.673 * [backup-simplify]: Simplify 0 into 0
1.674 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0
1.674 * [taylor]: Taking taylor expansion of 0 in x
1.674 * [backup-simplify]: Simplify 0 into 0
1.674 * [backup-simplify]: Simplify 0 into 0
1.675 * [backup-simplify]: Simplify (/ (fabs (/ -1 (/ 1 (- y)))) (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (fabs y) (fabs (- x y)))
1.675 * * * [progress]: simplifying candidates
1.678 * [simplify]: Simplifying:
  (- 1)
  (- (- (log (fabs y)) (log (fabs (- x y)))))
  (- (log (/ (fabs y) (fabs (- x y)))))
  (- 0 (- (log (fabs y)) (log (fabs (- x y)))))
  (- 0 (log (/ (fabs y) (fabs (- x y)))))
  (- (log 1) (- (log (fabs y)) (log (fabs (- x y)))))
  (- (log 1) (log (/ (fabs y) (fabs (- x y)))))
  (log (/ 1 (/ (fabs y) (fabs (- x y)))))
  (exp (/ 1 (/ (fabs y) (fabs (- x y)))))
  (/ (* (* 1 1) 1) (/ (* (* (fabs y) (fabs y)) (fabs y)) (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y)))))
  (/ (* (* 1 1) 1) (* (* (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y)))) (/ (fabs y) (fabs (- x y)))))
  (* (cbrt (/ 1 (/ (fabs y) (fabs (- x y))))) (cbrt (/ 1 (/ (fabs y) (fabs (- x y))))))
  (cbrt (/ 1 (/ (fabs y) (fabs (- x y)))))
  (* (* (/ 1 (/ (fabs y) (fabs (- x y)))) (/ 1 (/ (fabs y) (fabs (- x y))))) (/ 1 (/ (fabs y) (fabs (- x y)))))
  (sqrt (/ 1 (/ (fabs y) (fabs (- x y)))))
  (sqrt (/ 1 (/ (fabs y) (fabs (- x y)))))
  (- 1)
  (- (/ (fabs y) (fabs (- x y))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y))))))
  (/ (cbrt 1) (cbrt (/ (fabs y) (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ (cbrt 1) (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ (cbrt 1) (/ (cbrt (fabs y)) (cbrt (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y)))))
  (/ (cbrt 1) (/ (cbrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1))
  (/ (cbrt 1) (/ (cbrt (fabs y)) (fabs (- x y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ (cbrt 1) (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ (cbrt 1) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (fabs y)) 1))
  (/ (cbrt 1) (/ (sqrt (fabs y)) (fabs (- x y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ (cbrt 1) (/ (fabs y) (cbrt (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (fabs (- x y)))))
  (/ (cbrt 1) (/ (fabs y) (sqrt (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (fabs y) (fabs (- x y))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ (fabs y) (fabs (- x y))))
  (/ (* (cbrt 1) (cbrt 1)) (fabs y))
  (/ (cbrt 1) (/ 1 (fabs (- x y))))
  (/ (sqrt 1) (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y))))))
  (/ (sqrt 1) (cbrt (/ (fabs y) (fabs (- x y)))))
  (/ (sqrt 1) (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ (sqrt 1) (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ (sqrt 1) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ (sqrt 1) (/ (cbrt (fabs y)) (cbrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (cbrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1))
  (/ (sqrt 1) (/ (cbrt (fabs y)) (fabs (- x y))))
  (/ (sqrt 1) (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ (sqrt 1) (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (sqrt (fabs y)) 1))
  (/ (sqrt 1) (/ (sqrt (fabs y)) (fabs (- x y))))
  (/ (sqrt 1) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ (sqrt 1) (/ (fabs y) (cbrt (fabs (- x y)))))
  (/ (sqrt 1) (/ 1 (sqrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (fabs y) (sqrt (fabs (- x y)))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (fabs y) (fabs (- x y))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ (fabs y) (fabs (- x y))))
  (/ (sqrt 1) (fabs y))
  (/ (sqrt 1) (/ 1 (fabs (- x y))))
  (/ 1 (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y))))))
  (/ 1 (cbrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ 1 (/ (cbrt (fabs y)) (cbrt (fabs (- x y)))))
  (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y)))))
  (/ 1 (/ (cbrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1))
  (/ 1 (/ (cbrt (fabs y)) (fabs (- x y))))
  (/ 1 (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ 1 (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))))
  (/ 1 (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ 1 (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ 1 (/ (sqrt (fabs y)) 1))
  (/ 1 (/ (sqrt (fabs y)) (fabs (- x y))))
  (/ 1 (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ 1 (/ (fabs y) (cbrt (fabs (- x y)))))
  (/ 1 (/ 1 (sqrt (fabs (- x y)))))
  (/ 1 (/ (fabs y) (sqrt (fabs (- x y)))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (fabs y) (fabs (- x y))))
  (/ 1 1)
  (/ 1 (/ (fabs y) (fabs (- x y))))
  (/ 1 (fabs y))
  (/ 1 (/ 1 (fabs (- x y))))
  (/ 1 (/ (fabs y) (fabs (- x y))))
  (/ (/ (fabs y) (fabs (- x y))) 1)
  (/ 1 (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y))))))
  (/ 1 (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y)))))
  (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1))
  (/ 1 (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ 1 (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ 1 (/ (sqrt (fabs y)) 1))
  (/ 1 (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ 1 (/ 1 (sqrt (fabs (- x y)))))
  (/ 1 (/ 1 1))
  (/ 1 1)
  (/ 1 (fabs y))
  (/ (/ (fabs y) (fabs (- x y))) (cbrt 1))
  (/ (/ (fabs y) (fabs (- x y))) (sqrt 1))
  (/ (/ (fabs y) (fabs (- x y))) 1)
  (/ 1 (fabs y))
  (- (log (fabs y)) (log (fabs (- x y))))
  (log (/ (fabs y) (fabs (- x y))))
  (exp (/ (fabs y) (fabs (- x y))))
  (/ (* (* (fabs y) (fabs y)) (fabs y)) (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))))
  (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y)))))
  (cbrt (/ (fabs y) (fabs (- x y))))
  (* (* (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y)))) (/ (fabs y) (fabs (- x y))))
  (sqrt (/ (fabs y) (fabs (- x y))))
  (sqrt (/ (fabs y) (fabs (- x y))))
  (- (fabs y))
  (- (fabs (- x y)))
  (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))
  (/ (cbrt (fabs y)) (cbrt (fabs (- x y))))
  (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y))))
  (/ (cbrt (fabs y)) (sqrt (fabs (- x y))))
  (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1)
  (/ (cbrt (fabs y)) (fabs (- x y)))
  (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))
  (/ (sqrt (fabs y)) (cbrt (fabs (- x y))))
  (/ (sqrt (fabs y)) (sqrt (fabs (- x y))))
  (/ (sqrt (fabs y)) (sqrt (fabs (- x y))))
  (/ (sqrt (fabs y)) 1)
  (/ (sqrt (fabs y)) (fabs (- x y)))
  (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))
  (/ (fabs y) (cbrt (fabs (- x y))))
  (/ 1 (sqrt (fabs (- x y))))
  (/ (fabs y) (sqrt (fabs (- x y))))
  (/ 1 1)
  (/ (fabs y) (fabs (- x y)))
  (/ 1 (fabs (- x y)))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs y) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))
  (/ (fabs y) (sqrt (fabs (- x y))))
  (/ (fabs y) 1)
  (/ (fabs (- x y)) (cbrt (fabs y)))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs y) (fabs (- x y)))
2.345 * * * [progress]: adding candidates to table
2.583 * * [progress]: iteration 3 / 4
2.584 * * * [progress]: picking best candidate
2.587 * * * * [pick]: Picked  #<alt (λ (x y) (log (exp (/ (fabs (- x y)) (fabs y)))))>
2.587 * * * [progress]: localizing error
2.597 * * * [progress]: generating rewritten candidates
2.597 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.608 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.617 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
2.624 * * * [progress]: generating series expansions
2.624 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.624 * [backup-simplify]: Simplify (log (exp (/ (fabs (- x y)) (fabs y)))) into (/ (fabs (- x y)) (fabs y))
2.624 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0
2.624 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
2.624 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.624 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.624 * [taylor]: Taking taylor expansion of (fabs y) in y
2.624 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.625 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.625 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
2.625 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.625 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.625 * [taylor]: Taking taylor expansion of (fabs y) in x
2.625 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.625 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.625 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
2.625 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.625 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.625 * [taylor]: Taking taylor expansion of (fabs y) in x
2.625 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.625 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.625 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
2.625 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.625 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.625 * [taylor]: Taking taylor expansion of (fabs y) in y
2.625 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.625 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.625 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.626 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
2.626 * [taylor]: Taking taylor expansion of 0 in y
2.626 * [backup-simplify]: Simplify 0 into 0
2.626 * [backup-simplify]: Simplify 0 into 0
2.626 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
2.626 * [backup-simplify]: Simplify 0 into 0
2.626 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
2.626 * [taylor]: Taking taylor expansion of 0 in y
2.626 * [backup-simplify]: Simplify 0 into 0
2.626 * [backup-simplify]: Simplify 0 into 0
2.626 * [backup-simplify]: Simplify 0 into 0
2.626 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
2.626 * [backup-simplify]: Simplify 0 into 0
2.627 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
2.627 * [taylor]: Taking taylor expansion of 0 in y
2.627 * [backup-simplify]: Simplify 0 into 0
2.627 * [backup-simplify]: Simplify 0 into 0
2.627 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.627 * [backup-simplify]: Simplify (log (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.627 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0
2.627 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
2.627 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.627 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.627 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
2.627 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.627 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.627 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
2.627 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.627 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.627 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
2.628 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.628 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.628 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
2.628 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.628 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.628 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
2.628 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.628 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.628 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
2.628 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.628 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.628 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
2.628 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.628 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.628 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.629 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
2.629 * [taylor]: Taking taylor expansion of 0 in y
2.629 * [backup-simplify]: Simplify 0 into 0
2.629 * [backup-simplify]: Simplify 0 into 0
2.629 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
2.629 * [backup-simplify]: Simplify 0 into 0
2.629 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
2.629 * [taylor]: Taking taylor expansion of 0 in y
2.629 * [backup-simplify]: Simplify 0 into 0
2.629 * [backup-simplify]: Simplify 0 into 0
2.629 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
2.630 * [taylor]: Taking taylor expansion of 0 in y
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y))
2.631 * [backup-simplify]: Simplify (log (exp (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.631 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0
2.631 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
2.631 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.631 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.631 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
2.631 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.631 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.631 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
2.631 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.631 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.631 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
2.631 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.631 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.631 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
2.631 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.631 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.631 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
2.631 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.632 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.632 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
2.632 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.632 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.632 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
2.632 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.632 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.632 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.632 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
2.632 * [taylor]: Taking taylor expansion of 0 in y
2.632 * [backup-simplify]: Simplify 0 into 0
2.632 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
2.633 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
2.633 * [taylor]: Taking taylor expansion of 0 in y
2.633 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
2.634 * [backup-simplify]: Simplify 0 into 0
2.634 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
2.634 * [taylor]: Taking taylor expansion of 0 in y
2.634 * [backup-simplify]: Simplify 0 into 0
2.634 * [backup-simplify]: Simplify 0 into 0
2.634 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y))
2.634 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.634 * [backup-simplify]: Simplify (exp (/ (fabs (- x y)) (fabs y))) into (exp (/ (fabs (- x y)) (fabs y)))
2.634 * [approximate]: Taking taylor expansion of (exp (/ (fabs (- x y)) (fabs y))) in (x y) around 0
2.634 * [taylor]: Taking taylor expansion of (exp (/ (fabs (- x y)) (fabs y))) in y
2.634 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
2.634 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.634 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.634 * [taylor]: Taking taylor expansion of (fabs y) in y
2.635 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.635 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.635 * [backup-simplify]: Simplify (exp (/ (fabs (- x y)) (fabs y))) into (exp (/ (fabs (- x y)) (fabs y)))
2.635 * [taylor]: Taking taylor expansion of (exp (/ (fabs (- x y)) (fabs y))) in x
2.635 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
2.635 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.635 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.635 * [taylor]: Taking taylor expansion of (fabs y) in x
2.635 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.635 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.635 * [backup-simplify]: Simplify (exp (/ (fabs (- x y)) (fabs y))) into (exp (/ (fabs (- x y)) (fabs y)))
2.635 * [taylor]: Taking taylor expansion of (exp (/ (fabs (- x y)) (fabs y))) in x
2.635 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
2.635 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.635 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.635 * [taylor]: Taking taylor expansion of (fabs y) in x
2.635 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.635 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.635 * [backup-simplify]: Simplify (exp (/ (fabs (- x y)) (fabs y))) into (exp (/ (fabs (- x y)) (fabs y)))
2.635 * [taylor]: Taking taylor expansion of (exp (/ (fabs (- x y)) (fabs y))) in y
2.635 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
2.635 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.635 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.636 * [taylor]: Taking taylor expansion of (fabs y) in y
2.636 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.636 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.636 * [backup-simplify]: Simplify (exp (/ (fabs (- x y)) (fabs y))) into (exp (/ (fabs (- x y)) (fabs y)))
2.636 * [backup-simplify]: Simplify (exp (/ (fabs (- x y)) (fabs y))) into (exp (/ (fabs (- x y)) (fabs y)))
2.636 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
2.637 * [backup-simplify]: Simplify (* (exp (/ (fabs (- x y)) (fabs y))) (+ (* (/ (pow 0 1) 1)))) into 0
2.637 * [taylor]: Taking taylor expansion of 0 in y
2.637 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
2.638 * [backup-simplify]: Simplify (* (exp (/ (fabs (- x y)) (fabs y))) (+ (* (/ (pow 0 1) 1)))) into 0
2.638 * [backup-simplify]: Simplify 0 into 0
2.638 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
2.639 * [backup-simplify]: Simplify (* (exp (/ (fabs (- x y)) (fabs y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.639 * [taylor]: Taking taylor expansion of 0 in y
2.639 * [backup-simplify]: Simplify 0 into 0
2.639 * [backup-simplify]: Simplify 0 into 0
2.639 * [backup-simplify]: Simplify 0 into 0
2.643 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
2.644 * [backup-simplify]: Simplify (* (exp (/ (fabs (- x y)) (fabs y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.645 * [backup-simplify]: Simplify 0 into 0
2.645 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
2.646 * [backup-simplify]: Simplify (* (exp (/ (fabs (- x y)) (fabs y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.646 * [taylor]: Taking taylor expansion of 0 in y
2.646 * [backup-simplify]: Simplify 0 into 0
2.646 * [backup-simplify]: Simplify 0 into 0
2.646 * [backup-simplify]: Simplify (exp (/ (fabs (- x y)) (fabs y))) into (exp (/ (fabs (- x y)) (fabs y)))
2.646 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))
2.646 * [approximate]: Taking taylor expansion of (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in (x y) around 0
2.646 * [taylor]: Taking taylor expansion of (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y
2.646 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
2.646 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.646 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.646 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
2.646 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.647 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.647 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))
2.647 * [taylor]: Taking taylor expansion of (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
2.647 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
2.647 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.647 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.647 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
2.647 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.647 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.647 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))
2.647 * [taylor]: Taking taylor expansion of (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
2.647 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
2.647 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.648 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.648 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
2.648 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.648 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.648 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))
2.648 * [taylor]: Taking taylor expansion of (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y
2.648 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
2.648 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.648 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.648 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
2.648 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.648 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.648 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))
2.649 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))
2.649 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
2.649 * [backup-simplify]: Simplify (* (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) (+ (* (/ (pow 0 1) 1)))) into 0
2.650 * [taylor]: Taking taylor expansion of 0 in y
2.650 * [backup-simplify]: Simplify 0 into 0
2.650 * [backup-simplify]: Simplify 0 into 0
2.650 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
2.650 * [backup-simplify]: Simplify (* (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) (+ (* (/ (pow 0 1) 1)))) into 0
2.650 * [backup-simplify]: Simplify 0 into 0
2.651 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
2.652 * [backup-simplify]: Simplify (* (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.652 * [taylor]: Taking taylor expansion of 0 in y
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
2.653 * [backup-simplify]: Simplify (* (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.653 * [backup-simplify]: Simplify 0 into 0
2.653 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
2.654 * [backup-simplify]: Simplify (* (exp (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.655 * [taylor]: Taking taylor expansion of 0 in y
2.655 * [backup-simplify]: Simplify 0 into 0
2.655 * [backup-simplify]: Simplify 0 into 0
2.655 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y))))) into (exp (/ (fabs (- x y)) (fabs y)))
2.655 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y))))) into (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))
2.655 * [approximate]: Taking taylor expansion of (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in (x y) around 0
2.655 * [taylor]: Taking taylor expansion of (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y
2.655 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
2.655 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.655 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.655 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
2.655 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.655 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.655 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))
2.655 * [taylor]: Taking taylor expansion of (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
2.656 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
2.656 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.656 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.656 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
2.656 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.656 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.656 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))
2.656 * [taylor]: Taking taylor expansion of (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
2.656 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
2.656 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.656 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.656 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
2.656 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.656 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.656 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))
2.657 * [taylor]: Taking taylor expansion of (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y
2.657 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
2.657 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.657 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.657 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
2.657 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.657 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.657 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))
2.657 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))
2.658 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
2.658 * [backup-simplify]: Simplify (* (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) (+ (* (/ (pow 0 1) 1)))) into 0
2.658 * [taylor]: Taking taylor expansion of 0 in y
2.658 * [backup-simplify]: Simplify 0 into 0
2.658 * [backup-simplify]: Simplify 0 into 0
2.659 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
2.659 * [backup-simplify]: Simplify (* (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) (+ (* (/ (pow 0 1) 1)))) into 0
2.659 * [backup-simplify]: Simplify 0 into 0
2.660 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
2.660 * [backup-simplify]: Simplify (* (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.661 * [taylor]: Taking taylor expansion of 0 in y
2.661 * [backup-simplify]: Simplify 0 into 0
2.661 * [backup-simplify]: Simplify 0 into 0
2.661 * [backup-simplify]: Simplify 0 into 0
2.661 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
2.662 * [backup-simplify]: Simplify (* (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.662 * [backup-simplify]: Simplify 0 into 0
2.662 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
2.663 * [backup-simplify]: Simplify (* (exp (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.663 * [taylor]: Taking taylor expansion of 0 in y
2.663 * [backup-simplify]: Simplify 0 into 0
2.663 * [backup-simplify]: Simplify 0 into 0
2.664 * [backup-simplify]: Simplify (exp (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y)))))) into (exp (/ (fabs (- x y)) (fabs y)))
2.664 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
2.664 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.664 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0
2.664 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
2.664 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.664 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.664 * [taylor]: Taking taylor expansion of (fabs y) in y
2.664 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.664 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.664 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
2.664 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.664 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.664 * [taylor]: Taking taylor expansion of (fabs y) in x
2.664 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.664 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.664 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
2.664 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.664 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.664 * [taylor]: Taking taylor expansion of (fabs y) in x
2.664 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.664 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.664 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
2.664 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.665 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.665 * [taylor]: Taking taylor expansion of (fabs y) in y
2.665 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.665 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.665 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.665 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
2.665 * [taylor]: Taking taylor expansion of 0 in y
2.665 * [backup-simplify]: Simplify 0 into 0
2.665 * [backup-simplify]: Simplify 0 into 0
2.665 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
2.665 * [backup-simplify]: Simplify 0 into 0
2.665 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
2.665 * [taylor]: Taking taylor expansion of 0 in y
2.665 * [backup-simplify]: Simplify 0 into 0
2.665 * [backup-simplify]: Simplify 0 into 0
2.666 * [backup-simplify]: Simplify 0 into 0
2.666 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
2.666 * [backup-simplify]: Simplify 0 into 0
2.666 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
2.666 * [taylor]: Taking taylor expansion of 0 in y
2.666 * [backup-simplify]: Simplify 0 into 0
2.666 * [backup-simplify]: Simplify 0 into 0
2.666 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.666 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.666 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0
2.666 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
2.666 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.666 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.666 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
2.667 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.667 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.667 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
2.667 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.667 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.667 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
2.667 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.667 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.667 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
2.667 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.667 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.667 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
2.667 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.667 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.667 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
2.667 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.667 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.667 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
2.668 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.668 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.668 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.668 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
2.668 * [taylor]: Taking taylor expansion of 0 in y
2.668 * [backup-simplify]: Simplify 0 into 0
2.668 * [backup-simplify]: Simplify 0 into 0
2.668 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
2.668 * [backup-simplify]: Simplify 0 into 0
2.669 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
2.669 * [taylor]: Taking taylor expansion of 0 in y
2.669 * [backup-simplify]: Simplify 0 into 0
2.669 * [backup-simplify]: Simplify 0 into 0
2.669 * [backup-simplify]: Simplify 0 into 0
2.669 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
2.669 * [backup-simplify]: Simplify 0 into 0
2.669 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
2.669 * [taylor]: Taking taylor expansion of 0 in y
2.669 * [backup-simplify]: Simplify 0 into 0
2.670 * [backup-simplify]: Simplify 0 into 0
2.670 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y))
2.670 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.670 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0
2.670 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
2.670 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.670 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.670 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
2.670 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.670 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.670 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
2.670 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.670 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.670 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
2.670 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.671 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.671 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
2.671 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.671 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.671 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
2.671 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.671 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.671 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
2.671 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.671 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.671 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
2.671 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.671 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.671 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.672 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
2.672 * [taylor]: Taking taylor expansion of 0 in y
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
2.672 * [taylor]: Taking taylor expansion of 0 in y
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify 0 into 0
2.673 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
2.673 * [backup-simplify]: Simplify 0 into 0
2.673 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
2.673 * [taylor]: Taking taylor expansion of 0 in y
2.673 * [backup-simplify]: Simplify 0 into 0
2.673 * [backup-simplify]: Simplify 0 into 0
2.673 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y))
2.673 * * * [progress]: simplifying candidates
2.674 * [simplify]: Simplifying:
  (log (* (cbrt (exp (/ (fabs (- x y)) (fabs y)))) (cbrt (exp (/ (fabs (- x y)) (fabs y))))))
  (log (cbrt (exp (/ (fabs (- x y)) (fabs y)))))
  (log (sqrt (exp (/ (fabs (- x y)) (fabs y)))))
  (log (sqrt (exp (/ (fabs (- x y)) (fabs y)))))
  (log 1)
  (log (exp (/ (fabs (- x y)) (fabs y))))
  (log (exp (/ (fabs (- x y)) (fabs y))))
  (log (exp (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y))))))
  (log (exp (sqrt (/ (fabs (- x y)) (fabs y)))))
  (log (exp (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y))))))
  (log (exp (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y)))))
  (log (exp (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1)))
  (log (exp (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y))))))
  (log (exp (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))))
  (log (exp (/ (sqrt (fabs (- x y))) 1)))
  (log (exp (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y))))))
  (log (exp (/ 1 (sqrt (fabs y)))))
  (log (exp (/ 1 1)))
  (log (exp 1))
  (log (exp (fabs (- x y))))
  (log (log (exp (/ (fabs (- x y)) (fabs y)))))
  (exp (log (exp (/ (fabs (- x y)) (fabs y)))))
  (* (cbrt (log (exp (/ (fabs (- x y)) (fabs y))))) (cbrt (log (exp (/ (fabs (- x y)) (fabs y))))))
  (cbrt (log (exp (/ (fabs (- x y)) (fabs y)))))
  (* (* (log (exp (/ (fabs (- x y)) (fabs y)))) (log (exp (/ (fabs (- x y)) (fabs y))))) (log (exp (/ (fabs (- x y)) (fabs y)))))
  (sqrt (log (exp (/ (fabs (- x y)) (fabs y)))))
  (sqrt (log (exp (/ (fabs (- x y)) (fabs y)))))
  (exp (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))))
  (exp (sqrt (/ (fabs (- x y)) (fabs y))))
  (exp (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))))
  (exp (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))))
  (exp (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1))
  (exp (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))))
  (exp (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))
  (exp (/ (sqrt (fabs (- x y))) 1))
  (exp (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))))
  (exp (/ 1 (sqrt (fabs y))))
  (exp (/ 1 1))
  (exp 1)
  (exp (fabs (- x y)))
  (log (exp (/ (fabs (- x y)) (fabs y))))
  (exp (exp (/ (fabs (- x y)) (fabs y))))
  (* (cbrt (exp (/ (fabs (- x y)) (fabs y)))) (cbrt (exp (/ (fabs (- x y)) (fabs y)))))
  (cbrt (exp (/ (fabs (- x y)) (fabs y))))
  (* (* (exp (/ (fabs (- x y)) (fabs y))) (exp (/ (fabs (- x y)) (fabs y)))) (exp (/ (fabs (- x y)) (fabs y))))
  (sqrt (exp (/ (fabs (- x y)) (fabs y))))
  (sqrt (exp (/ (fabs (- x y)) (fabs y))))
  (- (log (fabs (- x y))) (log (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (exp (/ (fabs (- x y)) (fabs y)))
  (/ (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))) (* (* (fabs y) (fabs y)) (fabs y)))
  (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y))))
  (cbrt (/ (fabs (- x y)) (fabs y)))
  (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y)))
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (- (fabs (- x y)))
  (- (fabs y))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (cbrt (fabs (- x y))) (cbrt (fabs y)))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y)))
  (/ (cbrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1)
  (/ (cbrt (fabs (- x y))) (fabs y))
  (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (sqrt (fabs (- x y))) (cbrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) 1)
  (/ (sqrt (fabs (- x y))) (fabs y))
  (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (fabs (- x y)) (cbrt (fabs y)))
  (/ 1 (sqrt (fabs y)))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (/ 1 1)
  (/ (fabs (- x y)) (fabs y))
  (/ 1 (fabs y))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs (- x y)) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (/ (fabs (- x y)) 1)
  (/ (fabs y) (cbrt (fabs (- x y))))
  (/ (fabs y) (sqrt (fabs (- x y))))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (exp (/ (fabs (- x y)) (fabs y)))
  (exp (/ (fabs (- x y)) (fabs y)))
  (exp (/ (fabs (- x y)) (fabs y)))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
3.395 * * * [progress]: adding candidates to table
3.684 * [progress]: [Phase 3 of 3] Extracting.
3.685 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/ 1 (/ (fabs y) (fabs (- x y)))))> #<alt (λ (x y) (log (exp (/ (fabs (- x y)) (fabs y)))))> #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>)
3.685 * * * [regime-changes]: Trying 3 branch expressions: ((/ (fabs (- x y)) (fabs y)) y x)
3.685 * * * * [regimes]: Trying to branch on (/ (fabs (- x y)) (fabs y)) from (#<alt (λ (x y) (/ 1 (/ (fabs y) (fabs (- x y)))))> #<alt (λ (x y) (log (exp (/ (fabs (- x y)) (fabs y)))))> #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>)
3.718 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/ 1 (/ (fabs y) (fabs (- x y)))))> #<alt (λ (x y) (log (exp (/ (fabs (- x y)) (fabs y)))))> #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>)
3.740 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/ 1 (/ (fabs y) (fabs (- x y)))))> #<alt (λ (x y) (log (exp (/ (fabs (- x y)) (fabs y)))))> #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>)
3.759 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
3.759 * [simplify]: Simplifying:
  (/ (fabs (- x y)) (fabs y))
4.771 * [regime-testing]: Baseline error score: 0.014251781472684086
4.774 * [regime-testing]: Oracle error score: 0.009251156394549319
4.782 * [regime-testing]: End program error score: 0.014251781472684086