38.576 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying: (/ (fabs (- x y)) (fabs y)) 0.030 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.030 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.030 * * [simplify]: Extracting # 2 : cost 5 inf + 0 0.030 * * [simplify]: Extracting # 3 : cost 4 inf + 42 0.030 * * [simplify]: Extracting # 4 : cost 3 inf + 43 0.030 * * [simplify]: Extracting # 5 : cost 0 inf + 329 0.030 * * [simplify]: iteration 0 : 6 enodes (cost 162 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 inf + 329 0.032 * * [simplify]: Extracting # 1 : cost 1 inf + 329 0.032 * * [simplify]: Extracting # 2 : cost 0 inf + 370 0.032 * * [simplify]: iteration 1 : 8 enodes (cost 162 ) 0.034 * * [simplify]: Extracting # 0 : cost 0 inf + 370 0.034 * * [simplify]: iteration 2 : 9 enodes (cost 162 ) 0.036 * * [simplify]: Extracting # 0 : cost 0 inf + 370 0.036 * * [simplify]: iteration done: 9 enodes (cost 162 ) 0.036 * [simplify]: Simplified to: (/ (fabs (- x y)) (fabs y)) 0.037 * * [progress]: iteration 1 / 4 0.037 * * * [progress]: picking best candidate 0.044 * * * * [pick]: Picked # 0.044 * * * [progress]: localizing error 0.061 * * * [progress]: generating rewritten candidates 0.061 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.070 * * * [progress]: generating series expansions 0.070 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.070 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.070 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0 0.070 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 0.070 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 0.072 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.072 * [taylor]: Taking taylor expansion of (fabs y) in y 0.072 * [backup-simplify]: Simplify (fabs y) into (fabs y) 0.072 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.072 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 0.072 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 0.072 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.072 * [taylor]: Taking taylor expansion of (fabs y) in x 0.072 * [backup-simplify]: Simplify (fabs y) into (fabs y) 0.072 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.072 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 0.072 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 0.072 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.072 * [taylor]: Taking taylor expansion of (fabs y) in x 0.072 * [backup-simplify]: Simplify (fabs y) into (fabs y) 0.072 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.073 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 0.073 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 0.073 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.073 * [taylor]: Taking taylor expansion of (fabs y) in y 0.073 * [backup-simplify]: Simplify (fabs y) into (fabs y) 0.073 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.073 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.073 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 0.073 * [taylor]: Taking taylor expansion of 0 in y 0.073 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 0.074 * [taylor]: Taking taylor expansion of 0 in y 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 0.075 * [taylor]: Taking taylor expansion of 0 in y 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.076 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.076 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0 0.076 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 0.076 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 0.076 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.076 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 0.076 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 0.076 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.077 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 0.077 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 0.077 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.077 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 0.077 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 0.077 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.077 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 0.077 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 0.077 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.077 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 0.077 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 0.078 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.078 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 0.078 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 0.078 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.078 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 0.078 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 0.078 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.078 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.079 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 0.079 * [taylor]: Taking taylor expansion of 0 in y 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 0.079 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 0.080 * [taylor]: Taking taylor expansion of 0 in y 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 0.080 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 0.081 * [taylor]: Taking taylor expansion of 0 in y 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y)) 0.081 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.081 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0 0.081 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 0.081 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 0.081 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.081 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 0.081 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 0.081 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.081 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 0.081 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 0.082 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.082 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 0.082 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 0.082 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.082 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 0.082 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 0.082 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.082 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 0.082 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 0.082 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.082 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 0.082 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 0.082 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.082 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 0.082 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 0.082 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.082 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.083 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 0.083 * [taylor]: Taking taylor expansion of 0 in y 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 0.083 * [taylor]: Taking taylor expansion of 0 in y 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 0.084 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 0.084 * [taylor]: Taking taylor expansion of 0 in y 0.084 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y)) 0.084 * * * [progress]: simplifying candidates 0.085 * [simplify]: Simplifying: (- (log (fabs (- x y))) (log (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (exp (/ (fabs (- x y)) (fabs y))) (/ (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))) (* (* (fabs y) (fabs y)) (fabs y))) (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) (cbrt (/ (fabs (- x y)) (fabs y))) (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (- (fabs (- x y))) (- (fabs y)) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1) (/ (cbrt (fabs (- x y))) (fabs y)) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) 1) (/ (sqrt (fabs (- x y))) (fabs y)) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 1) (/ (fabs (- x y)) (fabs y)) (/ 1 (fabs y)) (/ (fabs y) (fabs (- x y))) (/ (fabs (- x y)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (fabs (- x y)) 1) (/ (fabs y) (cbrt (fabs (- x y)))) (/ (fabs y) (sqrt (fabs (- x y)))) (/ (fabs y) (fabs (- x y))) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) 0.085 * * [simplify]: Extracting # 0 : cost 33 inf + 0 0.085 * * [simplify]: Extracting # 1 : cost 47 inf + 0 0.085 * * [simplify]: Extracting # 2 : cost 50 inf + 1 0.085 * * [simplify]: Extracting # 3 : cost 49 inf + 43 0.085 * * [simplify]: Extracting # 4 : cost 42 inf + 600 0.086 * * [simplify]: Extracting # 5 : cost 18 inf + 4846 0.087 * * [simplify]: Extracting # 6 : cost 1 inf + 9073 0.087 * * [simplify]: Extracting # 7 : cost 0 inf + 9315 0.088 * * [simplify]: iteration 0 : 52 enodes (cost 8641 ) 0.102 * * [simplify]: Extracting # 0 : cost 0 inf + 9315 0.103 * * [simplify]: Extracting # 1 : cost 16 inf + 8403 0.104 * * [simplify]: Extracting # 2 : cost 0 inf + 12024 0.105 * * [simplify]: iteration 1 : 91 enodes (cost 8368 ) 0.130 * * [simplify]: Extracting # 0 : cost 0 inf + 12024 0.133 * * [simplify]: Extracting # 1 : cost 63 inf + 11902 0.139 * * [simplify]: Extracting # 2 : cost 0 inf + 24851 0.145 * * [simplify]: Extracting # 3 : cost 0 inf + 24731 0.152 * * [simplify]: iteration 2 : 266 enodes (cost 8288 ) 0.265 * * [simplify]: Extracting # 0 : cost 0 inf + 24731 0.274 * * [simplify]: Extracting # 1 : cost 363 inf + 15535 0.286 * * [simplify]: Extracting # 2 : cost 5 inf + 92048 0.314 * * [simplify]: Extracting # 3 : cost 3 inf + 92342 0.340 * * [simplify]: Extracting # 4 : cost 0 inf + 93219 0.354 * * [simplify]: iteration 3 : 1236 enodes (cost 8288 ) 1.095 * * [simplify]: Extracting # 0 : cost 0 inf + 93219 1.177 * * [simplify]: Extracting # 1 : cost 1311 inf + 39636 1.242 * * [simplify]: Extracting # 2 : cost 20 inf + 315091 1.311 * * [simplify]: Extracting # 3 : cost 14 inf + 315182 1.397 * * [simplify]: Extracting # 4 : cost 2 inf + 317516 1.506 * * [simplify]: Extracting # 5 : cost 0 inf + 318102 1.577 * * [simplify]: iteration done: 5000 enodes (cost 8288 ) 1.577 * [simplify]: Simplified to: (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (exp (/ (fabs (- x y)) (fabs y))) (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y))) (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) (cbrt (/ (fabs (- x y)) (fabs y))) (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (- (fabs (- x y))) (- (fabs y)) (* (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (fabs y)) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) 1 (/ (fabs (- x y)) (fabs y)) (/ 1 (fabs y)) (/ (fabs y) (fabs (- x y))) (/ (fabs (- x y)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (sqrt (fabs y))) (fabs (- x y)) (/ (fabs y) (cbrt (fabs (- x y)))) (/ (fabs y) (sqrt (fabs (- x y)))) (/ (fabs y) (fabs (- x y))) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) 1.579 * * * [progress]: adding candidates to table 1.727 * * [progress]: iteration 2 / 4 1.727 * * * [progress]: picking best candidate 1.742 * * * * [pick]: Picked # 1.743 * * * [progress]: localizing error 1.765 * * * [progress]: generating rewritten candidates 1.765 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.782 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.796 * * * [progress]: generating series expansions 1.796 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.796 * [backup-simplify]: Simplify (/ 1 (/ (fabs y) (fabs (- x y)))) into (/ (fabs (- x y)) (fabs y)) 1.796 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (y x) around 0 1.796 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 1.796 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 1.796 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 1.796 * [taylor]: Taking taylor expansion of (fabs y) in x 1.797 * [backup-simplify]: Simplify (fabs y) into (fabs y) 1.797 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 1.797 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 1.797 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 1.797 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 1.797 * [taylor]: Taking taylor expansion of (fabs y) in y 1.797 * [backup-simplify]: Simplify (fabs y) into (fabs y) 1.797 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 1.797 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 1.797 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 1.797 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 1.797 * [taylor]: Taking taylor expansion of (fabs y) in y 1.797 * [backup-simplify]: Simplify (fabs y) into (fabs y) 1.797 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 1.797 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 1.798 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 1.798 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 1.798 * [taylor]: Taking taylor expansion of (fabs y) in x 1.798 * [backup-simplify]: Simplify (fabs y) into (fabs y) 1.798 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 1.798 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 1.798 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 1.798 * [taylor]: Taking taylor expansion of 0 in x 1.798 * [backup-simplify]: Simplify 0 into 0 1.798 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 1.799 * [taylor]: Taking taylor expansion of 0 in x 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify 0 into 0 1.800 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 1.800 * [backup-simplify]: Simplify 0 into 0 1.800 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 1.800 * [taylor]: Taking taylor expansion of 0 in x 1.800 * [backup-simplify]: Simplify 0 into 0 1.800 * [backup-simplify]: Simplify 0 into 0 1.800 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 1.801 * [backup-simplify]: Simplify (/ 1 (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1.801 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (y x) around 0 1.801 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 1.801 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 1.801 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 1.801 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 1.801 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 1.801 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1.801 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 1.801 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 1.801 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 1.802 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 1.802 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 1.802 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1.802 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 1.802 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 1.802 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 1.802 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 1.802 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 1.802 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1.802 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 1.802 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 1.803 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 1.803 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 1.803 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 1.803 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1.803 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 1.804 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 1.804 * [taylor]: Taking taylor expansion of 0 in x 1.804 * [backup-simplify]: Simplify 0 into 0 1.804 * [backup-simplify]: Simplify 0 into 0 1.804 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 1.804 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 1.805 * [taylor]: Taking taylor expansion of 0 in x 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 1.805 * [backup-simplify]: Simplify 0 into 0 1.806 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 1.806 * [taylor]: Taking taylor expansion of 0 in x 1.806 * [backup-simplify]: Simplify 0 into 0 1.806 * [backup-simplify]: Simplify 0 into 0 1.806 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y)) 1.807 * [backup-simplify]: Simplify (/ 1 (/ (fabs (/ 1 (- y))) (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1.807 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (y x) around 0 1.807 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 1.807 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 1.807 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 1.807 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 1.807 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 1.807 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1.807 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 1.807 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 1.808 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 1.808 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 1.808 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 1.808 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1.808 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 1.808 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 1.808 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 1.808 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 1.808 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 1.808 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1.808 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 1.809 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 1.809 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 1.809 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 1.809 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 1.809 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1.809 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 1.810 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 1.810 * [taylor]: Taking taylor expansion of 0 in x 1.810 * [backup-simplify]: Simplify 0 into 0 1.810 * [backup-simplify]: Simplify 0 into 0 1.810 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 1.810 * [backup-simplify]: Simplify 0 into 0 1.811 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 1.811 * [taylor]: Taking taylor expansion of 0 in x 1.811 * [backup-simplify]: Simplify 0 into 0 1.811 * [backup-simplify]: Simplify 0 into 0 1.811 * [backup-simplify]: Simplify 0 into 0 1.811 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 1.811 * [backup-simplify]: Simplify 0 into 0 1.812 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 1.812 * [taylor]: Taking taylor expansion of 0 in x 1.812 * [backup-simplify]: Simplify 0 into 0 1.812 * [backup-simplify]: Simplify 0 into 0 1.813 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y)) 1.813 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.813 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 1.813 * [approximate]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in (y x) around 0 1.813 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in x 1.813 * [taylor]: Taking taylor expansion of (fabs y) in x 1.813 * [backup-simplify]: Simplify (fabs y) into (fabs y) 1.813 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 1.813 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 1.813 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 1.813 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in y 1.813 * [taylor]: Taking taylor expansion of (fabs y) in y 1.813 * [backup-simplify]: Simplify (fabs y) into (fabs y) 1.813 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 1.813 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 1.814 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 1.814 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in y 1.814 * [taylor]: Taking taylor expansion of (fabs y) in y 1.814 * [backup-simplify]: Simplify (fabs y) into (fabs y) 1.814 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 1.814 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 1.814 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 1.814 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in x 1.814 * [taylor]: Taking taylor expansion of (fabs y) in x 1.814 * [backup-simplify]: Simplify (fabs y) into (fabs y) 1.814 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 1.814 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 1.815 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 1.815 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 1.815 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))))) into 0 1.815 * [taylor]: Taking taylor expansion of 0 in x 1.815 * [backup-simplify]: Simplify 0 into 0 1.815 * [backup-simplify]: Simplify 0 into 0 1.816 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))))) into 0 1.816 * [backup-simplify]: Simplify 0 into 0 1.816 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0 1.816 * [taylor]: Taking taylor expansion of 0 in x 1.816 * [backup-simplify]: Simplify 0 into 0 1.816 * [backup-simplify]: Simplify 0 into 0 1.816 * [backup-simplify]: Simplify 0 into 0 1.817 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0 1.817 * [backup-simplify]: Simplify 0 into 0 1.818 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0 1.818 * [taylor]: Taking taylor expansion of 0 in x 1.818 * [backup-simplify]: Simplify 0 into 0 1.818 * [backup-simplify]: Simplify 0 into 0 1.818 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 1.818 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) 1.818 * [approximate]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in (y x) around 0 1.818 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in x 1.818 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 1.819 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 1.819 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 1.819 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 1.819 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) 1.819 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in y 1.819 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 1.819 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 1.819 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 1.819 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 1.819 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) 1.819 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in y 1.820 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 1.820 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 1.820 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 1.820 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 1.820 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) 1.820 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in x 1.820 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 1.820 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 1.820 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 1.820 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 1.821 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) 1.821 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) 1.821 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0 1.821 * [taylor]: Taking taylor expansion of 0 in x 1.821 * [backup-simplify]: Simplify 0 into 0 1.821 * [backup-simplify]: Simplify 0 into 0 1.822 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0 1.822 * [backup-simplify]: Simplify 0 into 0 1.823 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0 1.823 * [taylor]: Taking taylor expansion of 0 in x 1.823 * [backup-simplify]: Simplify 0 into 0 1.823 * [backup-simplify]: Simplify 0 into 0 1.823 * [backup-simplify]: Simplify 0 into 0 1.823 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0 1.823 * [backup-simplify]: Simplify 0 into 0 1.824 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 x) (/ 1 y)))) (+ (* (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0 1.824 * [taylor]: Taking taylor expansion of 0 in x 1.824 * [backup-simplify]: Simplify 0 into 0 1.824 * [backup-simplify]: Simplify 0 into 0 1.825 * [backup-simplify]: Simplify (/ (fabs (/ 1 (/ 1 y))) (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (fabs y) (fabs (- x y))) 1.825 * [backup-simplify]: Simplify (/ (fabs (/ 1 (- y))) (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) 1.825 * [approximate]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in (y x) around 0 1.825 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in x 1.825 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 1.825 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 1.825 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 1.825 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 1.825 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) 1.825 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in y 1.825 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 1.826 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 1.826 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 1.826 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 1.826 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) 1.826 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in y 1.826 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 1.826 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 1.826 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 1.826 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 1.826 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) 1.826 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in x 1.826 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 1.827 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 1.827 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 1.827 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 1.827 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) 1.827 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) 1.828 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0 1.828 * [taylor]: Taking taylor expansion of 0 in x 1.828 * [backup-simplify]: Simplify 0 into 0 1.828 * [backup-simplify]: Simplify 0 into 0 1.828 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0 1.828 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0 1.829 * [taylor]: Taking taylor expansion of 0 in x 1.829 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0 1.829 * [backup-simplify]: Simplify 0 into 0 1.831 * [backup-simplify]: Simplify (- (/ 0 (fabs (- (/ 1 y) (/ 1 x)))) (+ (* (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0 1.831 * [taylor]: Taking taylor expansion of 0 in x 1.831 * [backup-simplify]: Simplify 0 into 0 1.831 * [backup-simplify]: Simplify 0 into 0 1.831 * [backup-simplify]: Simplify (/ (fabs (/ -1 (/ 1 (- y)))) (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (fabs y) (fabs (- x y))) 1.831 * * * [progress]: simplifying candidates 1.834 * [simplify]: Simplifying: (- 1) (- (- (log (fabs y)) (log (fabs (- x y))))) (- (log (/ (fabs y) (fabs (- x y))))) (- 0 (- (log (fabs y)) (log (fabs (- x y))))) (- 0 (log (/ (fabs y) (fabs (- x y))))) (- (log 1) (- (log (fabs y)) (log (fabs (- x y))))) (- (log 1) (log (/ (fabs y) (fabs (- x y))))) (log (/ 1 (/ (fabs y) (fabs (- x y))))) (exp (/ 1 (/ (fabs y) (fabs (- x y))))) (/ (* (* 1 1) 1) (/ (* (* (fabs y) (fabs y)) (fabs y)) (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))))) (/ (* (* 1 1) 1) (* (* (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y)))) (/ (fabs y) (fabs (- x y))))) (* (cbrt (/ 1 (/ (fabs y) (fabs (- x y))))) (cbrt (/ 1 (/ (fabs y) (fabs (- x y)))))) (cbrt (/ 1 (/ (fabs y) (fabs (- x y))))) (* (* (/ 1 (/ (fabs y) (fabs (- x y)))) (/ 1 (/ (fabs y) (fabs (- x y))))) (/ 1 (/ (fabs y) (fabs (- x y))))) (sqrt (/ 1 (/ (fabs y) (fabs (- x y))))) (sqrt (/ 1 (/ (fabs y) (fabs (- x y))))) (- 1) (- (/ (fabs y) (fabs (- x y)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y)))))) (/ (cbrt 1) (cbrt (/ (fabs y) (fabs (- x y))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (fabs y) (fabs (- x y))))) (/ (cbrt 1) (sqrt (/ (fabs y) (fabs (- x y))))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (cbrt 1) (/ (cbrt (fabs y)) (cbrt (fabs (- x y))))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y))))) (/ (cbrt 1) (/ (cbrt (fabs y)) (sqrt (fabs (- x y))))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1)) (/ (cbrt 1) (/ (cbrt (fabs y)) (fabs (- x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (cbrt 1) (/ (sqrt (fabs y)) (cbrt (fabs (- x y))))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (fabs y)) (sqrt (fabs (- x y))))) (/ (cbrt 1) (/ (sqrt (fabs y)) (sqrt (fabs (- x y))))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (fabs y)) 1)) (/ (cbrt 1) (/ (sqrt (fabs y)) (fabs (- x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (cbrt 1) (/ (fabs y) (cbrt (fabs (- x y))))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (fabs (- x y))))) (/ (cbrt 1) (/ (fabs y) (sqrt (fabs (- x y))))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (fabs y) (fabs (- x y)))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ (fabs y) (fabs (- x y)))) (/ (* (cbrt 1) (cbrt 1)) (fabs y)) (/ (cbrt 1) (/ 1 (fabs (- x y)))) (/ (sqrt 1) (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y)))))) (/ (sqrt 1) (cbrt (/ (fabs y) (fabs (- x y))))) (/ (sqrt 1) (sqrt (/ (fabs y) (fabs (- x y))))) (/ (sqrt 1) (sqrt (/ (fabs y) (fabs (- x y))))) (/ (sqrt 1) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (sqrt 1) (/ (cbrt (fabs y)) (cbrt (fabs (- x y))))) (/ (sqrt 1) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y))))) (/ (sqrt 1) (/ (cbrt (fabs y)) (sqrt (fabs (- x y))))) (/ (sqrt 1) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1)) (/ (sqrt 1) (/ (cbrt (fabs y)) (fabs (- x y)))) (/ (sqrt 1) (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (sqrt 1) (/ (sqrt (fabs y)) (cbrt (fabs (- x y))))) (/ (sqrt 1) (/ (sqrt (fabs y)) (sqrt (fabs (- x y))))) (/ (sqrt 1) (/ (sqrt (fabs y)) (sqrt (fabs (- x y))))) (/ (sqrt 1) (/ (sqrt (fabs y)) 1)) (/ (sqrt 1) (/ (sqrt (fabs y)) (fabs (- x y)))) (/ (sqrt 1) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (sqrt 1) (/ (fabs y) (cbrt (fabs (- x y))))) (/ (sqrt 1) (/ 1 (sqrt (fabs (- x y))))) (/ (sqrt 1) (/ (fabs y) (sqrt (fabs (- x y))))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (fabs y) (fabs (- x y)))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ (fabs y) (fabs (- x y)))) (/ (sqrt 1) (fabs y)) (/ (sqrt 1) (/ 1 (fabs (- x y)))) (/ 1 (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y)))))) (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ 1 (/ (cbrt (fabs y)) (cbrt (fabs (- x y))))) (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y))))) (/ 1 (/ (cbrt (fabs y)) (sqrt (fabs (- x y))))) (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1)) (/ 1 (/ (cbrt (fabs y)) (fabs (- x y)))) (/ 1 (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ 1 (/ (sqrt (fabs y)) (cbrt (fabs (- x y))))) (/ 1 (/ (sqrt (fabs y)) (sqrt (fabs (- x y))))) (/ 1 (/ (sqrt (fabs y)) (sqrt (fabs (- x y))))) (/ 1 (/ (sqrt (fabs y)) 1)) (/ 1 (/ (sqrt (fabs y)) (fabs (- x y)))) (/ 1 (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ 1 (/ (fabs y) (cbrt (fabs (- x y))))) (/ 1 (/ 1 (sqrt (fabs (- x y))))) (/ 1 (/ (fabs y) (sqrt (fabs (- x y))))) (/ 1 (/ 1 1)) (/ 1 (/ (fabs y) (fabs (- x y)))) (/ 1 1) (/ 1 (/ (fabs y) (fabs (- x y)))) (/ 1 (fabs y)) (/ 1 (/ 1 (fabs (- x y)))) (/ 1 (/ (fabs y) (fabs (- x y)))) (/ (/ (fabs y) (fabs (- x y))) 1) (/ 1 (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y)))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y))))) (/ 1 (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1)) (/ 1 (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ 1 (/ (sqrt (fabs y)) (sqrt (fabs (- x y))))) (/ 1 (/ (sqrt (fabs y)) 1)) (/ 1 (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ 1 (/ 1 (sqrt (fabs (- x y))))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 (fabs y)) (/ (/ (fabs y) (fabs (- x y))) (cbrt 1)) (/ (/ (fabs y) (fabs (- x y))) (sqrt 1)) (/ (/ (fabs y) (fabs (- x y))) 1) (/ 1 (fabs y)) (- (log (fabs y)) (log (fabs (- x y)))) (log (/ (fabs y) (fabs (- x y)))) (exp (/ (fabs y) (fabs (- x y)))) (/ (* (* (fabs y) (fabs y)) (fabs y)) (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y)))) (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y))))) (cbrt (/ (fabs y) (fabs (- x y)))) (* (* (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y)))) (/ (fabs y) (fabs (- x y)))) (sqrt (/ (fabs y) (fabs (- x y)))) (sqrt (/ (fabs y) (fabs (- x y)))) (- (fabs y)) (- (fabs (- x y))) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ (cbrt (fabs y)) (cbrt (fabs (- x y)))) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) (sqrt (fabs (- x y)))) (/ (cbrt (fabs y)) (sqrt (fabs (- x y)))) (/ (* (cbrt (fabs y)) (cbrt (fabs y))) 1) (/ (cbrt (fabs y)) (fabs (- x y))) (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs y)) 1) (/ (sqrt (fabs y)) (fabs (- x y))) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ (fabs y) (cbrt (fabs (- x y)))) (/ 1 (sqrt (fabs (- x y)))) (/ (fabs y) (sqrt (fabs (- x y)))) (/ 1 1) (/ (fabs y) (fabs (- x y))) (/ 1 (fabs (- x y))) (/ (fabs (- x y)) (fabs y)) (/ (fabs y) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ (fabs y) (sqrt (fabs (- x y)))) (/ (fabs y) 1) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))) 1.842 * * [simplify]: Extracting # 0 : cost 122 inf + 0 1.843 * * [simplify]: Extracting # 1 : cost 143 inf + 0 1.843 * * [simplify]: Extracting # 2 : cost 142 inf + 196 1.844 * * [simplify]: Extracting # 3 : cost 127 inf + 1683 1.845 * * [simplify]: Extracting # 4 : cost 109 inf + 4488 1.848 * * [simplify]: Extracting # 5 : cost 49 inf + 19738 1.855 * * [simplify]: Extracting # 6 : cost 7 inf + 34009 1.861 * * [simplify]: Extracting # 7 : cost 0 inf + 36828 1.866 * * [simplify]: iteration 0 : 149 enodes (cost 41746 ) 1.912 * * [simplify]: Extracting # 0 : cost 0 inf + 36828 1.922 * * [simplify]: Extracting # 1 : cost 66 inf + 17442 1.931 * * [simplify]: Extracting # 2 : cost 0 inf + 30145 1.939 * * [simplify]: iteration 1 : 362 enodes (cost 35103 ) 2.193 * * [simplify]: Extracting # 0 : cost 0 inf + 30145 2.200 * * [simplify]: Extracting # 1 : cost 555 inf + 21993 2.224 * * [simplify]: Extracting # 2 : cost 0 inf + 122120 2.245 * * [simplify]: Extracting # 3 : cost 0 inf + 121961 2.288 * * [simplify]: iteration 2 : 1980 enodes (cost 33884 ) 4.368 * * [simplify]: Extracting # 0 : cost 0 inf + 121961 4.436 * * [simplify]: Extracting # 1 : cost 493 inf + 45427 4.484 * * [simplify]: Extracting # 2 : cost 10 inf + 136668 4.539 * * [simplify]: Extracting # 3 : cost 11 inf + 136668 4.602 * * [simplify]: Extracting # 4 : cost 10 inf + 136669 4.658 * * [simplify]: Extracting # 5 : cost 0 inf + 140034 4.700 * * [simplify]: iteration done: 5001 enodes (cost 32568 ) 4.701 * [simplify]: Simplified to: -1 (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (exp (/ (fabs (- x y)) (fabs y))) (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y))) (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y))) (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) (cbrt (/ (fabs (- x y)) (fabs y))) (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) -1 (- (/ (fabs y) (fabs (- x y)))) (/ 1 (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y)))))) (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (cbrt (fabs y)) (cbrt (fabs (- x y))))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (* (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (fabs y)) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) 1 (/ (fabs (- x y)) (fabs y)) 1 (/ (fabs (- x y)) (fabs y)) (/ 1 (fabs y)) (fabs (- x y)) (/ 1 (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y)))))) (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (cbrt (fabs y)) (cbrt (fabs (- x y))))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (* (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (fabs y)) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) 1 (/ (fabs (- x y)) (fabs y)) 1 (/ (fabs (- x y)) (fabs y)) (/ 1 (fabs y)) (fabs (- x y)) (/ 1 (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y)))))) (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (cbrt (fabs y)) (cbrt (fabs (- x y))))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (* (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (fabs y)) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) 1 (/ (fabs (- x y)) (fabs y)) 1 (/ (fabs (- x y)) (fabs y)) (/ 1 (fabs y)) (fabs (- x y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs y) (fabs (- x y))) (/ 1 (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y)))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (cbrt (fabs y)) (cbrt (fabs (- x y))))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (* (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (fabs (- x y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs (- x y))) 1 1 (/ 1 (fabs y)) (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))) (/ 1 (fabs y)) (log (/ (fabs y) (fabs (- x y)))) (log (/ (fabs y) (fabs (- x y)))) (exp (/ (fabs y) (fabs (- x y)))) (* (/ (fabs y) (fabs (- x y))) (* (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))))) (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y))))) (cbrt (/ (fabs y) (fabs (- x y)))) (* (/ (fabs y) (fabs (- x y))) (* (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))))) (sqrt (/ (fabs y) (fabs (- x y)))) (sqrt (/ (fabs y) (fabs (- x y)))) (- (fabs y)) (- (fabs (- x y))) (* (/ (cbrt (fabs y)) (cbrt (fabs (- x y)))) (/ (cbrt (fabs y)) (cbrt (fabs (- x y))))) (/ (cbrt (fabs y)) (cbrt (fabs (- x y)))) (/ (cbrt (fabs y)) (/ (sqrt (fabs (- x y))) (cbrt (fabs y)))) (/ (cbrt (fabs y)) (sqrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y))) (/ (cbrt (fabs y)) (fabs (- x y))) (/ (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (sqrt (fabs y)) (/ (sqrt (fabs y)) (fabs (- x y))) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ (fabs y) (cbrt (fabs (- x y)))) (/ 1 (sqrt (fabs (- x y)))) (/ (fabs y) (sqrt (fabs (- x y)))) 1 (/ (fabs y) (fabs (- x y))) (/ 1 (fabs (- x y))) (/ (fabs (- x y)) (fabs y)) (/ (fabs y) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ (fabs y) (sqrt (fabs (- x y)))) (fabs y) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))) 4.713 * * * [progress]: adding candidates to table 5.046 * * [progress]: iteration 3 / 4 5.046 * * * [progress]: picking best candidate 5.049 * * * * [pick]: Picked # 5.050 * * * [progress]: localizing error 5.065 * * * [progress]: generating rewritten candidates 5.065 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 5.070 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.094 * * * [progress]: generating series expansions 5.094 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 5.094 * [backup-simplify]: Simplify (/ (fabs (- x y)) (sqrt (fabs y))) into (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) 5.094 * [approximate]: Taking taylor expansion of (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) in (x y) around 0 5.094 * [taylor]: Taking taylor expansion of (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) in y 5.094 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 5.094 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 5.094 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs y))) in y 5.094 * [taylor]: Taking taylor expansion of (/ 1 (fabs y)) in y 5.094 * [taylor]: Taking taylor expansion of (fabs y) in y 5.094 * [backup-simplify]: Simplify (fabs y) into (fabs y) 5.094 * [backup-simplify]: Simplify (/ 1 (fabs y)) into (/ 1 (fabs y)) 5.094 * [backup-simplify]: Simplify (sqrt (/ 1 (fabs y))) into (sqrt (/ 1 (fabs y))) 5.094 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs y)) (/ 0 (fabs y))))) into 0 5.094 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (fabs y))))) into 0 5.094 * [taylor]: Taking taylor expansion of (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) in x 5.094 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 5.094 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 5.094 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs y))) in x 5.094 * [taylor]: Taking taylor expansion of (/ 1 (fabs y)) in x 5.094 * [taylor]: Taking taylor expansion of (fabs y) in x 5.094 * [backup-simplify]: Simplify (fabs y) into (fabs y) 5.095 * [backup-simplify]: Simplify (/ 1 (fabs y)) into (/ 1 (fabs y)) 5.095 * [backup-simplify]: Simplify (sqrt (/ 1 (fabs y))) into (sqrt (/ 1 (fabs y))) 5.095 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs y)) (/ 0 (fabs y))))) into 0 5.095 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (fabs y))))) into 0 5.095 * [taylor]: Taking taylor expansion of (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) in x 5.095 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 5.095 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 5.095 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs y))) in x 5.095 * [taylor]: Taking taylor expansion of (/ 1 (fabs y)) in x 5.095 * [taylor]: Taking taylor expansion of (fabs y) in x 5.095 * [backup-simplify]: Simplify (fabs y) into (fabs y) 5.095 * [backup-simplify]: Simplify (/ 1 (fabs y)) into (/ 1 (fabs y)) 5.095 * [backup-simplify]: Simplify (sqrt (/ 1 (fabs y))) into (sqrt (/ 1 (fabs y))) 5.095 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs y)) (/ 0 (fabs y))))) into 0 5.095 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (fabs y))))) into 0 5.095 * [backup-simplify]: Simplify (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) into (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) 5.095 * [taylor]: Taking taylor expansion of (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) in y 5.095 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 5.095 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 5.095 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs y))) in y 5.095 * [taylor]: Taking taylor expansion of (/ 1 (fabs y)) in y 5.095 * [taylor]: Taking taylor expansion of (fabs y) in y 5.096 * [backup-simplify]: Simplify (fabs y) into (fabs y) 5.096 * [backup-simplify]: Simplify (/ 1 (fabs y)) into (/ 1 (fabs y)) 5.096 * [backup-simplify]: Simplify (sqrt (/ 1 (fabs y))) into (sqrt (/ 1 (fabs y))) 5.096 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs y)) (/ 0 (fabs y))))) into 0 5.096 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (fabs y))))) into 0 5.096 * [backup-simplify]: Simplify (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) into (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) 5.096 * [backup-simplify]: Simplify (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) into (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) 5.096 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (sqrt (/ 1 (fabs y))))) into 0 5.096 * [taylor]: Taking taylor expansion of 0 in y 5.096 * [backup-simplify]: Simplify 0 into 0 5.096 * [backup-simplify]: Simplify 0 into 0 5.096 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (* 0 (sqrt (/ 1 (fabs y))))) into 0 5.096 * [backup-simplify]: Simplify 0 into 0 5.096 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 5.097 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (fabs y))))) into 0 5.098 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (fabs y)))))) into 0 5.098 * [taylor]: Taking taylor expansion of 0 in y 5.098 * [backup-simplify]: Simplify 0 into 0 5.098 * [backup-simplify]: Simplify 0 into 0 5.098 * [backup-simplify]: Simplify 0 into 0 5.098 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 5.098 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (fabs y))))) into 0 5.099 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (fabs y)))))) into 0 5.099 * [backup-simplify]: Simplify 0 into 0 5.099 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 5.100 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (fabs y))))) into 0 5.100 * [backup-simplify]: Simplify (+ (* (fabs (- x y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (fabs y))))))) into 0 5.100 * [taylor]: Taking taylor expansion of 0 in y 5.100 * [backup-simplify]: Simplify 0 into 0 5.100 * [backup-simplify]: Simplify 0 into 0 5.100 * [backup-simplify]: Simplify (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) into (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) 5.100 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (sqrt (fabs (/ 1 y)))) into (* (sqrt (/ 1 (fabs (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) 5.100 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (fabs (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0 5.101 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (fabs (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) in y 5.101 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ 1 y)))) in y 5.101 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ 1 y))) in y 5.101 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 5.101 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 5.101 * [backup-simplify]: Simplify (/ 1 (fabs (/ 1 y))) into (/ 1 (fabs (/ 1 y))) 5.101 * [backup-simplify]: Simplify (sqrt (/ 1 (fabs (/ 1 y)))) into (sqrt (/ 1 (fabs (/ 1 y)))) 5.101 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 5.101 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (fabs (/ 1 y)))))) into 0 5.101 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 5.101 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 5.101 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (fabs (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) in x 5.101 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ 1 y)))) in x 5.101 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ 1 y))) in x 5.101 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 5.101 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 5.101 * [backup-simplify]: Simplify (/ 1 (fabs (/ 1 y))) into (/ 1 (fabs (/ 1 y))) 5.101 * [backup-simplify]: Simplify (sqrt (/ 1 (fabs (/ 1 y)))) into (sqrt (/ 1 (fabs (/ 1 y)))) 5.101 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 5.101 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (fabs (/ 1 y)))))) into 0 5.102 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 5.102 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 5.102 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (fabs (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) in x 5.102 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ 1 y)))) in x 5.102 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ 1 y))) in x 5.102 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 5.102 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 5.102 * [backup-simplify]: Simplify (/ 1 (fabs (/ 1 y))) into (/ 1 (fabs (/ 1 y))) 5.102 * [backup-simplify]: Simplify (sqrt (/ 1 (fabs (/ 1 y)))) into (sqrt (/ 1 (fabs (/ 1 y)))) 5.102 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 5.102 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (fabs (/ 1 y)))))) into 0 5.102 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 5.102 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 5.102 * [backup-simplify]: Simplify (* (sqrt (/ 1 (fabs (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) into (* (sqrt (/ 1 (fabs (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) 5.102 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (fabs (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) in y 5.102 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ 1 y)))) in y 5.102 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ 1 y))) in y 5.102 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 5.102 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 5.102 * [backup-simplify]: Simplify (/ 1 (fabs (/ 1 y))) into (/ 1 (fabs (/ 1 y))) 5.103 * [backup-simplify]: Simplify (sqrt (/ 1 (fabs (/ 1 y)))) into (sqrt (/ 1 (fabs (/ 1 y)))) 5.103 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 5.103 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (fabs (/ 1 y)))))) into 0 5.103 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 5.103 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 5.103 * [backup-simplify]: Simplify (* (sqrt (/ 1 (fabs (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) into (* (sqrt (/ 1 (fabs (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) 5.103 * [backup-simplify]: Simplify (* (sqrt (/ 1 (fabs (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) into (* (sqrt (/ 1 (fabs (/ 1 y)))) (fabs (- (/ 1 x) (/ 1 y)))) 5.103 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (fabs (/ 1 y)))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0 5.103 * [taylor]: Taking taylor expansion of 0 in y 5.103 * [backup-simplify]: Simplify 0 into 0 5.103 * [backup-simplify]: Simplify 0 into 0 5.104 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (fabs (/ 1 y)))) 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))) into 0 5.104 * [backup-simplify]: Simplify 0 into 0 5.104 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 5.105 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (fabs (/ 1 y)))))) into 0 5.105 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (fabs (/ 1 y)))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y)))))) into 0 5.105 * [taylor]: Taking taylor expansion of 0 in y 5.105 * [backup-simplify]: Simplify 0 into 0 5.105 * [backup-simplify]: Simplify 0 into 0 5.105 * [backup-simplify]: Simplify 0 into 0 5.106 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 5.106 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (fabs (/ 1 y)))))) into 0 5.107 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (fabs (/ 1 y)))) 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y)))))) into 0 5.107 * [backup-simplify]: Simplify 0 into 0 5.107 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 5.108 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (fabs (/ 1 y)))))) into 0 5.108 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (fabs (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0 5.108 * [taylor]: Taking taylor expansion of 0 in y 5.108 * [backup-simplify]: Simplify 0 into 0 5.108 * [backup-simplify]: Simplify 0 into 0 5.109 * [backup-simplify]: Simplify (* (sqrt (/ 1 (fabs (/ 1 (/ 1 y))))) (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (* (sqrt (/ 1 (fabs y))) (fabs (- x y))) 5.109 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (sqrt (fabs (/ 1 (- y))))) into (* (fabs (- (/ 1 y) (/ 1 x))) (sqrt (/ 1 (fabs (/ -1 y))))) 5.109 * [approximate]: Taking taylor expansion of (* (fabs (- (/ 1 y) (/ 1 x))) (sqrt (/ 1 (fabs (/ -1 y))))) in (x y) around 0 5.109 * [taylor]: Taking taylor expansion of (* (fabs (- (/ 1 y) (/ 1 x))) (sqrt (/ 1 (fabs (/ -1 y))))) in y 5.109 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 5.109 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 5.109 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ -1 y)))) in y 5.109 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ -1 y))) in y 5.109 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 5.109 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 5.109 * [backup-simplify]: Simplify (/ 1 (fabs (/ -1 y))) into (/ 1 (fabs (/ -1 y))) 5.109 * [backup-simplify]: Simplify (sqrt (/ 1 (fabs (/ -1 y)))) into (sqrt (/ 1 (fabs (/ -1 y)))) 5.109 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 5.109 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (fabs (/ -1 y)))))) into 0 5.109 * [taylor]: Taking taylor expansion of (* (fabs (- (/ 1 y) (/ 1 x))) (sqrt (/ 1 (fabs (/ -1 y))))) in x 5.109 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 5.109 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 5.109 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ -1 y)))) in x 5.109 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ -1 y))) in x 5.109 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 5.110 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 5.110 * [backup-simplify]: Simplify (/ 1 (fabs (/ -1 y))) into (/ 1 (fabs (/ -1 y))) 5.110 * [backup-simplify]: Simplify (sqrt (/ 1 (fabs (/ -1 y)))) into (sqrt (/ 1 (fabs (/ -1 y)))) 5.110 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 5.110 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (fabs (/ -1 y)))))) into 0 5.110 * [taylor]: Taking taylor expansion of (* (fabs (- (/ 1 y) (/ 1 x))) (sqrt (/ 1 (fabs (/ -1 y))))) in x 5.110 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 5.110 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 5.110 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ -1 y)))) in x 5.110 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ -1 y))) in x 5.110 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 5.110 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 5.110 * [backup-simplify]: Simplify (/ 1 (fabs (/ -1 y))) into (/ 1 (fabs (/ -1 y))) 5.110 * [backup-simplify]: Simplify (sqrt (/ 1 (fabs (/ -1 y)))) into (sqrt (/ 1 (fabs (/ -1 y)))) 5.110 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 5.110 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (fabs (/ -1 y)))))) into 0 5.111 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (sqrt (/ 1 (fabs (/ -1 y))))) into (* (fabs (- (/ 1 y) (/ 1 x))) (sqrt (/ 1 (fabs (/ -1 y))))) 5.111 * [taylor]: Taking taylor expansion of (* (fabs (- (/ 1 y) (/ 1 x))) (sqrt (/ 1 (fabs (/ -1 y))))) in y 5.111 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 5.111 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 5.111 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ -1 y)))) in y 5.111 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ -1 y))) in y 5.111 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 5.111 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 5.111 * [backup-simplify]: Simplify (/ 1 (fabs (/ -1 y))) into (/ 1 (fabs (/ -1 y))) 5.111 * [backup-simplify]: Simplify (sqrt (/ 1 (fabs (/ -1 y)))) into (sqrt (/ 1 (fabs (/ -1 y)))) 5.111 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 5.111 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (fabs (/ -1 y)))))) into 0 5.111 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (sqrt (/ 1 (fabs (/ -1 y))))) into (* (fabs (- (/ 1 y) (/ 1 x))) (sqrt (/ 1 (fabs (/ -1 y))))) 5.111 * [backup-simplify]: Simplify (* (fabs (- (/ 1 y) (/ 1 x))) (sqrt (/ 1 (fabs (/ -1 y))))) into (* (fabs (- (/ 1 y) (/ 1 x))) (sqrt (/ 1 (fabs (/ -1 y))))) 5.112 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (sqrt (/ 1 (fabs (/ -1 y)))))) into 0 5.112 * [taylor]: Taking taylor expansion of 0 in y 5.112 * [backup-simplify]: Simplify 0 into 0 5.112 * [backup-simplify]: Simplify 0 into 0 5.112 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (* 0 (sqrt (/ 1 (fabs (/ -1 y)))))) into 0 5.112 * [backup-simplify]: Simplify 0 into 0 5.112 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 5.112 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (fabs (/ -1 y)))))) into 0 5.113 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (fabs (/ -1 y))))))) into 0 5.113 * [taylor]: Taking taylor expansion of 0 in y 5.113 * [backup-simplify]: Simplify 0 into 0 5.113 * [backup-simplify]: Simplify 0 into 0 5.113 * [backup-simplify]: Simplify 0 into 0 5.113 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 5.114 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (fabs (/ -1 y)))))) into 0 5.114 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (fabs (/ -1 y))))))) into 0 5.114 * [backup-simplify]: Simplify 0 into 0 5.114 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 5.115 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (fabs (/ -1 y)))))) into 0 5.115 * [backup-simplify]: Simplify (+ (* (fabs (- (/ 1 y) (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (fabs (/ -1 y)))))))) into 0 5.115 * [taylor]: Taking taylor expansion of 0 in y 5.115 * [backup-simplify]: Simplify 0 into 0 5.115 * [backup-simplify]: Simplify 0 into 0 5.116 * [backup-simplify]: Simplify (* (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (sqrt (/ 1 (fabs (/ -1 (/ 1 (- y))))))) into (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) 5.116 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.116 * [backup-simplify]: Simplify (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y))) into (/ (fabs (- x y)) (fabs y)) 5.116 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0 5.116 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 5.116 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 5.116 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 5.116 * [taylor]: Taking taylor expansion of (fabs y) in y 5.116 * [backup-simplify]: Simplify (fabs y) into (fabs y) 5.116 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 5.116 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 5.116 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 5.116 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 5.116 * [taylor]: Taking taylor expansion of (fabs y) in x 5.116 * [backup-simplify]: Simplify (fabs y) into (fabs y) 5.116 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 5.116 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 5.116 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 5.116 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 5.116 * [taylor]: Taking taylor expansion of (fabs y) in x 5.116 * [backup-simplify]: Simplify (fabs y) into (fabs y) 5.117 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 5.117 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 5.117 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 5.117 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 5.117 * [taylor]: Taking taylor expansion of (fabs y) in y 5.117 * [backup-simplify]: Simplify (fabs y) into (fabs y) 5.117 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 5.117 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 5.117 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 5.117 * [taylor]: Taking taylor expansion of 0 in y 5.117 * [backup-simplify]: Simplify 0 into 0 5.117 * [backup-simplify]: Simplify 0 into 0 5.117 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 5.117 * [backup-simplify]: Simplify 0 into 0 5.117 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 5.117 * [taylor]: Taking taylor expansion of 0 in y 5.117 * [backup-simplify]: Simplify 0 into 0 5.118 * [backup-simplify]: Simplify 0 into 0 5.118 * [backup-simplify]: Simplify 0 into 0 5.118 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 5.118 * [backup-simplify]: Simplify 0 into 0 5.118 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 5.118 * [taylor]: Taking taylor expansion of 0 in y 5.118 * [backup-simplify]: Simplify 0 into 0 5.118 * [backup-simplify]: Simplify 0 into 0 5.118 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 5.118 * [backup-simplify]: Simplify (/ (/ (fabs (- (/ 1 x) (/ 1 y))) (sqrt (fabs (/ 1 y)))) (sqrt (fabs (/ 1 y)))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 5.118 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0 5.118 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 5.118 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 5.118 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 5.118 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 5.118 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 5.119 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 5.119 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 5.119 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 5.119 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 5.119 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 5.119 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 5.119 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 5.119 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 5.119 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 5.119 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 5.119 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 5.119 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 5.119 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 5.119 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 5.119 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 5.119 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 5.119 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 5.119 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 5.120 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 5.120 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 5.120 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 5.120 * [taylor]: Taking taylor expansion of 0 in y 5.120 * [backup-simplify]: Simplify 0 into 0 5.120 * [backup-simplify]: Simplify 0 into 0 5.120 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 5.120 * [backup-simplify]: Simplify 0 into 0 5.120 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 5.120 * [taylor]: Taking taylor expansion of 0 in y 5.120 * [backup-simplify]: Simplify 0 into 0 5.120 * [backup-simplify]: Simplify 0 into 0 5.121 * [backup-simplify]: Simplify 0 into 0 5.121 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 5.121 * [backup-simplify]: Simplify 0 into 0 5.121 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 5.121 * [taylor]: Taking taylor expansion of 0 in y 5.121 * [backup-simplify]: Simplify 0 into 0 5.121 * [backup-simplify]: Simplify 0 into 0 5.121 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y)) 5.122 * [backup-simplify]: Simplify (/ (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (sqrt (fabs (/ 1 (- y))))) (sqrt (fabs (/ 1 (- y))))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 5.122 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0 5.122 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 5.122 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 5.122 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 5.122 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 5.122 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 5.122 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 5.122 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 5.122 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 5.122 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 5.122 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 5.122 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 5.122 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 5.122 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 5.122 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 5.122 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 5.122 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 5.122 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 5.122 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 5.122 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 5.122 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 5.123 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 5.123 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 5.123 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 5.123 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 5.123 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 5.123 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 5.123 * [taylor]: Taking taylor expansion of 0 in y 5.123 * [backup-simplify]: Simplify 0 into 0 5.123 * [backup-simplify]: Simplify 0 into 0 5.123 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 5.123 * [backup-simplify]: Simplify 0 into 0 5.124 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 5.124 * [taylor]: Taking taylor expansion of 0 in y 5.124 * [backup-simplify]: Simplify 0 into 0 5.124 * [backup-simplify]: Simplify 0 into 0 5.124 * [backup-simplify]: Simplify 0 into 0 5.124 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 5.124 * [backup-simplify]: Simplify 0 into 0 5.124 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 5.124 * [taylor]: Taking taylor expansion of 0 in y 5.124 * [backup-simplify]: Simplify 0 into 0 5.124 * [backup-simplify]: Simplify 0 into 0 5.125 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y)) 5.125 * * * [progress]: simplifying candidates 5.128 * [simplify]: Simplifying: (- (log (fabs (- x y))) (log (sqrt (fabs y)))) (log (/ (fabs (- x y)) (sqrt (fabs y)))) (exp (/ (fabs (- x y)) (sqrt (fabs y)))) (/ (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))) (* (* (sqrt (fabs y)) (sqrt (fabs y))) (sqrt (fabs y)))) (* (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (* (* (/ (fabs (- x y)) (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y)))) (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (- (fabs (- x y))) (- (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt 1)) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt 1)) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) 1) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (/ 1 (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (/ 1 (sqrt 1)) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (/ 1 1) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (sqrt (fabs y)) (fabs (- x y))) (/ (fabs (- x y)) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (fabs (- x y)) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) (sqrt 1)) (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) 1) (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs y)) (fabs (- x y))) (- (- (log (fabs (- x y))) (log (sqrt (fabs y)))) (log (sqrt (fabs y)))) (- (log (/ (fabs (- x y)) (sqrt (fabs y)))) (log (sqrt (fabs y)))) (log (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y)))) (exp (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y)))) (/ (/ (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))) (* (* (sqrt (fabs y)) (sqrt (fabs y))) (sqrt (fabs y)))) (* (* (sqrt (fabs y)) (sqrt (fabs y))) (sqrt (fabs y)))) (/ (* (* (/ (fabs (- x y)) (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y)))) (/ (fabs (- x y)) (sqrt (fabs y)))) (* (* (sqrt (fabs y)) (sqrt (fabs y))) (sqrt (fabs y)))) (* (cbrt (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y)))) (cbrt (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y))))) (cbrt (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y)))) (* (* (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y)))) (sqrt (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y)))) (sqrt (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y)))) (- (/ (fabs (- x y)) (sqrt (fabs y)))) (- (sqrt (fabs y))) (/ (* (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (* (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (* (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (sqrt 1)) (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (fabs y))) (/ (* (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) 1) (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (fabs y))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt 1)) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (fabs y))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) 1) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt 1)) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) 1) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (sqrt 1)) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) 1) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt 1)) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) 1) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt 1)) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt 1)) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt 1)) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt 1)) (sqrt 1)) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt 1)) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt 1)) 1) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt 1)) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) 1) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1) (sqrt 1)) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1) 1) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt 1)) (/ (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) 1) (/ (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (sqrt 1)) (/ (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) 1) (/ (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt 1)) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) 1) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt 1)) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt 1)) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt 1)) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt 1)) (sqrt 1)) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt 1)) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt 1)) 1) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt 1)) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) 1) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) 1) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) 1) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) 1) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) 1) (sqrt 1)) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) 1) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) 1) 1) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (fabs y))) (/ (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt 1)) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) 1) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ 1 (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ 1 (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (sqrt 1)) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (/ 1 (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) 1) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt 1)) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) 1) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ 1 (sqrt 1)) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (/ 1 (sqrt 1)) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt 1)) (sqrt 1)) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt 1)) 1) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt 1)) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) 1) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ 1 1) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (/ 1 1) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ (/ 1 1) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ 1 1) (sqrt 1)) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y))) (/ (/ 1 1) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ 1 1) 1) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ 1 (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ 1 (sqrt 1)) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ 1 1) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (fabs y))) (/ (fabs (- x y)) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ 1 (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (fabs (- x y)) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ 1 (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) (sqrt 1)) (/ (/ 1 (sqrt (fabs y))) (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) 1) (/ (/ 1 (sqrt (fabs y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (sqrt (fabs y)) (/ (fabs (- x y)) (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt 1)) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) 1) (/ (sqrt (fabs y)) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (/ (sqrt (fabs y)) (sqrt (/ (fabs (- x y)) (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y))))) (/ (sqrt (fabs y)) (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (cbrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (fabs y)) (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (cbrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (fabs y)) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y))))) (/ (sqrt (fabs y)) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (fabs y)) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (fabs y)) (/ (fabs (- x y)) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (fabs (- x y)) (sqrt (cbrt (fabs y))))) (/ (sqrt (fabs y)) (/ (fabs (- x y)) (sqrt (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (fabs (- x y)) (sqrt (fabs y)))) (/ (sqrt (fabs y)) (/ (fabs (- x y)) (sqrt (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (fabs (- x y)) (sqrt (fabs y)))) (/ (sqrt (fabs y)) (/ (fabs (- x y)) (sqrt (fabs y)))) (/ (sqrt (fabs y)) (/ 1 (sqrt (fabs y)))) (* (sqrt (fabs y)) (sqrt (fabs y))) (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) (* (sqrt (/ 1 (fabs y))) (fabs (- x y))) (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) 5.133 * * [simplify]: Extracting # 0 : cost 221 inf + 0 5.133 * * [simplify]: Extracting # 1 : cost 241 inf + 0 5.133 * * [simplify]: Extracting # 2 : cost 244 inf + 123 5.134 * * [simplify]: Extracting # 3 : cost 233 inf + 1285 5.139 * * [simplify]: Extracting # 4 : cost 178 inf + 14068 5.143 * * [simplify]: Extracting # 5 : cost 55 inf + 56427 5.149 * * [simplify]: Extracting # 6 : cost 9 inf + 75733 5.155 * * [simplify]: Extracting # 7 : cost 0 inf + 79439 5.162 * * [simplify]: iteration 0 : 248 enodes (cost 123690 ) 5.217 * * [simplify]: Extracting # 0 : cost 0 inf + 79439 5.225 * * [simplify]: Extracting # 1 : cost 85 inf + 56845 5.233 * * [simplify]: Extracting # 2 : cost 0 inf + 79289 5.243 * * [simplify]: Extracting # 3 : cost 0 inf + 79209 5.253 * * [simplify]: iteration 1 : 555 enodes (cost 113906 ) 5.450 * * [simplify]: Extracting # 0 : cost 0 inf + 79209 5.471 * * [simplify]: Extracting # 1 : cost 694 inf + 71196 5.524 * * [simplify]: Extracting # 2 : cost 0 inf + 249927 5.587 * * [simplify]: iteration 2 : 2254 enodes (cost 111385 ) 6.446 * * [simplify]: Extracting # 0 : cost 0 inf + 249927 6.509 * * [simplify]: Extracting # 1 : cost 1154 inf + 165451 6.580 * * [simplify]: Extracting # 2 : cost 6 inf + 447220 6.696 * * [simplify]: Extracting # 3 : cost 2 inf + 448343 6.786 * * [simplify]: Extracting # 4 : cost 0 inf + 449090 6.877 * * [simplify]: iteration done: 5000 enodes (cost 110425 ) 6.879 * [simplify]: Simplified to: (log (/ (fabs (- x y)) (sqrt (fabs y)))) (log (/ (fabs (- x y)) (sqrt (fabs y)))) (exp (/ (fabs (- x y)) (sqrt (fabs y)))) (/ (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))) (* (fabs y) (sqrt (fabs y)))) (* (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (* (* (/ (fabs (- x y)) (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y)))) (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (- (fabs (- x y))) (- (sqrt (fabs y))) (* (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (fabs (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (/ 1 (fabs (cbrt (fabs y)))) (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) 1 (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) 1 (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (sqrt (fabs y)) (fabs (- x y))) (/ (fabs (- x y)) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (fabs (- x y)) (fabs (cbrt (fabs y)))) (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (fabs (- x y)) (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (fabs (- x y)) (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs y)) (fabs (- x y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (exp (/ (fabs (- x y)) (fabs y))) (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y))) (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y))) (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) (cbrt (/ (fabs (- x y)) (fabs y))) (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (- (/ (fabs (- x y)) (sqrt (fabs y)))) (- (sqrt (fabs y))) (* (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (sqrt (fabs y))))) (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (* (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (fabs (cbrt (fabs y)))) (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (* (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (* (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (fabs y))) (/ (* (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (* (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (/ (cbrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (fabs y))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (fabs y))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (/ (sqrt (/ (fabs (- x y)) (sqrt (fabs y)))) (sqrt (fabs y))) (* (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (fabs (cbrt (fabs y))) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (* (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (* (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (* (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (* (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (fabs (cbrt (fabs y))) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (cbrt (sqrt (fabs y)))) (* (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (fabs (cbrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (fabs (cbrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (* (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (* (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (fabs (cbrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (fabs y)) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (fabs y)) (/ (* (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (* (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (fabs (cbrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (fabs y)) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (fabs y)) (/ (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (/ (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (fabs (- x y)) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (fabs (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ (/ 1 (fabs (cbrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ 1 (fabs (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ 1 (fabs (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (sqrt (fabs y))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ 1 (fabs (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) 1 (/ (fabs (- x y)) (fabs y)) (/ 1 (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) 1 (/ (fabs (- x y)) (fabs y)) (/ (/ 1 (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ 1 (fabs (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) 1 (/ (fabs (- x y)) (fabs y)) (/ 1 (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) 1 (/ (fabs (- x y)) (fabs y)) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (sqrt (fabs y))) (/ 1 (fabs (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) 1 (/ (fabs (- x y)) (fabs y)) (/ 1 (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) 1 (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ 1 (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (fabs (- x y)) (fabs (cbrt (fabs y)))) (/ (/ 1 (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (fabs (- x y)) (/ 1 (fabs y)) (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (fabs (- x y)) (/ 1 (fabs y)) (/ 1 (sqrt (fabs y))) (/ (fabs y) (fabs (- x y))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (fabs (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (sqrt (fabs y)) (cbrt (/ (fabs (- x y)) (sqrt (fabs y))))) (/ (sqrt (fabs y)) (sqrt (/ (fabs (- x y)) (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (cbrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (cbrt (fabs (- x y))) (sqrt (cbrt (fabs y))))) (/ (sqrt (fabs y)) (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (/ (fabs y) (cbrt (fabs (- x y)))) (/ (sqrt (fabs y)) (/ (cbrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (/ (fabs y) (cbrt (fabs (- x y)))) (/ (sqrt (fabs y)) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y))))) (/ (sqrt (fabs y)) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (/ (fabs y) (sqrt (fabs (- x y)))) (/ (sqrt (fabs y)) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (/ (fabs y) (sqrt (fabs (- x y)))) (/ (sqrt (fabs y)) (/ (fabs (- x y)) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs y)) (/ (fabs (- x y)) (sqrt (cbrt (fabs y))))) (/ (sqrt (fabs y)) (/ (fabs (- x y)) (sqrt (sqrt (fabs y))))) (/ (fabs y) (fabs (- x y))) (/ (sqrt (fabs y)) (/ (fabs (- x y)) (sqrt (sqrt (fabs y))))) (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))) (fabs y) (fabs y) (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) (* (fabs (- x y)) (sqrt (/ 1 (fabs y)))) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) 6.910 * * * [progress]: adding candidates to table 7.750 * [progress]: [Phase 3 of 3] Extracting. 7.750 * * [regime]: Finding splitpoints for: (# # #) 7.751 * * * [regime-changes]: Trying 3 branch expressions: ((/ (fabs (- x y)) (fabs y)) y x) 7.751 * * * * [regimes]: Trying to branch on (/ (fabs (- x y)) (fabs y)) from (# # #) 7.786 * * * * [regimes]: Trying to branch on y from (# # #) 7.817 * * * * [regimes]: Trying to branch on x from (# # #) 7.854 * * * [regime]: Found split indices: #