5.926 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying: (sqrt (fabs (- x y))) 0.025 * * [simplify]: Extracting # 0 : cost 0 0.025 * * [simplify]: Extracting # 1 : cost 0 0.025 * * [simplify]: Extracting # 2 : cost 0 0.025 * * [simplify]: Extracting # 3 : cost 0 0.025 * * [simplify]: Extracting # 4 : cost 0 0.025 * * [simplify]: Extracting # 5 : cost 0 0.025 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.026 * * [simplify]: Extracting # 0 : cost 0 0.026 * * [simplify]: Extracting # 1 : cost 0 0.026 * * [simplify]: Extracting # 2 : cost 0 0.026 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.028 * * [simplify]: Extracting # 0 : cost 0 0.028 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 0.029 * * [simplify]: Extracting # 0 : cost 0 0.029 * * [simplify]: iteration done: 8 enodes (cost 5 ) 0.030 * [simplify]: Simplified to: (sqrt (fabs (- x y))) 0.030 * * [progress]: iteration 1 / 4 0.030 * * * [progress]: picking best candidate 0.033 * * * * [pick]: Picked # 0.033 * * * [progress]: localizing error 0.042 * * * [progress]: generating rewritten candidates 0.042 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.045 * * * [progress]: generating series expansions 0.045 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.045 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 0.045 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0 0.045 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 0.045 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 0.046 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.046 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 0.046 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 0.046 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 0.046 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 0.046 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.046 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 0.047 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 0.047 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 0.047 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 0.047 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.047 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 0.047 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 0.047 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 0.047 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 0.047 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.047 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 0.047 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 0.048 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 0.048 * [taylor]: Taking taylor expansion of 0 in y 0.048 * [backup-simplify]: Simplify 0 into 0 0.048 * [backup-simplify]: Simplify 0 into 0 0.048 * [backup-simplify]: Simplify 0 into 0 0.049 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0 0.049 * [taylor]: Taking taylor expansion of 0 in y 0.049 * [backup-simplify]: Simplify 0 into 0 0.049 * [backup-simplify]: Simplify 0 into 0 0.049 * [backup-simplify]: Simplify 0 into 0 0.050 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0 0.050 * [backup-simplify]: Simplify 0 into 0 0.050 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0 0.050 * [taylor]: Taking taylor expansion of 0 in y 0.050 * [backup-simplify]: Simplify 0 into 0 0.050 * [backup-simplify]: Simplify 0 into 0 0.050 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 0.050 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 0.051 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0 0.051 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 0.051 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 0.051 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.051 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 0.051 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 0.051 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 0.051 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 0.051 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.051 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 0.051 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 0.051 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 0.051 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 0.051 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.052 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 0.052 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 0.052 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 0.052 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 0.052 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.052 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 0.052 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 0.052 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 0.052 * [taylor]: Taking taylor expansion of 0 in y 0.052 * [backup-simplify]: Simplify 0 into 0 0.052 * [backup-simplify]: Simplify 0 into 0 0.052 * [backup-simplify]: Simplify 0 into 0 0.053 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 0.053 * [taylor]: Taking taylor expansion of 0 in y 0.053 * [backup-simplify]: Simplify 0 into 0 0.053 * [backup-simplify]: Simplify 0 into 0 0.053 * [backup-simplify]: Simplify 0 into 0 0.054 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 0.054 * [backup-simplify]: Simplify 0 into 0 0.054 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 0.054 * [taylor]: Taking taylor expansion of 0 in y 0.054 * [backup-simplify]: Simplify 0 into 0 0.054 * [backup-simplify]: Simplify 0 into 0 0.054 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y))) 0.054 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 0.054 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0 0.054 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 0.055 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 0.055 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.055 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 0.055 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 0.055 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 0.055 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 0.055 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.055 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 0.055 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 0.055 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 0.055 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 0.055 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.055 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 0.055 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 0.056 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 0.056 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 0.056 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.056 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 0.056 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 0.056 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 0.056 * [taylor]: Taking taylor expansion of 0 in y 0.056 * [backup-simplify]: Simplify 0 into 0 0.056 * [backup-simplify]: Simplify 0 into 0 0.056 * [backup-simplify]: Simplify 0 into 0 0.057 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 0.057 * [taylor]: Taking taylor expansion of 0 in y 0.057 * [backup-simplify]: Simplify 0 into 0 0.057 * [backup-simplify]: Simplify 0 into 0 0.057 * [backup-simplify]: Simplify 0 into 0 0.057 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 0.057 * [backup-simplify]: Simplify 0 into 0 0.058 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 0.058 * [taylor]: Taking taylor expansion of 0 in y 0.058 * [backup-simplify]: Simplify 0 into 0 0.058 * [backup-simplify]: Simplify 0 into 0 0.058 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y))) 0.058 * * * [progress]: simplifying candidates 0.058 * [simplify]: Simplifying: (expm1 (sqrt (fabs (- x y)))) (log1p (sqrt (fabs (- x y)))) (log (sqrt (fabs (- x y)))) (exp (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y)))) (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt 1) (sqrt (fabs (- x y))) (/ 1 2) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) 0.059 * * [simplify]: Extracting # 0 : cost 0 0.059 * * [simplify]: Extracting # 1 : cost 0 0.059 * * [simplify]: Extracting # 2 : cost 0 0.059 * * [simplify]: Extracting # 3 : cost 0 0.059 * * [simplify]: Extracting # 4 : cost 0 0.059 * * [simplify]: Extracting # 5 : cost 0 0.059 * * [simplify]: Extracting # 6 : cost 0 0.059 * * [simplify]: Extracting # 7 : cost 0 0.059 * * [simplify]: iteration 0 : 22 enodes (cost 127 ) 0.063 * * [simplify]: Extracting # 0 : cost 0 0.063 * * [simplify]: Extracting # 1 : cost 0 0.063 * * [simplify]: Extracting # 2 : cost 0 0.063 * * [simplify]: iteration 1 : 29 enodes (cost 111 ) 0.066 * * [simplify]: Extracting # 0 : cost 0 0.066 * * [simplify]: Extracting # 1 : cost 0 0.066 * * [simplify]: Extracting # 2 : cost 0 0.066 * * [simplify]: Extracting # 3 : cost 0 0.066 * * [simplify]: iteration 2 : 33 enodes (cost 108 ) 0.070 * * [simplify]: Extracting # 0 : cost 0 0.070 * * [simplify]: Extracting # 1 : cost 0 0.070 * * [simplify]: Extracting # 2 : cost 0 0.070 * * [simplify]: Extracting # 3 : cost 0 0.070 * * [simplify]: iteration 3 : 37 enodes (cost 108 ) 0.076 * * [simplify]: Extracting # 0 : cost 0 0.076 * * [simplify]: Extracting # 1 : cost 0 0.076 * * [simplify]: Extracting # 2 : cost 0 0.076 * * [simplify]: Extracting # 3 : cost 0 0.076 * * [simplify]: Extracting # 4 : cost 0 0.076 * * [simplify]: iteration 4 : 43 enodes (cost 108 ) 0.082 * * [simplify]: Extracting # 0 : cost 0 0.082 * * [simplify]: Extracting # 1 : cost 0 0.082 * * [simplify]: Extracting # 2 : cost 0 0.082 * * [simplify]: Extracting # 3 : cost 0 0.082 * * [simplify]: Extracting # 4 : cost 0 0.082 * * [simplify]: iteration 5 : 53 enodes (cost 108 ) 0.090 * * [simplify]: Extracting # 0 : cost 0 0.090 * * [simplify]: Extracting # 1 : cost 0 0.090 * * [simplify]: Extracting # 2 : cost 0 0.090 * * [simplify]: Extracting # 3 : cost 0 0.090 * * [simplify]: Extracting # 4 : cost 0 0.091 * * [simplify]: iteration 6 : 74 enodes (cost 108 ) 0.107 * * [simplify]: Extracting # 0 : cost 0 0.107 * * [simplify]: Extracting # 1 : cost 0 0.107 * * [simplify]: Extracting # 2 : cost 0 0.107 * * [simplify]: Extracting # 3 : cost 0 0.107 * * [simplify]: iteration 7 : 139 enodes (cost 108 ) 0.219 * * [simplify]: Extracting # 0 : cost 0 0.219 * * [simplify]: Extracting # 1 : cost 0 0.219 * * [simplify]: Extracting # 2 : cost 0 0.220 * * [simplify]: Extracting # 3 : cost 0 0.220 * * [simplify]: iteration 8 : 431 enodes (cost 108 ) 1.115 * * [simplify]: Extracting # 0 : cost 0 1.116 * * [simplify]: Extracting # 1 : cost 0 1.117 * * [simplify]: Extracting # 2 : cost 0 1.118 * * [simplify]: Extracting # 3 : cost 0 1.119 * * [simplify]: Extracting # 4 : cost 0 1.120 * * [simplify]: iteration 9 : 1844 enodes (cost 108 ) 2.166 * * [simplify]: Extracting # 0 : cost 0 2.179 * * [simplify]: Extracting # 1 : cost 0 2.189 * * [simplify]: Extracting # 2 : cost 0 2.198 * * [simplify]: Extracting # 3 : cost 0 2.207 * * [simplify]: iteration done: 5000 enodes (cost 108 ) 2.208 * [simplify]: Simplified to: (expm1 (sqrt (fabs (- x y)))) (log1p (sqrt (fabs (- x y)))) (log (sqrt (fabs (- x y)))) (exp (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y)))) (pow (sqrt (fabs (- x y))) 3) (fabs (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) 1 (sqrt (fabs (- x y))) 1/2 (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) 2.208 * * * [progress]: adding candidates to table 2.256 * * [progress]: iteration 2 / 4 2.256 * * * [progress]: picking best candidate 2.259 * * * * [pick]: Picked # 2.259 * * * [progress]: localizing error 2.268 * * * [progress]: generating rewritten candidates 2.268 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 2.272 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 2.276 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 2.279 * * * [progress]: generating series expansions 2.279 * * * * [progress]: [ 1 / 3 ] generating series at (2) 2.279 * [backup-simplify]: Simplify (cbrt (pow (sqrt (fabs (- x y))) 3)) into (sqrt (fabs (- x y))) 2.279 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0 2.280 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 2.280 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 2.280 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 2.280 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.280 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 2.280 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 2.280 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 2.280 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 2.280 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.280 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 2.280 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 2.280 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 2.280 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 2.280 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.280 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 2.280 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 2.280 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 2.280 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 2.280 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.281 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 2.281 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.281 * [taylor]: Taking taylor expansion of 0 in y 2.281 * [backup-simplify]: Simplify 0 into 0 2.281 * [backup-simplify]: Simplify 0 into 0 2.281 * [backup-simplify]: Simplify 0 into 0 2.281 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0 2.282 * [taylor]: Taking taylor expansion of 0 in y 2.282 * [backup-simplify]: Simplify 0 into 0 2.282 * [backup-simplify]: Simplify 0 into 0 2.282 * [backup-simplify]: Simplify 0 into 0 2.282 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0 2.282 * [backup-simplify]: Simplify 0 into 0 2.283 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0 2.283 * [taylor]: Taking taylor expansion of 0 in y 2.284 * [backup-simplify]: Simplify 0 into 0 2.284 * [backup-simplify]: Simplify 0 into 0 2.284 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.284 * [backup-simplify]: Simplify (cbrt (pow (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 3)) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.284 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0 2.284 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 2.284 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 2.284 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 2.285 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.285 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.285 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 2.285 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 2.285 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 2.285 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.286 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.286 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 2.286 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 2.286 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 2.286 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.286 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.286 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 2.286 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 2.287 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 2.287 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.287 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.287 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.287 * [taylor]: Taking taylor expansion of 0 in y 2.287 * [backup-simplify]: Simplify 0 into 0 2.287 * [backup-simplify]: Simplify 0 into 0 2.287 * [backup-simplify]: Simplify 0 into 0 2.288 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.288 * [taylor]: Taking taylor expansion of 0 in y 2.288 * [backup-simplify]: Simplify 0 into 0 2.288 * [backup-simplify]: Simplify 0 into 0 2.289 * [backup-simplify]: Simplify 0 into 0 2.289 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.289 * [backup-simplify]: Simplify 0 into 0 2.290 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.290 * [taylor]: Taking taylor expansion of 0 in y 2.290 * [backup-simplify]: Simplify 0 into 0 2.290 * [backup-simplify]: Simplify 0 into 0 2.291 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y))) 2.291 * [backup-simplify]: Simplify (cbrt (pow (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) 3)) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.291 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0 2.291 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 2.291 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 2.291 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 2.291 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.292 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.292 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 2.292 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 2.292 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 2.292 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.292 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.292 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 2.292 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 2.293 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 2.293 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.293 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.293 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 2.293 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 2.293 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 2.293 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.294 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.294 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.294 * [taylor]: Taking taylor expansion of 0 in y 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.295 * [taylor]: Taking taylor expansion of 0 in y 2.295 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify 0 into 0 2.296 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.296 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.297 * [taylor]: Taking taylor expansion of 0 in y 2.297 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y))) 2.298 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 2.298 * [backup-simplify]: Simplify (pow (sqrt (fabs (- x y))) 3) into (pow (sqrt (fabs (- x y))) 3) 2.298 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (- x y))) 3) in (x y) around 0 2.298 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (- x y))) 3) in y 2.298 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 2.298 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 2.298 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 2.298 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.298 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 2.298 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (- x y))) 3) in x 2.298 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 2.299 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 2.299 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 2.299 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.299 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 2.299 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (- x y))) 3) in x 2.299 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 2.299 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 2.299 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 2.299 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.300 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 2.300 * [backup-simplify]: Simplify (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) into (fabs (- x y)) 2.301 * [backup-simplify]: Simplify (* (sqrt (fabs (- x y))) (fabs (- x y))) into (sqrt (pow (fabs (- x y)) 3)) 2.301 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- x y)) 3)) in y 2.301 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 3) in y 2.301 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 2.301 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 2.301 * [backup-simplify]: Simplify (* (fabs (- x y)) (fabs (- x y))) into (pow (fabs (- x y)) 2) 2.302 * [backup-simplify]: Simplify (* (fabs (- x y)) (pow (fabs (- x y)) 2)) into (pow (fabs (- x y)) 3) 2.302 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3)) 2.302 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (fabs (- x y)))) into 0 2.302 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (pow (fabs (- x y)) 2))) into 0 2.303 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0 2.303 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3)) 2.303 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- x y))) 0) (* 0 (sqrt (fabs (- x y))))) into 0 2.303 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- x y))) 0) (* 0 (fabs (- x y)))) into 0 2.303 * [taylor]: Taking taylor expansion of 0 in y 2.303 * [backup-simplify]: Simplify 0 into 0 2.303 * [backup-simplify]: Simplify 0 into 0 2.303 * [backup-simplify]: Simplify 0 into 0 2.305 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0 2.305 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- x y))) 0) (+ (* 0 0) (* 0 (sqrt (fabs (- x y)))))) into 0 2.306 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- x y))) 0) (+ (* 0 0) (* 0 (fabs (- x y))))) into 0 2.306 * [taylor]: Taking taylor expansion of 0 in y 2.306 * [backup-simplify]: Simplify 0 into 0 2.306 * [backup-simplify]: Simplify 0 into 0 2.306 * [backup-simplify]: Simplify 0 into 0 2.306 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (fabs (- x y))))) into 0 2.307 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (pow (fabs (- x y)) 2)))) into 0 2.308 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- x y)) 3)))) into 0 2.308 * [backup-simplify]: Simplify 0 into 0 2.309 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0 2.310 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- x y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (- x y))))))) into 0 2.311 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- x y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (- x y)))))) into 0 2.311 * [taylor]: Taking taylor expansion of 0 in y 2.311 * [backup-simplify]: Simplify 0 into 0 2.311 * [backup-simplify]: Simplify 0 into 0 2.311 * [backup-simplify]: Simplify (sqrt (pow (fabs (- x y)) 3)) into (sqrt (pow (fabs (- x y)) 3)) 2.311 * [backup-simplify]: Simplify (pow (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 3) into (pow (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 3) 2.312 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 3) in (x y) around 0 2.312 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 3) in y 2.312 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 2.312 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 2.312 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 2.312 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.312 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.312 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 3) in x 2.312 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 2.312 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 2.312 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 2.313 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.313 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.313 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 3) in x 2.313 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 2.313 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 2.313 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 2.313 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.314 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.314 * [backup-simplify]: Simplify (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) (sqrt (fabs (- (/ 1 x) (/ 1 y))))) into (fabs (- (/ 1 x) (/ 1 y))) 2.314 * [backup-simplify]: Simplify (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) 2.314 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) in y 2.314 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 3) in y 2.314 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 2.315 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 2.315 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 2) 2.315 * [backup-simplify]: Simplify (* (fabs (- (/ 1 x) (/ 1 y))) (pow (fabs (- (/ 1 x) (/ 1 y))) 2)) into (pow (fabs (- (/ 1 x) (/ 1 y))) 3) 2.315 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) 2.316 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0 2.316 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) into 0 2.317 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0 2.317 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) into (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)) 2.317 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 0) (* 0 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.318 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0 2.318 * [taylor]: Taking taylor expansion of 0 in y 2.318 * [backup-simplify]: Simplify 0 into 0 2.318 * [backup-simplify]: Simplify 0 into 0 2.318 * [backup-simplify]: Simplify 0 into 0 2.319 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.320 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 0) (+ (* 0 0) (* 0 (sqrt (fabs (- (/ 1 x) (/ 1 y))))))) into 0 2.320 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.320 * [taylor]: Taking taylor expansion of 0 in y 2.320 * [backup-simplify]: Simplify 0 into 0 2.320 * [backup-simplify]: Simplify 0 into 0 2.320 * [backup-simplify]: Simplify 0 into 0 2.321 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.322 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 x) (/ 1 y))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 x) (/ 1 y))) 2)))) into 0 2.323 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3)))) into 0 2.323 * [backup-simplify]: Simplify 0 into 0 2.324 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.325 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))))) into 0 2.326 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0 2.326 * [taylor]: Taking taylor expansion of 0 in y 2.326 * [backup-simplify]: Simplify 0 into 0 2.326 * [backup-simplify]: Simplify 0 into 0 2.326 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) 3)) into (sqrt (pow (fabs (- x y)) 3)) 2.326 * [backup-simplify]: Simplify (pow (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) 3) into (pow (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 3) 2.326 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 3) in (x y) around 0 2.326 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 3) in y 2.326 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 2.326 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 2.326 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 2.326 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.327 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.327 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 3) in x 2.327 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 2.327 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 2.327 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 2.327 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.327 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.327 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 3) in x 2.327 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 2.327 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 2.327 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 2.327 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.327 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.328 * [backup-simplify]: Simplify (* (sqrt (fabs (- (/ 1 y) (/ 1 x)))) (sqrt (fabs (- (/ 1 y) (/ 1 x))))) into (fabs (- (/ 1 y) (/ 1 x))) 2.328 * [backup-simplify]: Simplify (* (sqrt (fabs (- (/ 1 y) (/ 1 x)))) (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) 2.328 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) in y 2.328 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 3) in y 2.328 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 2.328 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 2.328 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (fabs (- (/ 1 y) (/ 1 x)))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 2) 2.328 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (pow (fabs (- (/ 1 y) (/ 1 x))) 2)) into (pow (fabs (- (/ 1 y) (/ 1 x))) 3) 2.328 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) 2.329 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))) into 0 2.329 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) into 0 2.329 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0 2.329 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) into (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)) 2.329 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 0) (* 0 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.329 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))) into 0 2.330 * [taylor]: Taking taylor expansion of 0 in y 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.331 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 0) (+ (* 0 0) (* 0 (sqrt (fabs (- (/ 1 y) (/ 1 x))))))) into 0 2.331 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.331 * [taylor]: Taking taylor expansion of 0 in y 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.332 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (pow (fabs (- (/ 1 y) (/ 1 x))) 2)))) into 0 2.333 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow (fabs (- (/ 1 y) (/ 1 x))) 3)))) into 0 2.333 * [backup-simplify]: Simplify 0 into 0 2.333 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.334 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))))) into 0 2.334 * [backup-simplify]: Simplify (+ (* (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0 2.334 * [taylor]: Taking taylor expansion of 0 in y 2.334 * [backup-simplify]: Simplify 0 into 0 2.334 * [backup-simplify]: Simplify 0 into 0 2.335 * [backup-simplify]: Simplify (sqrt (pow (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) 3)) into (sqrt (pow (fabs (- x y)) 3)) 2.335 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 2.335 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.335 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0 2.335 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 2.335 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 2.335 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 2.335 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.335 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 2.335 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 2.335 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 2.335 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 2.335 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.335 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 2.335 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 2.335 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 2.335 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 2.335 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.336 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 2.336 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 2.336 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 2.336 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 2.336 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.336 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 2.336 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.336 * [taylor]: Taking taylor expansion of 0 in y 2.336 * [backup-simplify]: Simplify 0 into 0 2.336 * [backup-simplify]: Simplify 0 into 0 2.336 * [backup-simplify]: Simplify 0 into 0 2.336 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0 2.337 * [taylor]: Taking taylor expansion of 0 in y 2.337 * [backup-simplify]: Simplify 0 into 0 2.337 * [backup-simplify]: Simplify 0 into 0 2.337 * [backup-simplify]: Simplify 0 into 0 2.337 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0 2.337 * [backup-simplify]: Simplify 0 into 0 2.338 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0 2.338 * [taylor]: Taking taylor expansion of 0 in y 2.338 * [backup-simplify]: Simplify 0 into 0 2.338 * [backup-simplify]: Simplify 0 into 0 2.338 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 2.338 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.338 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0 2.338 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 2.338 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 2.338 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 2.338 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.338 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.338 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 2.338 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 2.338 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 2.338 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.338 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.339 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 2.339 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 2.339 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 2.339 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.339 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.339 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 2.339 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 2.339 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 2.339 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.339 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.339 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 2.339 * [taylor]: Taking taylor expansion of 0 in y 2.339 * [backup-simplify]: Simplify 0 into 0 2.339 * [backup-simplify]: Simplify 0 into 0 2.339 * [backup-simplify]: Simplify 0 into 0 2.340 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.340 * [taylor]: Taking taylor expansion of 0 in y 2.340 * [backup-simplify]: Simplify 0 into 0 2.340 * [backup-simplify]: Simplify 0 into 0 2.340 * [backup-simplify]: Simplify 0 into 0 2.341 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.341 * [backup-simplify]: Simplify 0 into 0 2.341 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 2.341 * [taylor]: Taking taylor expansion of 0 in y 2.341 * [backup-simplify]: Simplify 0 into 0 2.341 * [backup-simplify]: Simplify 0 into 0 2.341 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y))) 2.341 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.341 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0 2.341 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 2.341 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 2.342 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 2.342 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.342 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.342 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 2.342 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 2.342 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 2.342 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.342 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.342 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 2.342 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 2.342 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 2.342 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.342 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.342 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 2.342 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 2.343 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 2.343 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.343 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.343 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 2.343 * [taylor]: Taking taylor expansion of 0 in y 2.343 * [backup-simplify]: Simplify 0 into 0 2.343 * [backup-simplify]: Simplify 0 into 0 2.343 * [backup-simplify]: Simplify 0 into 0 2.343 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.344 * [taylor]: Taking taylor expansion of 0 in y 2.344 * [backup-simplify]: Simplify 0 into 0 2.344 * [backup-simplify]: Simplify 0 into 0 2.344 * [backup-simplify]: Simplify 0 into 0 2.344 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.344 * [backup-simplify]: Simplify 0 into 0 2.345 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 2.345 * [taylor]: Taking taylor expansion of 0 in y 2.345 * [backup-simplify]: Simplify 0 into 0 2.345 * [backup-simplify]: Simplify 0 into 0 2.345 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y))) 2.345 * * * [progress]: simplifying candidates 2.346 * [simplify]: Simplifying: (expm1 (cbrt (pow (sqrt (fabs (- x y))) 3))) (log1p (cbrt (pow (sqrt (fabs (- x y))) 3))) (log (cbrt (pow (sqrt (fabs (- x y))) 3))) (exp (cbrt (pow (sqrt (fabs (- x y))) 3))) (cbrt (pow (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) 3)) (cbrt (pow (cbrt (sqrt (fabs (- x y)))) 3)) (cbrt (pow (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) 3)) (cbrt (pow (sqrt (cbrt (fabs (- x y)))) 3)) (cbrt (pow (sqrt (sqrt (fabs (- x y)))) 3)) (cbrt (pow (sqrt (sqrt (fabs (- x y)))) 3)) (cbrt (pow (sqrt 1) 3)) (cbrt (pow (sqrt (fabs (- x y))) 3)) (cbrt (pow (sqrt (sqrt (fabs (- x y)))) 3)) (cbrt (pow (sqrt (sqrt (fabs (- x y)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (sqrt (fabs (- x y))) 3)) (cbrt (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y)))) (cbrt (* (cbrt (pow (sqrt (fabs (- x y))) 3)) (cbrt (pow (sqrt (fabs (- x y))) 3)))) (cbrt (cbrt (pow (sqrt (fabs (- x y))) 3))) (cbrt (pow (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) 3)) (cbrt (pow (cbrt (sqrt (fabs (- x y)))) 3)) (cbrt (pow (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) 3)) (cbrt (pow (sqrt (cbrt (fabs (- x y)))) 3)) (cbrt (pow (sqrt (sqrt (fabs (- x y)))) 3)) (cbrt (pow (sqrt (sqrt (fabs (- x y)))) 3)) (cbrt (pow (sqrt 1) 3)) (cbrt (pow (sqrt (fabs (- x y))) 3)) (cbrt (pow (sqrt (sqrt (fabs (- x y)))) 3)) (cbrt (pow (sqrt (sqrt (fabs (- x y)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (sqrt (fabs (- x y))) 3)) (cbrt (sqrt (fabs (- x y)))) (cbrt (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y))))) (cbrt (sqrt (pow (sqrt (fabs (- x y))) 3))) (cbrt (sqrt (pow (sqrt (fabs (- x y))) 3))) (cbrt 1) (cbrt (pow (sqrt (fabs (- x y))) 3)) (cbrt (pow (sqrt (fabs (- x y))) (/ 3 2))) (cbrt (pow (sqrt (fabs (- x y))) (/ 3 2))) (* (cbrt (cbrt (pow (sqrt (fabs (- x y))) 3))) (cbrt (cbrt (pow (sqrt (fabs (- x y))) 3)))) (cbrt (cbrt (pow (sqrt (fabs (- x y))) 3))) (* (* (cbrt (pow (sqrt (fabs (- x y))) 3)) (cbrt (pow (sqrt (fabs (- x y))) 3))) (cbrt (pow (sqrt (fabs (- x y))) 3))) (sqrt (cbrt (pow (sqrt (fabs (- x y))) 3))) (sqrt (cbrt (pow (sqrt (fabs (- x y))) 3))) (expm1 (pow (sqrt (fabs (- x y))) 3)) (log1p (pow (sqrt (fabs (- x y))) 3)) (* (log (sqrt (fabs (- x y)))) 3) (* (log (sqrt (fabs (- x y)))) 3) (* 1/2 3) (* 1 3) (* (/ 1 2) 3) (pow (sqrt (fabs (- x y))) (* (cbrt 3) (cbrt 3))) (pow (sqrt (fabs (- x y))) (sqrt 3)) (pow (sqrt (fabs (- x y))) 1) (pow (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) 3) (pow (cbrt (sqrt (fabs (- x y)))) 3) (pow (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) 3) (pow (sqrt (cbrt (fabs (- x y)))) 3) (pow (sqrt (sqrt (fabs (- x y)))) 3) (pow (sqrt (sqrt (fabs (- x y)))) 3) (pow (sqrt 1) 3) (pow (sqrt (fabs (- x y))) 3) (pow (sqrt (sqrt (fabs (- x y)))) 3) (pow (sqrt (sqrt (fabs (- x y)))) 3) (pow 1 3) (pow (sqrt (fabs (- x y))) 3) (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (log (pow (sqrt (fabs (- x y))) 3)) (exp (pow (sqrt (fabs (- x y))) 3)) (* (cbrt (pow (sqrt (fabs (- x y))) 3)) (cbrt (pow (sqrt (fabs (- x y))) 3))) (cbrt (pow (sqrt (fabs (- x y))) 3)) (* (* (pow (sqrt (fabs (- x y))) 3) (pow (sqrt (fabs (- x y))) 3)) (pow (sqrt (fabs (- x y))) 3)) (pow (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) 3) (pow (cbrt (sqrt (fabs (- x y)))) 3) (pow (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) 3) (pow (sqrt (cbrt (fabs (- x y)))) 3) (pow (sqrt (sqrt (fabs (- x y)))) 3) (pow (sqrt (sqrt (fabs (- x y)))) 3) (pow (sqrt 1) 3) (pow (sqrt (fabs (- x y))) 3) (pow (sqrt (sqrt (fabs (- x y)))) 3) (pow (sqrt (sqrt (fabs (- x y)))) 3) (pow 1 3) (pow (sqrt (fabs (- x y))) 3) (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (/ 3 2) (sqrt (pow (sqrt (fabs (- x y))) 3)) (sqrt (pow (sqrt (fabs (- x y))) 3)) (pow (sqrt (fabs (- x y))) (/ 3 2)) (pow (sqrt (fabs (- x y))) (/ 3 2)) (expm1 (sqrt (fabs (- x y)))) (log1p (sqrt (fabs (- x y)))) (log (sqrt (fabs (- x y)))) (exp (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y)))) (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt 1) (sqrt (fabs (- x y))) (/ 1 2) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (pow (fabs (- x y)) 3)) (sqrt (pow (fabs (- x y)) 3)) (sqrt (pow (fabs (- x y)) 3)) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) 2.347 * * [simplify]: Extracting # 0 : cost 0 2.347 * * [simplify]: Extracting # 1 : cost 0 2.347 * * [simplify]: Extracting # 2 : cost 0 2.347 * * [simplify]: Extracting # 3 : cost 0 2.348 * * [simplify]: Extracting # 4 : cost 0 2.348 * * [simplify]: Extracting # 5 : cost 0 2.348 * * [simplify]: Extracting # 6 : cost 0 2.348 * * [simplify]: Extracting # 7 : cost 0 2.348 * * [simplify]: Extracting # 8 : cost 0 2.348 * * [simplify]: iteration 0 : 75 enodes (cost 990 ) 2.383 * * [simplify]: Extracting # 0 : cost 0 2.383 * * [simplify]: Extracting # 1 : cost 0 2.383 * * [simplify]: Extracting # 2 : cost 0 2.383 * * [simplify]: Extracting # 3 : cost 0 2.383 * * [simplify]: Extracting # 4 : cost 0 2.384 * * [simplify]: iteration 1 : 142 enodes (cost 665 ) 2.420 * * [simplify]: Extracting # 0 : cost 0 2.420 * * [simplify]: Extracting # 1 : cost 0 2.421 * * [simplify]: Extracting # 2 : cost 0 2.421 * * [simplify]: Extracting # 3 : cost 0 2.421 * * [simplify]: Extracting # 4 : cost 0 2.422 * * [simplify]: iteration 2 : 362 enodes (cost 659 ) 3.107 * * [simplify]: Extracting # 0 : cost 0 3.113 * * [simplify]: Extracting # 1 : cost 0 3.118 * * [simplify]: Extracting # 2 : cost 0 3.123 * * [simplify]: Extracting # 3 : cost 0 3.128 * * [simplify]: Extracting # 4 : cost 0 3.133 * * [simplify]: iteration 3 : 2660 enodes (cost 647 ) 5.785 * * [simplify]: Extracting # 0 : cost 0 5.798 * * [simplify]: Extracting # 1 : cost 0 5.809 * * [simplify]: Extracting # 2 : cost 0 5.819 * * [simplify]: Extracting # 3 : cost 0 5.829 * * [simplify]: Extracting # 4 : cost 0 5.843 * * [simplify]: iteration done: 5001 enodes (cost 647 ) 5.844 * [simplify]: Simplified to: (expm1 (sqrt (fabs (- x y)))) (log1p (sqrt (fabs (- x y)))) (log (sqrt (fabs (- x y)))) (exp (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))) (cbrt (sqrt (fabs (- x y)))) (fabs (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) 1 (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) 1 (sqrt (fabs (- x y))) (cbrt (fabs (- x y))) (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))) (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))) (cbrt (sqrt (fabs (- x y)))) (fabs (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) 1 (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) 1 (sqrt (fabs (- x y))) (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))) (cbrt (sqrt (pow (sqrt (fabs (- x y))) 3))) (cbrt (sqrt (pow (sqrt (fabs (- x y))) 3))) 1 (sqrt (fabs (- x y))) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))) (cbrt (sqrt (fabs (- x y)))) (pow (sqrt (fabs (- x y))) 3) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (expm1 (pow (sqrt (fabs (- x y))) 3)) (log1p (pow (sqrt (fabs (- x y))) 3)) (* (log (sqrt (fabs (- x y)))) 3) (* (log (sqrt (fabs (- x y)))) 3) 3/2 3 3/2 (pow (sqrt (fabs (- x y))) (* (cbrt 3) (cbrt 3))) (pow (sqrt (fabs (- x y))) (sqrt 3)) (sqrt (fabs (- x y))) (fabs (- x y)) (sqrt (fabs (- x y))) (pow (fabs (cbrt (fabs (- x y)))) 3) (pow (sqrt (cbrt (fabs (- x y)))) 3) (pow (sqrt (fabs (- x y))) 3/2) (pow (sqrt (fabs (- x y))) 3/2) 1 (pow (sqrt (fabs (- x y))) 3) (pow (sqrt (fabs (- x y))) 3/2) (pow (sqrt (fabs (- x y))) 3/2) 1 (pow (sqrt (fabs (- x y))) 3) (fabs (- x y)) (* (log (sqrt (fabs (- x y)))) 3) (exp (pow (sqrt (fabs (- x y))) 3)) (fabs (- x y)) (sqrt (fabs (- x y))) (pow (pow (sqrt (fabs (- x y))) 3) 3) (fabs (- x y)) (sqrt (fabs (- x y))) (pow (fabs (cbrt (fabs (- x y)))) 3) (pow (sqrt (cbrt (fabs (- x y)))) 3) (pow (sqrt (fabs (- x y))) 3/2) (pow (sqrt (fabs (- x y))) 3/2) 1 (pow (sqrt (fabs (- x y))) 3) (pow (sqrt (fabs (- x y))) 3/2) (pow (sqrt (fabs (- x y))) 3/2) 1 (pow (sqrt (fabs (- x y))) 3) (fabs (- x y)) 3/2 (sqrt (pow (sqrt (fabs (- x y))) 3)) (sqrt (pow (sqrt (fabs (- x y))) 3)) (pow (sqrt (fabs (- x y))) 3/2) (pow (sqrt (fabs (- x y))) 3/2) (expm1 (sqrt (fabs (- x y)))) (log1p (sqrt (fabs (- x y)))) (log (sqrt (fabs (- x y)))) (exp (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))) (cbrt (sqrt (fabs (- x y)))) (pow (sqrt (fabs (- x y))) 3) (fabs (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) 1 (sqrt (fabs (- x y))) 1/2 (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (pow (fabs (- x y)) 3)) (sqrt (pow (fabs (- x y)) 3)) (sqrt (pow (fabs (- x y)) 3)) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) 5.845 * * * [progress]: adding candidates to table 6.099 * * [progress]: iteration 3 / 4 6.099 * * * [progress]: picking best candidate 6.104 * * * * [pick]: Picked # 6.104 * * * [progress]: localizing error 6.114 * * * [progress]: generating rewritten candidates 6.114 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 6.115 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 6.117 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 6.135 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 6.142 * * * [progress]: generating series expansions 6.142 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 6.142 * [backup-simplify]: Simplify (cbrt (fabs (- x y))) into (pow (fabs (- x y)) 1/3) 6.142 * [approximate]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in (x y) around 0 6.142 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in y 6.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in y 6.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in y 6.142 * [taylor]: Taking taylor expansion of 1/3 in y 6.142 * [backup-simplify]: Simplify 1/3 into 1/3 6.142 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y 6.142 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 6.142 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.143 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y))) 6.143 * [backup-simplify]: Simplify (* 1/3 (log (fabs (- x y)))) into (* 1/3 (log (fabs (- x y)))) 6.143 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/3) 6.143 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in x 6.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in x 6.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in x 6.143 * [taylor]: Taking taylor expansion of 1/3 in x 6.143 * [backup-simplify]: Simplify 1/3 into 1/3 6.143 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x 6.143 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 6.143 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.143 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y))) 6.143 * [backup-simplify]: Simplify (* 1/3 (log (fabs (- x y)))) into (* 1/3 (log (fabs (- x y)))) 6.144 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/3) 6.144 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in x 6.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in x 6.144 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in x 6.144 * [taylor]: Taking taylor expansion of 1/3 in x 6.144 * [backup-simplify]: Simplify 1/3 into 1/3 6.144 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x 6.144 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 6.144 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.144 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y))) 6.144 * [backup-simplify]: Simplify (* 1/3 (log (fabs (- x y)))) into (* 1/3 (log (fabs (- x y)))) 6.144 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/3) 6.144 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in y 6.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in y 6.144 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in y 6.145 * [taylor]: Taking taylor expansion of 1/3 in y 6.145 * [backup-simplify]: Simplify 1/3 into 1/3 6.145 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y 6.145 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 6.145 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.145 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y))) 6.145 * [backup-simplify]: Simplify (* 1/3 (log (fabs (- x y)))) into (* 1/3 (log (fabs (- x y)))) 6.145 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/3) 6.145 * [backup-simplify]: Simplify (pow (fabs (- x y)) 1/3) into (pow (fabs (- x y)) 1/3) 6.147 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- x y)) 1)))) 1) into 0 6.147 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs (- x y))))) into 0 6.148 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- x y))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.148 * [taylor]: Taking taylor expansion of 0 in y 6.148 * [backup-simplify]: Simplify 0 into 0 6.148 * [backup-simplify]: Simplify 0 into 0 6.149 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- x y)) 1)))) 1) into 0 6.150 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs (- x y))))) into 0 6.151 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- x y))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.151 * [backup-simplify]: Simplify 0 into 0 6.153 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- x y)) 1)))) 2) into 0 6.154 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs (- x y)))))) into 0 6.155 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- x y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.155 * [taylor]: Taking taylor expansion of 0 in y 6.155 * [backup-simplify]: Simplify 0 into 0 6.155 * [backup-simplify]: Simplify 0 into 0 6.155 * [backup-simplify]: Simplify 0 into 0 6.157 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- x y)) 1)))) 2) into 0 6.158 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs (- x y)))))) into 0 6.160 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- x y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.160 * [backup-simplify]: Simplify 0 into 0 6.163 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- x y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- x y)) 1)))) 6) into 0 6.165 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- x y))))))) into 0 6.167 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- x y))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.167 * [taylor]: Taking taylor expansion of 0 in y 6.167 * [backup-simplify]: Simplify 0 into 0 6.167 * [backup-simplify]: Simplify 0 into 0 6.167 * [backup-simplify]: Simplify (pow (fabs (- x y)) 1/3) into (pow (fabs (- x y)) 1/3) 6.168 * [backup-simplify]: Simplify (cbrt (fabs (- (/ 1 x) (/ 1 y)))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) 6.168 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in (x y) around 0 6.168 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in y 6.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y 6.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in y 6.168 * [taylor]: Taking taylor expansion of 1/3 in y 6.168 * [backup-simplify]: Simplify 1/3 into 1/3 6.168 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y 6.168 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 6.168 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.168 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y)))) 6.168 * [backup-simplify]: Simplify (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) 6.169 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) 6.169 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in x 6.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x 6.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in x 6.169 * [taylor]: Taking taylor expansion of 1/3 in x 6.169 * [backup-simplify]: Simplify 1/3 into 1/3 6.169 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x 6.169 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 6.169 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.169 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y)))) 6.169 * [backup-simplify]: Simplify (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) 6.170 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) 6.170 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in x 6.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x 6.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in x 6.170 * [taylor]: Taking taylor expansion of 1/3 in x 6.170 * [backup-simplify]: Simplify 1/3 into 1/3 6.170 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x 6.170 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 6.170 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.170 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y)))) 6.170 * [backup-simplify]: Simplify (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) 6.171 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) 6.171 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in y 6.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y 6.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in y 6.171 * [taylor]: Taking taylor expansion of 1/3 in y 6.171 * [backup-simplify]: Simplify 1/3 into 1/3 6.171 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y 6.171 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 6.171 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.171 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y)))) 6.171 * [backup-simplify]: Simplify (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) 6.172 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) 6.172 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) 6.173 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 1) into 0 6.174 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.175 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.175 * [taylor]: Taking taylor expansion of 0 in y 6.175 * [backup-simplify]: Simplify 0 into 0 6.175 * [backup-simplify]: Simplify 0 into 0 6.176 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 1) into 0 6.177 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.178 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.178 * [backup-simplify]: Simplify 0 into 0 6.180 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 2) into 0 6.181 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y))))))) into 0 6.182 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.183 * [taylor]: Taking taylor expansion of 0 in y 6.183 * [backup-simplify]: Simplify 0 into 0 6.183 * [backup-simplify]: Simplify 0 into 0 6.183 * [backup-simplify]: Simplify 0 into 0 6.185 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 2) into 0 6.186 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y))))))) into 0 6.187 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.188 * [backup-simplify]: Simplify 0 into 0 6.199 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 6) into 0 6.200 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))))) into 0 6.202 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.202 * [taylor]: Taking taylor expansion of 0 in y 6.202 * [backup-simplify]: Simplify 0 into 0 6.202 * [backup-simplify]: Simplify 0 into 0 6.202 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) 1/3) into (pow (fabs (- x y)) 1/3) 6.203 * [backup-simplify]: Simplify (cbrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) 6.203 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in (x y) around 0 6.203 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in y 6.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y 6.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in y 6.203 * [taylor]: Taking taylor expansion of 1/3 in y 6.203 * [backup-simplify]: Simplify 1/3 into 1/3 6.203 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y 6.203 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 6.203 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.203 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x)))) 6.203 * [backup-simplify]: Simplify (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) 6.204 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) 6.204 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in x 6.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x 6.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in x 6.204 * [taylor]: Taking taylor expansion of 1/3 in x 6.204 * [backup-simplify]: Simplify 1/3 into 1/3 6.204 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x 6.204 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 6.204 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.204 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x)))) 6.205 * [backup-simplify]: Simplify (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) 6.205 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) 6.205 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in x 6.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x 6.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in x 6.205 * [taylor]: Taking taylor expansion of 1/3 in x 6.205 * [backup-simplify]: Simplify 1/3 into 1/3 6.205 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x 6.205 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 6.205 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.205 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x)))) 6.206 * [backup-simplify]: Simplify (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) 6.206 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) 6.206 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in y 6.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y 6.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in y 6.206 * [taylor]: Taking taylor expansion of 1/3 in y 6.206 * [backup-simplify]: Simplify 1/3 into 1/3 6.206 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y 6.206 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 6.206 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.206 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x)))) 6.207 * [backup-simplify]: Simplify (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) 6.207 * [backup-simplify]: Simplify (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) 6.207 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) 6.209 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 1) into 0 6.209 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.210 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.210 * [taylor]: Taking taylor expansion of 0 in y 6.210 * [backup-simplify]: Simplify 0 into 0 6.210 * [backup-simplify]: Simplify 0 into 0 6.212 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 1) into 0 6.212 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.213 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.213 * [backup-simplify]: Simplify 0 into 0 6.215 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 2) into 0 6.216 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x))))))) into 0 6.218 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.218 * [taylor]: Taking taylor expansion of 0 in y 6.218 * [backup-simplify]: Simplify 0 into 0 6.218 * [backup-simplify]: Simplify 0 into 0 6.218 * [backup-simplify]: Simplify 0 into 0 6.220 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 2) into 0 6.221 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x))))))) into 0 6.223 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.223 * [backup-simplify]: Simplify 0 into 0 6.226 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 6) into 0 6.228 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))))) into 0 6.230 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.230 * [taylor]: Taking taylor expansion of 0 in y 6.230 * [backup-simplify]: Simplify 0 into 0 6.230 * [backup-simplify]: Simplify 0 into 0 6.230 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) 1/3) into (pow (fabs (- x y)) 1/3) 6.230 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 6.230 * [backup-simplify]: Simplify (cbrt (sqrt (fabs (- x y)))) into (pow (fabs (- x y)) 1/6) 6.230 * [approximate]: Taking taylor expansion of (pow (fabs (- x y)) 1/6) in (x y) around 0 6.230 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/6) in y 6.230 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fabs (- x y))))) in y 6.231 * [taylor]: Taking taylor expansion of (* 1/6 (log (fabs (- x y)))) in y 6.231 * [taylor]: Taking taylor expansion of 1/6 in y 6.231 * [backup-simplify]: Simplify 1/6 into 1/6 6.231 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y 6.231 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 6.231 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.231 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y))) 6.231 * [backup-simplify]: Simplify (* 1/6 (log (fabs (- x y)))) into (* 1/6 (log (fabs (- x y)))) 6.231 * [backup-simplify]: Simplify (exp (* 1/6 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/6) 6.231 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/6) in x 6.231 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fabs (- x y))))) in x 6.231 * [taylor]: Taking taylor expansion of (* 1/6 (log (fabs (- x y)))) in x 6.231 * [taylor]: Taking taylor expansion of 1/6 in x 6.231 * [backup-simplify]: Simplify 1/6 into 1/6 6.231 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x 6.231 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 6.231 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.232 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y))) 6.232 * [backup-simplify]: Simplify (* 1/6 (log (fabs (- x y)))) into (* 1/6 (log (fabs (- x y)))) 6.232 * [backup-simplify]: Simplify (exp (* 1/6 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/6) 6.232 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/6) in x 6.232 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fabs (- x y))))) in x 6.232 * [taylor]: Taking taylor expansion of (* 1/6 (log (fabs (- x y)))) in x 6.232 * [taylor]: Taking taylor expansion of 1/6 in x 6.232 * [backup-simplify]: Simplify 1/6 into 1/6 6.232 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x 6.232 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 6.232 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.232 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y))) 6.232 * [backup-simplify]: Simplify (* 1/6 (log (fabs (- x y)))) into (* 1/6 (log (fabs (- x y)))) 6.232 * [backup-simplify]: Simplify (exp (* 1/6 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/6) 6.233 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/6) in y 6.233 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fabs (- x y))))) in y 6.233 * [taylor]: Taking taylor expansion of (* 1/6 (log (fabs (- x y)))) in y 6.233 * [taylor]: Taking taylor expansion of 1/6 in y 6.233 * [backup-simplify]: Simplify 1/6 into 1/6 6.233 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y 6.233 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 6.233 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.233 * [backup-simplify]: Simplify (log (fabs (- x y))) into (log (fabs (- x y))) 6.233 * [backup-simplify]: Simplify (* 1/6 (log (fabs (- x y)))) into (* 1/6 (log (fabs (- x y)))) 6.233 * [backup-simplify]: Simplify (exp (* 1/6 (log (fabs (- x y))))) into (pow (fabs (- x y)) 1/6) 6.233 * [backup-simplify]: Simplify (pow (fabs (- x y)) 1/6) into (pow (fabs (- x y)) 1/6) 6.235 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- x y)) 1)))) 1) into 0 6.235 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (fabs (- x y))))) into 0 6.236 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- x y))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.236 * [taylor]: Taking taylor expansion of 0 in y 6.236 * [backup-simplify]: Simplify 0 into 0 6.236 * [backup-simplify]: Simplify 0 into 0 6.238 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- x y)) 1)))) 1) into 0 6.238 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (fabs (- x y))))) into 0 6.239 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- x y))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.239 * [backup-simplify]: Simplify 0 into 0 6.241 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- x y)) 1)))) 2) into 0 6.242 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (fabs (- x y)))))) into 0 6.243 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- x y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.244 * [taylor]: Taking taylor expansion of 0 in y 6.244 * [backup-simplify]: Simplify 0 into 0 6.244 * [backup-simplify]: Simplify 0 into 0 6.244 * [backup-simplify]: Simplify 0 into 0 6.246 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- x y)) 1)))) 2) into 0 6.247 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (fabs (- x y)))))) into 0 6.248 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- x y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.248 * [backup-simplify]: Simplify 0 into 0 6.251 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- x y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- x y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- x y)) 1)))) 6) into 0 6.253 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- x y))))))) into 0 6.255 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- x y))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.255 * [taylor]: Taking taylor expansion of 0 in y 6.255 * [backup-simplify]: Simplify 0 into 0 6.255 * [backup-simplify]: Simplify 0 into 0 6.255 * [backup-simplify]: Simplify (pow (fabs (- x y)) 1/6) into (pow (fabs (- x y)) 1/6) 6.256 * [backup-simplify]: Simplify (cbrt (sqrt (fabs (- (/ 1 x) (/ 1 y))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/6) 6.256 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/6) in (x y) around 0 6.256 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/6) in y 6.256 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y 6.256 * [taylor]: Taking taylor expansion of (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y))))) in y 6.256 * [taylor]: Taking taylor expansion of 1/6 in y 6.256 * [backup-simplify]: Simplify 1/6 into 1/6 6.256 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y 6.256 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 6.256 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.256 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y)))) 6.257 * [backup-simplify]: Simplify (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y))))) 6.257 * [backup-simplify]: Simplify (exp (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/6) 6.257 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/6) in x 6.257 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x 6.257 * [taylor]: Taking taylor expansion of (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y))))) in x 6.257 * [taylor]: Taking taylor expansion of 1/6 in x 6.257 * [backup-simplify]: Simplify 1/6 into 1/6 6.257 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x 6.257 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 6.257 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.257 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y)))) 6.258 * [backup-simplify]: Simplify (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y))))) 6.258 * [backup-simplify]: Simplify (exp (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/6) 6.258 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/6) in x 6.258 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x 6.258 * [taylor]: Taking taylor expansion of (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y))))) in x 6.258 * [taylor]: Taking taylor expansion of 1/6 in x 6.258 * [backup-simplify]: Simplify 1/6 into 1/6 6.258 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x 6.258 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 6.258 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.258 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y)))) 6.259 * [backup-simplify]: Simplify (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y))))) 6.259 * [backup-simplify]: Simplify (exp (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/6) 6.259 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/6) in y 6.259 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y 6.259 * [taylor]: Taking taylor expansion of (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y))))) in y 6.259 * [taylor]: Taking taylor expansion of 1/6 in y 6.259 * [backup-simplify]: Simplify 1/6 into 1/6 6.259 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y 6.259 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 6.259 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.260 * [backup-simplify]: Simplify (log (fabs (- (/ 1 x) (/ 1 y)))) into (log (fabs (- (/ 1 x) (/ 1 y)))) 6.260 * [backup-simplify]: Simplify (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y))))) into (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y))))) 6.260 * [backup-simplify]: Simplify (exp (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y)))))) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/6) 6.260 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 x) (/ 1 y))) 1/6) into (pow (fabs (- (/ 1 x) (/ 1 y))) 1/6) 6.262 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 1) into 0 6.262 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.263 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.263 * [taylor]: Taking taylor expansion of 0 in y 6.263 * [backup-simplify]: Simplify 0 into 0 6.263 * [backup-simplify]: Simplify 0 into 0 6.264 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 1) into 0 6.265 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.266 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.266 * [backup-simplify]: Simplify 0 into 0 6.268 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 2) into 0 6.269 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y))))))) into 0 6.271 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.271 * [taylor]: Taking taylor expansion of 0 in y 6.271 * [backup-simplify]: Simplify 0 into 0 6.271 * [backup-simplify]: Simplify 0 into 0 6.271 * [backup-simplify]: Simplify 0 into 0 6.273 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 2) into 0 6.274 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y))))))) into 0 6.276 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.276 * [backup-simplify]: Simplify 0 into 0 6.279 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- (/ 1 x) (/ 1 y))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- (/ 1 x) (/ 1 y))) 1)))) 6) into 0 6.280 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 x) (/ 1 y)))))))) into 0 6.282 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- (/ 1 x) (/ 1 y)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.282 * [taylor]: Taking taylor expansion of 0 in y 6.282 * [backup-simplify]: Simplify 0 into 0 6.283 * [backup-simplify]: Simplify 0 into 0 6.283 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) 1/6) into (pow (fabs (- x y)) 1/6) 6.283 * [backup-simplify]: Simplify (cbrt (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/6) 6.283 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/6) in (x y) around 0 6.283 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/6) in y 6.283 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y 6.283 * [taylor]: Taking taylor expansion of (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x))))) in y 6.283 * [taylor]: Taking taylor expansion of 1/6 in y 6.283 * [backup-simplify]: Simplify 1/6 into 1/6 6.283 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y 6.283 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 6.284 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.284 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x)))) 6.284 * [backup-simplify]: Simplify (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x))))) 6.284 * [backup-simplify]: Simplify (exp (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/6) 6.284 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/6) in x 6.284 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x 6.284 * [taylor]: Taking taylor expansion of (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x))))) in x 6.284 * [taylor]: Taking taylor expansion of 1/6 in x 6.284 * [backup-simplify]: Simplify 1/6 into 1/6 6.284 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x 6.284 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 6.284 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.285 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x)))) 6.285 * [backup-simplify]: Simplify (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x))))) 6.285 * [backup-simplify]: Simplify (exp (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/6) 6.285 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/6) in x 6.285 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x 6.285 * [taylor]: Taking taylor expansion of (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x))))) in x 6.285 * [taylor]: Taking taylor expansion of 1/6 in x 6.285 * [backup-simplify]: Simplify 1/6 into 1/6 6.285 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x 6.285 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 6.285 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.286 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x)))) 6.286 * [backup-simplify]: Simplify (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x))))) 6.286 * [backup-simplify]: Simplify (exp (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/6) 6.286 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/6) in y 6.286 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y 6.286 * [taylor]: Taking taylor expansion of (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x))))) in y 6.286 * [taylor]: Taking taylor expansion of 1/6 in y 6.286 * [backup-simplify]: Simplify 1/6 into 1/6 6.286 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y 6.286 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 6.287 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.287 * [backup-simplify]: Simplify (log (fabs (- (/ 1 y) (/ 1 x)))) into (log (fabs (- (/ 1 y) (/ 1 x)))) 6.287 * [backup-simplify]: Simplify (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x))))) into (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x))))) 6.287 * [backup-simplify]: Simplify (exp (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x)))))) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/6) 6.288 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 y) (/ 1 x))) 1/6) into (pow (fabs (- (/ 1 y) (/ 1 x))) 1/6) 6.289 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 1) into 0 6.289 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.290 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.290 * [taylor]: Taking taylor expansion of 0 in y 6.290 * [backup-simplify]: Simplify 0 into 0 6.290 * [backup-simplify]: Simplify 0 into 0 6.291 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 1) into 0 6.291 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.292 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.292 * [backup-simplify]: Simplify 0 into 0 6.293 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 2) into 0 6.294 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x))))))) into 0 6.295 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.295 * [taylor]: Taking taylor expansion of 0 in y 6.295 * [backup-simplify]: Simplify 0 into 0 6.295 * [backup-simplify]: Simplify 0 into 0 6.295 * [backup-simplify]: Simplify 0 into 0 6.296 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 2) into 0 6.297 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x))))))) into 0 6.298 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.298 * [backup-simplify]: Simplify 0 into 0 6.300 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fabs (- (/ 1 y) (/ 1 x))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fabs (- (/ 1 y) (/ 1 x))) 1)))) 6) into 0 6.301 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fabs (- (/ 1 y) (/ 1 x)))))))) into 0 6.302 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (fabs (- (/ 1 y) (/ 1 x)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.302 * [taylor]: Taking taylor expansion of 0 in y 6.302 * [backup-simplify]: Simplify 0 into 0 6.302 * [backup-simplify]: Simplify 0 into 0 6.302 * [backup-simplify]: Simplify (pow (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) 1/6) into (pow (fabs (- x y)) 1/6) 6.302 * * * * [progress]: [ 3 / 4 ] generating series at (2) 6.303 * [backup-simplify]: Simplify (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y)))) into (sqrt (fabs (- x y))) 6.303 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0 6.303 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 6.303 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 6.303 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.303 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 6.303 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 6.303 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 6.303 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 6.303 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.303 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 6.303 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 6.303 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 6.303 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 6.303 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.303 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 6.303 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 6.303 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 6.303 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 6.303 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.303 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 6.304 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 6.304 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 6.304 * [taylor]: Taking taylor expansion of 0 in y 6.304 * [backup-simplify]: Simplify 0 into 0 6.304 * [backup-simplify]: Simplify 0 into 0 6.304 * [backup-simplify]: Simplify 0 into 0 6.304 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0 6.304 * [taylor]: Taking taylor expansion of 0 in y 6.304 * [backup-simplify]: Simplify 0 into 0 6.305 * [backup-simplify]: Simplify 0 into 0 6.305 * [backup-simplify]: Simplify 0 into 0 6.305 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0 6.305 * [backup-simplify]: Simplify 0 into 0 6.306 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0 6.306 * [taylor]: Taking taylor expansion of 0 in y 6.306 * [backup-simplify]: Simplify 0 into 0 6.306 * [backup-simplify]: Simplify 0 into 0 6.306 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 6.306 * [backup-simplify]: Simplify (* (cbrt (sqrt (fabs (- (/ 1 x) (/ 1 y))))) (cbrt (fabs (- (/ 1 x) (/ 1 y))))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 6.306 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0 6.306 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 6.306 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 6.306 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.306 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 6.306 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.306 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 6.307 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 6.307 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.307 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 6.307 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.307 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 6.307 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 6.307 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.307 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 6.307 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.307 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 6.307 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 6.307 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.307 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 6.308 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.308 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 6.308 * [taylor]: Taking taylor expansion of 0 in y 6.308 * [backup-simplify]: Simplify 0 into 0 6.308 * [backup-simplify]: Simplify 0 into 0 6.308 * [backup-simplify]: Simplify 0 into 0 6.309 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.309 * [taylor]: Taking taylor expansion of 0 in y 6.309 * [backup-simplify]: Simplify 0 into 0 6.309 * [backup-simplify]: Simplify 0 into 0 6.309 * [backup-simplify]: Simplify 0 into 0 6.309 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.309 * [backup-simplify]: Simplify 0 into 0 6.310 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.310 * [taylor]: Taking taylor expansion of 0 in y 6.310 * [backup-simplify]: Simplify 0 into 0 6.310 * [backup-simplify]: Simplify 0 into 0 6.310 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y))) 6.310 * [backup-simplify]: Simplify (* (cbrt (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) (cbrt (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 6.310 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0 6.310 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 6.310 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 6.310 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.311 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 6.311 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.311 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 6.311 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 6.311 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.311 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 6.311 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.311 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 6.311 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 6.311 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.311 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 6.311 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.311 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 6.311 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 6.312 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.312 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 6.312 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.312 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 6.312 * [taylor]: Taking taylor expansion of 0 in y 6.312 * [backup-simplify]: Simplify 0 into 0 6.312 * [backup-simplify]: Simplify 0 into 0 6.312 * [backup-simplify]: Simplify 0 into 0 6.313 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.313 * [taylor]: Taking taylor expansion of 0 in y 6.313 * [backup-simplify]: Simplify 0 into 0 6.313 * [backup-simplify]: Simplify 0 into 0 6.313 * [backup-simplify]: Simplify 0 into 0 6.313 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.313 * [backup-simplify]: Simplify 0 into 0 6.314 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.314 * [taylor]: Taking taylor expansion of 0 in y 6.314 * [backup-simplify]: Simplify 0 into 0 6.314 * [backup-simplify]: Simplify 0 into 0 6.314 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y))) 6.314 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 6.314 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 6.314 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0 6.314 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 6.314 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 6.314 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.314 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 6.314 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 6.315 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 6.315 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 6.315 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.315 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 6.315 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 6.315 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 6.315 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 6.315 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.315 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 6.315 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 6.315 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 6.315 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 6.315 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 6.315 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 6.315 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 6.315 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 6.315 * [taylor]: Taking taylor expansion of 0 in y 6.315 * [backup-simplify]: Simplify 0 into 0 6.315 * [backup-simplify]: Simplify 0 into 0 6.315 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0 6.316 * [taylor]: Taking taylor expansion of 0 in y 6.316 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify 0 into 0 6.317 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0 6.317 * [backup-simplify]: Simplify 0 into 0 6.317 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0 6.317 * [taylor]: Taking taylor expansion of 0 in y 6.317 * [backup-simplify]: Simplify 0 into 0 6.317 * [backup-simplify]: Simplify 0 into 0 6.317 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 6.317 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 6.317 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0 6.318 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 6.318 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 6.318 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.318 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 6.318 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.318 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 6.318 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 6.318 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.318 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 6.318 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.318 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 6.318 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 6.318 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.318 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 6.319 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.319 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 6.319 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 6.319 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 6.319 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 6.319 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.319 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 6.319 * [taylor]: Taking taylor expansion of 0 in y 6.319 * [backup-simplify]: Simplify 0 into 0 6.319 * [backup-simplify]: Simplify 0 into 0 6.319 * [backup-simplify]: Simplify 0 into 0 6.320 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.320 * [taylor]: Taking taylor expansion of 0 in y 6.320 * [backup-simplify]: Simplify 0 into 0 6.320 * [backup-simplify]: Simplify 0 into 0 6.320 * [backup-simplify]: Simplify 0 into 0 6.320 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.321 * [backup-simplify]: Simplify 0 into 0 6.321 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 6.321 * [taylor]: Taking taylor expansion of 0 in y 6.321 * [backup-simplify]: Simplify 0 into 0 6.321 * [backup-simplify]: Simplify 0 into 0 6.321 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y))) 6.321 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 6.321 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0 6.321 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 6.321 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 6.322 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.322 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 6.322 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.322 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 6.322 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 6.322 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.322 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 6.322 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.322 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 6.322 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 6.322 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.322 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 6.322 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.323 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 6.323 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 6.323 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 6.323 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 6.323 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.323 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 6.323 * [taylor]: Taking taylor expansion of 0 in y 6.323 * [backup-simplify]: Simplify 0 into 0 6.323 * [backup-simplify]: Simplify 0 into 0 6.323 * [backup-simplify]: Simplify 0 into 0 6.324 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.324 * [taylor]: Taking taylor expansion of 0 in y 6.324 * [backup-simplify]: Simplify 0 into 0 6.324 * [backup-simplify]: Simplify 0 into 0 6.324 * [backup-simplify]: Simplify 0 into 0 6.324 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.324 * [backup-simplify]: Simplify 0 into 0 6.325 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 6.325 * [taylor]: Taking taylor expansion of 0 in y 6.325 * [backup-simplify]: Simplify 0 into 0 6.325 * [backup-simplify]: Simplify 0 into 0 6.325 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y))) 6.325 * * * [progress]: simplifying candidates 6.326 * [simplify]: Simplifying: (expm1 (cbrt (fabs (- x y)))) (log1p (cbrt (fabs (- x y)))) (log (cbrt (fabs (- x y)))) (exp (cbrt (fabs (- x y)))) (cbrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (cbrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))) (cbrt 1) (cbrt (fabs (- x y))) (* (cbrt (cbrt (fabs (- x y)))) (cbrt (cbrt (fabs (- x y))))) (cbrt (cbrt (fabs (- x y)))) (* (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (expm1 (cbrt (sqrt (fabs (- x y))))) (log1p (cbrt (sqrt (fabs (- x y))))) (log (cbrt (sqrt (fabs (- x y))))) (exp (cbrt (sqrt (fabs (- x y))))) (cbrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))) (cbrt (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (cbrt (sqrt (cbrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt 1)) (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt 1) (cbrt (sqrt (fabs (- x y)))) (* (cbrt (cbrt (sqrt (fabs (- x y))))) (cbrt (cbrt (sqrt (fabs (- x y)))))) (cbrt (cbrt (sqrt (fabs (- x y))))) (* (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y))))) (sqrt (cbrt (sqrt (fabs (- x y))))) (sqrt (cbrt (sqrt (fabs (- x y))))) (expm1 (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (log1p (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (* (sqrt (fabs (- x y))) (fabs (- x y))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (+ (log (cbrt (sqrt (fabs (- x y))))) (log (cbrt (fabs (- x y))))) (log (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (exp (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (* (sqrt (fabs (- x y))) (fabs (- x y))) (* (cbrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (cbrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y)))))) (cbrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (* (* (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (sqrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (sqrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y))))) (* (sqrt (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y))))) (* (sqrt (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y))))) (* (sqrt (cbrt (sqrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y))))) (* (sqrt (cbrt (sqrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y))))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt 1)) (* (cbrt (sqrt (fabs (- x y)))) (* (cbrt (cbrt (fabs (- x y)))) (cbrt (cbrt (fabs (- x y)))))) (* (cbrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y))))) (* (cbrt (sqrt (fabs (- x y)))) 1) (* (cbrt (cbrt (sqrt (fabs (- x y))))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (cbrt (fabs (- x y))))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (* (cbrt (cbrt (sqrt (fabs (- x y))))) (cbrt (fabs (- x y)))) (* (sqrt (cbrt (sqrt (fabs (- x y))))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (expm1 (sqrt (fabs (- x y)))) (log1p (sqrt (fabs (- x y)))) (log (sqrt (fabs (- x y)))) (exp (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y)))) (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt 1) (sqrt (fabs (- x y))) (/ 1 2) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (pow (fabs (- x y)) 1/3) (pow (fabs (- x y)) 1/3) (pow (fabs (- x y)) 1/3) (pow (fabs (- x y)) 1/6) (pow (fabs (- x y)) 1/6) (pow (fabs (- x y)) 1/6) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) 6.328 * * [simplify]: Extracting # 0 : cost 0 6.328 * * [simplify]: Extracting # 1 : cost 0 6.328 * * [simplify]: Extracting # 2 : cost 0 6.328 * * [simplify]: Extracting # 3 : cost 0 6.328 * * [simplify]: Extracting # 4 : cost 0 6.328 * * [simplify]: Extracting # 5 : cost 0 6.328 * * [simplify]: Extracting # 6 : cost 0 6.329 * * [simplify]: Extracting # 7 : cost 0 6.329 * * [simplify]: iteration 0 : 73 enodes (cost 1023 ) 6.350 * * [simplify]: Extracting # 0 : cost 0 6.350 * * [simplify]: Extracting # 1 : cost 0 6.350 * * [simplify]: Extracting # 2 : cost 0 6.350 * * [simplify]: Extracting # 3 : cost 0 6.350 * * [simplify]: iteration 1 : 114 enodes (cost 988 ) 6.374 * * [simplify]: Extracting # 0 : cost 0 6.374 * * [simplify]: Extracting # 1 : cost 0 6.375 * * [simplify]: Extracting # 2 : cost 0 6.375 * * [simplify]: Extracting # 3 : cost 0 6.375 * * [simplify]: Extracting # 4 : cost 0 6.375 * * [simplify]: iteration 2 : 277 enodes (cost 923 ) 6.536 * * [simplify]: Extracting # 0 : cost 0 6.537 * * [simplify]: Extracting # 1 : cost 0 6.537 * * [simplify]: Extracting # 2 : cost 0 6.538 * * [simplify]: Extracting # 3 : cost 0 6.539 * * [simplify]: Extracting # 4 : cost 0 6.540 * * [simplify]: iteration 3 : 748 enodes (cost 910 ) 8.165 * * [simplify]: Extracting # 0 : cost 0 8.173 * * [simplify]: Extracting # 1 : cost 0 8.180 * * [simplify]: Extracting # 2 : cost 0 8.186 * * [simplify]: Extracting # 3 : cost 0 8.192 * * [simplify]: Extracting # 4 : cost 0 8.197 * * [simplify]: iteration 4 : 3200 enodes (cost 910 ) 10.443 * * [simplify]: Extracting # 0 : cost 0 10.448 * * [simplify]: Extracting # 1 : cost 0 10.454 * * [simplify]: Extracting # 2 : cost 0 10.459 * * [simplify]: Extracting # 3 : cost 0 10.464 * * [simplify]: Extracting # 4 : cost 0 10.469 * * [simplify]: Extracting # 5 : cost 0 10.475 * * [simplify]: iteration done: 5000 enodes (cost 910 ) 10.475 * [simplify]: Simplified to: (expm1 (cbrt (fabs (- x y)))) (log1p (cbrt (fabs (- x y)))) (log (cbrt (fabs (- x y)))) (exp (cbrt (fabs (- x y)))) (cbrt (pow (fabs (- x y)) 2/3)) (cbrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))) 1 (cbrt (fabs (- x y))) (* (cbrt (cbrt (fabs (- x y)))) (cbrt (cbrt (fabs (- x y))))) (cbrt (cbrt (fabs (- x y)))) (fabs (- x y)) (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (expm1 (cbrt (sqrt (fabs (- x y))))) (log1p (cbrt (sqrt (fabs (- x y))))) (log (cbrt (sqrt (fabs (- x y))))) (exp (cbrt (sqrt (fabs (- x y))))) (cbrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))) (cbrt (cbrt (sqrt (fabs (- x y))))) (cbrt (fabs (cbrt (fabs (- x y))))) (cbrt (sqrt (cbrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))) 1 (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (sqrt (fabs (- x y))))) 1 (cbrt (sqrt (fabs (- x y)))) (* (cbrt (cbrt (sqrt (fabs (- x y))))) (cbrt (cbrt (sqrt (fabs (- x y)))))) (cbrt (cbrt (sqrt (fabs (- x y))))) (sqrt (fabs (- x y))) (sqrt (cbrt (sqrt (fabs (- x y))))) (sqrt (cbrt (sqrt (fabs (- x y))))) (expm1 (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (log1p (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (pow (sqrt (fabs (- x y))) 3) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (log (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (log (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (exp (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (pow (sqrt (fabs (- x y))) 3) (* (cbrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (cbrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y)))))) (cbrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (pow (sqrt (fabs (- x y))) 3) (sqrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (sqrt (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y))))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y))))) (* (sqrt (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y))))) (* (sqrt (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y))))) (* (sqrt (cbrt (sqrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y))))) (* (sqrt (cbrt (sqrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y))))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (pow (fabs (- x y)) 2/3))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (* (cbrt (cbrt (fabs (- x y)))) (cbrt (cbrt (fabs (- x y)))))) (* (cbrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y)))) (* (cbrt (cbrt (sqrt (fabs (- x y))))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (cbrt (fabs (- x y))))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (sqrt (fabs (- x y))))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (* (cbrt (cbrt (sqrt (fabs (- x y))))) (cbrt (fabs (- x y)))) (* (sqrt (cbrt (sqrt (fabs (- x y))))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (expm1 (sqrt (fabs (- x y)))) (log1p (sqrt (fabs (- x y)))) (log (sqrt (fabs (- x y)))) (exp (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y)))) (pow (sqrt (fabs (- x y))) 3) (fabs (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) 1 (sqrt (fabs (- x y))) 1/2 (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (cbrt (fabs (- x y))) (cbrt (fabs (- x y))) (cbrt (fabs (- x y))) (pow (fabs (- x y)) 1/6) (pow (fabs (- x y)) 1/6) (pow (fabs (- x y)) 1/6) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) 10.476 * * * [progress]: adding candidates to table 10.776 * * [progress]: iteration 4 / 4 10.777 * * * [progress]: picking best candidate 10.781 * * * * [pick]: Picked # 10.781 * * * [progress]: localizing error 10.805 * * * [progress]: generating rewritten candidates 10.805 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 10.809 * * * [progress]: generating series expansions 10.810 * * * * [progress]: [ 1 / 1 ] generating series at (2) 10.810 * [backup-simplify]: Simplify (cbrt (pow (fabs (- x y)) 3/2)) into (sqrt (fabs (- x y))) 10.810 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0 10.810 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 10.810 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 10.810 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 10.810 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 10.810 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 10.810 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 10.810 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 10.810 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 10.811 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 10.811 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 10.811 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 10.811 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 10.811 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 10.811 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 10.811 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 10.811 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 10.811 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 10.811 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 10.811 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 10.812 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- x y))))) into 0 10.812 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 10.812 * [taylor]: Taking taylor expansion of 0 in y 10.812 * [backup-simplify]: Simplify 0 into 0 10.812 * [backup-simplify]: Simplify 0 into 0 10.812 * [backup-simplify]: Simplify 0 into 0 10.813 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0 10.813 * [taylor]: Taking taylor expansion of 0 in y 10.813 * [backup-simplify]: Simplify 0 into 0 10.813 * [backup-simplify]: Simplify 0 into 0 10.813 * [backup-simplify]: Simplify 0 into 0 10.814 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- x y))))) into 0 10.814 * [backup-simplify]: Simplify 0 into 0 10.814 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- x y))))) into 0 10.814 * [taylor]: Taking taylor expansion of 0 in y 10.814 * [backup-simplify]: Simplify 0 into 0 10.814 * [backup-simplify]: Simplify 0 into 0 10.814 * [backup-simplify]: Simplify (sqrt (fabs (- x y))) into (sqrt (fabs (- x y))) 10.815 * [backup-simplify]: Simplify (cbrt (pow (fabs (- (/ 1 x) (/ 1 y))) 3/2)) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 10.815 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0 10.815 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 10.815 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 10.815 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 10.815 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 10.815 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 10.815 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 10.815 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 10.815 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 10.815 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 10.815 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 10.815 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 10.815 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 10.815 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 10.816 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 10.816 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 10.816 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 10.816 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 10.816 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 10.816 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 10.816 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 10.816 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 x) (/ 1 y)))) into (sqrt (fabs (- (/ 1 x) (/ 1 y)))) 10.816 * [taylor]: Taking taylor expansion of 0 in y 10.816 * [backup-simplify]: Simplify 0 into 0 10.816 * [backup-simplify]: Simplify 0 into 0 10.816 * [backup-simplify]: Simplify 0 into 0 10.817 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 10.817 * [taylor]: Taking taylor expansion of 0 in y 10.817 * [backup-simplify]: Simplify 0 into 0 10.817 * [backup-simplify]: Simplify 0 into 0 10.817 * [backup-simplify]: Simplify 0 into 0 10.817 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 10.817 * [backup-simplify]: Simplify 0 into 0 10.818 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 x) (/ 1 y)))))) into 0 10.818 * [taylor]: Taking taylor expansion of 0 in y 10.818 * [backup-simplify]: Simplify 0 into 0 10.818 * [backup-simplify]: Simplify 0 into 0 10.818 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (sqrt (fabs (- x y))) 10.818 * [backup-simplify]: Simplify (cbrt (pow (fabs (- (/ 1 (- x)) (/ 1 (- y)))) 3/2)) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 10.818 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0 10.818 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 10.818 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 10.819 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 10.819 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 10.819 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 10.819 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 10.819 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 10.819 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 10.819 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 10.819 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 10.819 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 10.819 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 10.819 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 10.819 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 10.819 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 10.820 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 10.820 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 10.820 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 10.820 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 10.820 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 10.820 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 y) (/ 1 x)))) into (sqrt (fabs (- (/ 1 y) (/ 1 x)))) 10.820 * [taylor]: Taking taylor expansion of 0 in y 10.820 * [backup-simplify]: Simplify 0 into 0 10.820 * [backup-simplify]: Simplify 0 into 0 10.820 * [backup-simplify]: Simplify 0 into 0 10.821 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 10.821 * [taylor]: Taking taylor expansion of 0 in y 10.821 * [backup-simplify]: Simplify 0 into 0 10.821 * [backup-simplify]: Simplify 0 into 0 10.821 * [backup-simplify]: Simplify 0 into 0 10.821 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 10.821 * [backup-simplify]: Simplify 0 into 0 10.822 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- (/ 1 y) (/ 1 x)))))) into 0 10.822 * [taylor]: Taking taylor expansion of 0 in y 10.822 * [backup-simplify]: Simplify 0 into 0 10.822 * [backup-simplify]: Simplify 0 into 0 10.822 * [backup-simplify]: Simplify (sqrt (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (sqrt (fabs (- x y))) 10.822 * * * [progress]: simplifying candidates 10.823 * [simplify]: Simplifying: (expm1 (cbrt (pow (fabs (- x y)) 3/2))) (log1p (cbrt (pow (fabs (- x y)) 3/2))) (log (cbrt (pow (fabs (- x y)) 3/2))) (exp (cbrt (pow (fabs (- x y)) 3/2))) (cbrt (pow (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 3/2)) (cbrt (pow (cbrt (fabs (- x y))) 3/2)) (cbrt (pow (sqrt (fabs (- x y))) 3/2)) (cbrt (pow (sqrt (fabs (- x y))) 3/2)) (cbrt (pow 1 3/2)) (cbrt (pow (fabs (- x y)) 3/2)) (cbrt (* (cbrt (pow (fabs (- x y)) 3/2)) (cbrt (pow (fabs (- x y)) 3/2)))) (cbrt (cbrt (pow (fabs (- x y)) 3/2))) (cbrt (sqrt (pow (fabs (- x y)) 3/2))) (cbrt (sqrt (pow (fabs (- x y)) 3/2))) (cbrt 1) (cbrt (pow (fabs (- x y)) 3/2)) (cbrt (pow (fabs (- x y)) (/ 3/2 2))) (cbrt (pow (fabs (- x y)) (/ 3/2 2))) (* (cbrt (cbrt (pow (fabs (- x y)) 3/2))) (cbrt (cbrt (pow (fabs (- x y)) 3/2)))) (cbrt (cbrt (pow (fabs (- x y)) 3/2))) (* (* (cbrt (pow (fabs (- x y)) 3/2)) (cbrt (pow (fabs (- x y)) 3/2))) (cbrt (pow (fabs (- x y)) 3/2))) (sqrt (cbrt (pow (fabs (- x y)) 3/2))) (sqrt (cbrt (pow (fabs (- x y)) 3/2))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) 10.823 * * [simplify]: Extracting # 0 : cost 0 10.823 * * [simplify]: Extracting # 1 : cost 0 10.823 * * [simplify]: Extracting # 2 : cost 0 10.823 * * [simplify]: Extracting # 3 : cost 0 10.823 * * [simplify]: Extracting # 4 : cost 0 10.823 * * [simplify]: Extracting # 5 : cost 0 10.823 * * [simplify]: Extracting # 6 : cost 0 10.823 * * [simplify]: Extracting # 7 : cost 0 10.823 * * [simplify]: iteration 0 : 36 enodes (cost 227 ) 10.830 * * [simplify]: Extracting # 0 : cost 0 10.830 * * [simplify]: Extracting # 1 : cost 0 10.830 * * [simplify]: Extracting # 2 : cost 0 10.830 * * [simplify]: Extracting # 3 : cost 0 10.830 * * [simplify]: iteration 1 : 54 enodes (cost 219 ) 10.839 * * [simplify]: Extracting # 0 : cost 0 10.840 * * [simplify]: Extracting # 1 : cost 0 10.840 * * [simplify]: Extracting # 2 : cost 0 10.840 * * [simplify]: Extracting # 3 : cost 0 10.840 * * [simplify]: iteration 2 : 82 enodes (cost 205 ) 10.853 * * [simplify]: Extracting # 0 : cost 0 10.853 * * [simplify]: Extracting # 1 : cost 0 10.853 * * [simplify]: Extracting # 2 : cost 0 10.854 * * [simplify]: Extracting # 3 : cost 0 10.854 * * [simplify]: iteration 3 : 126 enodes (cost 202 ) 10.886 * * [simplify]: Extracting # 0 : cost 0 10.886 * * [simplify]: Extracting # 1 : cost 0 10.886 * * [simplify]: Extracting # 2 : cost 0 10.886 * * [simplify]: Extracting # 3 : cost 0 10.887 * * [simplify]: Extracting # 4 : cost 0 10.887 * * [simplify]: iteration 4 : 250 enodes (cost 202 ) 11.073 * * [simplify]: Extracting # 0 : cost 0 11.075 * * [simplify]: Extracting # 1 : cost 0 11.076 * * [simplify]: Extracting # 2 : cost 0 11.078 * * [simplify]: Extracting # 3 : cost 0 11.079 * * [simplify]: iteration 5 : 763 enodes (cost 202 ) 12.648 * * [simplify]: Extracting # 0 : cost 0 12.652 * * [simplify]: Extracting # 1 : cost 0 12.656 * * [simplify]: Extracting # 2 : cost 0 12.660 * * [simplify]: Extracting # 3 : cost 0 12.664 * * [simplify]: Extracting # 4 : cost 0 12.666 * * [simplify]: iteration 6 : 3069 enodes (cost 202 ) 14.227 * * [simplify]: Extracting # 0 : cost 0 14.235 * * [simplify]: Extracting # 1 : cost 0 14.252 * * [simplify]: Extracting # 2 : cost 0 14.261 * * [simplify]: Extracting # 3 : cost 0 14.270 * * [simplify]: iteration done: 5000 enodes (cost 202 ) 14.270 * [simplify]: Simplified to: (expm1 (cbrt (pow (fabs (- x y)) 3/2))) (log1p (cbrt (pow (fabs (- x y)) 3/2))) (log (cbrt (pow (fabs (- x y)) 3/2))) (exp (cbrt (pow (fabs (- x y)) 3/2))) (cbrt (pow (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 3/2)) (cbrt (pow (cbrt (fabs (- x y))) 3/2)) (cbrt (pow (sqrt (fabs (- x y))) 3/2)) (cbrt (pow (sqrt (fabs (- x y))) 3/2)) 1 (cbrt (pow (fabs (- x y)) 3/2)) (cbrt (* (cbrt (pow (fabs (- x y)) 3/2)) (cbrt (pow (fabs (- x y)) 3/2)))) (cbrt (cbrt (pow (fabs (- x y)) 3/2))) (cbrt (sqrt (pow (fabs (- x y)) 3/2))) (cbrt (sqrt (pow (fabs (- x y)) 3/2))) 1 (cbrt (pow (fabs (- x y)) 3/2)) (cbrt (pow (fabs (- x y)) 3/4)) (cbrt (pow (fabs (- x y)) 3/4)) (* (cbrt (cbrt (pow (fabs (- x y)) 3/2))) (cbrt (cbrt (pow (fabs (- x y)) 3/2)))) (cbrt (cbrt (pow (fabs (- x y)) 3/2))) (pow (fabs (- x y)) 3/2) (sqrt (cbrt (pow (fabs (- x y)) 3/2))) (sqrt (cbrt (pow (fabs (- x y)) 3/2))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) 14.271 * * * [progress]: adding candidates to table 14.337 * [progress]: [Phase 3 of 3] Extracting. 14.337 * * [regime]: Finding splitpoints for: (# # #) 14.338 * * * [regime-changes]: Trying 3 branch expressions: ((- x y) (fabs (- x y)) (sqrt (fabs (- x y)))) 14.339 * * * * [regimes]: Trying to branch on (- x y) from (# # #) 14.358 * * * * [regimes]: Trying to branch on (fabs (- x y)) from (# # #) 14.389 * * * * [regimes]: Trying to branch on (sqrt (fabs (- x y))) from (# # #) 14.436 * * * [regime]: Found split indices: #