6.160 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.011 * * * [progress]: [2/2] Setting up program. 0.013 * [progress]: [Phase 2 of 3] Improving. 0.014 * [simplify]: Simplifying using # : (/ (fabs (- x y)) (fabs y)) 0.014 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.015 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 0.016 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 0.017 * * [simplify]: iteration done : 9 enodes (cost 7 ) 0.017 * [simplify]: Simplified to: (/ (fabs (- x y)) (fabs y)) 0.017 * * [progress]: iteration 1 / 4 0.017 * * * [progress]: picking best candidate 0.019 * * * * [pick]: Picked # 0.019 * * * [progress]: localizing error 0.024 * * * [progress]: generating rewritten candidates 0.024 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.027 * * * [progress]: generating series expansions 0.027 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.027 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0 0.027 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 0.027 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 0.027 * [taylor]: Taking taylor expansion of (fabs y) in y 0.027 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 0.027 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 0.027 * [taylor]: Taking taylor expansion of (fabs y) in x 0.027 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 0.027 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 0.027 * [taylor]: Taking taylor expansion of (fabs y) in x 0.027 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 0.027 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 0.028 * [taylor]: Taking taylor expansion of (fabs y) in y 0.028 * [taylor]: Taking taylor expansion of 0 in y 0.028 * [taylor]: Taking taylor expansion of 0 in y 0.029 * [taylor]: Taking taylor expansion of 0 in y 0.029 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0 0.029 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 0.029 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 0.029 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 0.029 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 0.029 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 0.029 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 0.029 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 0.029 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 0.029 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 0.029 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 0.029 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 0.030 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 0.030 * [taylor]: Taking taylor expansion of 0 in y 0.030 * [taylor]: Taking taylor expansion of 0 in y 0.031 * [taylor]: Taking taylor expansion of 0 in y 0.031 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0 0.031 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 0.031 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 0.031 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 0.032 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 0.032 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 0.032 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 0.032 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 0.032 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 0.032 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 0.032 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 0.032 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 0.032 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 0.033 * [taylor]: Taking taylor expansion of 0 in y 0.033 * [taylor]: Taking taylor expansion of 0 in y 0.034 * [taylor]: Taking taylor expansion of 0 in y 0.034 * * * [progress]: simplifying candidates 0.034 * [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.036 * * [simplify]: iteration 0 : 54 enodes (cost 385 ) 0.045 * * [simplify]: iteration 1 : 88 enodes (cost 376 ) 0.063 * * [simplify]: iteration 2 : 178 enodes (cost 348 ) 0.115 * * [simplify]: iteration 3 : 397 enodes (cost 348 ) 0.237 * * [simplify]: iteration 4 : 719 enodes (cost 348 ) 0.455 * * [simplify]: iteration 5 : 1060 enodes (cost 348 ) 1.017 * * [simplify]: iteration 6 : 2257 enodes (cost 348 ) 2.446 * * [simplify]: iteration done : 5000 enodes (cost 348 ) 2.446 * [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)) 2.446 * * * [progress]: adding candidates to table 2.520 * * [progress]: iteration 2 / 4 2.520 * * * [progress]: picking best candidate 2.526 * * * * [pick]: Picked # 2.527 * * * [progress]: localizing error 2.533 * * * [progress]: generating rewritten candidates 2.533 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.538 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 2.544 * * * [progress]: generating series expansions 2.544 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.544 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (y x) around 0 2.544 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 2.544 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 2.544 * [taylor]: Taking taylor expansion of (fabs y) in x 2.544 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 2.544 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 2.544 * [taylor]: Taking taylor expansion of (fabs y) in y 2.544 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 2.544 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 2.544 * [taylor]: Taking taylor expansion of (fabs y) in y 2.545 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 2.545 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 2.545 * [taylor]: Taking taylor expansion of (fabs y) in x 2.545 * [taylor]: Taking taylor expansion of 0 in x 2.545 * [taylor]: Taking taylor expansion of 0 in x 2.546 * [taylor]: Taking taylor expansion of 0 in x 2.546 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (y x) around 0 2.546 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 2.546 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 2.546 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 2.546 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 2.546 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 2.546 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 2.546 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 2.546 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 2.546 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 2.547 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 2.547 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 2.547 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 2.547 * [taylor]: Taking taylor expansion of 0 in x 2.548 * [taylor]: Taking taylor expansion of 0 in x 2.548 * [taylor]: Taking taylor expansion of 0 in x 2.548 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (y x) around 0 2.548 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 2.548 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 2.549 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 2.549 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 2.549 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 2.549 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 2.549 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 2.549 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 2.549 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 2.549 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 2.549 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 2.549 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 2.550 * [taylor]: Taking taylor expansion of 0 in x 2.550 * [taylor]: Taking taylor expansion of 0 in x 2.551 * [taylor]: Taking taylor expansion of 0 in x 2.551 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 2.551 * [approximate]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in (y x) around 0 2.551 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in x 2.551 * [taylor]: Taking taylor expansion of (fabs y) in x 2.551 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 2.551 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in y 2.551 * [taylor]: Taking taylor expansion of (fabs y) in y 2.551 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 2.552 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in y 2.552 * [taylor]: Taking taylor expansion of (fabs y) in y 2.552 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 2.552 * [taylor]: Taking taylor expansion of (/ (fabs y) (fabs (- x y))) in x 2.552 * [taylor]: Taking taylor expansion of (fabs y) in x 2.552 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 2.552 * [taylor]: Taking taylor expansion of 0 in x 2.552 * [taylor]: Taking taylor expansion of 0 in x 2.553 * [taylor]: Taking taylor expansion of 0 in x 2.553 * [approximate]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in (y x) around 0 2.553 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in x 2.553 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 2.553 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 2.553 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in y 2.553 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 2.553 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 2.554 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in y 2.554 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 2.554 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 2.554 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 y)) (fabs (- (/ 1 x) (/ 1 y)))) in x 2.554 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 2.554 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 2.554 * [taylor]: Taking taylor expansion of 0 in x 2.555 * [taylor]: Taking taylor expansion of 0 in x 2.556 * [taylor]: Taking taylor expansion of 0 in x 2.556 * [approximate]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in (y x) around 0 2.556 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in x 2.556 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 2.556 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 2.556 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in y 2.556 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 2.556 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 2.557 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in y 2.557 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 2.557 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 2.557 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 y)) (fabs (- (/ 1 y) (/ 1 x)))) in x 2.557 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 2.557 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 2.557 * [taylor]: Taking taylor expansion of 0 in x 2.558 * [taylor]: Taking taylor expansion of 0 in x 2.559 * [taylor]: Taking taylor expansion of 0 in x 2.559 * * * [progress]: simplifying candidates 2.560 * [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))) 2.565 * * [simplify]: iteration 0 : 153 enodes (cost 1781 ) 2.616 * * [simplify]: iteration 1 : 316 enodes (cost 1567 ) 2.655 * * [simplify]: iteration 2 : 582 enodes (cost 1388 ) 2.918 * * [simplify]: iteration 3 : 1238 enodes (cost 1370 ) 3.656 * * [simplify]: iteration 4 : 2242 enodes (cost 1370 ) 5.921 * * [simplify]: iteration 5 : 3426 enodes (cost 1370 ) 7.321 * * [simplify]: iteration done : 5000 enodes (cost 1370 ) 7.322 * [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 y))) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ (cbrt (fabs y)) (cbrt (fabs (- x y)))) (* (/ (cbrt (fabs y)) (sqrt (fabs (- x y)))) (cbrt (fabs y))) (/ (cbrt (fabs y)) (sqrt (fabs (- x y)))) (* (cbrt (fabs y)) (cbrt (fabs y))) (/ (cbrt (fabs y)) (fabs (- x y))) (/ (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))) (cbrt (fabs (- x y)))) (/ (sqrt (fabs y)) (cbrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (/ (sqrt (fabs y)) (sqrt (fabs (- x y)))) (sqrt (fabs y)) (/ (sqrt (fabs y)) (fabs (- x y))) (/ 1 (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ (fabs y) (cbrt (fabs (- x y)))) (/ 1 (sqrt (fabs (- x y)))) (/ (fabs y) (sqrt (fabs (- x y)))) 1 (/ (fabs y) (fabs (- x y))) (/ 1 (fabs (- x y))) (/ (fabs (- x y)) (fabs y)) (/ (fabs y) (* (cbrt (fabs (- x y))) (cbrt (fabs (- x y))))) (/ (fabs y) (sqrt (fabs (- x y)))) (fabs y) (/ (fabs (- x y)) (cbrt (fabs y))) (/ (fabs (- x y)) (sqrt (fabs y))) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs (- x y)) (fabs y)) (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))) (/ (fabs y) (fabs (- x y))) 7.323 * * * [progress]: adding candidates to table 7.471 * * [progress]: iteration 3 / 4 7.472 * * * [progress]: picking best candidate 7.476 * * * * [pick]: Picked # 7.476 * * * [progress]: localizing error 7.484 * * * [progress]: generating rewritten candidates 7.484 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 7.529 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 7.533 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 7.537 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 7.557 * * * [progress]: generating series expansions 7.557 * * * * [progress]: [ 1 / 4 ] generating series at (2) 7.557 * [approximate]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in (x y) around 0 7.557 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 7.557 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 7.557 * [taylor]: Taking taylor expansion of (fabs y) in y 7.558 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 7.558 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 7.558 * [taylor]: Taking taylor expansion of (fabs y) in x 7.558 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 7.558 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 7.558 * [taylor]: Taking taylor expansion of (fabs y) in x 7.558 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 7.558 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 7.558 * [taylor]: Taking taylor expansion of (fabs y) in y 7.558 * [taylor]: Taking taylor expansion of 0 in y 7.559 * [taylor]: Taking taylor expansion of 0 in y 7.559 * [taylor]: Taking taylor expansion of 0 in y 7.559 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in (x y) around 0 7.559 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 7.559 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 7.559 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 7.560 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 7.560 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 7.560 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 7.560 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 7.560 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 7.560 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 7.560 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 7.560 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 7.560 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 7.561 * [taylor]: Taking taylor expansion of 0 in y 7.561 * [taylor]: Taking taylor expansion of 0 in y 7.562 * [taylor]: Taking taylor expansion of 0 in y 7.562 * [approximate]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in (x y) around 0 7.562 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 7.562 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 7.562 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 7.562 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 7.562 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 7.562 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 7.563 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 7.563 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 7.563 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 7.563 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 7.563 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 7.563 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 7.563 * [taylor]: Taking taylor expansion of 0 in y 7.564 * [taylor]: Taking taylor expansion of 0 in y 7.564 * [taylor]: Taking taylor expansion of 0 in y 7.564 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 7.565 * [approximate]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in (x y) around 0 7.565 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in y 7.565 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 7.565 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 7.565 * [taylor]: Taking taylor expansion of (fabs y) in y 7.565 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in x 7.565 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 7.565 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 7.565 * [taylor]: Taking taylor expansion of (fabs y) in x 7.565 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in x 7.565 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 7.566 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 7.566 * [taylor]: Taking taylor expansion of (fabs y) in x 7.566 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in y 7.566 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 7.566 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 7.566 * [taylor]: Taking taylor expansion of (fabs y) in y 7.566 * [taylor]: Taking taylor expansion of 0 in y 7.567 * [taylor]: Taking taylor expansion of 0 in y 7.569 * [taylor]: Taking taylor expansion of 0 in y 7.569 * [approximate]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in (x y) around 0 7.569 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y 7.569 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 7.569 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 7.569 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 7.570 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x 7.570 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 7.570 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 7.570 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 7.570 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x 7.570 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 7.570 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 7.570 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 7.571 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y 7.571 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 7.571 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 7.571 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 7.572 * [taylor]: Taking taylor expansion of 0 in y 7.573 * [taylor]: Taking taylor expansion of 0 in y 7.579 * [taylor]: Taking taylor expansion of 0 in y 7.580 * [approximate]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in (x y) around 0 7.580 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y 7.580 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 7.580 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 7.580 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 7.580 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x 7.580 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 7.580 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 7.581 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 7.581 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x 7.581 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 7.581 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 7.581 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 7.582 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y 7.582 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 7.582 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 7.582 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 7.583 * [taylor]: Taking taylor expansion of 0 in y 7.584 * [taylor]: Taking taylor expansion of 0 in y 7.585 * [taylor]: Taking taylor expansion of 0 in y 7.586 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 7.586 * [approximate]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in (x y) around 0 7.586 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in y 7.586 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 7.586 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 7.586 * [taylor]: Taking taylor expansion of (fabs y) in y 7.586 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in x 7.586 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 7.586 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 7.586 * [taylor]: Taking taylor expansion of (fabs y) in x 7.587 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in x 7.587 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in x 7.587 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 7.587 * [taylor]: Taking taylor expansion of (fabs y) in x 7.587 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- x y)) (fabs y))) in y 7.587 * [taylor]: Taking taylor expansion of (/ (fabs (- x y)) (fabs y)) in y 7.587 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 7.587 * [taylor]: Taking taylor expansion of (fabs y) in y 7.588 * [taylor]: Taking taylor expansion of 0 in y 7.588 * [taylor]: Taking taylor expansion of 0 in y 7.590 * [taylor]: Taking taylor expansion of 0 in y 7.590 * [approximate]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in (x y) around 0 7.590 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y 7.590 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 7.590 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 7.590 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 7.591 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x 7.591 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 7.591 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 7.591 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 7.591 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in x 7.591 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in x 7.591 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 7.591 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in x 7.592 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y)))) in y 7.592 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 x) (/ 1 y))) (fabs (/ 1 y))) in y 7.592 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 7.592 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 7.593 * [taylor]: Taking taylor expansion of 0 in y 7.594 * [taylor]: Taking taylor expansion of 0 in y 7.595 * [taylor]: Taking taylor expansion of 0 in y 7.596 * [approximate]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in (x y) around 0 7.596 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y 7.596 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 7.596 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 7.596 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 7.596 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x 7.596 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 7.596 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 7.596 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 7.597 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in x 7.597 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in x 7.597 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 7.597 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in x 7.598 * [taylor]: Taking taylor expansion of (sqrt (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y)))) in y 7.598 * [taylor]: Taking taylor expansion of (/ (fabs (- (/ 1 y) (/ 1 x))) (fabs (/ -1 y))) in y 7.598 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 7.598 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 7.598 * [taylor]: Taking taylor expansion of 0 in y 7.599 * [taylor]: Taking taylor expansion of 0 in y 7.601 * [taylor]: Taking taylor expansion of 0 in y 7.601 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 7.601 * [approximate]: Taking taylor expansion of (sqrt (fabs (- x y))) in (x y) around 0 7.601 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 7.601 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 7.601 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 7.601 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 7.601 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in x 7.601 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 7.602 * [taylor]: Taking taylor expansion of (sqrt (fabs (- x y))) in y 7.602 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 7.602 * [taylor]: Taking taylor expansion of 0 in y 7.602 * [taylor]: Taking taylor expansion of 0 in y 7.603 * [taylor]: Taking taylor expansion of 0 in y 7.603 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in (x y) around 0 7.603 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 7.603 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 7.604 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 7.604 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 7.604 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in x 7.604 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 7.604 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 x) (/ 1 y)))) in y 7.604 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 7.604 * [taylor]: Taking taylor expansion of 0 in y 7.605 * [taylor]: Taking taylor expansion of 0 in y 7.606 * [taylor]: Taking taylor expansion of 0 in y 7.606 * [approximate]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in (x y) around 0 7.606 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 7.606 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 7.606 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 7.607 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 7.607 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in x 7.607 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 7.607 * [taylor]: Taking taylor expansion of (sqrt (fabs (- (/ 1 y) (/ 1 x)))) in y 7.607 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 7.607 * [taylor]: Taking taylor expansion of 0 in y 7.608 * [taylor]: Taking taylor expansion of 0 in y 7.609 * [taylor]: Taking taylor expansion of 0 in y 7.609 * * * [progress]: simplifying candidates 7.614 * [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))) 7.629 * * [simplify]: iteration 0 : 211 enodes (cost 9084 ) 7.707 * * [simplify]: iteration 1 : 638 enodes (cost 7987 ) 7.900 * * [simplify]: iteration 2 : 1989 enodes (cost 6700 ) 8.352 * * [simplify]: iteration done : 5001 enodes (cost 6655 ) 8.354 * [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))) (sqrt (fabs y))) (fabs (cbrt (fabs (- x y))))) (* (/ (fabs (cbrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (* (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (fabs (cbrt (fabs (- x 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 y))) (sqrt (fabs (- x 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 (- x y))) (sqrt (fabs y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (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 y))) (sqrt (fabs (- x 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 (- x y))) (sqrt (fabs y))) (* (cbrt (sqrt (fabs y))) (cbrt (sqrt (fabs y))))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (fabs (cbrt (fabs y)))) (/ (/ (sqrt (fabs (- x y))) (sqrt (fabs y))) (sqrt (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 (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))) (fabs y)) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (sqrt (fabs (- x y))) (sqrt (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 (fabs (- x y))) (sqrt (sqrt (fabs (- x y))))) (fabs y)) (* (/ (sqrt (sqrt (fabs (- x y)))) (sqrt (sqrt (fabs y)))) (/ (sqrt (fabs (- x y))) (sqrt (fabs y)))) (/ (* (sqrt (fabs (- x y))) (sqrt (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))) 8.357 * * * [progress]: adding candidates to table 8.875 * * [progress]: iteration 4 / 4 8.875 * * * [progress]: picking best candidate 8.879 * * * * [pick]: Picked # 8.879 * * * [progress]: localizing error 8.900 * * * [progress]: generating rewritten candidates 8.900 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 8.900 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 8.901 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 8.901 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 8.902 * * * [progress]: generating series expansions 8.902 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 8.902 * [approximate]: Taking taylor expansion of (pow (fabs y) 1/3) in (y) around 0 8.903 * [taylor]: Taking taylor expansion of (pow (fabs y) 1/3) in y 8.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs y)))) in y 8.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs y))) in y 8.903 * [taylor]: Taking taylor expansion of 1/3 in y 8.903 * [taylor]: Taking taylor expansion of (log (fabs y)) in y 8.903 * [taylor]: Taking taylor expansion of (fabs y) in y 8.903 * [taylor]: Taking taylor expansion of (pow (fabs y) 1/3) in y 8.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs y)))) in y 8.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs y))) in y 8.903 * [taylor]: Taking taylor expansion of 1/3 in y 8.903 * [taylor]: Taking taylor expansion of (log (fabs y)) in y 8.903 * [taylor]: Taking taylor expansion of (fabs y) in y 8.934 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 y)) 1/3) in (y) around 0 8.934 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 y)) 1/3) in y 8.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 y))))) in y 8.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 y)))) in y 8.934 * [taylor]: Taking taylor expansion of 1/3 in y 8.934 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 y))) in y 8.934 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 8.934 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 y)) 1/3) in y 8.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 y))))) in y 8.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 y)))) in y 8.934 * [taylor]: Taking taylor expansion of 1/3 in y 8.934 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 y))) in y 8.934 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 8.965 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 y)) 1/3) in (y) around 0 8.965 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 y)) 1/3) in y 8.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 y))))) in y 8.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 y)))) in y 8.965 * [taylor]: Taking taylor expansion of 1/3 in y 8.965 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 y))) in y 8.965 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 8.965 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 y)) 1/3) in y 8.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 y))))) in y 8.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 y)))) in y 8.965 * [taylor]: Taking taylor expansion of 1/3 in y 8.965 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 y))) in y 8.965 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 8.999 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 8.999 * [approximate]: Taking taylor expansion of (pow (fabs y) 1/3) in (y) around 0 8.999 * [taylor]: Taking taylor expansion of (pow (fabs y) 1/3) in y 8.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs y)))) in y 8.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs y))) in y 8.999 * [taylor]: Taking taylor expansion of 1/3 in y 9.000 * [taylor]: Taking taylor expansion of (log (fabs y)) in y 9.000 * [taylor]: Taking taylor expansion of (fabs y) in y 9.000 * [taylor]: Taking taylor expansion of (pow (fabs y) 1/3) in y 9.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs y)))) in y 9.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs y))) in y 9.000 * [taylor]: Taking taylor expansion of 1/3 in y 9.000 * [taylor]: Taking taylor expansion of (log (fabs y)) in y 9.000 * [taylor]: Taking taylor expansion of (fabs y) in y 9.030 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 y)) 1/3) in (y) around 0 9.030 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 y)) 1/3) in y 9.030 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 y))))) in y 9.030 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 y)))) in y 9.030 * [taylor]: Taking taylor expansion of 1/3 in y 9.030 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 y))) in y 9.030 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 9.030 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 y)) 1/3) in y 9.030 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ 1 y))))) in y 9.030 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ 1 y)))) in y 9.030 * [taylor]: Taking taylor expansion of 1/3 in y 9.030 * [taylor]: Taking taylor expansion of (log (fabs (/ 1 y))) in y 9.030 * [taylor]: Taking taylor expansion of (fabs (/ 1 y)) in y 9.064 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 y)) 1/3) in (y) around 0 9.064 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 y)) 1/3) in y 9.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 y))))) in y 9.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 y)))) in y 9.064 * [taylor]: Taking taylor expansion of 1/3 in y 9.064 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 y))) in y 9.064 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 9.065 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 y)) 1/3) in y 9.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (/ -1 y))))) in y 9.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (/ -1 y)))) in y 9.065 * [taylor]: Taking taylor expansion of 1/3 in y 9.065 * [taylor]: Taking taylor expansion of (log (fabs (/ -1 y))) in y 9.065 * [taylor]: Taking taylor expansion of (fabs (/ -1 y)) in y 9.096 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 9.096 * [approximate]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in (x y) around 0 9.096 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in y 9.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in y 9.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in y 9.096 * [taylor]: Taking taylor expansion of 1/3 in y 9.096 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y 9.096 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 9.096 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in x 9.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in x 9.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in x 9.096 * [taylor]: Taking taylor expansion of 1/3 in x 9.096 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x 9.096 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 9.096 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in x 9.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in x 9.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in x 9.097 * [taylor]: Taking taylor expansion of 1/3 in x 9.097 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x 9.097 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 9.097 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in y 9.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in y 9.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in y 9.097 * [taylor]: Taking taylor expansion of 1/3 in y 9.097 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y 9.097 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 9.099 * [taylor]: Taking taylor expansion of 0 in y 9.102 * [taylor]: Taking taylor expansion of 0 in y 9.108 * [taylor]: Taking taylor expansion of 0 in y 9.108 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in (x y) around 0 9.108 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in y 9.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y 9.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in y 9.108 * [taylor]: Taking taylor expansion of 1/3 in y 9.108 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y 9.108 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 9.109 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in x 9.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x 9.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in x 9.109 * [taylor]: Taking taylor expansion of 1/3 in x 9.109 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x 9.109 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 9.109 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in x 9.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x 9.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in x 9.109 * [taylor]: Taking taylor expansion of 1/3 in x 9.109 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x 9.109 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 9.110 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in y 9.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y 9.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in y 9.110 * [taylor]: Taking taylor expansion of 1/3 in y 9.110 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y 9.110 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 9.111 * [taylor]: Taking taylor expansion of 0 in y 9.115 * [taylor]: Taking taylor expansion of 0 in y 9.124 * [taylor]: Taking taylor expansion of 0 in y 9.124 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in (x y) around 0 9.124 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in y 9.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y 9.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in y 9.124 * [taylor]: Taking taylor expansion of 1/3 in y 9.124 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y 9.124 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 9.125 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in x 9.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x 9.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in x 9.125 * [taylor]: Taking taylor expansion of 1/3 in x 9.125 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x 9.125 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 9.126 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in x 9.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x 9.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in x 9.126 * [taylor]: Taking taylor expansion of 1/3 in x 9.126 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x 9.126 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 9.126 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in y 9.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y 9.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in y 9.126 * [taylor]: Taking taylor expansion of 1/3 in y 9.127 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y 9.127 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 9.130 * [taylor]: Taking taylor expansion of 0 in y 9.140 * [taylor]: Taking taylor expansion of 0 in y 9.150 * [taylor]: Taking taylor expansion of 0 in y 9.151 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 9.151 * [approximate]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in (x y) around 0 9.151 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in y 9.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in y 9.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in y 9.151 * [taylor]: Taking taylor expansion of 1/3 in y 9.151 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y 9.151 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 9.152 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in x 9.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in x 9.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in x 9.152 * [taylor]: Taking taylor expansion of 1/3 in x 9.152 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x 9.152 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 9.152 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in x 9.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in x 9.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in x 9.152 * [taylor]: Taking taylor expansion of 1/3 in x 9.152 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in x 9.152 * [taylor]: Taking taylor expansion of (fabs (- x y)) in x 9.153 * [taylor]: Taking taylor expansion of (pow (fabs (- x y)) 1/3) in y 9.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- x y))))) in y 9.153 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- x y)))) in y 9.153 * [taylor]: Taking taylor expansion of 1/3 in y 9.153 * [taylor]: Taking taylor expansion of (log (fabs (- x y))) in y 9.153 * [taylor]: Taking taylor expansion of (fabs (- x y)) in y 9.156 * [taylor]: Taking taylor expansion of 0 in y 9.162 * [taylor]: Taking taylor expansion of 0 in y 9.171 * [taylor]: Taking taylor expansion of 0 in y 9.171 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in (x y) around 0 9.171 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in y 9.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y 9.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in y 9.171 * [taylor]: Taking taylor expansion of 1/3 in y 9.171 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y 9.171 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 9.172 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in x 9.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x 9.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in x 9.172 * [taylor]: Taking taylor expansion of 1/3 in x 9.172 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x 9.172 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 9.172 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in x 9.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in x 9.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in x 9.172 * [taylor]: Taking taylor expansion of 1/3 in x 9.172 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in x 9.172 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in x 9.172 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 x) (/ 1 y))) 1/3) in y 9.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y)))))) in y 9.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 x) (/ 1 y))))) in y 9.172 * [taylor]: Taking taylor expansion of 1/3 in y 9.173 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 x) (/ 1 y)))) in y 9.173 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 x) (/ 1 y))) in y 9.174 * [taylor]: Taking taylor expansion of 0 in y 9.178 * [taylor]: Taking taylor expansion of 0 in y 9.184 * [taylor]: Taking taylor expansion of 0 in y 9.185 * [approximate]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in (x y) around 0 9.185 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in y 9.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y 9.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in y 9.185 * [taylor]: Taking taylor expansion of 1/3 in y 9.185 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y 9.185 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 9.185 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in x 9.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x 9.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in x 9.185 * [taylor]: Taking taylor expansion of 1/3 in x 9.185 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x 9.185 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 9.186 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in x 9.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in x 9.186 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in x 9.186 * [taylor]: Taking taylor expansion of 1/3 in x 9.186 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in x 9.186 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in x 9.186 * [taylor]: Taking taylor expansion of (pow (fabs (- (/ 1 y) (/ 1 x))) 1/3) in y 9.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x)))))) in y 9.186 * [taylor]: Taking taylor expansion of (* 1/3 (log (fabs (- (/ 1 y) (/ 1 x))))) in y 9.186 * [taylor]: Taking taylor expansion of 1/3 in y 9.186 * [taylor]: Taking taylor expansion of (log (fabs (- (/ 1 y) (/ 1 x)))) in y 9.186 * [taylor]: Taking taylor expansion of (fabs (- (/ 1 y) (/ 1 x))) in y 9.188 * [taylor]: Taking taylor expansion of 0 in y 9.192 * [taylor]: Taking taylor expansion of 0 in y 9.198 * [taylor]: Taking taylor expansion of 0 in y 9.198 * * * [progress]: simplifying candidates 9.199 * [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) 9.201 * * [simplify]: iteration 0 : 36 enodes (cost 424 ) 9.205 * * [simplify]: iteration 1 : 49 enodes (cost 408 ) 9.212 * * [simplify]: iteration 2 : 100 enodes (cost 360 ) 9.229 * * [simplify]: iteration 3 : 200 enodes (cost 348 ) 9.279 * * [simplify]: iteration 4 : 535 enodes (cost 348 ) 9.662 * * [simplify]: iteration 5 : 2215 enodes (cost 348 ) 10.861 * * [simplify]: iteration done : 5000 enodes (cost 348 ) 10.862 * [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))) 10.862 * * * [progress]: adding candidates to table 11.091 * [progress]: [Phase 3 of 3] Extracting. 11.091 * * [regime]: Finding splitpoints for: (# # # #) 11.094 * * * [regime-changes]: Trying 3 branch expressions: ((/ (fabs (- x y)) (fabs y)) y x) 11.094 * * * * [regimes]: Trying to branch on (/ (fabs (- x y)) (fabs y)) from (# # # #) 11.134 * * * * [regimes]: Trying to branch on y from (# # # #) 11.152 * * * * [regimes]: Trying to branch on x from (# # # #) 11.173 * * * [regime]: Found split indices: #