57.062 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.026 * * * [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.038 * * [simplify]: Extracting #3: cost 5 inf + 42
0.038 * * [simplify]: Extracting #4: cost 3 inf + 84
0.038 * * [simplify]: Extracting #5: cost 0 inf + 370
0.039 * [simplify]: Simplified to:
  (/ (fabs (- x y)) (fabs y))
0.040 * * [progress]: iteration 1 / 4
0.040 * * * [progress]: picking best candidate
0.047 * * * * [pick]: Picked  #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>
0.047 * * * [progress]: localizing error
0.074 * * * [progress]: generating rewritten candidates
0.074 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.083 * * * [progress]: generating series expansions
0.083 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.083 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.083 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0
0.083 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
0.083 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
0.084 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
0.084 * [taylor]: Taking taylor expansion of (fabs y) in y
0.084 * [backup-simplify]: Simplify (fabs y) into (fabs y)
0.084 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.084 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
0.084 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
0.084 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
0.084 * [taylor]: Taking taylor expansion of (fabs y) in x
0.084 * [backup-simplify]: Simplify (fabs y) into (fabs y)
0.084 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.084 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
0.084 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
0.084 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
0.084 * [taylor]: Taking taylor expansion of (fabs y) in x
0.085 * [backup-simplify]: Simplify (fabs y) into (fabs y)
0.085 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.085 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
0.085 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
0.085 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
0.085 * [taylor]: Taking taylor expansion of (fabs y) in y
0.085 * [backup-simplify]: Simplify (fabs y) into (fabs y)
0.085 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.085 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.086 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
0.086 * [taylor]: Taking taylor expansion of 0 in y
0.086 * [backup-simplify]: Simplify 0 into 0
0.086 * [backup-simplify]: Simplify 0 into 0
0.086 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
0.086 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
0.087 * [taylor]: Taking taylor expansion of 0 in y
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [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.087 * [taylor]: Taking taylor expansion of 0 in y
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.087 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.088 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0
0.088 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
0.088 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
0.088 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.088 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
0.088 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
0.088 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.088 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
0.088 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
0.088 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.088 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
0.088 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
0.088 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.088 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
0.088 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
0.088 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.088 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
0.088 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
0.088 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.088 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
0.088 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
0.089 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.089 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
0.089 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
0.089 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.089 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.089 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
0.089 * [taylor]: Taking taylor expansion of 0 in y
0.089 * [backup-simplify]: Simplify 0 into 0
0.089 * [backup-simplify]: Simplify 0 into 0
0.089 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
0.089 * [backup-simplify]: Simplify 0 into 0
0.090 * [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.090 * [taylor]: Taking taylor expansion of 0 in y
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [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.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [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.090 * [taylor]: Taking taylor expansion of 0 in y
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y))
0.091 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.091 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0
0.091 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
0.091 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
0.091 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.091 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
0.091 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
0.091 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.091 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
0.091 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
0.091 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.091 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
0.091 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
0.091 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.091 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
0.091 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
0.091 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.091 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
0.091 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
0.092 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.092 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
0.092 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
0.092 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.092 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
0.092 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
0.092 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.092 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.092 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
0.092 * [taylor]: Taking taylor expansion of 0 in y
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [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.093 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [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.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [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.093 * [taylor]: Taking taylor expansion of 0 in y
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y))
0.094 * * * [progress]: simplifying candidates
0.094 * [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.095 * * [simplify]: iteration 0: 54 enodes
0.102 * * [simplify]: iteration 1: 93 enodes
0.119 * * [simplify]: iteration 2: 268 enodes
0.223 * * [simplify]: iteration 3: 1241 enodes
1.079 * * [simplify]: iteration complete: 5000 enodes
1.079 * * [simplify]: Extracting #0: cost 33 inf + 0
1.081 * * [simplify]: Extracting #1: cost 544 inf + 1
1.087 * * [simplify]: Extracting #2: cost 1447 inf + 44
1.092 * * [simplify]: Extracting #3: cost 1472 inf + 171
1.097 * * [simplify]: Extracting #4: cost 1431 inf + 4700
1.122 * * [simplify]: Extracting #5: cost 531 inf + 186525
1.211 * * [simplify]: Extracting #6: cost 23 inf + 310959
1.308 * * [simplify]: Extracting #7: cost 0 inf + 318455
1.413 * [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)))
  (* (/ (fabs (- x y)) (fabs y)) (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x 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 y))) (/ (cbrt (fabs (- x 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))
1.416 * * * [progress]: adding candidates to table
1.591 * * [progress]: iteration 2 / 4
1.591 * * * [progress]: picking best candidate
1.607 * * * * [pick]: Picked  #<alt (λ (x y) (* (fabs (- x y)) (/ 1 (fabs y))))>
1.607 * * * [progress]: localizing error
1.620 * * * [progress]: generating rewritten candidates
1.620 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.634 * * * [progress]: generating series expansions
1.634 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.634 * [backup-simplify]: Simplify (* (fabs (- x y)) (/ 1 (fabs y))) into (/ (fabs (- x y)) (fabs y))
1.634 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0
1.634 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
1.634 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
1.634 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.634 * [taylor]: Taking taylor expansion of (fabs y) in y
1.634 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.634 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.634 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
1.634 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
1.634 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.634 * [taylor]: Taking taylor expansion of (fabs y) in x
1.634 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.634 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.635 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
1.635 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
1.635 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.635 * [taylor]: Taking taylor expansion of (fabs y) in x
1.635 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.635 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.635 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
1.635 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
1.635 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
1.635 * [taylor]: Taking taylor expansion of (fabs y) in y
1.635 * [backup-simplify]: Simplify (fabs y) into (fabs y)
1.635 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.635 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.635 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
1.635 * [taylor]: Taking taylor expansion of 0 in y
1.635 * [backup-simplify]: Simplify 0 into 0
1.635 * [backup-simplify]: Simplify 0 into 0
1.635 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
1.635 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
1.636 * [taylor]: Taking taylor expansion of 0 in y
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [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.636 * [taylor]: Taking taylor expansion of 0 in y
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
1.637 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (/ 1 (fabs (/ 1 y)))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.637 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0
1.637 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
1.637 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
1.637 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.637 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
1.637 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.637 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.637 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
1.637 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
1.637 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.637 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
1.637 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.637 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.637 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
1.637 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
1.637 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.637 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
1.637 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.637 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.638 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
1.638 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
1.638 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
1.638 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
1.638 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
1.638 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.638 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
1.638 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
1.638 * [taylor]: Taking taylor expansion of 0 in y
1.638 * [backup-simplify]: Simplify 0 into 0
1.638 * [backup-simplify]: Simplify 0 into 0
1.639 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
1.639 * [backup-simplify]: Simplify 0 into 0
1.639 * [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.639 * [taylor]: Taking taylor expansion of 0 in y
1.639 * [backup-simplify]: Simplify 0 into 0
1.639 * [backup-simplify]: Simplify 0 into 0
1.639 * [backup-simplify]: Simplify 0 into 0
1.639 * [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.639 * [backup-simplify]: Simplify 0 into 0
1.640 * [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.640 * [taylor]: Taking taylor expansion of 0 in y
1.640 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y))
1.640 * [backup-simplify]: Simplify (* (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (/ 1 (fabs (/ 1 (- y))))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.640 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0
1.640 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
1.640 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
1.640 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.640 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
1.640 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.641 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.641 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
1.641 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
1.641 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.641 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
1.641 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.641 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.641 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
1.641 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
1.641 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.641 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
1.641 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.641 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.641 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
1.641 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
1.641 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
1.641 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
1.641 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
1.642 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.642 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
1.642 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
1.642 * [taylor]: Taking taylor expansion of 0 in y
1.642 * [backup-simplify]: Simplify 0 into 0
1.642 * [backup-simplify]: Simplify 0 into 0
1.642 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
1.642 * [backup-simplify]: Simplify 0 into 0
1.643 * [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.643 * [taylor]: Taking taylor expansion of 0 in y
1.643 * [backup-simplify]: Simplify 0 into 0
1.643 * [backup-simplify]: Simplify 0 into 0
1.643 * [backup-simplify]: Simplify 0 into 0
1.643 * [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.643 * [backup-simplify]: Simplify 0 into 0
1.643 * [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.643 * [taylor]: Taking taylor expansion of 0 in y
1.643 * [backup-simplify]: Simplify 0 into 0
1.643 * [backup-simplify]: Simplify 0 into 0
1.643 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y))
1.643 * * * [progress]: simplifying candidates
1.644 * [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.645 * * [simplify]: iteration 0: 78 enodes
1.664 * * [simplify]: iteration 1: 192 enodes
1.921 * * [simplify]: iteration 2: 1656 enodes
4.214 * * [simplify]: iteration complete: 5000 enodes
4.214 * * [simplify]: Extracting #0: cost 18 inf + 0
4.214 * * [simplify]: Extracting #1: cost 163 inf + 0
4.225 * * [simplify]: Extracting #2: cost 1174 inf + 75
4.233 * * [simplify]: Extracting #3: cost 1326 inf + 1452
4.265 * * [simplify]: Extracting #4: cost 232 inf + 145086
4.306 * * [simplify]: Extracting #5: cost 5 inf + 181332
4.351 * * [simplify]: Extracting #6: cost 0 inf + 183067
4.389 * [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)))
  (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y)))
  (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x 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)))
  (* (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.392 * * * [progress]: adding candidates to table
4.556 * * [progress]: iteration 3 / 4
4.556 * * * [progress]: picking best candidate
4.561 * * * * [pick]: Picked  #<alt (λ (x y) (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))>
4.561 * * * [progress]: localizing error
4.577 * * * [progress]: generating rewritten candidates
4.577 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
4.577 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
4.578 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
4.583 * * * [progress]: generating series expansions
4.583 * * * * [progress]: [ 1 / 3 ] generating series at (2)
4.583 * [backup-simplify]: Simplify (expm1 (log1p (/ (fabs (- x y)) (fabs y)))) into (expm1 (log1p (/ (fabs (- x y)) (fabs y))))
4.583 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- x y)) (fabs y)))) in (x y) around 0
4.583 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- x y)) (fabs y)))) in y
4.583 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- x y)) (fabs y)))) 1)
4.583 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- x y)) (fabs y)))) in y
4.583 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in y
4.583 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- x y)) (fabs y))))
4.583 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- x y)) (fabs y))) in y
4.583 * [taylor]: Taking taylor expansion of 1 in y
4.584 * [backup-simplify]: Simplify 1 into 1
4.584 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
4.584 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
4.584 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.584 * [taylor]: Taking taylor expansion of (fabs y) in y
4.584 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.584 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.584 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- x y)) (fabs y))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.584 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.584 * [backup-simplify]: Simplify (exp (log (+ (/ (fabs (- x y)) (fabs y)) 1))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.584 * [taylor]: Taking taylor expansion of 1 in y
4.584 * [backup-simplify]: Simplify 1 into 1
4.584 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- x y)) (fabs y)))) in x
4.584 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- x y)) (fabs y)))) 1)
4.584 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- x y)) (fabs y)))) in x
4.584 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in x
4.584 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- x y)) (fabs y))))
4.584 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- x y)) (fabs y))) in x
4.584 * [taylor]: Taking taylor expansion of 1 in x
4.584 * [backup-simplify]: Simplify 1 into 1
4.584 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
4.584 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
4.584 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.584 * [taylor]: Taking taylor expansion of (fabs y) in x
4.584 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.585 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.585 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- x y)) (fabs y))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.585 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.585 * [backup-simplify]: Simplify (exp (log (+ (/ (fabs (- x y)) (fabs y)) 1))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.585 * [taylor]: Taking taylor expansion of 1 in x
4.585 * [backup-simplify]: Simplify 1 into 1
4.585 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- x y)) (fabs y)))) in x
4.585 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- x y)) (fabs y)))) 1)
4.585 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- x y)) (fabs y)))) in x
4.585 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in x
4.585 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- x y)) (fabs y))))
4.585 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- x y)) (fabs y))) in x
4.585 * [taylor]: Taking taylor expansion of 1 in x
4.585 * [backup-simplify]: Simplify 1 into 1
4.585 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
4.585 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
4.585 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.585 * [taylor]: Taking taylor expansion of (fabs y) in x
4.585 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.585 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.585 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- x y)) (fabs y))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.586 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.586 * [backup-simplify]: Simplify (exp (log (+ (/ (fabs (- x y)) (fabs y)) 1))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.586 * [taylor]: Taking taylor expansion of 1 in x
4.586 * [backup-simplify]: Simplify 1 into 1
4.586 * [backup-simplify]: Simplify (- 1) into -1
4.586 * [backup-simplify]: Simplify (+ (+ (/ (fabs (- x y)) (fabs y)) 1) -1) into (/ (fabs (- x y)) (fabs y))
4.586 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
4.586 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
4.586 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.586 * [taylor]: Taking taylor expansion of (fabs y) in y
4.586 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.587 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.587 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.587 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
4.587 * [backup-simplify]: Simplify (+ 0 0) into 0
4.588 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 1)))) 1) into 0
4.589 * [backup-simplify]: Simplify (* (exp (log (+ (/ (fabs (- x y)) (fabs y)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.590 * [backup-simplify]: Simplify (- 0) into 0
4.590 * [backup-simplify]: Simplify (+ 0 0) into 0
4.590 * [taylor]: Taking taylor expansion of 0 in y
4.590 * [backup-simplify]: Simplify 0 into 0
4.590 * [backup-simplify]: Simplify 0 into 0
4.590 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
4.591 * [backup-simplify]: Simplify 0 into 0
4.591 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.591 * [backup-simplify]: Simplify (+ 0 0) into 0
4.594 * [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.595 * [backup-simplify]: Simplify (* (exp (log (+ (/ (fabs (- x y)) (fabs y)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.596 * [backup-simplify]: Simplify (- 0) into 0
4.596 * [backup-simplify]: Simplify (+ 0 0) into 0
4.596 * [taylor]: Taking taylor expansion of 0 in y
4.596 * [backup-simplify]: Simplify 0 into 0
4.596 * [backup-simplify]: Simplify 0 into 0
4.596 * [backup-simplify]: Simplify 0 into 0
4.597 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.597 * [backup-simplify]: Simplify 0 into 0
4.598 * [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.598 * [backup-simplify]: Simplify (+ 0 0) into 0
4.602 * [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.604 * [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.604 * [backup-simplify]: Simplify (- 0) into 0
4.604 * [backup-simplify]: Simplify (+ 0 0) into 0
4.605 * [taylor]: Taking taylor expansion of 0 in y
4.605 * [backup-simplify]: Simplify 0 into 0
4.605 * [backup-simplify]: Simplify 0 into 0
4.605 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.605 * [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.605 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in (x y) around 0
4.605 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in y
4.605 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) 1)
4.605 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in y
4.605 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y
4.605 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))
4.605 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y
4.605 * [taylor]: Taking taylor expansion of 1 in y
4.606 * [backup-simplify]: Simplify 1 into 1
4.606 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
4.606 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
4.606 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.606 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
4.606 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.606 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.606 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.607 * [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.607 * [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.607 * [taylor]: Taking taylor expansion of 1 in y
4.607 * [backup-simplify]: Simplify 1 into 1
4.607 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in x
4.607 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) 1)
4.607 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in x
4.607 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.607 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))
4.607 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.607 * [taylor]: Taking taylor expansion of 1 in x
4.607 * [backup-simplify]: Simplify 1 into 1
4.607 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
4.608 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
4.608 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.608 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
4.608 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.608 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.608 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.609 * [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.609 * [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.609 * [taylor]: Taking taylor expansion of 1 in x
4.609 * [backup-simplify]: Simplify 1 into 1
4.609 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in x
4.609 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) 1)
4.609 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) in x
4.609 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.609 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))
4.609 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.609 * [taylor]: Taking taylor expansion of 1 in x
4.609 * [backup-simplify]: Simplify 1 into 1
4.610 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
4.610 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
4.610 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.610 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
4.610 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.610 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.611 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.611 * [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.612 * [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.612 * [taylor]: Taking taylor expansion of 1 in x
4.612 * [backup-simplify]: Simplify 1 into 1
4.612 * [backup-simplify]: Simplify (- 1) into -1
4.613 * [backup-simplify]: Simplify (+ (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) -1) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.613 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
4.613 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
4.613 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.613 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
4.613 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.613 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.614 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.614 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
4.615 * [backup-simplify]: Simplify (+ 0 0) into 0
4.615 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 1)))) 1) into 0
4.616 * [backup-simplify]: Simplify (* (exp (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.616 * [backup-simplify]: Simplify (- 0) into 0
4.616 * [backup-simplify]: Simplify (+ 0 0) into 0
4.616 * [taylor]: Taking taylor expansion of 0 in y
4.616 * [backup-simplify]: Simplify 0 into 0
4.616 * [backup-simplify]: Simplify 0 into 0
4.617 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
4.617 * [backup-simplify]: Simplify 0 into 0
4.617 * [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.617 * [backup-simplify]: Simplify (+ 0 0) into 0
4.619 * [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.619 * [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.620 * [backup-simplify]: Simplify (- 0) into 0
4.620 * [backup-simplify]: Simplify (+ 0 0) into 0
4.620 * [taylor]: Taking taylor expansion of 0 in y
4.620 * [backup-simplify]: Simplify 0 into 0
4.620 * [backup-simplify]: Simplify 0 into 0
4.620 * [backup-simplify]: Simplify 0 into 0
4.620 * [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.620 * [backup-simplify]: Simplify 0 into 0
4.621 * [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.621 * [backup-simplify]: Simplify (+ 0 0) into 0
4.623 * [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.624 * [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.624 * [backup-simplify]: Simplify (- 0) into 0
4.624 * [backup-simplify]: Simplify (+ 0 0) into 0
4.624 * [taylor]: Taking taylor expansion of 0 in y
4.625 * [backup-simplify]: Simplify 0 into 0
4.625 * [backup-simplify]: Simplify 0 into 0
4.625 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y))
4.625 * [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.625 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in (x y) around 0
4.625 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in y
4.625 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) 1)
4.625 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in y
4.625 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y
4.625 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))
4.625 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y
4.625 * [taylor]: Taking taylor expansion of 1 in y
4.625 * [backup-simplify]: Simplify 1 into 1
4.625 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
4.625 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
4.625 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.625 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
4.625 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.625 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.626 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.626 * [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.626 * [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.626 * [taylor]: Taking taylor expansion of 1 in y
4.626 * [backup-simplify]: Simplify 1 into 1
4.626 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in x
4.626 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) 1)
4.626 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in x
4.626 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.626 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))
4.626 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.626 * [taylor]: Taking taylor expansion of 1 in x
4.626 * [backup-simplify]: Simplify 1 into 1
4.626 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
4.626 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
4.626 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.626 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
4.626 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.626 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.627 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.627 * [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.627 * [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.627 * [taylor]: Taking taylor expansion of 1 in x
4.627 * [backup-simplify]: Simplify 1 into 1
4.627 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in x
4.627 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) 1)
4.627 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) in x
4.627 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.627 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))
4.627 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.627 * [taylor]: Taking taylor expansion of 1 in x
4.627 * [backup-simplify]: Simplify 1 into 1
4.627 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
4.627 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
4.627 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.627 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
4.627 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.627 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.628 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.628 * [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.628 * [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.628 * [taylor]: Taking taylor expansion of 1 in x
4.628 * [backup-simplify]: Simplify 1 into 1
4.628 * [backup-simplify]: Simplify (- 1) into -1
4.629 * [backup-simplify]: Simplify (+ (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) -1) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.629 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
4.629 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
4.629 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.629 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
4.629 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.629 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.629 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.629 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
4.630 * [backup-simplify]: Simplify (+ 0 0) into 0
4.630 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 1)))) 1) into 0
4.631 * [backup-simplify]: Simplify (* (exp (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.631 * [backup-simplify]: Simplify (- 0) into 0
4.631 * [backup-simplify]: Simplify (+ 0 0) into 0
4.631 * [taylor]: Taking taylor expansion of 0 in y
4.631 * [backup-simplify]: Simplify 0 into 0
4.631 * [backup-simplify]: Simplify 0 into 0
4.632 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
4.632 * [backup-simplify]: Simplify 0 into 0
4.632 * [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.632 * [backup-simplify]: Simplify (+ 0 0) into 0
4.633 * [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.634 * [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.635 * [backup-simplify]: Simplify (- 0) into 0
4.635 * [backup-simplify]: Simplify (+ 0 0) into 0
4.635 * [taylor]: Taking taylor expansion of 0 in y
4.635 * [backup-simplify]: Simplify 0 into 0
4.635 * [backup-simplify]: Simplify 0 into 0
4.635 * [backup-simplify]: Simplify 0 into 0
4.635 * [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.635 * [backup-simplify]: Simplify 0 into 0
4.636 * [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.636 * [backup-simplify]: Simplify (+ 0 0) into 0
4.638 * [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.639 * [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.639 * [backup-simplify]: Simplify (- 0) into 0
4.639 * [backup-simplify]: Simplify (+ 0 0) into 0
4.639 * [taylor]: Taking taylor expansion of 0 in y
4.639 * [backup-simplify]: Simplify 0 into 0
4.639 * [backup-simplify]: Simplify 0 into 0
4.640 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y))
4.640 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
4.640 * [backup-simplify]: Simplify (log1p (/ (fabs (- x y)) (fabs y))) into (log1p (/ (fabs (- x y)) (fabs y)))
4.640 * [approximate]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in (x y) around 0
4.640 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in y
4.640 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- x y)) (fabs y))))
4.640 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- x y)) (fabs y))) in y
4.640 * [taylor]: Taking taylor expansion of 1 in y
4.640 * [backup-simplify]: Simplify 1 into 1
4.640 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
4.640 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
4.640 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.640 * [taylor]: Taking taylor expansion of (fabs y) in y
4.640 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.640 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.640 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- x y)) (fabs y))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.640 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.640 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in x
4.640 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- x y)) (fabs y))))
4.640 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- x y)) (fabs y))) in x
4.640 * [taylor]: Taking taylor expansion of 1 in x
4.641 * [backup-simplify]: Simplify 1 into 1
4.641 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
4.641 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
4.641 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.641 * [taylor]: Taking taylor expansion of (fabs y) in x
4.641 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.641 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.641 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- x y)) (fabs y))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.641 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.641 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- x y)) (fabs y))) in x
4.641 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- x y)) (fabs y))))
4.641 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- x y)) (fabs y))) in x
4.641 * [taylor]: Taking taylor expansion of 1 in x
4.641 * [backup-simplify]: Simplify 1 into 1
4.641 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
4.641 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
4.641 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.641 * [taylor]: Taking taylor expansion of (fabs y) in x
4.641 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.641 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.641 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- x y)) (fabs y))) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.641 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.641 * [taylor]: Taking taylor expansion of (log (+ (/ (fabs (- x y)) (fabs y)) 1)) in y
4.642 * [taylor]: Taking taylor expansion of (+ (/ (fabs (- x y)) (fabs y)) 1) in y
4.642 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
4.642 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
4.642 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.642 * [taylor]: Taking taylor expansion of (fabs y) in y
4.642 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.642 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.642 * [taylor]: Taking taylor expansion of 1 in y
4.642 * [backup-simplify]: Simplify 1 into 1
4.642 * [backup-simplify]: Simplify (+ (/ (fabs (- x y)) (fabs y)) 1) into (+ (/ (fabs (- x y)) (fabs y)) 1)
4.642 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.642 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.642 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
4.643 * [backup-simplify]: Simplify (+ 0 0) into 0
4.643 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 1)))) 1) into 0
4.643 * [taylor]: Taking taylor expansion of 0 in y
4.643 * [backup-simplify]: Simplify 0 into 0
4.644 * [backup-simplify]: Simplify 0 into 0
4.644 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
4.644 * [backup-simplify]: Simplify (+ 0 0) into 0
4.645 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- x y)) (fabs y)) 1) 1)))) 1) into 0
4.645 * [backup-simplify]: Simplify 0 into 0
4.646 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.646 * [backup-simplify]: Simplify (+ 0 0) into 0
4.648 * [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.648 * [taylor]: Taking taylor expansion of 0 in y
4.649 * [backup-simplify]: Simplify 0 into 0
4.649 * [backup-simplify]: Simplify 0 into 0
4.649 * [backup-simplify]: Simplify 0 into 0
4.649 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.649 * [backup-simplify]: Simplify (+ 0 0) into 0
4.652 * [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.652 * [backup-simplify]: Simplify 0 into 0
4.652 * [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.658 * [backup-simplify]: Simplify (+ 0 0) into 0
4.662 * [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.662 * [taylor]: Taking taylor expansion of 0 in y
4.662 * [backup-simplify]: Simplify 0 into 0
4.662 * [backup-simplify]: Simplify 0 into 0
4.662 * [backup-simplify]: Simplify (log (+ (/ (fabs (- x y)) (fabs y)) 1)) into (log (+ (/ (fabs (- x y)) (fabs y)) 1))
4.662 * [backup-simplify]: Simplify (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))
4.662 * [approximate]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in (x y) around 0
4.662 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y
4.663 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))
4.663 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y
4.663 * [taylor]: Taking taylor expansion of 1 in y
4.663 * [backup-simplify]: Simplify 1 into 1
4.663 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
4.663 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
4.663 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.663 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
4.663 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.663 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.664 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.664 * [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.664 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.664 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))
4.664 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.664 * [taylor]: Taking taylor expansion of 1 in x
4.664 * [backup-simplify]: Simplify 1 into 1
4.664 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
4.664 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
4.664 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.664 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
4.664 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.665 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.665 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.665 * [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.665 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.665 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))
4.665 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x
4.665 * [taylor]: Taking taylor expansion of 1 in x
4.665 * [backup-simplify]: Simplify 1 into 1
4.665 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
4.666 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
4.666 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.666 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
4.666 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.666 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.666 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.667 * [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.667 * [taylor]: Taking taylor expansion of (log (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)) in y
4.667 * [taylor]: Taking taylor expansion of (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) in y
4.667 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
4.667 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
4.667 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.667 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
4.667 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.667 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.667 * [taylor]: Taking taylor expansion of 1 in y
4.667 * [backup-simplify]: Simplify 1 into 1
4.667 * [backup-simplify]: Simplify (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) into (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1)
4.667 * [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.668 * [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.668 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
4.668 * [backup-simplify]: Simplify (+ 0 0) into 0
4.669 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 1)))) 1) into 0
4.669 * [taylor]: Taking taylor expansion of 0 in y
4.669 * [backup-simplify]: Simplify 0 into 0
4.669 * [backup-simplify]: Simplify 0 into 0
4.669 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
4.669 * [backup-simplify]: Simplify (+ 0 0) into 0
4.670 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1) 1)))) 1) into 0
4.670 * [backup-simplify]: Simplify 0 into 0
4.670 * [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.670 * [backup-simplify]: Simplify (+ 0 0) into 0
4.672 * [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.672 * [taylor]: Taking taylor expansion of 0 in y
4.672 * [backup-simplify]: Simplify 0 into 0
4.672 * [backup-simplify]: Simplify 0 into 0
4.672 * [backup-simplify]: Simplify 0 into 0
4.672 * [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.672 * [backup-simplify]: Simplify (+ 0 0) into 0
4.674 * [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.674 * [backup-simplify]: Simplify 0 into 0
4.674 * [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.674 * [backup-simplify]: Simplify (+ 0 0) into 0
4.676 * [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.676 * [taylor]: Taking taylor expansion of 0 in y
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify 0 into 0
4.677 * [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.677 * [backup-simplify]: Simplify (log1p (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y))))) into (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))
4.677 * [approximate]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in (x y) around 0
4.677 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y
4.677 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))
4.677 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y
4.677 * [taylor]: Taking taylor expansion of 1 in y
4.677 * [backup-simplify]: Simplify 1 into 1
4.677 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
4.677 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
4.677 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.677 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
4.677 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.677 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.677 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.677 * [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.677 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.678 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))
4.678 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.678 * [taylor]: Taking taylor expansion of 1 in x
4.678 * [backup-simplify]: Simplify 1 into 1
4.678 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
4.678 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
4.678 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.678 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
4.678 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.678 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.678 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.678 * [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.678 * [taylor]: Taking taylor expansion of (log1p (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.678 * [taylor]: Rewrote expression to (log (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))
4.678 * [taylor]: Taking taylor expansion of (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x
4.678 * [taylor]: Taking taylor expansion of 1 in x
4.678 * [backup-simplify]: Simplify 1 into 1
4.678 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
4.678 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
4.678 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.678 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
4.678 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.679 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.679 * [backup-simplify]: Simplify (+ 1 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.679 * [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.679 * [taylor]: Taking taylor expansion of (log (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)) in y
4.679 * [taylor]: Taking taylor expansion of (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) in y
4.679 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
4.679 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
4.679 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.679 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
4.679 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.679 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.679 * [taylor]: Taking taylor expansion of 1 in y
4.679 * [backup-simplify]: Simplify 1 into 1
4.680 * [backup-simplify]: Simplify (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) into (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1)
4.680 * [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.680 * [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.680 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
4.680 * [backup-simplify]: Simplify (+ 0 0) into 0
4.681 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 1)))) 1) into 0
4.681 * [taylor]: Taking taylor expansion of 0 in y
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
4.682 * [backup-simplify]: Simplify (+ 0 0) into 0
4.682 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1) 1)))) 1) into 0
4.682 * [backup-simplify]: Simplify 0 into 0
4.682 * [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.683 * [backup-simplify]: Simplify (+ 0 0) into 0
4.684 * [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.684 * [taylor]: Taking taylor expansion of 0 in y
4.684 * [backup-simplify]: Simplify 0 into 0
4.684 * [backup-simplify]: Simplify 0 into 0
4.684 * [backup-simplify]: Simplify 0 into 0
4.684 * [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.685 * [backup-simplify]: Simplify (+ 0 0) into 0
4.686 * [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.686 * [backup-simplify]: Simplify 0 into 0
4.686 * [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.686 * [backup-simplify]: Simplify (+ 0 0) into 0
4.689 * [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.689 * [taylor]: Taking taylor expansion of 0 in y
4.689 * [backup-simplify]: Simplify 0 into 0
4.689 * [backup-simplify]: Simplify 0 into 0
4.689 * [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.689 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
4.689 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.689 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0
4.689 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
4.689 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
4.689 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.689 * [taylor]: Taking taylor expansion of (fabs y) in y
4.689 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.689 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.689 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
4.689 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
4.689 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.689 * [taylor]: Taking taylor expansion of (fabs y) in x
4.689 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.689 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.689 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
4.689 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
4.690 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.690 * [taylor]: Taking taylor expansion of (fabs y) in x
4.690 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.690 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.690 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
4.690 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
4.690 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
4.690 * [taylor]: Taking taylor expansion of (fabs y) in y
4.690 * [backup-simplify]: Simplify (fabs y) into (fabs y)
4.690 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.690 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.690 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
4.690 * [taylor]: Taking taylor expansion of 0 in y
4.690 * [backup-simplify]: Simplify 0 into 0
4.690 * [backup-simplify]: Simplify 0 into 0
4.690 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
4.690 * [backup-simplify]: Simplify 0 into 0
4.691 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.691 * [taylor]: Taking taylor expansion of 0 in y
4.691 * [backup-simplify]: Simplify 0 into 0
4.691 * [backup-simplify]: Simplify 0 into 0
4.691 * [backup-simplify]: Simplify 0 into 0
4.691 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
4.691 * [backup-simplify]: Simplify 0 into 0
4.691 * [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.691 * [taylor]: Taking taylor expansion of 0 in y
4.691 * [backup-simplify]: Simplify 0 into 0
4.691 * [backup-simplify]: Simplify 0 into 0
4.691 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
4.691 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.691 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0
4.691 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
4.691 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
4.691 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.691 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
4.692 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.692 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.692 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
4.692 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
4.692 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.692 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
4.692 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.692 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.692 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
4.692 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
4.692 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.692 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
4.692 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.692 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.692 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
4.692 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
4.692 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
4.692 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
4.692 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
4.693 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.693 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
4.693 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
4.693 * [taylor]: Taking taylor expansion of 0 in y
4.693 * [backup-simplify]: Simplify 0 into 0
4.693 * [backup-simplify]: Simplify 0 into 0
4.693 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
4.693 * [backup-simplify]: Simplify 0 into 0
4.693 * [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.693 * [taylor]: Taking taylor expansion of 0 in y
4.693 * [backup-simplify]: Simplify 0 into 0
4.693 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [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.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [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.694 * [taylor]: Taking taylor expansion of 0 in y
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y))
4.694 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.694 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0
4.694 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
4.695 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
4.695 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.695 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
4.695 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.695 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.695 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
4.695 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
4.695 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.695 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
4.695 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.695 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.695 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
4.695 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
4.696 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.696 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
4.696 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.696 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.696 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
4.696 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
4.696 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
4.696 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
4.696 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
4.696 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.697 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
4.697 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
4.697 * [taylor]: Taking taylor expansion of 0 in y
4.697 * [backup-simplify]: Simplify 0 into 0
4.697 * [backup-simplify]: Simplify 0 into 0
4.698 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
4.698 * [backup-simplify]: Simplify 0 into 0
4.698 * [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.698 * [taylor]: Taking taylor expansion of 0 in y
4.698 * [backup-simplify]: Simplify 0 into 0
4.698 * [backup-simplify]: Simplify 0 into 0
4.699 * [backup-simplify]: Simplify 0 into 0
4.699 * [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.699 * [backup-simplify]: Simplify 0 into 0
4.700 * [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.700 * [taylor]: Taking taylor expansion of 0 in y
4.700 * [backup-simplify]: Simplify 0 into 0
4.700 * [backup-simplify]: Simplify 0 into 0
4.700 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y))
4.700 * * * [progress]: simplifying candidates
4.702 * [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.703 * * [simplify]: iteration 0: 75 enodes
4.725 * * [simplify]: iteration 1: 124 enodes
4.752 * * [simplify]: iteration 2: 320 enodes
4.830 * * [simplify]: iteration 3: 1265 enodes
5.870 * * [simplify]: iteration complete: 5001 enodes
5.870 * * [simplify]: Extracting #0: cost 40 inf + 0
5.871 * * [simplify]: Extracting #1: cost 567 inf + 1
5.875 * * [simplify]: Extracting #2: cost 1366 inf + 85
5.886 * * [simplify]: Extracting #3: cost 1387 inf + 171
5.899 * * [simplify]: Extracting #4: cost 1231 inf + 22894
5.938 * * [simplify]: Extracting #5: cost 274 inf + 235261
6.014 * * [simplify]: Extracting #6: cost 1 inf + 307401
6.088 * * [simplify]: Extracting #7: cost 0 inf + 307593
6.158 * [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)))
  (* (/ (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)) 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))))
  (* (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)) (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (exp (/ (fabs (- x y)) (fabs y)))
  (* (/ (fabs (- x y)) (fabs y)) (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))))
  (* (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 y))) (/ (cbrt (fabs (- x 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))
6.162 * * * [progress]: adding candidates to table
6.513 * [progress]: [Phase 3 of 3] Extracting.
6.513 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (fabs (- x y)) (/ 1 (fabs y))))> #<alt (λ (x y) (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))> #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>)
6.513 * * * [regime-changes]: Trying 3 branch expressions: ((/ (fabs (- x y)) (fabs y)) y x)
6.514 * * * * [regimes]: Trying to branch on (/ (fabs (- x y)) (fabs y)) from (#<alt (λ (x y) (* (fabs (- x y)) (/ 1 (fabs y))))> #<alt (λ (x y) (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))> #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>)
6.561 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (fabs (- x y)) (/ 1 (fabs y))))> #<alt (λ (x y) (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))> #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>)
6.625 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (fabs (- x y)) (/ 1 (fabs y))))> #<alt (λ (x y) (expm1 (log1p (/ (fabs (- x y)) (fabs y)))))> #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>)
6.686 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
6.686 * [simplify]: Simplifying:
  (/ (fabs (- x y)) (fabs y))
6.687 * * [simplify]: iteration 0: 6 enodes
6.687 * * [simplify]: iteration complete: 6 enodes
6.687 * * [simplify]: Extracting #0: cost 1 inf + 0
6.687 * * [simplify]: Extracting #1: cost 3 inf + 0
6.687 * * [simplify]: Extracting #2: cost 5 inf + 0
6.687 * * [simplify]: Extracting #3: cost 4 inf + 42
6.687 * * [simplify]: Extracting #4: cost 3 inf + 43
6.687 * * [simplify]: Extracting #5: cost 0 inf + 329
6.687 * [simplify]: Simplified to:
  (/ (fabs (- x y)) (fabs y))
7.946 * [regime-testing]: Baseline error score: 0.01362670333791724
7.954 * [regime-testing]: Oracle error score: 0.008751093886735842
7.970 * [regime-testing]: End program error score: 0.01362670333791724