23.573 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.012 * * * [progress]: [2/2] Setting up program.
0.014 * [progress]: [Phase 2 of 3] Improving.
0.014 * [simplify]: Simplifying:
  (/ (fabs (- x y)) (fabs y))
0.014 * * [simplify]: Extracting # 0 : cost  0
0.014 * * [simplify]: Extracting # 1 : cost  0
0.014 * * [simplify]: Extracting # 2 : cost  0
0.014 * * [simplify]: Extracting # 3 : cost  0
0.014 * * [simplify]: Extracting # 4 : cost  0
0.014 * * [simplify]: Extracting # 5 : cost  0
0.014 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.015 * * [simplify]: Extracting # 0 : cost  0
0.015 * * [simplify]: Extracting # 1 : cost  0
0.015 * * [simplify]: Extracting # 2 : cost  0
0.015 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
0.016 * * [simplify]: Extracting # 0 : cost  0
0.016 * * [simplify]: iteration  2 :  9  enodes  (cost  7 )
0.017 * * [simplify]: Extracting # 0 : cost  0
0.017 * * [simplify]: iteration done:  9  enodes  (cost  7 )
0.017 * [simplify]: Simplified to:
  (/ (fabs (- x y)) (fabs y))
0.018 * * [progress]: iteration 1 / 4
0.018 * * * [progress]: picking best candidate
0.019 * * * * [pick]: Picked  #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>
0.019 * * * [progress]: localizing error
0.024 * * * [progress]: generating rewritten candidates
0.025 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.030 * * * [progress]: generating series expansions
0.030 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.030 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.030 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0
0.030 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
0.030 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
0.030 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
0.030 * [taylor]: Taking taylor expansion of (fabs y) in y
0.030 * [backup-simplify]: Simplify (fabs y) into (fabs y)
0.030 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.030 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
0.030 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
0.030 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
0.030 * [taylor]: Taking taylor expansion of (fabs y) in x
0.030 * [backup-simplify]: Simplify (fabs y) into (fabs y)
0.030 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.030 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
0.030 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
0.030 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
0.031 * [taylor]: Taking taylor expansion of (fabs y) in x
0.031 * [backup-simplify]: Simplify (fabs y) into (fabs y)
0.031 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.031 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
0.031 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
0.031 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
0.031 * [taylor]: Taking taylor expansion of (fabs y) in y
0.031 * [backup-simplify]: Simplify (fabs y) into (fabs y)
0.031 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.031 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.031 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
0.031 * [taylor]: Taking taylor expansion of 0 in y
0.031 * [backup-simplify]: Simplify 0 into 0
0.031 * [backup-simplify]: Simplify 0 into 0
0.031 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
0.031 * [backup-simplify]: Simplify 0 into 0
0.032 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
0.032 * [taylor]: Taking taylor expansion of 0 in y
0.032 * [backup-simplify]: Simplify 0 into 0
0.032 * [backup-simplify]: Simplify 0 into 0
0.032 * [backup-simplify]: Simplify 0 into 0
0.032 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
0.032 * [backup-simplify]: Simplify 0 into 0
0.032 * [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.032 * [taylor]: Taking taylor expansion of 0 in y
0.032 * [backup-simplify]: Simplify 0 into 0
0.032 * [backup-simplify]: Simplify 0 into 0
0.032 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
0.032 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.032 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0
0.032 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
0.032 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
0.032 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.032 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
0.032 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
0.033 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.033 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
0.033 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
0.033 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.033 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
0.033 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
0.033 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.033 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
0.033 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
0.033 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.033 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
0.033 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
0.033 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.033 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
0.033 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
0.033 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
0.033 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
0.033 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
0.033 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.034 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
0.034 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
0.034 * [taylor]: Taking taylor expansion of 0 in y
0.034 * [backup-simplify]: Simplify 0 into 0
0.034 * [backup-simplify]: Simplify 0 into 0
0.034 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
0.034 * [backup-simplify]: Simplify 0 into 0
0.034 * [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.034 * [taylor]: Taking taylor expansion of 0 in y
0.034 * [backup-simplify]: Simplify 0 into 0
0.034 * [backup-simplify]: Simplify 0 into 0
0.034 * [backup-simplify]: Simplify 0 into 0
0.035 * [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.035 * [backup-simplify]: Simplify 0 into 0
0.035 * [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.035 * [taylor]: Taking taylor expansion of 0 in y
0.035 * [backup-simplify]: Simplify 0 into 0
0.035 * [backup-simplify]: Simplify 0 into 0
0.035 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y))
0.035 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.035 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0
0.035 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
0.035 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
0.036 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.036 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
0.036 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
0.036 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.036 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
0.036 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
0.036 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.036 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
0.036 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
0.036 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.036 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
0.036 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
0.036 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.036 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
0.036 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
0.036 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.036 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
0.036 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
0.036 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
0.036 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
0.036 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
0.037 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.037 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
0.037 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
0.037 * [taylor]: Taking taylor expansion of 0 in y
0.037 * [backup-simplify]: Simplify 0 into 0
0.037 * [backup-simplify]: Simplify 0 into 0
0.037 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
0.037 * [backup-simplify]: Simplify 0 into 0
0.037 * [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.037 * [taylor]: Taking taylor expansion of 0 in y
0.037 * [backup-simplify]: Simplify 0 into 0
0.038 * [backup-simplify]: Simplify 0 into 0
0.038 * [backup-simplify]: Simplify 0 into 0
0.038 * [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.038 * [backup-simplify]: Simplify 0 into 0
0.038 * [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.038 * [taylor]: Taking taylor expansion of 0 in y
0.038 * [backup-simplify]: Simplify 0 into 0
0.038 * [backup-simplify]: Simplify 0 into 0
0.038 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y))
0.038 * * * [progress]: simplifying candidates
0.039 * [simplify]: Simplifying:
  (- (log (fabs (- x y))) (log (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (exp (/ (fabs (- x y)) (fabs y)))
  (/ (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))) (* (* (fabs y) (fabs y)) (fabs y)))
  (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y))))
  (cbrt (/ (fabs (- x y)) (fabs y)))
  (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y)))
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (- (fabs (- x y)))
  (- (fabs y))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (cbrt (fabs (- x y))) (cbrt (fabs y)))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y)))
  (/ (cbrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1)
  (/ (cbrt (fabs (- x y))) (fabs y))
  (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (sqrt (fabs (- x y))) (cbrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) 1)
  (/ (sqrt (fabs (- x y))) (fabs y))
  (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (fabs (- x y)) (cbrt (fabs y)))
  (/ 1 (sqrt (fabs y)))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (/ 1 1)
  (/ (fabs (- x y)) (fabs y))
  (/ 1 (fabs y))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs (- x y)) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (/ (fabs (- x y)) 1)
  (/ (fabs y) (cbrt (fabs (- x y))))
  (/ (fabs y) (sqrt (fabs (- x y))))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
0.040 * * [simplify]: Extracting # 0 : cost  0
0.040 * * [simplify]: Extracting # 1 : cost  0
0.040 * * [simplify]: Extracting # 2 : cost  0
0.040 * * [simplify]: Extracting # 3 : cost  0
0.040 * * [simplify]: Extracting # 4 : cost  0
0.040 * * [simplify]: Extracting # 5 : cost  0
0.040 * * [simplify]: Extracting # 6 : cost  0
0.040 * * [simplify]: Extracting # 7 : cost  0
0.040 * * [simplify]: iteration  0 :  52  enodes  (cost  369 )
0.050 * * [simplify]: Extracting # 0 : cost  0
0.050 * * [simplify]: Extracting # 1 : cost  0
0.050 * * [simplify]: Extracting # 2 : cost  0
0.050 * * [simplify]: iteration  1 :  86  enodes  (cost  360 )
0.068 * * [simplify]: Extracting # 0 : cost  0
0.068 * * [simplify]: Extracting # 1 : cost  0
0.069 * * [simplify]: Extracting # 2 : cost  0
0.069 * * [simplify]: Extracting # 3 : cost  0
0.069 * * [simplify]: iteration  2 :  179  enodes  (cost  332 )
0.109 * * [simplify]: Extracting # 0 : cost  0
0.109 * * [simplify]: Extracting # 1 : cost  0
0.110 * * [simplify]: Extracting # 2 : cost  0
0.110 * * [simplify]: Extracting # 3 : cost  0
0.110 * * [simplify]: Extracting # 4 : cost  0
0.110 * * [simplify]: iteration  3 :  330  enodes  (cost  332 )
0.223 * * [simplify]: Extracting # 0 : cost  0
0.223 * * [simplify]: Extracting # 1 : cost  0
0.224 * * [simplify]: Extracting # 2 : cost  0
0.224 * * [simplify]: Extracting # 3 : cost  0
0.224 * * [simplify]: Extracting # 4 : cost  0
0.225 * * [simplify]: iteration  4 :  551  enodes  (cost  332 )
0.458 * * [simplify]: Extracting # 0 : cost  0
0.459 * * [simplify]: Extracting # 1 : cost  0
0.460 * * [simplify]: Extracting # 2 : cost  0
0.460 * * [simplify]: Extracting # 3 : cost  0
0.461 * * [simplify]: Extracting # 4 : cost  0
0.462 * * [simplify]: iteration  5 :  867  enodes  (cost  332 )
1.111 * * [simplify]: Extracting # 0 : cost  0
1.114 * * [simplify]: Extracting # 1 : cost  0
1.115 * * [simplify]: Extracting # 2 : cost  0
1.117 * * [simplify]: Extracting # 3 : cost  0
1.118 * * [simplify]: iteration  6 :  2008  enodes  (cost  332 )
2.149 * * [simplify]: Extracting # 0 : cost  0
2.162 * * [simplify]: Extracting # 1 : cost  0
2.167 * * [simplify]: Extracting # 2 : cost  0
2.172 * * [simplify]: iteration done:  5000  enodes  (cost  332 )
2.172 * [simplify]: Simplified to:
  (log (/ (fabs (- x y)) (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (exp (/ (fabs (- x y)) (fabs y)))
  (pow (/ (fabs (- x y)) (fabs y)) 3)
  (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y))))
  (cbrt (/ (fabs (- x y)) (fabs y)))
  (pow (/ (fabs (- x y)) (fabs y)) 3)
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (- (fabs (- x y)))
  (- (fabs y))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (cbrt (fabs (- x y))) (cbrt (fabs y)))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs 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))
2.173 * * * [progress]: adding candidates to table
2.229 * * [progress]: iteration 2 / 4
2.229 * * * [progress]: picking best candidate
2.230 * * * * [pick]: Picked  #<alt (λ (x y) (/ 1 (/ (fabs y) (fabs (- x y)))))>
2.230 * * * [progress]: localizing error
2.237 * * * [progress]: generating rewritten candidates
2.237 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.247 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
2.258 * * * [progress]: generating series expansions
2.259 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.259 * [backup-simplify]: Simplify (/ 1 (/ (fabs y) (fabs (- x y)))) into (/ (fabs (- x y)) (fabs y))
2.259 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (y x) around 0
2.259 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
2.259 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.259 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.259 * [taylor]: Taking taylor expansion of (fabs y) in x
2.259 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.259 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.259 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
2.259 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.259 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.259 * [taylor]: Taking taylor expansion of (fabs y) in y
2.259 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.259 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.259 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y
2.259 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.259 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.259 * [taylor]: Taking taylor expansion of (fabs y) in y
2.259 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.259 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.259 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x
2.259 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.260 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.260 * [taylor]: Taking taylor expansion of (fabs y) in x
2.260 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.260 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.260 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.260 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
2.260 * [taylor]: Taking taylor expansion of 0 in x
2.260 * [backup-simplify]: Simplify 0 into 0
2.260 * [backup-simplify]: Simplify 0 into 0
2.260 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0
2.260 * [backup-simplify]: Simplify 0 into 0
2.260 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
2.260 * [taylor]: Taking taylor expansion of 0 in x
2.260 * [backup-simplify]: Simplify 0 into 0
2.260 * [backup-simplify]: Simplify 0 into 0
2.260 * [backup-simplify]: Simplify 0 into 0
2.261 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
2.261 * [backup-simplify]: Simplify 0 into 0
2.261 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0
2.261 * [taylor]: Taking taylor expansion of 0 in x
2.261 * [backup-simplify]: Simplify 0 into 0
2.261 * [backup-simplify]: Simplify 0 into 0
2.261 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y))
2.261 * [backup-simplify]: Simplify (/ 1 (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.261 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (y x) around 0
2.261 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
2.261 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.261 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.261 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
2.261 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.261 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.261 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
2.261 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.261 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.261 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
2.262 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.262 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.262 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y
2.262 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.262 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.262 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
2.262 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.262 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.262 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x
2.262 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.262 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.262 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
2.262 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.262 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.262 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))
2.263 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
2.263 * [taylor]: Taking taylor expansion of 0 in x
2.263 * [backup-simplify]: Simplify 0 into 0
2.263 * [backup-simplify]: Simplify 0 into 0
2.263 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0
2.263 * [backup-simplify]: Simplify 0 into 0
2.263 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
2.263 * [taylor]: Taking taylor expansion of 0 in x
2.263 * [backup-simplify]: Simplify 0 into 0
2.263 * [backup-simplify]: Simplify 0 into 0
2.263 * [backup-simplify]: Simplify 0 into 0
2.263 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
2.263 * [backup-simplify]: Simplify 0 into 0
2.264 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0
2.264 * [taylor]: Taking taylor expansion of 0 in x
2.264 * [backup-simplify]: Simplify 0 into 0
2.264 * [backup-simplify]: Simplify 0 into 0
2.264 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y))
2.264 * [backup-simplify]: Simplify (/ 1 (/ (fabs (/ 1 (- y))) (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.264 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (y x) around 0
2.264 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
2.264 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.264 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.264 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
2.264 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.264 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.264 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
2.264 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.265 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.265 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
2.265 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.265 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.265 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y
2.265 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.265 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.265 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
2.265 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.265 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.265 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x
2.265 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.265 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.265 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
2.265 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.265 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.265 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))
2.266 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
2.266 * [taylor]: Taking taylor expansion of 0 in x
2.266 * [backup-simplify]: Simplify 0 into 0
2.266 * [backup-simplify]: Simplify 0 into 0
2.266 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0
2.266 * [backup-simplify]: Simplify 0 into 0
2.266 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
2.266 * [taylor]: Taking taylor expansion of 0 in x
2.266 * [backup-simplify]: Simplify 0 into 0
2.266 * [backup-simplify]: Simplify 0 into 0
2.266 * [backup-simplify]: Simplify 0 into 0
2.267 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
2.267 * [backup-simplify]: Simplify 0 into 0
2.267 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0
2.267 * [taylor]: Taking taylor expansion of 0 in x
2.267 * [backup-simplify]: Simplify 0 into 0
2.267 * [backup-simplify]: Simplify 0 into 0
2.267 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y))
2.267 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
2.267 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
2.267 * [approximate]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in (y x) around 0
2.267 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in x
2.267 * [taylor]: Taking taylor expansion of (fabs y) in x
2.267 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.267 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.267 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.267 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
2.267 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in y
2.267 * [taylor]: Taking taylor expansion of (fabs y) in y
2.268 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.268 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.268 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.268 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
2.268 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in y
2.268 * [taylor]: Taking taylor expansion of (fabs y) in y
2.268 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.268 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y
2.268 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.268 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
2.268 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in x
2.268 * [taylor]: Taking taylor expansion of (fabs y) in x
2.268 * [backup-simplify]: Simplify (fabs y) into (fabs y)
2.268 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x
2.268 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y))
2.268 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
2.268 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
2.268 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))))) into 0
2.268 * [taylor]: Taking taylor expansion of 0 in x
2.268 * [backup-simplify]: Simplify 0 into 0
2.268 * [backup-simplify]: Simplify 0 into 0
2.269 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))))) into 0
2.269 * [backup-simplify]: Simplify 0 into 0
2.269 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0
2.269 * [taylor]: Taking taylor expansion of 0 in x
2.269 * [backup-simplify]: Simplify 0 into 0
2.269 * [backup-simplify]: Simplify 0 into 0
2.269 * [backup-simplify]: Simplify 0 into 0
2.269 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0
2.269 * [backup-simplify]: Simplify 0 into 0
2.269 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0
2.269 * [taylor]: Taking taylor expansion of 0 in x
2.269 * [backup-simplify]: Simplify 0 into 0
2.269 * [backup-simplify]: Simplify 0 into 0
2.269 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y)))
2.270 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))
2.270 * [approximate]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in (y x) around 0
2.270 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in x
2.270 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
2.270 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.270 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.270 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.270 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))
2.270 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in y
2.270 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
2.270 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.270 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.270 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.270 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))
2.270 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in y
2.270 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y
2.270 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.270 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y
2.270 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.271 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))
2.271 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in x
2.271 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x
2.271 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
2.271 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x
2.271 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y)))
2.271 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))
2.271 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))
2.271 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0
2.271 * [taylor]: Taking taylor expansion of 0 in x
2.271 * [backup-simplify]: Simplify 0 into 0
2.271 * [backup-simplify]: Simplify 0 into 0
2.272 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0
2.272 * [backup-simplify]: Simplify 0 into 0
2.272 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0
2.272 * [taylor]: Taking taylor expansion of 0 in x
2.272 * [backup-simplify]: Simplify 0 into 0
2.272 * [backup-simplify]: Simplify 0 into 0
2.272 * [backup-simplify]: Simplify 0 into 0
2.272 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0
2.272 * [backup-simplify]: Simplify 0 into 0
2.273 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0
2.273 * [taylor]: Taking taylor expansion of 0 in x
2.273 * [backup-simplify]: Simplify 0 into 0
2.273 * [backup-simplify]: Simplify 0 into 0
2.273 * [backup-simplify]: Simplify (/ (fabs (/ 1 (/ 1 y))) (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (fabs y) (fabs (- x y)))
2.273 * [backup-simplify]: Simplify (/ (fabs (/ 1 (- y))) (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x))))
2.273 * [approximate]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in (y x) around 0
2.273 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in x
2.273 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
2.273 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.273 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.273 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.274 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x))))
2.274 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in y
2.274 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
2.274 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.274 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.274 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.274 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x))))
2.274 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in y
2.274 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y
2.274 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.274 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y
2.274 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.274 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x))))
2.274 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in x
2.274 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x
2.274 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
2.274 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x
2.275 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x)))
2.275 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x))))
2.275 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x))))
2.275 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0
2.275 * [taylor]: Taking taylor expansion of 0 in x
2.275 * [backup-simplify]: Simplify 0 into 0
2.275 * [backup-simplify]: Simplify 0 into 0
2.275 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0
2.275 * [backup-simplify]: Simplify 0 into 0
2.276 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0
2.276 * [taylor]: Taking taylor expansion of 0 in x
2.276 * [backup-simplify]: Simplify 0 into 0
2.276 * [backup-simplify]: Simplify 0 into 0
2.276 * [backup-simplify]: Simplify 0 into 0
2.276 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0
2.276 * [backup-simplify]: Simplify 0 into 0
2.277 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0
2.277 * [taylor]: Taking taylor expansion of 0 in x
2.277 * [backup-simplify]: Simplify 0 into 0
2.277 * [backup-simplify]: Simplify 0 into 0
2.277 * [backup-simplify]: Simplify (/ (fabs (/ -1 (/ 1 (- y)))) (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (fabs y) (fabs (- x y)))
2.277 * * * [progress]: simplifying candidates
2.278 * [simplify]: Simplifying:
  (- 1)
  (- (- (log (fabs y)) (log (fabs (- x y)))))
  (- (log (/ (fabs y) (fabs (- x y)))))
  (- 0 (- (log (fabs y)) (log (fabs (- x y)))))
  (- 0 (log (/ (fabs y) (fabs (- x y)))))
  (- (log 1) (- (log (fabs y)) (log (fabs (- x y)))))
  (- (log 1) (log (/ (fabs y) (fabs (- x y)))))
  (log (/ 1 (/ (fabs y) (fabs (- x y)))))
  (exp (/ 1 (/ (fabs y) (fabs (- x y)))))
  (/ (* (* 1 1) 1) (/ (* (* (fabs y) (fabs y)) (fabs y)) (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y)))))
  (/ (* (* 1 1) 1) (* (* (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y)))) (/ (fabs y) (fabs (- x y)))))
  (* (cbrt (/ 1 (/ (fabs y) (fabs (- x y))))) (cbrt (/ 1 (/ (fabs y) (fabs (- x y))))))
  (cbrt (/ 1 (/ (fabs y) (fabs (- x y)))))
  (* (* (/ 1 (/ (fabs y) (fabs (- x y)))) (/ 1 (/ (fabs y) (fabs (- x y))))) (/ 1 (/ (fabs y) (fabs (- x y)))))
  (sqrt (/ 1 (/ (fabs y) (fabs (- x y)))))
  (sqrt (/ 1 (/ (fabs y) (fabs (- x y)))))
  (- 1)
  (- (/ (fabs y) (fabs (- x y))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y))))))
  (/ (cbrt 1) (cbrt (/ (fabs y) (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ (cbrt 1) (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ (cbrt 1) (/ (cbrt (fabs y)) (cbrt (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y)))))
  (/ (cbrt 1) (/ (cbrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1))
  (/ (cbrt 1) (/ (cbrt (fabs y)) (fabs (- x y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ (cbrt 1) (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ (cbrt 1) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (fabs y)) 1))
  (/ (cbrt 1) (/ (sqrt (fabs y)) (fabs (- x y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ (cbrt 1) (/ (fabs y) (cbrt (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (fabs (- x y)))))
  (/ (cbrt 1) (/ (fabs y) (sqrt (fabs (- x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (fabs y) (fabs (- x y))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ (fabs y) (fabs (- x y))))
  (/ (* (cbrt 1) (cbrt 1)) (fabs y))
  (/ (cbrt 1) (/ 1 (fabs (- x y))))
  (/ (sqrt 1) (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y))))))
  (/ (sqrt 1) (cbrt (/ (fabs y) (fabs (- x y)))))
  (/ (sqrt 1) (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ (sqrt 1) (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ (sqrt 1) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ (sqrt 1) (/ (cbrt (fabs y)) (cbrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (cbrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1))
  (/ (sqrt 1) (/ (cbrt (fabs y)) (fabs (- x y))))
  (/ (sqrt 1) (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ (sqrt 1) (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (sqrt (fabs y)) 1))
  (/ (sqrt 1) (/ (sqrt (fabs y)) (fabs (- x y))))
  (/ (sqrt 1) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ (sqrt 1) (/ (fabs y) (cbrt (fabs (- x y)))))
  (/ (sqrt 1) (/ 1 (sqrt (fabs (- x y)))))
  (/ (sqrt 1) (/ (fabs y) (sqrt (fabs (- x y)))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (fabs y) (fabs (- x y))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ (fabs y) (fabs (- x y))))
  (/ (sqrt 1) (fabs y))
  (/ (sqrt 1) (/ 1 (fabs (- x y))))
  (/ 1 (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y))))))
  (/ 1 (cbrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ 1 (/ (cbrt (fabs y)) (cbrt (fabs (- x y)))))
  (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y)))))
  (/ 1 (/ (cbrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1))
  (/ 1 (/ (cbrt (fabs y)) (fabs (- x y))))
  (/ 1 (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ 1 (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))))
  (/ 1 (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ 1 (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ 1 (/ (sqrt (fabs y)) 1))
  (/ 1 (/ (sqrt (fabs y)) (fabs (- x y))))
  (/ 1 (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ 1 (/ (fabs y) (cbrt (fabs (- x y)))))
  (/ 1 (/ 1 (sqrt (fabs (- x y)))))
  (/ 1 (/ (fabs y) (sqrt (fabs (- x y)))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (fabs y) (fabs (- x y))))
  (/ 1 1)
  (/ 1 (/ (fabs y) (fabs (- x y))))
  (/ 1 (fabs y))
  (/ 1 (/ 1 (fabs (- x y))))
  (/ 1 (/ (fabs y) (fabs (- x y))))
  (/ (/ (fabs y) (fabs (- x y))) 1)
  (/ 1 (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y))))))
  (/ 1 (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y)))))
  (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1))
  (/ 1 (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ 1 (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))))
  (/ 1 (/ (sqrt (fabs y)) 1))
  (/ 1 (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))))
  (/ 1 (/ 1 (sqrt (fabs (- x y)))))
  (/ 1 (/ 1 1))
  (/ 1 1)
  (/ 1 (fabs y))
  (/ (/ (fabs y) (fabs (- x y))) (cbrt 1))
  (/ (/ (fabs y) (fabs (- x y))) (sqrt 1))
  (/ (/ (fabs y) (fabs (- x y))) 1)
  (/ 1 (fabs y))
  (- (log (fabs y)) (log (fabs (- x y))))
  (log (/ (fabs y) (fabs (- x y))))
  (exp (/ (fabs y) (fabs (- x y))))
  (/ (* (* (fabs y) (fabs y)) (fabs y)) (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))))
  (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y)))))
  (cbrt (/ (fabs y) (fabs (- x y))))
  (* (* (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y)))) (/ (fabs y) (fabs (- x y))))
  (sqrt (/ (fabs y) (fabs (- x y))))
  (sqrt (/ (fabs y) (fabs (- x y))))
  (- (fabs y))
  (- (fabs (- x y)))
  (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))
  (/ (cbrt (fabs y)) (cbrt (fabs (- x y))))
  (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y))))
  (/ (cbrt (fabs y)) (sqrt (fabs (- x y))))
  (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1)
  (/ (cbrt (fabs y)) (fabs (- x y)))
  (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))
  (/ (sqrt (fabs y)) (cbrt (fabs (- x y))))
  (/ (sqrt (fabs y)) (sqrt (fabs (- x y))))
  (/ (sqrt (fabs y)) (sqrt (fabs (- x y))))
  (/ (sqrt (fabs y)) 1)
  (/ (sqrt (fabs y)) (fabs (- x y)))
  (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))
  (/ (fabs y) (cbrt (fabs (- x y))))
  (/ 1 (sqrt (fabs (- x y))))
  (/ (fabs y) (sqrt (fabs (- x y))))
  (/ 1 1)
  (/ (fabs y) (fabs (- x y)))
  (/ 1 (fabs (- x y)))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs y) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))
  (/ (fabs y) (sqrt (fabs (- x y))))
  (/ (fabs y) 1)
  (/ (fabs (- x y)) (cbrt (fabs y)))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs y) (fabs (- x y)))
2.281 * * [simplify]: Extracting # 0 : cost  0
2.281 * * [simplify]: Extracting # 1 : cost  0
2.281 * * [simplify]: Extracting # 2 : cost  0
2.281 * * [simplify]: Extracting # 3 : cost  0
2.281 * * [simplify]: Extracting # 4 : cost  0
2.282 * * [simplify]: Extracting # 5 : cost  0
2.282 * * [simplify]: Extracting # 6 : cost  0
2.282 * * [simplify]: Extracting # 7 : cost  0
2.282 * * [simplify]: iteration  0 :  149  enodes  (cost  1745 )
2.324 * * [simplify]: Extracting # 0 : cost  0
2.324 * * [simplify]: Extracting # 1 : cost  0
2.324 * * [simplify]: Extracting # 2 : cost  0
2.325 * * [simplify]: iteration  1 :  297  enodes  (cost  1531 )
2.370 * * [simplify]: Extracting # 0 : cost  0
2.370 * * [simplify]: Extracting # 1 : cost  0
2.371 * * [simplify]: Extracting # 2 : cost  0
2.371 * * [simplify]: Extracting # 3 : cost  0
2.371 * * [simplify]: Extracting # 4 : cost  0
2.372 * * [simplify]: iteration  2 :  557  enodes  (cost  1356 )
2.587 * * [simplify]: Extracting # 0 : cost  0
2.588 * * [simplify]: Extracting # 1 : cost  0
2.589 * * [simplify]: Extracting # 2 : cost  0
2.590 * * [simplify]: Extracting # 3 : cost  0
2.590 * * [simplify]: Extracting # 4 : cost  0
2.591 * * [simplify]: Extracting # 5 : cost  0
2.592 * * [simplify]: Extracting # 6 : cost  0
2.592 * * [simplify]: iteration  3 :  1202  enodes  (cost  1338 )
3.495 * * [simplify]: Extracting # 0 : cost  0
3.497 * * [simplify]: Extracting # 1 : cost  0
3.498 * * [simplify]: Extracting # 2 : cost  0
3.499 * * [simplify]: Extracting # 3 : cost  0
3.500 * * [simplify]: Extracting # 4 : cost  0
3.501 * * [simplify]: iteration  4 :  2244  enodes  (cost  1338 )
5.603 * * [simplify]: Extracting # 0 : cost  0
5.606 * * [simplify]: Extracting # 1 : cost  0
5.607 * * [simplify]: Extracting # 2 : cost  0
5.609 * * [simplify]: Extracting # 3 : cost  0
5.610 * * [simplify]: Extracting # 4 : cost  0
5.612 * * [simplify]: iteration  5 :  3808  enodes  (cost  1338 )
6.630 * * [simplify]: Extracting # 0 : cost  0
6.633 * * [simplify]: Extracting # 1 : cost  0
6.636 * * [simplify]: Extracting # 2 : cost  0
6.642 * * [simplify]: iteration done:  5002  enodes  (cost  1338 )
6.642 * [simplify]: Simplified to:
  -1
  (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)))
  (log (/ (fabs (- x y)) (fabs y)))
  (log (/ (fabs (- x y)) (fabs y)))
  (exp (/ (fabs (- x y)) (fabs y)))
  (pow (/ (fabs (- x y)) (fabs y)) 3)
  (pow (/ (fabs (- x y)) (fabs y)) 3)
  (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y))))
  (cbrt (/ (fabs (- x y)) (fabs y)))
  (pow (/ (fabs (- x y)) (fabs y)) 3)
  (sqrt (/ (fabs (- x y)) (fabs y)))
  (sqrt (/ (fabs (- x y)) (fabs y)))
  -1
  (- (/ (fabs y) (fabs (- x y))))
  (/ (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (cbrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (cbrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (cbrt (fabs (- x y))) (cbrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (sqrt (fabs (- x y))) (cbrt (fabs y)))
  (/ (/ 1 (cbrt (fabs y))) (cbrt (fabs y)))
  (/ (fabs (- x y)) (cbrt (fabs y)))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y)))
  (/ (cbrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ 1 (sqrt (fabs y)))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))
  (/ (cbrt (fabs (- x y))) (fabs y))
  (sqrt (fabs (- x y)))
  (/ (sqrt (fabs (- x y))) (fabs y))
  1
  (/ (fabs (- x y)) (fabs y))
  1
  (/ (fabs (- x y)) (fabs y))
  (/ 1 (fabs y))
  (fabs (- x y))
  (/ (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (cbrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (cbrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (cbrt (fabs (- x y))) (cbrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (sqrt (fabs (- x y))) (cbrt (fabs y)))
  (/ (/ 1 (cbrt (fabs y))) (cbrt (fabs y)))
  (/ (fabs (- x y)) (cbrt (fabs y)))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y)))
  (/ (cbrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ 1 (sqrt (fabs y)))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))
  (/ (cbrt (fabs (- x y))) (fabs y))
  (sqrt (fabs (- x y)))
  (/ (sqrt (fabs (- x y))) (fabs y))
  1
  (/ (fabs (- x y)) (fabs y))
  1
  (/ (fabs (- x y)) (fabs y))
  (/ 1 (fabs y))
  (fabs (- x y))
  (/ (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (cbrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (cbrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (cbrt (fabs (- x y))) (cbrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (sqrt (fabs (- x y))) (cbrt (fabs y)))
  (/ (/ 1 (cbrt (fabs y))) (cbrt (fabs y)))
  (/ (fabs (- x y)) (cbrt (fabs y)))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y)))
  (/ (cbrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ 1 (sqrt (fabs y)))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))
  (/ (cbrt (fabs (- x y))) (fabs y))
  (sqrt (fabs (- x y)))
  (/ (sqrt (fabs (- x y))) (fabs y))
  1
  (/ (fabs (- x y)) (fabs y))
  1
  (/ (fabs (- x y)) (fabs y))
  (/ 1 (fabs y))
  (fabs (- x y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs y) (fabs (- x y)))
  (/ (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (cbrt (/ (fabs y) (fabs (- x y)))))
  (/ 1 (sqrt (/ (fabs y) (fabs (- x y)))))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y))))
  (/ (/ 1 (cbrt (fabs y))) (cbrt (fabs y)))
  (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y)))
  (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))
  (/ 1 (sqrt (fabs y)))
  (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))
  (sqrt (fabs (- x y)))
  1
  1
  (/ 1 (fabs y))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs y) (fabs (- x y)))
  (/ 1 (fabs y))
  (log (/ (fabs y) (fabs (- x y))))
  (log (/ (fabs y) (fabs (- x y))))
  (exp (/ (fabs y) (fabs (- x y))))
  (pow (/ (fabs y) (fabs (- x y))) 3)
  (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y)))))
  (cbrt (/ (fabs y) (fabs (- x y))))
  (pow (/ (fabs y) (fabs (- x y))) 3)
  (sqrt (/ (fabs y) (fabs (- x y))))
  (sqrt (/ (fabs y) (fabs (- x y))))
  (- (fabs y))
  (- (fabs (- x y)))
  (* (/ (/ (cbrt (fabs y)) (cbrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (cbrt (fabs y)))
  (/ (cbrt (fabs y)) (cbrt (fabs (- x y))))
  (* (/ (cbrt (fabs y)) (sqrt (fabs (- x y)))) (cbrt (fabs y)))
  (/ (cbrt (fabs y)) (sqrt (fabs (- x y))))
  (* (cbrt (fabs y)) (cbrt (fabs y)))
  (/ (cbrt (fabs y)) (fabs (- x y)))
  (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))
  (/ (sqrt (fabs y)) (cbrt (fabs (- x y))))
  (/ (sqrt (fabs y)) (sqrt (fabs (- x y))))
  (/ (sqrt (fabs y)) (sqrt (fabs (- x y))))
  (sqrt (fabs y))
  (/ (sqrt (fabs y)) (fabs (- x y)))
  (/ (/ 1 (cbrt (fabs (- x y)))) (cbrt (fabs (- x y))))
  (/ (fabs y) (cbrt (fabs (- x y))))
  (/ 1 (sqrt (fabs (- x y))))
  (/ (fabs y) (sqrt (fabs (- x y))))
  1
  (/ (fabs y) (fabs (- x y)))
  (/ 1 (fabs (- x y)))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs y) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))
  (/ (fabs y) (sqrt (fabs (- x y))))
  (fabs y)
  (/ (fabs (- x y)) (cbrt (fabs y)))
  (/ (fabs (- x y)) (sqrt (fabs y)))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs (- x y)) (fabs y))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs y) (fabs (- x y)))
  (/ (fabs y) (fabs (- x y)))
6.643 * * * [progress]: adding candidates to table
6.791 * [progress]: [Phase 3 of 3] Extracting.
6.791 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/ 1 (/ (fabs y) (fabs (- x y)))))> #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>)
6.792 * * * [regime-changes]: Trying 3 branch expressions: ((/ (fabs (- x y)) (fabs y)) y x)
6.792 * * * * [regimes]: Trying to branch on (/ (fabs (- x y)) (fabs y)) from (#<alt (λ (x y) (/ 1 (/ (fabs y) (fabs (- x y)))))> #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>)
6.806 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/ 1 (/ (fabs y) (fabs (- x y)))))> #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>)
6.817 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/ 1 (/ (fabs y) (fabs (- x y)))))> #<alt (λ (x y) (/ (fabs (- x y)) (fabs y)))>)
6.829 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
6.829 * [simplify]: Simplifying:
  (/ (fabs (- x y)) (fabs y))
6.829 * * [simplify]: Extracting # 0 : cost  0
6.829 * * [simplify]: Extracting # 1 : cost  0
6.829 * * [simplify]: Extracting # 2 : cost  0
6.829 * * [simplify]: Extracting # 3 : cost  0
6.829 * * [simplify]: Extracting # 4 : cost  0
6.829 * * [simplify]: Extracting # 5 : cost  0
6.829 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
6.829 * * [simplify]: Extracting # 0 : cost  0
6.829 * * [simplify]: iteration done:  6  enodes  (cost  7 )
6.829 * [simplify]: Simplified to:
  (/ (fabs (- x y)) (fabs y))
7.277 * [regime-testing]: Baseline error score: 0.01512689086135767
7.278 * [regime-testing]: Oracle error score: 0.009501187648456057
7.279 * [regime-testing]: End program error score: 0.01512689086135767