27.281 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying: (/ (fabs (- x y)) (fabs y)) 0.019 * * [simplify]: Extracting # 0 : cost 0 0.019 * * [simplify]: Extracting # 1 : cost 0 0.019 * * [simplify]: Extracting # 2 : cost 0 0.019 * * [simplify]: Extracting # 3 : cost 0 0.019 * * [simplify]: Extracting # 4 : cost 0 0.019 * * [simplify]: Extracting # 5 : cost 0 0.019 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.020 * * [simplify]: Extracting # 0 : cost 0 0.020 * * [simplify]: Extracting # 1 : cost 0 0.020 * * [simplify]: Extracting # 2 : cost 0 0.020 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 0.021 * * [simplify]: Extracting # 0 : cost 0 0.021 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 0.022 * * [simplify]: Extracting # 0 : cost 0 0.022 * * [simplify]: iteration done: 9 enodes (cost 7 ) 0.022 * [simplify]: Simplified to: (/ (fabs (- x y)) (fabs y)) 0.022 * * [progress]: iteration 1 / 4 0.022 * * * [progress]: picking best candidate 0.024 * * * * [pick]: Picked # 0.024 * * * [progress]: localizing error 0.029 * * * [progress]: generating rewritten candidates 0.029 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.035 * * * [progress]: generating series expansions 0.035 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.035 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.035 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0 0.035 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 0.035 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 0.035 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.035 * [taylor]: Taking taylor expansion of (fabs y) in y 0.035 * [backup-simplify]: Simplify (fabs y) into (fabs y) 0.036 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.036 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 0.036 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 0.036 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.036 * [taylor]: Taking taylor expansion of (fabs y) in x 0.036 * [backup-simplify]: Simplify (fabs y) into (fabs y) 0.036 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.036 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 0.036 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 0.036 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.036 * [taylor]: Taking taylor expansion of (fabs y) in x 0.036 * [backup-simplify]: Simplify (fabs y) into (fabs y) 0.036 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.036 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 0.036 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 0.036 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.036 * [taylor]: Taking taylor expansion of (fabs y) in y 0.036 * [backup-simplify]: Simplify (fabs y) into (fabs y) 0.036 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.036 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.036 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 0.036 * [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 y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 0.037 * [backup-simplify]: Simplify 0 into 0 0.037 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs 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 into 0 0.037 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 0.037 * [backup-simplify]: Simplify 0 into 0 0.037 * [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.037 * [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 (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.038 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.038 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0 0.038 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 0.038 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 0.038 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.038 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 0.038 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 0.038 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.038 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 0.038 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 0.038 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.038 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 0.038 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 0.038 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.038 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 0.038 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 0.039 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.039 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 0.039 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 0.039 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.039 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 0.039 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 0.039 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.039 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 0.039 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 0.039 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.039 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.039 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 0.039 * [taylor]: Taking taylor expansion of 0 in y 0.039 * [backup-simplify]: Simplify 0 into 0 0.039 * [backup-simplify]: Simplify 0 into 0 0.040 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 0.040 * [backup-simplify]: Simplify 0 into 0 0.040 * [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.040 * [taylor]: Taking taylor expansion of 0 in y 0.040 * [backup-simplify]: Simplify 0 into 0 0.040 * [backup-simplify]: Simplify 0 into 0 0.040 * [backup-simplify]: Simplify 0 into 0 0.040 * [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.040 * [backup-simplify]: Simplify 0 into 0 0.041 * [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.041 * [taylor]: Taking taylor expansion of 0 in y 0.041 * [backup-simplify]: Simplify 0 into 0 0.041 * [backup-simplify]: Simplify 0 into 0 0.041 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y)) 0.041 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.041 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0 0.041 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 0.041 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 0.041 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.041 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 0.041 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 0.041 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.041 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 0.041 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 0.042 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.042 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 0.042 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 0.042 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.042 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 0.042 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 0.042 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.042 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 0.042 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 0.042 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.042 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 0.042 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 0.042 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.042 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 0.042 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 0.043 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.043 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.043 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 0.043 * [taylor]: Taking taylor expansion of 0 in y 0.043 * [backup-simplify]: Simplify 0 into 0 0.043 * [backup-simplify]: Simplify 0 into 0 0.044 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 0.044 * [backup-simplify]: Simplify 0 into 0 0.045 * [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.045 * [taylor]: Taking taylor expansion of 0 in y 0.045 * [backup-simplify]: Simplify 0 into 0 0.045 * [backup-simplify]: Simplify 0 into 0 0.045 * [backup-simplify]: Simplify 0 into 0 0.045 * [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.045 * [backup-simplify]: Simplify 0 into 0 0.046 * [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.046 * [taylor]: Taking taylor expansion of 0 in y 0.046 * [backup-simplify]: Simplify 0 into 0 0.046 * [backup-simplify]: Simplify 0 into 0 0.046 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y)) 0.047 * * * [progress]: simplifying candidates 0.048 * [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.049 * * [simplify]: Extracting # 0 : cost 0 0.049 * * [simplify]: Extracting # 1 : cost 0 0.049 * * [simplify]: Extracting # 2 : cost 0 0.049 * * [simplify]: Extracting # 3 : cost 0 0.050 * * [simplify]: Extracting # 4 : cost 0 0.050 * * [simplify]: Extracting # 5 : cost 0 0.050 * * [simplify]: Extracting # 6 : cost 0 0.050 * * [simplify]: Extracting # 7 : cost 0 0.050 * * [simplify]: iteration 0 : 54 enodes (cost 385 ) 0.073 * * [simplify]: Extracting # 0 : cost 0 0.074 * * [simplify]: Extracting # 1 : cost 0 0.074 * * [simplify]: Extracting # 2 : cost 0 0.074 * * [simplify]: iteration 1 : 88 enodes (cost 376 ) 0.090 * * [simplify]: Extracting # 0 : cost 0 0.091 * * [simplify]: Extracting # 1 : cost 0 0.091 * * [simplify]: Extracting # 2 : cost 0 0.091 * * [simplify]: Extracting # 3 : cost 0 0.091 * * [simplify]: Extracting # 4 : cost 0 0.091 * * [simplify]: iteration 2 : 178 enodes (cost 348 ) 0.161 * * [simplify]: Extracting # 0 : cost 0 0.162 * * [simplify]: Extracting # 1 : cost 0 0.162 * * [simplify]: Extracting # 2 : cost 0 0.163 * * [simplify]: Extracting # 3 : cost 0 0.163 * * [simplify]: Extracting # 4 : cost 0 0.164 * * [simplify]: iteration 3 : 328 enodes (cost 348 ) 0.292 * * [simplify]: Extracting # 0 : cost 0 0.293 * * [simplify]: Extracting # 1 : cost 0 0.293 * * [simplify]: Extracting # 2 : cost 0 0.293 * * [simplify]: Extracting # 3 : cost 0 0.294 * * [simplify]: Extracting # 4 : cost 0 0.294 * * [simplify]: iteration 4 : 549 enodes (cost 348 ) 0.592 * * [simplify]: Extracting # 0 : cost 0 0.593 * * [simplify]: Extracting # 1 : cost 0 0.593 * * [simplify]: Extracting # 2 : cost 0 0.594 * * [simplify]: Extracting # 3 : cost 0 0.594 * * [simplify]: Extracting # 4 : cost 0 0.595 * * [simplify]: iteration 5 : 864 enodes (cost 348 ) 1.627 * * [simplify]: Extracting # 0 : cost 0 1.631 * * [simplify]: Extracting # 1 : cost 0 1.634 * * [simplify]: Extracting # 2 : cost 0 1.637 * * [simplify]: Extracting # 3 : cost 0 1.640 * * [simplify]: iteration 6 : 2003 enodes (cost 348 ) 3.137 * * [simplify]: Extracting # 0 : cost 0 3.145 * * [simplify]: Extracting # 1 : cost 0 3.157 * * [simplify]: Extracting # 2 : cost 0 3.166 * * [simplify]: iteration done: 5000 enodes (cost 348 ) 3.167 * [simplify]: Simplified to: (expm1 (/ (fabs (- x y)) (fabs y))) (log1p (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (exp (/ (fabs (- x y)) (fabs y))) (pow (/ (fabs (- x y)) (fabs y)) 3) (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) (cbrt (/ (fabs (- x y)) (fabs y))) (pow (/ (fabs (- x y)) (fabs y)) 3) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (- (fabs (- x y))) (- (fabs y)) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- 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)) 3.167 * * * [progress]: adding candidates to table 3.248 * * [progress]: iteration 2 / 4 3.248 * * * [progress]: picking best candidate 3.250 * * * * [pick]: Picked # 3.250 * * * [progress]: localizing error 3.267 * * * [progress]: generating rewritten candidates 3.267 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 3.277 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 3.286 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 3.294 * * * [progress]: generating series expansions 3.295 * * * * [progress]: [ 1 / 3 ] generating series at (2) 3.295 * [backup-simplify]: Simplify (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3)) into (/ (fabs (- x y)) (fabs y)) 3.295 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0 3.295 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 3.295 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.295 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.295 * [taylor]: Taking taylor expansion of (fabs y) in y 3.295 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.295 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.295 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 3.295 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.296 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.296 * [taylor]: Taking taylor expansion of (fabs y) in x 3.296 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.296 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.296 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 3.296 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.296 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.296 * [taylor]: Taking taylor expansion of (fabs y) in x 3.296 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.296 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.296 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 3.296 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.296 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.296 * [taylor]: Taking taylor expansion of (fabs y) in y 3.296 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.297 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.297 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.297 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 3.297 * [taylor]: Taking taylor expansion of 0 in y 3.297 * [backup-simplify]: Simplify 0 into 0 3.301 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 3.302 * [taylor]: Taking taylor expansion of 0 in y 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 3.303 * [taylor]: Taking taylor expansion of 0 in y 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.304 * [backup-simplify]: Simplify (cbrt (pow (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3)) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.304 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0 3.304 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 3.304 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.304 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.304 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.304 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.304 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.304 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 3.304 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.305 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.305 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.305 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.305 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.305 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 3.305 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.305 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.305 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.305 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.306 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.306 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 3.306 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.306 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.306 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.306 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.306 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.307 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.307 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 3.307 * [taylor]: Taking taylor expansion of 0 in y 3.307 * [backup-simplify]: Simplify 0 into 0 3.307 * [backup-simplify]: Simplify 0 into 0 3.307 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 3.308 * [backup-simplify]: Simplify 0 into 0 3.308 * [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 3.308 * [taylor]: Taking taylor expansion of 0 in y 3.308 * [backup-simplify]: Simplify 0 into 0 3.308 * [backup-simplify]: Simplify 0 into 0 3.308 * [backup-simplify]: Simplify 0 into 0 3.309 * [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 3.309 * [backup-simplify]: Simplify 0 into 0 3.309 * [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 3.309 * [taylor]: Taking taylor expansion of 0 in y 3.309 * [backup-simplify]: Simplify 0 into 0 3.309 * [backup-simplify]: Simplify 0 into 0 3.309 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y)) 3.310 * [backup-simplify]: Simplify (cbrt (pow (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))) 3)) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.310 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0 3.310 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 3.310 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.310 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.310 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.310 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.310 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.310 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 3.311 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.311 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.311 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.311 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.311 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.311 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 3.311 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.311 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.311 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.311 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.311 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.312 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 3.312 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.312 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.312 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.312 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.312 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.312 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.313 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 3.313 * [taylor]: Taking taylor expansion of 0 in y 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.314 * [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 3.314 * [taylor]: Taking taylor expansion of 0 in y 3.314 * [backup-simplify]: Simplify 0 into 0 3.314 * [backup-simplify]: Simplify 0 into 0 3.314 * [backup-simplify]: Simplify 0 into 0 3.314 * [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 3.314 * [backup-simplify]: Simplify 0 into 0 3.315 * [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 3.315 * [taylor]: Taking taylor expansion of 0 in y 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y)) 3.315 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 3.316 * [backup-simplify]: Simplify (pow (/ (fabs (- x y)) (fabs y)) 3) into (pow (/ (fabs (- x y)) (fabs y)) 3) 3.316 * [approximate]: Taking taylor expansion of (pow (/ (fabs (- x y)) (fabs y)) 3) in (x y) around 0 3.316 * [taylor]: Taking taylor expansion of (pow (/ (fabs (- x y)) (fabs y)) 3) in y 3.316 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 3.316 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.316 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.316 * [taylor]: Taking taylor expansion of (fabs y) in y 3.316 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.316 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.316 * [taylor]: Taking taylor expansion of (pow (/ (fabs (- x y)) (fabs y)) 3) in x 3.316 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 3.316 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.316 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.316 * [taylor]: Taking taylor expansion of (fabs y) in x 3.316 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.316 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.316 * [taylor]: Taking taylor expansion of (pow (/ (fabs (- x y)) (fabs y)) 3) in x 3.317 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 3.317 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.317 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.317 * [taylor]: Taking taylor expansion of (fabs y) in x 3.317 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.317 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.317 * [backup-simplify]: Simplify (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) into (/ (pow (fabs (- x y)) 2) (pow (fabs y) 2)) 3.318 * [backup-simplify]: Simplify (* (/ (fabs (- x y)) (fabs y)) (/ (pow (fabs (- x y)) 2) (pow (fabs y) 2))) into (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) 3.318 * [taylor]: Taking taylor expansion of (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) in y 3.318 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in y 3.318 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.318 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.318 * [taylor]: Taking taylor expansion of (pow (fabs y) 3) in y 3.318 * [taylor]: Taking taylor expansion of (fabs y) in y 3.318 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.318 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2) 3.319 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3) 3.319 * [backup-simplify]: Simplify (* (fabs y) (fabs y)) into (pow (fabs y) 2) 3.319 * [backup-simplify]: Simplify (* (fabs y) (pow (fabs y) 2)) into (pow (fabs y) 3) 3.319 * [backup-simplify]: Simplify (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) into (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) 3.319 * [backup-simplify]: Simplify (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) into (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) 3.320 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 3.320 * [backup-simplify]: Simplify (+ (* (/ (fabs (- x y)) (fabs y)) 0) (* 0 (/ (fabs (- x y)) (fabs y)))) into 0 3.321 * [backup-simplify]: Simplify (+ (* (/ (fabs (- x y)) (fabs y)) 0) (* 0 (/ (pow (fabs (- x y)) 2) (pow (fabs y) 2)))) into 0 3.321 * [taylor]: Taking taylor expansion of 0 in y 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (fabs (- x y)))) into 0 3.321 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (pow (fabs (- x y)) 2))) into 0 3.321 * [backup-simplify]: Simplify (+ (* (fabs y) 0) (* 0 (fabs y))) into 0 3.321 * [backup-simplify]: Simplify (+ (* (fabs y) 0) (* 0 (pow (fabs y) 2))) into 0 3.322 * [backup-simplify]: Simplify (- (/ 0 (pow (fabs y) 3)) (+ (* (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) (/ 0 (pow (fabs y) 3))))) into 0 3.322 * [backup-simplify]: Simplify 0 into 0 3.322 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 3.323 * [backup-simplify]: Simplify (+ (* (/ (fabs (- x y)) (fabs y)) 0) (+ (* 0 0) (* 0 (/ (fabs (- x y)) (fabs y))))) into 0 3.324 * [backup-simplify]: Simplify (+ (* (/ (fabs (- x y)) (fabs y)) 0) (+ (* 0 0) (* 0 (/ (pow (fabs (- x y)) 2) (pow (fabs y) 2))))) into 0 3.324 * [taylor]: Taking taylor expansion of 0 in y 3.324 * [backup-simplify]: Simplify 0 into 0 3.324 * [backup-simplify]: Simplify 0 into 0 3.324 * [backup-simplify]: Simplify 0 into 0 3.325 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (fabs (- x y))))) into 0 3.325 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (pow (fabs (- x y)) 2)))) into 0 3.326 * [backup-simplify]: Simplify (+ (* (fabs y) 0) (+ (* 0 0) (* 0 (fabs y)))) into 0 3.326 * [backup-simplify]: Simplify (+ (* (fabs y) 0) (+ (* 0 0) (* 0 (pow (fabs y) 2)))) into 0 3.327 * [backup-simplify]: Simplify (- (/ 0 (pow (fabs y) 3)) (+ (* (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) (/ 0 (pow (fabs y) 3))) (* 0 (/ 0 (pow (fabs y) 3))))) into 0 3.327 * [backup-simplify]: Simplify 0 into 0 3.327 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 3.328 * [backup-simplify]: Simplify (+ (* (/ (fabs (- x y)) (fabs y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (fabs (- x y)) (fabs y)))))) into 0 3.329 * [backup-simplify]: Simplify (+ (* (/ (fabs (- x y)) (fabs y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (pow (fabs (- x y)) 2) (pow (fabs y) 2)))))) into 0 3.329 * [taylor]: Taking taylor expansion of 0 in y 3.329 * [backup-simplify]: Simplify 0 into 0 3.329 * [backup-simplify]: Simplify 0 into 0 3.329 * [backup-simplify]: Simplify (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) into (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) 3.329 * [backup-simplify]: Simplify (pow (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3) into (pow (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3) 3.329 * [approximate]: Taking taylor expansion of (pow (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3) in (x y) around 0 3.329 * [taylor]: Taking taylor expansion of (pow (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3) in y 3.329 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 3.329 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.329 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.329 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.329 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.329 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.329 * [taylor]: Taking taylor expansion of (pow (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3) in x 3.329 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 3.329 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.330 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.330 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.330 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.330 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.330 * [taylor]: Taking taylor expansion of (pow (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3) in x 3.330 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 3.330 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.330 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.330 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.330 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.330 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.330 * [backup-simplify]: Simplify (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) into (/ (pow (fabs (- (/ 1 x) (/ 1 y))) 2) (pow (fabs (/ 1 y)) 2)) 3.331 * [backup-simplify]: Simplify (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ (pow (fabs (- (/ 1 x) (/ 1 y))) 2) (pow (fabs (/ 1 y)) 2))) into (/ (pow (fabs (- (/ 1 x) (/ 1 y))) 3) (pow (fabs (/ 1 y)) 3)) 3.331 * [taylor]: Taking taylor expansion of (/ (pow (fabs (- (/ 1 x) (/ 1 y))) 3) (pow (fabs (/ 1 y)) 3)) in y 3.331 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in y 3.331 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.331 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.331 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 y)) 3) in y 3.331 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.331 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.331 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2) 3.331 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 3.331 * [backup-simplify]: Simplify (* (fabs (/ 1 y)) (fabs (/ 1 y))) into (pow (fabs (/ 1 y)) 2) 3.332 * [backup-simplify]: Simplify (* (fabs (/ 1 y)) (pow (fabs (/ 1 y)) 2)) into (pow (fabs (/ 1 y)) 3) 3.332 * [backup-simplify]: Simplify (/ (pow (fabs (- (/ 1 x) (/ 1 y))) 3) (pow (fabs (/ 1 y)) 3)) into (/ (pow (fabs (- (/ 1 x) (/ 1 y))) 3) (pow (fabs (/ 1 y)) 3)) 3.332 * [backup-simplify]: Simplify (/ (pow (fabs (- (/ 1 x) (/ 1 y))) 3) (pow (fabs (/ 1 y)) 3)) into (/ (pow (fabs (- (/ 1 x) (/ 1 y))) 3) (pow (fabs (/ 1 y)) 3)) 3.332 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 3.333 * [backup-simplify]: Simplify (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0) (* 0 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))) into 0 3.333 * [backup-simplify]: Simplify (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0) (* 0 (/ (pow (fabs (- (/ 1 x) (/ 1 y))) 2) (pow (fabs (/ 1 y)) 2)))) into 0 3.333 * [taylor]: Taking taylor expansion of 0 in y 3.333 * [backup-simplify]: Simplify 0 into 0 3.333 * [backup-simplify]: Simplify 0 into 0 3.333 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0 3.333 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) into 0 3.333 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 y)) 0) (* 0 (fabs (/ 1 y)))) into 0 3.334 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 y)) 0) (* 0 (pow (fabs (/ 1 y)) 2))) into 0 3.334 * [backup-simplify]: Simplify (- (/ 0 (pow (fabs (/ 1 y)) 3)) (+ (* (/ (pow (fabs (- (/ 1 x) (/ 1 y))) 3) (pow (fabs (/ 1 y)) 3)) (/ 0 (pow (fabs (/ 1 y)) 3))))) into 0 3.334 * [backup-simplify]: Simplify 0 into 0 3.334 * [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 3.335 * [backup-simplify]: Simplify (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0) (+ (* 0 0) (* 0 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))))) into 0 3.336 * [backup-simplify]: Simplify (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0) (+ (* 0 0) (* 0 (/ (pow (fabs (- (/ 1 x) (/ 1 y))) 2) (pow (fabs (/ 1 y)) 2))))) into 0 3.336 * [taylor]: Taking taylor expansion of 0 in y 3.336 * [backup-simplify]: Simplify 0 into 0 3.336 * [backup-simplify]: Simplify 0 into 0 3.336 * [backup-simplify]: Simplify 0 into 0 3.336 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y)))))) into 0 3.337 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2)))) into 0 3.337 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 y)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 y))))) into 0 3.338 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 y)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 y)) 2)))) into 0 3.338 * [backup-simplify]: Simplify (- (/ 0 (pow (fabs (/ 1 y)) 3)) (+ (* (/ (pow (fabs (- (/ 1 x) (/ 1 y))) 3) (pow (fabs (/ 1 y)) 3)) (/ 0 (pow (fabs (/ 1 y)) 3))) (* 0 (/ 0 (pow (fabs (/ 1 y)) 3))))) into 0 3.338 * [backup-simplify]: Simplify 0 into 0 3.338 * [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 3.339 * [backup-simplify]: Simplify (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))))))) into 0 3.340 * [backup-simplify]: Simplify (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (pow (fabs (- (/ 1 x) (/ 1 y))) 2) (pow (fabs (/ 1 y)) 2)))))) into 0 3.340 * [taylor]: Taking taylor expansion of 0 in y 3.340 * [backup-simplify]: Simplify 0 into 0 3.340 * [backup-simplify]: Simplify 0 into 0 3.341 * [backup-simplify]: Simplify (/ (pow (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) 3) (pow (fabs (/ 1 (/ 1 y))) 3)) into (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) 3.341 * [backup-simplify]: Simplify (pow (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))) 3) into (pow (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3) 3.341 * [approximate]: Taking taylor expansion of (pow (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3) in (x y) around 0 3.341 * [taylor]: Taking taylor expansion of (pow (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3) in y 3.341 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 3.341 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.341 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.341 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.341 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.341 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.341 * [taylor]: Taking taylor expansion of (pow (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3) in x 3.341 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 3.341 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.341 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.341 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.341 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.342 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.342 * [taylor]: Taking taylor expansion of (pow (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3) in x 3.342 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 3.342 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.342 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.342 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.342 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.342 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.342 * [backup-simplify]: Simplify (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) into (/ (pow (fabs (- (/ 1 y) (/ 1 x))) 2) (pow (fabs (/ -1 y)) 2)) 3.343 * [backup-simplify]: Simplify (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ (pow (fabs (- (/ 1 y) (/ 1 x))) 2) (pow (fabs (/ -1 y)) 2))) into (/ (pow (fabs (- (/ 1 y) (/ 1 x))) 3) (pow (fabs (/ -1 y)) 3)) 3.343 * [taylor]: Taking taylor expansion of (/ (pow (fabs (- (/ 1 y) (/ 1 x))) 3) (pow (fabs (/ -1 y)) 3)) in y 3.343 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in y 3.343 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.343 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.343 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 y)) 3) in y 3.343 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.343 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.343 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2) 3.343 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 3.343 * [backup-simplify]: Simplify (* (fabs (/ -1 y)) (fabs (/ -1 y))) into (pow (fabs (/ -1 y)) 2) 3.343 * [backup-simplify]: Simplify (* (fabs (/ -1 y)) (pow (fabs (/ -1 y)) 2)) into (pow (fabs (/ -1 y)) 3) 3.344 * [backup-simplify]: Simplify (/ (pow (fabs (- (/ 1 y) (/ 1 x))) 3) (pow (fabs (/ -1 y)) 3)) into (/ (pow (fabs (- (/ 1 y) (/ 1 x))) 3) (pow (fabs (/ -1 y)) 3)) 3.344 * [backup-simplify]: Simplify (/ (pow (fabs (- (/ 1 y) (/ 1 x))) 3) (pow (fabs (/ -1 y)) 3)) into (/ (pow (fabs (- (/ 1 y) (/ 1 x))) 3) (pow (fabs (/ -1 y)) 3)) 3.344 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 3.344 * [backup-simplify]: Simplify (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0) (* 0 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))) into 0 3.345 * [backup-simplify]: Simplify (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0) (* 0 (/ (pow (fabs (- (/ 1 y) (/ 1 x))) 2) (pow (fabs (/ -1 y)) 2)))) into 0 3.345 * [taylor]: Taking taylor expansion of 0 in y 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))) into 0 3.345 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) into 0 3.345 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 y)) 0) (* 0 (fabs (/ -1 y)))) into 0 3.346 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 y)) 0) (* 0 (pow (fabs (/ -1 y)) 2))) into 0 3.346 * [backup-simplify]: Simplify (- (/ 0 (pow (fabs (/ -1 y)) 3)) (+ (* (/ (pow (fabs (- (/ 1 y) (/ 1 x))) 3) (pow (fabs (/ -1 y)) 3)) (/ 0 (pow (fabs (/ -1 y)) 3))))) into 0 3.346 * [backup-simplify]: Simplify 0 into 0 3.346 * [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 3.347 * [backup-simplify]: Simplify (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0) (+ (* 0 0) (* 0 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))))) into 0 3.348 * [backup-simplify]: Simplify (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0) (+ (* 0 0) (* 0 (/ (pow (fabs (- (/ 1 y) (/ 1 x))) 2) (pow (fabs (/ -1 y)) 2))))) into 0 3.348 * [taylor]: Taking taylor expansion of 0 in y 3.348 * [backup-simplify]: Simplify 0 into 0 3.348 * [backup-simplify]: Simplify 0 into 0 3.348 * [backup-simplify]: Simplify 0 into 0 3.348 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 y) (/ 1 x)))))) into 0 3.349 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2)))) into 0 3.349 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 y)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 y))))) into 0 3.349 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 y)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 y)) 2)))) into 0 3.350 * [backup-simplify]: Simplify (- (/ 0 (pow (fabs (/ -1 y)) 3)) (+ (* (/ (pow (fabs (- (/ 1 y) (/ 1 x))) 3) (pow (fabs (/ -1 y)) 3)) (/ 0 (pow (fabs (/ -1 y)) 3))) (* 0 (/ 0 (pow (fabs (/ -1 y)) 3))))) into 0 3.350 * [backup-simplify]: Simplify 0 into 0 3.350 * [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 3.351 * [backup-simplify]: Simplify (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))))))) into 0 3.352 * [backup-simplify]: Simplify (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (pow (fabs (- (/ 1 y) (/ 1 x))) 2) (pow (fabs (/ -1 y)) 2)))))) into 0 3.352 * [taylor]: Taking taylor expansion of 0 in y 3.352 * [backup-simplify]: Simplify 0 into 0 3.352 * [backup-simplify]: Simplify 0 into 0 3.352 * [backup-simplify]: Simplify (/ (pow (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) 3) (pow (fabs (/ -1 (/ 1 (- y)))) 3)) into (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) 3.352 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 3.352 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.352 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0 3.352 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 3.352 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.352 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.352 * [taylor]: Taking taylor expansion of (fabs y) in y 3.352 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.353 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.353 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 3.353 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.353 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.353 * [taylor]: Taking taylor expansion of (fabs y) in x 3.353 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.353 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.353 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 3.353 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.353 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.353 * [taylor]: Taking taylor expansion of (fabs y) in x 3.353 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.353 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.353 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 3.353 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.353 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.353 * [taylor]: Taking taylor expansion of (fabs y) in y 3.353 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.353 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.353 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.354 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 3.354 * [taylor]: Taking taylor expansion of 0 in y 3.354 * [backup-simplify]: Simplify 0 into 0 3.354 * [backup-simplify]: Simplify 0 into 0 3.354 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 3.354 * [backup-simplify]: Simplify 0 into 0 3.354 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 3.354 * [taylor]: Taking taylor expansion of 0 in y 3.354 * [backup-simplify]: Simplify 0 into 0 3.354 * [backup-simplify]: Simplify 0 into 0 3.354 * [backup-simplify]: Simplify 0 into 0 3.354 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 3.354 * [backup-simplify]: Simplify 0 into 0 3.355 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 3.355 * [taylor]: Taking taylor expansion of 0 in y 3.355 * [backup-simplify]: Simplify 0 into 0 3.355 * [backup-simplify]: Simplify 0 into 0 3.355 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.355 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.355 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0 3.355 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 3.356 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.356 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.356 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.356 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.356 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.356 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 3.356 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.356 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.356 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.356 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.357 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.357 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 3.357 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.357 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.357 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.357 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.357 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.357 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 3.357 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.357 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.357 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.357 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.358 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.358 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.358 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 3.358 * [taylor]: Taking taylor expansion of 0 in y 3.358 * [backup-simplify]: Simplify 0 into 0 3.358 * [backup-simplify]: Simplify 0 into 0 3.359 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 3.359 * [backup-simplify]: Simplify 0 into 0 3.359 * [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 3.359 * [taylor]: Taking taylor expansion of 0 in y 3.359 * [backup-simplify]: Simplify 0 into 0 3.360 * [backup-simplify]: Simplify 0 into 0 3.360 * [backup-simplify]: Simplify 0 into 0 3.360 * [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 3.360 * [backup-simplify]: Simplify 0 into 0 3.361 * [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 3.361 * [taylor]: Taking taylor expansion of 0 in y 3.361 * [backup-simplify]: Simplify 0 into 0 3.361 * [backup-simplify]: Simplify 0 into 0 3.361 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y)) 3.361 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.361 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0 3.361 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 3.361 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.362 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.362 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.362 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.362 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.362 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 3.362 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.362 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.362 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.362 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.362 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.362 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 3.363 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.363 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.363 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.363 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.363 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.363 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 3.363 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.363 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.363 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.363 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.364 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.364 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.364 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 3.364 * [taylor]: Taking taylor expansion of 0 in y 3.364 * [backup-simplify]: Simplify 0 into 0 3.364 * [backup-simplify]: Simplify 0 into 0 3.365 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 3.365 * [backup-simplify]: Simplify 0 into 0 3.365 * [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 3.365 * [taylor]: Taking taylor expansion of 0 in y 3.365 * [backup-simplify]: Simplify 0 into 0 3.365 * [backup-simplify]: Simplify 0 into 0 3.365 * [backup-simplify]: Simplify 0 into 0 3.366 * [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 3.366 * [backup-simplify]: Simplify 0 into 0 3.366 * [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 3.367 * [taylor]: Taking taylor expansion of 0 in y 3.367 * [backup-simplify]: Simplify 0 into 0 3.367 * [backup-simplify]: Simplify 0 into 0 3.367 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y)) 3.367 * * * [progress]: simplifying candidates 3.370 * [simplify]: Simplifying: (expm1 (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (log1p (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (log (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (exp (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (cbrt (pow (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) 3)) (cbrt (pow (cbrt (/ (fabs (- x y)) (fabs y))) 3)) (cbrt (pow (sqrt (/ (fabs (- x y)) (fabs y))) 3)) (cbrt (pow (sqrt (/ (fabs (- x y)) (fabs y))) 3)) (cbrt (pow (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) 3)) (cbrt (pow (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) 3)) (cbrt (pow (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) 3)) (cbrt (pow (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) 3)) (cbrt (pow (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1) 3)) (cbrt (pow (/ (cbrt (fabs (- x y))) (fabs y)) 3)) (cbrt (pow (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) 3)) (cbrt (pow (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) 3)) (cbrt (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3)) (cbrt (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3)) (cbrt (pow (/ (sqrt (fabs (- x y))) 1) 3)) (cbrt (pow (/ (sqrt (fabs (- x y))) (fabs y)) 3)) (cbrt (pow (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) 3)) (cbrt (pow (/ (fabs (- x y)) (cbrt (fabs y))) 3)) (cbrt (pow (/ 1 (sqrt (fabs y))) 3)) (cbrt (pow (/ (fabs (- x y)) (sqrt (fabs y))) 3)) (cbrt (pow (/ 1 1) 3)) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3)) (cbrt (pow 1 3)) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3)) (cbrt (pow (fabs (- x y)) 3)) (cbrt (pow (/ 1 (fabs y)) 3)) (cbrt (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)))) (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (* (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3)) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3)))) (cbrt (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (cbrt (pow (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) 3)) (cbrt (pow (cbrt (/ (fabs (- x y)) (fabs y))) 3)) (cbrt (pow (sqrt (/ (fabs (- x y)) (fabs y))) 3)) (cbrt (pow (sqrt (/ (fabs (- x y)) (fabs y))) 3)) (cbrt (pow (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) 3)) (cbrt (pow (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) 3)) (cbrt (pow (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) 3)) (cbrt (pow (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) 3)) (cbrt (pow (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1) 3)) (cbrt (pow (/ (cbrt (fabs (- x y))) (fabs y)) 3)) (cbrt (pow (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) 3)) (cbrt (pow (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) 3)) (cbrt (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3)) (cbrt (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3)) (cbrt (pow (/ (sqrt (fabs (- x y))) 1) 3)) (cbrt (pow (/ (sqrt (fabs (- x y))) (fabs y)) 3)) (cbrt (pow (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) 3)) (cbrt (pow (/ (fabs (- x y)) (cbrt (fabs y))) 3)) (cbrt (pow (/ 1 (sqrt (fabs y))) 3)) (cbrt (pow (/ (fabs (- x y)) (sqrt (fabs y))) 3)) (cbrt (pow (/ 1 1) 3)) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3)) (cbrt (pow 1 3)) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3)) (cbrt (pow (fabs (- x y)) 3)) (cbrt (pow (/ 1 (fabs y)) 3)) (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)))) (cbrt (sqrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (cbrt (sqrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (cbrt 1) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3)) (cbrt (pow (/ (fabs (- x y)) (fabs y)) (/ 3 2))) (cbrt (pow (/ (fabs (- x y)) (fabs y)) (/ 3 2))) (cbrt (pow (fabs (- x y)) 3)) (cbrt (pow (fabs y) 3)) (* (cbrt (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (cbrt (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3)))) (cbrt (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (* (* (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3)) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (sqrt (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (sqrt (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (expm1 (pow (/ (fabs (- x y)) (fabs y)) 3)) (log1p (pow (/ (fabs (- x y)) (fabs y)) 3)) (* (- (log (fabs (- x y))) (log (fabs y))) 3) (* (log (/ (fabs (- x y)) (fabs y))) 3) (* (log (/ (fabs (- x y)) (fabs y))) 3) (* 1 3) (pow (/ (fabs (- x y)) (fabs y)) (* (cbrt 3) (cbrt 3))) (pow (/ (fabs (- x y)) (fabs y)) (sqrt 3)) (pow (/ (fabs (- x y)) (fabs y)) 1) (pow (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) 3) (pow (cbrt (/ (fabs (- x y)) (fabs y))) 3) (pow (sqrt (/ (fabs (- x y)) (fabs y))) 3) (pow (sqrt (/ (fabs (- x y)) (fabs y))) 3) (pow (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) 3) (pow (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) 3) (pow (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) 3) (pow (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) 3) (pow (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1) 3) (pow (/ (cbrt (fabs (- x y))) (fabs y)) 3) (pow (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) 3) (pow (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) 3) (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3) (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3) (pow (/ (sqrt (fabs (- x y))) 1) 3) (pow (/ (sqrt (fabs (- x y))) (fabs y)) 3) (pow (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) 3) (pow (/ (fabs (- x y)) (cbrt (fabs y))) 3) (pow (/ 1 (sqrt (fabs y))) 3) (pow (/ (fabs (- x y)) (sqrt (fabs y))) 3) (pow (/ 1 1) 3) (pow (/ (fabs (- x y)) (fabs y)) 3) (pow 1 3) (pow (/ (fabs (- x y)) (fabs y)) 3) (pow (fabs (- x y)) 3) (pow (/ 1 (fabs y)) 3) (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (log (pow (/ (fabs (- x y)) (fabs y)) 3)) (exp (pow (/ (fabs (- x y)) (fabs y)) 3)) (* (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3)) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3)) (* (* (pow (/ (fabs (- x y)) (fabs y)) 3) (pow (/ (fabs (- x y)) (fabs y)) 3)) (pow (/ (fabs (- x y)) (fabs y)) 3)) (pow (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) 3) (pow (cbrt (/ (fabs (- x y)) (fabs y))) 3) (pow (sqrt (/ (fabs (- x y)) (fabs y))) 3) (pow (sqrt (/ (fabs (- x y)) (fabs y))) 3) (pow (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) 3) (pow (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) 3) (pow (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) 3) (pow (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) 3) (pow (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1) 3) (pow (/ (cbrt (fabs (- x y))) (fabs y)) 3) (pow (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) 3) (pow (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) 3) (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3) (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3) (pow (/ (sqrt (fabs (- x y))) 1) 3) (pow (/ (sqrt (fabs (- x y))) (fabs y)) 3) (pow (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) 3) (pow (/ (fabs (- x y)) (cbrt (fabs y))) 3) (pow (/ 1 (sqrt (fabs y))) 3) (pow (/ (fabs (- x y)) (sqrt (fabs y))) 3) (pow (/ 1 1) 3) (pow (/ (fabs (- x y)) (fabs y)) 3) (pow 1 3) (pow (/ (fabs (- x y)) (fabs y)) 3) (pow (fabs (- x y)) 3) (pow (/ 1 (fabs y)) 3) (pow (fabs (- x y)) 3) (pow (fabs y) 3) (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (sqrt (pow (/ (fabs (- x y)) (fabs y)) 3)) (sqrt (pow (/ (fabs (- x y)) (fabs y)) 3)) (pow (/ (fabs (- x y)) (fabs y)) (/ 3 2)) (pow (/ (fabs (- x y)) (fabs y)) (/ 3 2)) (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)) (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) (/ (pow (fabs (- x y)) 3) (pow (fabs y) 3)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) 3.375 * * [simplify]: Extracting # 0 : cost 0 3.376 * * [simplify]: Extracting # 1 : cost 0 3.376 * * [simplify]: Extracting # 2 : cost 0 3.376 * * [simplify]: Extracting # 3 : cost 0 3.377 * * [simplify]: Extracting # 4 : cost 0 3.377 * * [simplify]: Extracting # 5 : cost 0 3.377 * * [simplify]: Extracting # 6 : cost 0 3.378 * * [simplify]: Extracting # 7 : cost 0 3.378 * * [simplify]: iteration 0 : 137 enodes (cost 2130 ) 3.424 * * [simplify]: Extracting # 0 : cost 0 3.425 * * [simplify]: Extracting # 1 : cost 0 3.426 * * [simplify]: Extracting # 2 : cost 0 3.427 * * [simplify]: Extracting # 3 : cost 0 3.427 * * [simplify]: Extracting # 4 : cost 0 3.428 * * [simplify]: iteration 1 : 320 enodes (cost 1780 ) 3.578 * * [simplify]: Extracting # 0 : cost 0 3.579 * * [simplify]: Extracting # 1 : cost 0 3.581 * * [simplify]: Extracting # 2 : cost 0 3.582 * * [simplify]: Extracting # 3 : cost 0 3.583 * * [simplify]: Extracting # 4 : cost 0 3.584 * * [simplify]: iteration 2 : 989 enodes (cost 1597 ) 4.321 * * [simplify]: Extracting # 0 : cost 0 4.332 * * [simplify]: Extracting # 1 : cost 0 4.344 * * [simplify]: Extracting # 2 : cost 0 4.354 * * [simplify]: Extracting # 3 : cost 0 4.371 * * [simplify]: Extracting # 4 : cost 0 4.377 * * [simplify]: Extracting # 5 : cost 0 4.383 * * [simplify]: iteration done: 5000 enodes (cost 1577 ) 4.384 * [simplify]: Simplified to: (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 (pow (/ (fabs (- x y)) (fabs y)) 2)) (cbrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 2)) (cbrt (/ (fabs (- x y)) (fabs y))) (/ (cbrt (pow (cbrt (fabs (- x y))) 6)) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (pow (cbrt (fabs (- x y))) 6)) (/ (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)) (cbrt (/ 1 (* (fabs y) (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 (- x y)) (fabs y)) (fabs (- x y)) (/ 1 (fabs y)) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 2)) (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 2)) (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 2)) (cbrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 2)) (cbrt (/ (fabs (- x y)) (fabs y))) (/ (cbrt (pow (cbrt (fabs (- x y))) 6)) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (pow (cbrt (fabs (- x y))) 6)) (/ (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)) (cbrt (/ 1 (* (fabs y) (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 (- x y)) (fabs y)) (fabs (- x y)) (/ 1 (fabs y)) (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 2)) (cbrt (sqrt (pow (/ (fabs (- x y)) (fabs y)) 3))) (cbrt (sqrt (pow (/ (fabs (- x y)) (fabs y)) 3))) 1 (/ (fabs (- x y)) (fabs y)) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3/2)) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 3/2)) (fabs (- x y)) (fabs y) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 2)) (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))) (expm1 (pow (/ (fabs (- x y)) (fabs y)) 3)) (log1p (pow (/ (fabs (- x y)) (fabs y)) 3)) (log (pow (/ (fabs (- x y)) (fabs y)) 3)) (log (pow (/ (fabs (- x y)) (fabs y)) 3)) (log (pow (/ (fabs (- x y)) (fabs y)) 3)) 3 (pow (/ (fabs (- x y)) (fabs y)) (* (cbrt 3) (cbrt 3))) (pow (/ (fabs (- x y)) (fabs y)) (sqrt 3)) (/ (fabs (- x y)) (fabs y)) (pow (/ (fabs (- x y)) (fabs y)) 2) (/ (fabs (- x y)) (fabs y)) (pow (sqrt (/ (fabs (- x y)) (fabs y))) 3) (pow (sqrt (/ (fabs (- x y)) (fabs y))) 3) (pow (/ (fabs (- x y)) (fabs y)) 2) (/ (fabs (- x y)) (fabs y)) (/ (pow (cbrt (fabs (- x y))) 6) (pow (sqrt (fabs y)) 3)) (/ (fabs (- x y)) (pow (sqrt (fabs y)) 3)) (pow (cbrt (fabs (- x y))) 6) (/ (fabs (- x y)) (pow (fabs y) 3)) (/ (/ (pow (sqrt (fabs (- x y))) 3) (fabs y)) (fabs y)) (/ (pow (sqrt (fabs (- x y))) 3) (fabs y)) (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3) (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3) (pow (sqrt (fabs (- x y))) 3) (pow (/ (sqrt (fabs (- x y))) (fabs y)) 3) (/ (/ 1 (fabs y)) (fabs y)) (/ (pow (fabs (- x y)) 3) (fabs y)) (pow (/ 1 (sqrt (fabs y))) 3) (pow (/ (fabs (- x y)) (sqrt (fabs y))) 3) 1 (pow (/ (fabs (- x y)) (fabs y)) 3) 1 (pow (/ (fabs (- x y)) (fabs y)) 3) (pow (fabs (- x y)) 3) (pow (/ 1 (fabs y)) 3) (pow (/ (fabs (- x y)) (fabs y)) 2) (log (pow (/ (fabs (- x y)) (fabs y)) 3)) (exp (pow (/ (fabs (- x y)) (fabs y)) 3)) (pow (/ (fabs (- x y)) (fabs y)) 2) (/ (fabs (- x y)) (fabs y)) (pow (pow (/ (fabs (- x y)) (fabs y)) 3) 3) (pow (/ (fabs (- x y)) (fabs y)) 2) (/ (fabs (- x y)) (fabs y)) (pow (sqrt (/ (fabs (- x y)) (fabs y))) 3) (pow (sqrt (/ (fabs (- x y)) (fabs y))) 3) (pow (/ (fabs (- x y)) (fabs y)) 2) (/ (fabs (- x y)) (fabs y)) (/ (pow (cbrt (fabs (- x y))) 6) (pow (sqrt (fabs y)) 3)) (/ (fabs (- x y)) (pow (sqrt (fabs y)) 3)) (pow (cbrt (fabs (- x y))) 6) (/ (fabs (- x y)) (pow (fabs y) 3)) (/ (/ (pow (sqrt (fabs (- x y))) 3) (fabs y)) (fabs y)) (/ (pow (sqrt (fabs (- x y))) 3) (fabs y)) (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3) (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3) (pow (sqrt (fabs (- x y))) 3) (pow (/ (sqrt (fabs (- x y))) (fabs y)) 3) (/ (/ 1 (fabs y)) (fabs y)) (/ (pow (fabs (- x y)) 3) (fabs y)) (pow (/ 1 (sqrt (fabs y))) 3) (pow (/ (fabs (- x y)) (sqrt (fabs y))) 3) 1 (pow (/ (fabs (- x y)) (fabs y)) 3) 1 (pow (/ (fabs (- x y)) (fabs y)) 3) (pow (fabs (- x y)) 3) (pow (/ 1 (fabs y)) 3) (pow (fabs (- x y)) 3) (pow (fabs y) 3) (pow (/ (fabs (- x y)) (fabs y)) 2) (sqrt (pow (/ (fabs (- x y)) (fabs y)) 3)) (sqrt (pow (/ (fabs (- x y)) (fabs y)) 3)) (pow (/ (fabs (- x y)) (fabs y)) 3/2) (pow (/ (fabs (- x y)) (fabs y)) 3/2) (expm1 (/ (fabs (- x y)) (fabs y))) (log1p (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (exp (/ (fabs (- x y)) (fabs y))) (pow (/ (fabs (- x y)) (fabs y)) 3) (cbrt (pow (/ (fabs (- x y)) (fabs y)) 2)) (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 (pow (/ (fabs (- x y)) (fabs y)) 2)) (cbrt (/ (fabs (- x y)) (fabs y))) (/ (cbrt (pow (cbrt (fabs (- x y))) 6)) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (pow (cbrt (fabs (- x y))) 6)) (/ (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)) (cbrt (/ 1 (* (fabs y) (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)) (pow (/ (fabs (- x y)) (fabs y)) 3) (pow (/ (fabs (- x y)) (fabs y)) 3) (pow (/ (fabs (- x y)) (fabs y)) 3) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) 4.384 * * * [progress]: adding candidates to table 4.682 * [progress]: [Phase 3 of 3] Extracting. 4.682 * * [regime]: Finding splitpoints for: (# #) 4.683 * * * [regime-changes]: Trying 3 branch expressions: ((/ (fabs (- x y)) (fabs y)) y x) 4.683 * * * * [regimes]: Trying to branch on (/ (fabs (- x y)) (fabs y)) from (# #) 4.708 * * * * [regimes]: Trying to branch on y from (# #) 4.730 * * * * [regimes]: Trying to branch on x from (# #) 4.743 * * * [regime]: Found split indices: #