9.334 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.074 * * * [progress]: [2/2] Setting up program. 0.076 * [progress]: [Phase 2 of 3] Improving. 0.077 * [simplify]: Simplifying using # : (/ (+ x y) (+ y y)) 0.080 * * [simplify]: iteration 0 : 13 enodes (cost 7 ) 0.080 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 0.080 * [simplify]: Simplified to: (/ (+ x y) (+ y y)) 0.080 * * [progress]: iteration 1 / 4 0.080 * * * [progress]: picking best candidate 0.083 * * * * [pick]: Picked # 0.083 * * * [progress]: localizing error 0.087 * * * [progress]: generating rewritten candidates 0.087 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.099 * * * [progress]: generating series expansions 0.099 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.099 * [approximate]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in (x y) around 0 0.099 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in y 0.099 * [taylor]: Taking taylor expansion of 1/2 in y 0.099 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in y 0.099 * [taylor]: Taking taylor expansion of (+ x y) in y 0.099 * [taylor]: Taking taylor expansion of x in y 0.099 * [taylor]: Taking taylor expansion of y in y 0.099 * [taylor]: Taking taylor expansion of y in y 0.099 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in x 0.099 * [taylor]: Taking taylor expansion of 1/2 in x 0.099 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in x 0.100 * [taylor]: Taking taylor expansion of (+ x y) in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.100 * [taylor]: Taking taylor expansion of y in x 0.100 * [taylor]: Taking taylor expansion of y in x 0.100 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in x 0.100 * [taylor]: Taking taylor expansion of 1/2 in x 0.100 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in x 0.100 * [taylor]: Taking taylor expansion of (+ x y) in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.100 * [taylor]: Taking taylor expansion of y in x 0.100 * [taylor]: Taking taylor expansion of y in x 0.100 * [taylor]: Taking taylor expansion of 1/2 in y 0.100 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.100 * [taylor]: Taking taylor expansion of 1/2 in y 0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.100 * [taylor]: Taking taylor expansion of y in y 0.100 * [taylor]: Taking taylor expansion of 0 in y 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.101 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in (x y) around 0 0.101 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in y 0.101 * [taylor]: Taking taylor expansion of 1/2 in y 0.101 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in y 0.101 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.101 * [taylor]: Taking taylor expansion of y in y 0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.101 * [taylor]: Taking taylor expansion of x in y 0.101 * [taylor]: Taking taylor expansion of y in y 0.101 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in x 0.101 * [taylor]: Taking taylor expansion of 1/2 in x 0.101 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in x 0.101 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.101 * [taylor]: Taking taylor expansion of y in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.101 * [taylor]: Taking taylor expansion of x in x 0.101 * [taylor]: Taking taylor expansion of y in x 0.102 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in x 0.102 * [taylor]: Taking taylor expansion of 1/2 in x 0.102 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in x 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.102 * [taylor]: Taking taylor expansion of y in x 0.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.102 * [taylor]: Taking taylor expansion of x in x 0.102 * [taylor]: Taking taylor expansion of y in x 0.102 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.102 * [taylor]: Taking taylor expansion of 1/2 in y 0.102 * [taylor]: Taking taylor expansion of y in y 0.102 * [taylor]: Taking taylor expansion of 1/2 in y 0.102 * [taylor]: Taking taylor expansion of 0 in y 0.102 * [taylor]: Taking taylor expansion of 0 in y 0.103 * [taylor]: Taking taylor expansion of 0 in y 0.103 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in (x y) around 0 0.103 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in y 0.103 * [taylor]: Taking taylor expansion of 1/2 in y 0.103 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in y 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.103 * [taylor]: Taking taylor expansion of y in y 0.103 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.103 * [taylor]: Taking taylor expansion of x in y 0.103 * [taylor]: Taking taylor expansion of y in y 0.103 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in x 0.103 * [taylor]: Taking taylor expansion of 1/2 in x 0.103 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in x 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.103 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.103 * [taylor]: Taking taylor expansion of y in x 0.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.103 * [taylor]: Taking taylor expansion of x in x 0.103 * [taylor]: Taking taylor expansion of y in x 0.103 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in x 0.103 * [taylor]: Taking taylor expansion of 1/2 in x 0.103 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in x 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.103 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.103 * [taylor]: Taking taylor expansion of y in x 0.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.103 * [taylor]: Taking taylor expansion of x in x 0.103 * [taylor]: Taking taylor expansion of y in x 0.104 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.104 * [taylor]: Taking taylor expansion of 1/2 in y 0.104 * [taylor]: Taking taylor expansion of y in y 0.104 * [taylor]: Taking taylor expansion of 1/2 in y 0.104 * [taylor]: Taking taylor expansion of 0 in y 0.104 * [taylor]: Taking taylor expansion of 0 in y 0.104 * [taylor]: Taking taylor expansion of 0 in y 0.105 * * * [progress]: simplifying candidates 0.106 * [simplify]: Simplifying using # : (- (log (+ x y)) (log (+ y y))) (log (/ (+ x y) (+ y y))) (exp (/ (+ x y) (+ y y))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (+ y y) (+ y y)) (+ y y))) (* (cbrt (/ (+ x y) (+ y y))) (cbrt (/ (+ x y) (+ y y)))) (cbrt (/ (+ x y) (+ y y))) (* (* (/ (+ x y) (+ y y)) (/ (+ x y) (+ y y))) (/ (+ x y) (+ y y))) (sqrt (/ (+ x y) (+ y y))) (sqrt (/ (+ x y) (+ y y))) (neg (+ x y)) (neg (+ y y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y y)) (cbrt (+ y y)))) (/ (cbrt (+ x y)) (cbrt (+ y y))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y y))) (/ (cbrt (+ x y)) (sqrt (+ y y))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) (+ y y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt y) (cbrt y))) (/ (cbrt (+ x y)) (+ (cbrt y) (cbrt y))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt y)) (/ (cbrt (+ x y)) (+ (sqrt y) (sqrt y))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) (+ y y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt y)) (/ (cbrt (+ x y)) (+ (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt y)) (/ (cbrt (+ x y)) (+ (sqrt y) (sqrt y))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) y) (/ (cbrt (+ x y)) (+ 1 1)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (+ 1 1)) (/ (cbrt (+ x y)) y) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (+ 1 1)) (/ (cbrt (+ x y)) y) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 2) (/ (cbrt (+ x y)) y) (/ (sqrt (+ x y)) (* (cbrt (+ y y)) (cbrt (+ y y)))) (/ (sqrt (+ x y)) (cbrt (+ y y))) (/ (sqrt (+ x y)) (sqrt (+ y y))) (/ (sqrt (+ x y)) (sqrt (+ y y))) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) (+ y y)) (/ (sqrt (+ x y)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ x y)) (+ (cbrt y) (cbrt y))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (+ (sqrt y) (sqrt y))) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) (+ y y)) (/ (sqrt (+ x y)) (cbrt y)) (/ (sqrt (+ x y)) (+ (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (+ (sqrt y) (sqrt y))) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) (+ 1 1)) (/ (sqrt (+ x y)) (+ 1 1)) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) (+ 1 1)) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ 1 (* (cbrt (+ y y)) (cbrt (+ y y)))) (/ (+ x y) (cbrt (+ y y))) (/ 1 (sqrt (+ y y))) (/ (+ x y) (sqrt (+ y y))) (/ 1 1) (/ (+ x y) (+ y y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ x y) (+ (cbrt y) (cbrt y))) (/ 1 (sqrt y)) (/ (+ x y) (+ (sqrt y) (sqrt y))) (/ 1 1) (/ (+ x y) (+ y y)) (/ 1 (cbrt y)) (/ (+ x y) (+ (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))) (/ 1 (sqrt y)) (/ (+ x y) (+ (sqrt y) (sqrt y))) (/ 1 y) (/ (+ x y) (+ 1 1)) (/ 1 (+ 1 1)) (/ (+ x y) y) (/ 1 (+ 1 1)) (/ (+ x y) y) (/ 1 2) (/ (+ x y) y) (/ 1 (* (cbrt (+ y y)) (cbrt (+ y y)))) (/ (+ x y) (cbrt (+ y y))) (/ 1 (sqrt (+ y y))) (/ (+ x y) (sqrt (+ y y))) (/ 1 1) (/ (+ x y) (+ y y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ x y) (+ (cbrt y) (cbrt y))) (/ 1 (sqrt y)) (/ (+ x y) (+ (sqrt y) (sqrt y))) (/ 1 1) (/ (+ x y) (+ y y)) (/ 1 (cbrt y)) (/ (+ x y) (+ (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))) (/ 1 (sqrt y)) (/ (+ x y) (+ (sqrt y) (sqrt y))) (/ 1 y) (/ (+ x y) (+ 1 1)) (/ 1 (+ 1 1)) (/ (+ x y) y) (/ 1 (+ 1 1)) (/ (+ x y) y) (/ 1 2) (/ (+ x y) y) (/ 1 (+ y y)) (/ (+ y y) (+ x y)) (/ (+ x y) (* (cbrt (+ y y)) (cbrt (+ y y)))) (/ (+ x y) (sqrt (+ y y))) (/ (+ x y) 1) (/ (+ x y) (* (cbrt y) (cbrt y))) (/ (+ x y) (sqrt y)) (/ (+ x y) 1) (/ (+ x y) (cbrt y)) (/ (+ x y) (sqrt y)) (/ (+ x y) y) (/ (+ x y) (+ 1 1)) (/ (+ x y) (+ 1 1)) (/ (+ x y) 2) (/ (+ y y) (cbrt (+ x y))) (/ (+ y y) (sqrt (+ x y))) (/ (+ y y) (+ x y)) (/ (+ y y) (+ x y)) (/ (+ x y) (+ (pow y 3) (pow y 3))) (/ (+ x y) (- (* y y) (* y y))) (* (+ y y) (+ (* x x) (- (* y y) (* x y)))) (* (+ y y) (- x y)) (+ (* 1/2 (/ x y)) 1/2) (+ (* 1/2 (/ x y)) 1/2) (+ (* 1/2 (/ x y)) 1/2) 0.158 * * [simplify]: iteration 0 : 5602 enodes (cost 942 ) 0.163 * [simplify]: Simplified to: (log (/ (+ x y) (+ y y))) (log (/ (+ x y) (+ y y))) (sqrt (exp (/ (+ x y) y))) (/ (pow (/ (+ x y) y) 3) 8) (* (cbrt (/ (+ x y) (+ y y))) (cbrt (/ (+ x y) (+ y y)))) (cbrt (/ (+ x y) (+ y y))) (/ (pow (/ (+ x y) y) 3) 8) (sqrt (/ (+ x y) (+ y y))) (sqrt (/ (+ x y) (+ y y))) (- (neg y) x) (* y -2) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (* (cbrt (+ y y)) (cbrt (+ y y))))) (/ (cbrt (+ x y)) (cbrt (+ y y))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (+ y y)))) (/ (cbrt (+ x y)) (sqrt (+ y y))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (* (cbrt y) (cbrt y)))) (/ (cbrt (+ x y)) (* (cbrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (cbrt y))) (/ (cbrt (+ x y)) (* (cbrt y) (* (cbrt y) 2))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) y)) (/ (cbrt (+ x y)) 2) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) y) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) y) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) y) (/ (sqrt (+ x y)) (* (cbrt (+ y y)) (cbrt (+ y y)))) (/ (sqrt (+ x y)) (cbrt (+ y y))) (/ (sqrt (+ x y)) (sqrt (+ y y))) (/ (sqrt (+ x y)) (sqrt (+ y y))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y y)) (/ (sqrt (+ x y)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ x y)) (* (cbrt y) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y y)) (/ (sqrt (+ x y)) (cbrt y)) (/ (sqrt (+ x y)) (* (cbrt y) (* (cbrt y) 2))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ 1 (* (cbrt (+ y y)) (cbrt (+ y y)))) (/ (+ x y) (cbrt (+ y y))) (/ 1 (sqrt (+ y y))) (/ (+ x y) (sqrt (+ y y))) 1 (/ (+ x y) (+ y y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ x y) (* (cbrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) 1 (/ (+ x y) (+ y y)) (/ 1 (cbrt y)) (/ (+ x y) (* (cbrt y) (* (cbrt y) 2))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 y) (/ (+ x y) 2) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) (/ 1 (* (cbrt (+ y y)) (cbrt (+ y y)))) (/ (+ x y) (cbrt (+ y y))) (/ 1 (sqrt (+ y y))) (/ (+ x y) (sqrt (+ y y))) 1 (/ (+ x y) (+ y y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ x y) (* (cbrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) 1 (/ (+ x y) (+ y y)) (/ 1 (cbrt y)) (/ (+ x y) (* (cbrt y) (* (cbrt y) 2))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 y) (/ (+ x y) 2) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) (/ 1/2 y) (* (/ 2 (+ x y)) y) (/ (+ x y) (* (cbrt (+ y y)) (cbrt (+ y y)))) (/ (+ x y) (sqrt (+ y y))) (+ x y) (/ (+ x y) (* (cbrt y) (cbrt y))) (/ (+ x y) (sqrt y)) (+ x y) (/ (+ x y) (cbrt y)) (/ (+ x y) (sqrt y)) (/ (+ x y) y) (/ (+ x y) 2) (/ (+ x y) 2) (/ (+ x y) 2) (* 2 (/ y (cbrt (+ x y)))) (* (/ 2 (sqrt (+ x y))) y) (* (/ 2 (+ x y)) y) (* (/ 2 (+ x y)) y) (/ (+ x y) (* 2 (pow y 3))) (/ (+ x y) 0) (* y (* 2 (+ (* y y) (* x (- x y))))) (* y (* 2 (- x y))) (+ 1/2 (* x (/ 1/2 y))) (+ 1/2 (* x (/ 1/2 y))) (+ 1/2 (* x (/ 1/2 y))) 0.164 * * * [progress]: adding candidates to table 0.217 * * [progress]: iteration 2 / 4 0.217 * * * [progress]: picking best candidate 0.225 * * * * [pick]: Picked # 0.225 * * * [progress]: localizing error 0.230 * * * [progress]: generating rewritten candidates 0.230 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.239 * * * [progress]: generating series expansions 0.239 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.240 * [approximate]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in (x y) around 0 0.240 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in y 0.240 * [taylor]: Taking taylor expansion of 1/2 in y 0.240 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in y 0.240 * [taylor]: Taking taylor expansion of (+ x y) in y 0.240 * [taylor]: Taking taylor expansion of x in y 0.240 * [taylor]: Taking taylor expansion of y in y 0.240 * [taylor]: Taking taylor expansion of y in y 0.240 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in x 0.240 * [taylor]: Taking taylor expansion of 1/2 in x 0.240 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in x 0.240 * [taylor]: Taking taylor expansion of (+ x y) in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.240 * [taylor]: Taking taylor expansion of y in x 0.240 * [taylor]: Taking taylor expansion of y in x 0.240 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in x 0.240 * [taylor]: Taking taylor expansion of 1/2 in x 0.240 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in x 0.240 * [taylor]: Taking taylor expansion of (+ x y) in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.240 * [taylor]: Taking taylor expansion of y in x 0.240 * [taylor]: Taking taylor expansion of y in x 0.240 * [taylor]: Taking taylor expansion of 1/2 in y 0.240 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.240 * [taylor]: Taking taylor expansion of 1/2 in y 0.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.240 * [taylor]: Taking taylor expansion of y in y 0.240 * [taylor]: Taking taylor expansion of 0 in y 0.241 * [taylor]: Taking taylor expansion of 0 in y 0.241 * [taylor]: Taking taylor expansion of 0 in y 0.241 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in (x y) around 0 0.241 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in y 0.241 * [taylor]: Taking taylor expansion of 1/2 in y 0.241 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in y 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.241 * [taylor]: Taking taylor expansion of y in y 0.241 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.241 * [taylor]: Taking taylor expansion of x in y 0.241 * [taylor]: Taking taylor expansion of y in y 0.241 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in x 0.241 * [taylor]: Taking taylor expansion of 1/2 in x 0.241 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in x 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.241 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.241 * [taylor]: Taking taylor expansion of y in x 0.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.241 * [taylor]: Taking taylor expansion of x in x 0.241 * [taylor]: Taking taylor expansion of y in x 0.241 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in x 0.241 * [taylor]: Taking taylor expansion of 1/2 in x 0.242 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in x 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.242 * [taylor]: Taking taylor expansion of y in x 0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.242 * [taylor]: Taking taylor expansion of y in x 0.242 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.242 * [taylor]: Taking taylor expansion of 1/2 in y 0.242 * [taylor]: Taking taylor expansion of y in y 0.242 * [taylor]: Taking taylor expansion of 1/2 in y 0.242 * [taylor]: Taking taylor expansion of 0 in y 0.242 * [taylor]: Taking taylor expansion of 0 in y 0.243 * [taylor]: Taking taylor expansion of 0 in y 0.243 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in (x y) around 0 0.243 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in y 0.243 * [taylor]: Taking taylor expansion of 1/2 in y 0.243 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in y 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.243 * [taylor]: Taking taylor expansion of y in y 0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.243 * [taylor]: Taking taylor expansion of x in y 0.243 * [taylor]: Taking taylor expansion of y in y 0.243 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in x 0.243 * [taylor]: Taking taylor expansion of 1/2 in x 0.243 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in x 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.243 * [taylor]: Taking taylor expansion of y in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of y in x 0.243 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in x 0.243 * [taylor]: Taking taylor expansion of 1/2 in x 0.243 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in x 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.243 * [taylor]: Taking taylor expansion of y in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of y in x 0.243 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.244 * [taylor]: Taking taylor expansion of 1/2 in y 0.244 * [taylor]: Taking taylor expansion of y in y 0.244 * [taylor]: Taking taylor expansion of 1/2 in y 0.244 * [taylor]: Taking taylor expansion of 0 in y 0.244 * [taylor]: Taking taylor expansion of 0 in y 0.244 * [taylor]: Taking taylor expansion of 0 in y 0.245 * * * [progress]: simplifying candidates 0.247 * [simplify]: Simplifying using # : (* (+ x y) (/ 1/2 y)) (+ (log (+ x y)) (- (log 1/2) (log y))) (+ (log (+ x y)) (log (/ 1/2 y))) (log (* (+ x y) (/ 1/2 y))) (exp (* (+ x y) (/ 1/2 y))) (* (* (* (+ x y) (+ x y)) (+ x y)) (/ (* (* 1/2 1/2) 1/2) (* (* y y) y))) (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (/ 1/2 y) (/ 1/2 y)) (/ 1/2 y))) (* (cbrt (* (+ x y) (/ 1/2 y))) (cbrt (* (+ x y) (/ 1/2 y)))) (cbrt (* (+ x y) (/ 1/2 y))) (* (* (* (+ x y) (/ 1/2 y)) (* (+ x y) (/ 1/2 y))) (* (+ x y) (/ 1/2 y))) (sqrt (* (+ x y) (/ 1/2 y))) (sqrt (* (+ x y) (/ 1/2 y))) (* (+ (pow x 3) (pow y 3)) 1/2) (* (+ (* x x) (- (* y y) (* x y))) y) (* (- (* x x) (* y y)) 1/2) (* (- x y) y) (* (sqrt (+ x y)) (sqrt (/ 1/2 y))) (* (sqrt (+ x y)) (sqrt (/ 1/2 y))) (* (sqrt (+ x y)) (/ (sqrt 1/2) (sqrt y))) (* (sqrt (+ x y)) (/ (sqrt 1/2) (sqrt y))) (* (+ x y) (* (cbrt (/ 1/2 y)) (cbrt (/ 1/2 y)))) (* (+ x y) (sqrt (/ 1/2 y))) (* (+ x y) (/ (* (cbrt 1/2) (cbrt 1/2)) (* (cbrt y) (cbrt y)))) (* (+ x y) (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt y))) (* (+ x y) (/ (* (cbrt 1/2) (cbrt 1/2)) 1)) (* (+ x y) (/ (sqrt 1/2) (* (cbrt y) (cbrt y)))) (* (+ x y) (/ (sqrt 1/2) (sqrt y))) (* (+ x y) (/ (sqrt 1/2) 1)) (* (+ x y) (/ 1 (* (cbrt y) (cbrt y)))) (* (+ x y) (/ 1 (sqrt y))) (* (+ x y) (/ 1 1)) (* (+ x y) 1) (* (+ x y) 1/2) (* (cbrt (+ x y)) (/ 1/2 y)) (* (sqrt (+ x y)) (/ 1/2 y)) (* (+ x y) (/ 1/2 y)) (* (+ x y) (/ 1/2 y)) (* (+ x y) 1/2) (* (+ (pow x 3) (pow y 3)) (/ 1/2 y)) (* (- (* x x) (* y y)) (/ 1/2 y)) (+ (* 1/2 (/ x y)) 1/2) (+ (* 1/2 (/ x y)) 1/2) (+ (* 1/2 (/ x y)) 1/2) 0.291 * * [simplify]: iteration 0 : 5161 enodes (cost 366 ) 0.293 * [simplify]: Simplified to: (* (+ x y) (/ 1/2 y)) (log (* (+ x y) (/ 1/2 y))) (log (* (+ x y) (/ 1/2 y))) (log (* (+ x y) (/ 1/2 y))) (sqrt (exp (/ (+ x y) y))) (* (pow (/ (+ x y) y) 3) 1/8) (* (pow (/ (+ x y) y) 3) 1/8) (* (cbrt (* (+ x y) (/ 1/2 y))) (cbrt (* (+ x y) (/ 1/2 y)))) (cbrt (* (+ x y) (/ 1/2 y))) (* (pow (/ (+ x y) y) 3) 1/8) (sqrt (* (+ x y) (/ 1/2 y))) (sqrt (* (+ x y) (/ 1/2 y))) (* 1/2 (+ (pow y 3) (pow x 3))) (+ (pow y 3) (* y (* x (- x y)))) (* (+ x y) (* 1/2 (- x y))) (* y (- x y)) (* (sqrt (+ x y)) (sqrt (/ 1/2 y))) (* (sqrt (+ x y)) (sqrt (/ 1/2 y))) (* (sqrt (+ x y)) (/ (sqrt 1/2) (sqrt y))) (* (sqrt (+ x y)) (/ (sqrt 1/2) (sqrt y))) (* (+ x y) (* (cbrt (/ 1/2 y)) (cbrt (/ 1/2 y)))) (* (+ x y) (sqrt (/ 1/2 y))) (* (+ x y) (* (cbrt 1/2) (/ (cbrt 1/2) (* (cbrt y) (cbrt y))))) (* (+ x y) (* (cbrt 1/2) (/ (cbrt 1/2) (sqrt y)))) (* (+ x y) (* (cbrt 1/2) (cbrt 1/2))) (* (+ x y) (/ (sqrt 1/2) (* (cbrt y) (cbrt y)))) (* (+ x y) (/ (sqrt 1/2) (sqrt y))) (* (+ x y) (sqrt 1/2)) (/ (+ x y) (* (cbrt y) (cbrt y))) (/ (+ x y) (sqrt y)) (+ x y) (+ x y) (* (+ x y) 1/2) (* (/ 1/2 y) (cbrt (+ x y))) (* (/ 1/2 y) (sqrt (+ x y))) (* (+ x y) (/ 1/2 y)) (* (+ x y) (/ 1/2 y)) (* (+ x y) 1/2) (* (/ 1/2 y) (+ (pow y 3) (pow x 3))) (* (+ x y) (* (/ 1/2 y) (- x y))) (+ 1/2 (* x (/ 1/2 y))) (+ 1/2 (* x (/ 1/2 y))) (+ 1/2 (* x (/ 1/2 y))) 0.294 * * * [progress]: adding candidates to table 0.333 * * [progress]: iteration 3 / 4 0.333 * * * [progress]: picking best candidate 0.338 * * * * [pick]: Picked # 0.338 * * * [progress]: localizing error 0.345 * * * [progress]: generating rewritten candidates 0.345 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.352 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.459 * * * [progress]: generating series expansions 0.459 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.459 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 y)) (+ x y)) in (x y) around 0 0.459 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (+ x y)) in y 0.459 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 0.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.459 * [taylor]: Taking taylor expansion of y in y 0.459 * [taylor]: Taking taylor expansion of (+ x y) in y 0.459 * [taylor]: Taking taylor expansion of x in y 0.459 * [taylor]: Taking taylor expansion of y in y 0.459 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (+ x y)) in x 0.459 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 0.459 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.459 * [taylor]: Taking taylor expansion of y in x 0.459 * [taylor]: Taking taylor expansion of (+ x y) in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.459 * [taylor]: Taking taylor expansion of y in x 0.459 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (+ x y)) in x 0.459 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 0.459 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.459 * [taylor]: Taking taylor expansion of y in x 0.460 * [taylor]: Taking taylor expansion of (+ x y) in x 0.460 * [taylor]: Taking taylor expansion of x in x 0.460 * [taylor]: Taking taylor expansion of y in x 0.460 * [taylor]: Taking taylor expansion of (sqrt y) in y 0.460 * [taylor]: Taking taylor expansion of y in y 0.460 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 0.460 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.460 * [taylor]: Taking taylor expansion of y in y 0.460 * [taylor]: Taking taylor expansion of 0 in y 0.460 * [taylor]: Taking taylor expansion of 0 in y 0.461 * [approximate]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt y)) in (x y) around 0 0.461 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt y)) in y 0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.461 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.461 * [taylor]: Taking taylor expansion of y in y 0.461 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.461 * [taylor]: Taking taylor expansion of x in y 0.461 * [taylor]: Taking taylor expansion of (sqrt y) in y 0.461 * [taylor]: Taking taylor expansion of y in y 0.461 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt y)) in x 0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.461 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.461 * [taylor]: Taking taylor expansion of y in x 0.461 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.461 * [taylor]: Taking taylor expansion of x in x 0.461 * [taylor]: Taking taylor expansion of (sqrt y) in x 0.461 * [taylor]: Taking taylor expansion of y in x 0.461 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt y)) in x 0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.461 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.461 * [taylor]: Taking taylor expansion of y in x 0.461 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.461 * [taylor]: Taking taylor expansion of x in x 0.461 * [taylor]: Taking taylor expansion of (sqrt y) in x 0.461 * [taylor]: Taking taylor expansion of y in x 0.462 * [taylor]: Taking taylor expansion of (sqrt y) in y 0.462 * [taylor]: Taking taylor expansion of y in y 0.462 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 0.462 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.462 * [taylor]: Taking taylor expansion of y in y 0.462 * [taylor]: Taking taylor expansion of 0 in y 0.462 * [taylor]: Taking taylor expansion of 0 in y 0.463 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (sqrt (/ -1 y)))) in (x y) around 0 0.463 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (sqrt (/ -1 y)))) in y 0.463 * [taylor]: Taking taylor expansion of -1 in y 0.463 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (sqrt (/ -1 y))) in y 0.463 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.463 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.463 * [taylor]: Taking taylor expansion of y in y 0.463 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.463 * [taylor]: Taking taylor expansion of x in y 0.463 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.463 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.463 * [taylor]: Taking taylor expansion of -1 in y 0.463 * [taylor]: Taking taylor expansion of y in y 0.463 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (sqrt (/ -1 y)))) in x 0.463 * [taylor]: Taking taylor expansion of -1 in x 0.463 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (sqrt (/ -1 y))) in x 0.463 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.463 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.463 * [taylor]: Taking taylor expansion of y in x 0.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 0.463 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.463 * [taylor]: Taking taylor expansion of -1 in x 0.463 * [taylor]: Taking taylor expansion of y in x 0.463 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (sqrt (/ -1 y)))) in x 0.463 * [taylor]: Taking taylor expansion of -1 in x 0.463 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (sqrt (/ -1 y))) in x 0.463 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.464 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.464 * [taylor]: Taking taylor expansion of y in x 0.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.464 * [taylor]: Taking taylor expansion of x in x 0.464 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 0.464 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.464 * [taylor]: Taking taylor expansion of -1 in x 0.464 * [taylor]: Taking taylor expansion of y in x 0.464 * [taylor]: Taking taylor expansion of (/ -1 (sqrt (/ -1 y))) in y 0.464 * [taylor]: Taking taylor expansion of -1 in y 0.464 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.464 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.464 * [taylor]: Taking taylor expansion of -1 in y 0.464 * [taylor]: Taking taylor expansion of y in y 0.464 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (sqrt (/ -1 y)) y))) in y 0.464 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt (/ -1 y)) y)) in y 0.464 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) y) in y 0.464 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.464 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.464 * [taylor]: Taking taylor expansion of -1 in y 0.464 * [taylor]: Taking taylor expansion of y in y 0.464 * [taylor]: Taking taylor expansion of y in y 0.465 * [taylor]: Taking taylor expansion of 0 in y 0.466 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.466 * [approximate]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in (x y) around 0 0.466 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in y 0.466 * [taylor]: Taking taylor expansion of 1/2 in y 0.466 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in y 0.466 * [taylor]: Taking taylor expansion of (+ x y) in y 0.466 * [taylor]: Taking taylor expansion of x in y 0.466 * [taylor]: Taking taylor expansion of y in y 0.466 * [taylor]: Taking taylor expansion of y in y 0.466 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in x 0.466 * [taylor]: Taking taylor expansion of 1/2 in x 0.466 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in x 0.466 * [taylor]: Taking taylor expansion of (+ x y) in x 0.466 * [taylor]: Taking taylor expansion of x in x 0.466 * [taylor]: Taking taylor expansion of y in x 0.466 * [taylor]: Taking taylor expansion of y in x 0.466 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in x 0.466 * [taylor]: Taking taylor expansion of 1/2 in x 0.466 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in x 0.466 * [taylor]: Taking taylor expansion of (+ x y) in x 0.466 * [taylor]: Taking taylor expansion of x in x 0.466 * [taylor]: Taking taylor expansion of y in x 0.466 * [taylor]: Taking taylor expansion of y in x 0.466 * [taylor]: Taking taylor expansion of 1/2 in y 0.467 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.467 * [taylor]: Taking taylor expansion of 1/2 in y 0.467 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.467 * [taylor]: Taking taylor expansion of y in y 0.467 * [taylor]: Taking taylor expansion of 0 in y 0.467 * [taylor]: Taking taylor expansion of 0 in y 0.467 * [taylor]: Taking taylor expansion of 0 in y 0.467 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in (x y) around 0 0.467 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in y 0.467 * [taylor]: Taking taylor expansion of 1/2 in y 0.467 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in y 0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.468 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.468 * [taylor]: Taking taylor expansion of y in y 0.468 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.468 * [taylor]: Taking taylor expansion of x in y 0.468 * [taylor]: Taking taylor expansion of y in y 0.468 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in x 0.468 * [taylor]: Taking taylor expansion of 1/2 in x 0.468 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in x 0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.468 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.468 * [taylor]: Taking taylor expansion of y in x 0.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.468 * [taylor]: Taking taylor expansion of x in x 0.468 * [taylor]: Taking taylor expansion of y in x 0.468 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 y) (/ 1 x)) y)) in x 0.468 * [taylor]: Taking taylor expansion of 1/2 in x 0.468 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) y) in x 0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.468 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.468 * [taylor]: Taking taylor expansion of y in x 0.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.468 * [taylor]: Taking taylor expansion of x in x 0.468 * [taylor]: Taking taylor expansion of y in x 0.468 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.468 * [taylor]: Taking taylor expansion of 1/2 in y 0.468 * [taylor]: Taking taylor expansion of y in y 0.468 * [taylor]: Taking taylor expansion of 1/2 in y 0.468 * [taylor]: Taking taylor expansion of 0 in y 0.469 * [taylor]: Taking taylor expansion of 0 in y 0.469 * [taylor]: Taking taylor expansion of 0 in y 0.469 * [approximate]: Taking taylor expansion of (* -1/2 (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt (/ -1 y)) 2))) in (x y) around 0 0.469 * [taylor]: Taking taylor expansion of (* -1/2 (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt (/ -1 y)) 2))) in y 0.469 * [taylor]: Taking taylor expansion of -1/2 in y 0.469 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt (/ -1 y)) 2)) in y 0.469 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.469 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.469 * [taylor]: Taking taylor expansion of y in y 0.469 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.469 * [taylor]: Taking taylor expansion of x in y 0.469 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in y 0.469 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.469 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.469 * [taylor]: Taking taylor expansion of -1 in y 0.470 * [taylor]: Taking taylor expansion of y in y 0.470 * [taylor]: Taking taylor expansion of (* -1/2 (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt (/ -1 y)) 2))) in x 0.470 * [taylor]: Taking taylor expansion of -1/2 in x 0.470 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt (/ -1 y)) 2)) in x 0.470 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.470 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.470 * [taylor]: Taking taylor expansion of y in x 0.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.470 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in x 0.470 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 0.470 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.470 * [taylor]: Taking taylor expansion of -1 in x 0.470 * [taylor]: Taking taylor expansion of y in x 0.470 * [taylor]: Taking taylor expansion of (* -1/2 (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt (/ -1 y)) 2))) in x 0.470 * [taylor]: Taking taylor expansion of -1/2 in x 0.470 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt (/ -1 y)) 2)) in x 0.470 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.470 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.470 * [taylor]: Taking taylor expansion of y in x 0.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.470 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in x 0.470 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 0.470 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.470 * [taylor]: Taking taylor expansion of -1 in x 0.470 * [taylor]: Taking taylor expansion of y in x 0.471 * [taylor]: Taking taylor expansion of (/ -1/2 (pow (sqrt (/ -1 y)) 2)) in y 0.471 * [taylor]: Taking taylor expansion of -1/2 in y 0.471 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in y 0.471 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.471 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.471 * [taylor]: Taking taylor expansion of -1 in y 0.471 * [taylor]: Taking taylor expansion of y in y 0.471 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 (* (pow (sqrt (/ -1 y)) 2) y)))) in y 0.471 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow (sqrt (/ -1 y)) 2) y))) in y 0.471 * [taylor]: Taking taylor expansion of 1/2 in y 0.472 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt (/ -1 y)) 2) y)) in y 0.472 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 y)) 2) y) in y 0.472 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in y 0.472 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.472 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.472 * [taylor]: Taking taylor expansion of -1 in y 0.472 * [taylor]: Taking taylor expansion of y in y 0.472 * [taylor]: Taking taylor expansion of y in y 0.473 * [taylor]: Taking taylor expansion of 0 in y 0.481 * * * [progress]: simplifying candidates 0.496 * [simplify]: Simplifying using # : (- (log (+ x y)) (log (sqrt y))) (log (/ (+ x y) (sqrt y))) (exp (/ (+ x y) (sqrt y))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt y) (sqrt y)) (sqrt y))) (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (cbrt (/ (+ x y) (sqrt y))) (* (* (/ (+ x y) (sqrt y)) (/ (+ x y) (sqrt y))) (/ (+ x y) (sqrt y))) (sqrt (/ (+ x y) (sqrt y))) (sqrt (/ (+ x y) (sqrt y))) (neg (+ x y)) (neg (sqrt y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (cbrt (+ x y)) (cbrt (sqrt y))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (/ (cbrt (+ x y)) (sqrt (cbrt y))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (/ (cbrt (+ x y)) (sqrt (sqrt y))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (/ (cbrt (+ x y)) (sqrt y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (/ (cbrt (+ x y)) (sqrt (sqrt y))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sqrt (+ x y)) (cbrt (sqrt y))) (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (/ (sqrt (+ x y)) (sqrt (cbrt y))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (sqrt 1)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) (sqrt y)) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (cbrt (sqrt y))) (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (/ (+ x y) (sqrt (cbrt y))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (sqrt (sqrt y))) (/ 1 (sqrt 1)) (/ (+ x y) (sqrt y)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (sqrt (sqrt y))) (/ 1 1) (/ (+ x y) (sqrt y)) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (cbrt (sqrt y))) (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (/ (+ x y) (sqrt (cbrt y))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (sqrt (sqrt y))) (/ 1 (sqrt 1)) (/ (+ x y) (sqrt y)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (sqrt (sqrt y))) (/ 1 1) (/ (+ x y) (sqrt y)) (/ 1 (sqrt y)) (/ (sqrt y) (+ x y)) (/ (+ x y) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (sqrt (* (cbrt y) (cbrt y)))) (/ (+ x y) (sqrt (sqrt y))) (/ (+ x y) (sqrt 1)) (/ (+ x y) (sqrt (sqrt y))) (/ (+ x y) 1) (/ (sqrt y) (cbrt (+ x y))) (/ (sqrt y) (sqrt (+ x y))) (/ (sqrt y) (+ x y)) (/ (sqrt y) (+ x y)) (* (sqrt y) (+ (* x x) (- (* y y) (* x y)))) (* (sqrt y) (- x y)) (- (- (log (+ x y)) (log (sqrt y))) (log (+ (sqrt y) (sqrt y)))) (- (log (/ (+ x y) (sqrt y))) (log (+ (sqrt y) (sqrt y)))) (log (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y)))) (exp (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y)))) (/ (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt y) (sqrt y)) (sqrt y))) (* (* (+ (sqrt y) (sqrt y)) (+ (sqrt y) (sqrt y))) (+ (sqrt y) (sqrt y)))) (/ (* (* (/ (+ x y) (sqrt y)) (/ (+ x y) (sqrt y))) (/ (+ x y) (sqrt y))) (* (* (+ (sqrt y) (sqrt y)) (+ (sqrt y) (sqrt y))) (+ (sqrt y) (sqrt y)))) (* (cbrt (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y)))) (cbrt (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))))) (cbrt (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y)))) (* (* (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y)))) (sqrt (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y)))) (sqrt (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y)))) (neg (/ (+ x y) (sqrt y))) (neg (+ (sqrt y) (sqrt y))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (cbrt (/ (+ x y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) 1) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt (* (cbrt y) (cbrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt 1)) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) 1) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (cbrt (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt (cbrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt y)) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt y)) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt 1) 1)) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt y)) (/ (cbrt (/ (+ x y) (sqrt y))) (+ 1 (sqrt 1))) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (sqrt y)) (/ (cbrt (/ (+ x y) (sqrt y))) (+ 1 1)) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (+ (sqrt 1) 1)) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (+ 1 1)) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (+ (sqrt 1) 1)) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (+ 1 1)) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) 2) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (sqrt (/ (+ x y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) 1) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (* (cbrt y) (cbrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt 1)) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) 1) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (cbrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (cbrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt 1) 1)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) (+ 1 (sqrt 1))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) (+ 1 1)) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt 1) 1)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) (+ 1 1)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) (+ (sqrt 1) 1)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) (+ 1 1)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) 2) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) 1) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt 1)) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) 1) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (sqrt y))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (cbrt y))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ 1 (sqrt 1))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (+ 1 1)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ (sqrt 1) 1)) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ 1 1)) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ (sqrt 1) 1)) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ 1 1)) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) 2) (/ (/ (cbrt (+ x y)) (cbrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) 1) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt 1)) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) 1) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt y))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt 1) 1)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ 1 (sqrt 1))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (+ 1 1)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (+ (sqrt 1) 1)) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (+ 1 1)) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (+ (sqrt 1) 1)) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) (+ 1 1)) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt y) (cbrt y)))) 2) (/ (/ (cbrt (+ x y)) (sqrt (cbrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) 1) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt 1)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) 1) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (cbrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (cbrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ 1 (sqrt 1))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ 1 1)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (+ 1 1)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (+ 1 1)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) 2) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (cbrt (+ x y)) (sqrt y)) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (cbrt (+ x y)) (sqrt y)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) 1) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt 1)) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) 1) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (cbrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt (cbrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt 1) (sqrt 1))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt 1) 1)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ 1 (sqrt 1))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ 1 1)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (+ (sqrt 1) 1)) (/ (/ (cbrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (+ 1 1)) (/ (/ (cbrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (+ (sqrt 1) 1)) (/ (/ (cbrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (+ 1 1)) (/ (/ (cbrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) 2) (/ (/ (cbrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) 1) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt 1)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) 1) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (cbrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (cbrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ 1 (sqrt 1))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (+ 1 1)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (+ 1 1)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) (+ 1 1)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt y))) 2) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (cbrt (+ x y)) (sqrt y)) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (cbrt (+ x y)) (sqrt y)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) 1) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt 1)) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) 1) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (cbrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt (cbrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt 1) (sqrt 1))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt 1) 1)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt (sqrt y))) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ 1 (sqrt 1))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (sqrt y)) (/ (/ (cbrt (+ x y)) (sqrt y)) (+ 1 1)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (+ (sqrt 1) 1)) (/ (/ (cbrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (+ 1 1)) (/ (/ (cbrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (+ (sqrt 1) 1)) (/ (/ (cbrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (+ 1 1)) (/ (/ (cbrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) 2) (/ (/ (cbrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) 1) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt 1)) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) 1) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (sqrt y))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (cbrt y))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ 1 (sqrt 1))) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (+ 1 1)) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ 1 1)) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ 1 1)) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) 2) (/ (/ (sqrt (+ x y)) (cbrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) 1) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt 1)) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) 1) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt y))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ 1 (sqrt 1))) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (* (cbrt y) (cbrt y)))) 2) (/ (/ (sqrt (+ x y)) (sqrt (cbrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) 1) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) 1) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (cbrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (cbrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ 1 (sqrt 1))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) 2) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt 1)) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (sqrt (+ x y)) (sqrt y)) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt y)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt 1)) 1) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt 1)) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt 1)) 1) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (cbrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt (cbrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt 1) (sqrt 1))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ 1 (sqrt 1))) (/ (/ (sqrt (+ x y)) (sqrt 1)) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt 1)) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt 1)) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt 1)) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt 1)) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt 1)) 2) (/ (/ (sqrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) 1) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) 1) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (cbrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (cbrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ 1 (sqrt 1))) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) 2) (/ (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt y)) (/ (/ (sqrt (+ x y)) 1) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (sqrt (+ x y)) (sqrt y)) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) 1) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt y)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (sqrt (+ x y)) 1) 1) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) 1) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (sqrt (+ x y)) 1) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ (sqrt (+ x y)) 1) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) 1) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) 1) (sqrt 1)) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) 1) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) 1) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) 1) 1) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ (sqrt (+ x y)) 1) (cbrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ (sqrt (+ x y)) 1) (sqrt (cbrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ (sqrt (+ x y)) 1) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) 1) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) 1) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt 1) (sqrt 1))) (/ (/ (sqrt (+ x y)) 1) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) 1) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) 1) (sqrt (sqrt y))) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ (sqrt (+ x y)) 1) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ 1 (sqrt 1))) (/ (/ (sqrt (+ x y)) 1) (sqrt y)) (/ (/ (sqrt (+ x y)) (sqrt y)) (+ 1 1)) (/ (/ (sqrt (+ x y)) 1) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (sqrt (+ x y)) 1) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (sqrt (+ x y)) 1) (+ (sqrt 1) 1)) (/ (/ (sqrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (sqrt (+ x y)) 1) (+ 1 1)) (/ (/ (sqrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ (sqrt (+ x y)) 1) 2) (/ (/ (sqrt (+ x y)) (sqrt y)) (sqrt y)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (cbrt (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (cbrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) 1) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt 1)) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) 1) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (cbrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (+ x y) (cbrt (sqrt y))) (+ 1 (sqrt 1))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (+ x y) (cbrt (sqrt y))) (+ 1 1)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (cbrt (sqrt y))) (sqrt y)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ 1 1)) (/ (/ (+ x y) (cbrt (sqrt y))) (sqrt y)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (cbrt (sqrt y))) (sqrt y)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ 1 1)) (/ (/ (+ x y) (cbrt (sqrt y))) (sqrt y)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) 2) (/ (/ (+ x y) (cbrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (sqrt (cbrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (sqrt (cbrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) 1) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt 1)) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) 1) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt 1) 1)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (+ x y) (sqrt (cbrt y))) (+ 1 (sqrt 1))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (+ x y) (sqrt (cbrt y))) (+ 1 1)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt (cbrt y))) (sqrt y)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (+ 1 1)) (/ (/ (+ x y) (sqrt (cbrt y))) (sqrt y)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt (cbrt y))) (sqrt y)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (+ 1 1)) (/ (/ (+ x y) (sqrt (cbrt y))) (sqrt y)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) 2) (/ (/ (+ x y) (sqrt (cbrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (sqrt (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) 1) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) 1) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (sqrt y))) (cbrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (cbrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ 1 (sqrt 1))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ 1 1)) (/ (/ 1 (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (+ 1 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (+ 1 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) 2) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt 1)) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (sqrt y)) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (sqrt y)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt 1)) 1) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt 1)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (sqrt y)) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt 1)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) 1) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt 1)) (cbrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ 1 (sqrt 1)) (sqrt (cbrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt 1) (sqrt 1))) (/ (/ 1 (sqrt 1)) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt 1) 1)) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ 1 (sqrt 1))) (/ (/ 1 (sqrt 1)) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ 1 1)) (/ (/ 1 (sqrt 1)) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 (sqrt 1)) (+ 1 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 (sqrt 1)) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 (sqrt 1)) (+ 1 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 (sqrt 1)) 2) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (sqrt (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) 1) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) 1) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (sqrt y))) (cbrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (cbrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ 1 (sqrt 1))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ 1 1)) (/ (/ 1 (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (+ 1 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (+ 1 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) 2) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 1) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (sqrt y)) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 1) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (sqrt y)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 1) 1) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ 1 1) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (sqrt y)) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 1) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt 1)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) 1) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ 1 1) (cbrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ 1 1) (sqrt (cbrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt 1) (sqrt 1))) (/ (/ 1 1) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt 1) 1)) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ 1 (sqrt 1))) (/ (/ 1 1) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ 1 1)) (/ (/ 1 1) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 1) (+ 1 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 1) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 1) (+ 1 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 1) 2) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (cbrt (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (cbrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) 1) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt 1)) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) 1) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (cbrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (cbrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (+ x y) (cbrt (sqrt y))) (+ 1 (sqrt 1))) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (+ x y) (cbrt (sqrt y))) (+ 1 1)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (cbrt (sqrt y))) (sqrt y)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ 1 1)) (/ (/ (+ x y) (cbrt (sqrt y))) (sqrt y)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (cbrt (sqrt y))) (sqrt y)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (+ 1 1)) (/ (/ (+ x y) (cbrt (sqrt y))) (sqrt y)) (/ (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) 2) (/ (/ (+ x y) (cbrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (sqrt (cbrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (sqrt (cbrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) 1) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt 1)) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) 1) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt 1) 1)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (cbrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (+ x y) (sqrt (cbrt y))) (+ 1 (sqrt 1))) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (sqrt y)) (/ (/ (+ x y) (sqrt (cbrt y))) (+ 1 1)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt (cbrt y))) (sqrt y)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (+ 1 1)) (/ (/ (+ x y) (sqrt (cbrt y))) (sqrt y)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt (cbrt y))) (sqrt y)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (+ 1 1)) (/ (/ (+ x y) (sqrt (cbrt y))) (sqrt y)) (/ (/ 1 (sqrt (* (cbrt y) (cbrt y)))) 2) (/ (/ (+ x y) (sqrt (cbrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (sqrt (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) 1) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) 1) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (sqrt y))) (cbrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (cbrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ 1 (sqrt 1))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ 1 1)) (/ (/ 1 (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (+ 1 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (+ 1 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) 2) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt 1)) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (sqrt y)) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (sqrt y)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt 1)) 1) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt 1)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (sqrt y)) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt 1)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) 1) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt 1)) (cbrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ 1 (sqrt 1)) (sqrt (cbrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt 1) (sqrt 1))) (/ (/ 1 (sqrt 1)) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt 1) 1)) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt 1)) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ 1 (sqrt 1))) (/ (/ 1 (sqrt 1)) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ 1 1)) (/ (/ 1 (sqrt 1)) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 (sqrt 1)) (+ 1 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 (sqrt 1)) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 (sqrt 1)) (+ 1 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 (sqrt 1)) 2) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (sqrt (sqrt y))) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) 1) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) 1) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt y) (sqrt y))) (/ (/ 1 (sqrt (sqrt y))) (cbrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (cbrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt 1) (sqrt 1))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt (sqrt y))) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ 1 (sqrt 1))) (/ (/ 1 (sqrt (sqrt y))) (sqrt y)) (/ (/ (+ x y) (sqrt (sqrt y))) (+ 1 1)) (/ (/ 1 (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (+ 1 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) (+ 1 1)) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 (sqrt (sqrt y))) 2) (/ (/ (+ x y) (sqrt (sqrt y))) (sqrt y)) (/ (/ 1 1) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (sqrt y)) (cbrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 1) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (sqrt y)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 1) 1) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ 1 1) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (sqrt y)) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 1) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt 1)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) 1) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (/ 1 1) (cbrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (/ 1 1) (sqrt (cbrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt 1) (sqrt 1))) (/ (/ 1 1) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt 1) 1)) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (/ 1 1) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ 1 (sqrt 1))) (/ (/ 1 1) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ 1 1)) (/ (/ 1 1) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 1) (+ 1 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 1) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 1) (+ 1 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ 1 1) 2) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ 1 (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (sqrt y)) (cbrt (+ (sqrt y) (sqrt y)))) (/ 1 (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (sqrt y)) (sqrt (+ (sqrt y) (sqrt y)))) (/ 1 1) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (sqrt y)) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ 1 (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ 1 (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ 1 (sqrt 1)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ 1 (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ 1 (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ 1 1) (/ (/ (+ x y) (sqrt y)) (+ (sqrt y) (sqrt y))) (/ 1 (cbrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ 1 (sqrt (cbrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ 1 (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ 1 (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ 1 (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt 1) (sqrt 1))) (/ 1 (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt 1) 1)) (/ 1 (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ 1 (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ 1 (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ 1 (sqrt 1))) (/ 1 (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ 1 1)) (/ 1 (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ 1 (+ 1 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ 1 (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ 1 (+ 1 1)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ 1 2) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (+ x y) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ 1 (sqrt y)) (cbrt (+ (sqrt y) (sqrt y)))) (/ (+ x y) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ 1 (sqrt y)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (+ x y) 1) (/ (/ 1 (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (+ x y) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 (sqrt y)) (+ (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ 1 (sqrt y)) (+ (sqrt (cbrt y)) (sqrt (cbrt y)))) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1 (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1 (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (+ x y) (sqrt 1)) (/ (/ 1 (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1 (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1 (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (+ x y) 1) (/ (/ 1 (sqrt y)) (+ (sqrt y) (sqrt y))) (/ (+ x y) (cbrt (sqrt y))) (/ (/ 1 (sqrt y)) (+ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (+ x y) (sqrt (cbrt y))) (/ (/ 1 (sqrt y)) (+ (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))))) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1 (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1 (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (+ x y) (sqrt y)) (/ (/ 1 (sqrt y)) (+ (sqrt 1) (sqrt 1))) (/ (+ x y) (sqrt y)) (/ (/ 1 (sqrt y)) (+ (sqrt 1) 1)) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1 (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1 (sqrt y)) (+ (sqrt (sqrt y)) (sqrt (sqrt y)))) (/ (+ x y) (sqrt y)) (/ (/ 1 (sqrt y)) (+ 1 (sqrt 1))) (/ (+ x y) (sqrt y)) (/ (/ 1 (sqrt y)) (+ 1 1)) (/ (+ x y) (+ (sqrt 1) 1)) (/ (/ 1 (sqrt y)) (sqrt y)) (/ (+ x y) (+ 1 1)) (/ (/ 1 (sqrt y)) (sqrt y)) (/ (+ x y) (+ (sqrt 1) 1)) (/ (/ 1 (sqrt y)) (sqrt y)) (/ (+ x y) (+ 1 1)) (/ (/ 1 (sqrt y)) (sqrt y)) (/ (+ x y) 2) (/ (/ 1 (sqrt y)) (sqrt y)) (/ 1 (+ (sqrt y) (sqrt y))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (sqrt y))) (/ (/ (+ x y) (sqrt y)) (* (cbrt (+ (sqrt y) (sqrt y))) (cbrt (+ (sqrt y) (sqrt y))))) (/ (/ (+ x y) (sqrt y)) (sqrt (+ (sqrt y) (sqrt y)))) (/ (/ (+ x y) (sqrt y)) 1) (/ (/ (+ x y) (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (+ x y) (sqrt y)) (sqrt (* (cbrt y) (cbrt y)))) (/ (/ (+ x y) (sqrt y)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (sqrt 1)) (/ (/ (+ x y) (sqrt y)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) 1) (/ (/ (+ x y) (sqrt y)) (cbrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (sqrt (cbrt y))) (/ (/ (+ x y) (sqrt y)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (sqrt (sqrt y))) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (sqrt y)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt y)) (+ 1 1)) (/ (/ (+ x y) (sqrt y)) (+ (sqrt 1) 1)) (/ (/ (+ x y) (sqrt y)) (+ 1 1)) (/ (/ (+ x y) (sqrt y)) 2) (/ (+ (sqrt y) (sqrt y)) (cbrt (/ (+ x y) (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (sqrt (/ (+ x y) (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (cbrt (+ x y)) (cbrt (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (cbrt (+ x y)) (sqrt (cbrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (+ (sqrt y) (sqrt y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (+ (sqrt y) (sqrt y)) (/ (sqrt (+ x y)) (cbrt (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (sqrt (+ x y)) (sqrt (cbrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (sqrt (+ x y)) (sqrt (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (sqrt (+ x y)) (sqrt y))) (/ (+ (sqrt y) (sqrt y)) (/ (sqrt (+ x y)) (sqrt (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (sqrt (+ x y)) (sqrt y))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (cbrt (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (sqrt (cbrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (sqrt (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (sqrt y))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (sqrt (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (sqrt y))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (cbrt (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (sqrt (cbrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (sqrt (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (sqrt y))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (sqrt (sqrt y)))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (sqrt y))) (/ (+ (sqrt y) (sqrt y)) (/ (+ x y) (sqrt y))) (/ (+ (sqrt y) (sqrt y)) (/ 1 (sqrt y))) (/ (/ (+ x y) (sqrt y)) (+ (pow (sqrt y) 3) (pow (sqrt y) 3))) (/ (/ (+ x y) (sqrt y)) (- (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (* (+ (sqrt y) (sqrt y)) (sqrt y)) (+ (* x (* (pow NAN 3) y)) (+ (* x NAN) (* NAN y))) (+ (/ (pow NAN 3) y) (+ NAN (/ (* x NAN) y))) (+ (/ x NAN) (+ (/ y NAN) NAN)) (+ (* 1/2 (/ x y)) 1/2) (+ (* 1/2 (/ x y)) 1/2) (+ (* 1/2 (/ x (pow NAN 2))) (+ (* 1/2 (/ y (pow NAN 2))) 1)) 0.586 * * [simplify]: iteration 0 : 4947 enodes (cost 15912 ) 0.591 * * [simplify]: iteration 1 : 4947 enodes (cost 15912 ) 0.650 * [simplify]: Simplified to: (log (/ (+ x y) (sqrt y))) (log (/ (+ x y) (sqrt y))) (exp (/ (+ x y) (sqrt y))) (pow (/ (+ x y) (sqrt y)) 3) (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (cbrt (/ (+ x y) (sqrt y))) (pow (/ (+ x y) (sqrt y)) 3) (sqrt (/ (+ x y) (sqrt y))) (sqrt (/ (+ x y) (sqrt y))) (- (neg y) x) (neg (sqrt y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (cbrt (+ x y)) (cbrt (sqrt y))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (fabs (cbrt y)))) (/ (cbrt (+ x y)) (sqrt (cbrt y))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (sqrt (sqrt y))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (sqrt y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (sqrt (sqrt y))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sqrt (+ x y)) (cbrt (sqrt y))) (/ (sqrt (+ x y)) (fabs (cbrt y))) (/ (sqrt (+ x y)) (sqrt (cbrt y))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (sqrt y)) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (cbrt (sqrt y))) (/ 1 (fabs (cbrt y))) (/ (+ x y) (sqrt (cbrt y))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (sqrt (sqrt y))) 1 (/ (+ x y) (sqrt y)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (sqrt (sqrt y))) 1 (/ (+ x y) (sqrt y)) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (cbrt (sqrt y))) (/ 1 (fabs (cbrt y))) (/ (+ x y) (sqrt (cbrt y))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (sqrt (sqrt y))) 1 (/ (+ x y) (sqrt y)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (sqrt (sqrt y))) 1 (/ (+ x y) (sqrt y)) (/ 1 (sqrt y)) (/ (sqrt y) (+ x y)) (/ (+ x y) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (fabs (cbrt y))) (/ (+ x y) (sqrt (sqrt y))) (+ x y) (/ (+ x y) (sqrt (sqrt y))) (+ x y) (/ (sqrt y) (cbrt (+ x y))) (/ (sqrt y) (sqrt (+ x y))) (/ (sqrt y) (+ x y)) (/ (sqrt y) (+ x y)) (* (sqrt y) (+ (* x x) (* y (- y x)))) (* (sqrt y) (- x y)) (log (/ (+ x y) (+ y y))) (log (/ (+ x y) (+ y y))) (log (/ (+ x y) (+ y y))) (exp (/ (+ x y) (+ y y))) (pow (/ (+ x y) (+ y y)) 3) (pow (/ (+ x y) (+ y y)) 3) (* (cbrt (/ (+ x y) (+ y y))) (cbrt (/ (+ x y) (+ y y)))) (cbrt (/ (+ x y) (+ y y))) (pow (/ (+ x y) (+ y y)) 3) (sqrt (/ (+ x y) (+ y y))) (sqrt (/ (+ x y) (+ y y))) (/ (- (neg y) x) (sqrt y)) (* (sqrt y) -2) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (cbrt (/ (+ x y) (sqrt y))) (cbrt (* (sqrt y) 2))) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt (* (sqrt y) 2)))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt (* (sqrt y) 2))) (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (sqrt y) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (cbrt (sqrt y)) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (fabs (cbrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (sqrt (cbrt y)) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (sqrt y) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (cbrt (/ (+ x y) (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (sqrt y) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (cbrt (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) 2))) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt (cbrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (fabs (cbrt y)) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) 2) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) 2) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) 2) (* (cbrt (/ (+ x y) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y))) (/ (cbrt (/ (+ x y) (sqrt y))) 2) (* (/ (cbrt (/ (+ x y) (sqrt y))) 2) (cbrt (/ (+ x y) (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y)) (* (/ (cbrt (/ (+ x y) (sqrt y))) 2) (cbrt (/ (+ x y) (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y)) (* (/ (cbrt (/ (+ x y) (sqrt y))) 2) (cbrt (/ (+ x y) (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y)) (* (/ (cbrt (/ (+ x y) (sqrt y))) 2) (cbrt (/ (+ x y) (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y)) (* (/ (cbrt (/ (+ x y) (sqrt y))) 2) (cbrt (/ (+ x y) (sqrt y)))) (/ (cbrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2)))) (/ (sqrt (/ (+ x y) (sqrt y))) (cbrt (* (sqrt y) 2))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (* (sqrt y) 2))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (* (sqrt y) 2))) (sqrt (/ (+ x y) (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (sqrt y) 2)) (/ (sqrt (/ (+ x y) (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (cbrt (sqrt y)) 2)) (/ (sqrt (/ (+ x y) (sqrt y))) (fabs (cbrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (sqrt (cbrt y)) 2)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (sqrt (/ (+ x y) (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (sqrt y) 2)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (sqrt (/ (+ x y) (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (sqrt y) 2)) (/ (sqrt (/ (+ x y) (sqrt y))) (cbrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) 2))) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (cbrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (fabs (cbrt y)) 2)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) 2) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) 2) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (+ x y) (sqrt y))) (* (sqrt (sqrt y)) 2)) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) 2) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) 2) (/ (sqrt (/ (+ x y) (sqrt y))) 2) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) 2) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) 2) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) 2) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (/ (sqrt (/ (+ x y) (sqrt y))) 2) (/ (sqrt (/ (+ x y) (sqrt y))) (sqrt y)) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (* (sqrt y) 2)))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (* (sqrt y) 2)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (cbrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 4))) (* (/ (cbrt (+ x y)) (pow (cbrt (sqrt y)) 4)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (fabs (cbrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (cbrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (cbrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 4))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (cbrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 4))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (cbrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (fabs (cbrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (* (/ (cbrt (+ x y)) (pow (cbrt (sqrt y)) 5)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) 2)) (* (/ (cbrt (+ x y)) (pow (cbrt (sqrt y)) 5)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) 2)) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (* (/ (cbrt (+ x y)) (pow (cbrt (sqrt y)) 5)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) 2)) (* (/ (cbrt (+ x y)) (pow (cbrt (sqrt y)) 5)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) 2)) (* (/ (cbrt (+ x y)) (cbrt (sqrt y))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) 2))) (/ (cbrt (+ x y)) (pow (cbrt (sqrt y)) 4)) (* (/ (cbrt (+ x y)) (cbrt (sqrt y))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) 2))) (/ (cbrt (+ x y)) (pow (cbrt (sqrt y)) 4)) (* (/ (cbrt (+ x y)) (cbrt (sqrt y))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) 2))) (/ (cbrt (+ x y)) (pow (cbrt (sqrt y)) 4)) (* (/ (cbrt (+ x y)) (cbrt (sqrt y))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) 2))) (/ (cbrt (+ x y)) (pow (cbrt (sqrt y)) 4)) (* (/ (cbrt (+ x y)) (cbrt (sqrt y))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) 2))) (/ (cbrt (+ x y)) (pow (cbrt (sqrt y)) 4)) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) (cbrt (* (sqrt y) 2)))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt (* (sqrt y) 2)))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) (sqrt (* (sqrt y) 2)))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (fabs (cbrt y)))) (/ (cbrt (+ x y)) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (fabs (cbrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (cbrt y)) 2))) (* (/ (cbrt (+ x y)) (cbrt y)) (/ (cbrt (+ x y)) (cbrt y))) (/ (cbrt (+ x y)) (* (cbrt y) 2)) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (fabs (cbrt y)))) (/ (cbrt (+ x y)) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (fabs (cbrt y)))) (/ (cbrt (+ x y)) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (cbrt (sqrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (* (sqrt (cbrt y)) 2)))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt (cbrt y)))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) (* (fabs (cbrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) 2)) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) 2)) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) 2)) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) 2)) (* (/ (cbrt (+ x y)) (fabs (cbrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (* (sqrt y) (sqrt (cbrt y)))) (* (/ (cbrt (+ x y)) (fabs (cbrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (* (sqrt y) (sqrt (cbrt y)))) (* (/ (cbrt (+ x y)) (fabs (cbrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (* (sqrt y) (sqrt (cbrt y)))) (* (/ (cbrt (+ x y)) (fabs (cbrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (* (sqrt y) (sqrt (cbrt y)))) (* (/ (cbrt (+ x y)) (fabs (cbrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (* (sqrt y) (sqrt (cbrt y)))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) (cbrt (* (sqrt y) 2)))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2))))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (cbrt (sqrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2)))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt (cbrt y)))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) (* (fabs (cbrt y)) 2))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) 2)) (* (/ (cbrt (+ x y)) (sqrt (sqrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (* (/ (cbrt (+ x y)) (sqrt (sqrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (* (/ (cbrt (+ x y)) (sqrt (sqrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (* (/ (cbrt (+ x y)) (sqrt (sqrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (* (/ (cbrt (+ x y)) (sqrt (sqrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (cbrt (+ x y)) (* (sqrt y) (cbrt (* (sqrt y) 2)))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (* (sqrt y) 2)))) (/ (cbrt (+ x y)) (* (sqrt y) (sqrt (* (sqrt y) 2)))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (cbrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 4))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (fabs (cbrt y)))) (/ (cbrt (+ x y)) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (cbrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 5))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (cbrt y)))) (/ (cbrt (+ x y)) (* (sqrt y) (* (fabs (cbrt y)) 2))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (/ (cbrt (+ x y)) (/ 2 (cbrt (+ x y)))) (/ (cbrt (+ x y)) y) (/ (cbrt (+ x y)) (/ 2 (cbrt (+ x y)))) (/ (cbrt (+ x y)) y) (/ (cbrt (+ x y)) (/ 2 (cbrt (+ x y)))) (/ (cbrt (+ x y)) y) (/ (cbrt (+ x y)) (/ 2 (cbrt (+ x y)))) (/ (cbrt (+ x y)) y) (/ (cbrt (+ x y)) (/ 2 (cbrt (+ x y)))) (/ (cbrt (+ x y)) y) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) (cbrt (* (sqrt y) 2)))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2))))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (fabs (cbrt y))) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (cbrt (sqrt y)))) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2)))) (* (cbrt (+ x y)) (/ (/ (cbrt (+ x y)) (sqrt (sqrt y))) (sqrt (cbrt y)))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) (* (fabs (cbrt y)) 2))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3))) (/ (cbrt (+ x y)) (* (sqrt (sqrt y)) 2)) (* (/ (cbrt (+ x y)) (sqrt (sqrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (* (/ (cbrt (+ x y)) (sqrt (sqrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (* (/ (cbrt (+ x y)) (sqrt (sqrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (* (/ (cbrt (+ x y)) (sqrt (sqrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (* (/ (cbrt (+ x y)) (sqrt (sqrt y))) (/ (cbrt (+ x y)) 2)) (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (cbrt (+ x y)) (* (sqrt y) (cbrt (* (sqrt y) 2)))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (* (sqrt y) 2)))) (/ (cbrt (+ x y)) (* (sqrt y) (sqrt (* (sqrt y) 2)))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (/ (cbrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 4))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (fabs (cbrt y)))) (/ (cbrt (+ x y)) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y y)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (cbrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 5))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (cbrt y)))) (/ (cbrt (+ x y)) (* (sqrt y) (* (fabs (cbrt y)) 2))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt (sqrt y)))) (/ (cbrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (* (cbrt (+ x y)) (/ (cbrt (+ x y)) (sqrt y))) (/ (cbrt (+ x y)) (* (sqrt y) 2)) (/ (cbrt (+ x y)) (/ 2 (cbrt (+ x y)))) (/ (cbrt (+ x y)) y) (/ (cbrt (+ x y)) (/ 2 (cbrt (+ x y)))) (/ (cbrt (+ x y)) y) (/ (cbrt (+ x y)) (/ 2 (cbrt (+ x y)))) (/ (cbrt (+ x y)) y) (/ (cbrt (+ x y)) (/ 2 (cbrt (+ x y)))) (/ (cbrt (+ x y)) y) (/ (cbrt (+ x y)) (/ 2 (cbrt (+ x y)))) (/ (cbrt (+ x y)) y) (/ (sqrt (+ x y)) (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (sqrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sqrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 4))) (/ (sqrt (+ x y)) (pow (cbrt (sqrt y)) 4)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (fabs (cbrt y))))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (cbrt y)) 2))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sqrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 4))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sqrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 4))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (sqrt (cbrt y)))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (fabs (cbrt y)) 2))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (pow (cbrt (sqrt y)) 5)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (cbrt (sqrt y)) 5)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (pow (cbrt (sqrt y)) 5)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (cbrt (sqrt y)) 5)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (pow (cbrt (sqrt y)) 4)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (pow (cbrt (sqrt y)) 4)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (pow (cbrt (sqrt y)) 4)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (pow (cbrt (sqrt y)) 4)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (pow (cbrt (sqrt y)) 4)) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (cbrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) (sqrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (sqrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (fabs (cbrt y))) (/ (sqrt (+ x y)) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (fabs (cbrt y))))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (cbrt y)) 2))) (/ (sqrt (+ x y)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ x y)) (* (cbrt y) 2)) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (fabs (cbrt y))) (/ (sqrt (+ x y)) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (fabs (cbrt y))) (/ (sqrt (+ x y)) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (fabs (cbrt y)))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (* (sqrt (cbrt y)) 2)))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) (sqrt (cbrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (* (fabs (cbrt y)) 2))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (sqrt y) (fabs (cbrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) 2)) (/ (sqrt (+ x y)) (* (sqrt y) (fabs (cbrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) 2)) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (sqrt y) (fabs (cbrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) 2)) (/ (sqrt (+ x y)) (* (sqrt y) (fabs (cbrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) 2)) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) 2)) (/ (sqrt (+ x y)) (* (sqrt y) (sqrt (cbrt y)))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) 2)) (/ (sqrt (+ x y)) (* (sqrt y) (sqrt (cbrt y)))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) 2)) (/ (sqrt (+ x y)) (* (sqrt y) (sqrt (cbrt y)))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) 2)) (/ (sqrt (+ x y)) (* (sqrt y) (sqrt (cbrt y)))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) 2)) (/ (sqrt (+ x y)) (* (sqrt y) (sqrt (cbrt y)))) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) (cbrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) (* (fabs (cbrt y)) 2))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (* (sqrt y) (cbrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (sqrt (* (sqrt y) 2))) (/ (sqrt (+ x y)) (* (sqrt y) (sqrt (* (sqrt y) 2)))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y y)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sqrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 4))) (/ (sqrt (+ x y)) (fabs (cbrt y))) (/ (sqrt (+ x y)) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y y)) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y y)) (/ (sqrt (+ x y)) (cbrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 5))) (/ (sqrt (+ x y)) (sqrt (cbrt y))) (/ (sqrt (+ x y)) (* (sqrt y) (* (fabs (cbrt y)) 2))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) (cbrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2)))) (/ (sqrt (+ x y)) (* (sqrt (cbrt y)) (sqrt (sqrt y)))) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) (* (fabs (cbrt y)) 2))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (sqrt (sqrt y)) 2)) (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3)) (/ (sqrt (+ x y)) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (* (sqrt y) (cbrt (* (sqrt y) 2)))) (/ (sqrt (+ x y)) (sqrt (* (sqrt y) 2))) (/ (sqrt (+ x y)) (* (sqrt y) (sqrt (* (sqrt y) 2)))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y y)) (/ (sqrt (+ x y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sqrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 4))) (/ (sqrt (+ x y)) (fabs (cbrt y))) (/ (sqrt (+ x y)) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y y)) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y y)) (/ (sqrt (+ x y)) (cbrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (cbrt (sqrt y)) 5))) (/ (sqrt (+ x y)) (sqrt (cbrt y))) (/ (sqrt (+ x y)) (* (sqrt y) (* (fabs (cbrt y)) 2))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt (sqrt y))) (/ (sqrt (+ x y)) (* 2 (pow (sqrt (sqrt y)) 3))) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (* (sqrt y) 2)) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ (sqrt (+ x y)) 2) (/ (sqrt (+ x y)) y) (/ 1 (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (+ x y) (* (cbrt (sqrt y)) (cbrt (* (sqrt y) 2)))) (/ 1 (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (sqrt (* (sqrt y) 2)))) (/ (+ x y) (* (cbrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 4))) (/ 1 (pow (cbrt (sqrt y)) 4)) (/ (+ x y) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (fabs (cbrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (cbrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 4))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 4))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (sqrt (cbrt y)))) (/ (+ x y) (* (cbrt (sqrt y)) (* (fabs (cbrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (pow (cbrt (sqrt y)) 5)) (/ (+ x y) (* (cbrt (sqrt y)) 2)) (/ 1 (pow (cbrt (sqrt y)) 5)) (/ (+ x y) (* (cbrt (sqrt y)) 2)) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (pow (cbrt (sqrt y)) 5)) (/ (+ x y) (* (cbrt (sqrt y)) 2)) (/ 1 (pow (cbrt (sqrt y)) 5)) (/ (+ x y) (* (cbrt (sqrt y)) 2)) (/ 1/2 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (pow (cbrt (sqrt y)) 4)) (/ 1/2 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (pow (cbrt (sqrt y)) 4)) (/ 1/2 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (pow (cbrt (sqrt y)) 4)) (/ 1/2 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (pow (cbrt (sqrt y)) 4)) (/ 1/2 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (pow (cbrt (sqrt y)) 4)) (/ 1 (* (fabs (cbrt y)) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (+ x y) (* (sqrt (cbrt y)) (cbrt (* (sqrt y) 2)))) (/ 1 (* (fabs (cbrt y)) (sqrt (* (sqrt y) 2)))) (/ (+ x y) (* (sqrt (cbrt y)) (sqrt (* (sqrt y) 2)))) (/ 1 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (fabs (cbrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (cbrt y)) 2))) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ x y) (* (cbrt y) 2)) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (fabs (cbrt y)))) (/ (+ x y) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (* (sqrt (cbrt y)) 2)))) (/ 1 (* (fabs (cbrt y)) (sqrt (cbrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (fabs (cbrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (sqrt y) (fabs (cbrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) 2)) (/ 1 (* (sqrt y) (fabs (cbrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) 2)) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (sqrt y) (fabs (cbrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) 2)) (/ 1 (* (sqrt y) (fabs (cbrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) 2)) (/ 1/2 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (sqrt (cbrt y)))) (/ 1/2 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (sqrt (cbrt y)))) (/ 1/2 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (sqrt (cbrt y)))) (/ 1/2 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (sqrt (cbrt y)))) (/ 1/2 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (sqrt (cbrt y)))) (/ 1 (* (sqrt (sqrt y)) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (+ x y) (* (sqrt (sqrt y)) (cbrt (* (sqrt y) 2)))) (/ 1 (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ (+ x y) (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (* (cbrt (sqrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2)))) (/ 1 (* (sqrt (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (sqrt y)) (* (fabs (cbrt y)) 2))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1 (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2)))) (/ (+ x y) (* (sqrt y) (cbrt (* (sqrt y) 2)))) (/ 1 (sqrt (* (sqrt y) 2))) (/ (+ x y) (* (sqrt y) (sqrt (* (sqrt y) 2)))) 1 (/ (+ x y) (+ y y)) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 4))) (/ 1 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) 1 (/ (+ x y) (+ y y)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) 1 (/ (+ x y) (+ y y)) (/ 1 (cbrt (sqrt y))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 5))) (/ 1 (sqrt (cbrt y))) (/ (+ x y) (* (sqrt y) (* (fabs (cbrt y)) 2))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) (/ 1 (* (sqrt (sqrt y)) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (+ x y) (* (sqrt (sqrt y)) (cbrt (* (sqrt y) 2)))) (/ 1 (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ (+ x y) (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (* (cbrt (sqrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2)))) (/ 1 (* (sqrt (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (sqrt y)) (* (fabs (cbrt y)) 2))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1 (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2)))) (/ (+ x y) (* (sqrt y) (cbrt (* (sqrt y) 2)))) (/ 1 (sqrt (* (sqrt y) 2))) (/ (+ x y) (* (sqrt y) (sqrt (* (sqrt y) 2)))) 1 (/ (+ x y) (+ y y)) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 4))) (/ 1 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) 1 (/ (+ x y) (+ y y)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) 1 (/ (+ x y) (+ y y)) (/ 1 (cbrt (sqrt y))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 5))) (/ 1 (sqrt (cbrt y))) (/ (+ x y) (* (sqrt y) (* (fabs (cbrt y)) 2))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) (/ 1 (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (+ x y) (* (cbrt (sqrt y)) (cbrt (* (sqrt y) 2)))) (/ 1 (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (sqrt (* (sqrt y) 2)))) (/ (+ x y) (* (cbrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 4))) (/ 1 (pow (cbrt (sqrt y)) 4)) (/ (+ x y) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (fabs (cbrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (cbrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 4))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 4))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (sqrt (cbrt y)))) (/ (+ x y) (* (cbrt (sqrt y)) (* (fabs (cbrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (pow (cbrt (sqrt y)) 5)) (/ (+ x y) (* (cbrt (sqrt y)) 2)) (/ 1 (pow (cbrt (sqrt y)) 5)) (/ (+ x y) (* (cbrt (sqrt y)) 2)) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (pow (cbrt (sqrt y)) 5)) (/ (+ x y) (* (cbrt (sqrt y)) 2)) (/ 1 (pow (cbrt (sqrt y)) 5)) (/ (+ x y) (* (cbrt (sqrt y)) 2)) (/ 1/2 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (pow (cbrt (sqrt y)) 4)) (/ 1/2 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (pow (cbrt (sqrt y)) 4)) (/ 1/2 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (pow (cbrt (sqrt y)) 4)) (/ 1/2 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (pow (cbrt (sqrt y)) 4)) (/ 1/2 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (pow (cbrt (sqrt y)) 4)) (/ 1 (* (fabs (cbrt y)) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (+ x y) (* (sqrt (cbrt y)) (cbrt (* (sqrt y) 2)))) (/ 1 (* (fabs (cbrt y)) (sqrt (* (sqrt y) 2)))) (/ (+ x y) (* (sqrt (cbrt y)) (sqrt (* (sqrt y) 2)))) (/ 1 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (fabs (cbrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (cbrt y)) 2))) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ x y) (* (cbrt y) 2)) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ 1 (* (cbrt (sqrt y)) (fabs (cbrt y)))) (/ (+ x y) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (* (sqrt (cbrt y)) 2)))) (/ 1 (* (fabs (cbrt y)) (sqrt (cbrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (fabs (cbrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (sqrt y) (fabs (cbrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) 2)) (/ 1 (* (sqrt y) (fabs (cbrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) 2)) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (sqrt y) (fabs (cbrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) 2)) (/ 1 (* (sqrt y) (fabs (cbrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) 2)) (/ 1/2 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (sqrt (cbrt y)))) (/ 1/2 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (sqrt (cbrt y)))) (/ 1/2 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (sqrt (cbrt y)))) (/ 1/2 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (sqrt (cbrt y)))) (/ 1/2 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (sqrt (cbrt y)))) (/ 1 (* (sqrt (sqrt y)) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (+ x y) (* (sqrt (sqrt y)) (cbrt (* (sqrt y) 2)))) (/ 1 (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ (+ x y) (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (* (cbrt (sqrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2)))) (/ 1 (* (sqrt (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (sqrt y)) (* (fabs (cbrt y)) 2))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1 (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2)))) (/ (+ x y) (* (sqrt y) (cbrt (* (sqrt y) 2)))) (/ 1 (sqrt (* (sqrt y) 2))) (/ (+ x y) (* (sqrt y) (sqrt (* (sqrt y) 2)))) 1 (/ (+ x y) (+ y y)) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 4))) (/ 1 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) 1 (/ (+ x y) (+ y y)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) 1 (/ (+ x y) (+ y y)) (/ 1 (cbrt (sqrt y))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 5))) (/ 1 (sqrt (cbrt y))) (/ (+ x y) (* (sqrt y) (* (fabs (cbrt y)) 2))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) (/ 1 (* (sqrt (sqrt y)) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (+ x y) (* (sqrt (sqrt y)) (cbrt (* (sqrt y) 2)))) (/ 1 (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ (+ x y) (* (sqrt (sqrt y)) (sqrt (* (sqrt y) 2)))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (sqrt (sqrt y))))) (/ (+ x y) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (* (fabs (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (cbrt y)) (* (sqrt (sqrt y)) 2))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (* (cbrt (sqrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (cbrt (sqrt y)) (* (cbrt (sqrt y)) (* (sqrt (sqrt y)) 2)))) (/ 1 (* (sqrt (cbrt y)) (sqrt (sqrt y)))) (/ (+ x y) (* (sqrt (sqrt y)) (* (fabs (cbrt y)) 2))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1 (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (* (sqrt (sqrt y)) 2)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1/2 (sqrt (sqrt y))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ 1 (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2)))) (/ (+ x y) (* (sqrt y) (cbrt (* (sqrt y) 2)))) (/ 1 (sqrt (* (sqrt y) 2))) (/ (+ x y) (* (sqrt y) (sqrt (* (sqrt y) 2)))) 1 (/ (+ x y) (+ y y)) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 4))) (/ 1 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) 1 (/ (+ x y) (+ y y)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) 1 (/ (+ x y) (+ y y)) (/ 1 (cbrt (sqrt y))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 5))) (/ 1 (sqrt (cbrt y))) (/ (+ x y) (* (sqrt y) (* (fabs (cbrt y)) 2))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) (/ 1 (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2)))) (/ (+ x y) (* (sqrt y) (cbrt (* (sqrt y) 2)))) (/ 1 (sqrt (* (sqrt y) 2))) (/ (+ x y) (* (sqrt y) (sqrt (* (sqrt y) 2)))) 1 (/ (+ x y) (+ y y)) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 4))) (/ 1 (fabs (cbrt y))) (/ (+ x y) (* (sqrt y) (* (sqrt (cbrt y)) 2))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) 1 (/ (+ x y) (+ y y)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) 1 (/ (+ x y) (+ y y)) (/ 1 (cbrt (sqrt y))) (/ (+ x y) (* 2 (pow (cbrt (sqrt y)) 5))) (/ 1 (sqrt (cbrt y))) (/ (+ x y) (* (sqrt y) (* (fabs (cbrt y)) 2))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt (sqrt y))) (/ (+ x y) (* 2 (pow (sqrt (sqrt y)) 3))) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) (/ 1 (sqrt y)) (/ (+ x y) (* (sqrt y) 2)) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) 1/2 (/ (+ x y) y) (/ (+ x y) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2)))) (/ 1 (* (sqrt y) (cbrt (* (sqrt y) 2)))) (/ (+ x y) (sqrt (* (sqrt y) 2))) (/ 1 (* (sqrt y) (sqrt (* (sqrt y) 2)))) (+ x y) (/ 1 (+ y y)) (/ (+ x y) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1/2 (sqrt y)) (cbrt (sqrt y))) (/ (+ x y) (fabs (cbrt y))) (/ (/ 1/2 (sqrt y)) (sqrt (cbrt y))) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1/2 (sqrt (sqrt y))) (sqrt y)) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1/2 (sqrt (sqrt y))) (sqrt y)) (+ x y) (/ 1 (+ y y)) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1/2 (sqrt (sqrt y))) (sqrt y)) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1/2 (sqrt (sqrt y))) (sqrt y)) (+ x y) (/ 1 (+ y y)) (/ (+ x y) (cbrt (sqrt y))) (/ 1 (* 2 (pow (cbrt (sqrt y)) 5))) (/ (+ x y) (sqrt (cbrt y))) (/ (/ 1/2 (fabs (cbrt y))) (sqrt y)) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1/2 (sqrt (sqrt y))) (sqrt y)) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1/2 (sqrt (sqrt y))) (sqrt y)) (/ (+ x y) (sqrt y)) (/ 1/2 (sqrt y)) (/ (+ x y) (sqrt y)) (/ 1/2 (sqrt y)) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1/2 (sqrt (sqrt y))) (sqrt y)) (/ (+ x y) (sqrt (sqrt y))) (/ (/ 1/2 (sqrt (sqrt y))) (sqrt y)) (/ (+ x y) (sqrt y)) (/ 1/2 (sqrt y)) (/ (+ x y) (sqrt y)) (/ 1/2 (sqrt y)) (/ (+ x y) 2) (/ 1 y) (/ (+ x y) 2) (/ 1 y) (/ (+ x y) 2) (/ 1 y) (/ (+ x y) 2) (/ 1 y) (/ (+ x y) 2) (/ 1 y) (/ 1/2 (sqrt y)) (/ 2 (/ (+ x y) y)) (/ (+ x y) (* (sqrt y) (* (cbrt (* (sqrt y) 2)) (cbrt (* (sqrt y) 2))))) (/ (+ x y) (* (sqrt y) (sqrt (* (sqrt y) 2)))) (/ (+ x y) (sqrt y)) (/ (+ x y) (pow (cbrt (sqrt y)) 5)) (/ (+ x y) (* (sqrt y) (fabs (cbrt y)))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (sqrt y)) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (sqrt y)) (/ (+ x y) (pow (cbrt (sqrt y)) 4)) (/ (+ x y) (* (sqrt y) (sqrt (cbrt y)))) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ (+ x y) y) (/ (+ x y) y) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ (+ x y) (pow (sqrt (sqrt y)) 3)) (/ (+ x y) y) (/ (+ x y) y) (/ (+ x y) (* (sqrt y) 2)) (/ (+ x y) (* (sqrt y) 2)) (/ (+ x y) (* (sqrt y) 2)) (/ (+ x y) (* (sqrt y) 2)) (/ (+ x y) (* (sqrt y) 2)) (/ (sqrt y) (/ (cbrt (/ (+ x y) (sqrt y))) 2)) (/ (sqrt y) (/ (sqrt (/ (+ x y) (sqrt y))) 2)) (/ 2 (/ (cbrt (+ x y)) (pow (cbrt (sqrt y)) 4))) (* (sqrt (cbrt y)) (/ (sqrt y) (/ (cbrt (+ x y)) 2))) (/ 2 (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3))) (/ 2 (/ (cbrt (+ x y)) y)) (/ 2 (/ (cbrt (+ x y)) (pow (sqrt (sqrt y)) 3))) (/ 2 (/ (cbrt (+ x y)) y)) (/ 2 (/ (sqrt (+ x y)) (pow (cbrt (sqrt y)) 4))) (* (sqrt (cbrt y)) (/ (sqrt y) (/ (sqrt (+ x y)) 2))) (/ 2 (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3))) (/ 2 (/ (sqrt (+ x y)) y)) (/ 2 (/ (sqrt (+ x y)) (pow (sqrt (sqrt y)) 3))) (/ 2 (/ (sqrt (+ x y)) y)) (/ 2 (/ (+ x y) (pow (cbrt (sqrt y)) 4))) (* (sqrt (cbrt y)) (/ (sqrt y) (/ (+ x y) 2))) (/ 2 (/ (+ x y) (pow (sqrt (sqrt y)) 3))) (/ 2 (/ (+ x y) y)) (/ 2 (/ (+ x y) (pow (sqrt (sqrt y)) 3))) (/ 2 (/ (+ x y) y)) (/ 2 (/ (+ x y) (pow (cbrt (sqrt y)) 4))) (* (sqrt (cbrt y)) (/ (sqrt y) (/ (+ x y) 2))) (/ 2 (/ (+ x y) (pow (sqrt (sqrt y)) 3))) (/ 2 (/ (+ x y) y)) (/ 2 (/ (+ x y) (pow (sqrt (sqrt y)) 3))) (/ 2 (/ (+ x y) y)) (/ 2 (/ (+ x y) y)) (+ y y) (/ (+ x y) (* y (+ y y))) (/ (+ x y) 0) (+ y y) (+ (* x (* y (pow NAN 3))) (* NAN (+ x y))) (+ NAN (+ (/ (pow NAN 3) y) (* (/ x y) NAN))) (+ NAN (+ (/ x NAN) (/ y NAN))) (+ 1/2 (* 1/2 (/ x y))) (+ 1/2 (* 1/2 (/ x y))) (+ 1 (* (/ 1/2 NAN) (+ (/ x NAN) (/ y NAN)))) 0.657 * * * [progress]: adding candidates to table 0.885 * * [progress]: iteration 4 / 4 0.885 * * * [progress]: picking best candidate 0.888 * * * * [pick]: Picked # 0.888 * * * [progress]: localizing error 0.892 * * * [progress]: generating rewritten candidates 0.892 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.900 * * * [progress]: generating series expansions 0.900 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.900 * [approximate]: Taking taylor expansion of (* 1/2 (/ x y)) in (x y) around 0 0.900 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y 0.900 * [taylor]: Taking taylor expansion of 1/2 in y 0.900 * [taylor]: Taking taylor expansion of (/ x y) in y 0.900 * [taylor]: Taking taylor expansion of x in y 0.900 * [taylor]: Taking taylor expansion of y in y 0.900 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x 0.900 * [taylor]: Taking taylor expansion of 1/2 in x 0.900 * [taylor]: Taking taylor expansion of (/ x y) in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.900 * [taylor]: Taking taylor expansion of y in x 0.900 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x 0.900 * [taylor]: Taking taylor expansion of 1/2 in x 0.900 * [taylor]: Taking taylor expansion of (/ x y) in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.900 * [taylor]: Taking taylor expansion of y in x 0.900 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y 0.900 * [taylor]: Taking taylor expansion of 1/2 in y 0.900 * [taylor]: Taking taylor expansion of y in y 0.900 * [taylor]: Taking taylor expansion of 0 in y 0.901 * [taylor]: Taking taylor expansion of 0 in y 0.901 * [taylor]: Taking taylor expansion of 0 in y 0.901 * [approximate]: Taking taylor expansion of (* 1/2 (/ y x)) in (x y) around 0 0.901 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y 0.901 * [taylor]: Taking taylor expansion of 1/2 in y 0.901 * [taylor]: Taking taylor expansion of (/ y x) in y 0.901 * [taylor]: Taking taylor expansion of y in y 0.901 * [taylor]: Taking taylor expansion of x in y 0.901 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x 0.901 * [taylor]: Taking taylor expansion of 1/2 in x 0.901 * [taylor]: Taking taylor expansion of (/ y x) in x 0.901 * [taylor]: Taking taylor expansion of y in x 0.901 * [taylor]: Taking taylor expansion of x in x 0.901 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x 0.901 * [taylor]: Taking taylor expansion of 1/2 in x 0.901 * [taylor]: Taking taylor expansion of (/ y x) in x 0.901 * [taylor]: Taking taylor expansion of y in x 0.901 * [taylor]: Taking taylor expansion of x in x 0.901 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.901 * [taylor]: Taking taylor expansion of 1/2 in y 0.901 * [taylor]: Taking taylor expansion of y in y 0.902 * [taylor]: Taking taylor expansion of 0 in y 0.902 * [taylor]: Taking taylor expansion of 0 in y 0.902 * [taylor]: Taking taylor expansion of 0 in y 0.902 * [approximate]: Taking taylor expansion of (* 1/2 (/ y x)) in (x y) around 0 0.902 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y 0.902 * [taylor]: Taking taylor expansion of 1/2 in y 0.902 * [taylor]: Taking taylor expansion of (/ y x) in y 0.902 * [taylor]: Taking taylor expansion of y in y 0.902 * [taylor]: Taking taylor expansion of x in y 0.902 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x 0.902 * [taylor]: Taking taylor expansion of 1/2 in x 0.902 * [taylor]: Taking taylor expansion of (/ y x) in x 0.902 * [taylor]: Taking taylor expansion of y in x 0.902 * [taylor]: Taking taylor expansion of x in x 0.903 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x 0.903 * [taylor]: Taking taylor expansion of 1/2 in x 0.903 * [taylor]: Taking taylor expansion of (/ y x) in x 0.903 * [taylor]: Taking taylor expansion of y in x 0.903 * [taylor]: Taking taylor expansion of x in x 0.903 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.903 * [taylor]: Taking taylor expansion of 1/2 in y 0.903 * [taylor]: Taking taylor expansion of y in y 0.903 * [taylor]: Taking taylor expansion of 0 in y 0.903 * [taylor]: Taking taylor expansion of 0 in y 0.903 * [taylor]: Taking taylor expansion of 0 in y 0.903 * * * [progress]: simplifying candidates 0.904 * [simplify]: Simplifying using # : (* 1/2 (/ x y)) (+ (log 1/2) (- (log x) (log y))) (+ (log 1/2) (log (/ x y))) (log (* 1/2 (/ x y))) (exp (* 1/2 (/ x y))) (* (* (* 1/2 1/2) 1/2) (/ (* (* x x) x) (* (* y y) y))) (* (* (* 1/2 1/2) 1/2) (* (* (/ x y) (/ x y)) (/ x y))) (* (cbrt (* 1/2 (/ x y))) (cbrt (* 1/2 (/ x y)))) (cbrt (* 1/2 (/ x y))) (* (* (* 1/2 (/ x y)) (* 1/2 (/ x y))) (* 1/2 (/ x y))) (sqrt (* 1/2 (/ x y))) (sqrt (* 1/2 (/ x y))) (* (sqrt 1/2) (sqrt (/ x y))) (* (sqrt 1/2) (sqrt (/ x y))) (* (sqrt 1/2) (/ (sqrt x) (sqrt y))) (* (sqrt 1/2) (/ (sqrt x) (sqrt y))) (* 1/2 (* (cbrt (/ x y)) (cbrt (/ x y)))) (* 1/2 (sqrt (/ x y))) (* 1/2 (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* 1/2 (/ (* (cbrt x) (cbrt x)) (sqrt y))) (* 1/2 (/ (* (cbrt x) (cbrt x)) 1)) (* 1/2 (/ (sqrt x) (* (cbrt y) (cbrt y)))) (* 1/2 (/ (sqrt x) (sqrt y))) (* 1/2 (/ (sqrt x) 1)) (* 1/2 (/ 1 (* (cbrt y) (cbrt y)))) (* 1/2 (/ 1 (sqrt y))) (* 1/2 (/ 1 1)) (* 1/2 1) (* 1/2 x) (* (cbrt 1/2) (/ x y)) (* (sqrt 1/2) (/ x y)) (* 1/2 (/ x y)) (* 1/2 x) (* 1/2 (/ x y)) (* 1/2 (/ x y)) (* 1/2 (/ x y)) 0.985 * * [simplify]: iteration 0 : 5745 enodes (cost 229 ) 0.987 * [simplify]: Simplified to: (* 1/2 (/ x y)) (log (* 1/2 (/ x y))) (log (* 1/2 (/ x y))) (log (* 1/2 (/ x y))) (sqrt (exp (/ x y))) (* 1/8 (pow (/ x y) 3)) (* 1/8 (pow (/ x y) 3)) (* (cbrt (* 1/2 (/ x y))) (cbrt (* 1/2 (/ x y)))) (cbrt (* 1/2 (/ x y))) (* 1/8 (pow (/ x y) 3)) (sqrt (* 1/2 (/ x y))) (sqrt (* 1/2 (/ x y))) (* (sqrt 1/2) (sqrt (/ x y))) (* (sqrt 1/2) (sqrt (/ x y))) (* (sqrt 1/2) (/ (sqrt x) (sqrt y))) (* (sqrt 1/2) (/ (sqrt x) (sqrt y))) (* 1/2 (* (cbrt (/ x y)) (cbrt (/ x y)))) (* 1/2 (sqrt (/ x y))) (* 1/2 (* (cbrt x) (/ (cbrt x) (* (cbrt y) (cbrt y))))) (* 1/2 (* (cbrt x) (/ (cbrt x) (sqrt y)))) (* 1/2 (* (cbrt x) (cbrt x))) (* 1/2 (/ (sqrt x) (* (cbrt y) (cbrt y)))) (* 1/2 (/ (sqrt x) (sqrt y))) (* 1/2 (sqrt x)) (/ 1/2 (* (cbrt y) (cbrt y))) (/ 1/2 (sqrt y)) 1/2 1/2 (* 1/2 x) (* x (/ (cbrt 1/2) y)) (* x (/ (sqrt 1/2) y)) (* 1/2 (/ x y)) (* 1/2 x) (* 1/2 (/ x y)) (* 1/2 (/ x y)) (* 1/2 (/ x y)) 0.987 * * * [progress]: adding candidates to table 1.021 * [progress]: [Phase 3 of 3] Extracting. 1.023 * [simplify]: Simplifying using # : (+ 1/2 (* 1/2 (/ x y))) 1.024 * * [simplify]: iteration 0 : 8 enodes (cost 7 ) 1.024 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 1.024 * [simplify]: Simplified to: (+ 1/2 (* 1/2 (/ x y))) 1.527 * [regime-testing]: End program error score: 0.05027752531584477 1.596 * [regime-testing]: Target error score: 0.05027752531584477