49.612 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying:
  (/ (fabs (- x y)) (fabs y))
0.033 * * [simplify]: iteration 0: 6 enodes
0.034 * * [simplify]: iteration 1: 8 enodes
0.036 * * [simplify]: iteration 2: 9 enodes
0.038 * * [simplify]: iteration complete: 9 enodes
0.038 * * [simplify]: Extracting #0: cost 1 inf + 0
0.038 * * [simplify]: Extracting #1: cost 3 inf + 0
0.038 * * [simplify]: Extracting #2: cost 5 inf + 0
0.039 * * [simplify]: Extracting #3: cost 5 inf + 3
0.039 * * [simplify]: Extracting #4: cost 3 inf + 6
0.039 * * [simplify]: Extracting #5: cost 0 inf + 20
0.039 * [simplify]: Simplified to:
  (/ (fabs (- x y)) (fabs y))
0.040 * * [progress]: iteration 1 / 4
0.040 * * * [progress]: picking best candidate
0.044 * * * * [pick]: Picked  #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>
0.044 * * * [progress]: localizing error
0.058 * * * [progress]: generating rewritten candidates
0.058 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.063 * * * [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.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 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs 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 * [taylor]: Taking taylor expansion of (fabs y) in x
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 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs 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 * [taylor]: Taking taylor expansion of (fabs y) in x
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 * [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.065 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.065 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.065 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 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 (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 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))))) 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 0 into 0
0.066 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
0.066 * [backup-simplify]: Simplify 0 into 0
0.066 * [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.066 * [taylor]: Taking taylor expansion of 0 in y
0.066 * [backup-simplify]: Simplify 0 into 0
0.066 * [backup-simplify]: Simplify 0 into 0
0.066 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs 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 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0
0.066 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
0.066 * [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.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 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
0.067 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
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 x
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 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
0.067 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
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 x
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 * [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.068 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.068 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
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 * [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 (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.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 * [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 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.070 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.070 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0
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.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.071 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.071 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
0.071 * [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.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 * [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.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)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
0.072 * [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:
  (expm1 (/ (fabs (- x y)) (fabs y)))
  (log1p (/ (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))
0.074 * * [simplify]: iteration 0: 54 enodes
0.091 * * [simplify]: iteration 1: 93 enodes
0.120 * * [simplify]: iteration 2: 268 enodes
0.224 * * [simplify]: iteration 3: 1241 enodes
1.143 * * [simplify]: iteration complete: 5000 enodes
1.144 * * [simplify]: Extracting #0: cost 33 inf + 0
1.146 * * [simplify]: Extracting #1: cost 544 inf + 1
1.153 * * [simplify]: Extracting #2: cost 1447 inf + 5
1.163 * * [simplify]: Extracting #3: cost 1472 inf + 18
1.172 * * [simplify]: Extracting #4: cost 1431 inf + 236
1.181 * * [simplify]: Extracting #5: cost 531 inf + 11532
1.190 * * [simplify]: Extracting #6: cost 23 inf + 18283
1.198 * * [simplify]: Extracting #7: cost 0 inf + 18576
1.207 * [simplify]: Simplified to:
  (expm1 (/ (fabs (- x y)) (fabs y)))
  (log1p (/ (fabs (- x y)) (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (exp (/ (fabs (- x y)) (fabs y)))
  (pow (/ (fabs (- x y)) (fabs y)) 3)
  (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y))))
  (cbrt (/ (fabs (- x y)) (fabs y)))
  (pow (/ (fabs (- x y)) (fabs y)) 3)
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (- (fabs (- x y)))
  (- (fabs y))
  (/ (cbrt (fabs (- x y))) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (cbrt (fabs (- x y)))))
  (/ (cbrt (fabs (- x y))) (cbrt (fabs y)))
  (* (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (fabs (- x y))))
  (/ (cbrt (fabs (- x y))) (sqrt (fabs y)))
  (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))
  (/ (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)))
  (/ (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
  (/ (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))
  (/ (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.207 * * * [progress]: adding candidates to table
1.409 * * [progress]: iteration 2 / 4
1.409 * * * [progress]: picking best candidate
1.417 * * * * [pick]: Picked  #<alt (λ (x y) (* (fabs (- x y)) (/ 1 (fabs y))))>
1.417 * * * [progress]: localizing error
1.433 * * * [progress]: generating rewritten candidates
1.433 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.459 * * * [progress]: generating series expansions
1.459 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.459 * [backup-simplify]: Simplify (* (fabs (- x y)) (/ 1 (fabs y))) into (/ (fabs (- x y)) (fabs y))
1.459 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0
1.459 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
1.459 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
1.459 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.459 * [taylor]: Taking taylor expansion of (fabs y) in y
1.459 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.459 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.459 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
1.459 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
1.459 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.459 * [taylor]: Taking taylor expansion of (fabs y) in x
1.459 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.460 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.460 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
1.460 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
1.460 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.460 * [taylor]: Taking taylor expansion of (fabs y) in x
1.460 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.460 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.460 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
1.460 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
1.460 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.460 * [taylor]: Taking taylor expansion of (fabs y) in y
1.460 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.460 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.460 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.460 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
1.460 * [taylor]: Taking taylor expansion of 0 in y
1.460 * [backup-simplify]: Simplify 0 into 0
1.460 * [backup-simplify]: Simplify 0 into 0
1.460 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
1.460 * [backup-simplify]: Simplify 0 into 0
1.461 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
1.461 * [taylor]: Taking taylor expansion of 0 in y
1.461 * [backup-simplify]: Simplify 0 into 0
1.461 * [backup-simplify]: Simplify 0 into 0
1.461 * [backup-simplify]: Simplify 0 into 0
1.461 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
1.461 * [backup-simplify]: Simplify 0 into 0
1.461 * [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.461 * [taylor]: Taking taylor expansion of 0 in y
1.461 * [backup-simplify]: Simplify 0 into 0
1.461 * [backup-simplify]: Simplify 0 into 0
1.461 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.461 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (/ 1 (fabs (/ 1 y)))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.461 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0
1.461 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
1.462 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
1.462 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.462 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
1.462 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.462 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.462 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
1.462 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
1.462 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.462 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
1.462 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.462 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.462 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
1.462 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
1.462 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.462 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
1.462 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.462 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.462 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
1.462 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
1.463 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.463 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
1.463 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.463 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.463 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.463 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
1.463 * [taylor]: Taking taylor expansion of 0 in y
1.463 * [backup-simplify]: Simplify 0 into 0
1.463 * [backup-simplify]: Simplify 0 into 0
1.463 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
1.463 * [backup-simplify]: Simplify 0 into 0
1.464 * [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.464 * [taylor]: Taking taylor expansion of 0 in y
1.464 * [backup-simplify]: Simplify 0 into 0
1.464 * [backup-simplify]: Simplify 0 into 0
1.464 * [backup-simplify]: Simplify 0 into 0
1.464 * [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.464 * [backup-simplify]: Simplify 0 into 0
1.465 * [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.465 * [taylor]: Taking taylor expansion of 0 in y
1.465 * [backup-simplify]: Simplify 0 into 0
1.465 * [backup-simplify]: Simplify 0 into 0
1.465 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y))
1.465 * [backup-simplify]: Simplify (* (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (/ 1 (fabs (/ 1 (- y))))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.465 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0
1.465 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
1.465 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
1.465 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.465 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
1.465 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.465 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.465 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
1.465 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
1.466 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.466 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
1.466 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.466 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.466 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
1.466 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
1.466 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.466 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
1.466 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.466 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.466 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
1.466 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
1.466 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.466 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
1.466 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.466 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.467 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.467 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
1.467 * [taylor]: Taking taylor expansion of 0 in y
1.467 * [backup-simplify]: Simplify 0 into 0
1.467 * [backup-simplify]: Simplify 0 into 0
1.467 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
1.467 * [backup-simplify]: Simplify 0 into 0
1.467 * [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.467 * [taylor]: Taking taylor expansion of 0 in y
1.468 * [backup-simplify]: Simplify 0 into 0
1.468 * [backup-simplify]: Simplify 0 into 0
1.468 * [backup-simplify]: Simplify 0 into 0
1.468 * [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.468 * [backup-simplify]: Simplify 0 into 0
1.468 * [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.468 * [taylor]: Taking taylor expansion of 0 in y
1.468 * [backup-simplify]: Simplify 0 into 0
1.468 * [backup-simplify]: Simplify 0 into 0
1.468 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y))
1.468 * * * [progress]: simplifying candidates
1.469 * [simplify]: Simplifying:
  (expm1 (* (fabs (- x y)) (/ 1 (fabs y))))
  (log1p (* (fabs (- x y)) (/ 1 (fabs y))))
  (* (fabs (- x y)) (/ 1 (fabs y)))
  (+ (log (fabs (- x y))) (- (log (fabs y))))
  (+ (log (fabs (- x y))) (- 0 (log (fabs y))))
  (+ (log (fabs (- x y))) (- (log 1) (log (fabs y))))
  (+ (log (fabs (- x y))) (log (/ 1 (fabs y))))
  (log (* (fabs (- x y)) (/ 1 (fabs y))))
  (exp (* (fabs (- x y)) (/ 1 (fabs y))))
  (* (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))) (/ (* (* 1 1) 1) (* (* (fabs y) (fabs y)) (fabs y))))
  (* (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))) (* (* (/ 1 (fabs y)) (/ 1 (fabs y))) (/ 1 (fabs y))))
  (* (cbrt (* (fabs (- x y)) (/ 1 (fabs y)))) (cbrt (* (fabs (- x y)) (/ 1 (fabs y)))))
  (cbrt (* (fabs (- x y)) (/ 1 (fabs y))))
  (* (* (* (fabs (- x y)) (/ 1 (fabs y))) (* (fabs (- x y)) (/ 1 (fabs y)))) (* (fabs (- x y)) (/ 1 (fabs y))))
  (sqrt (* (fabs (- x y)) (/ 1 (fabs y))))
  (sqrt (* (fabs (- x y)) (/ 1 (fabs y))))
  (* (sqrt (fabs (- x y))) (sqrt (/ 1 (fabs y))))
  (* (sqrt (fabs (- x y))) (sqrt (/ 1 (fabs y))))
  (* (sqrt (fabs (- x y))) (/ (sqrt 1) (sqrt (fabs y))))
  (* (sqrt (fabs (- x y))) (/ (sqrt 1) (sqrt (fabs y))))
  (* (sqrt (fabs (- x y))) (/ 1 (sqrt (fabs y))))
  (* (sqrt (fabs (- x y))) (/ 1 (sqrt (fabs y))))
  (* (fabs (- x y)) (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))))
  (* (fabs (- x y)) (sqrt (/ 1 (fabs y))))
  (* (fabs (- x y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))))
  (* (fabs (- x y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))))
  (* (fabs (- x y)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (fabs (- x y)) (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))))
  (* (fabs (- x y)) (/ (sqrt 1) (sqrt (fabs y))))
  (* (fabs (- x y)) (/ (sqrt 1) 1))
  (* (fabs (- x y)) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))))
  (* (fabs (- x y)) (/ 1 (sqrt (fabs y))))
  (* (fabs (- x y)) (/ 1 1))
  (* (fabs (- x y)) 1)
  (* (fabs (- x y)) 1)
  (* (cbrt (fabs (- x y))) (/ 1 (fabs y)))
  (* (sqrt (fabs (- x y))) (/ 1 (fabs y)))
  (* (fabs (- x y)) (/ 1 (fabs y)))
  (* (fabs (- x y)) 1)
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
1.470 * * [simplify]: iteration 0: 78 enodes
1.493 * * [simplify]: iteration 1: 192 enodes
1.721 * * [simplify]: iteration 2: 1656 enodes
4.445 * * [simplify]: iteration complete: 5000 enodes
4.445 * * [simplify]: Extracting #0: cost 18 inf + 0
4.446 * * [simplify]: Extracting #1: cost 163 inf + 0
4.449 * * [simplify]: Extracting #2: cost 1174 inf + 6
4.453 * * [simplify]: Extracting #3: cost 1326 inf + 39
4.461 * * [simplify]: Extracting #4: cost 232 inf + 9854
4.465 * * [simplify]: Extracting #5: cost 5 inf + 12061
4.470 * * [simplify]: Extracting #6: cost 0 inf + 12126
4.474 * [simplify]: Simplified to:
  (expm1 (/ (fabs (- x y)) (fabs y)))
  (log1p (/ (fabs (- x y)) (fabs y)))
  (/ (fabs (- x y)) (fabs y))
  (log (/ (fabs (- x y)) (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (exp (/ (fabs (- x y)) (fabs y)))
  (pow (/ (fabs (- x y)) (fabs y)) 3)
  (pow (/ (fabs (- x y)) (fabs y)) 3)
  (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y))))
  (cbrt (/ (fabs (- x y)) (fabs y)))
  (pow (/ (fabs (- x y)) (fabs y)) 3)
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (* (sqrt (/ 1 (fabs y))) (sqrt (fabs (- x y))))
  (* (sqrt (/ 1 (fabs y))) (sqrt (fabs (- x y))))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (* (cbrt (/ 1 (fabs y))) (* (fabs (- x y)) (cbrt (/ 1 (fabs y)))))
  (* (fabs (- x y)) (sqrt (/ 1 (fabs y))))
  (/ (/ (fabs (- x y)) (cbrt (fabs y))) (cbrt (fabs y)))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (fabs (- x y))
  (/ (/ (fabs (- x y)) (cbrt (fabs y))) (cbrt (fabs y)))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (fabs (- x y))
  (/ (/ (fabs (- x y)) (cbrt (fabs y))) (cbrt (fabs y)))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (fabs (- x y))
  (fabs (- x y))
  (fabs (- x y))
  (/ (cbrt (fabs (- x y))) (fabs y))
  (/ (sqrt (fabs (- x y))) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (fabs (- x y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
4.474 * * * [progress]: adding candidates to table
4.658 * * [progress]: iteration 3 / 4
4.658 * * * [progress]: picking best candidate
4.666 * * * * [pick]: Picked  #<alt (λ (x y) (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))>
4.666 * * * [progress]: localizing error
4.694 * * * [progress]: generating rewritten candidates
4.694 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
4.694 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
4.695 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
4.703 * * * [progress]: generating series expansions
4.703 * * * * [progress]: [ 1 / 3 ] generating series at (2)
4.703 * [backup-simplify]: Simplify (expm1 (log1p (/ (fabs (- x y)) (fabs y)))) into (expm1 (log1p (/ (fabs (- x y)) (fabs y))))
4.703 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- x y)) (fabs y)))) in (x y) around 0
4.703 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- x y)) (fabs y)))) in y
4.704 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- x y)) (fabs y)))) 1)
4.704 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- x y)) (fabs y)))) in y
4.704 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in y
4.704 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- x y)) (fabs y))))
4.704 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- x y)) (fabs y))) in y
4.704 * [taylor]: Taking taylor expansion of 1 in y
4.704 * [backup-simplify]: Simplify 1 into 1
4.704 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
4.704 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
4.704 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.704 * [taylor]: Taking taylor expansion of (fabs y) in y
4.704 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.704 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.704 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- x y)) (fabs y))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.705 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.705 * [backup-simplify]: Simplify (exp (log (+ (/ (fabs (- x y)) (fabs y)) 1))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.705 * [taylor]: Taking taylor expansion of 1 in y
4.705 * [backup-simplify]: Simplify 1 into 1
4.705 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- x y)) (fabs y)))) in x
4.705 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- x y)) (fabs y)))) 1)
4.705 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- x y)) (fabs y)))) in x
4.705 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in x
4.705 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- x y)) (fabs y))))
4.705 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- x y)) (fabs y))) in x
4.705 * [taylor]: Taking taylor expansion of 1 in x
4.705 * [backup-simplify]: Simplify 1 into 1
4.705 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
4.705 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
4.705 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.706 * [taylor]: Taking taylor expansion of (fabs y) in x
4.706 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.706 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.706 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- x y)) (fabs y))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.706 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.706 * [backup-simplify]: Simplify (exp (log (+ (/ (fabs (- x y)) (fabs y)) 1))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.706 * [taylor]: Taking taylor expansion of 1 in x
4.706 * [backup-simplify]: Simplify 1 into 1
4.706 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- x y)) (fabs y)))) in x
4.707 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- x y)) (fabs y)))) 1)
4.707 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- x y)) (fabs y)))) in x
4.707 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in x
4.707 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- x y)) (fabs y))))
4.707 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- x y)) (fabs y))) in x
4.707 * [taylor]: Taking taylor expansion of 1 in x
4.707 * [backup-simplify]: Simplify 1 into 1
4.707 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
4.707 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
4.707 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.707 * [taylor]: Taking taylor expansion of (fabs y) in x
4.707 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.707 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.707 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- x y)) (fabs y))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.708 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.708 * [backup-simplify]: Simplify (exp (log (+ (/ (fabs (- x y)) (fabs y)) 1))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.708 * [taylor]: Taking taylor expansion of 1 in x
4.708 * [backup-simplify]: Simplify 1 into 1
4.709 * [backup-simplify]: Simplify (- 1) into -1
4.709 * [backup-simplify]: Simplify (+ (+ (/ (fabs (- x y)) (fabs y)) 1) -1) into (/ (fabs (- x y)) (fabs y))
4.709 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
4.709 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
4.709 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.709 * [taylor]: Taking taylor expansion of (fabs y) in y
4.709 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.709 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.709 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.710 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
4.710 * [backup-simplify]: Simplify (+ 0 0) into 0
4.711 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 1)))) 1) into 0
4.712 * [backup-simplify]: Simplify (* (exp (log (+ (/ (fabs (- x y)) (fabs y)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.713 * [backup-simplify]: Simplify (- 0) into 0
4.713 * [backup-simplify]: Simplify (+ 0 0) into 0
4.713 * [taylor]: Taking taylor expansion of 0 in y
4.713 * [backup-simplify]: Simplify 0 into 0
4.713 * [backup-simplify]: Simplify 0 into 0
4.714 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
4.714 * [backup-simplify]: Simplify 0 into 0
4.714 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.715 * [backup-simplify]: Simplify (+ 0 0) into 0
4.716 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 1)))) 2) into 0
4.717 * [backup-simplify]: Simplify (* (exp (log (+ (/ (fabs (- x y)) (fabs y)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.717 * [backup-simplify]: Simplify (- 0) into 0
4.717 * [backup-simplify]: Simplify (+ 0 0) into 0
4.717 * [taylor]: Taking taylor expansion of 0 in y
4.717 * [backup-simplify]: Simplify 0 into 0
4.717 * [backup-simplify]: Simplify 0 into 0
4.717 * [backup-simplify]: Simplify 0 into 0
4.718 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.718 * [backup-simplify]: Simplify 0 into 0
4.718 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.718 * [backup-simplify]: Simplify (+ 0 0) into 0
4.720 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 1)))) 6) into 0
4.722 * [backup-simplify]: Simplify (* (exp (log (+ (/ (fabs (- x y)) (fabs y)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.722 * [backup-simplify]: Simplify (- 0) into 0
4.722 * [backup-simplify]: Simplify (+ 0 0) into 0
4.722 * [taylor]: Taking taylor expansion of 0 in y
4.722 * [backup-simplify]: Simplify 0 into 0
4.722 * [backup-simplify]: Simplify 0 into 0
4.723 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.723 * [backup-simplify]: Simplify (expm1 (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) into (expm1 (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))
4.723 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in (x y) around 0
4.723 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in y
4.723 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) 1)
4.723 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in y
4.723 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y
4.723 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))
4.723 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y
4.723 * [taylor]: Taking taylor expansion of 1 in y
4.723 * [backup-simplify]: Simplify 1 into 1
4.723 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
4.723 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
4.723 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.723 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
4.723 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.723 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.724 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.724 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))
4.724 * [backup-simplify]: Simplify (exp (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.724 * [taylor]: Taking taylor expansion of 1 in y
4.724 * [backup-simplify]: Simplify 1 into 1
4.724 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in x
4.724 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) 1)
4.724 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in x
4.724 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.724 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))
4.724 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.724 * [taylor]: Taking taylor expansion of 1 in x
4.724 * [backup-simplify]: Simplify 1 into 1
4.724 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
4.724 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
4.724 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.724 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
4.724 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.725 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.725 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.725 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))
4.725 * [backup-simplify]: Simplify (exp (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.725 * [taylor]: Taking taylor expansion of 1 in x
4.725 * [backup-simplify]: Simplify 1 into 1
4.725 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in x
4.725 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) 1)
4.725 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in x
4.725 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.725 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))
4.725 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.725 * [taylor]: Taking taylor expansion of 1 in x
4.725 * [backup-simplify]: Simplify 1 into 1
4.725 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
4.725 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
4.725 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.726 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
4.726 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.726 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.726 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.726 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))
4.726 * [backup-simplify]: Simplify (exp (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.726 * [taylor]: Taking taylor expansion of 1 in x
4.726 * [backup-simplify]: Simplify 1 into 1
4.727 * [backup-simplify]: Simplify (- 1) into -1
4.727 * [backup-simplify]: Simplify (+ (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) -1) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.727 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
4.727 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
4.727 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.727 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
4.727 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.727 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.727 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.727 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
4.728 * [backup-simplify]: Simplify (+ 0 0) into 0
4.728 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 1)))) 1) into 0
4.729 * [backup-simplify]: Simplify (* (exp (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.729 * [backup-simplify]: Simplify (- 0) into 0
4.729 * [backup-simplify]: Simplify (+ 0 0) into 0
4.729 * [taylor]: Taking taylor expansion of 0 in y
4.729 * [backup-simplify]: Simplify 0 into 0
4.729 * [backup-simplify]: Simplify 0 into 0
4.730 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
4.730 * [backup-simplify]: Simplify 0 into 0
4.730 * [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
4.730 * [backup-simplify]: Simplify (+ 0 0) into 0
4.731 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 1)))) 2) into 0
4.732 * [backup-simplify]: Simplify (* (exp (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.733 * [backup-simplify]: Simplify (- 0) into 0
4.733 * [backup-simplify]: Simplify (+ 0 0) into 0
4.733 * [taylor]: Taking taylor expansion of 0 in y
4.733 * [backup-simplify]: Simplify 0 into 0
4.733 * [backup-simplify]: Simplify 0 into 0
4.733 * [backup-simplify]: Simplify 0 into 0
4.733 * [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
4.733 * [backup-simplify]: Simplify 0 into 0
4.734 * [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
4.734 * [backup-simplify]: Simplify (+ 0 0) into 0
4.736 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 1)))) 6) into 0
4.737 * [backup-simplify]: Simplify (* (exp (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.737 * [backup-simplify]: Simplify (- 0) into 0
4.737 * [backup-simplify]: Simplify (+ 0 0) into 0
4.737 * [taylor]: Taking taylor expansion of 0 in y
4.737 * [backup-simplify]: Simplify 0 into 0
4.737 * [backup-simplify]: Simplify 0 into 0
4.738 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y))
4.738 * [backup-simplify]: Simplify (expm1 (log1p (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))))) into (expm1 (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))
4.738 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in (x y) around 0
4.738 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in y
4.738 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) 1)
4.738 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in y
4.738 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y
4.738 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))
4.738 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y
4.738 * [taylor]: Taking taylor expansion of 1 in y
4.738 * [backup-simplify]: Simplify 1 into 1
4.738 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
4.738 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
4.738 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.738 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
4.738 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.738 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.738 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.739 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))
4.739 * [backup-simplify]: Simplify (exp (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.739 * [taylor]: Taking taylor expansion of 1 in y
4.739 * [backup-simplify]: Simplify 1 into 1
4.739 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in x
4.739 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) 1)
4.739 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in x
4.739 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.739 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))
4.739 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.739 * [taylor]: Taking taylor expansion of 1 in x
4.739 * [backup-simplify]: Simplify 1 into 1
4.739 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
4.739 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
4.739 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.739 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
4.739 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.739 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.739 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.743 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))
4.744 * [backup-simplify]: Simplify (exp (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.744 * [taylor]: Taking taylor expansion of 1 in x
4.744 * [backup-simplify]: Simplify 1 into 1
4.744 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in x
4.744 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) 1)
4.744 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in x
4.744 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.745 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))
4.745 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.745 * [taylor]: Taking taylor expansion of 1 in x
4.745 * [backup-simplify]: Simplify 1 into 1
4.745 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
4.745 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
4.745 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.745 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
4.745 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.745 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.745 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.746 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))
4.746 * [backup-simplify]: Simplify (exp (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.746 * [taylor]: Taking taylor expansion of 1 in x
4.746 * [backup-simplify]: Simplify 1 into 1
4.747 * [backup-simplify]: Simplify (- 1) into -1
4.747 * [backup-simplify]: Simplify (+ (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) -1) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.747 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
4.747 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
4.747 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.747 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
4.747 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.748 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.748 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.748 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
4.749 * [backup-simplify]: Simplify (+ 0 0) into 0
4.750 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 1)))) 1) into 0
4.751 * [backup-simplify]: Simplify (* (exp (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.751 * [backup-simplify]: Simplify (- 0) into 0
4.752 * [backup-simplify]: Simplify (+ 0 0) into 0
4.752 * [taylor]: Taking taylor expansion of 0 in y
4.752 * [backup-simplify]: Simplify 0 into 0
4.752 * [backup-simplify]: Simplify 0 into 0
4.752 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
4.752 * [backup-simplify]: Simplify 0 into 0
4.753 * [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
4.753 * [backup-simplify]: Simplify (+ 0 0) into 0
4.755 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 1)))) 2) into 0
4.757 * [backup-simplify]: Simplify (* (exp (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.757 * [backup-simplify]: Simplify (- 0) into 0
4.758 * [backup-simplify]: Simplify (+ 0 0) into 0
4.758 * [taylor]: Taking taylor expansion of 0 in y
4.758 * [backup-simplify]: Simplify 0 into 0
4.758 * [backup-simplify]: Simplify 0 into 0
4.758 * [backup-simplify]: Simplify 0 into 0
4.758 * [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
4.758 * [backup-simplify]: Simplify 0 into 0
4.759 * [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
4.760 * [backup-simplify]: Simplify (+ 0 0) into 0
4.763 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 1)))) 6) into 0
4.765 * [backup-simplify]: Simplify (* (exp (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.766 * [backup-simplify]: Simplify (- 0) into 0
4.766 * [backup-simplify]: Simplify (+ 0 0) into 0
4.766 * [taylor]: Taking taylor expansion of 0 in y
4.766 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify 0 into 0
4.767 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y))
4.767 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
4.767 * [backup-simplify]: Simplify (log1p (/ (fabs (- x y)) (fabs y))) into (log1p (/ (fabs (- x y)) (fabs y)))
4.767 * [approximate]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in (x y) around 0
4.767 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in y
4.767 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- x y)) (fabs y))))
4.767 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- x y)) (fabs y))) in y
4.767 * [taylor]: Taking taylor expansion of 1 in y
4.767 * [backup-simplify]: Simplify 1 into 1
4.767 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
4.767 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
4.767 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.767 * [taylor]: Taking taylor expansion of (fabs y) in y
4.768 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.768 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.768 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- x y)) (fabs y))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.768 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.768 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in x
4.768 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- x y)) (fabs y))))
4.768 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- x y)) (fabs y))) in x
4.768 * [taylor]: Taking taylor expansion of 1 in x
4.768 * [backup-simplify]: Simplify 1 into 1
4.768 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
4.768 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
4.768 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.768 * [taylor]: Taking taylor expansion of (fabs y) in x
4.769 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.769 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.769 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- x y)) (fabs y))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.769 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.769 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in x
4.769 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- x y)) (fabs y))))
4.769 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- x y)) (fabs y))) in x
4.769 * [taylor]: Taking taylor expansion of 1 in x
4.769 * [backup-simplify]: Simplify 1 into 1
4.769 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
4.769 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
4.769 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.769 * [taylor]: Taking taylor expansion of (fabs y) in x
4.770 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.770 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.770 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- x y)) (fabs y))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.770 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.770 * [taylor]: Taking taylor expansion of (log (+ (/ (fabs (- x y)) (fabs y)) 1)) in y
4.770 * [taylor]: Taking taylor expansion of (+ (/ (fabs (- x y)) (fabs y)) 1) in y
4.770 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
4.770 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
4.770 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.770 * [taylor]: Taking taylor expansion of (fabs y) in y
4.770 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.771 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.771 * [taylor]: Taking taylor expansion of 1 in y
4.771 * [backup-simplify]: Simplify 1 into 1
4.771 * [backup-simplify]: Simplify (+ (/ (fabs (- x y)) (fabs y)) 1) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.771 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.771 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.772 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
4.772 * [backup-simplify]: Simplify (+ 0 0) into 0
4.773 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 1)))) 1) into 0
4.773 * [taylor]: Taking taylor expansion of 0 in y
4.773 * [backup-simplify]: Simplify 0 into 0
4.773 * [backup-simplify]: Simplify 0 into 0
4.774 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
4.774 * [backup-simplify]: Simplify (+ 0 0) into 0
4.775 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 1)))) 1) into 0
4.775 * [backup-simplify]: Simplify 0 into 0
4.775 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.775 * [backup-simplify]: Simplify (+ 0 0) into 0
4.776 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 1)))) 2) into 0
4.776 * [taylor]: Taking taylor expansion of 0 in y
4.776 * [backup-simplify]: Simplify 0 into 0
4.776 * [backup-simplify]: Simplify 0 into 0
4.776 * [backup-simplify]: Simplify 0 into 0
4.777 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.777 * [backup-simplify]: Simplify (+ 0 0) into 0
4.778 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 1)))) 2) into 0
4.778 * [backup-simplify]: Simplify 0 into 0
4.778 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.779 * [backup-simplify]: Simplify (+ 0 0) into 0
4.781 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 1)))) 6) into 0
4.781 * [taylor]: Taking taylor expansion of 0 in y
4.781 * [backup-simplify]: Simplify 0 into 0
4.781 * [backup-simplify]: Simplify 0 into 0
4.781 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.781 * [backup-simplify]: Simplify (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))
4.781 * [approximate]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in (x y) around 0
4.781 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y
4.781 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))
4.781 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y
4.781 * [taylor]: Taking taylor expansion of 1 in y
4.781 * [backup-simplify]: Simplify 1 into 1
4.781 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
4.781 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
4.781 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.781 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
4.781 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.781 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.782 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.782 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))
4.782 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.782 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))
4.782 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.782 * [taylor]: Taking taylor expansion of 1 in x
4.782 * [backup-simplify]: Simplify 1 into 1
4.782 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
4.782 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
4.782 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.782 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
4.782 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.782 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.782 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.782 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))
4.782 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.783 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))
4.783 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.783 * [taylor]: Taking taylor expansion of 1 in x
4.783 * [backup-simplify]: Simplify 1 into 1
4.783 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
4.783 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
4.783 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.783 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
4.783 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.783 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.783 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.783 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))
4.783 * [taylor]: Taking taylor expansion of (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)) in y
4.783 * [taylor]: Taking taylor expansion of (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) in y
4.783 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
4.783 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
4.783 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.783 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
4.783 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.784 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.784 * [taylor]: Taking taylor expansion of 1 in y
4.784 * [backup-simplify]: Simplify 1 into 1
4.784 * [backup-simplify]: Simplify (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.784 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))
4.784 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))
4.784 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
4.785 * [backup-simplify]: Simplify (+ 0 0) into 0
4.785 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 1)))) 1) into 0
4.785 * [taylor]: Taking taylor expansion of 0 in y
4.785 * [backup-simplify]: Simplify 0 into 0
4.785 * [backup-simplify]: Simplify 0 into 0
4.785 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
4.786 * [backup-simplify]: Simplify (+ 0 0) into 0
4.786 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 1)))) 1) into 0
4.786 * [backup-simplify]: Simplify 0 into 0
4.787 * [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
4.787 * [backup-simplify]: Simplify (+ 0 0) into 0
4.788 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 1)))) 2) into 0
4.788 * [taylor]: Taking taylor expansion of 0 in y
4.788 * [backup-simplify]: Simplify 0 into 0
4.788 * [backup-simplify]: Simplify 0 into 0
4.788 * [backup-simplify]: Simplify 0 into 0
4.789 * [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
4.789 * [backup-simplify]: Simplify (+ 0 0) into 0
4.790 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 1)))) 2) into 0
4.790 * [backup-simplify]: Simplify 0 into 0
4.790 * [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
4.791 * [backup-simplify]: Simplify (+ 0 0) into 0
4.793 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 1)))) 6) into 0
4.793 * [taylor]: Taking taylor expansion of 0 in y
4.793 * [backup-simplify]: Simplify 0 into 0
4.793 * [backup-simplify]: Simplify 0 into 0
4.793 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.793 * [backup-simplify]: Simplify (log1p (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y))))) into (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))
4.793 * [approximate]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in (x y) around 0
4.793 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y
4.793 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))
4.793 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y
4.793 * [taylor]: Taking taylor expansion of 1 in y
4.793 * [backup-simplify]: Simplify 1 into 1
4.793 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
4.793 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
4.793 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.793 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
4.793 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.793 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.794 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.794 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))
4.794 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.794 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))
4.794 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.794 * [taylor]: Taking taylor expansion of 1 in x
4.794 * [backup-simplify]: Simplify 1 into 1
4.794 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
4.794 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
4.794 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.794 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
4.794 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.794 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.794 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.794 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))
4.794 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.795 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))
4.795 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.795 * [taylor]: Taking taylor expansion of 1 in x
4.795 * [backup-simplify]: Simplify 1 into 1
4.795 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
4.795 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
4.795 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.795 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
4.795 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.795 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.795 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.795 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))
4.795 * [taylor]: Taking taylor expansion of (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)) in y
4.795 * [taylor]: Taking taylor expansion of (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) in y
4.795 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
4.795 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
4.795 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.795 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
4.795 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.796 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.796 * [taylor]: Taking taylor expansion of 1 in y
4.796 * [backup-simplify]: Simplify 1 into 1
4.796 * [backup-simplify]: Simplify (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.796 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))
4.796 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)) into (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))
4.796 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
4.797 * [backup-simplify]: Simplify (+ 0 0) into 0
4.797 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 1)))) 1) into 0
4.797 * [taylor]: Taking taylor expansion of 0 in y
4.797 * [backup-simplify]: Simplify 0 into 0
4.797 * [backup-simplify]: Simplify 0 into 0
4.797 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
4.798 * [backup-simplify]: Simplify (+ 0 0) into 0
4.798 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 1)))) 1) into 0
4.798 * [backup-simplify]: Simplify 0 into 0
4.799 * [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
4.799 * [backup-simplify]: Simplify (+ 0 0) into 0
4.800 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 1)))) 2) into 0
4.800 * [taylor]: Taking taylor expansion of 0 in y
4.800 * [backup-simplify]: Simplify 0 into 0
4.800 * [backup-simplify]: Simplify 0 into 0
4.800 * [backup-simplify]: Simplify 0 into 0
4.800 * [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
4.801 * [backup-simplify]: Simplify (+ 0 0) into 0
4.802 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 1)))) 2) into 0
4.802 * [backup-simplify]: Simplify 0 into 0
4.803 * [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
4.803 * [backup-simplify]: Simplify (+ 0 0) into 0
4.807 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 1)))) 6) into 0
4.807 * [taylor]: Taking taylor expansion of 0 in y
4.807 * [backup-simplify]: Simplify 0 into 0
4.807 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify (log (+ (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.808 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
4.808 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.808 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0
4.808 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
4.808 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
4.808 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.808 * [taylor]: Taking taylor expansion of (fabs y) in y
4.808 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.808 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.808 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
4.808 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
4.808 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.808 * [taylor]: Taking taylor expansion of (fabs y) in x
4.808 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.809 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.809 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
4.809 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
4.809 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.809 * [taylor]: Taking taylor expansion of (fabs y) in x
4.809 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.809 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.809 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
4.809 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
4.809 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.809 * [taylor]: Taking taylor expansion of (fabs y) in y
4.809 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.809 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.810 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.810 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
4.810 * [taylor]: Taking taylor expansion of 0 in y
4.810 * [backup-simplify]: Simplify 0 into 0
4.810 * [backup-simplify]: Simplify 0 into 0
4.810 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
4.810 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.811 * [taylor]: Taking taylor expansion of 0 in y
4.811 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.811 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.812 * [taylor]: Taking taylor expansion of 0 in y
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.813 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.813 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0
4.813 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
4.813 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
4.813 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.813 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
4.813 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.813 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.813 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
4.813 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
4.813 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.814 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
4.814 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.814 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.814 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
4.814 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
4.814 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.814 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
4.814 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.814 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.815 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
4.815 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
4.815 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.815 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
4.815 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.815 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.815 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.816 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
4.816 * [taylor]: Taking taylor expansion of 0 in y
4.816 * [backup-simplify]: Simplify 0 into 0
4.816 * [backup-simplify]: Simplify 0 into 0
4.816 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
4.816 * [backup-simplify]: Simplify 0 into 0
4.817 * [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
4.817 * [taylor]: Taking taylor expansion of 0 in y
4.817 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify 0 into 0
4.818 * [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
4.818 * [backup-simplify]: Simplify 0 into 0
4.818 * [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
4.818 * [taylor]: Taking taylor expansion of 0 in y
4.818 * [backup-simplify]: Simplify 0 into 0
4.818 * [backup-simplify]: Simplify 0 into 0
4.819 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y))
4.819 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.819 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0
4.819 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
4.819 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
4.819 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.819 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
4.819 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.819 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.820 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
4.820 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
4.820 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.820 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
4.820 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.820 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.820 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
4.820 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
4.820 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.820 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
4.820 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.821 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.821 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
4.821 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
4.821 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.821 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
4.821 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.821 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.821 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.822 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
4.822 * [taylor]: Taking taylor expansion of 0 in y
4.822 * [backup-simplify]: Simplify 0 into 0
4.822 * [backup-simplify]: Simplify 0 into 0
4.822 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
4.823 * [backup-simplify]: Simplify 0 into 0
4.823 * [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
4.823 * [taylor]: Taking taylor expansion of 0 in y
4.823 * [backup-simplify]: Simplify 0 into 0
4.823 * [backup-simplify]: Simplify 0 into 0
4.823 * [backup-simplify]: Simplify 0 into 0
4.824 * [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
4.824 * [backup-simplify]: Simplify 0 into 0
4.824 * [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
4.824 * [taylor]: Taking taylor expansion of 0 in y
4.824 * [backup-simplify]: Simplify 0 into 0
4.825 * [backup-simplify]: Simplify 0 into 0
4.825 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y))
4.825 * * * [progress]: simplifying candidates
4.827 * [simplify]: Simplifying:
  (exp (log1p (/ (fabs (- x y)) (fabs y))))
  (expm1 (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))
  (log1p (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))
  (log (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))
  (exp (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))
  (* (cbrt (expm1 (log1p (/ (fabs (- x y)) (fabs y))))) (cbrt (expm1 (log1p (/ (fabs (- x y)) (fabs y))))))
  (cbrt (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))
  (* (* (expm1 (log1p (/ (fabs (- x y)) (fabs y)))) (expm1 (log1p (/ (fabs (- x y)) (fabs y))))) (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))
  (sqrt (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))
  (sqrt (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))
  (+ 1 (/ (fabs (- x y)) (fabs y)))
  (expm1 (log1p (/ (fabs (- x y)) (fabs y))))
  (log1p (log1p (/ (fabs (- x y)) (fabs y))))
  (log (log1p (/ (fabs (- x y)) (fabs y))))
  (exp (log1p (/ (fabs (- x y)) (fabs y))))
  (* (cbrt (log1p (/ (fabs (- x y)) (fabs y)))) (cbrt (log1p (/ (fabs (- x y)) (fabs y)))))
  (cbrt (log1p (/ (fabs (- x y)) (fabs y))))
  (* (* (log1p (/ (fabs (- x y)) (fabs y))) (log1p (/ (fabs (- x y)) (fabs y)))) (log1p (/ (fabs (- x y)) (fabs y))))
  (sqrt (log1p (/ (fabs (- x y)) (fabs y))))
  (sqrt (log1p (/ (fabs (- x y)) (fabs y))))
  (expm1 (/ (fabs (- x y)) (fabs y)))
  (log1p (/ (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))
  (log (+ (/ (fabs (- x y)) (fabs y)) 1))
  (log (+ (/ (fabs (- x y)) (fabs y)) 1))
  (log (+ (/ (fabs (- x y)) (fabs y)) 1))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
4.828 * * [simplify]: iteration 0: 75 enodes
4.850 * * [simplify]: iteration 1: 124 enodes
4.871 * * [simplify]: iteration 2: 320 enodes
4.998 * * [simplify]: iteration 3: 1265 enodes
5.922 * * [simplify]: iteration complete: 5001 enodes
5.922 * * [simplify]: Extracting #0: cost 40 inf + 0
5.924 * * [simplify]: Extracting #1: cost 567 inf + 1
5.928 * * [simplify]: Extracting #2: cost 1366 inf + 8
5.932 * * [simplify]: Extracting #3: cost 1387 inf + 18
5.937 * * [simplify]: Extracting #4: cost 1231 inf + 967
5.946 * * [simplify]: Extracting #5: cost 274 inf + 12810
5.955 * * [simplify]: Extracting #6: cost 1 inf + 16724
5.964 * * [simplify]: Extracting #7: cost 0 inf + 16731
5.973 * [simplify]: Simplified to:
  (+ (/ (fabs (- x y)) (fabs y)) 1)
  (expm1 (/ (fabs (- x y)) (fabs y)))
  (log1p (/ (fabs (- x y)) (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (exp (/ (fabs (- x y)) (fabs y)))
  (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y))))
  (cbrt (/ (fabs (- x y)) (fabs y)))
  (pow (/ (fabs (- x y)) (fabs y)) 3)
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (+ (/ (fabs (- x y)) (fabs y)) 1)
  (/ (fabs (- x y)) (fabs y))
  (log1p (log1p (/ (fabs (- x y)) (fabs y))))
  (log (log1p (/ (fabs (- x y)) (fabs y))))
  (+ (/ (fabs (- x y)) (fabs y)) 1)
  (* (cbrt (log1p (/ (fabs (- x y)) (fabs y)))) (cbrt (log1p (/ (fabs (- x y)) (fabs y)))))
  (cbrt (log1p (/ (fabs (- x y)) (fabs y))))
  (pow (log1p (/ (fabs (- x y)) (fabs y))) 3)
  (sqrt (log1p (/ (fabs (- x y)) (fabs y))))
  (sqrt (log1p (/ (fabs (- x y)) (fabs y))))
  (expm1 (/ (fabs (- x y)) (fabs y)))
  (log1p (/ (fabs (- x y)) (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (exp (/ (fabs (- x y)) (fabs y)))
  (pow (/ (fabs (- x y)) (fabs y)) 3)
  (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y))))
  (cbrt (/ (fabs (- x y)) (fabs y)))
  (pow (/ (fabs (- x y)) (fabs y)) 3)
  (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))) (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))))
  (/ (cbrt (fabs (- x y))) (sqrt (fabs y)))
  (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))
  (/ (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)))
  (/ (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
  (/ (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))
  (/ (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))
  (log1p (/ (fabs (- x y)) (fabs y)))
  (log1p (/ (fabs (- x y)) (fabs y)))
  (log1p (/ (fabs (- x y)) (fabs y)))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
5.974 * * * [progress]: adding candidates to table
6.250 * [progress]: [Phase 3 of 3] Extracting.
6.250 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))> #<alt (λ (x y) (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))> #<alt (λ (x y) (* (fabs (- x y)) (/ 1 (fabs y))))>)
6.250 * * * [regime-changes]: Trying 3 branch expressions: ((/ (fabs (- x y)) (fabs y)) y x)
6.250 * * * * [regimes]: Trying to branch on (/ (fabs (- x y)) (fabs y)) from (#<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))> #<alt (λ (x y) (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))> #<alt (λ (x y) (* (fabs (- x y)) (/ 1 (fabs y))))>)
6.292 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))> #<alt (λ (x y) (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))> #<alt (λ (x y) (* (fabs (- x y)) (/ 1 (fabs y))))>)
6.360 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))> #<alt (λ (x y) (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))> #<alt (λ (x y) (* (fabs (- x y)) (/ 1 (fabs y))))>)
6.429 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
6.430 * [simplify]: Simplifying:
  (/ (fabs (- x y)) (fabs y))
6.430 * * [simplify]: iteration 0: 6 enodes
6.430 * * [simplify]: iteration complete: 6 enodes
6.430 * * [simplify]: Extracting #0: cost 1 inf + 0
6.430 * * [simplify]: Extracting #1: cost 3 inf + 0
6.430 * * [simplify]: Extracting #2: cost 5 inf + 0
6.430 * * [simplify]: Extracting #3: cost 4 inf + 3
6.431 * * [simplify]: Extracting #4: cost 3 inf + 4
6.431 * * [simplify]: Extracting #5: cost 0 inf + 18
6.431 * [simplify]: Simplified to:
  (/ (fabs (- x y)) (fabs y))
8.050 * [regime-testing]: Baseline error score: 0.01362670333791724
8.064 * [regime-testing]: Oracle error score: 0.008751093886735842
8.090 * [regime-testing]: End program error score: 0.01362670333791724