0.857 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.256 * * * [progress]: [2/2] Setting up program. 0.259 * [progress]: [Phase 2 of 3] Improving. 0.261 * [simplify]: Simplifying using # : (/ (+ x y) 10.0) 0.265 * * [simplify]: iteration 0 : 6 enodes (cost 2 ) 0.266 * * [simplify]: iteration 1 : 6 enodes (cost 2 ) 0.266 * [simplify]: Simplified to: (/ (+ x y) 10.0) 0.268 * * [progress]: iteration 1 / 4 0.268 * * * [progress]: picking best candidate 0.269 * * * * [pick]: Picked # 0.269 * * * [progress]: localizing error 0.275 * * * [progress]: generating rewritten candidates 0.275 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.287 * * * [progress]: generating series expansions 0.288 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.292 * [approximate]: Taking taylor expansion of (* 0.1 (+ x y)) in (x y) around 0 0.293 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in y 0.293 * [taylor]: Taking taylor expansion of 0.1 in y 0.293 * [taylor]: Taking taylor expansion of (+ x y) in y 0.293 * [taylor]: Taking taylor expansion of x in y 0.293 * [taylor]: Taking taylor expansion of y in y 0.293 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 0.293 * [taylor]: Taking taylor expansion of 0.1 in x 0.293 * [taylor]: Taking taylor expansion of (+ x y) in x 0.293 * [taylor]: Taking taylor expansion of x in x 0.293 * [taylor]: Taking taylor expansion of y in x 0.293 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 0.293 * [taylor]: Taking taylor expansion of 0.1 in x 0.293 * [taylor]: Taking taylor expansion of (+ x y) in x 0.293 * [taylor]: Taking taylor expansion of x in x 0.293 * [taylor]: Taking taylor expansion of y in x 0.294 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 0.294 * [taylor]: Taking taylor expansion of 0.1 in y 0.294 * [taylor]: Taking taylor expansion of y in y 0.295 * [taylor]: Taking taylor expansion of 0.1 in y 0.297 * [taylor]: Taking taylor expansion of 0 in y 0.299 * [taylor]: Taking taylor expansion of 0 in y 0.300 * [approximate]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 0.300 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in y 0.300 * [taylor]: Taking taylor expansion of 0.1 in y 0.300 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.300 * [taylor]: Taking taylor expansion of y in y 0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.300 * [taylor]: Taking taylor expansion of x in y 0.300 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 0.300 * [taylor]: Taking taylor expansion of 0.1 in x 0.300 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.300 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.300 * [taylor]: Taking taylor expansion of y in x 0.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.301 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 0.301 * [taylor]: Taking taylor expansion of 0.1 in x 0.301 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.301 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.301 * [taylor]: Taking taylor expansion of y in x 0.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.302 * [taylor]: Taking taylor expansion of 0.1 in y 0.303 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 0.303 * [taylor]: Taking taylor expansion of 0.1 in y 0.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.303 * [taylor]: Taking taylor expansion of y in y 0.305 * [taylor]: Taking taylor expansion of 0 in y 0.307 * [taylor]: Taking taylor expansion of 0 in y 0.310 * [taylor]: Taking taylor expansion of 0 in y 0.310 * [approximate]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 0.310 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in y 0.311 * [taylor]: Taking taylor expansion of -0.1 in y 0.311 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.311 * [taylor]: Taking taylor expansion of y in y 0.311 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.311 * [taylor]: Taking taylor expansion of x in y 0.311 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 0.311 * [taylor]: Taking taylor expansion of -0.1 in x 0.311 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.311 * [taylor]: Taking taylor expansion of y in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 0.311 * [taylor]: Taking taylor expansion of -0.1 in x 0.311 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.311 * [taylor]: Taking taylor expansion of y in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of -0.1 in y 0.313 * [taylor]: Taking taylor expansion of (- (* 0.1 (/ 1 y))) in y 0.313 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 0.313 * [taylor]: Taking taylor expansion of 0.1 in y 0.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.313 * [taylor]: Taking taylor expansion of y in y 0.315 * [taylor]: Taking taylor expansion of 0 in y 0.318 * [taylor]: Taking taylor expansion of 0 in y 0.321 * [taylor]: Taking taylor expansion of 0 in y 0.322 * * * [progress]: simplifying candidates 0.322 * [simplify]: Simplifying using # : (- (log (+ x y)) (log 10.0)) (log (/ (+ x y) 10.0)) (exp (/ (+ x y) 10.0)) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* 10.0 10.0) 10.0)) (* (cbrt (/ (+ x y) 10.0)) (cbrt (/ (+ x y) 10.0))) (cbrt (/ (+ x y) 10.0)) (* (* (/ (+ x y) 10.0) (/ (+ x y) 10.0)) (/ (+ x y) 10.0)) (sqrt (/ (+ x y) 10.0)) (sqrt (/ (+ x y) 10.0)) (- (+ x y)) (- 10.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (cbrt (+ x y)) (cbrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ (cbrt (+ x y)) (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) 10.0) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 1) (/ (+ x y) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 1) (/ (+ x y) 10.0) (/ 1 10.0) (/ 10.0 (+ x y)) (/ (+ x y) (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (sqrt 10.0)) (/ (+ x y) 1) (/ 10.0 (cbrt (+ x y))) (/ 10.0 (sqrt (+ x y))) (/ 10.0 (+ x y)) (/ 10.0 (+ x y)) (* 10.0 (+ (* x x) (- (* y y) (* x y)))) (* 10.0 (- x y)) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) 0.325 * * [simplify]: iteration 0 : 132 enodes (cost 162 ) 0.328 * * [simplify]: iteration 1 : 389 enodes (cost 152 ) 0.335 * * [simplify]: iteration 2 : 1005 enodes (cost 152 ) 0.351 * * [simplify]: iteration 3 : 3290 enodes (cost 152 ) 0.398 * * [simplify]: iteration 4 : 5001 enodes (cost 152 ) 0.400 * [simplify]: Simplified to: (log (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (exp (/ (+ x y) 10.0)) (pow (/ (+ x y) 10.0) 3) (* (cbrt (/ (+ x y) 10.0)) (cbrt (/ (+ x y) 10.0))) (cbrt (/ (+ x y) 10.0)) (pow (/ (+ x y) 10.0) 3) (sqrt (/ (+ x y) 10.0)) (sqrt (/ (+ x y) 10.0)) (- (+ x y)) (- 10.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (cbrt (+ x y)) (cbrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ (cbrt (+ x y)) (sqrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) 10.0) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) 1 (/ (+ x y) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) 1 (/ (+ x y) 10.0) (/ 1 10.0) (/ 10.0 (+ x y)) (/ (+ x y) (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (sqrt 10.0)) (+ x y) (/ 10.0 (cbrt (+ x y))) (/ 10.0 (sqrt (+ x y))) (/ 10.0 (+ x y)) (/ 10.0 (+ x y)) (* (+ (* y (- y x)) (* x x)) 10.0) (* 10.0 (- x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) 0.400 * * * [progress]: adding candidates to table 0.460 * * [progress]: iteration 2 / 4 0.460 * * * [progress]: picking best candidate 0.462 * * * * [pick]: Picked # 0.463 * * * [progress]: localizing error 0.469 * * * [progress]: generating rewritten candidates 0.469 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.480 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.518 * * * [progress]: generating series expansions 0.518 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.519 * [approximate]: Taking taylor expansion of (/ (+ x y) (sqrt 10.0)) in (x y) around 0 0.519 * [taylor]: Taking taylor expansion of (/ (+ x y) (sqrt 10.0)) in y 0.519 * [taylor]: Taking taylor expansion of (+ x y) in y 0.519 * [taylor]: Taking taylor expansion of x in y 0.519 * [taylor]: Taking taylor expansion of y in y 0.519 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.519 * [taylor]: Taking taylor expansion of 10.0 in y 0.520 * [taylor]: Taking taylor expansion of (/ (+ x y) (sqrt 10.0)) in x 0.520 * [taylor]: Taking taylor expansion of (+ x y) in x 0.520 * [taylor]: Taking taylor expansion of x in x 0.520 * [taylor]: Taking taylor expansion of y in x 0.520 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 0.520 * [taylor]: Taking taylor expansion of 10.0 in x 0.521 * [taylor]: Taking taylor expansion of (/ (+ x y) (sqrt 10.0)) in x 0.521 * [taylor]: Taking taylor expansion of (+ x y) in x 0.521 * [taylor]: Taking taylor expansion of x in x 0.521 * [taylor]: Taking taylor expansion of y in x 0.521 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 0.521 * [taylor]: Taking taylor expansion of 10.0 in x 0.522 * [taylor]: Taking taylor expansion of (/ y (sqrt 10.0)) in y 0.522 * [taylor]: Taking taylor expansion of y in y 0.522 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.522 * [taylor]: Taking taylor expansion of 10.0 in y 0.525 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 0.525 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.525 * [taylor]: Taking taylor expansion of 10.0 in y 0.530 * [taylor]: Taking taylor expansion of 0 in y 0.534 * [taylor]: Taking taylor expansion of 0 in y 0.537 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (sqrt 10.0)) in (x y) around 0 0.537 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (sqrt 10.0)) in y 0.537 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.537 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.537 * [taylor]: Taking taylor expansion of y in y 0.537 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.537 * [taylor]: Taking taylor expansion of x in y 0.537 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.537 * [taylor]: Taking taylor expansion of 10.0 in y 0.539 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (sqrt 10.0)) in x 0.539 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.539 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.539 * [taylor]: Taking taylor expansion of y in x 0.539 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.539 * [taylor]: Taking taylor expansion of x in x 0.539 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 0.539 * [taylor]: Taking taylor expansion of 10.0 in x 0.540 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (sqrt 10.0)) in x 0.540 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.541 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.541 * [taylor]: Taking taylor expansion of y in x 0.541 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.541 * [taylor]: Taking taylor expansion of x in x 0.541 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 0.541 * [taylor]: Taking taylor expansion of 10.0 in x 0.542 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 0.542 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.542 * [taylor]: Taking taylor expansion of 10.0 in y 0.548 * [taylor]: Taking taylor expansion of (/ 1 (* y (sqrt 10.0))) in y 0.548 * [taylor]: Taking taylor expansion of (* y (sqrt 10.0)) in y 0.548 * [taylor]: Taking taylor expansion of y in y 0.548 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.548 * [taylor]: Taking taylor expansion of 10.0 in y 0.555 * [taylor]: Taking taylor expansion of 0 in y 0.561 * [taylor]: Taking taylor expansion of 0 in y 0.568 * [taylor]: Taking taylor expansion of 0 in y 0.569 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (sqrt 10.0))) in (x y) around 0 0.570 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (sqrt 10.0))) in y 0.570 * [taylor]: Taking taylor expansion of -1 in y 0.570 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (sqrt 10.0)) in y 0.570 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.570 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.570 * [taylor]: Taking taylor expansion of y in y 0.570 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.570 * [taylor]: Taking taylor expansion of x in y 0.570 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.570 * [taylor]: Taking taylor expansion of 10.0 in y 0.572 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (sqrt 10.0))) in x 0.572 * [taylor]: Taking taylor expansion of -1 in x 0.572 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (sqrt 10.0)) in x 0.572 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.572 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.572 * [taylor]: Taking taylor expansion of y in x 0.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.572 * [taylor]: Taking taylor expansion of x in x 0.572 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 0.572 * [taylor]: Taking taylor expansion of 10.0 in x 0.573 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (sqrt 10.0))) in x 0.573 * [taylor]: Taking taylor expansion of -1 in x 0.574 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (sqrt 10.0)) in x 0.574 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.574 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.574 * [taylor]: Taking taylor expansion of y in x 0.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.574 * [taylor]: Taking taylor expansion of x in x 0.574 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 0.574 * [taylor]: Taking taylor expansion of 10.0 in x 0.576 * [taylor]: Taking taylor expansion of (/ -1 (sqrt 10.0)) in y 0.576 * [taylor]: Taking taylor expansion of -1 in y 0.576 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.576 * [taylor]: Taking taylor expansion of 10.0 in y 0.580 * [taylor]: Taking taylor expansion of (- (/ 1 (* y (sqrt 10.0)))) in y 0.580 * [taylor]: Taking taylor expansion of (/ 1 (* y (sqrt 10.0))) in y 0.580 * [taylor]: Taking taylor expansion of (* y (sqrt 10.0)) in y 0.580 * [taylor]: Taking taylor expansion of y in y 0.580 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.580 * [taylor]: Taking taylor expansion of 10.0 in y 0.588 * [taylor]: Taking taylor expansion of 0 in y 0.595 * [taylor]: Taking taylor expansion of 0 in y 0.604 * [taylor]: Taking taylor expansion of 0 in y 0.606 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.607 * [approximate]: Taking taylor expansion of (/ (+ x y) (pow (sqrt 10.0) 2)) in (x y) around 0 0.607 * [taylor]: Taking taylor expansion of (/ (+ x y) (pow (sqrt 10.0) 2)) in y 0.607 * [taylor]: Taking taylor expansion of (+ x y) in y 0.607 * [taylor]: Taking taylor expansion of x in y 0.607 * [taylor]: Taking taylor expansion of y in y 0.607 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 0.607 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.607 * [taylor]: Taking taylor expansion of 10.0 in y 0.609 * [taylor]: Taking taylor expansion of (/ (+ x y) (pow (sqrt 10.0) 2)) in x 0.609 * [taylor]: Taking taylor expansion of (+ x y) in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of y in x 0.609 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in x 0.609 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 0.609 * [taylor]: Taking taylor expansion of 10.0 in x 0.612 * [taylor]: Taking taylor expansion of (/ (+ x y) (pow (sqrt 10.0) 2)) in x 0.612 * [taylor]: Taking taylor expansion of (+ x y) in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.612 * [taylor]: Taking taylor expansion of y in x 0.612 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in x 0.612 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 0.612 * [taylor]: Taking taylor expansion of 10.0 in x 0.614 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 10.0) 2)) in y 0.614 * [taylor]: Taking taylor expansion of y in y 0.614 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 0.614 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.614 * [taylor]: Taking taylor expansion of 10.0 in y 0.620 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt 10.0) 2)) in y 0.620 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 0.620 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.620 * [taylor]: Taking taylor expansion of 10.0 in y 0.627 * [taylor]: Taking taylor expansion of 0 in y 0.637 * [taylor]: Taking taylor expansion of 0 in y 0.642 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in (x y) around 0 0.642 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in y 0.642 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.642 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.642 * [taylor]: Taking taylor expansion of y in y 0.642 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.642 * [taylor]: Taking taylor expansion of x in y 0.642 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 0.642 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.642 * [taylor]: Taking taylor expansion of 10.0 in y 0.645 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in x 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.645 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.645 * [taylor]: Taking taylor expansion of y in x 0.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.645 * [taylor]: Taking taylor expansion of x in x 0.645 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in x 0.645 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 0.645 * [taylor]: Taking taylor expansion of 10.0 in x 0.648 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in x 0.648 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.648 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.648 * [taylor]: Taking taylor expansion of y in x 0.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.648 * [taylor]: Taking taylor expansion of x in x 0.649 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in x 0.649 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 0.649 * [taylor]: Taking taylor expansion of 10.0 in x 0.651 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt 10.0) 2)) in y 0.651 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 0.651 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.651 * [taylor]: Taking taylor expansion of 10.0 in y 0.656 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow (sqrt 10.0) 2))) in y 0.656 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 10.0) 2)) in y 0.656 * [taylor]: Taking taylor expansion of y in y 0.656 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 0.656 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.656 * [taylor]: Taking taylor expansion of 10.0 in y 0.667 * [taylor]: Taking taylor expansion of 0 in y 0.676 * [taylor]: Taking taylor expansion of 0 in y 0.686 * [taylor]: Taking taylor expansion of 0 in y 0.690 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2))) in (x y) around 0 0.690 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2))) in y 0.690 * [taylor]: Taking taylor expansion of -1 in y 0.690 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in y 0.690 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.690 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.690 * [taylor]: Taking taylor expansion of y in y 0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.690 * [taylor]: Taking taylor expansion of x in y 0.690 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 0.690 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.690 * [taylor]: Taking taylor expansion of 10.0 in y 0.693 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2))) in x 0.693 * [taylor]: Taking taylor expansion of -1 in x 0.693 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in x 0.693 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.693 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.693 * [taylor]: Taking taylor expansion of y in x 0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.693 * [taylor]: Taking taylor expansion of x in x 0.693 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in x 0.693 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 0.693 * [taylor]: Taking taylor expansion of 10.0 in x 0.696 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2))) in x 0.696 * [taylor]: Taking taylor expansion of -1 in x 0.696 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in x 0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.696 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.696 * [taylor]: Taking taylor expansion of y in x 0.696 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in x 0.697 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 0.697 * [taylor]: Taking taylor expansion of 10.0 in x 0.701 * [taylor]: Taking taylor expansion of (/ -1 (pow (sqrt 10.0) 2)) in y 0.701 * [taylor]: Taking taylor expansion of -1 in y 0.701 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 0.701 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.701 * [taylor]: Taking taylor expansion of 10.0 in y 0.707 * [taylor]: Taking taylor expansion of (- (/ 1 (* y (pow (sqrt 10.0) 2)))) in y 0.707 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow (sqrt 10.0) 2))) in y 0.707 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 10.0) 2)) in y 0.707 * [taylor]: Taking taylor expansion of y in y 0.707 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 0.707 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 0.707 * [taylor]: Taking taylor expansion of 10.0 in y 0.725 * [taylor]: Taking taylor expansion of 0 in y 0.735 * [taylor]: Taking taylor expansion of 0 in y 0.748 * [taylor]: Taking taylor expansion of 0 in y 0.751 * * * [progress]: simplifying candidates 0.753 * [simplify]: Simplifying using # : (- (log (+ x y)) (log (sqrt 10.0))) (log (/ (+ x y) (sqrt 10.0))) (exp (/ (+ x y) (sqrt 10.0))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt 10.0) (sqrt 10.0)) (sqrt 10.0))) (* (cbrt (/ (+ x y) (sqrt 10.0))) (cbrt (/ (+ x y) (sqrt 10.0)))) (cbrt (/ (+ x y) (sqrt 10.0))) (* (* (/ (+ x y) (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0))) (- (+ x y)) (- (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (cbrt (+ x y)) (cbrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt 10.0) (cbrt 10.0)))) (/ (cbrt (+ x y)) (sqrt (cbrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt 10.0))) (/ (cbrt (+ x y)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (/ (cbrt (+ x y)) (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt 10.0))) (/ (cbrt (+ x y)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (cbrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (* (cbrt 10.0) (cbrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (cbrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt 1)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ 1 (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (+ x y) (cbrt (sqrt 10.0))) (/ 1 (sqrt (* (cbrt 10.0) (cbrt 10.0)))) (/ (+ x y) (sqrt (cbrt 10.0))) (/ 1 (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (sqrt 1)) (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 1) (/ (+ x y) (sqrt 10.0)) (/ 1 (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (+ x y) (cbrt (sqrt 10.0))) (/ 1 (sqrt (* (cbrt 10.0) (cbrt 10.0)))) (/ (+ x y) (sqrt (cbrt 10.0))) (/ 1 (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (sqrt 1)) (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 1) (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (sqrt 10.0) (+ x y)) (/ (+ x y) (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (* (cbrt 10.0) (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt 1)) (/ (+ x y) (sqrt (sqrt 10.0))) (/ (+ x y) 1) (/ (sqrt 10.0) (cbrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y))) (/ (sqrt 10.0) (+ x y)) (/ (sqrt 10.0) (+ x y)) (* (sqrt 10.0) (+ (* x x) (- (* y y) (* x y)))) (* (sqrt 10.0) (- x y)) (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))) (+ (- (log (sqrt 10.0))) (- (log (+ x y)) (log (sqrt 10.0)))) (+ (- (log (sqrt 10.0))) (log (/ (+ x y) (sqrt 10.0)))) (+ (- 0 (log (sqrt 10.0))) (- (log (+ x y)) (log (sqrt 10.0)))) (+ (- 0 (log (sqrt 10.0))) (log (/ (+ x y) (sqrt 10.0)))) (+ (- (log 1) (log (sqrt 10.0))) (- (log (+ x y)) (log (sqrt 10.0)))) (+ (- (log 1) (log (sqrt 10.0))) (log (/ (+ x y) (sqrt 10.0)))) (+ (log (/ 1 (sqrt 10.0))) (- (log (+ x y)) (log (sqrt 10.0)))) (+ (log (/ 1 (sqrt 10.0))) (log (/ (+ x y) (sqrt 10.0)))) (log (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))) (exp (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))) (* (/ (* (* 1 1) 1) (* (* (sqrt 10.0) (sqrt 10.0)) (sqrt 10.0))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt 10.0) (sqrt 10.0)) (sqrt 10.0)))) (* (/ (* (* 1 1) 1) (* (* (sqrt 10.0) (sqrt 10.0)) (sqrt 10.0))) (* (* (/ (+ x y) (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))) (/ (+ x y) (sqrt 10.0)))) (* (* (* (/ 1 (sqrt 10.0)) (/ 1 (sqrt 10.0))) (/ 1 (sqrt 10.0))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt 10.0) (sqrt 10.0)) (sqrt 10.0)))) (* (* (* (/ 1 (sqrt 10.0)) (/ 1 (sqrt 10.0))) (/ 1 (sqrt 10.0))) (* (* (/ (+ x y) (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))) (/ (+ x y) (sqrt 10.0)))) (* (cbrt (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))) (cbrt (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))))) (cbrt (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))) (* (* (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))) (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))) (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))) (sqrt (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))) (sqrt (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))) (* 1 (+ x y)) (* (sqrt 10.0) (sqrt 10.0)) (* (sqrt (/ 1 (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0)))) (* (sqrt (/ 1 (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0)))) (* (sqrt (/ 1 (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (sqrt (/ 1 (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (sqrt (/ 1 (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (sqrt (/ 1 (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0)))) (* (/ 1 (sqrt (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0)))) (* (/ 1 (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0)))) (* (/ 1 (sqrt (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0)))) (* (/ 1 (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt 10.0)) (* (cbrt (/ (+ x y) (sqrt 10.0))) (cbrt (/ (+ x y) (sqrt 10.0))))) (* (/ 1 (sqrt 10.0)) (sqrt (/ (+ x y) (sqrt 10.0)))) (* (/ 1 (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0))))) (* (/ 1 (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (* (/ 1 (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1))) (* (/ 1 (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1)) (* (/ 1 (sqrt 10.0)) (/ (sqrt (+ x y)) (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0))))) (* (/ 1 (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (* (/ 1 (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 1))) (* (/ 1 (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt 10.0)) (/ (sqrt (+ x y)) 1)) (* (/ 1 (sqrt 10.0)) (/ 1 (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0))))) (* (/ 1 (sqrt 10.0)) (/ 1 (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (* (/ 1 (sqrt 10.0)) (/ 1 (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt 10.0)) (/ 1 (sqrt 1))) (* (/ 1 (sqrt 10.0)) (/ 1 (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt 10.0)) (/ 1 1)) (* (/ 1 (sqrt 10.0)) (/ 1 (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0))))) (* (/ 1 (sqrt 10.0)) (/ 1 (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (* (/ 1 (sqrt 10.0)) (/ 1 (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt 10.0)) (/ 1 (sqrt 1))) (* (/ 1 (sqrt 10.0)) (/ 1 (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt 10.0)) (/ 1 1)) (* (/ 1 (sqrt 10.0)) 1) (* (/ 1 (sqrt 10.0)) (+ x y)) (* (cbrt (/ 1 (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (sqrt (/ 1 (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (/ (cbrt 1) (cbrt (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (/ (cbrt 1) (sqrt (cbrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (/ (cbrt 1) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (/ (cbrt 1) (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))) (* (/ (cbrt 1) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (/ (cbrt 1) (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))) (* (/ (sqrt 1) (cbrt (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (/ (sqrt 1) (sqrt (cbrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (/ (sqrt 1) (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))) (* (/ (sqrt 1) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (/ (sqrt 1) (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))) (* (/ 1 (cbrt (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (/ 1 (sqrt (cbrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (/ 1 (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))) (* (/ 1 (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))) (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))) (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))) (* (/ 1 (sqrt 10.0)) (+ x y)) (* 1 (/ (+ x y) (sqrt 10.0))) (+ (/ x (sqrt 10.0)) (/ y (sqrt 10.0))) (+ (/ x (sqrt 10.0)) (/ y (sqrt 10.0))) (+ (/ x (sqrt 10.0)) (/ y (sqrt 10.0))) (+ (/ x (pow (sqrt 10.0) 2)) (/ y (pow (sqrt 10.0) 2))) (+ (/ x (pow (sqrt 10.0) 2)) (/ y (pow (sqrt 10.0) 2))) (+ (/ x (pow (sqrt 10.0) 2)) (/ y (pow (sqrt 10.0) 2))) 0.759 * * [simplify]: iteration 0 : 467 enodes (cost 1177 ) 0.769 * * [simplify]: iteration 1 : 2891 enodes (cost 1028 ) 0.809 * * [simplify]: iteration 2 : 5001 enodes (cost 851 ) 0.814 * [simplify]: Simplified to: (log (/ (+ x y) (sqrt 10.0))) (log (/ (+ x y) (sqrt 10.0))) (exp (/ (+ x y) (sqrt 10.0))) (pow (/ (+ x y) (sqrt 10.0)) 3) (* (cbrt (/ (+ x y) (sqrt 10.0))) (cbrt (/ (+ x y) (sqrt 10.0)))) (cbrt (/ (+ x y) (sqrt 10.0))) (pow (/ (+ x y) (sqrt 10.0)) 3) (sqrt (/ (+ x y) (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0))) (- (+ x y)) (- (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (cbrt (+ x y)) (cbrt (sqrt 10.0))) (/ (cbrt (+ x y)) (/ (fabs (cbrt 10.0)) (cbrt (+ x y)))) (/ (cbrt (+ x y)) (sqrt (cbrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt 10.0))) (/ (cbrt (+ x y)) (pow (sqrt 10.0) 1/2)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt 10.0))) (/ (cbrt (+ x y)) (pow (sqrt 10.0) 1/2)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (cbrt (sqrt 10.0))) (/ (sqrt (+ x y)) (fabs (cbrt 10.0))) (/ (sqrt (+ x y)) (sqrt (cbrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ 1 (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (+ x y) (cbrt (sqrt 10.0))) (/ 1 (/ (fabs (cbrt 10.0)) 1)) (/ (+ x y) (sqrt (cbrt 10.0))) (/ 1 (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))) 1 (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))) 1 (/ (+ x y) (sqrt 10.0)) (/ 1 (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (+ x y) (cbrt (sqrt 10.0))) (/ 1 (/ (fabs (cbrt 10.0)) 1)) (/ (+ x y) (sqrt (cbrt 10.0))) (/ 1 (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))) 1 (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))) 1 (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (sqrt 10.0) (+ x y)) (/ (+ x y) (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (+ x y) (fabs (cbrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))) (+ x y) (/ (+ x y) (sqrt (sqrt 10.0))) (+ x y) (/ (sqrt 10.0) (cbrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y))) (/ (sqrt 10.0) (+ x y)) (/ (sqrt 10.0) (+ x y)) (* (+ (* y (- y x)) (* x x)) (sqrt 10.0)) (* (sqrt 10.0) (- x y)) (/ (+ x y) 10.0) (log (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (exp (/ (+ x y) 10.0)) (pow (/ (+ x y) 10.0) 3) (pow (/ (+ x y) 10.0) 3) (pow (/ (+ x y) 10.0) 3) (pow (/ (+ x y) 10.0) 3) (* (cbrt (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))) (cbrt (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0))))) (cbrt (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))) (pow (/ (+ x y) 10.0) 3) (sqrt (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))) (sqrt (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)))) (+ x y) 10.0 (* (sqrt (/ 1 (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0)))) (* (sqrt (/ 1 (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt 10.0)))) (* (sqrt (/ 1 (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (sqrt (/ 1 (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (sqrt (/ 1 (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (* (sqrt (/ 1 (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0)))) (/ (sqrt (/ (+ x y) (sqrt 10.0))) (pow (sqrt 10.0) 1/2)) (/ (sqrt (/ (+ x y) (sqrt 10.0))) (pow (sqrt 10.0) 1/2)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (/ (+ x y) (sqrt 10.0))) (pow (sqrt 10.0) 1/2)) (/ (sqrt (/ (+ x y) (sqrt 10.0))) (pow (sqrt 10.0) 1/2)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (/ (+ x y) (sqrt 10.0))) (pow (sqrt 10.0) 1/2)) (/ (sqrt (/ (+ x y) (sqrt 10.0))) (pow (sqrt 10.0) 1/2)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (/ (+ x y) (sqrt 10.0))) (pow (sqrt 10.0) 1/2)) (/ (sqrt (/ (+ x y) (sqrt 10.0))) (pow (sqrt 10.0) 1/2)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (* (/ 1 (sqrt 10.0)) (* (cbrt (/ (+ x y) (sqrt 10.0))) (cbrt (/ (+ x y) (sqrt 10.0))))) (* (/ 1 (sqrt 10.0)) (sqrt (/ (+ x y) (sqrt 10.0)))) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (sqrt 10.0)) (/ (/ (cbrt (+ x y)) (/ (fabs (cbrt 10.0)) (cbrt (+ x y)))) (sqrt 10.0)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt 10.0))) (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt 10.0))) (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ (/ (sqrt (+ x y)) (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (sqrt 10.0)) (/ (sqrt (+ x y)) (* (fabs (cbrt 10.0)) (sqrt 10.0))) (/ (sqrt (+ x y)) (* (sqrt (sqrt 10.0)) (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (* (sqrt (sqrt 10.0)) (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (/ 1 (sqrt 10.0)) (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (/ 1 (sqrt 10.0)) (fabs (cbrt 10.0))) (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt 10.0)) (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt 10.0)) (/ (/ 1 (sqrt 10.0)) (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (/ 1 (sqrt 10.0)) (fabs (cbrt 10.0))) (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt 10.0)) (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (* (cbrt (/ 1 (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (* (sqrt (/ 1 (sqrt 10.0))) (/ (+ x y) (sqrt 10.0))) (/ (/ (+ x y) (sqrt 10.0)) (cbrt (sqrt 10.0))) (/ (/ (+ x y) (sqrt 10.0)) (sqrt (cbrt 10.0))) (/ (/ (+ x y) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) 10.0) (/ (/ (+ x y) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) 10.0) (/ (/ (+ x y) (sqrt 10.0)) (cbrt (sqrt 10.0))) (/ (/ (+ x y) (sqrt 10.0)) (sqrt (cbrt 10.0))) (/ (/ (+ x y) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) 10.0) (/ (/ (+ x y) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) 10.0) (/ (/ (+ x y) (sqrt 10.0)) (cbrt (sqrt 10.0))) (/ (/ (+ x y) (sqrt 10.0)) (sqrt (cbrt 10.0))) (/ (/ (+ x y) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) 10.0) (/ (/ (+ x y) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) 10.0) (/ (+ x y) 10.0) (/ (+ x y) 10.0) (/ (+ x y) (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ (+ x y) 10.0) (/ (+ x y) 10.0) (/ (+ x y) 10.0) 0.815 * * * [progress]: adding candidates to table 1.004 * * [progress]: iteration 3 / 4 1.004 * * * [progress]: picking best candidate 1.008 * * * * [pick]: Picked # 1.008 * * * [progress]: localizing error 1.017 * * * [progress]: generating rewritten candidates 1.017 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.171 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.217 * * * [progress]: generating series expansions 1.217 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.220 * [approximate]: Taking taylor expansion of (/ (+ x y) (pow (sqrt 10.0) 2)) in (x y) around 0 1.220 * [taylor]: Taking taylor expansion of (/ (+ x y) (pow (sqrt 10.0) 2)) in y 1.220 * [taylor]: Taking taylor expansion of (+ x y) in y 1.220 * [taylor]: Taking taylor expansion of x in y 1.220 * [taylor]: Taking taylor expansion of y in y 1.220 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 1.220 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.220 * [taylor]: Taking taylor expansion of 10.0 in y 1.222 * [taylor]: Taking taylor expansion of (/ (+ x y) (pow (sqrt 10.0) 2)) in x 1.222 * [taylor]: Taking taylor expansion of (+ x y) in x 1.222 * [taylor]: Taking taylor expansion of x in x 1.222 * [taylor]: Taking taylor expansion of y in x 1.222 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in x 1.222 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 1.222 * [taylor]: Taking taylor expansion of 10.0 in x 1.224 * [taylor]: Taking taylor expansion of (/ (+ x y) (pow (sqrt 10.0) 2)) in x 1.224 * [taylor]: Taking taylor expansion of (+ x y) in x 1.224 * [taylor]: Taking taylor expansion of x in x 1.224 * [taylor]: Taking taylor expansion of y in x 1.224 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in x 1.224 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 1.224 * [taylor]: Taking taylor expansion of 10.0 in x 1.227 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 10.0) 2)) in y 1.227 * [taylor]: Taking taylor expansion of y in y 1.227 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 1.227 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.227 * [taylor]: Taking taylor expansion of 10.0 in y 1.232 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt 10.0) 2)) in y 1.232 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 1.232 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.232 * [taylor]: Taking taylor expansion of 10.0 in y 1.240 * [taylor]: Taking taylor expansion of 0 in y 1.246 * [taylor]: Taking taylor expansion of 0 in y 1.252 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in (x y) around 0 1.252 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in y 1.252 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.252 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.252 * [taylor]: Taking taylor expansion of y in y 1.253 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.253 * [taylor]: Taking taylor expansion of x in y 1.253 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 1.253 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.253 * [taylor]: Taking taylor expansion of 10.0 in y 1.255 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in x 1.255 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.255 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.255 * [taylor]: Taking taylor expansion of y in x 1.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.255 * [taylor]: Taking taylor expansion of x in x 1.256 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in x 1.256 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 1.256 * [taylor]: Taking taylor expansion of 10.0 in x 1.258 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in x 1.258 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.258 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.258 * [taylor]: Taking taylor expansion of y in x 1.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.259 * [taylor]: Taking taylor expansion of x in x 1.259 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in x 1.259 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 1.259 * [taylor]: Taking taylor expansion of 10.0 in x 1.261 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt 10.0) 2)) in y 1.261 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 1.262 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.262 * [taylor]: Taking taylor expansion of 10.0 in y 1.266 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow (sqrt 10.0) 2))) in y 1.266 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 10.0) 2)) in y 1.266 * [taylor]: Taking taylor expansion of y in y 1.266 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 1.266 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.266 * [taylor]: Taking taylor expansion of 10.0 in y 1.278 * [taylor]: Taking taylor expansion of 0 in y 1.286 * [taylor]: Taking taylor expansion of 0 in y 1.299 * [taylor]: Taking taylor expansion of 0 in y 1.304 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2))) in (x y) around 0 1.304 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2))) in y 1.304 * [taylor]: Taking taylor expansion of -1 in y 1.304 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in y 1.304 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.304 * [taylor]: Taking taylor expansion of y in y 1.304 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.304 * [taylor]: Taking taylor expansion of x in y 1.304 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 1.304 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.304 * [taylor]: Taking taylor expansion of 10.0 in y 1.307 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2))) in x 1.307 * [taylor]: Taking taylor expansion of -1 in x 1.307 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in x 1.307 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.307 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.307 * [taylor]: Taking taylor expansion of y in x 1.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.307 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in x 1.307 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 1.308 * [taylor]: Taking taylor expansion of 10.0 in x 1.310 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2))) in x 1.310 * [taylor]: Taking taylor expansion of -1 in x 1.310 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) (pow (sqrt 10.0) 2)) in x 1.310 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.311 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.311 * [taylor]: Taking taylor expansion of y in x 1.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.311 * [taylor]: Taking taylor expansion of x in x 1.311 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in x 1.311 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 1.311 * [taylor]: Taking taylor expansion of 10.0 in x 1.315 * [taylor]: Taking taylor expansion of (/ -1 (pow (sqrt 10.0) 2)) in y 1.315 * [taylor]: Taking taylor expansion of -1 in y 1.315 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 1.315 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.315 * [taylor]: Taking taylor expansion of 10.0 in y 1.321 * [taylor]: Taking taylor expansion of (- (/ 1 (* y (pow (sqrt 10.0) 2)))) in y 1.321 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow (sqrt 10.0) 2))) in y 1.321 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 10.0) 2)) in y 1.321 * [taylor]: Taking taylor expansion of y in y 1.321 * [taylor]: Taking taylor expansion of (pow (sqrt 10.0) 2) in y 1.321 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.321 * [taylor]: Taking taylor expansion of 10.0 in y 1.336 * [taylor]: Taking taylor expansion of 0 in y 1.346 * [taylor]: Taking taylor expansion of 0 in y 1.358 * [taylor]: Taking taylor expansion of 0 in y 1.361 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.362 * [approximate]: Taking taylor expansion of (* (+ x y) (sqrt (/ 1 (sqrt 10.0)))) in (x y) around 0 1.362 * [taylor]: Taking taylor expansion of (* (+ x y) (sqrt (/ 1 (sqrt 10.0)))) in y 1.362 * [taylor]: Taking taylor expansion of (+ x y) in y 1.362 * [taylor]: Taking taylor expansion of x in y 1.362 * [taylor]: Taking taylor expansion of y in y 1.362 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in y 1.362 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 1.362 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.362 * [taylor]: Taking taylor expansion of 10.0 in y 1.365 * [taylor]: Taking taylor expansion of (* (+ x y) (sqrt (/ 1 (sqrt 10.0)))) in x 1.365 * [taylor]: Taking taylor expansion of (+ x y) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of y in x 1.366 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in x 1.366 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in x 1.366 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 1.366 * [taylor]: Taking taylor expansion of 10.0 in x 1.369 * [taylor]: Taking taylor expansion of (* (+ x y) (sqrt (/ 1 (sqrt 10.0)))) in x 1.369 * [taylor]: Taking taylor expansion of (+ x y) in x 1.369 * [taylor]: Taking taylor expansion of x in x 1.369 * [taylor]: Taking taylor expansion of y in x 1.369 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in x 1.369 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in x 1.369 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 1.369 * [taylor]: Taking taylor expansion of 10.0 in x 1.373 * [taylor]: Taking taylor expansion of (* y (sqrt (/ 1 (sqrt 10.0)))) in y 1.374 * [taylor]: Taking taylor expansion of y in y 1.374 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in y 1.374 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 1.374 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.374 * [taylor]: Taking taylor expansion of 10.0 in y 1.381 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in y 1.382 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 1.382 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.382 * [taylor]: Taking taylor expansion of 10.0 in y 1.392 * [taylor]: Taking taylor expansion of 0 in y 1.398 * [taylor]: Taking taylor expansion of 0 in y 1.403 * [approximate]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt (/ 1 (sqrt 10.0)))) in (x y) around 0 1.403 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt (/ 1 (sqrt 10.0)))) in y 1.403 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.403 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.403 * [taylor]: Taking taylor expansion of y in y 1.403 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.403 * [taylor]: Taking taylor expansion of x in y 1.403 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in y 1.403 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 1.403 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.403 * [taylor]: Taking taylor expansion of 10.0 in y 1.406 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt (/ 1 (sqrt 10.0)))) in x 1.406 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.406 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.406 * [taylor]: Taking taylor expansion of y in x 1.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.406 * [taylor]: Taking taylor expansion of x in x 1.407 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in x 1.407 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in x 1.407 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 1.407 * [taylor]: Taking taylor expansion of 10.0 in x 1.410 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt (/ 1 (sqrt 10.0)))) in x 1.410 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.410 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.410 * [taylor]: Taking taylor expansion of y in x 1.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.410 * [taylor]: Taking taylor expansion of x in x 1.410 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in x 1.410 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in x 1.410 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 1.411 * [taylor]: Taking taylor expansion of 10.0 in x 1.415 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in y 1.415 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 1.415 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.416 * [taylor]: Taking taylor expansion of 10.0 in y 1.420 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (/ 1 (sqrt 10.0)))) in y 1.421 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.421 * [taylor]: Taking taylor expansion of y in y 1.421 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in y 1.421 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 1.421 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.421 * [taylor]: Taking taylor expansion of 10.0 in y 1.431 * [taylor]: Taking taylor expansion of 0 in y 1.436 * [taylor]: Taking taylor expansion of 0 in y 1.446 * [taylor]: Taking taylor expansion of 0 in y 1.448 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (sqrt (/ 1 (sqrt 10.0))))) in (x y) around 0 1.448 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (sqrt (/ 1 (sqrt 10.0))))) in y 1.448 * [taylor]: Taking taylor expansion of -1 in y 1.448 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt (/ 1 (sqrt 10.0)))) in y 1.448 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.448 * [taylor]: Taking taylor expansion of y in y 1.449 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.449 * [taylor]: Taking taylor expansion of x in y 1.449 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in y 1.449 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 1.449 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.449 * [taylor]: Taking taylor expansion of 10.0 in y 1.452 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (sqrt (/ 1 (sqrt 10.0))))) in x 1.452 * [taylor]: Taking taylor expansion of -1 in x 1.452 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt (/ 1 (sqrt 10.0)))) in x 1.452 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.452 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.452 * [taylor]: Taking taylor expansion of y in x 1.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.452 * [taylor]: Taking taylor expansion of x in x 1.453 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in x 1.453 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in x 1.453 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 1.453 * [taylor]: Taking taylor expansion of 10.0 in x 1.456 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (sqrt (/ 1 (sqrt 10.0))))) in x 1.456 * [taylor]: Taking taylor expansion of -1 in x 1.456 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt (/ 1 (sqrt 10.0)))) in x 1.456 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.456 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.456 * [taylor]: Taking taylor expansion of y in x 1.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.456 * [taylor]: Taking taylor expansion of x in x 1.456 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in x 1.456 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in x 1.456 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 1.456 * [taylor]: Taking taylor expansion of 10.0 in x 1.465 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ 1 (sqrt 10.0)))) in y 1.465 * [taylor]: Taking taylor expansion of -1 in y 1.465 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in y 1.465 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 1.465 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.465 * [taylor]: Taking taylor expansion of 10.0 in y 1.477 * [taylor]: Taking taylor expansion of (- (* (/ 1 y) (sqrt (/ 1 (sqrt 10.0))))) in y 1.477 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (/ 1 (sqrt 10.0)))) in y 1.477 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.477 * [taylor]: Taking taylor expansion of y in y 1.477 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sqrt 10.0))) in y 1.477 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 1.477 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 1.477 * [taylor]: Taking taylor expansion of 10.0 in y 1.504 * [taylor]: Taking taylor expansion of 0 in y 1.518 * [taylor]: Taking taylor expansion of 0 in y 1.533 * [taylor]: Taking taylor expansion of 0 in y 1.536 * * * [progress]: simplifying candidates 1.542 * [simplify]: Simplifying using # : (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (+ (- (- (log (sqrt 10.0))) (log (sqrt (sqrt 10.0)))) (- (log (+ x y)) (log (sqrt (sqrt 10.0))))) (+ (- (- (log (sqrt 10.0))) (log (sqrt (sqrt 10.0)))) (log (/ (+ x y) (sqrt (sqrt 10.0))))) (+ (- (- 0 (log (sqrt 10.0))) (log (sqrt (sqrt 10.0)))) (- (log (+ x y)) (log (sqrt (sqrt 10.0))))) (+ (- (- 0 (log (sqrt 10.0))) (log (sqrt (sqrt 10.0)))) (log (/ (+ x y) (sqrt (sqrt 10.0))))) (+ (- (- (log 1) (log (sqrt 10.0))) (log (sqrt (sqrt 10.0)))) (- (log (+ x y)) (log (sqrt (sqrt 10.0))))) (+ (- (- (log 1) (log (sqrt 10.0))) (log (sqrt (sqrt 10.0)))) (log (/ (+ x y) (sqrt (sqrt 10.0))))) (+ (- (log (/ 1 (sqrt 10.0))) (log (sqrt (sqrt 10.0)))) (- (log (+ x y)) (log (sqrt (sqrt 10.0))))) (+ (- (log (/ 1 (sqrt 10.0))) (log (sqrt (sqrt 10.0)))) (log (/ (+ x y) (sqrt (sqrt 10.0))))) (+ (log (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (- (log (+ x y)) (log (sqrt (sqrt 10.0))))) (+ (log (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (log (/ (+ x y) (sqrt (sqrt 10.0))))) (log (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (exp (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ (* (* 1 1) 1) (* (* (sqrt 10.0) (sqrt 10.0)) (sqrt 10.0))) (* (* (sqrt (sqrt 10.0)) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0)))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt (sqrt 10.0)) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))))) (* (/ (/ (* (* 1 1) 1) (* (* (sqrt 10.0) (sqrt 10.0)) (sqrt 10.0))) (* (* (sqrt (sqrt 10.0)) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0)))) (* (* (/ (+ x y) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (* (* (/ 1 (sqrt 10.0)) (/ 1 (sqrt 10.0))) (/ 1 (sqrt 10.0))) (* (* (sqrt (sqrt 10.0)) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0)))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt (sqrt 10.0)) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))))) (* (/ (* (* (/ 1 (sqrt 10.0)) (/ 1 (sqrt 10.0))) (/ 1 (sqrt 10.0))) (* (* (sqrt (sqrt 10.0)) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0)))) (* (* (/ (+ x y) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0))))) (* (* (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt (sqrt 10.0)) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))))) (* (* (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (* (* (/ (+ x y) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0))))) (* (cbrt (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (cbrt (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))))) (cbrt (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (* (* (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (sqrt (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (sqrt (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ 1 (sqrt 10.0)) (+ x y)) (* (sqrt (sqrt 10.0)) (sqrt (sqrt 10.0))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (* (cbrt (/ (+ x y) (sqrt (sqrt 10.0)))) (cbrt (/ (+ x y) (sqrt (sqrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt 1)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1)) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt 1)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt 1))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) 1)) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt 1)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt 1))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 1)) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt 1)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt 1))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ 1 1)) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) 1) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (+ x y)) (* (cbrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (cbrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (cbrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (cbrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (cbrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (sqrt 1) (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (cbrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (cbrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (cbrt (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (cbrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (cbrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (cbrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (cbrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (cbrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (cbrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (cbrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (cbrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (cbrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (cbrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (cbrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (cbrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (cbrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (cbrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (cbrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ 1 (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (+ x y)) (* (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt (sqrt 10.0)))) (- (log (+ x y)) (log (sqrt (sqrt 10.0)))) (log (/ (+ x y) (sqrt (sqrt 10.0)))) (exp (/ (+ x y) (sqrt (sqrt 10.0)))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt (sqrt 10.0)) (sqrt (sqrt 10.0))) (sqrt (sqrt 10.0)))) (* (cbrt (/ (+ x y) (sqrt (sqrt 10.0)))) (cbrt (/ (+ x y) (sqrt (sqrt 10.0))))) (cbrt (/ (+ x y) (sqrt (sqrt 10.0)))) (* (* (/ (+ x y) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0)))) (- (+ x y)) (- (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))))) (/ (cbrt (+ x y)) (cbrt (sqrt (sqrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0))))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (/ (cbrt (+ x y)) (sqrt (sqrt (cbrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (sqrt 10.0)))) (/ (cbrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt 1))) (/ (cbrt (+ x y)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (sqrt 10.0)))) (/ (cbrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (/ (cbrt (+ x y)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (sqrt 10.0)))) (/ (cbrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (cbrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (sqrt (cbrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt 1))) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt 1)) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (/ 1 (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (cbrt (sqrt (sqrt 10.0)))) (/ 1 (sqrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (/ (+ x y) (sqrt (sqrt (cbrt 10.0)))) (/ 1 (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) (/ 1 (sqrt (sqrt 1))) (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) (/ 1 (sqrt 1)) (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) (/ 1 1) (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (cbrt (sqrt (sqrt 10.0)))) (/ 1 (sqrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (/ (+ x y) (sqrt (sqrt (cbrt 10.0)))) (/ 1 (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) (/ 1 (sqrt (sqrt 1))) (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) (/ 1 (sqrt 1)) (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) (/ 1 1) (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt 10.0))) (/ (sqrt (sqrt 10.0)) (+ x y)) (/ (+ x y) (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (sqrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 1))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt 1)) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) 1) (/ (sqrt (sqrt 10.0)) (cbrt (+ x y))) (/ (sqrt (sqrt 10.0)) (sqrt (+ x y))) (/ (sqrt (sqrt 10.0)) (+ x y)) (/ (sqrt (sqrt 10.0)) (+ x y)) (* (sqrt (sqrt 10.0)) (+ (* x x) (- (* y y) (* x y)))) (* (sqrt (sqrt 10.0)) (- x y)) (+ (/ x (pow (sqrt 10.0) 2)) (/ y (pow (sqrt 10.0) 2))) (+ (/ x (pow (sqrt 10.0) 2)) (/ y (pow (sqrt 10.0) 2))) (+ (/ x (pow (sqrt 10.0) 2)) (/ y (pow (sqrt 10.0) 2))) (+ (* y (sqrt (/ 1 (sqrt 10.0)))) (* x (sqrt (/ 1 (sqrt 10.0))))) (+ (* y (sqrt (/ 1 (sqrt 10.0)))) (* x (sqrt (/ 1 (sqrt 10.0))))) (+ (* y (sqrt (/ 1 (sqrt 10.0)))) (* x (sqrt (/ 1 (sqrt 10.0))))) 1.558 * * [simplify]: iteration 0 : 1061 enodes (cost 5545 ) 1.576 * * [simplify]: iteration 1 : 5001 enodes (cost 4866 ) 1.596 * [simplify]: Simplified to: (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (log (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (log (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (log (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (log (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (log (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (log (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (log (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (log (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (log (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (log (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (log (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (exp (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (pow (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) 3) (pow (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) 3) (pow (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) 3) (pow (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) 3) (pow (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) 3) (pow (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) 3) (* (cbrt (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (cbrt (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))))) (cbrt (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (pow (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) 3) (sqrt (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (sqrt (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0))))) (/ (+ x y) (sqrt 10.0)) (sqrt 10.0) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (* (/ (/ 1 (sqrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0))))) (/ (* (* (cbrt (/ (+ x y) (sqrt (sqrt 10.0)))) (cbrt (/ (+ x y) (sqrt (sqrt 10.0))))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (sqrt (/ (+ x y) (sqrt (sqrt 10.0)))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ (cbrt (+ x y)) (/ (fabs (cbrt (sqrt 10.0))) (cbrt (+ x y)))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0))))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (sqrt 10.0)))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (sqrt 10.0)))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (sqrt 10.0)))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ (sqrt (+ x y)) (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (/ 1 (pow (sqrt (sqrt 10.0)) 3)) (/ (fabs (cbrt (sqrt 10.0))) (sqrt (+ x y)))) (/ (* (/ (sqrt (+ x y)) (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0))))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (sqrt (+ x y)) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (sqrt (+ x y)) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (sqrt (+ x y)) 1) (pow (sqrt (sqrt 10.0)) 3)) (/ 1 (* (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (pow (sqrt (sqrt 10.0)) 3))) (/ 1 (* (fabs (cbrt (sqrt 10.0))) (pow (sqrt (sqrt 10.0)) 3))) (/ 1 (* (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))) (pow (sqrt (sqrt 10.0)) 3))) (/ 1 (* (sqrt (sqrt (sqrt 10.0))) (pow (sqrt (sqrt 10.0)) 3))) (/ 1 (pow (sqrt (sqrt 10.0)) 3)) (/ 1 (* (sqrt (sqrt (sqrt 10.0))) (pow (sqrt (sqrt 10.0)) 3))) (/ 1 (pow (sqrt (sqrt 10.0)) 3)) (/ 1 (* (sqrt (sqrt (sqrt 10.0))) (pow (sqrt (sqrt 10.0)) 3))) (/ 1 (pow (sqrt (sqrt 10.0)) 3)) (/ 1 (* (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (pow (sqrt (sqrt 10.0)) 3))) (/ 1 (* (fabs (cbrt (sqrt 10.0))) (pow (sqrt (sqrt 10.0)) 3))) (/ 1 (* (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))) (pow (sqrt (sqrt 10.0)) 3))) (/ 1 (* (sqrt (sqrt (sqrt 10.0))) (pow (sqrt (sqrt 10.0)) 3))) (/ 1 (pow (sqrt (sqrt 10.0)) 3)) (/ 1 (* (sqrt (sqrt (sqrt 10.0))) (pow (sqrt (sqrt 10.0)) 3))) (/ 1 (pow (sqrt (sqrt 10.0)) 3)) (/ 1 (* (sqrt (sqrt (sqrt 10.0))) (pow (sqrt (sqrt 10.0)) 3))) (/ 1 (pow (sqrt (sqrt 10.0)) 3)) (/ 1 (pow (sqrt (sqrt 10.0)) 3)) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (* (cbrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (sqrt (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (cbrt (/ 1 (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (sqrt (/ 1 (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (cbrt (sqrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt (cbrt 10.0))) (sqrt (sqrt 10.0))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0)))) (+ x y)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (cbrt (sqrt 10.0)))) (+ x y)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (cbrt 10.0)))) (+ x y)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (+ x y)) (/ (* (cbrt 1) (+ x y)) (pow (sqrt (sqrt 10.0)) 3)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (+ x y)) (/ (* (cbrt 1) (+ x y)) (pow (sqrt (sqrt 10.0)) 3)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (+ x y)) (/ (* (cbrt 1) (+ x y)) (pow (sqrt (sqrt 10.0)) 3)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (/ (/ (* (cbrt 1) (+ x y)) (sqrt 10.0)) (sqrt 10.0)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (/ (/ (* (cbrt 1) (+ x y)) (sqrt 10.0)) (sqrt 10.0)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (/ (/ (* (cbrt 1) (+ x y)) (sqrt 10.0)) (sqrt 10.0)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0)))) (+ x y)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (cbrt (sqrt 10.0)))) (+ x y)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (cbrt 10.0)))) (+ x y)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (+ x y)) (/ (* (cbrt 1) (+ x y)) (pow (sqrt (sqrt 10.0)) 3)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (+ x y)) (/ (* (cbrt 1) (+ x y)) (pow (sqrt (sqrt 10.0)) 3)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (+ x y)) (/ (* (cbrt 1) (+ x y)) (pow (sqrt (sqrt 10.0)) 3)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (cbrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (/ (/ (* (cbrt 1) (+ x y)) (sqrt 10.0)) (sqrt 10.0)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (/ (/ (* (cbrt 1) (+ x y)) (sqrt 10.0)) (sqrt 10.0)) (* (/ (/ (cbrt 1) (sqrt 10.0)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt 10.0)))) (/ (/ (* (cbrt 1) (+ x y)) (sqrt 10.0)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (cbrt (sqrt 10.0))) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (cbrt 10.0))) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (cbrt (sqrt (sqrt 10.0))) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (cbrt (sqrt 10.0))) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (cbrt 10.0))) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt 10.0)) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt 10.0)) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt 10.0)) (sqrt (cbrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (cbrt (sqrt (sqrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (cbrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (cbrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (cbrt (sqrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (cbrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (cbrt (sqrt (sqrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (cbrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (cbrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (cbrt (sqrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (cbrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (cbrt (sqrt 10.0))) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (cbrt 10.0))) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (cbrt (sqrt (sqrt 10.0))) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (cbrt (sqrt 10.0))) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (cbrt 10.0))) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt 10.0)) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt 10.0)) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt (cbrt 10.0)))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt 10.0)) (sqrt (cbrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (cbrt (sqrt (sqrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (cbrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (cbrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (cbrt (sqrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (cbrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (cbrt (sqrt (sqrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (cbrt 10.0)))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (cbrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (cbrt (sqrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (cbrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (cbrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (cbrt (sqrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (cbrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (cbrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (cbrt (sqrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (cbrt 10.0))) (sqrt 10.0))) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (/ (+ x y) (sqrt (sqrt 10.0))) (* (sqrt (sqrt (sqrt 10.0))) (sqrt 10.0))) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (* (/ 1 (sqrt 10.0)) (+ x y)) (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (/ (+ x y) (pow (sqrt (sqrt 10.0)) 3)) (log (/ (+ x y) (sqrt (sqrt 10.0)))) (log (/ (+ x y) (sqrt (sqrt 10.0)))) (exp (/ (+ x y) (sqrt (sqrt 10.0)))) (pow (/ (+ x y) (sqrt (sqrt 10.0))) 3) (* (cbrt (/ (+ x y) (sqrt (sqrt 10.0)))) (cbrt (/ (+ x y) (sqrt (sqrt 10.0))))) (cbrt (/ (+ x y) (sqrt (sqrt 10.0)))) (pow (/ (+ x y) (sqrt (sqrt 10.0))) 3) (sqrt (/ (+ x y) (sqrt (sqrt 10.0)))) (sqrt (/ (+ x y) (sqrt (sqrt 10.0)))) (- (+ x y)) (- (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))))) (/ (cbrt (+ x y)) (cbrt (sqrt (sqrt 10.0)))) (/ (cbrt (+ x y)) (/ (fabs (cbrt (sqrt 10.0))) (cbrt (+ x y)))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (/ (cbrt (+ x y)) (sqrt (sqrt (cbrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (sqrt 10.0)))) (/ (cbrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (sqrt 10.0)))) (/ (cbrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (sqrt (sqrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (sqrt 10.0)))) (/ (cbrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (cbrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (* (fabs (cbrt (sqrt 10.0))) 1)) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (sqrt (cbrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (sqrt 10.0)))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (sqrt (sqrt 10.0))) (/ 1 (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (cbrt (sqrt (sqrt 10.0)))) (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (/ (+ x y) (sqrt (sqrt (cbrt 10.0)))) (/ 1 (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) 1 (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) 1 (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) 1 (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (cbrt (sqrt (sqrt 10.0)))) (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (/ (+ x y) (sqrt (sqrt (cbrt 10.0)))) (/ 1 (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) 1 (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) 1 (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt (sqrt 10.0)))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) 1 (/ (+ x y) (sqrt (sqrt 10.0))) (/ 1 (sqrt (sqrt 10.0))) (/ (sqrt (sqrt 10.0)) (+ x y)) (/ (+ x y) (* (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (* (fabs (cbrt (sqrt 10.0))) 1)) (/ (+ x y) (sqrt (sqrt (* (cbrt 10.0) (cbrt 10.0))))) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) (+ x y) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) (+ x y) (/ (+ x y) (sqrt (sqrt (sqrt 10.0)))) (+ x y) (/ (sqrt (sqrt 10.0)) (cbrt (+ x y))) (/ (sqrt (sqrt 10.0)) (sqrt (+ x y))) (/ (sqrt (sqrt 10.0)) (+ x y)) (/ (sqrt (sqrt 10.0)) (+ x y)) (* (+ (* y (- y x)) (* x x)) (sqrt (sqrt 10.0))) (* (sqrt (sqrt 10.0)) (- x y)) (+ (/ x (pow (sqrt 10.0) 2)) (/ y (pow (sqrt 10.0) 2))) (+ (/ x (pow (sqrt 10.0) 2)) (/ y (pow (sqrt 10.0) 2))) (+ (/ x (pow (sqrt 10.0) 2)) (/ y (pow (sqrt 10.0) 2))) (* (sqrt (/ 1 (sqrt 10.0))) (+ y x)) (* (sqrt (/ 1 (sqrt 10.0))) (+ y x)) (* (sqrt (/ 1 (sqrt 10.0))) (+ y x)) 1.599 * * * [progress]: adding candidates to table 2.251 * * [progress]: iteration 4 / 4 2.251 * * * [progress]: picking best candidate 2.256 * * * * [pick]: Picked # 2.256 * * * [progress]: localizing error 2.271 * * * [progress]: generating rewritten candidates 2.272 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 2.272 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1) 2.273 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 2.278 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 2.296 * * * [progress]: generating series expansions 2.296 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 2.296 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1) 2.296 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 2.296 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 2.298 * [approximate]: Taking taylor expansion of (* (+ x y) (pow (/ 1 (sqrt 10.0)) 1/6)) in (x y) around 0 2.298 * [taylor]: Taking taylor expansion of (* (+ x y) (pow (/ 1 (sqrt 10.0)) 1/6)) in y 2.298 * [taylor]: Taking taylor expansion of (+ x y) in y 2.298 * [taylor]: Taking taylor expansion of x in y 2.298 * [taylor]: Taking taylor expansion of y in y 2.298 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in y 2.298 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in y 2.298 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in y 2.298 * [taylor]: Taking taylor expansion of 1/6 in y 2.298 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in y 2.298 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 2.298 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 2.298 * [taylor]: Taking taylor expansion of 10.0 in y 2.303 * [taylor]: Taking taylor expansion of (* (+ x y) (pow (/ 1 (sqrt 10.0)) 1/6)) in x 2.303 * [taylor]: Taking taylor expansion of (+ x y) in x 2.303 * [taylor]: Taking taylor expansion of x in x 2.304 * [taylor]: Taking taylor expansion of y in x 2.304 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in x 2.304 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in x 2.304 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in x 2.304 * [taylor]: Taking taylor expansion of 1/6 in x 2.304 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in x 2.304 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in x 2.304 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 2.304 * [taylor]: Taking taylor expansion of 10.0 in x 2.309 * [taylor]: Taking taylor expansion of (* (+ x y) (pow (/ 1 (sqrt 10.0)) 1/6)) in x 2.309 * [taylor]: Taking taylor expansion of (+ x y) in x 2.309 * [taylor]: Taking taylor expansion of x in x 2.309 * [taylor]: Taking taylor expansion of y in x 2.309 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in x 2.309 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in x 2.309 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in x 2.309 * [taylor]: Taking taylor expansion of 1/6 in x 2.309 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in x 2.309 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in x 2.309 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 2.309 * [taylor]: Taking taylor expansion of 10.0 in x 2.316 * [taylor]: Taking taylor expansion of (* y (pow (/ 1 (sqrt 10.0)) 1/6)) in y 2.316 * [taylor]: Taking taylor expansion of y in y 2.316 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in y 2.316 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in y 2.316 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in y 2.316 * [taylor]: Taking taylor expansion of 1/6 in y 2.316 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in y 2.316 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 2.316 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 2.316 * [taylor]: Taking taylor expansion of 10.0 in y 2.332 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in y 2.332 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in y 2.332 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in y 2.332 * [taylor]: Taking taylor expansion of 1/6 in y 2.332 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in y 2.332 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 2.332 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 2.332 * [taylor]: Taking taylor expansion of 10.0 in y 2.352 * [taylor]: Taking taylor expansion of 0 in y 2.369 * [taylor]: Taking taylor expansion of 0 in y 2.377 * [approximate]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (pow (/ 1 (sqrt 10.0)) 1/6)) in (x y) around 0 2.377 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (pow (/ 1 (sqrt 10.0)) 1/6)) in y 2.377 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.377 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.377 * [taylor]: Taking taylor expansion of y in y 2.377 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.377 * [taylor]: Taking taylor expansion of x in y 2.377 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in y 2.377 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in y 2.377 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in y 2.377 * [taylor]: Taking taylor expansion of 1/6 in y 2.377 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in y 2.377 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 2.377 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 2.377 * [taylor]: Taking taylor expansion of 10.0 in y 2.383 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (pow (/ 1 (sqrt 10.0)) 1/6)) in x 2.383 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.383 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.383 * [taylor]: Taking taylor expansion of y in x 2.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.383 * [taylor]: Taking taylor expansion of x in x 2.383 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in x 2.383 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in x 2.383 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in x 2.383 * [taylor]: Taking taylor expansion of 1/6 in x 2.383 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in x 2.383 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in x 2.383 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 2.383 * [taylor]: Taking taylor expansion of 10.0 in x 2.389 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (pow (/ 1 (sqrt 10.0)) 1/6)) in x 2.389 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.389 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.389 * [taylor]: Taking taylor expansion of y in x 2.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.389 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in x 2.389 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in x 2.389 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in x 2.389 * [taylor]: Taking taylor expansion of 1/6 in x 2.389 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in x 2.389 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in x 2.389 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 2.389 * [taylor]: Taking taylor expansion of 10.0 in x 2.396 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in y 2.396 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in y 2.396 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in y 2.396 * [taylor]: Taking taylor expansion of 1/6 in y 2.396 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in y 2.396 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 2.396 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 2.396 * [taylor]: Taking taylor expansion of 10.0 in y 2.412 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (/ 1 (sqrt 10.0)) 1/6)) in y 2.412 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.412 * [taylor]: Taking taylor expansion of y in y 2.412 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in y 2.412 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in y 2.412 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in y 2.412 * [taylor]: Taking taylor expansion of 1/6 in y 2.412 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in y 2.412 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 2.412 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 2.412 * [taylor]: Taking taylor expansion of 10.0 in y 2.428 * [taylor]: Taking taylor expansion of 0 in y 2.444 * [taylor]: Taking taylor expansion of 0 in y 2.467 * [taylor]: Taking taylor expansion of 0 in y 2.470 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (pow (/ 1 (sqrt 10.0)) 1/6))) in (x y) around 0 2.470 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (pow (/ 1 (sqrt 10.0)) 1/6))) in y 2.470 * [taylor]: Taking taylor expansion of -1 in y 2.470 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (pow (/ 1 (sqrt 10.0)) 1/6)) in y 2.470 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.470 * [taylor]: Taking taylor expansion of y in y 2.470 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.470 * [taylor]: Taking taylor expansion of x in y 2.471 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in y 2.471 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in y 2.471 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in y 2.471 * [taylor]: Taking taylor expansion of 1/6 in y 2.471 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in y 2.471 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 2.471 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 2.471 * [taylor]: Taking taylor expansion of 10.0 in y 2.476 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (pow (/ 1 (sqrt 10.0)) 1/6))) in x 2.476 * [taylor]: Taking taylor expansion of -1 in x 2.476 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (pow (/ 1 (sqrt 10.0)) 1/6)) in x 2.476 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.476 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.476 * [taylor]: Taking taylor expansion of y in x 2.476 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.476 * [taylor]: Taking taylor expansion of x in x 2.476 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in x 2.476 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in x 2.476 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in x 2.476 * [taylor]: Taking taylor expansion of 1/6 in x 2.476 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in x 2.476 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in x 2.476 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 2.477 * [taylor]: Taking taylor expansion of 10.0 in x 2.482 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (pow (/ 1 (sqrt 10.0)) 1/6))) in x 2.482 * [taylor]: Taking taylor expansion of -1 in x 2.482 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (pow (/ 1 (sqrt 10.0)) 1/6)) in x 2.482 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.482 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.482 * [taylor]: Taking taylor expansion of y in x 2.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.482 * [taylor]: Taking taylor expansion of x in x 2.482 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in x 2.482 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in x 2.482 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in x 2.482 * [taylor]: Taking taylor expansion of 1/6 in x 2.482 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in x 2.482 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in x 2.482 * [taylor]: Taking taylor expansion of (sqrt 10.0) in x 2.482 * [taylor]: Taking taylor expansion of 10.0 in x 2.497 * [taylor]: Taking taylor expansion of (* -1 (pow (/ 1 (sqrt 10.0)) 1/6)) in y 2.497 * [taylor]: Taking taylor expansion of -1 in y 2.497 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in y 2.497 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in y 2.497 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in y 2.497 * [taylor]: Taking taylor expansion of 1/6 in y 2.497 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in y 2.497 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 2.497 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 2.497 * [taylor]: Taking taylor expansion of 10.0 in y 2.509 * [taylor]: Taking taylor expansion of (- (* (/ 1 y) (pow (/ 1 (sqrt 10.0)) 1/6))) in y 2.509 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (/ 1 (sqrt 10.0)) 1/6)) in y 2.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.509 * [taylor]: Taking taylor expansion of y in y 2.509 * [taylor]: Taking taylor expansion of (pow (/ 1 (sqrt 10.0)) 1/6) in y 2.509 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (sqrt 10.0))))) in y 2.509 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (sqrt 10.0)))) in y 2.509 * [taylor]: Taking taylor expansion of 1/6 in y 2.509 * [taylor]: Taking taylor expansion of (log (/ 1 (sqrt 10.0))) in y 2.509 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 10.0)) in y 2.509 * [taylor]: Taking taylor expansion of (sqrt 10.0) in y 2.509 * [taylor]: Taking taylor expansion of 10.0 in y 2.530 * [taylor]: Taking taylor expansion of 0 in y 2.548 * [taylor]: Taking taylor expansion of 0 in y 2.580 * [taylor]: Taking taylor expansion of 0 in y 2.583 * * * [progress]: simplifying candidates 2.586 * [simplify]: Simplifying using # : (log (cbrt (sqrt 10.0))) (exp (cbrt (sqrt 10.0))) (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (cbrt (cbrt (sqrt 10.0))) (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))) (cbrt (sqrt (cbrt 10.0))) (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt 1)) (cbrt (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))) (cbrt 1) (cbrt (sqrt 10.0)) (* (cbrt (cbrt (sqrt 10.0))) (cbrt (cbrt (sqrt 10.0)))) (cbrt (cbrt (sqrt 10.0))) (* (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0))) (cbrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0))) (log (cbrt (sqrt 10.0))) (exp (cbrt (sqrt 10.0))) (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (cbrt (cbrt (sqrt 10.0))) (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))) (cbrt (sqrt (cbrt 10.0))) (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt 1)) (cbrt (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))) (cbrt 1) (cbrt (sqrt 10.0)) (* (cbrt (cbrt (sqrt 10.0))) (cbrt (cbrt (sqrt 10.0)))) (cbrt (cbrt (sqrt 10.0))) (* (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0))) (cbrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0))) (- 1) (- (- (log (fabs (cbrt (sqrt 10.0)))) 0)) (- (- (log (fabs (cbrt (sqrt 10.0)))) (log 1))) (- (log (/ (fabs (cbrt (sqrt 10.0))) 1))) (- 0 (- (log (fabs (cbrt (sqrt 10.0)))) 0)) (- 0 (- (log (fabs (cbrt (sqrt 10.0)))) (log 1))) (- 0 (log (/ (fabs (cbrt (sqrt 10.0))) 1))) (- (log 1) (- (log (fabs (cbrt (sqrt 10.0)))) 0)) (- (log 1) (- (log (fabs (cbrt (sqrt 10.0)))) (log 1))) (- (log 1) (log (/ (fabs (cbrt (sqrt 10.0))) 1))) (log (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1))) (exp (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1))) (/ (* (* 1 1) 1) (/ (* (* (fabs (cbrt (sqrt 10.0))) (fabs (cbrt (sqrt 10.0)))) (fabs (cbrt (sqrt 10.0)))) (* (* 1 1) 1))) (/ (* (* 1 1) 1) (* (* (/ (fabs (cbrt (sqrt 10.0))) 1) (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ (fabs (cbrt (sqrt 10.0))) 1))) (* (cbrt (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1))) (cbrt (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1)))) (cbrt (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1))) (* (* (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1))) (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1))) (sqrt (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1))) (sqrt (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1))) (- 1) (- (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (fabs (cbrt (sqrt 10.0))) 1)) (cbrt (/ (fabs (cbrt (sqrt 10.0))) 1)))) (/ (cbrt 1) (cbrt (/ (fabs (cbrt (sqrt 10.0))) 1))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (fabs (cbrt (sqrt 10.0))) 1))) (/ (cbrt 1) (sqrt (/ (fabs (cbrt (sqrt 10.0))) 1))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0))))) (* (cbrt 1) (cbrt 1)))) (/ (cbrt 1) (/ (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt 1))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0))))) (sqrt 1))) (/ (cbrt 1) (/ (cbrt (fabs (cbrt (sqrt 10.0)))) (sqrt 1))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0))))) 1)) (/ (cbrt 1) (/ (cbrt (fabs (cbrt (sqrt 10.0)))) 1)) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (* (cbrt 1) (cbrt 1)))) (/ (cbrt 1) (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (cbrt 1))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (sqrt 1))) (/ (cbrt 1) (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (sqrt 1))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (fabs (cbrt (sqrt 10.0)))) 1)) (/ (cbrt 1) (/ (sqrt (fabs (cbrt (sqrt 10.0)))) 1)) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (cbrt 1) (/ (fabs (cbrt (sqrt 10.0))) (cbrt 1))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt 1))) (/ (cbrt 1) (/ (fabs (cbrt (sqrt 10.0))) (sqrt 1))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ (* (cbrt 1) (cbrt 1)) (fabs (cbrt (sqrt 10.0)))) (/ (cbrt 1) (/ 1 1)) (/ (sqrt 1) (* (cbrt (/ (fabs (cbrt (sqrt 10.0))) 1)) (cbrt (/ (fabs (cbrt (sqrt 10.0))) 1)))) (/ (sqrt 1) (cbrt (/ (fabs (cbrt (sqrt 10.0))) 1))) (/ (sqrt 1) (sqrt (/ (fabs (cbrt (sqrt 10.0))) 1))) (/ (sqrt 1) (sqrt (/ (fabs (cbrt (sqrt 10.0))) 1))) (/ (sqrt 1) (/ (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0))))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt 1))) (/ (sqrt 1) (/ (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0))))) (sqrt 1))) (/ (sqrt 1) (/ (cbrt (fabs (cbrt (sqrt 10.0)))) (sqrt 1))) (/ (sqrt 1) (/ (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0))))) 1)) (/ (sqrt 1) (/ (cbrt (fabs (cbrt (sqrt 10.0)))) 1)) (/ (sqrt 1) (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (cbrt 1))) (/ (sqrt 1) (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (sqrt 1))) (/ (sqrt 1) (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (sqrt 1))) (/ (sqrt 1) (/ (sqrt (fabs (cbrt (sqrt 10.0)))) 1)) (/ (sqrt 1) (/ (sqrt (fabs (cbrt (sqrt 10.0)))) 1)) (/ (sqrt 1) (/ 1 (* (cbrt 1) (cbrt 1)))) (/ (sqrt 1) (/ (fabs (cbrt (sqrt 10.0))) (cbrt 1))) (/ (sqrt 1) (/ 1 (sqrt 1))) (/ (sqrt 1) (/ (fabs (cbrt (sqrt 10.0))) (sqrt 1))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ (sqrt 1) 1) (/ (sqrt 1) (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ (sqrt 1) (fabs (cbrt (sqrt 10.0)))) (/ (sqrt 1) (/ 1 1)) (/ 1 (* (cbrt (/ (fabs (cbrt (sqrt 10.0))) 1)) (cbrt (/ (fabs (cbrt (sqrt 10.0))) 1)))) (/ 1 (cbrt (/ (fabs (cbrt (sqrt 10.0))) 1))) (/ 1 (sqrt (/ (fabs (cbrt (sqrt 10.0))) 1))) (/ 1 (sqrt (/ (fabs (cbrt (sqrt 10.0))) 1))) (/ 1 (/ (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0))))) (* (cbrt 1) (cbrt 1)))) (/ 1 (/ (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt 1))) (/ 1 (/ (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0))))) (sqrt 1))) (/ 1 (/ (cbrt (fabs (cbrt (sqrt 10.0)))) (sqrt 1))) (/ 1 (/ (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0))))) 1)) (/ 1 (/ (cbrt (fabs (cbrt (sqrt 10.0)))) 1)) (/ 1 (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (* (cbrt 1) (cbrt 1)))) (/ 1 (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (cbrt 1))) (/ 1 (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (sqrt 1))) (/ 1 (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (sqrt 1))) (/ 1 (/ (sqrt (fabs (cbrt (sqrt 10.0)))) 1)) (/ 1 (/ (sqrt (fabs (cbrt (sqrt 10.0)))) 1)) (/ 1 (/ 1 (* (cbrt 1) (cbrt 1)))) (/ 1 (/ (fabs (cbrt (sqrt 10.0))) (cbrt 1))) (/ 1 (/ 1 (sqrt 1))) (/ 1 (/ (fabs (cbrt (sqrt 10.0))) (sqrt 1))) (/ 1 (/ 1 1)) (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ 1 1) (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ 1 (fabs (cbrt (sqrt 10.0)))) (/ 1 (/ 1 1)) (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ (/ (fabs (cbrt (sqrt 10.0))) 1) 1) (/ 1 (* (cbrt (/ (fabs (cbrt (sqrt 10.0))) 1)) (cbrt (/ (fabs (cbrt (sqrt 10.0))) 1)))) (/ 1 (sqrt (/ (fabs (cbrt (sqrt 10.0))) 1))) (/ 1 (/ (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0))))) (* (cbrt 1) (cbrt 1)))) (/ 1 (/ (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0))))) (sqrt 1))) (/ 1 (/ (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0))))) 1)) (/ 1 (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (* (cbrt 1) (cbrt 1)))) (/ 1 (/ (sqrt (fabs (cbrt (sqrt 10.0)))) (sqrt 1))) (/ 1 (/ (sqrt (fabs (cbrt (sqrt 10.0)))) 1)) (/ 1 (/ 1 (* (cbrt 1) (cbrt 1)))) (/ 1 (/ 1 (sqrt 1))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 (fabs (cbrt (sqrt 10.0)))) (/ (/ (fabs (cbrt (sqrt 10.0))) 1) (cbrt 1)) (/ (/ (fabs (cbrt (sqrt 10.0))) 1) (sqrt 1)) (/ (/ (fabs (cbrt (sqrt 10.0))) 1) 1) (/ 1 (fabs (cbrt (sqrt 10.0)))) (- (log (+ x y)) (log (sqrt (cbrt (sqrt 10.0))))) (log (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (exp (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt (cbrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0)))) (sqrt (cbrt (sqrt 10.0))))) (* (cbrt (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (cbrt (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))))) (cbrt (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (* (* (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (sqrt (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (sqrt (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (- (+ x y)) (- (sqrt (cbrt (sqrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt (cbrt (sqrt 10.0)))) (cbrt (sqrt (cbrt (sqrt 10.0)))))) (/ (cbrt (+ x y)) (cbrt (sqrt (cbrt (sqrt 10.0))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (/ (cbrt (+ x y)) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt (cbrt 10.0))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (cbrt (sqrt 1)))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (cbrt 1))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (* (cbrt (cbrt (sqrt 10.0))) (cbrt (cbrt (sqrt 10.0)))))) (/ (cbrt (+ x y)) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (cbrt (+ x y)) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 1)) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (cbrt (+ x y)) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (* (cbrt (sqrt (cbrt (sqrt 10.0)))) (cbrt (sqrt (cbrt (sqrt 10.0)))))) (/ (sqrt (+ x y)) (cbrt (sqrt (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (/ (sqrt (+ x y)) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt (cbrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt 1)))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt 1))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (* (cbrt (cbrt (sqrt 10.0))) (cbrt (cbrt (sqrt 10.0)))))) (/ (sqrt (+ x y)) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt 1)) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (* (cbrt (sqrt (cbrt (sqrt 10.0)))) (cbrt (sqrt (cbrt (sqrt 10.0)))))) (/ (+ x y) (cbrt (sqrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (sqrt (cbrt 10.0))))) (/ 1 (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ 1 (sqrt (cbrt (sqrt 1)))) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ 1 (sqrt (cbrt 1))) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (* (cbrt (cbrt (sqrt 10.0))) (cbrt (cbrt (sqrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt 1)) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ 1 1) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (* (cbrt (sqrt (cbrt (sqrt 10.0)))) (cbrt (sqrt (cbrt (sqrt 10.0)))))) (/ (+ x y) (cbrt (sqrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (sqrt (cbrt 10.0))))) (/ 1 (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ 1 (sqrt (cbrt (sqrt 1)))) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ 1 (sqrt (cbrt 1))) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (* (cbrt (cbrt (sqrt 10.0))) (cbrt (cbrt (sqrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt 1)) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ 1 1) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (cbrt (sqrt 10.0)))) (/ (sqrt (cbrt (sqrt 10.0))) (+ x y)) (/ (+ x y) (* (cbrt (sqrt (cbrt (sqrt 10.0)))) (cbrt (sqrt (cbrt (sqrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (sqrt (cbrt (sqrt 1)))) (/ (+ x y) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (sqrt (cbrt 1))) (/ (+ x y) (sqrt (* (cbrt (cbrt (sqrt 10.0))) (cbrt (cbrt (sqrt 10.0)))))) (/ (+ x y) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt 1)) (/ (+ x y) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (+ x y) 1) (/ (sqrt (cbrt (sqrt 10.0))) (cbrt (+ x y))) (/ (sqrt (cbrt (sqrt 10.0))) (sqrt (+ x y))) (/ (sqrt (cbrt (sqrt 10.0))) (+ x y)) (/ (sqrt (cbrt (sqrt 10.0))) (+ x y)) (* (sqrt (cbrt (sqrt 10.0))) (+ (* x x) (- (* y y) (* x y)))) (* (sqrt (cbrt (sqrt 10.0))) (- x y)) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (* (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (* (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))))) (* (/ (/ 1 (sqrt 10.0)) (sqrt (sqrt 10.0))) (* (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1)) (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))))) (+ (* x (pow (/ 1 (sqrt 10.0)) 1/6)) (* y (pow (/ 1 (sqrt 10.0)) 1/6))) (+ (* x (pow (/ 1 (sqrt 10.0)) 1/6)) (* y (pow (/ 1 (sqrt 10.0)) 1/6))) (+ (* x (pow (/ 1 (sqrt 10.0)) 1/6)) (* y (pow (/ 1 (sqrt 10.0)) 1/6))) 2.594 * * [simplify]: iteration 0 : 511 enodes (cost 1788 ) 2.602 * * [simplify]: iteration 1 : 1923 enodes (cost 1624 ) 2.622 * * [simplify]: iteration 2 : 4851 enodes (cost 1475 ) 2.650 * * [simplify]: iteration 3 : 5001 enodes (cost 1475 ) 2.656 * [simplify]: Simplified to: (log (cbrt (sqrt 10.0))) (exp (cbrt (sqrt 10.0))) (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (cbrt (cbrt (sqrt 10.0))) (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))) (cbrt (sqrt (cbrt 10.0))) (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))) 1 (cbrt (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))) 1 (cbrt (sqrt 10.0)) (* (cbrt (cbrt (sqrt 10.0))) (cbrt (cbrt (sqrt 10.0)))) (cbrt (cbrt (sqrt 10.0))) (sqrt 10.0) (sqrt (cbrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0))) (log (cbrt (sqrt 10.0))) (exp (cbrt (sqrt 10.0))) (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))) (cbrt (cbrt (sqrt 10.0))) (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))) (cbrt (sqrt (cbrt 10.0))) (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))) 1 (cbrt (sqrt 10.0)) (cbrt (sqrt (sqrt 10.0))) (cbrt (sqrt (sqrt 10.0))) 1 (cbrt (sqrt 10.0)) (* (cbrt (cbrt (sqrt 10.0))) (cbrt (cbrt (sqrt 10.0)))) (cbrt (cbrt (sqrt 10.0))) (sqrt 10.0) (sqrt (cbrt (sqrt 10.0))) (sqrt (cbrt (sqrt 10.0))) (- 1) (- 0 (log (fabs (cbrt (sqrt 10.0))))) (- 0 (log (fabs (cbrt (sqrt 10.0))))) (- 0 (log (fabs (cbrt (sqrt 10.0))))) (- 0 (log (fabs (cbrt (sqrt 10.0))))) (- 0 (log (fabs (cbrt (sqrt 10.0))))) (- 0 (log (fabs (cbrt (sqrt 10.0))))) (- 0 (log (fabs (cbrt (sqrt 10.0))))) (- 0 (log (fabs (cbrt (sqrt 10.0))))) (- 0 (log (fabs (cbrt (sqrt 10.0))))) (- 0 (log (fabs (cbrt (sqrt 10.0))))) (exp (/ 1 (fabs (cbrt (sqrt 10.0))))) (/ 1 (pow (fabs (cbrt (sqrt 10.0))) 3)) (/ 1 (pow (fabs (cbrt (sqrt 10.0))) 3)) (* (cbrt (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1))) (cbrt (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1)))) (cbrt (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1))) (/ 1 (pow (fabs (cbrt (sqrt 10.0))) 3)) (sqrt (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1))) (sqrt (/ 1 (/ (fabs (cbrt (sqrt 10.0))) 1))) (- 1) (- (fabs (cbrt (sqrt 10.0)))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (cbrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (cbrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (cbrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (cbrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) (/ 1 (fabs (cbrt (sqrt 10.0)))) 1 (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (cbrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (cbrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (cbrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (cbrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) (/ 1 (fabs (cbrt (sqrt 10.0)))) 1 (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (cbrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (cbrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (cbrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (cbrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) (/ 1 (fabs (cbrt (sqrt 10.0)))) 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) (fabs (cbrt (sqrt 10.0))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (* (cbrt (fabs (cbrt (sqrt 10.0)))) (cbrt (fabs (cbrt (sqrt 10.0)))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) (/ 1 (sqrt (fabs (cbrt (sqrt 10.0))))) 1 1 1 1 (/ 1 (fabs (cbrt (sqrt 10.0)))) (fabs (cbrt (sqrt 10.0))) (fabs (cbrt (sqrt 10.0))) (fabs (cbrt (sqrt 10.0))) (/ 1 (fabs (cbrt (sqrt 10.0)))) (log (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (log (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (exp (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (pow (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) 3) (* (cbrt (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (cbrt (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))))) (cbrt (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (pow (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) 3) (sqrt (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (sqrt (/ (+ x y) (sqrt (cbrt (sqrt 10.0))))) (- (+ x y)) (- (sqrt (cbrt (sqrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (sqrt (cbrt (sqrt 10.0)))) (cbrt (sqrt (cbrt (sqrt 10.0)))))) (/ (cbrt (+ x y)) (cbrt (sqrt (cbrt (sqrt 10.0))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (/ (cbrt (+ x y)) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt (cbrt 10.0))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt (sqrt 10.0))))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt (sqrt 10.0))))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (cbrt (+ x y)) (/ (fabs (cbrt (cbrt (sqrt 10.0)))) (cbrt (+ x y)))) (/ (cbrt (+ x y)) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (cbrt (+ x y)) (sqrt (sqrt (cbrt (sqrt 10.0))))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (cbrt (+ x y)) (sqrt (sqrt (cbrt (sqrt 10.0))))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (* (cbrt (sqrt (cbrt (sqrt 10.0)))) (cbrt (sqrt (cbrt (sqrt 10.0)))))) (/ (sqrt (+ x y)) (cbrt (sqrt (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (/ (sqrt (+ x y)) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt (cbrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt (sqrt 10.0))))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt (sqrt 10.0))))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (fabs (cbrt (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (sqrt (cbrt (sqrt 10.0))))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ (sqrt (+ x y)) (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (sqrt (+ x y)) (sqrt (sqrt (cbrt (sqrt 10.0))))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (* (cbrt (sqrt (cbrt (sqrt 10.0)))) (cbrt (sqrt (cbrt (sqrt 10.0)))))) (/ (+ x y) (cbrt (sqrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (sqrt (cbrt 10.0))))) (/ 1 (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (sqrt (cbrt (sqrt (sqrt 10.0))))) 1 (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (sqrt (cbrt (sqrt (sqrt 10.0))))) 1 (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (/ (fabs (cbrt (cbrt (sqrt 10.0)))) 1)) (/ (+ x y) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt (sqrt (cbrt (sqrt 10.0))))) 1 (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt (sqrt (cbrt (sqrt 10.0))))) 1 (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (* (cbrt (sqrt (cbrt (sqrt 10.0)))) (cbrt (sqrt (cbrt (sqrt 10.0)))))) (/ (+ x y) (cbrt (sqrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (sqrt (cbrt 10.0))))) (/ 1 (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (sqrt (cbrt (sqrt (sqrt 10.0))))) 1 (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (cbrt (sqrt (sqrt 10.0))))) (/ (+ x y) (sqrt (cbrt (sqrt (sqrt 10.0))))) 1 (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (/ (fabs (cbrt (cbrt (sqrt 10.0)))) 1)) (/ (+ x y) (sqrt (cbrt (cbrt (sqrt 10.0))))) (/ 1 (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt (sqrt (cbrt (sqrt 10.0))))) 1 (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (sqrt (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt (sqrt (cbrt (sqrt 10.0))))) 1 (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (/ 1 (sqrt (cbrt (sqrt 10.0)))) (/ (sqrt (cbrt (sqrt 10.0))) (+ x y)) (/ (+ x y) (* (cbrt (sqrt (cbrt (sqrt 10.0)))) (cbrt (sqrt (cbrt (sqrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (* (cbrt (sqrt 10.0)) (cbrt (sqrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (sqrt (* (cbrt 10.0) (cbrt 10.0)))))) (/ (+ x y) (sqrt (cbrt (sqrt (sqrt 10.0))))) (+ x y) (/ (+ x y) (sqrt (cbrt (sqrt (sqrt 10.0))))) (+ x y) (/ (+ x y) (fabs (cbrt (cbrt (sqrt 10.0))))) (/ (+ x y) (sqrt (sqrt (cbrt (sqrt 10.0))))) (+ x y) (/ (+ x y) (sqrt (sqrt (cbrt (sqrt 10.0))))) (+ x y) (/ (sqrt (cbrt (sqrt 10.0))) (cbrt (+ x y))) (/ (sqrt (cbrt (sqrt 10.0))) (sqrt (+ x y))) (/ (sqrt (cbrt (sqrt 10.0))) (+ x y)) (/ (sqrt (cbrt (sqrt 10.0))) (+ x y)) (* (+ (* y (- y x)) (* x x)) (sqrt (cbrt (sqrt 10.0)))) (* (sqrt (cbrt (sqrt 10.0))) (- x y)) (/ (/ (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (fabs (cbrt (sqrt 10.0)))) (* (sqrt (sqrt 10.0)) (sqrt 10.0))) (/ (/ (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (fabs (cbrt (sqrt 10.0)))) (* (sqrt (sqrt 10.0)) (sqrt 10.0))) (/ (/ (/ (+ x y) (sqrt (cbrt (sqrt 10.0)))) (fabs (cbrt (sqrt 10.0)))) (* (sqrt (sqrt 10.0)) (sqrt 10.0))) (* (pow (/ 1 (sqrt 10.0)) 1/6) (+ x y)) (* (pow (/ 1 (sqrt 10.0)) 1/6) (+ x y)) (* (pow (/ 1 (sqrt 10.0)) 1/6) (+ x y)) 2.657 * * * [progress]: adding candidates to table 3.038 * [progress]: [Phase 3 of 3] Extracting. 3.038 * * [regime]: Finding splitpoints for: (# # #) 3.039 * * * [regime-changes]: Trying 4 branch expressions: ((+ x y) (/ (+ x y) 10.0) y x) 3.040 * * * * [regimes]: Trying to branch on (+ x y) from (# # #) 3.056 * * * * [regimes]: Trying to branch on (/ (+ x y) 10.0) from (# # #) 3.071 * * * * [regimes]: Trying to branch on y from (# # #) 3.088 * * * * [regimes]: Trying to branch on x from (# # #) 3.103 * * * [regime]: Found split indices: #