7.278 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (/ (fabs (- x y)) (fabs y)) 0.017 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.017 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 0.018 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 0.019 * * [simplify]: iteration done : 9 enodes (cost 7 ) 0.019 * [simplify]: Simplified to: (/ (fabs (- x y)) (fabs y)) 0.019 * * [progress]: iteration 1 / 4 0.019 * * * [progress]: picking best candidate 0.021 * * * * [pick]: Picked # 0.021 * * * [progress]: localizing error 0.027 * * * [progress]: generating rewritten candidates 0.027 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.030 * * * [progress]: generating series expansions 0.030 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.030 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0 0.030 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 0.030 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 0.030 * [taylor]: Taking taylor expansion of (fabs y) in y 0.030 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 0.030 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 0.031 * [taylor]: Taking taylor expansion of (fabs y) in x 0.031 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 0.031 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 0.031 * [taylor]: Taking taylor expansion of (fabs y) in x 0.031 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 0.031 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 0.031 * [taylor]: Taking taylor expansion of (fabs y) in y 0.031 * [taylor]: Taking taylor expansion of 0 in y 0.032 * [taylor]: Taking taylor expansion of 0 in y 0.032 * [taylor]: Taking taylor expansion of 0 in y 0.032 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0 0.032 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 0.032 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 0.032 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 0.032 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 0.032 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 0.033 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 0.033 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 0.033 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 0.033 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 0.033 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 0.033 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 0.033 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 0.033 * [taylor]: Taking taylor expansion of 0 in y 0.034 * [taylor]: Taking taylor expansion of 0 in y 0.034 * [taylor]: Taking taylor expansion of 0 in y 0.035 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0 0.035 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 0.035 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 0.035 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 0.035 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 0.035 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 0.035 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 0.035 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 0.035 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 0.035 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 0.036 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 0.036 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 0.036 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 0.036 * [taylor]: Taking taylor expansion of 0 in y 0.037 * [taylor]: Taking taylor expansion of 0 in y 0.037 * [taylor]: Taking taylor expansion of 0 in y 0.037 * * * [progress]: simplifying candidates 0.038 * [simplify]: Simplifying using # : (expm1 (/ (fabs (- x y)) (fabs y))) (log1p (/ (fabs (- x y)) (fabs y))) (- (log (fabs (- x y))) (log (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (exp (/ (fabs (- x y)) (fabs y))) (/ (* (* (fabs (- x y)) (fabs (- x y))) (fabs (- x y))) (* (* (fabs y) (fabs y)) (fabs y))) (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) (cbrt (/ (fabs (- x y)) (fabs y))) (* (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (- (fabs (- x y))) (- (fabs y)) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) 1) (/ (cbrt (fabs (- x y))) (fabs y)) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) 1) (/ (sqrt (fabs (- x y))) (fabs y)) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ 1 1) (/ (fabs (- x y)) (fabs y)) (/ 1 (fabs y)) (/ (fabs y) (fabs (- x y))) (/ (fabs (- x y)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (fabs (- x y)) 1) (/ (fabs y) (cbrt (fabs (- x y)))) (/ (fabs y) (sqrt (fabs (- x y)))) (/ (fabs y) (fabs (- x y))) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) 0.040 * * [simplify]: iteration 0 : 54 enodes (cost 385 ) 0.048 * * [simplify]: iteration 1 : 88 enodes (cost 376 ) 0.068 * * [simplify]: iteration 2 : 180 enodes (cost 348 ) 0.127 * * [simplify]: iteration 3 : 399 enodes (cost 348 ) 0.280 * * [simplify]: iteration 4 : 738 enodes (cost 348 ) 0.602 * * [simplify]: iteration 5 : 1096 enodes (cost 348 ) 1.345 * * [simplify]: iteration 6 : 2316 enodes (cost 348 ) 3.567 * * [simplify]: iteration done : 5000 enodes (cost 348 ) 3.567 * [simplify]: Simplified to: (expm1 (/ (fabs (- x y)) (fabs y))) (log1p (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (log (/ (fabs (- x y)) (fabs y))) (exp (/ (fabs (- x y)) (fabs y))) (pow (/ (fabs (- x y)) (fabs y)) 3) (* (cbrt (/ (fabs (- x y)) (fabs y))) (cbrt (/ (fabs (- x y)) (fabs y)))) (cbrt (/ (fabs (- x y)) (fabs y))) (pow (/ (fabs (- x y)) (fabs y)) 3) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (- (fabs (- x y))) (- (fabs y)) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (cbrt (fabs (- x y))) (cbrt (fabs y))) (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (fabs (- x y))) (sqrt (fabs y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (cbrt (fabs (- x y))) (fabs y)) (/ (sqrt (fabs (- x y))) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (/ 1 (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (cbrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) 1 (/ (fabs (- x y)) (fabs y)) (/ 1 (fabs y)) (/ (fabs y) (fabs (- x y))) (/ (fabs (- x y)) (* (cbrt (fabs y)) (cbrt (fabs y)))) (/ (fabs (- x y)) (sqrt (fabs y))) (fabs (- x y)) (/ (fabs y) (cbrt (fabs (- x y)))) (/ (fabs y) (sqrt (fabs (- x y)))) (/ (fabs y) (fabs (- x y))) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) 3.568 * * * [progress]: adding candidates to table 3.636 * * [progress]: iteration 2 / 4 3.636 * * * [progress]: picking best candidate 3.643 * * * * [pick]: Picked # 3.643 * * * [progress]: localizing error 3.649 * * * [progress]: generating rewritten candidates 3.649 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.655 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 3.661 * * * [progress]: generating series expansions 3.661 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.661 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (y x) around 0 3.661 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 3.661 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.661 * [taylor]: Taking taylor expansion of (fabs y) in x 3.661 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 3.662 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.662 * [taylor]: Taking taylor expansion of (fabs y) in y 3.662 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 3.662 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.662 * [taylor]: Taking taylor expansion of (fabs y) in y 3.662 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 3.662 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.662 * [taylor]: Taking taylor expansion of (fabs y) in x 3.662 * [taylor]: Taking taylor expansion of 0 in x 3.663 * [taylor]: Taking taylor expansion of 0 in x 3.663 * [taylor]: Taking taylor expansion of 0 in x 3.663 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (y x) around 0 3.663 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 3.663 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.663 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.663 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 3.664 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.664 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.664 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 3.664 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.664 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.664 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 3.664 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.664 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.665 * [taylor]: Taking taylor expansion of 0 in x 3.665 * [taylor]: Taking taylor expansion of 0 in x 3.666 * [taylor]: Taking taylor expansion of 0 in x 3.666 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (y x) around 0 3.666 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 3.666 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.666 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.666 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 3.666 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.666 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.666 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 3.666 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.666 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.667 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 3.667 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.667 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.667 * [taylor]: Taking taylor expansion of 0 in x 3.668 * [taylor]: Taking taylor expansion of 0 in x 3.668 * [taylor]: Taking taylor expansion of 0 in x 3.668 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 3.668 * [approximate]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in (y x) around 0 3.669 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in x 3.669 * [taylor]: Taking taylor expansion of (fabs y) in x 3.669 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.669 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in y 3.669 * [taylor]: Taking taylor expansion of (fabs y) in y 3.669 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.669 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in y 3.669 * [taylor]: Taking taylor expansion of (fabs y) in y 3.669 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 3.669 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in x 3.669 * [taylor]: Taking taylor expansion of (fabs y) in x 3.669 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 3.669 * [taylor]: Taking taylor expansion of 0 in x 3.670 * [taylor]: Taking taylor expansion of 0 in x 3.670 * [taylor]: Taking taylor expansion of 0 in x 3.670 * [approximate]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in (y x) around 0 3.670 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in x 3.671 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.671 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.671 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in y 3.671 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.671 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.671 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in y 3.671 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 3.671 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 3.671 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in x 3.671 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 3.671 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 3.672 * [taylor]: Taking taylor expansion of 0 in x 3.672 * [taylor]: Taking taylor expansion of 0 in x 3.673 * [taylor]: Taking taylor expansion of 0 in x 3.674 * [approximate]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in (y x) around 0 3.674 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in x 3.674 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.674 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.674 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in y 3.674 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.674 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.674 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in y 3.674 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 3.674 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 3.674 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in x 3.674 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 3.674 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 3.675 * [taylor]: Taking taylor expansion of 0 in x 3.676 * [taylor]: Taking taylor expansion of 0 in x 3.676 * [taylor]: Taking taylor expansion of 0 in x 3.676 * * * [progress]: simplifying candidates 3.681 * [simplify]: Simplifying using # : (expm1 (/ 1 (/ (fabs y) (fabs (- x y))))) (log1p (/ 1 (/ (fabs y) (fabs (- x y))))) (- 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)) (expm1 (/ (fabs y) (fabs (- x y)))) (log1p (/ (fabs y) (fabs (- x 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.686 * * [simplify]: iteration 0 : 153 enodes (cost 1781 ) 3.742 * * [simplify]: iteration 1 : 316 enodes (cost 1611 ) 3.843 * * [simplify]: iteration 2 : 691 enodes (cost 1388 ) 4.235 * * [simplify]: iteration 3 : 1465 enodes (cost 1370 ) 5.319 * * [simplify]: iteration 4 : 2325 enodes (cost 1370 ) 8.028 * * [simplify]: iteration 5 : 3591 enodes (cost 1370 ) 9.523 * * [simplify]: iteration done : 5000 enodes (cost 1370 ) 9.524 * [simplify]: Simplified to: (expm1 (/ (fabs (- x y)) (fabs y))) (log1p (/ (fabs (- x y)) (fabs y))) -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)) (expm1 (/ (fabs y) (fabs (- x y)))) (log1p (/ (fabs y) (fabs (- x 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))) 9.524 * * * [progress]: adding candidates to table 9.696 * * [progress]: iteration 3 / 4 9.696 * * * [progress]: picking best candidate 9.701 * * * * [pick]: Picked # 9.701 * * * [progress]: localizing error 9.710 * * * [progress]: generating rewritten candidates 9.710 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 9.761 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 9.765 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 9.769 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 9.790 * * * [progress]: generating series expansions 9.791 * * * * [progress]: [ 1 / 4 ] generating series at (2) 9.791 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0 9.791 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 9.791 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 9.791 * [taylor]: Taking taylor expansion of (fabs y) in y 9.791 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 9.791 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 9.791 * [taylor]: Taking taylor expansion of (fabs y) in x 9.791 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 9.791 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 9.791 * [taylor]: Taking taylor expansion of (fabs y) in x 9.791 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 9.791 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 9.792 * [taylor]: Taking taylor expansion of (fabs y) in y 9.792 * [taylor]: Taking taylor expansion of 0 in y 9.792 * [taylor]: Taking taylor expansion of 0 in y 9.793 * [taylor]: Taking taylor expansion of 0 in y 9.793 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0 9.793 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 9.793 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 9.793 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 9.793 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 9.793 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 9.793 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 9.793 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 9.793 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 9.793 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 9.794 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 9.794 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 9.794 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 9.794 * [taylor]: Taking taylor expansion of 0 in y 9.795 * [taylor]: Taking taylor expansion of 0 in y 9.795 * [taylor]: Taking taylor expansion of 0 in y 9.796 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0 9.796 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 9.796 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 9.796 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 9.796 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 9.796 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 9.796 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 9.796 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 9.796 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 9.796 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 9.796 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 9.796 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 9.796 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 9.797 * [taylor]: Taking taylor expansion of 0 in y 9.797 * [taylor]: Taking taylor expansion of 0 in y 9.798 * [taylor]: Taking taylor expansion of 0 in y 9.798 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 9.798 * [approximate]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in (x y) around 0 9.798 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in y 9.798 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 9.798 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 9.798 * [taylor]: Taking taylor expansion of (fabs y) in y 9.799 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in x 9.799 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 9.799 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 9.799 * [taylor]: Taking taylor expansion of (fabs y) in x 9.799 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in x 9.799 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 9.799 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 9.799 * [taylor]: Taking taylor expansion of (fabs y) in x 9.800 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in y 9.800 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 9.800 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 9.800 * [taylor]: Taking taylor expansion of (fabs y) in y 9.800 * [taylor]: Taking taylor expansion of 0 in y 9.801 * [taylor]: Taking taylor expansion of 0 in y 9.803 * [taylor]: Taking taylor expansion of 0 in y 9.803 * [approximate]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in (x y) around 0 9.803 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y 9.803 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 9.803 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 9.803 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 9.804 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x 9.804 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 9.804 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 9.804 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 9.805 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x 9.805 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 9.805 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 9.805 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 9.805 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y 9.805 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 9.805 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 9.806 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 9.806 * [taylor]: Taking taylor expansion of 0 in y 9.807 * [taylor]: Taking taylor expansion of 0 in y 9.809 * [taylor]: Taking taylor expansion of 0 in y 9.809 * [approximate]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in (x y) around 0 9.809 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y 9.809 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 9.809 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 9.810 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 9.810 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x 9.810 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 9.810 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 9.810 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 9.811 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x 9.811 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 9.811 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 9.811 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 9.812 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y 9.812 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 9.812 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 9.812 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 9.813 * [taylor]: Taking taylor expansion of 0 in y 9.814 * [taylor]: Taking taylor expansion of 0 in y 9.815 * [taylor]: Taking taylor expansion of 0 in y 9.816 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 9.816 * [approximate]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in (x y) around 0 9.816 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in y 9.816 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 9.816 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 9.816 * [taylor]: Taking taylor expansion of (fabs y) in y 9.816 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in x 9.816 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 9.816 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 9.816 * [taylor]: Taking taylor expansion of (fabs y) in x 9.817 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in x 9.817 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 9.817 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 9.817 * [taylor]: Taking taylor expansion of (fabs y) in x 9.817 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in y 9.817 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 9.817 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 9.817 * [taylor]: Taking taylor expansion of (fabs y) in y 9.818 * [taylor]: Taking taylor expansion of 0 in y 9.818 * [taylor]: Taking taylor expansion of 0 in y 9.820 * [taylor]: Taking taylor expansion of 0 in y 9.820 * [approximate]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in (x y) around 0 9.820 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y 9.820 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 9.820 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 9.820 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 9.821 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x 9.821 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 9.821 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 9.821 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 9.822 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x 9.822 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 9.822 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 9.822 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 9.822 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y 9.822 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 9.822 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 9.822 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 9.823 * [taylor]: Taking taylor expansion of 0 in y 9.824 * [taylor]: Taking taylor expansion of 0 in y 9.831 * [taylor]: Taking taylor expansion of 0 in y 9.831 * [approximate]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in (x y) around 0 9.831 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y 9.831 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 9.831 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 9.832 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 9.832 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x 9.832 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 9.832 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 9.832 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 9.833 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x 9.833 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 9.833 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 9.833 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 9.834 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y 9.834 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 9.834 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 9.834 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 9.834 * [taylor]: Taking taylor expansion of 0 in y 9.835 * [taylor]: Taking taylor expansion of 0 in y 9.837 * [taylor]: Taking taylor expansion of 0 in y 9.837 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 9.838 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0 9.838 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 9.838 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 9.838 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 9.838 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 9.838 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 9.838 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 9.838 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 9.838 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 9.838 * [taylor]: Taking taylor expansion of 0 in y 9.839 * [taylor]: Taking taylor expansion of 0 in y 9.840 * [taylor]: Taking taylor expansion of 0 in y 9.840 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0 9.840 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 9.840 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 9.840 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 9.840 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 9.841 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 9.841 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 9.841 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 9.841 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 9.841 * [taylor]: Taking taylor expansion of 0 in y 9.842 * [taylor]: Taking taylor expansion of 0 in y 9.843 * [taylor]: Taking taylor expansion of 0 in y 9.843 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0 9.843 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 9.843 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 9.843 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 9.843 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 9.844 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 9.844 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 9.844 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 9.844 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 9.844 * [taylor]: Taking taylor expansion of 0 in y 9.845 * [taylor]: Taking taylor expansion of 0 in y 9.846 * [taylor]: Taking taylor expansion of 0 in y 9.846 * * * [progress]: simplifying candidates 9.852 * [simplify]: Simplifying using # : (expm1 (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (log1p (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (+ 1 1) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (+ 1 1) (+ (- (log (sqrt (fabs (- x y)))) (log (sqrt (fabs y)))) (- (log (sqrt (fabs (- x y)))) (log (sqrt (fabs y))))) (+ (- (log (sqrt (fabs (- x y)))) (log (sqrt (fabs y)))) (log (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (+ (log (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (- (log (sqrt (fabs (- x y)))) (log (sqrt (fabs y))))) (+ (log (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (log (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (log (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (exp (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (/ (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (* (* (sqrt (fabs y)) (sqrt (fabs y))) (sqrt (fabs y)))) (/ (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (* (* (sqrt (fabs y)) (sqrt (fabs y))) (sqrt (fabs y))))) (* (/ (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (* (* (sqrt (fabs y)) (sqrt (fabs y))) (sqrt (fabs y)))) (* (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (* (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (* (* (sqrt (fabs y)) (sqrt (fabs y))) (sqrt (fabs y))))) (* (* (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (cbrt (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (cbrt (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))))) (cbrt (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (* (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y))) (sqrt (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (sqrt (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (* (sqrt (fabs y)) (sqrt (fabs y))) (* (* (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))))) (* (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y))))) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y))))) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt 1)) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt 1))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y)))) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) 1) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) 1)) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y)))) (* (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs y))))) (* (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs y))))) (* (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt 1)) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt 1))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y)))) (* (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) 1) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) 1)) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1)) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1)) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) 1) (/ (sqrt (sqrt (fabs (- x y)))) 1)) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) 1) (/ (sqrt (sqrt (fabs (- x y)))) 1)) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y)))) (* (/ (sqrt 1) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt 1) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (* (/ (sqrt 1) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt 1) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y))))) (* (/ (sqrt 1) (sqrt (sqrt (fabs y)))) (/ (sqrt 1) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt 1) (sqrt (sqrt (fabs y)))) (/ (sqrt 1) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt 1) (sqrt 1)) (/ (sqrt 1) (sqrt 1))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt 1) (sqrt (sqrt (fabs y)))) (/ (sqrt 1) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt 1) (sqrt (sqrt (fabs y)))) (/ (sqrt 1) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt 1) 1) (/ (sqrt 1) 1)) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1)) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1)) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) 1) (/ (sqrt (sqrt (fabs (- x y)))) 1)) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) 1) (/ (sqrt (sqrt (fabs (- x y)))) 1)) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y)))) (* (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y))))) (* (/ 1 (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ 1 (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y))))) (* (/ 1 (sqrt (sqrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (* (/ 1 (sqrt (sqrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (* (/ 1 (sqrt 1)) (/ 1 (sqrt 1))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ 1 (sqrt (sqrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (* (/ 1 (sqrt (sqrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y))))) (* (/ 1 1) (/ 1 1)) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* 1 1) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (* (/ 1 (sqrt (fabs y))) (/ 1 (sqrt (fabs y)))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* 2 1) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (* (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt 1))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) 1)) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt 1))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) 1)) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) 1)) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt 1) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt 1) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt 1) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt 1) (sqrt 1))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt 1) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt 1) 1)) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) 1)) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (* (cbrt (fabs y)) (cbrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt 1))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 1)) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 1) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (fabs (- x y)))) (* (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ 1 (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (fabs (- x y)))) (* (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (expm1 (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (log1p (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (- (log (sqrt (fabs (- x y)))) (log (sqrt (fabs y)))) (log (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (exp (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (* (* (sqrt (fabs y)) (sqrt (fabs y))) (sqrt (fabs y)))) (* (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (fabs (- x y)) (fabs y)) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (- (sqrt (fabs (- x y)))) (- (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt 1)) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) 1) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt 1)) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) 1) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1)) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) 1) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt 1) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (sqrt 1) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ (sqrt 1) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt 1) (sqrt 1)) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt 1) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt 1) 1) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1)) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) 1) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ 1 (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ 1 (sqrt 1)) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ 1 1) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt 1)) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) 1) (/ (sqrt (fabs y)) (cbrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (cbrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (expm1 (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (log1p (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (- (log (sqrt (fabs (- x y)))) (log (sqrt (fabs y)))) (log (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (exp (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (* (* (sqrt (fabs y)) (sqrt (fabs y))) (sqrt (fabs y)))) (* (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (fabs (- x y)) (fabs y)) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (- (sqrt (fabs (- x y)))) (- (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt 1)) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) 1) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt 1)) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) 1) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1)) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) 1) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt 1) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ (sqrt 1) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ (sqrt 1) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt 1) (sqrt 1)) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt 1) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt 1) 1) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt 1)) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) 1) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ 1 (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ 1 (sqrt 1)) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ 1 1) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (sqrt (* (cbrt (fabs y)) (cbrt (fabs y))))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt 1)) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) 1) (/ (sqrt (fabs y)) (cbrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (cbrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (expm1 (sqrt (fabs (- x y)))) (log1p (sqrt (fabs (- x y)))) (log (sqrt (fabs (- x y)))) (exp (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y)))) (* (* (sqrt (fabs (- x y))) (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (sqrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt 1) (sqrt (fabs (- x y))) (/ 1 2) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (/ (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))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) 9.868 * * [simplify]: iteration 0 : 211 enodes (cost 9084 ) 9.951 * * [simplify]: iteration 1 : 638 enodes (cost 8063 ) 10.315 * * [simplify]: iteration 2 : 2090 enodes (cost 6700 ) 10.983 * * [simplify]: iteration done : 5000 enodes (cost 6655 ) 10.985 * [simplify]: Simplified to: (expm1 (/ (fabs (- x y)) (fabs y))) (log1p (/ (fabs (- x y)) (fabs y))) 2 (/ (fabs (- x y)) (fabs y)) 2 (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) (* (/ (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 (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (pow (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) 3)) (* (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y))))) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (fabs (cbrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (fabs (cbrt (fabs y))))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y))))) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (fabs y)) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (fabs y)) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (* (/ (sqrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs y))))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (fabs (cbrt (fabs y)))) (fabs (cbrt (fabs y)))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs y))))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (* (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y))))) (fabs y)) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (/ (/ (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (/ (* (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y))))) (fabs y)) (/ (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (/ (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ 1 (fabs (cbrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) 1 (/ (fabs (- x y)) (fabs y)) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) 1 (/ (fabs (- x y)) (fabs y)) (/ (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)) (/ (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (fabs (- x y)) (cbrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (/ 1 (fabs (cbrt (fabs y)))) (fabs (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (cbrt (fabs y)))) (sqrt (cbrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) 1 (/ (fabs (- x y)) (fabs y)) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ 1 (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) 1 (/ (fabs (- x y)) (fabs y)) 1 (/ (fabs (- x y)) (fabs y)) (fabs (- x y)) (/ 1 (fabs y)) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (* (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs y)))) 2 (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (* (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))))) (pow (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) 3) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (fabs (cbrt (fabs y))))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (sqrt (sqrt (fabs y))))) (* (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (fabs (cbrt (fabs (- x y))))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (fabs (cbrt (fabs (- x y))))) (fabs (cbrt (fabs y)))) (* (/ (fabs (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (sqrt (fabs (- x y))) (fabs (cbrt (fabs (- x y))))) (sqrt (fabs y))) (* (/ (fabs (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (sqrt (fabs (- x y))) (fabs (cbrt (fabs (- x y))))) (sqrt (fabs y))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (/ (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs (- x y))))) (fabs (cbrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (sqrt (sqrt (fabs (- x y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (sqrt (sqrt (fabs (- x y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y)))))) (/ (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs (- x y))))) (fabs (cbrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (sqrt (sqrt (fabs (- x y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (sqrt (sqrt (fabs (- x y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (* (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (pow (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) 3) (* (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (sqrt (fabs (- x y))) (cbrt (sqrt (fabs (- x y))))) (fabs y)) (* (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (sqrt (fabs (- x y))) (cbrt (sqrt (fabs (- x y))))) (fabs y)) (* (/ (sqrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (fabs y)) (* (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (fabs y)) (* (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (fabs y)) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (fabs y)) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) (fabs y)) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) (fabs y)) (* (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (fabs y)) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs (- x y)))) (fabs y)) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (cbrt (sqrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (cbrt (fabs y)))) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) (fabs y)) (/ (/ (fabs (- x y)) (sqrt (fabs y))) (sqrt (sqrt (fabs y)))) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (sqrt (fabs (- x y))) (fabs y)) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (expm1 (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (log1p (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (log (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (log (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (exp (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3) (* (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3) (/ (fabs (- x y)) (fabs y)) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (- (sqrt (fabs (- x y)))) (- (sqrt (fabs y))) (* (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y))))) (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (fabs (cbrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (* (cbrt (sqrt (fabs (- x y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (* (cbrt (sqrt (fabs (- x y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (/ (fabs (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (fabs (cbrt (fabs (- x y)))) (fabs (cbrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (fabs (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs (- x y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (fabs (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs (- x y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (fabs (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs (- x y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs (- x y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ 1 (fabs (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) 1 (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) 1 (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (fabs (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs (- x y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs (- x y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ 1 (fabs (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) 1 (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) 1 (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs y)) (cbrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (cbrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (expm1 (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (log1p (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (log (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (log (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (exp (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3) (* (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y))))) (cbrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (pow (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) 3) (/ (fabs (- x y)) (fabs y)) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (- (sqrt (fabs (- x y)))) (- (sqrt (fabs y))) (* (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y))))) (/ (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (fabs (cbrt (fabs y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (* (cbrt (sqrt (fabs (- x y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (* (cbrt (sqrt (fabs (- x y)))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y))))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (/ (cbrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (/ (fabs (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (fabs (cbrt (fabs (- x y)))) (fabs (cbrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (fabs (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs (- x y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (fabs (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (fabs (cbrt (fabs (- x y)))) (/ (sqrt (cbrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (fabs (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs (- x y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs (- x y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ 1 (fabs (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) 1 (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) 1 (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (fabs (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (cbrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs (- x y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (sqrt (sqrt (fabs (- x y)))) (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (fabs y))) (/ 1 (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (cbrt (sqrt (fabs y)))) (/ 1 (fabs (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (cbrt (fabs y)))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) 1 (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) 1 (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (/ 1 (sqrt (fabs y))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs (- x y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (sqrt (fabs (- x y))) (fabs (cbrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (sqrt (sqrt (fabs y)))) (sqrt (fabs (- x y))) (/ (sqrt (fabs y)) (cbrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (cbrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (sqrt (fabs (- x y))))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (expm1 (sqrt (fabs (- x y)))) (log1p (sqrt (fabs (- x y)))) (log (sqrt (fabs (- x y)))) (exp (sqrt (fabs (- x y)))) (* (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y))))) (cbrt (sqrt (fabs (- x y)))) (pow (sqrt (fabs (- x y))) 3) (fabs (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) 1 (sqrt (fabs (- x y))) 1/2 (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs (- x y)))) (/ (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))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (/ (fabs (- x y)) (fabs y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) (sqrt (fabs (- x y))) 10.988 * * * [progress]: adding candidates to table 11.575 * * [progress]: iteration 4 / 4 11.575 * * * [progress]: picking best candidate 11.580 * * * * [pick]: Picked # 11.580 * * * [progress]: localizing error 11.600 * * * [progress]: generating rewritten candidates 11.600 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 11.601 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 11.601 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 11.602 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 11.603 * * * [progress]: generating series expansions 11.603 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 11.603 * [approximate]: Taking taylor expansion of (pow (fabs y) 1/3) in (y) around 0 11.603 * [taylor]: Taking taylor expansion of (pow (fabs y) 1/3) in y 11.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs y)))) in y 11.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs y))) in y 11.603 * [taylor]: Taking taylor expansion of 1/3 in y 11.603 * [taylor]: Taking taylor expansion of (log (fabs y)) in y 11.603 * [taylor]: Taking taylor expansion of (fabs y) in y 11.603 * [taylor]: Taking taylor expansion of (pow (fabs y) 1/3) in y 11.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs y)))) in y 11.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs y))) in y 11.603 * [taylor]: Taking taylor expansion of 1/3 in y 11.603 * [taylor]: Taking taylor expansion of (log (fabs y)) in y 11.603 * [taylor]: Taking taylor expansion of (fabs y) in y 11.642 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 y)) 1/3) in (y) around 0 11.642 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 y)) 1/3) in y 11.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 y))))) in y 11.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 y)))) in y 11.642 * [taylor]: Taking taylor expansion of 1/3 in y 11.642 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 y))) in y 11.642 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 11.642 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 y)) 1/3) in y 11.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 y))))) in y 11.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 y)))) in y 11.642 * [taylor]: Taking taylor expansion of 1/3 in y 11.642 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 y))) in y 11.642 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 11.676 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 y)) 1/3) in (y) around 0 11.676 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 y)) 1/3) in y 11.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 y))))) in y 11.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 y)))) in y 11.676 * [taylor]: Taking taylor expansion of 1/3 in y 11.676 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 y))) in y 11.676 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 11.676 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 y)) 1/3) in y 11.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 y))))) in y 11.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 y)))) in y 11.676 * [taylor]: Taking taylor expansion of 1/3 in y 11.676 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 y))) in y 11.676 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 11.715 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 11.715 * [approximate]: Taking taylor expansion of (pow (fabs y) 1/3) in (y) around 0 11.715 * [taylor]: Taking taylor expansion of (pow (fabs y) 1/3) in y 11.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs y)))) in y 11.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs y))) in y 11.715 * [taylor]: Taking taylor expansion of 1/3 in y 11.715 * [taylor]: Taking taylor expansion of (log (fabs y)) in y 11.715 * [taylor]: Taking taylor expansion of (fabs y) in y 11.715 * [taylor]: Taking taylor expansion of (pow (fabs y) 1/3) in y 11.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs y)))) in y 11.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs y))) in y 11.715 * [taylor]: Taking taylor expansion of 1/3 in y 11.715 * [taylor]: Taking taylor expansion of (log (fabs y)) in y 11.715 * [taylor]: Taking taylor expansion of (fabs y) in y 11.748 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 y)) 1/3) in (y) around 0 11.748 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 y)) 1/3) in y 11.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 y))))) in y 11.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 y)))) in y 11.748 * [taylor]: Taking taylor expansion of 1/3 in y 11.748 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 y))) in y 11.748 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 11.748 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 y)) 1/3) in y 11.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 y))))) in y 11.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 y)))) in y 11.748 * [taylor]: Taking taylor expansion of 1/3 in y 11.748 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 y))) in y 11.748 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 11.782 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 y)) 1/3) in (y) around 0 11.782 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 y)) 1/3) in y 11.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 y))))) in y 11.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 y)))) in y 11.782 * [taylor]: Taking taylor expansion of 1/3 in y 11.782 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 y))) in y 11.782 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 11.782 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 y)) 1/3) in y 11.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 y))))) in y 11.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 y)))) in y 11.782 * [taylor]: Taking taylor expansion of 1/3 in y 11.782 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 y))) in y 11.782 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 11.822 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 11.822 * [approximate]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in (x y) around 0 11.822 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in y 11.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in y 11.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in y 11.822 * [taylor]: Taking taylor expansion of 1/3 in y 11.822 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y 11.822 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 11.823 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in x 11.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in x 11.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in x 11.823 * [taylor]: Taking taylor expansion of 1/3 in x 11.823 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x 11.823 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 11.823 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in x 11.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in x 11.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in x 11.823 * [taylor]: Taking taylor expansion of 1/3 in x 11.823 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x 11.823 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 11.823 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in y 11.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in y 11.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in y 11.823 * [taylor]: Taking taylor expansion of 1/3 in y 11.823 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y 11.823 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 11.825 * [taylor]: Taking taylor expansion of 0 in y 11.829 * [taylor]: Taking taylor expansion of 0 in y 11.835 * [taylor]: Taking taylor expansion of 0 in y 11.836 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in (x y) around 0 11.836 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in y 11.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y 11.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in y 11.836 * [taylor]: Taking taylor expansion of 1/3 in y 11.836 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y 11.836 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 11.836 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in x 11.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x 11.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in x 11.836 * [taylor]: Taking taylor expansion of 1/3 in x 11.836 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x 11.836 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 11.836 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in x 11.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x 11.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in x 11.836 * [taylor]: Taking taylor expansion of 1/3 in x 11.837 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x 11.837 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 11.837 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in y 11.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y 11.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in y 11.837 * [taylor]: Taking taylor expansion of 1/3 in y 11.837 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y 11.837 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 11.839 * [taylor]: Taking taylor expansion of 0 in y 11.843 * [taylor]: Taking taylor expansion of 0 in y 11.850 * [taylor]: Taking taylor expansion of 0 in y 11.850 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in (x y) around 0 11.850 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in y 11.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y 11.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in y 11.850 * [taylor]: Taking taylor expansion of 1/3 in y 11.850 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y 11.850 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 11.850 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in x 11.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x 11.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in x 11.850 * [taylor]: Taking taylor expansion of 1/3 in x 11.851 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x 11.851 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 11.851 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in x 11.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x 11.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in x 11.851 * [taylor]: Taking taylor expansion of 1/3 in x 11.851 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x 11.851 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 11.851 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in y 11.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y 11.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in y 11.851 * [taylor]: Taking taylor expansion of 1/3 in y 11.851 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y 11.851 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 11.854 * [taylor]: Taking taylor expansion of 0 in y 11.858 * [taylor]: Taking taylor expansion of 0 in y 11.864 * [taylor]: Taking taylor expansion of 0 in y 11.865 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 11.865 * [approximate]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in (x y) around 0 11.865 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in y 11.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in y 11.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in y 11.865 * [taylor]: Taking taylor expansion of 1/3 in y 11.865 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y 11.865 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 11.865 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in x 11.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in x 11.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in x 11.865 * [taylor]: Taking taylor expansion of 1/3 in x 11.865 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x 11.865 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 11.865 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in x 11.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in x 11.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in x 11.865 * [taylor]: Taking taylor expansion of 1/3 in x 11.865 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x 11.865 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 11.866 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in y 11.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in y 11.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in y 11.866 * [taylor]: Taking taylor expansion of 1/3 in y 11.866 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y 11.866 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 11.867 * [taylor]: Taking taylor expansion of 0 in y 11.872 * [taylor]: Taking taylor expansion of 0 in y 11.878 * [taylor]: Taking taylor expansion of 0 in y 11.878 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in (x y) around 0 11.878 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in y 11.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y 11.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in y 11.878 * [taylor]: Taking taylor expansion of 1/3 in y 11.878 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y 11.878 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 11.878 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in x 11.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x 11.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in x 11.878 * [taylor]: Taking taylor expansion of 1/3 in x 11.878 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x 11.878 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 11.879 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in x 11.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x 11.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in x 11.879 * [taylor]: Taking taylor expansion of 1/3 in x 11.879 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x 11.879 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 11.879 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in y 11.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y 11.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in y 11.879 * [taylor]: Taking taylor expansion of 1/3 in y 11.879 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y 11.879 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 11.881 * [taylor]: Taking taylor expansion of 0 in y 11.886 * [taylor]: Taking taylor expansion of 0 in y 11.897 * [taylor]: Taking taylor expansion of 0 in y 11.898 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in (x y) around 0 11.898 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in y 11.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y 11.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in y 11.898 * [taylor]: Taking taylor expansion of 1/3 in y 11.898 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y 11.898 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 11.898 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in x 11.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x 11.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in x 11.898 * [taylor]: Taking taylor expansion of 1/3 in x 11.898 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x 11.898 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 11.898 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in x 11.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x 11.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in x 11.899 * [taylor]: Taking taylor expansion of 1/3 in x 11.899 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x 11.899 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 11.899 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in y 11.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y 11.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in y 11.899 * [taylor]: Taking taylor expansion of 1/3 in y 11.899 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y 11.899 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 11.901 * [taylor]: Taking taylor expansion of 0 in y 11.905 * [taylor]: Taking taylor expansion of 0 in y 11.912 * [taylor]: Taking taylor expansion of 0 in y 11.912 * * * [progress]: simplifying candidates 11.913 * [simplify]: Simplifying using # : (expm1 (cbrt (fabs y))) (log1p (cbrt (fabs y))) (log (cbrt (fabs y))) (exp (cbrt (fabs y))) (cbrt (* (cbrt (fabs y)) (cbrt (fabs y)))) (cbrt (cbrt (fabs y))) (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))) (cbrt 1) (cbrt (fabs y)) (* (cbrt (cbrt (fabs y))) (cbrt (cbrt (fabs y)))) (cbrt (cbrt (fabs y))) (* (* (cbrt (fabs y)) (cbrt (fabs y))) (cbrt (fabs y))) (sqrt (cbrt (fabs y))) (sqrt (cbrt (fabs y))) (expm1 (cbrt (fabs y))) (log1p (cbrt (fabs y))) (log (cbrt (fabs y))) (exp (cbrt (fabs y))) (cbrt (* (cbrt (fabs y)) (cbrt (fabs y)))) (cbrt (cbrt (fabs y))) (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))) (cbrt 1) (cbrt (fabs y)) (* (cbrt (cbrt (fabs y))) (cbrt (cbrt (fabs y)))) (cbrt (cbrt (fabs y))) (* (* (cbrt (fabs y)) (cbrt (fabs y))) (cbrt (fabs y))) (sqrt (cbrt (fabs y))) (sqrt (cbrt (fabs y))) (expm1 (cbrt (fabs (- x y)))) (log1p (cbrt (fabs (- x y)))) (log (cbrt (fabs (- x y)))) (exp (cbrt (fabs (- x y)))) (cbrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (cbrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))) (cbrt 1) (cbrt (fabs (- x y))) (* (cbrt (cbrt (fabs (- x y)))) (cbrt (cbrt (fabs (- x y))))) (cbrt (cbrt (fabs (- x y)))) (* (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (expm1 (cbrt (fabs (- x y)))) (log1p (cbrt (fabs (- x y)))) (log (cbrt (fabs (- x y)))) (exp (cbrt (fabs (- x y)))) (cbrt (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (cbrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))) (cbrt 1) (cbrt (fabs (- x y))) (* (cbrt (cbrt (fabs (- x y)))) (cbrt (cbrt (fabs (- x y))))) (cbrt (cbrt (fabs (- x y)))) (* (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (pow (fabs y) 1/3) (pow (fabs y) 1/3) (pow (fabs y) 1/3) (pow (fabs y) 1/3) (pow (fabs y) 1/3) (pow (fabs y) 1/3) (pow (fabs (- x y)) 1/3) (pow (fabs (- x y)) 1/3) (pow (fabs (- x y)) 1/3) (pow (fabs (- x y)) 1/3) (pow (fabs (- x y)) 1/3) (pow (fabs (- x y)) 1/3) 11.915 * * [simplify]: iteration 0 : 36 enodes (cost 424 ) 11.920 * * [simplify]: iteration 1 : 49 enodes (cost 408 ) 11.926 * * [simplify]: iteration 2 : 100 enodes (cost 360 ) 11.941 * * [simplify]: iteration 3 : 200 enodes (cost 348 ) 11.996 * * [simplify]: iteration 4 : 567 enodes (cost 348 ) 12.457 * * [simplify]: iteration 5 : 2254 enodes (cost 348 ) 13.960 * * [simplify]: iteration done : 5001 enodes (cost 348 ) 13.961 * [simplify]: Simplified to: (expm1 (cbrt (fabs y))) (log1p (cbrt (fabs y))) (log (cbrt (fabs y))) (exp (cbrt (fabs y))) (cbrt (pow (fabs y) 2/3)) (cbrt (cbrt (fabs y))) (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))) 1 (cbrt (fabs y)) (* (cbrt (cbrt (fabs y))) (cbrt (cbrt (fabs y)))) (cbrt (cbrt (fabs y))) (fabs y) (sqrt (cbrt (fabs y))) (sqrt (cbrt (fabs y))) (expm1 (cbrt (fabs y))) (log1p (cbrt (fabs y))) (log (cbrt (fabs y))) (exp (cbrt (fabs y))) (cbrt (pow (fabs y) 2/3)) (cbrt (cbrt (fabs y))) (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))) 1 (cbrt (fabs y)) (* (cbrt (cbrt (fabs y))) (cbrt (cbrt (fabs y)))) (cbrt (cbrt (fabs y))) (fabs y) (sqrt (cbrt (fabs y))) (sqrt (cbrt (fabs y))) (expm1 (cbrt (fabs (- x y)))) (log1p (cbrt (fabs (- x y)))) (log (cbrt (fabs (- x y)))) (exp (cbrt (fabs (- x y)))) (cbrt (pow (fabs (- x y)) 2/3)) (cbrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))) 1 (cbrt (fabs (- x y))) (* (cbrt (cbrt (fabs (- x y)))) (cbrt (cbrt (fabs (- x y))))) (cbrt (cbrt (fabs (- x y)))) (fabs (- x y)) (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (expm1 (cbrt (fabs (- x y)))) (log1p (cbrt (fabs (- x y)))) (log (cbrt (fabs (- x y)))) (exp (cbrt (fabs (- x y)))) (cbrt (pow (fabs (- x y)) 2/3)) (cbrt (cbrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))) (cbrt (sqrt (fabs (- x y)))) 1 (cbrt (fabs (- x y))) (* (cbrt (cbrt (fabs (- x y)))) (cbrt (cbrt (fabs (- x y))))) (cbrt (cbrt (fabs (- x y)))) (fabs (- x y)) (sqrt (cbrt (fabs (- x y)))) (sqrt (cbrt (fabs (- x y)))) (cbrt (fabs y)) (cbrt (fabs y)) (cbrt (fabs y)) (cbrt (fabs y)) (cbrt (fabs y)) (cbrt (fabs y)) (cbrt (fabs (- x y))) (cbrt (fabs (- x y))) (cbrt (fabs (- x y))) (cbrt (fabs (- x y))) (cbrt (fabs (- x y))) (cbrt (fabs (- x y))) 13.961 * * * [progress]: adding candidates to table 14.217 * [progress]: [Phase 3 of 3] Extracting. 14.217 * * [regime]: Finding splitpoints for: (# # # #) 14.218 * * * [regime-changes]: Trying 3 branch expressions: ((/ (fabs (- x y)) (fabs y)) y x) 14.218 * * * * [regimes]: Trying to branch on (/ (fabs (- x y)) (fabs y)) from (# # # #) 14.243 * * * * [regimes]: Trying to branch on y from (# # # #) 14.265 * * * * [regimes]: Trying to branch on x from (# # # #) 14.284 * * * [regime]: Found split indices: #