1.495 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.033 * [progress]: [Phase 2 of 3] Improving. 0.033 * [simplify]: Simplifying: (/ (fabs (- x y)) (fabs y)) 0.033 * * [simplify]: Extracting # 0 : cost 0 0.033 * * [simplify]: Extracting # 1 : cost 0 0.033 * * [simplify]: Extracting # 2 : cost 0 0.033 * * [simplify]: Extracting # 3 : cost 0 0.033 * * [simplify]: Extracting # 4 : cost 0 0.033 * * [simplify]: Extracting # 5 : cost 0 0.033 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.035 * * [simplify]: Extracting # 0 : cost 0 0.035 * * [simplify]: Extracting # 1 : cost 0 0.035 * * [simplify]: Extracting # 2 : cost 0 0.035 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 0.037 * * [simplify]: Extracting # 0 : cost 0 0.037 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: iteration done: 9 enodes (cost 7 ) 0.040 * [simplify]: Simplified to: (/ (fabs (- x y)) (fabs y)) 0.040 * * [progress]: iteration 1 / 4 0.040 * * * [progress]: picking best candidate 0.044 * * * * [pick]: Picked # 0.044 * * * [progress]: localizing error 0.057 * * * [progress]: generating rewritten candidates 0.057 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.064 * * * [progress]: generating series expansions 0.064 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.064 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.064 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0 0.064 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 0.064 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 0.064 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.064 * [taylor]: Taking taylor expansion of (fabs y) in y 0.065 * [backup-simplify]: Simplify (fabs y) into (fabs y) 0.065 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.065 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 0.065 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 0.065 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.065 * [taylor]: Taking taylor expansion of (fabs y) in x 0.065 * [backup-simplify]: Simplify (fabs y) into (fabs y) 0.065 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.065 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 0.065 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 0.065 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.065 * [taylor]: Taking taylor expansion of (fabs y) in x 0.065 * [backup-simplify]: Simplify (fabs y) into (fabs y) 0.065 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.065 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 0.065 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 0.065 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 0.065 * [taylor]: Taking taylor expansion of (fabs y) in y 0.065 * [backup-simplify]: Simplify (fabs y) into (fabs y) 0.065 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.065 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.066 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 0.066 * [taylor]: Taking taylor expansion of 0 in y 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 0.066 * [taylor]: Taking taylor expansion of 0 in y 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 0.066 * [backup-simplify]: Simplify 0 into 0 0.067 * [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.067 * [taylor]: Taking taylor expansion of 0 in y 0.067 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 0.067 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.067 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0 0.067 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 0.067 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 0.067 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.067 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 0.067 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 0.067 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.067 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 0.067 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 0.067 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.067 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 0.067 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 0.068 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.068 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 0.068 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 0.068 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.068 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 0.068 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 0.068 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.068 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 0.068 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 0.068 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 0.068 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 0.068 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 0.068 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.068 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 0.069 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 0.069 * [taylor]: Taking taylor expansion of 0 in y 0.069 * [backup-simplify]: Simplify 0 into 0 0.069 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 0.076 * [backup-simplify]: Simplify 0 into 0 0.077 * [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.077 * [taylor]: Taking taylor expansion of 0 in y 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [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.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [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.077 * [taylor]: Taking taylor expansion of 0 in y 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y)) 0.078 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (- x)) (/ 1 (- y)))) (fabs (/ 1 (- y)))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.078 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0 0.078 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 0.078 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 0.078 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 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 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.078 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 0.078 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 0.078 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.078 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 0.078 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 0.078 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.078 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 0.078 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 0.079 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.079 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 0.079 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 0.079 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.079 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 0.079 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 0.079 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 0.079 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 0.079 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 0.079 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.079 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 0.079 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 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 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [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.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 y) (/ 1 x))) (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 y) (/ 1 x))) (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 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y)) 0.081 * * * [progress]: simplifying candidates 0.082 * [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.082 * * [simplify]: Extracting # 0 : cost 0 0.082 * * [simplify]: Extracting # 1 : cost 0 0.082 * * [simplify]: Extracting # 2 : cost 0 0.082 * * [simplify]: Extracting # 3 : cost 0 0.083 * * [simplify]: Extracting # 4 : cost 0 0.083 * * [simplify]: Extracting # 5 : cost 0 0.083 * * [simplify]: Extracting # 6 : cost 0 0.083 * * [simplify]: Extracting # 7 : cost 0 0.083 * * [simplify]: iteration 0 : 52 enodes (cost 369 ) 0.101 * * [simplify]: Extracting # 0 : cost 0 0.101 * * [simplify]: Extracting # 1 : cost 0 0.101 * * [simplify]: Extracting # 2 : cost 0 0.102 * * [simplify]: iteration 1 : 86 enodes (cost 360 ) 0.134 * * [simplify]: Extracting # 0 : cost 0 0.134 * * [simplify]: Extracting # 1 : cost 0 0.134 * * [simplify]: Extracting # 2 : cost 0 0.134 * * [simplify]: Extracting # 3 : cost 0 0.134 * * [simplify]: iteration 2 : 179 enodes (cost 332 ) 0.191 * * [simplify]: Extracting # 0 : cost 0 0.191 * * [simplify]: Extracting # 1 : cost 0 0.192 * * [simplify]: Extracting # 2 : cost 0 0.192 * * [simplify]: Extracting # 3 : cost 0 0.192 * * [simplify]: Extracting # 4 : cost 0 0.193 * * [simplify]: iteration 3 : 330 enodes (cost 332 ) 0.385 * * [simplify]: Extracting # 0 : cost 0 0.385 * * [simplify]: Extracting # 1 : cost 0 0.386 * * [simplify]: Extracting # 2 : cost 0 0.386 * * [simplify]: Extracting # 3 : cost 0 0.386 * * [simplify]: Extracting # 4 : cost 0 0.387 * * [simplify]: iteration 4 : 551 enodes (cost 332 ) 0.759 * * [simplify]: Extracting # 0 : cost 0 0.760 * * [simplify]: Extracting # 1 : cost 0 0.760 * * [simplify]: Extracting # 2 : cost 0 0.761 * * [simplify]: Extracting # 3 : cost 0 0.762 * * [simplify]: Extracting # 4 : cost 0 0.762 * * [simplify]: iteration 5 : 867 enodes (cost 332 ) 1.859 * * [simplify]: Extracting # 0 : cost 0 1.861 * * [simplify]: Extracting # 1 : cost 0 1.868 * * [simplify]: Extracting # 2 : cost 0 1.870 * * [simplify]: Extracting # 3 : cost 0 1.872 * * [simplify]: iteration 6 : 2008 enodes (cost 332 ) 3.603 * * [simplify]: Extracting # 0 : cost 0 3.611 * * [simplify]: Extracting # 1 : cost 0 3.617 * * [simplify]: Extracting # 2 : cost 0 3.626 * * [simplify]: iteration done: 5000 enodes (cost 332 ) 3.627 * [simplify]: Simplified to: (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (exp (/ (fabs (- x y)) (fabs y))) (pow (/ (fabs (- x y)) (fabs y)) 3) (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) (cbrt (/ (fabs (- x y)) (fabs y))) (pow (/ (fabs (- x y)) (fabs y)) 3) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (- (fabs (- x y))) (- (fabs y)) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (fabs y)) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) 1 (/ (fabs (- x y)) (fabs y)) (/ 1 (fabs y)) (/ (fabs y) (fabs (- x y))) (/ (fabs (- x y)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (sqrt (fabs y))) (fabs (- x y)) (/ (fabs y) (cbrt (fabs (- x y)))) (/ (fabs y) (sqrt (fabs (- x y)))) (/ (fabs y) (fabs (- x y))) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) 3.627 * * * [progress]: adding candidates to table 3.716 * * [progress]: iteration 2 / 4 3.716 * * * [progress]: picking best candidate 3.720 * * * * [pick]: Picked # 3.720 * * * [progress]: localizing error 3.728 * * * [progress]: generating rewritten candidates 3.728 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.739 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 3.749 * * * [progress]: generating series expansions 3.749 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.749 * [backup-simplify]: Simplify (/ 1 (/ (fabs y) (fabs (- x y)))) into (/ (fabs (- x y)) (fabs y)) 3.749 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (y x) around 0 3.749 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 3.749 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.749 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.749 * [taylor]: Taking taylor expansion of (fabs y) in x 3.749 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.749 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.749 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 3.749 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.749 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.749 * [taylor]: Taking taylor expansion of (fabs y) in y 3.749 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.749 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.749 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 3.749 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.749 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.749 * [taylor]: Taking taylor expansion of (fabs y) in y 3.750 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.750 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.750 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 3.750 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.750 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.750 * [taylor]: Taking taylor expansion of (fabs y) in x 3.750 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.750 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.750 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.750 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 3.750 * [taylor]: Taking taylor expansion of 0 in x 3.750 * [backup-simplify]: Simplify 0 into 0 3.750 * [backup-simplify]: Simplify 0 into 0 3.750 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 3.750 * [backup-simplify]: Simplify 0 into 0 3.751 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 3.751 * [taylor]: Taking taylor expansion of 0 in x 3.751 * [backup-simplify]: Simplify 0 into 0 3.751 * [backup-simplify]: Simplify 0 into 0 3.751 * [backup-simplify]: Simplify 0 into 0 3.751 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 3.751 * [backup-simplify]: Simplify 0 into 0 3.751 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 3.751 * [taylor]: Taking taylor expansion of 0 in x 3.751 * [backup-simplify]: Simplify 0 into 0 3.751 * [backup-simplify]: Simplify 0 into 0 3.751 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 3.751 * [backup-simplify]: Simplify (/ 1 (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y))))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.751 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (y x) around 0 3.751 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 3.751 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.752 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.752 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.752 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.752 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.752 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 3.752 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.752 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.752 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.752 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.752 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.752 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 3.752 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.752 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.752 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.752 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.752 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.752 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 3.753 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.753 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.753 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.753 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.753 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.753 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 3.753 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 3.753 * [taylor]: Taking taylor expansion of 0 in x 3.753 * [backup-simplify]: Simplify 0 into 0 3.753 * [backup-simplify]: Simplify 0 into 0 3.753 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 3.753 * [backup-simplify]: Simplify 0 into 0 3.754 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 3.754 * [taylor]: Taking taylor expansion of 0 in x 3.754 * [backup-simplify]: Simplify 0 into 0 3.754 * [backup-simplify]: Simplify 0 into 0 3.754 * [backup-simplify]: Simplify 0 into 0 3.754 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 3.754 * [backup-simplify]: Simplify 0 into 0 3.755 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))) (* 0 (/ 0 (fabs (/ 1 y)))))) into 0 3.755 * [taylor]: Taking taylor expansion of 0 in x 3.755 * [backup-simplify]: Simplify 0 into 0 3.755 * [backup-simplify]: Simplify 0 into 0 3.755 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y)) 3.755 * [backup-simplify]: Simplify (/ 1 (/ (fabs (/ 1 (- y))) (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.755 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (y x) around 0 3.755 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 3.755 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.756 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.756 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.756 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.756 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.756 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 3.756 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.756 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.756 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.756 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.756 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.756 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 3.756 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.756 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.756 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.756 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.756 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.756 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 3.756 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.757 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.757 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.757 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.757 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.757 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 3.757 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 3.757 * [taylor]: Taking taylor expansion of 0 in x 3.757 * [backup-simplify]: Simplify 0 into 0 3.757 * [backup-simplify]: Simplify 0 into 0 3.758 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 3.758 * [backup-simplify]: Simplify 0 into 0 3.758 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 3.758 * [taylor]: Taking taylor expansion of 0 in x 3.758 * [backup-simplify]: Simplify 0 into 0 3.758 * [backup-simplify]: Simplify 0 into 0 3.758 * [backup-simplify]: Simplify 0 into 0 3.758 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 3.758 * [backup-simplify]: Simplify 0 into 0 3.759 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))) (* 0 (/ 0 (fabs (/ -1 y)))))) into 0 3.759 * [taylor]: Taking taylor expansion of 0 in x 3.759 * [backup-simplify]: Simplify 0 into 0 3.759 * [backup-simplify]: Simplify 0 into 0 3.759 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y)) 3.759 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 3.759 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 3.759 * [approximate]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in (y x) around 0 3.759 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in x 3.759 * [taylor]: Taking taylor expansion of (fabs y) in x 3.759 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.759 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.759 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.759 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 3.759 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in y 3.759 * [taylor]: Taking taylor expansion of (fabs y) in y 3.759 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.759 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.759 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.759 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 3.759 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in y 3.759 * [taylor]: Taking taylor expansion of (fabs y) in y 3.760 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.760 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.760 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.760 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 3.760 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in x 3.760 * [taylor]: Taking taylor expansion of (fabs y) in x 3.760 * [backup-simplify]: Simplify (fabs y) into (fabs y) 3.760 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.760 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 3.760 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 3.760 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 3.760 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))))) into 0 3.760 * [taylor]: Taking taylor expansion of 0 in x 3.760 * [backup-simplify]: Simplify 0 into 0 3.760 * [backup-simplify]: Simplify 0 into 0 3.760 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))))) into 0 3.761 * [backup-simplify]: Simplify 0 into 0 3.761 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0 3.761 * [taylor]: Taking taylor expansion of 0 in x 3.761 * [backup-simplify]: Simplify 0 into 0 3.761 * [backup-simplify]: Simplify 0 into 0 3.761 * [backup-simplify]: Simplify 0 into 0 3.761 * [backup-simplify]: Simplify (- (/ 0 (fabs (- x y))) (+ (* (/ (fabs y) (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0 3.761 * [backup-simplify]: Simplify 0 into 0 3.761 * [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 3.761 * [taylor]: Taking taylor expansion of 0 in x 3.761 * [backup-simplify]: Simplify 0 into 0 3.761 * [backup-simplify]: Simplify 0 into 0 3.762 * [backup-simplify]: Simplify (/ (fabs y) (fabs (- x y))) into (/ (fabs y) (fabs (- x y))) 3.762 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) 3.762 * [approximate]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in (y x) around 0 3.762 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in x 3.762 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.762 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.762 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.762 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.762 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) 3.762 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in y 3.762 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.762 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.762 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.762 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.762 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) 3.762 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in y 3.762 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.762 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.762 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.762 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.763 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) 3.763 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in x 3.763 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.763 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 3.763 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.763 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 3.763 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) 3.763 * [backup-simplify]: Simplify (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) into (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) 3.763 * [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 3.763 * [taylor]: Taking taylor expansion of 0 in x 3.763 * [backup-simplify]: Simplify 0 into 0 3.763 * [backup-simplify]: Simplify 0 into 0 3.764 * [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 3.764 * [backup-simplify]: Simplify 0 into 0 3.764 * [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 3.764 * [taylor]: Taking taylor expansion of 0 in x 3.764 * [backup-simplify]: Simplify 0 into 0 3.764 * [backup-simplify]: Simplify 0 into 0 3.764 * [backup-simplify]: Simplify 0 into 0 3.765 * [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 3.765 * [backup-simplify]: Simplify 0 into 0 3.765 * [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 3.765 * [taylor]: Taking taylor expansion of 0 in x 3.765 * [backup-simplify]: Simplify 0 into 0 3.765 * [backup-simplify]: Simplify 0 into 0 3.765 * [backup-simplify]: Simplify (/ (fabs (/ 1 (/ 1 y))) (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (fabs y) (fabs (- x y))) 3.766 * [backup-simplify]: Simplify (/ (fabs (/ 1 (- y))) (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) 3.766 * [approximate]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in (y x) around 0 3.766 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in x 3.766 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.766 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.766 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.766 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.766 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) 3.766 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in y 3.766 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.766 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.766 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.766 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.766 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) 3.766 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in y 3.766 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.766 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.766 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.766 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.766 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) 3.767 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in x 3.767 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.767 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 3.767 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.767 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 3.767 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) 3.767 * [backup-simplify]: Simplify (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) into (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) 3.767 * [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 3.767 * [taylor]: Taking taylor expansion of 0 in x 3.767 * [backup-simplify]: Simplify 0 into 0 3.767 * [backup-simplify]: Simplify 0 into 0 3.768 * [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 3.768 * [backup-simplify]: Simplify 0 into 0 3.768 * [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 3.768 * [taylor]: Taking taylor expansion of 0 in x 3.768 * [backup-simplify]: Simplify 0 into 0 3.768 * [backup-simplify]: Simplify 0 into 0 3.768 * [backup-simplify]: Simplify 0 into 0 3.769 * [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 3.769 * [backup-simplify]: Simplify 0 into 0 3.769 * [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 3.769 * [taylor]: Taking taylor expansion of 0 in x 3.769 * [backup-simplify]: Simplify 0 into 0 3.769 * [backup-simplify]: Simplify 0 into 0 3.769 * [backup-simplify]: Simplify (/ (fabs (/ -1 (/ 1 (- y)))) (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (fabs y) (fabs (- x y))) 3.769 * * * [progress]: simplifying candidates 3.771 * [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))) 3.773 * * [simplify]: Extracting # 0 : cost 0 3.774 * * [simplify]: Extracting # 1 : cost 0 3.774 * * [simplify]: Extracting # 2 : cost 0 3.774 * * [simplify]: Extracting # 3 : cost 0 3.774 * * [simplify]: Extracting # 4 : cost 0 3.774 * * [simplify]: Extracting # 5 : cost 0 3.774 * * [simplify]: Extracting # 6 : cost 0 3.775 * * [simplify]: Extracting # 7 : cost 0 3.775 * * [simplify]: iteration 0 : 149 enodes (cost 1745 ) 3.824 * * [simplify]: Extracting # 0 : cost 0 3.824 * * [simplify]: Extracting # 1 : cost 0 3.824 * * [simplify]: Extracting # 2 : cost 0 3.825 * * [simplify]: iteration 1 : 297 enodes (cost 1531 ) 3.874 * * [simplify]: Extracting # 0 : cost 0 3.875 * * [simplify]: Extracting # 1 : cost 0 3.875 * * [simplify]: Extracting # 2 : cost 0 3.875 * * [simplify]: Extracting # 3 : cost 0 3.876 * * [simplify]: Extracting # 4 : cost 0 3.876 * * [simplify]: iteration 2 : 557 enodes (cost 1356 ) 4.263 * * [simplify]: Extracting # 0 : cost 0 4.264 * * [simplify]: Extracting # 1 : cost 0 4.265 * * [simplify]: Extracting # 2 : cost 0 4.266 * * [simplify]: Extracting # 3 : cost 0 4.266 * * [simplify]: Extracting # 4 : cost 0 4.267 * * [simplify]: Extracting # 5 : cost 0 4.268 * * [simplify]: Extracting # 6 : cost 0 4.269 * * [simplify]: iteration 3 : 1202 enodes (cost 1338 ) 5.831 * * [simplify]: Extracting # 0 : cost 0 5.839 * * [simplify]: Extracting # 1 : cost 0 5.840 * * [simplify]: Extracting # 2 : cost 0 5.841 * * [simplify]: Extracting # 3 : cost 0 5.842 * * [simplify]: Extracting # 4 : cost 0 5.843 * * [simplify]: iteration 4 : 2244 enodes (cost 1338 ) 9.378 * * [simplify]: Extracting # 0 : cost 0 9.381 * * [simplify]: Extracting # 1 : cost 0 9.383 * * [simplify]: Extracting # 2 : cost 0 9.385 * * [simplify]: Extracting # 3 : cost 0 9.386 * * [simplify]: Extracting # 4 : cost 0 9.388 * * [simplify]: iteration 5 : 3808 enodes (cost 1338 ) 10.974 * * [simplify]: Extracting # 0 : cost 0 10.977 * * [simplify]: Extracting # 1 : cost 0 10.980 * * [simplify]: Extracting # 2 : cost 0 10.984 * * [simplify]: iteration done: 5002 enodes (cost 1338 ) 10.984 * [simplify]: Simplified to: -1 (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (exp (/ (fabs (- x y)) (fabs y))) (pow (/ (fabs (- x y)) (fabs y)) 3) (pow (/ (fabs (- x y)) (fabs y)) 3) (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) (cbrt (/ (fabs (- x y)) (fabs y))) (pow (/ (fabs (- x y)) (fabs y)) 3) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) -1 (- (/ (fabs y) (fabs (- x y)))) (/ (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (cbrt (/ (fabs y) (fabs (- x y))))) (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ (/ 1 (cbrt (fabs y))) (cbrt (fabs y))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (fabs y)) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) 1 (/ (fabs (- x y)) (fabs y)) 1 (/ (fabs (- x y)) (fabs y)) (/ 1 (fabs y)) (fabs (- x y)) (/ (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (cbrt (/ (fabs y) (fabs (- x y))))) (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ (/ 1 (cbrt (fabs y))) (cbrt (fabs y))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (fabs y)) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) 1 (/ (fabs (- x y)) (fabs y)) 1 (/ (fabs (- x y)) (fabs y)) (/ 1 (fabs y)) (fabs (- x y)) (/ (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (cbrt (/ (fabs y) (fabs (- x y))))) (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ (/ 1 (cbrt (fabs y))) (cbrt (fabs y))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (fabs y)) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) 1 (/ (fabs (- x y)) (fabs y)) 1 (/ (fabs (- x y)) (fabs y)) (/ 1 (fabs y)) (fabs (- x y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs y) (fabs (- x y))) (/ (/ 1 (cbrt (/ (fabs y) (fabs (- x y))))) (cbrt (/ (fabs y) (fabs (- x y))))) (/ 1 (sqrt (/ (fabs y) (fabs (- x y))))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (/ 1 (cbrt (fabs y))) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs (- x y))) 1 1 (/ 1 (fabs y)) (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))) (/ 1 (fabs y)) (log (/ (fabs y) (fabs (- x y)))) (log (/ (fabs y) (fabs (- x y)))) (exp (/ (fabs y) (fabs (- x y)))) (pow (/ (fabs y) (fabs (- x y))) 3) (* (cbrt (/ (fabs y) (fabs (- x y)))) (cbrt (/ (fabs y) (fabs (- x y))))) (cbrt (/ (fabs y) (fabs (- x y)))) (pow (/ (fabs y) (fabs (- x y))) 3) (sqrt (/ (fabs y) (fabs (- x y)))) (sqrt (/ (fabs y) (fabs (- x y)))) (- (fabs y)) (- (fabs (- x y))) (* (/ (/ (cbrt (fabs y)) (cbrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (cbrt (fabs y))) (/ (cbrt (fabs y)) (cbrt (fabs (- x y)))) (* (/ (cbrt (fabs y)) (sqrt (fabs (- x y)))) (cbrt (fabs y))) (/ (cbrt (fabs y)) (sqrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y))) (/ (cbrt (fabs y)) (fabs (- x y))) (/ (sqrt (fabs y)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (sqrt (fabs y)) (/ (sqrt (fabs y)) (fabs (- x y))) (/ (/ 1 (cbrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (/ (fabs y) (cbrt (fabs (- x y)))) (/ 1 (sqrt (fabs (- x y)))) (/ (fabs y) (sqrt (fabs (- x y)))) 1 (/ (fabs y) (fabs (- x y))) (/ 1 (fabs (- x y))) (/ (fabs (- x y)) (fabs y)) (/ (fabs y) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ (fabs y) (sqrt (fabs (- x y)))) (fabs y) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))) 10.985 * * * [progress]: adding candidates to table 11.219 * * [progress]: iteration 3 / 4 11.219 * * * [progress]: picking best candidate 11.221 * * * * [pick]: Picked # 11.221 * * * [progress]: localizing error 11.231 * * * [progress]: generating rewritten candidates 11.231 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 11.259 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 11.281 * * * [progress]: generating series expansions 11.281 * * * * [progress]: [ 1 / 2 ] generating series at (2) 11.281 * [backup-simplify]: Simplify (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y)))) into (/ (fabs (- x y)) (fabs y)) 11.281 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (y x) around 0 11.281 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 11.281 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 11.282 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 11.282 * [taylor]: Taking taylor expansion of (fabs y) in x 11.282 * [backup-simplify]: Simplify (fabs y) into (fabs y) 11.282 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 11.282 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 11.282 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 11.282 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 11.282 * [taylor]: Taking taylor expansion of (fabs y) in y 11.282 * [backup-simplify]: Simplify (fabs y) into (fabs y) 11.282 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 11.282 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 11.282 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 11.282 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 11.282 * [taylor]: Taking taylor expansion of (fabs y) in y 11.283 * [backup-simplify]: Simplify (fabs y) into (fabs y) 11.283 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 11.283 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 11.283 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 11.283 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 11.283 * [taylor]: Taking taylor expansion of (fabs y) in x 11.283 * [backup-simplify]: Simplify (fabs y) into (fabs y) 11.283 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 11.283 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 11.284 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 11.284 * [taylor]: Taking taylor expansion of 0 in x 11.284 * [backup-simplify]: Simplify 0 into 0 11.284 * [backup-simplify]: Simplify 0 into 0 11.284 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))))) into 0 11.284 * [backup-simplify]: Simplify 0 into 0 11.285 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 11.285 * [taylor]: Taking taylor expansion of 0 in x 11.285 * [backup-simplify]: Simplify 0 into 0 11.285 * [backup-simplify]: Simplify 0 into 0 11.285 * [backup-simplify]: Simplify 0 into 0 11.285 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 11.285 * [backup-simplify]: Simplify 0 into 0 11.286 * [backup-simplify]: Simplify (- (/ 0 (fabs y)) (+ (* (/ (fabs (- x y)) (fabs y)) (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))) (* 0 (/ 0 (fabs y))))) into 0 11.286 * [taylor]: Taking taylor expansion of 0 in x 11.286 * [backup-simplify]: Simplify 0 into 0 11.286 * [backup-simplify]: Simplify 0 into 0 11.286 * [backup-simplify]: Simplify (/ (fabs (- x y)) (fabs y)) into (/ (fabs (- x y)) (fabs y)) 11.286 * [backup-simplify]: Simplify (/ (/ 1 (fabs (/ 1 y))) (/ 1 (fabs (- (/ 1 x) (/ 1 y))))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 11.286 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (y x) around 0 11.286 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 11.286 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 11.286 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 11.287 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 11.287 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 11.287 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 11.287 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 11.287 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 11.287 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 11.287 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 11.287 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 11.287 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 11.287 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 11.288 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 11.288 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 11.288 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 11.288 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 11.288 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 11.288 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 11.288 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 11.288 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 11.288 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 11.288 * [backup-simplify]: Simplify (fabs (/ 1 y)) into (fabs (/ 1 y)) 11.289 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 11.289 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) into (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) 11.290 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 11.290 * [taylor]: Taking taylor expansion of 0 in x 11.290 * [backup-simplify]: Simplify 0 into 0 11.290 * [backup-simplify]: Simplify 0 into 0 11.290 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ 1 y))) (+ (* (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) (/ 0 (fabs (/ 1 y)))))) into 0 11.290 * [backup-simplify]: Simplify 0 into 0 11.291 * [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 11.291 * [taylor]: Taking taylor expansion of 0 in x 11.291 * [backup-simplify]: Simplify 0 into 0 11.291 * [backup-simplify]: Simplify 0 into 0 11.291 * [backup-simplify]: Simplify 0 into 0 11.292 * [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 11.292 * [backup-simplify]: Simplify 0 into 0 11.292 * [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 11.293 * [taylor]: Taking taylor expansion of 0 in x 11.293 * [backup-simplify]: Simplify 0 into 0 11.293 * [backup-simplify]: Simplify 0 into 0 11.293 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (fabs (/ 1 (/ 1 y)))) into (/ (fabs (- x y)) (fabs y)) 11.293 * [backup-simplify]: Simplify (/ (/ 1 (fabs (/ 1 (- y)))) (/ 1 (fabs (- (/ 1 (- x)) (/ 1 (- y)))))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 11.293 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (y x) around 0 11.293 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 11.293 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 11.294 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 11.294 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 11.294 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 11.294 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 11.294 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 11.294 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 11.294 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 11.294 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 11.294 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 11.294 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 11.295 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 11.295 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 11.295 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 11.295 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 11.295 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 11.295 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 11.295 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 11.295 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 11.295 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 11.295 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 11.296 * [backup-simplify]: Simplify (fabs (/ -1 y)) into (fabs (/ -1 y)) 11.296 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 11.296 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) into (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) 11.297 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 11.297 * [taylor]: Taking taylor expansion of 0 in x 11.297 * [backup-simplify]: Simplify 0 into 0 11.297 * [backup-simplify]: Simplify 0 into 0 11.297 * [backup-simplify]: Simplify (- (/ 0 (fabs (/ -1 y))) (+ (* (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) (/ 0 (fabs (/ -1 y)))))) into 0 11.297 * [backup-simplify]: Simplify 0 into 0 11.298 * [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 11.298 * [taylor]: Taking taylor expansion of 0 in x 11.298 * [backup-simplify]: Simplify 0 into 0 11.298 * [backup-simplify]: Simplify 0 into 0 11.298 * [backup-simplify]: Simplify 0 into 0 11.298 * [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 11.298 * [backup-simplify]: Simplify 0 into 0 11.299 * [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 11.299 * [taylor]: Taking taylor expansion of 0 in x 11.299 * [backup-simplify]: Simplify 0 into 0 11.299 * [backup-simplify]: Simplify 0 into 0 11.300 * [backup-simplify]: Simplify (/ (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (fabs (/ -1 (/ 1 (- y))))) into (/ (fabs (- x y)) (fabs y)) 11.300 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 11.300 * [backup-simplify]: Simplify (/ 1 (fabs (- x y))) into (/ 1 (fabs (- x y))) 11.300 * [approximate]: Taking taylor expansion of (/ 1 (fabs (- x y))) in (x y) around 0 11.300 * [taylor]: Taking taylor expansion of (/ 1 (fabs (- x y))) in y 11.300 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 11.300 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 11.300 * [backup-simplify]: Simplify (/ 1 (fabs (- x y))) into (/ 1 (fabs (- x y))) 11.300 * [taylor]: Taking taylor expansion of (/ 1 (fabs (- x y))) in x 11.300 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 11.300 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 11.300 * [backup-simplify]: Simplify (/ 1 (fabs (- x y))) into (/ 1 (fabs (- x y))) 11.300 * [taylor]: Taking taylor expansion of (/ 1 (fabs (- x y))) in x 11.300 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 11.301 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 11.301 * [backup-simplify]: Simplify (/ 1 (fabs (- x y))) into (/ 1 (fabs (- x y))) 11.301 * [taylor]: Taking taylor expansion of (/ 1 (fabs (- x y))) in y 11.301 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 11.301 * [backup-simplify]: Simplify (fabs (- x y)) into (fabs (- x y)) 11.301 * [backup-simplify]: Simplify (/ 1 (fabs (- x y))) into (/ 1 (fabs (- x y))) 11.301 * [backup-simplify]: Simplify (/ 1 (fabs (- x y))) into (/ 1 (fabs (- x y))) 11.301 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (- x y))) (/ 0 (fabs (- x y)))))) into 0 11.301 * [taylor]: Taking taylor expansion of 0 in y 11.301 * [backup-simplify]: Simplify 0 into 0 11.302 * [backup-simplify]: Simplify 0 into 0 11.302 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (- x y))) (/ 0 (fabs (- x y)))))) into 0 11.302 * [backup-simplify]: Simplify 0 into 0 11.302 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0 11.302 * [taylor]: Taking taylor expansion of 0 in y 11.302 * [backup-simplify]: Simplify 0 into 0 11.302 * [backup-simplify]: Simplify 0 into 0 11.302 * [backup-simplify]: Simplify 0 into 0 11.303 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0 11.303 * [backup-simplify]: Simplify 0 into 0 11.303 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (- x y))) (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))) (* 0 (/ 0 (fabs (- x y)))))) into 0 11.303 * [taylor]: Taking taylor expansion of 0 in y 11.303 * [backup-simplify]: Simplify 0 into 0 11.303 * [backup-simplify]: Simplify 0 into 0 11.303 * [backup-simplify]: Simplify (/ 1 (fabs (- x y))) into (/ 1 (fabs (- x y))) 11.304 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) into (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) 11.304 * [approximate]: Taking taylor expansion of (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0 11.304 * [taylor]: Taking taylor expansion of (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) in y 11.304 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 11.304 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 11.304 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) into (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) 11.304 * [taylor]: Taking taylor expansion of (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) in x 11.304 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 11.304 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 11.304 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) into (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) 11.305 * [taylor]: Taking taylor expansion of (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) in x 11.305 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 11.305 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 11.305 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) into (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) 11.305 * [taylor]: Taking taylor expansion of (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) in y 11.305 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 11.305 * [backup-simplify]: Simplify (fabs (- (/ 1 x) (/ 1 y))) into (fabs (- (/ 1 x) (/ 1 y))) 11.305 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) into (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) 11.306 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) into (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) 11.306 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0 11.306 * [taylor]: Taking taylor expansion of 0 in y 11.306 * [backup-simplify]: Simplify 0 into 0 11.306 * [backup-simplify]: Simplify 0 into 0 11.306 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0 11.306 * [backup-simplify]: Simplify 0 into 0 11.307 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0 11.307 * [taylor]: Taking taylor expansion of 0 in y 11.307 * [backup-simplify]: Simplify 0 into 0 11.307 * [backup-simplify]: Simplify 0 into 0 11.307 * [backup-simplify]: Simplify 0 into 0 11.308 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (- (/ 1 x) (/ 1 y)))) (/ 0 (fabs (- (/ 1 x) (/ 1 y))))) (* 0 (/ 0 (fabs (- (/ 1 x) (/ 1 y))))))) into 0 11.308 * [backup-simplify]: Simplify 0 into 0 11.309 * [backup-simplify]: Simplify (- (+ (* (/ 1 (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 11.309 * [taylor]: Taking taylor expansion of 0 in y 11.309 * [backup-simplify]: Simplify 0 into 0 11.309 * [backup-simplify]: Simplify 0 into 0 11.309 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ 1 (fabs (- x y))) 11.309 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 (- x)) (/ 1 (- y))))) into (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) 11.309 * [approximate]: Taking taylor expansion of (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0 11.309 * [taylor]: Taking taylor expansion of (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) in y 11.309 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 11.309 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 11.310 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) into (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) 11.310 * [taylor]: Taking taylor expansion of (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) in x 11.310 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 11.310 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 11.310 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) into (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) 11.310 * [taylor]: Taking taylor expansion of (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) in x 11.310 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 11.310 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 11.310 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) into (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) 11.311 * [taylor]: Taking taylor expansion of (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) in y 11.311 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 11.311 * [backup-simplify]: Simplify (fabs (- (/ 1 y) (/ 1 x))) into (fabs (- (/ 1 y) (/ 1 x))) 11.311 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) into (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) 11.311 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) into (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) 11.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0 11.312 * [taylor]: Taking taylor expansion of 0 in y 11.312 * [backup-simplify]: Simplify 0 into 0 11.312 * [backup-simplify]: Simplify 0 into 0 11.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0 11.312 * [backup-simplify]: Simplify 0 into 0 11.313 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0 11.313 * [taylor]: Taking taylor expansion of 0 in y 11.313 * [backup-simplify]: Simplify 0 into 0 11.313 * [backup-simplify]: Simplify 0 into 0 11.313 * [backup-simplify]: Simplify 0 into 0 11.313 * [backup-simplify]: Simplify (- (+ (* (/ 1 (fabs (- (/ 1 y) (/ 1 x)))) (/ 0 (fabs (- (/ 1 y) (/ 1 x))))) (* 0 (/ 0 (fabs (- (/ 1 y) (/ 1 x))))))) into 0 11.313 * [backup-simplify]: Simplify 0 into 0 11.313 * [backup-simplify]: Simplify (- (+ (* (/ 1 (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 11.314 * [taylor]: Taking taylor expansion of 0 in y 11.314 * [backup-simplify]: Simplify 0 into 0 11.314 * [backup-simplify]: Simplify 0 into 0 11.314 * [backup-simplify]: Simplify (/ 1 (fabs (- (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ 1 (fabs (- x y))) 11.314 * * * [progress]: simplifying candidates 11.318 * [simplify]: Simplifying: (- (- (log (fabs y))) (- (log (fabs (- x y))))) (- (- (log (fabs y))) (- 0 (log (fabs (- x y))))) (- (- (log (fabs y))) (- (log 1) (log (fabs (- x y))))) (- (- (log (fabs y))) (log (/ 1 (fabs (- x y))))) (- (- 0 (log (fabs y))) (- (log (fabs (- x y))))) (- (- 0 (log (fabs y))) (- 0 (log (fabs (- x y))))) (- (- 0 (log (fabs y))) (- (log 1) (log (fabs (- x y))))) (- (- 0 (log (fabs y))) (log (/ 1 (fabs (- x y))))) (- (- (log 1) (log (fabs y))) (- (log (fabs (- x y))))) (- (- (log 1) (log (fabs y))) (- 0 (log (fabs (- x y))))) (- (- (log 1) (log (fabs y))) (- (log 1) (log (fabs (- x y))))) (- (- (log 1) (log (fabs y))) (log (/ 1 (fabs (- x y))))) (- (log (/ 1 (fabs y))) (- (log (fabs (- x y))))) (- (log (/ 1 (fabs y))) (- 0 (log (fabs (- x y))))) (- (log (/ 1 (fabs y))) (- (log 1) (log (fabs (- x y))))) (- (log (/ 1 (fabs y))) (log (/ 1 (fabs (- x y))))) (log (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y))))) (exp (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y))))) (/ (/ (* (* 1 1) 1) (* (* (fabs y) (fabs y)) (fabs y))) (/ (* (* 1 1) 1) (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))))) (/ (/ (* (* 1 1) 1) (* (* (fabs y) (fabs y)) (fabs y))) (* (* (/ 1 (fabs (- x y))) (/ 1 (fabs (- x y)))) (/ 1 (fabs (- x y))))) (/ (* (* (/ 1 (fabs y)) (/ 1 (fabs y))) (/ 1 (fabs y))) (/ (* (* 1 1) 1) (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))))) (/ (* (* (/ 1 (fabs y)) (/ 1 (fabs y))) (/ 1 (fabs y))) (* (* (/ 1 (fabs (- x y))) (/ 1 (fabs (- x y)))) (/ 1 (fabs (- x y))))) (* (cbrt (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y))))) (cbrt (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y)))))) (cbrt (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y))))) (* (* (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y)))) (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y))))) (sqrt (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y))))) (sqrt (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y))))) (- (/ 1 (fabs y))) (- (/ 1 (fabs (- x y)))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs (- x y))))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (sqrt (/ 1 (fabs (- x y))))) (/ (cbrt (/ 1 (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (cbrt (/ 1 (fabs y))) (/ (cbrt 1) (cbrt (fabs (- x y))))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (cbrt (/ 1 (fabs y))) (/ (cbrt 1) (sqrt (fabs (- x y))))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (cbrt (/ 1 (fabs y))) (/ (cbrt 1) (fabs (- x y)))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (cbrt (/ 1 (fabs y))) (/ (sqrt 1) (cbrt (fabs (- x y))))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (cbrt (/ 1 (fabs y))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (/ (sqrt 1) 1)) (/ (cbrt (/ 1 (fabs y))) (/ (sqrt 1) (fabs (- x y)))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (cbrt (/ 1 (fabs y))) (/ 1 (cbrt (fabs (- x y))))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (/ 1 (sqrt (fabs (- x y))))) (/ (cbrt (/ 1 (fabs y))) (/ 1 (sqrt (fabs (- x y))))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (/ 1 1)) (/ (cbrt (/ 1 (fabs y))) (/ 1 (fabs (- x y)))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) 1) (/ (cbrt (/ 1 (fabs y))) (/ 1 (fabs (- x y)))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) 1) (/ (cbrt (/ 1 (fabs y))) (/ 1 (fabs (- x y)))) (/ (sqrt (/ 1 (fabs y))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (sqrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (sqrt (/ 1 (fabs y))) (/ (cbrt 1) (cbrt (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (/ (cbrt 1) (sqrt (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (sqrt (/ 1 (fabs y))) (/ (cbrt 1) (fabs (- x y)))) (/ (sqrt (/ 1 (fabs y))) (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (sqrt (/ 1 (fabs y))) (/ (sqrt 1) (cbrt (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (/ (sqrt 1) 1)) (/ (sqrt (/ 1 (fabs y))) (/ (sqrt 1) (fabs (- x y)))) (/ (sqrt (/ 1 (fabs y))) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (sqrt (/ 1 (fabs y))) (/ 1 (cbrt (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (/ 1 (sqrt (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (/ 1 (sqrt (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (/ 1 1)) (/ (sqrt (/ 1 (fabs y))) (/ 1 (fabs (- x y)))) (/ (sqrt (/ 1 (fabs y))) 1) (/ (sqrt (/ 1 (fabs y))) (/ 1 (fabs (- x y)))) (/ (sqrt (/ 1 (fabs y))) 1) (/ (sqrt (/ 1 (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ (cbrt 1) (cbrt (fabs y))) (cbrt (/ 1 (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ (cbrt 1) (cbrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (cbrt 1) (cbrt (fabs y))) (/ (cbrt 1) (cbrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (/ (cbrt 1) (cbrt (fabs y))) (/ (cbrt 1) (sqrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt 1) (cbrt (fabs y))) (/ (cbrt 1) (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (cbrt 1) (cbrt (fabs y))) (/ (sqrt 1) (cbrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ (cbrt 1) (cbrt (fabs y))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt 1) 1)) (/ (/ (cbrt 1) (cbrt (fabs y))) (/ (sqrt 1) (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (cbrt 1) (cbrt (fabs y))) (/ 1 (cbrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ 1 (sqrt (fabs (- x y))))) (/ (/ (cbrt 1) (cbrt (fabs y))) (/ 1 (sqrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ 1 1)) (/ (/ (cbrt 1) (cbrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))) 1) (/ (/ (cbrt 1) (cbrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs y)) (cbrt (fabs y)))) 1) (/ (/ (cbrt 1) (cbrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ (cbrt 1) (sqrt (fabs y))) (cbrt (/ 1 (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ (cbrt 1) (sqrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (cbrt 1) (sqrt (fabs y))) (/ (cbrt 1) (cbrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (/ (cbrt 1) (sqrt (fabs y))) (/ (cbrt 1) (sqrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt 1) (sqrt (fabs y))) (/ (cbrt 1) (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))) (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (cbrt 1) (sqrt (fabs y))) (/ (sqrt 1) (cbrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ (cbrt 1) (sqrt (fabs y))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))) (/ (sqrt 1) 1)) (/ (/ (cbrt 1) (sqrt (fabs y))) (/ (sqrt 1) (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (cbrt 1) (sqrt (fabs y))) (/ 1 (cbrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))) (/ 1 (sqrt (fabs (- x y))))) (/ (/ (cbrt 1) (sqrt (fabs y))) (/ 1 (sqrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))) (/ 1 1)) (/ (/ (cbrt 1) (sqrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))) 1) (/ (/ (cbrt 1) (sqrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs y))) 1) (/ (/ (cbrt 1) (sqrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ (cbrt 1) (fabs y)) (cbrt (/ 1 (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt (/ 1 (fabs (- x y))))) (/ (/ (cbrt 1) (fabs y)) (sqrt (/ 1 (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (cbrt 1) (fabs y)) (/ (cbrt 1) (cbrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (/ (cbrt 1) (fabs y)) (/ (cbrt 1) (sqrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (cbrt 1) (fabs y)) (/ (cbrt 1) (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (cbrt 1) (fabs y)) (/ (sqrt 1) (cbrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ (cbrt 1) (fabs y)) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) 1)) (/ (/ (cbrt 1) (fabs y)) (/ (sqrt 1) (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (cbrt 1) (fabs y)) (/ 1 (cbrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (sqrt (fabs (- x y))))) (/ (/ (cbrt 1) (fabs y)) (/ 1 (sqrt (fabs (- x y))))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 1)) (/ (/ (cbrt 1) (fabs y)) (/ 1 (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1) (/ (/ (cbrt 1) (fabs y)) (/ 1 (fabs (- x y)))) (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1) (/ (/ (cbrt 1) (fabs y)) (/ 1 (fabs (- x y)))) (/ (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ (sqrt 1) (cbrt (fabs y))) (cbrt (/ 1 (fabs (- x y))))) (/ (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ (sqrt 1) (cbrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (sqrt 1) (cbrt (fabs y))) (/ (cbrt 1) (cbrt (fabs (- x y))))) (/ (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (cbrt (fabs y))) (/ (cbrt 1) (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) (cbrt (fabs y))) (/ (cbrt 1) (fabs (- x y)))) (/ (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (sqrt 1) (cbrt (fabs y))) (/ (sqrt 1) (cbrt (fabs (- x y))))) (/ (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (cbrt (fabs y))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt 1) 1)) (/ (/ (sqrt 1) (cbrt (fabs y))) (/ (sqrt 1) (fabs (- x y)))) (/ (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (sqrt 1) (cbrt (fabs y))) (/ 1 (cbrt (fabs (- x y))))) (/ (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ 1 (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (cbrt (fabs y))) (/ 1 (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ 1 1)) (/ (/ (sqrt 1) (cbrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))) 1) (/ (/ (sqrt 1) (cbrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ (sqrt 1) (* (cbrt (fabs y)) (cbrt (fabs y)))) 1) (/ (/ (sqrt 1) (cbrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ (sqrt 1) (sqrt (fabs y))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (cbrt (/ 1 (fabs (- x y))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ (cbrt 1) (cbrt (fabs (- x y))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ (cbrt 1) (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ (cbrt 1) (fabs (- x y)))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ (sqrt 1) (cbrt (fabs (- x y))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ (sqrt 1) 1)) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ (sqrt 1) (fabs (- x y)))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ 1 (cbrt (fabs (- x y))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ 1 (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ 1 (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ 1 1)) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ (sqrt 1) (sqrt (fabs y))) 1) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ (sqrt 1) (sqrt (fabs y))) 1) (/ (/ (sqrt 1) (sqrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ (sqrt 1) 1) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ (sqrt 1) (fabs y)) (cbrt (/ 1 (fabs (- x y))))) (/ (/ (sqrt 1) 1) (sqrt (/ 1 (fabs (- x y))))) (/ (/ (sqrt 1) (fabs y)) (sqrt (/ 1 (fabs (- x y))))) (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (sqrt 1) (fabs y)) (/ (cbrt 1) (cbrt (fabs (- x y))))) (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (fabs y)) (/ (cbrt 1) (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ (sqrt 1) (fabs y)) (/ (cbrt 1) (fabs (- x y)))) (/ (/ (sqrt 1) 1) (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (sqrt 1) (fabs y)) (/ (sqrt 1) (cbrt (fabs (- x y))))) (/ (/ (sqrt 1) 1) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (fabs y)) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) 1) (/ (sqrt 1) 1)) (/ (/ (sqrt 1) (fabs y)) (/ (sqrt 1) (fabs (- x y)))) (/ (/ (sqrt 1) 1) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ (sqrt 1) (fabs y)) (/ 1 (cbrt (fabs (- x y))))) (/ (/ (sqrt 1) 1) (/ 1 (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) (fabs y)) (/ 1 (sqrt (fabs (- x y))))) (/ (/ (sqrt 1) 1) (/ 1 1)) (/ (/ (sqrt 1) (fabs y)) (/ 1 (fabs (- x y)))) (/ (/ (sqrt 1) 1) 1) (/ (/ (sqrt 1) (fabs y)) (/ 1 (fabs (- x y)))) (/ (/ (sqrt 1) 1) 1) (/ (/ (sqrt 1) (fabs y)) (/ 1 (fabs (- x y)))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ 1 (cbrt (fabs y))) (cbrt (/ 1 (fabs (- x y))))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (cbrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (cbrt (fabs y))) (/ (cbrt 1) (cbrt (fabs (- x y))))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (/ 1 (cbrt (fabs y))) (/ (cbrt 1) (sqrt (fabs (- x y))))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (cbrt (fabs y))) (/ (cbrt 1) (fabs (- x y)))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (cbrt (fabs y))) (/ (sqrt 1) (cbrt (fabs (- x y))))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ 1 (cbrt (fabs y))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt 1) 1)) (/ (/ 1 (cbrt (fabs y))) (/ (sqrt 1) (fabs (- x y)))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (cbrt (fabs y))) (/ 1 (cbrt (fabs (- x y))))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ 1 (sqrt (fabs (- x y))))) (/ (/ 1 (cbrt (fabs y))) (/ 1 (sqrt (fabs (- x y))))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ 1 1)) (/ (/ 1 (cbrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) 1) (/ (/ 1 (cbrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) 1) (/ (/ 1 (cbrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ 1 (sqrt (fabs y))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ 1 (sqrt (fabs y))) (cbrt (/ 1 (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (sqrt (fabs y))) (/ (cbrt 1) (cbrt (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (/ (cbrt 1) (sqrt (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (sqrt (fabs y))) (/ (cbrt 1) (fabs (- x y)))) (/ (/ 1 (sqrt (fabs y))) (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (sqrt (fabs y))) (/ (sqrt 1) (cbrt (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (/ (sqrt 1) 1)) (/ (/ 1 (sqrt (fabs y))) (/ (sqrt 1) (fabs (- x y)))) (/ (/ 1 (sqrt (fabs y))) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (sqrt (fabs y))) (/ 1 (cbrt (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (/ 1 (sqrt (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (/ 1 (sqrt (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (/ 1 1)) (/ (/ 1 (sqrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ 1 (sqrt (fabs y))) 1) (/ (/ 1 (sqrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ 1 (sqrt (fabs y))) 1) (/ (/ 1 (sqrt (fabs y))) (/ 1 (fabs (- x y)))) (/ (/ 1 1) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ 1 (fabs y)) (cbrt (/ 1 (fabs (- x y))))) (/ (/ 1 1) (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (fabs y)) (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (fabs y)) (/ (cbrt 1) (cbrt (fabs (- x y))))) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ (cbrt 1) (sqrt (fabs (- x y))))) (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (fabs y)) (/ (cbrt 1) (fabs (- x y)))) (/ (/ 1 1) (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (fabs y)) (/ (sqrt 1) (cbrt (fabs (- x y))))) (/ (/ 1 1) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ 1 1) (/ (sqrt 1) 1)) (/ (/ 1 (fabs y)) (/ (sqrt 1) (fabs (- x y)))) (/ (/ 1 1) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (fabs y)) (/ 1 (cbrt (fabs (- x y))))) (/ (/ 1 1) (/ 1 (sqrt (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ 1 (sqrt (fabs (- x y))))) (/ (/ 1 1) (/ 1 1)) (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y)))) (/ (/ 1 1) 1) (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y)))) (/ (/ 1 1) 1) (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y)))) (/ 1 (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ 1 (fabs y)) (cbrt (/ 1 (fabs (- x y))))) (/ 1 (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (fabs y)) (sqrt (/ 1 (fabs (- x y))))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (fabs y)) (/ (cbrt 1) (cbrt (fabs (- x y))))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ (cbrt 1) (sqrt (fabs (- x y))))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (fabs y)) (/ (cbrt 1) (fabs (- x y)))) (/ 1 (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (fabs y)) (/ (sqrt 1) (cbrt (fabs (- x y))))) (/ 1 (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ 1 (/ (sqrt 1) 1)) (/ (/ 1 (fabs y)) (/ (sqrt 1) (fabs (- x y)))) (/ 1 (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (fabs y)) (/ 1 (cbrt (fabs (- x y))))) (/ 1 (/ 1 (sqrt (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ 1 (sqrt (fabs (- x y))))) (/ 1 (/ 1 1)) (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y)))) (/ 1 1) (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y)))) (/ 1 1) (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y)))) (/ 1 (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ 1 (fabs y)) (cbrt (/ 1 (fabs (- x y))))) (/ 1 (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (fabs y)) (sqrt (/ 1 (fabs (- x y))))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (fabs y)) (/ (cbrt 1) (cbrt (fabs (- x y))))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ (cbrt 1) (sqrt (fabs (- x y))))) (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (fabs y)) (/ (cbrt 1) (fabs (- x y)))) (/ 1 (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (fabs y)) (/ (sqrt 1) (cbrt (fabs (- x y))))) (/ 1 (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ 1 (/ (sqrt 1) 1)) (/ (/ 1 (fabs y)) (/ (sqrt 1) (fabs (- x y)))) (/ 1 (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (fabs y)) (/ 1 (cbrt (fabs (- x y))))) (/ 1 (/ 1 (sqrt (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ 1 (sqrt (fabs (- x y))))) (/ 1 (/ 1 1)) (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y)))) (/ 1 1) (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y)))) (/ 1 1) (/ (/ 1 (fabs y)) (/ 1 (fabs (- x y)))) (/ 1 (/ 1 (fabs (- x y)))) (/ (/ 1 (fabs (- x y))) (/ 1 (fabs y))) (/ (/ 1 (fabs y)) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ 1 (fabs y)) (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (fabs y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (/ (/ 1 (fabs y)) (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (fabs y)) (/ (sqrt 1) (sqrt (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ (sqrt 1) 1)) (/ (/ 1 (fabs y)) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))))) (/ (/ 1 (fabs y)) (/ 1 (sqrt (fabs (- x y))))) (/ (/ 1 (fabs y)) (/ 1 1)) (/ (/ 1 (fabs y)) 1) (/ (/ 1 (fabs y)) 1) (/ (/ 1 (fabs (- x y))) (cbrt (/ 1 (fabs y)))) (/ (/ 1 (fabs (- x y))) (sqrt (/ 1 (fabs y)))) (/ (/ 1 (fabs (- x y))) (/ (cbrt 1) (cbrt (fabs y)))) (/ (/ 1 (fabs (- x y))) (/ (cbrt 1) (sqrt (fabs y)))) (/ (/ 1 (fabs (- x y))) (/ (cbrt 1) (fabs y))) (/ (/ 1 (fabs (- x y))) (/ (sqrt 1) (cbrt (fabs y)))) (/ (/ 1 (fabs (- x y))) (/ (sqrt 1) (sqrt (fabs y)))) (/ (/ 1 (fabs (- x y))) (/ (sqrt 1) (fabs y))) (/ (/ 1 (fabs (- x y))) (/ 1 (cbrt (fabs y)))) (/ (/ 1 (fabs (- x y))) (/ 1 (sqrt (fabs y)))) (/ (/ 1 (fabs (- x y))) (/ 1 (fabs y))) (/ (/ 1 (fabs (- x y))) (/ 1 (fabs y))) (/ (/ 1 (fabs (- x y))) (/ 1 (fabs y))) (/ (/ 1 (fabs y)) 1) (* (/ 1 (fabs (- x y))) (fabs y)) (- 1) (- (log (fabs (- x y)))) (- 0 (log (fabs (- x y)))) (- (log 1) (log (fabs (- x y)))) (log (/ 1 (fabs (- x y)))) (exp (/ 1 (fabs (- x y)))) (/ (* (* 1 1) 1) (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y)))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y))))) (cbrt (/ 1 (fabs (- x y)))) (* (* (/ 1 (fabs (- x y))) (/ 1 (fabs (- x y)))) (/ 1 (fabs (- x y)))) (sqrt (/ 1 (fabs (- x y)))) (sqrt (/ 1 (fabs (- x y)))) (- 1) (- (fabs (- x y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ (cbrt 1) (cbrt (fabs (- x y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fabs (- x y)))) (/ (cbrt 1) (sqrt (fabs (- x y)))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (fabs (- x y))) (/ (sqrt 1) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ (sqrt 1) (cbrt (fabs (- x y)))) (/ (sqrt 1) (sqrt (fabs (- x y)))) (/ (sqrt 1) (sqrt (fabs (- x y)))) (/ (sqrt 1) 1) (/ (sqrt 1) (fabs (- x y))) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ 1 (cbrt (fabs (- x y)))) (/ 1 (sqrt (fabs (- x y)))) (/ 1 (sqrt (fabs (- x y)))) (/ 1 1) (/ 1 (fabs (- x y))) (/ 1 (fabs (- x y))) (/ (fabs (- x y)) 1) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ 1 (sqrt (fabs (- x y)))) (/ 1 1) (/ (fabs (- x y)) (cbrt 1)) (/ (fabs (- x y)) (sqrt 1)) (/ (fabs (- x y)) 1) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ 1 (fabs (- x y))) (/ 1 (fabs (- x y))) (/ 1 (fabs (- x y))) 11.327 * * [simplify]: Extracting # 0 : cost 0 11.328 * * [simplify]: Extracting # 1 : cost 0 11.333 * * [simplify]: Extracting # 2 : cost 0 11.334 * * [simplify]: Extracting # 3 : cost 0 11.335 * * [simplify]: Extracting # 4 : cost 0 11.335 * * [simplify]: Extracting # 5 : cost 0 11.336 * * [simplify]: Extracting # 6 : cost 0 11.337 * * [simplify]: iteration 0 : 387 enodes (cost 6096 ) 11.630 * * [simplify]: Extracting # 0 : cost 0 11.634 * * [simplify]: Extracting # 1 : cost 0 11.635 * * [simplify]: Extracting # 2 : cost 0 11.636 * * [simplify]: Extracting # 3 : cost 0 11.637 * * [simplify]: iteration 1 : 1027 enodes (cost 4654 ) 11.849 * * [simplify]: Extracting # 0 : cost 0 11.850 * * [simplify]: Extracting # 1 : cost 0 11.851 * * [simplify]: Extracting # 2 : cost 0 11.852 * * [simplify]: Extracting # 3 : cost 0 11.852 * * [simplify]: Extracting # 4 : cost 0 11.853 * * [simplify]: iteration 2 : 1574 enodes (cost 4094 ) 12.741 * * [simplify]: Extracting # 0 : cost 0 12.743 * * [simplify]: Extracting # 1 : cost 0 12.745 * * [simplify]: Extracting # 2 : cost 0 12.746 * * [simplify]: Extracting # 3 : cost 0 12.748 * * [simplify]: Extracting # 4 : cost 0 12.749 * * [simplify]: Extracting # 5 : cost 0 12.751 * * [simplify]: iteration 3 : 2770 enodes (cost 4022 ) 15.036 * * [simplify]: Extracting # 0 : cost 0 15.039 * * [simplify]: Extracting # 1 : cost 0 15.042 * * [simplify]: Extracting # 2 : cost 0 15.044 * * [simplify]: Extracting # 3 : cost 0 15.046 * * [simplify]: Extracting # 4 : cost 0 15.048 * * [simplify]: iteration 4 : 3745 enodes (cost 4022 ) 17.274 * * [simplify]: Extracting # 0 : cost 0 17.280 * * [simplify]: Extracting # 1 : cost 0 17.286 * * [simplify]: Extracting # 2 : cost 0 17.291 * * [simplify]: Extracting # 3 : cost 0 17.297 * * [simplify]: Extracting # 4 : cost 0 17.305 * * [simplify]: iteration done: 5001 enodes (cost 4022 ) 17.309 * [simplify]: Simplified to: (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))) (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))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (exp (/ (fabs (- x y)) (fabs y))) (pow (/ (fabs (- x y)) (fabs y)) 3) (pow (/ (fabs (- x y)) (fabs y)) 3) (pow (/ (fabs (- x y)) (fabs y)) 3) (pow (/ (fabs (- x y)) (fabs y)) 3) (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) (cbrt (/ (fabs (- x y)) (fabs y))) (pow (/ (fabs (- x y)) (fabs y)) 3) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (/ -1 (fabs y)) (/ -1 (fabs (- x y))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs (- x y))))) (/ (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (sqrt (/ 1 (fabs (- x y))))) (/ (cbrt (/ 1 (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (* (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (* (cbrt (/ 1 (fabs y))) (cbrt (fabs (- x y)))) (* (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (sqrt (fabs (- x y)))) (* (sqrt (fabs (- x y))) (cbrt (/ 1 (fabs y)))) (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (* (cbrt (/ 1 (fabs y))) (fabs (- x y))) (* (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (* (cbrt (/ 1 (fabs y))) (cbrt (fabs (- x y)))) (* (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (sqrt (fabs (- x y)))) (* (sqrt (fabs (- x y))) (cbrt (/ 1 (fabs y)))) (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (* (cbrt (/ 1 (fabs y))) (fabs (- x y))) (* (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (* (cbrt (/ 1 (fabs y))) (cbrt (fabs (- x y)))) (* (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (sqrt (fabs (- x y)))) (* (sqrt (fabs (- x y))) (cbrt (/ 1 (fabs y)))) (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (* (cbrt (/ 1 (fabs y))) (fabs (- x y))) (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (* (cbrt (/ 1 (fabs y))) (fabs (- x y))) (* (cbrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs y)))) (* (cbrt (/ 1 (fabs y))) (fabs (- x y))) (/ (sqrt (/ 1 (fabs y))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (sqrt (/ 1 (fabs y))) (cbrt (/ 1 (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (sqrt (/ 1 (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (* (sqrt (/ 1 (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (* (sqrt (/ 1 (fabs y))) (cbrt (fabs (- x y)))) (* (sqrt (/ 1 (fabs y))) (sqrt (fabs (- x y)))) (* (sqrt (/ 1 (fabs y))) (sqrt (fabs (- x y)))) (sqrt (/ 1 (fabs y))) (* (sqrt (/ 1 (fabs y))) (fabs (- x y))) (* (sqrt (/ 1 (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (* (sqrt (/ 1 (fabs y))) (cbrt (fabs (- x y)))) (* (sqrt (/ 1 (fabs y))) (sqrt (fabs (- x y)))) (* (sqrt (/ 1 (fabs y))) (sqrt (fabs (- x y)))) (sqrt (/ 1 (fabs y))) (* (sqrt (/ 1 (fabs y))) (fabs (- x y))) (* (sqrt (/ 1 (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (* (sqrt (/ 1 (fabs y))) (cbrt (fabs (- x y)))) (* (sqrt (/ 1 (fabs y))) (sqrt (fabs (- x y)))) (* (sqrt (/ 1 (fabs y))) (sqrt (fabs (- x y)))) (sqrt (/ 1 (fabs y))) (* (sqrt (/ 1 (fabs y))) (fabs (- x y))) (sqrt (/ 1 (fabs y))) (* (sqrt (/ 1 (fabs y))) (fabs (- x y))) (sqrt (/ 1 (fabs y))) (* (sqrt (/ 1 (fabs y))) (fabs (- x y))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ 1 (* (cbrt (fabs y)) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (cbrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (/ 1 (sqrt (fabs y))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ 1 (sqrt (fabs y))) (cbrt (/ 1 (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (/ 1 (cbrt (/ 1 (fabs (- x y))))) (cbrt (/ 1 (fabs (- x y))))) (/ 1 (* (cbrt (/ 1 (fabs (- x y)))) (fabs y))) (/ 1 (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (fabs y)) (sqrt (/ 1 (fabs (- x 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)) (* (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)) (* (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 (- x y)) (fabs y)) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ 1 (* (cbrt (fabs y)) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (cbrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (/ 1 (sqrt (fabs y))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ 1 (sqrt (fabs y))) (cbrt (/ 1 (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (/ 1 (cbrt (/ 1 (fabs (- x y))))) (cbrt (/ 1 (fabs (- x y))))) (/ 1 (* (cbrt (/ 1 (fabs (- x y)))) (fabs y))) (/ 1 (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (fabs y)) (sqrt (/ 1 (fabs (- x 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)) (* (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)) (* (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 (- x y)) (fabs y)) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ 1 (* (cbrt (fabs y)) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (cbrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (/ 1 (sqrt (fabs y))) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ 1 (sqrt (fabs y))) (cbrt (/ 1 (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (sqrt (fabs y))) (sqrt (/ 1 (fabs (- x y))))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (/ 1 (cbrt (/ 1 (fabs (- x y))))) (cbrt (/ 1 (fabs (- x y))))) (/ 1 (* (cbrt (/ 1 (fabs (- x y)))) (fabs y))) (/ 1 (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (fabs y)) (sqrt (/ 1 (fabs (- x 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)) (* (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)) (* (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 (- x y)) (fabs y)) (/ (/ 1 (cbrt (/ 1 (fabs (- x y))))) (cbrt (/ 1 (fabs (- x y))))) (/ 1 (* (cbrt (/ 1 (fabs (- x y)))) (fabs y))) (/ 1 (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (fabs y)) (sqrt (/ 1 (fabs (- x 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)) (* (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)) (* (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 (- x y)) (fabs y)) (/ (/ 1 (cbrt (/ 1 (fabs (- x y))))) (cbrt (/ 1 (fabs (- x y))))) (/ 1 (* (cbrt (/ 1 (fabs (- x y)))) (fabs y))) (/ 1 (sqrt (/ 1 (fabs (- x y))))) (/ (/ 1 (fabs y)) (sqrt (/ 1 (fabs (- x 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)) (* (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)) (* (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 (- x y)) (fabs y)) (fabs (- x y)) (/ (fabs y) (fabs (- x y))) (/ (/ 1 (fabs y)) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y)))))) (/ (/ 1 (fabs y)) (sqrt (/ 1 (fabs (- x y))))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (fabs y)) (/ (sqrt (fabs (- x y))) (fabs y)) (/ 1 (fabs y)) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (fabs y)) (/ (sqrt (fabs (- x y))) (fabs y)) (/ 1 (fabs y)) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (fabs y)) (/ (sqrt (fabs (- x y))) (fabs y)) (/ 1 (fabs y)) (/ 1 (fabs y)) (/ 1 (fabs y)) (/ (/ 1 (fabs (- x y))) (cbrt (/ 1 (fabs y)))) (/ (/ 1 (fabs (- x y))) (sqrt (/ 1 (fabs y)))) (/ (cbrt (fabs y)) (fabs (- x y))) (/ (sqrt (fabs y)) (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))) (/ (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))) (/ 1 (fabs y)) (/ (fabs y) (fabs (- x y))) -1 (- (log (fabs (- x y)))) (- (log (fabs (- x y)))) (- (log (fabs (- x y)))) (- (log (fabs (- x y)))) (exp (/ 1 (fabs (- x y)))) (pow (/ 1 (fabs (- x y))) 3) (* (cbrt (/ 1 (fabs (- x y)))) (cbrt (/ 1 (fabs (- x y))))) (cbrt (/ 1 (fabs (- x y)))) (pow (/ 1 (fabs (- x y))) 3) (sqrt (/ 1 (fabs (- x y)))) (sqrt (/ 1 (fabs (- x y)))) -1 (- (fabs (- x y))) (/ (/ 1 (cbrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (/ 1 (cbrt (fabs (- x y)))) (/ 1 (sqrt (fabs (- x y)))) (/ 1 (sqrt (fabs (- x y)))) 1 (/ 1 (fabs (- x y))) (/ (/ 1 (cbrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (/ 1 (cbrt (fabs (- x y)))) (/ 1 (sqrt (fabs (- x y)))) (/ 1 (sqrt (fabs (- x y)))) 1 (/ 1 (fabs (- x y))) (/ (/ 1 (cbrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (/ 1 (cbrt (fabs (- x y)))) (/ 1 (sqrt (fabs (- x y)))) (/ 1 (sqrt (fabs (- x y)))) 1 (/ 1 (fabs (- x y))) (/ 1 (fabs (- x y))) (fabs (- x y)) (/ (/ 1 (cbrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (/ 1 (sqrt (fabs (- x y)))) 1 (fabs (- x y)) (fabs (- x y)) (fabs (- x y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ 1 (fabs (- x y))) (/ 1 (fabs (- x y))) (/ 1 (fabs (- x y))) 17.312 * * * [progress]: adding candidates to table 17.699 * [progress]: [Phase 3 of 3] Extracting. 17.699 * * [regime]: Finding splitpoints for: (# # #) 17.699 * * * [regime-changes]: Trying 1 branch expressions: ((/ (fabs (- x y)) (fabs y))) 17.699 * * * * [regimes]: Trying to branch on (/ (fabs (- x y)) (fabs y)) from (# # #) 17.726 * * * [regime]: Found split indices: #