0.451 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.081 * * * [progress]: [2/2] Setting up program. 0.085 * [progress]: [Phase 2 of 3] Improving. 0.090 * [simplify]: Simplifying: (/ (+ x y) 10.0) 0.091 * * [simplify]: Extracting # 0 : cost 0 0.092 * * [simplify]: Extracting # 1 : cost 0 0.092 * * [simplify]: Extracting # 2 : cost 0 0.092 * * [simplify]: Extracting # 3 : cost 0 0.092 * * [simplify]: Extracting # 4 : cost 0 0.092 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.136 * * [simplify]: Extracting # 0 : cost 0 0.136 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.139 * * [simplify]: Extracting # 0 : cost 0 0.139 * * [simplify]: iteration done: 6 enodes (cost 5 ) 0.139 * [simplify]: Simplified to: (/ (+ x y) 10.0) 0.234 * * [progress]: iteration 1 / 4 0.234 * * * [progress]: picking best candidate 0.238 * * * * [pick]: Picked # 0.238 * * * [progress]: localizing error 0.366 * * * [progress]: generating rewritten candidates 0.367 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.405 * * * [progress]: generating series expansions 0.406 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.411 * [backup-simplify]: Simplify (/ (+ x y) 10.0) into (* 0.1 (+ x y)) 0.411 * [approximate]: Taking taylor expansion of (* 0.1 (+ x y)) in (x y) around 0 0.412 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in y 0.412 * [taylor]: Taking taylor expansion of 0.1 in y 0.412 * [backup-simplify]: Simplify 0.1 into 0.1 0.412 * [taylor]: Taking taylor expansion of (+ x y) in y 0.412 * [taylor]: Taking taylor expansion of x in y 0.412 * [backup-simplify]: Simplify x into x 0.412 * [taylor]: Taking taylor expansion of y in y 0.412 * [backup-simplify]: Simplify 0 into 0 0.412 * [backup-simplify]: Simplify 1 into 1 0.412 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 0.412 * [taylor]: Taking taylor expansion of 0.1 in x 0.412 * [backup-simplify]: Simplify 0.1 into 0.1 0.412 * [taylor]: Taking taylor expansion of (+ x y) in x 0.412 * [taylor]: Taking taylor expansion of x in x 0.412 * [backup-simplify]: Simplify 0 into 0 0.412 * [backup-simplify]: Simplify 1 into 1 0.412 * [taylor]: Taking taylor expansion of y in x 0.412 * [backup-simplify]: Simplify y into y 0.412 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 0.412 * [taylor]: Taking taylor expansion of 0.1 in x 0.412 * [backup-simplify]: Simplify 0.1 into 0.1 0.412 * [taylor]: Taking taylor expansion of (+ x y) in x 0.412 * [taylor]: Taking taylor expansion of x in x 0.412 * [backup-simplify]: Simplify 0 into 0 0.412 * [backup-simplify]: Simplify 1 into 1 0.412 * [taylor]: Taking taylor expansion of y in x 0.412 * [backup-simplify]: Simplify y into y 0.413 * [backup-simplify]: Simplify (+ 0 y) into y 0.413 * [backup-simplify]: Simplify (* 0.1 y) into (* 0.1 y) 0.413 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 0.413 * [taylor]: Taking taylor expansion of 0.1 in y 0.413 * [backup-simplify]: Simplify 0.1 into 0.1 0.413 * [taylor]: Taking taylor expansion of y in y 0.413 * [backup-simplify]: Simplify 0 into 0 0.413 * [backup-simplify]: Simplify 1 into 1 0.414 * [backup-simplify]: Simplify (* 0.1 0) into 0 0.414 * [backup-simplify]: Simplify 0 into 0 0.415 * [backup-simplify]: Simplify (+ 1 0) into 1 0.415 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 y)) into 0.1 0.415 * [taylor]: Taking taylor expansion of 0.1 in y 0.415 * [backup-simplify]: Simplify 0.1 into 0.1 0.415 * [backup-simplify]: Simplify 0.1 into 0.1 0.416 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 0)) into 0.1 0.416 * [backup-simplify]: Simplify 0.1 into 0.1 0.417 * [backup-simplify]: Simplify (+ 0 0) into 0 0.417 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 y))) into 0 0.417 * [taylor]: Taking taylor expansion of 0 in y 0.417 * [backup-simplify]: Simplify 0 into 0 0.417 * [backup-simplify]: Simplify 0 into 0 0.417 * [backup-simplify]: Simplify 0 into 0 0.418 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 0))) into 0 0.418 * [backup-simplify]: Simplify 0 into 0 0.419 * [backup-simplify]: Simplify (+ 0 0) into 0 0.454 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y)))) into 0 0.455 * [taylor]: Taking taylor expansion of 0 in y 0.455 * [backup-simplify]: Simplify 0 into 0 0.455 * [backup-simplify]: Simplify 0 into 0 0.455 * [backup-simplify]: Simplify 0 into 0 0.455 * [backup-simplify]: Simplify 0 into 0 0.456 * [backup-simplify]: Simplify (+ (* 0.1 (* y 1)) (* 0.1 (* 1 x))) into (+ (* 0.1 x) (* 0.1 y)) 0.456 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) 10.0) into (* 0.1 (+ (/ 1 y) (/ 1 x))) 0.456 * [approximate]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 0.456 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in y 0.456 * [taylor]: Taking taylor expansion of 0.1 in y 0.456 * [backup-simplify]: Simplify 0.1 into 0.1 0.456 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.456 * [taylor]: Taking taylor expansion of y in y 0.456 * [backup-simplify]: Simplify 0 into 0 0.456 * [backup-simplify]: Simplify 1 into 1 0.457 * [backup-simplify]: Simplify (/ 1 1) into 1 0.457 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.457 * [taylor]: Taking taylor expansion of x in y 0.457 * [backup-simplify]: Simplify x into x 0.457 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.458 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 0.458 * [taylor]: Taking taylor expansion of 0.1 in x 0.458 * [backup-simplify]: Simplify 0.1 into 0.1 0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.458 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.458 * [taylor]: Taking taylor expansion of y in x 0.458 * [backup-simplify]: Simplify y into y 0.458 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.458 * [taylor]: Taking taylor expansion of x in x 0.458 * [backup-simplify]: Simplify 0 into 0 0.458 * [backup-simplify]: Simplify 1 into 1 0.458 * [backup-simplify]: Simplify (/ 1 1) into 1 0.458 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 0.458 * [taylor]: Taking taylor expansion of 0.1 in x 0.458 * [backup-simplify]: Simplify 0.1 into 0.1 0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.458 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.458 * [taylor]: Taking taylor expansion of y in x 0.459 * [backup-simplify]: Simplify y into y 0.459 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.459 * [backup-simplify]: Simplify 0 into 0 0.459 * [backup-simplify]: Simplify 1 into 1 0.459 * [backup-simplify]: Simplify (/ 1 1) into 1 0.460 * [backup-simplify]: Simplify (+ 0 1) into 1 0.460 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 0.460 * [taylor]: Taking taylor expansion of 0.1 in y 0.460 * [backup-simplify]: Simplify 0.1 into 0.1 0.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.461 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.462 * [backup-simplify]: Simplify (+ (* 0.1 (/ 1 y)) (* 0 1)) into (* 0.1 (/ 1 y)) 0.462 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 0.462 * [taylor]: Taking taylor expansion of 0.1 in y 0.462 * [backup-simplify]: Simplify 0.1 into 0.1 0.462 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.462 * [taylor]: Taking taylor expansion of y in y 0.462 * [backup-simplify]: Simplify 0 into 0 0.462 * [backup-simplify]: Simplify 1 into 1 0.463 * [backup-simplify]: Simplify (/ 1 1) into 1 0.464 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 0.464 * [backup-simplify]: Simplify 0.1 into 0.1 0.464 * [backup-simplify]: Simplify 0.1 into 0.1 0.464 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.466 * [backup-simplify]: Simplify (+ 0 0) into 0 0.467 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 0.467 * [taylor]: Taking taylor expansion of 0 in y 0.467 * [backup-simplify]: Simplify 0 into 0 0.468 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.469 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 0.469 * [backup-simplify]: Simplify 0 into 0 0.469 * [backup-simplify]: Simplify 0 into 0 0.470 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.471 * [backup-simplify]: Simplify (+ 0 0) into 0 0.473 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 0.474 * [taylor]: Taking taylor expansion of 0 in y 0.474 * [backup-simplify]: Simplify 0 into 0 0.474 * [backup-simplify]: Simplify 0 into 0 0.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.476 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 0.476 * [backup-simplify]: Simplify 0 into 0 0.476 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.479 * [backup-simplify]: Simplify (+ 0 0) into 0 0.482 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 0.482 * [taylor]: Taking taylor expansion of 0 in y 0.482 * [backup-simplify]: Simplify 0 into 0 0.482 * [backup-simplify]: Simplify 0 into 0 0.482 * [backup-simplify]: Simplify (+ (* 0.1 (* 1 (/ 1 (/ 1 x)))) (* 0.1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.1 x) (* 0.1 y)) 0.483 * [backup-simplify]: Simplify (/ (+ (/ 1 (- x)) (/ 1 (- y))) 10.0) into (* -0.1 (+ (/ 1 y) (/ 1 x))) 0.483 * [approximate]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 0.483 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in y 0.483 * [taylor]: Taking taylor expansion of -0.1 in y 0.483 * [backup-simplify]: Simplify -0.1 into -0.1 0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.483 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.483 * [taylor]: Taking taylor expansion of y in y 0.483 * [backup-simplify]: Simplify 0 into 0 0.483 * [backup-simplify]: Simplify 1 into 1 0.484 * [backup-simplify]: Simplify (/ 1 1) into 1 0.484 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.484 * [taylor]: Taking taylor expansion of x in y 0.484 * [backup-simplify]: Simplify x into x 0.484 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.484 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 0.484 * [taylor]: Taking taylor expansion of -0.1 in x 0.484 * [backup-simplify]: Simplify -0.1 into -0.1 0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.484 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.484 * [taylor]: Taking taylor expansion of y in x 0.484 * [backup-simplify]: Simplify y into y 0.484 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.484 * [taylor]: Taking taylor expansion of x in x 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [backup-simplify]: Simplify 1 into 1 0.485 * [backup-simplify]: Simplify (/ 1 1) into 1 0.485 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 0.485 * [taylor]: Taking taylor expansion of -0.1 in x 0.485 * [backup-simplify]: Simplify -0.1 into -0.1 0.485 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.485 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.485 * [taylor]: Taking taylor expansion of y in x 0.485 * [backup-simplify]: Simplify y into y 0.485 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.485 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.485 * [taylor]: Taking taylor expansion of x in x 0.485 * [backup-simplify]: Simplify 0 into 0 0.485 * [backup-simplify]: Simplify 1 into 1 0.486 * [backup-simplify]: Simplify (/ 1 1) into 1 0.487 * [backup-simplify]: Simplify (+ 0 1) into 1 0.487 * [backup-simplify]: Simplify (* -0.1 1) into -0.1 0.487 * [taylor]: Taking taylor expansion of -0.1 in y 0.487 * [backup-simplify]: Simplify -0.1 into -0.1 0.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.488 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.489 * [backup-simplify]: Simplify (+ (* -0.1 (/ 1 y)) (* 0 1)) into (- (* 0.1 (/ 1 y))) 0.489 * [taylor]: Taking taylor expansion of (- (* 0.1 (/ 1 y))) in y 0.489 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 0.489 * [taylor]: Taking taylor expansion of 0.1 in y 0.489 * [backup-simplify]: Simplify 0.1 into 0.1 0.489 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.489 * [taylor]: Taking taylor expansion of y in y 0.489 * [backup-simplify]: Simplify 0 into 0 0.489 * [backup-simplify]: Simplify 1 into 1 0.489 * [backup-simplify]: Simplify (/ 1 1) into 1 0.490 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 0.490 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 0.491 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 0.491 * [backup-simplify]: Simplify -0.1 into -0.1 0.491 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.492 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.492 * [backup-simplify]: Simplify (+ 0 0) into 0 0.493 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 0.493 * [taylor]: Taking taylor expansion of 0 in y 0.493 * [backup-simplify]: Simplify 0 into 0 0.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.495 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 0.495 * [backup-simplify]: Simplify (- 0) into 0 0.495 * [backup-simplify]: Simplify 0 into 0 0.495 * [backup-simplify]: Simplify 0 into 0 0.495 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.497 * [backup-simplify]: Simplify (+ 0 0) into 0 0.498 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 0.498 * [taylor]: Taking taylor expansion of 0 in y 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify 0 into 0 0.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.500 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 0.501 * [backup-simplify]: Simplify (- 0) into 0 0.501 * [backup-simplify]: Simplify 0 into 0 0.501 * [backup-simplify]: Simplify 0 into 0 0.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.502 * [backup-simplify]: Simplify (+ 0 0) into 0 0.504 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 0.504 * [taylor]: Taking taylor expansion of 0 in y 0.504 * [backup-simplify]: Simplify 0 into 0 0.504 * [backup-simplify]: Simplify 0 into 0 0.505 * [backup-simplify]: Simplify (+ (* -0.1 (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.1) (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 0.1 x) (* 0.1 y)) 0.505 * * * [progress]: simplifying candidates 0.507 * [simplify]: Simplifying: (expm1 (/ (+ x y) 10.0)) (log1p (/ (+ x y) 10.0)) (- (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.508 * * [simplify]: Extracting # 0 : cost 0 0.508 * * [simplify]: Extracting # 1 : cost 0 0.508 * * [simplify]: Extracting # 2 : cost 0 0.509 * * [simplify]: Extracting # 3 : cost 0 0.509 * * [simplify]: Extracting # 4 : cost 0 0.509 * * [simplify]: Extracting # 5 : cost 0 0.509 * * [simplify]: Extracting # 6 : cost 0 0.510 * * [simplify]: iteration 0 : 65 enodes (cost 354 ) 0.552 * * [simplify]: Extracting # 0 : cost 0 0.553 * * [simplify]: Extracting # 1 : cost 0 0.553 * * [simplify]: Extracting # 2 : cost 0 0.553 * * [simplify]: Extracting # 3 : cost 0 0.554 * * [simplify]: Extracting # 4 : cost 0 0.554 * * [simplify]: iteration 1 : 137 enodes (cost 334 ) 0.623 * * [simplify]: Extracting # 0 : cost 0 0.624 * * [simplify]: Extracting # 1 : cost 0 0.625 * * [simplify]: Extracting # 2 : cost 0 0.625 * * [simplify]: Extracting # 3 : cost 0 0.626 * * [simplify]: Extracting # 4 : cost 0 0.627 * * [simplify]: iteration 2 : 340 enodes (cost 314 ) 0.835 * * [simplify]: Extracting # 0 : cost 0 0.837 * * [simplify]: Extracting # 1 : cost 0 0.838 * * [simplify]: Extracting # 2 : cost 0 0.840 * * [simplify]: Extracting # 3 : cost 0 0.841 * * [simplify]: Extracting # 4 : cost 0 0.843 * * [simplify]: iteration 3 : 770 enodes (cost 314 ) 1.463 * * [simplify]: Extracting # 0 : cost 0 1.464 * * [simplify]: Extracting # 1 : cost 0 1.466 * * [simplify]: Extracting # 2 : cost 0 1.467 * * [simplify]: Extracting # 3 : cost 0 1.469 * * [simplify]: iteration 4 : 1848 enodes (cost 314 ) 4.050 * * [simplify]: Extracting # 0 : cost 0 4.060 * * [simplify]: Extracting # 1 : cost 0 4.067 * * [simplify]: Extracting # 2 : cost 0 4.072 * * [simplify]: Extracting # 3 : cost 0 4.078 * * [simplify]: Extracting # 4 : cost 0 4.084 * * [simplify]: iteration 5 : 4109 enodes (cost 314 ) 5.267 * * [simplify]: Extracting # 0 : cost 0 5.274 * * [simplify]: Extracting # 1 : cost 0 5.282 * * [simplify]: Extracting # 2 : cost 0 5.289 * * [simplify]: iteration done: 5000 enodes (cost 314 ) 5.290 * [simplify]: Simplified to: (expm1 (/ (+ x y) 10.0)) (log1p (/ (+ 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) (* (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)) (* 10.0 (fma x x (* y (- y x)))) (* 10.0 (- x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) 5.290 * * * [progress]: adding candidates to table 5.359 * * [progress]: iteration 2 / 4 5.359 * * * [progress]: picking best candidate 5.362 * * * * [pick]: Picked # 5.362 * * * [progress]: localizing error 5.366 * * * [progress]: generating rewritten candidates 5.367 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.389 * * * [progress]: generating series expansions 5.389 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.389 * [backup-simplify]: Simplify (/ 1 (/ 10.0 (+ x y))) into (* 0.1 (+ x y)) 5.389 * [approximate]: Taking taylor expansion of (* 0.1 (+ x y)) in (x y) around 0 5.389 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in y 5.389 * [taylor]: Taking taylor expansion of 0.1 in y 5.389 * [backup-simplify]: Simplify 0.1 into 0.1 5.389 * [taylor]: Taking taylor expansion of (+ x y) in y 5.389 * [taylor]: Taking taylor expansion of x in y 5.389 * [backup-simplify]: Simplify x into x 5.389 * [taylor]: Taking taylor expansion of y in y 5.389 * [backup-simplify]: Simplify 0 into 0 5.389 * [backup-simplify]: Simplify 1 into 1 5.389 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 5.390 * [taylor]: Taking taylor expansion of 0.1 in x 5.390 * [backup-simplify]: Simplify 0.1 into 0.1 5.390 * [taylor]: Taking taylor expansion of (+ x y) in x 5.390 * [taylor]: Taking taylor expansion of x in x 5.390 * [backup-simplify]: Simplify 0 into 0 5.390 * [backup-simplify]: Simplify 1 into 1 5.390 * [taylor]: Taking taylor expansion of y in x 5.390 * [backup-simplify]: Simplify y into y 5.390 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 5.390 * [taylor]: Taking taylor expansion of 0.1 in x 5.390 * [backup-simplify]: Simplify 0.1 into 0.1 5.390 * [taylor]: Taking taylor expansion of (+ x y) in x 5.390 * [taylor]: Taking taylor expansion of x in x 5.390 * [backup-simplify]: Simplify 0 into 0 5.390 * [backup-simplify]: Simplify 1 into 1 5.390 * [taylor]: Taking taylor expansion of y in x 5.390 * [backup-simplify]: Simplify y into y 5.390 * [backup-simplify]: Simplify (+ 0 y) into y 5.390 * [backup-simplify]: Simplify (* 0.1 y) into (* 0.1 y) 5.390 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 5.390 * [taylor]: Taking taylor expansion of 0.1 in y 5.390 * [backup-simplify]: Simplify 0.1 into 0.1 5.390 * [taylor]: Taking taylor expansion of y in y 5.390 * [backup-simplify]: Simplify 0 into 0 5.390 * [backup-simplify]: Simplify 1 into 1 5.391 * [backup-simplify]: Simplify (* 0.1 0) into 0 5.391 * [backup-simplify]: Simplify 0 into 0 5.391 * [backup-simplify]: Simplify (+ 1 0) into 1 5.395 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 y)) into 0.1 5.395 * [taylor]: Taking taylor expansion of 0.1 in y 5.395 * [backup-simplify]: Simplify 0.1 into 0.1 5.395 * [backup-simplify]: Simplify 0.1 into 0.1 5.396 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 0)) into 0.1 5.396 * [backup-simplify]: Simplify 0.1 into 0.1 5.397 * [backup-simplify]: Simplify (+ 0 0) into 0 5.397 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 y))) into 0 5.397 * [taylor]: Taking taylor expansion of 0 in y 5.397 * [backup-simplify]: Simplify 0 into 0 5.397 * [backup-simplify]: Simplify 0 into 0 5.397 * [backup-simplify]: Simplify 0 into 0 5.398 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 0))) into 0 5.398 * [backup-simplify]: Simplify 0 into 0 5.398 * [backup-simplify]: Simplify (+ 0 0) into 0 5.399 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y)))) into 0 5.399 * [taylor]: Taking taylor expansion of 0 in y 5.399 * [backup-simplify]: Simplify 0 into 0 5.399 * [backup-simplify]: Simplify 0 into 0 5.399 * [backup-simplify]: Simplify 0 into 0 5.399 * [backup-simplify]: Simplify 0 into 0 5.399 * [backup-simplify]: Simplify (+ (* 0.1 (* y 1)) (* 0.1 (* 1 x))) into (+ (* 0.1 x) (* 0.1 y)) 5.399 * [backup-simplify]: Simplify (/ 1 (/ 10.0 (+ (/ 1 x) (/ 1 y)))) into (* 0.1 (+ (/ 1 y) (/ 1 x))) 5.399 * [approximate]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 5.399 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in y 5.399 * [taylor]: Taking taylor expansion of 0.1 in y 5.399 * [backup-simplify]: Simplify 0.1 into 0.1 5.399 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 5.399 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.399 * [taylor]: Taking taylor expansion of y in y 5.400 * [backup-simplify]: Simplify 0 into 0 5.400 * [backup-simplify]: Simplify 1 into 1 5.400 * [backup-simplify]: Simplify (/ 1 1) into 1 5.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.400 * [taylor]: Taking taylor expansion of x in y 5.400 * [backup-simplify]: Simplify x into x 5.400 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.400 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 5.400 * [taylor]: Taking taylor expansion of 0.1 in x 5.400 * [backup-simplify]: Simplify 0.1 into 0.1 5.400 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 5.400 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.400 * [taylor]: Taking taylor expansion of y in x 5.400 * [backup-simplify]: Simplify y into y 5.400 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.400 * [taylor]: Taking taylor expansion of x in x 5.400 * [backup-simplify]: Simplify 0 into 0 5.400 * [backup-simplify]: Simplify 1 into 1 5.401 * [backup-simplify]: Simplify (/ 1 1) into 1 5.401 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 5.401 * [taylor]: Taking taylor expansion of 0.1 in x 5.401 * [backup-simplify]: Simplify 0.1 into 0.1 5.401 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 5.401 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.401 * [taylor]: Taking taylor expansion of y in x 5.401 * [backup-simplify]: Simplify y into y 5.401 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.401 * [taylor]: Taking taylor expansion of x in x 5.401 * [backup-simplify]: Simplify 0 into 0 5.401 * [backup-simplify]: Simplify 1 into 1 5.401 * [backup-simplify]: Simplify (/ 1 1) into 1 5.401 * [backup-simplify]: Simplify (+ 0 1) into 1 5.402 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 5.402 * [taylor]: Taking taylor expansion of 0.1 in y 5.402 * [backup-simplify]: Simplify 0.1 into 0.1 5.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.402 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.403 * [backup-simplify]: Simplify (+ (* 0.1 (/ 1 y)) (* 0 1)) into (* 0.1 (/ 1 y)) 5.403 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 5.403 * [taylor]: Taking taylor expansion of 0.1 in y 5.403 * [backup-simplify]: Simplify 0.1 into 0.1 5.403 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.403 * [taylor]: Taking taylor expansion of y in y 5.403 * [backup-simplify]: Simplify 0 into 0 5.403 * [backup-simplify]: Simplify 1 into 1 5.403 * [backup-simplify]: Simplify (/ 1 1) into 1 5.403 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 5.403 * [backup-simplify]: Simplify 0.1 into 0.1 5.403 * [backup-simplify]: Simplify 0.1 into 0.1 5.403 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.404 * [backup-simplify]: Simplify (+ 0 0) into 0 5.405 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 5.405 * [taylor]: Taking taylor expansion of 0 in y 5.405 * [backup-simplify]: Simplify 0 into 0 5.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.406 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 5.406 * [backup-simplify]: Simplify 0 into 0 5.406 * [backup-simplify]: Simplify 0 into 0 5.406 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.407 * [backup-simplify]: Simplify (+ 0 0) into 0 5.408 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 5.408 * [taylor]: Taking taylor expansion of 0 in y 5.408 * [backup-simplify]: Simplify 0 into 0 5.408 * [backup-simplify]: Simplify 0 into 0 5.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.409 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 5.409 * [backup-simplify]: Simplify 0 into 0 5.409 * [backup-simplify]: Simplify 0 into 0 5.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.410 * [backup-simplify]: Simplify (+ 0 0) into 0 5.411 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 5.411 * [taylor]: Taking taylor expansion of 0 in y 5.411 * [backup-simplify]: Simplify 0 into 0 5.411 * [backup-simplify]: Simplify 0 into 0 5.411 * [backup-simplify]: Simplify (+ (* 0.1 (* 1 (/ 1 (/ 1 x)))) (* 0.1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.1 x) (* 0.1 y)) 5.411 * [backup-simplify]: Simplify (/ 1 (/ 10.0 (+ (/ 1 (- x)) (/ 1 (- y))))) into (* -0.1 (+ (/ 1 y) (/ 1 x))) 5.411 * [approximate]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 5.411 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in y 5.411 * [taylor]: Taking taylor expansion of -0.1 in y 5.411 * [backup-simplify]: Simplify -0.1 into -0.1 5.411 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 5.411 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.411 * [taylor]: Taking taylor expansion of y in y 5.411 * [backup-simplify]: Simplify 0 into 0 5.411 * [backup-simplify]: Simplify 1 into 1 5.412 * [backup-simplify]: Simplify (/ 1 1) into 1 5.412 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.412 * [taylor]: Taking taylor expansion of x in y 5.412 * [backup-simplify]: Simplify x into x 5.412 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.412 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 5.412 * [taylor]: Taking taylor expansion of -0.1 in x 5.412 * [backup-simplify]: Simplify -0.1 into -0.1 5.412 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 5.412 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.412 * [taylor]: Taking taylor expansion of y in x 5.412 * [backup-simplify]: Simplify y into y 5.412 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.412 * [taylor]: Taking taylor expansion of x in x 5.412 * [backup-simplify]: Simplify 0 into 0 5.412 * [backup-simplify]: Simplify 1 into 1 5.412 * [backup-simplify]: Simplify (/ 1 1) into 1 5.412 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 5.412 * [taylor]: Taking taylor expansion of -0.1 in x 5.412 * [backup-simplify]: Simplify -0.1 into -0.1 5.412 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 5.412 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.412 * [taylor]: Taking taylor expansion of y in x 5.412 * [backup-simplify]: Simplify y into y 5.412 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.412 * [taylor]: Taking taylor expansion of x in x 5.412 * [backup-simplify]: Simplify 0 into 0 5.412 * [backup-simplify]: Simplify 1 into 1 5.413 * [backup-simplify]: Simplify (/ 1 1) into 1 5.413 * [backup-simplify]: Simplify (+ 0 1) into 1 5.413 * [backup-simplify]: Simplify (* -0.1 1) into -0.1 5.413 * [taylor]: Taking taylor expansion of -0.1 in y 5.413 * [backup-simplify]: Simplify -0.1 into -0.1 5.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.414 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.414 * [backup-simplify]: Simplify (+ (* -0.1 (/ 1 y)) (* 0 1)) into (- (* 0.1 (/ 1 y))) 5.414 * [taylor]: Taking taylor expansion of (- (* 0.1 (/ 1 y))) in y 5.414 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 5.414 * [taylor]: Taking taylor expansion of 0.1 in y 5.414 * [backup-simplify]: Simplify 0.1 into 0.1 5.414 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.414 * [taylor]: Taking taylor expansion of y in y 5.414 * [backup-simplify]: Simplify 0 into 0 5.414 * [backup-simplify]: Simplify 1 into 1 5.414 * [backup-simplify]: Simplify (/ 1 1) into 1 5.415 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 5.415 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 5.415 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 5.415 * [backup-simplify]: Simplify -0.1 into -0.1 5.415 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.416 * [backup-simplify]: Simplify (+ 0 0) into 0 5.417 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 5.417 * [taylor]: Taking taylor expansion of 0 in y 5.417 * [backup-simplify]: Simplify 0 into 0 5.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.418 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 5.418 * [backup-simplify]: Simplify (- 0) into 0 5.418 * [backup-simplify]: Simplify 0 into 0 5.418 * [backup-simplify]: Simplify 0 into 0 5.418 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.419 * [backup-simplify]: Simplify (+ 0 0) into 0 5.419 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 5.419 * [taylor]: Taking taylor expansion of 0 in y 5.420 * [backup-simplify]: Simplify 0 into 0 5.420 * [backup-simplify]: Simplify 0 into 0 5.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.421 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 5.421 * [backup-simplify]: Simplify (- 0) into 0 5.421 * [backup-simplify]: Simplify 0 into 0 5.421 * [backup-simplify]: Simplify 0 into 0 5.421 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.422 * [backup-simplify]: Simplify (+ 0 0) into 0 5.423 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 5.423 * [taylor]: Taking taylor expansion of 0 in y 5.423 * [backup-simplify]: Simplify 0 into 0 5.423 * [backup-simplify]: Simplify 0 into 0 5.423 * [backup-simplify]: Simplify (+ (* -0.1 (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.1) (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 0.1 x) (* 0.1 y)) 5.423 * * * [progress]: simplifying candidates 5.425 * [simplify]: Simplifying: (expm1 (/ 1 (/ 10.0 (+ x y)))) (log1p (/ 1 (/ 10.0 (+ x y)))) (- 1) (- (- (log 10.0) (log (+ x y)))) (- (log (/ 10.0 (+ x y)))) (- 0 (- (log 10.0) (log (+ x y)))) (- 0 (log (/ 10.0 (+ x y)))) (- (log 1) (- (log 10.0) (log (+ x y)))) (- (log 1) (log (/ 10.0 (+ x y)))) (log (/ 1 (/ 10.0 (+ x y)))) (exp (/ 1 (/ 10.0 (+ x y)))) (/ (* (* 1 1) 1) (/ (* (* 10.0 10.0) 10.0) (* (* (+ x y) (+ x y)) (+ x y)))) (/ (* (* 1 1) 1) (* (* (/ 10.0 (+ x y)) (/ 10.0 (+ x y))) (/ 10.0 (+ x y)))) (* (cbrt (/ 1 (/ 10.0 (+ x y)))) (cbrt (/ 1 (/ 10.0 (+ x y))))) (cbrt (/ 1 (/ 10.0 (+ x y)))) (* (* (/ 1 (/ 10.0 (+ x y))) (/ 1 (/ 10.0 (+ x y)))) (/ 1 (/ 10.0 (+ x y)))) (sqrt (/ 1 (/ 10.0 (+ x y)))) (sqrt (/ 1 (/ 10.0 (+ x y)))) (- 1) (- (/ 10.0 (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y))))) (/ (cbrt 1) (cbrt (/ 10.0 (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ 10.0 (+ x y)))) (/ (cbrt 1) (sqrt (/ 10.0 (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (cbrt 1) (/ (cbrt 10.0) (cbrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (+ x y)))) (/ (cbrt 1) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (cbrt 1) (/ (cbrt 10.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (cbrt 1) (/ (cbrt 10.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 10.0) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (cbrt 1) (/ (sqrt 10.0) (cbrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (cbrt 1) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 10.0) 1)) (/ (cbrt 1) (/ (sqrt 10.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 10.0) 1)) (/ (cbrt 1) (/ (sqrt 10.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (cbrt 1) (/ 10.0 (cbrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (+ x y)))) (/ (cbrt 1) (/ 10.0 (sqrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ 10.0 (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ 10.0 (+ x y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ 10.0 (+ x y))) (/ (* (cbrt 1) (cbrt 1)) 10.0) (/ (cbrt 1) (/ 1 (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ 10.0 (+ (pow x 3) (pow y 3)))) (/ (cbrt 1) (+ (* x x) (- (* y y) (* x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 10.0 (- (* x x) (* y y)))) (/ (cbrt 1) (- x y)) (/ (sqrt 1) (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y))))) (/ (sqrt 1) (cbrt (/ 10.0 (+ x y)))) (/ (sqrt 1) (sqrt (/ 10.0 (+ x y)))) (/ (sqrt 1) (sqrt (/ 10.0 (+ x y)))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (sqrt 1) (/ (cbrt 10.0) (cbrt (+ x y)))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (+ x y)))) (/ (sqrt 1) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (sqrt 1) (/ (cbrt 10.0) (+ x y))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (sqrt 1) (/ (cbrt 10.0) (+ x y))) (/ (sqrt 1) (/ (sqrt 10.0) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (sqrt 1) (/ (sqrt 10.0) (cbrt (+ x y)))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (sqrt 10.0) 1)) (/ (sqrt 1) (/ (sqrt 10.0) (+ x y))) (/ (sqrt 1) (/ (sqrt 10.0) 1)) (/ (sqrt 1) (/ (sqrt 10.0) (+ x y))) (/ (sqrt 1) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (sqrt 1) (/ 10.0 (cbrt (+ x y)))) (/ (sqrt 1) (/ 1 (sqrt (+ x y)))) (/ (sqrt 1) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ 10.0 (+ x y))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ 10.0 (+ x y))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ 10.0 (+ x y))) (/ (sqrt 1) 10.0) (/ (sqrt 1) (/ 1 (+ x y))) (/ (sqrt 1) (/ 10.0 (+ (pow x 3) (pow y 3)))) (/ (sqrt 1) (+ (* x x) (- (* y y) (* x y)))) (/ (sqrt 1) (/ 10.0 (- (* x x) (* y y)))) (/ (sqrt 1) (- x y)) (/ 1 (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y))))) (/ 1 (cbrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (cbrt 10.0) (cbrt (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (+ x y)))) (/ 1 (/ (cbrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ 1 (/ (cbrt 10.0) (+ x y))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ 1 (/ (cbrt 10.0) (+ x y))) (/ 1 (/ (sqrt 10.0) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (sqrt 10.0) (cbrt (+ x y)))) (/ 1 (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (sqrt 10.0) 1)) (/ 1 (/ (sqrt 10.0) (+ x y))) (/ 1 (/ (sqrt 10.0) 1)) (/ 1 (/ (sqrt 10.0) (+ x y))) (/ 1 (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ 10.0 (cbrt (+ x y)))) (/ 1 (/ 1 (sqrt (+ x y)))) (/ 1 (/ 10.0 (sqrt (+ x y)))) (/ 1 (/ 1 1)) (/ 1 (/ 10.0 (+ x y))) (/ 1 (/ 1 1)) (/ 1 (/ 10.0 (+ x y))) (/ 1 1) (/ 1 (/ 10.0 (+ x y))) (/ 1 10.0) (/ 1 (/ 1 (+ x y))) (/ 1 (/ 10.0 (+ (pow x 3) (pow y 3)))) (/ 1 (+ (* x x) (- (* y y) (* x y)))) (/ 1 (/ 10.0 (- (* x x) (* y y)))) (/ 1 (- x y)) (/ 1 (/ 10.0 (+ x y))) (/ (/ 10.0 (+ x y)) 1) (/ 1 (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y))))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ 1 (/ (sqrt 10.0) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (sqrt 10.0) 1)) (/ 1 (/ (sqrt 10.0) 1)) (/ 1 (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ 1 (sqrt (+ x y)))) (/ 1 (/ 1 1)) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 10.0) (/ 1 (/ 10.0 (+ (pow x 3) (pow y 3)))) (/ 1 (/ 10.0 (- (* x x) (* y y)))) (/ (/ 10.0 (+ x y)) (cbrt 1)) (/ (/ 10.0 (+ x y)) (sqrt 1)) (/ (/ 10.0 (+ x y)) 1) (/ 1 10.0) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) 5.429 * * [simplify]: Extracting # 0 : cost 0 5.430 * * [simplify]: Extracting # 1 : cost 0 5.430 * * [simplify]: Extracting # 2 : cost 0 5.430 * * [simplify]: Extracting # 3 : cost 0 5.431 * * [simplify]: Extracting # 4 : cost 0 5.431 * * [simplify]: Extracting # 5 : cost 0 5.432 * * [simplify]: Extracting # 6 : cost 0 5.432 * * [simplify]: Extracting # 7 : cost 0 5.433 * * [simplify]: Extracting # 8 : cost 0 5.433 * * [simplify]: iteration 0 : 171 enodes (cost 1484 ) 5.539 * * [simplify]: Extracting # 0 : cost 0 5.539 * * [simplify]: Extracting # 1 : cost 0 5.540 * * [simplify]: Extracting # 2 : cost 0 5.540 * * [simplify]: Extracting # 3 : cost 0 5.540 * * [simplify]: iteration 1 : 373 enodes (cost 1197 ) 5.647 * * [simplify]: Extracting # 0 : cost 0 5.649 * * [simplify]: Extracting # 1 : cost 0 5.650 * * [simplify]: Extracting # 2 : cost 0 5.651 * * [simplify]: Extracting # 3 : cost 0 5.653 * * [simplify]: iteration 2 : 795 enodes (cost 1032 ) 6.648 * * [simplify]: Extracting # 0 : cost 0 6.652 * * [simplify]: Extracting # 1 : cost 0 6.654 * * [simplify]: Extracting # 2 : cost 0 6.660 * * [simplify]: Extracting # 3 : cost 0 6.661 * * [simplify]: Extracting # 4 : cost 0 6.663 * * [simplify]: Extracting # 5 : cost 0 6.664 * * [simplify]: Extracting # 6 : cost 0 6.666 * * [simplify]: iteration 3 : 2025 enodes (cost 1006 ) 8.479 * * [simplify]: Extracting # 0 : cost 0 8.484 * * [simplify]: Extracting # 1 : cost 0 8.489 * * [simplify]: Extracting # 2 : cost 0 8.493 * * [simplify]: Extracting # 3 : cost 0 8.501 * * [simplify]: Extracting # 4 : cost 0 8.509 * * [simplify]: iteration done: 5000 enodes (cost 1006 ) 8.511 * [simplify]: Simplified to: (expm1 (/ (+ x y) 10.0)) (log1p (/ (+ x y) 10.0)) -1 (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) (* (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)) -1 (- (/ 10.0 (+ x y))) (/ 1 (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y))))) (/ 1 (cbrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (cbrt (+ x y)) (cbrt 10.0)) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (/ 1 (cbrt 10.0)) (cbrt 10.0)) (/ (+ x y) (cbrt 10.0)) (/ (/ 1 (cbrt 10.0)) (cbrt 10.0)) (/ (+ x y) (cbrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ (cbrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) 10.0) (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0) 1 (/ (+ x y) 10.0) 1 (/ (+ x y) 10.0) 1 (/ (+ x y) 10.0) (/ 1 10.0) (+ y x) (/ (+ (pow x 3) (pow y 3)) 10.0) (/ 1 (fma x x (* y (- y x)))) (/ (- (* x x) (* y y)) 10.0) (/ 1 (- x y)) (/ 1 (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y))))) (/ 1 (cbrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (cbrt (+ x y)) (cbrt 10.0)) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (/ 1 (cbrt 10.0)) (cbrt 10.0)) (/ (+ x y) (cbrt 10.0)) (/ (/ 1 (cbrt 10.0)) (cbrt 10.0)) (/ (+ x y) (cbrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ (cbrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) 10.0) (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0) 1 (/ (+ x y) 10.0) 1 (/ (+ x y) 10.0) 1 (/ (+ x y) 10.0) (/ 1 10.0) (+ y x) (/ (+ (pow x 3) (pow y 3)) 10.0) (/ 1 (fma x x (* y (- y x)))) (/ (- (* x x) (* y y)) 10.0) (/ 1 (- x y)) (/ 1 (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y))))) (/ 1 (cbrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (cbrt (+ x y)) (cbrt 10.0)) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (/ 1 (cbrt 10.0)) (cbrt 10.0)) (/ (+ x y) (cbrt 10.0)) (/ (/ 1 (cbrt 10.0)) (cbrt 10.0)) (/ (+ x y) (cbrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ (cbrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) 10.0) (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0) 1 (/ (+ x y) 10.0) 1 (/ (+ x y) 10.0) 1 (/ (+ x y) 10.0) (/ 1 10.0) (+ y x) (/ (+ (pow x 3) (pow y 3)) 10.0) (/ 1 (fma x x (* y (- y x)))) (/ (- (* x x) (* y y)) 10.0) (/ 1 (- x y)) (/ (+ x y) 10.0) (/ 10.0 (+ x y)) (/ 1 (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y))))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (/ 1 (cbrt 10.0)) (cbrt 10.0)) (/ (/ 1 (cbrt 10.0)) (cbrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ 1 (sqrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ x y)) 1 1 1 (/ 1 10.0) (/ (+ (pow x 3) (pow y 3)) 10.0) (/ (- (* x x) (* y y)) 10.0) (/ 10.0 (+ x y)) (/ 10.0 (+ x y)) (/ 10.0 (+ x y)) (/ 1 10.0) (* 0.1 (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) 8.512 * * * [progress]: adding candidates to table 8.636 * * [progress]: iteration 3 / 4 8.636 * * * [progress]: picking best candidate 8.638 * * * * [pick]: Picked # 8.638 * * * [progress]: localizing error 8.647 * * * [progress]: generating rewritten candidates 8.647 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 8.690 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 8.708 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 8.716 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 8.755 * * * [progress]: generating series expansions 8.755 * * * * [progress]: [ 1 / 4 ] generating series at (2) 8.755 * [backup-simplify]: Simplify (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) into (* 0.1 (+ x y)) 8.755 * [approximate]: Taking taylor expansion of (* 0.1 (+ x y)) in (x y) around 0 8.755 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in y 8.755 * [taylor]: Taking taylor expansion of 0.1 in y 8.755 * [backup-simplify]: Simplify 0.1 into 0.1 8.755 * [taylor]: Taking taylor expansion of (+ x y) in y 8.755 * [taylor]: Taking taylor expansion of x in y 8.755 * [backup-simplify]: Simplify x into x 8.755 * [taylor]: Taking taylor expansion of y in y 8.755 * [backup-simplify]: Simplify 0 into 0 8.755 * [backup-simplify]: Simplify 1 into 1 8.755 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 8.755 * [taylor]: Taking taylor expansion of 0.1 in x 8.755 * [backup-simplify]: Simplify 0.1 into 0.1 8.755 * [taylor]: Taking taylor expansion of (+ x y) in x 8.755 * [taylor]: Taking taylor expansion of x in x 8.755 * [backup-simplify]: Simplify 0 into 0 8.755 * [backup-simplify]: Simplify 1 into 1 8.755 * [taylor]: Taking taylor expansion of y in x 8.755 * [backup-simplify]: Simplify y into y 8.755 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 8.755 * [taylor]: Taking taylor expansion of 0.1 in x 8.755 * [backup-simplify]: Simplify 0.1 into 0.1 8.755 * [taylor]: Taking taylor expansion of (+ x y) in x 8.755 * [taylor]: Taking taylor expansion of x in x 8.755 * [backup-simplify]: Simplify 0 into 0 8.756 * [backup-simplify]: Simplify 1 into 1 8.756 * [taylor]: Taking taylor expansion of y in x 8.756 * [backup-simplify]: Simplify y into y 8.756 * [backup-simplify]: Simplify (+ 0 y) into y 8.756 * [backup-simplify]: Simplify (* 0.1 y) into (* 0.1 y) 8.756 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 8.756 * [taylor]: Taking taylor expansion of 0.1 in y 8.756 * [backup-simplify]: Simplify 0.1 into 0.1 8.756 * [taylor]: Taking taylor expansion of y in y 8.756 * [backup-simplify]: Simplify 0 into 0 8.756 * [backup-simplify]: Simplify 1 into 1 8.756 * [backup-simplify]: Simplify (* 0.1 0) into 0 8.756 * [backup-simplify]: Simplify 0 into 0 8.757 * [backup-simplify]: Simplify (+ 1 0) into 1 8.757 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 y)) into 0.1 8.757 * [taylor]: Taking taylor expansion of 0.1 in y 8.757 * [backup-simplify]: Simplify 0.1 into 0.1 8.757 * [backup-simplify]: Simplify 0.1 into 0.1 8.758 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 0)) into 0.1 8.758 * [backup-simplify]: Simplify 0.1 into 0.1 8.758 * [backup-simplify]: Simplify (+ 0 0) into 0 8.759 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 y))) into 0 8.759 * [taylor]: Taking taylor expansion of 0 in y 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 0))) into 0 8.759 * [backup-simplify]: Simplify 0 into 0 8.760 * [backup-simplify]: Simplify (+ 0 0) into 0 8.760 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y)))) into 0 8.760 * [taylor]: Taking taylor expansion of 0 in y 8.760 * [backup-simplify]: Simplify 0 into 0 8.760 * [backup-simplify]: Simplify 0 into 0 8.760 * [backup-simplify]: Simplify 0 into 0 8.760 * [backup-simplify]: Simplify 0 into 0 8.760 * [backup-simplify]: Simplify (+ (* 0.1 (* y 1)) (* 0.1 (* 1 x))) into (+ (* 0.1 x) (* 0.1 y)) 8.761 * [backup-simplify]: Simplify (/ (sqrt (+ (/ 1 x) (/ 1 y))) (/ 10.0 (sqrt (+ (/ 1 x) (/ 1 y))))) into (* 0.1 (+ (/ 1 y) (/ 1 x))) 8.761 * [approximate]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 8.761 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in y 8.761 * [taylor]: Taking taylor expansion of 0.1 in y 8.761 * [backup-simplify]: Simplify 0.1 into 0.1 8.761 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.761 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.761 * [taylor]: Taking taylor expansion of y in y 8.761 * [backup-simplify]: Simplify 0 into 0 8.761 * [backup-simplify]: Simplify 1 into 1 8.761 * [backup-simplify]: Simplify (/ 1 1) into 1 8.761 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.761 * [taylor]: Taking taylor expansion of x in y 8.761 * [backup-simplify]: Simplify x into x 8.761 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.761 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 8.761 * [taylor]: Taking taylor expansion of 0.1 in x 8.761 * [backup-simplify]: Simplify 0.1 into 0.1 8.761 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.761 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.761 * [taylor]: Taking taylor expansion of y in x 8.761 * [backup-simplify]: Simplify y into y 8.761 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.761 * [taylor]: Taking taylor expansion of x in x 8.761 * [backup-simplify]: Simplify 0 into 0 8.761 * [backup-simplify]: Simplify 1 into 1 8.762 * [backup-simplify]: Simplify (/ 1 1) into 1 8.762 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 8.762 * [taylor]: Taking taylor expansion of 0.1 in x 8.762 * [backup-simplify]: Simplify 0.1 into 0.1 8.762 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.762 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.762 * [taylor]: Taking taylor expansion of y in x 8.762 * [backup-simplify]: Simplify y into y 8.762 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.762 * [taylor]: Taking taylor expansion of x in x 8.762 * [backup-simplify]: Simplify 0 into 0 8.762 * [backup-simplify]: Simplify 1 into 1 8.762 * [backup-simplify]: Simplify (/ 1 1) into 1 8.762 * [backup-simplify]: Simplify (+ 0 1) into 1 8.763 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 8.763 * [taylor]: Taking taylor expansion of 0.1 in y 8.763 * [backup-simplify]: Simplify 0.1 into 0.1 8.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.763 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 8.763 * [backup-simplify]: Simplify (+ (* 0.1 (/ 1 y)) (* 0 1)) into (* 0.1 (/ 1 y)) 8.763 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 8.763 * [taylor]: Taking taylor expansion of 0.1 in y 8.764 * [backup-simplify]: Simplify 0.1 into 0.1 8.764 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.764 * [taylor]: Taking taylor expansion of y in y 8.764 * [backup-simplify]: Simplify 0 into 0 8.764 * [backup-simplify]: Simplify 1 into 1 8.764 * [backup-simplify]: Simplify (/ 1 1) into 1 8.764 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 8.764 * [backup-simplify]: Simplify 0.1 into 0.1 8.764 * [backup-simplify]: Simplify 0.1 into 0.1 8.764 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.765 * [backup-simplify]: Simplify (+ 0 0) into 0 8.765 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 8.765 * [taylor]: Taking taylor expansion of 0 in y 8.765 * [backup-simplify]: Simplify 0 into 0 8.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.766 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 8.766 * [backup-simplify]: Simplify 0 into 0 8.766 * [backup-simplify]: Simplify 0 into 0 8.767 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.767 * [backup-simplify]: Simplify (+ 0 0) into 0 8.768 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 8.768 * [taylor]: Taking taylor expansion of 0 in y 8.768 * [backup-simplify]: Simplify 0 into 0 8.768 * [backup-simplify]: Simplify 0 into 0 8.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.769 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 8.769 * [backup-simplify]: Simplify 0 into 0 8.769 * [backup-simplify]: Simplify 0 into 0 8.769 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.770 * [backup-simplify]: Simplify (+ 0 0) into 0 8.771 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 8.771 * [taylor]: Taking taylor expansion of 0 in y 8.771 * [backup-simplify]: Simplify 0 into 0 8.771 * [backup-simplify]: Simplify 0 into 0 8.771 * [backup-simplify]: Simplify (+ (* 0.1 (* 1 (/ 1 (/ 1 x)))) (* 0.1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.1 x) (* 0.1 y)) 8.771 * [backup-simplify]: Simplify (/ (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) (/ 10.0 (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))))) into (* 0.1 (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2)) 8.771 * [approximate]: Taking taylor expansion of (* 0.1 (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2)) in (x y) around 0 8.771 * [taylor]: Taking taylor expansion of (* 0.1 (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2)) in y 8.771 * [taylor]: Taking taylor expansion of 0.1 in y 8.771 * [backup-simplify]: Simplify 0.1 into 0.1 8.771 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2) in y 8.771 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in y 8.771 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 8.771 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.771 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.771 * [taylor]: Taking taylor expansion of y in y 8.771 * [backup-simplify]: Simplify 0 into 0 8.772 * [backup-simplify]: Simplify 1 into 1 8.772 * [backup-simplify]: Simplify (/ 1 1) into 1 8.772 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.772 * [taylor]: Taking taylor expansion of x in y 8.772 * [backup-simplify]: Simplify x into x 8.772 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.772 * [backup-simplify]: Simplify (+ 1 0) into 1 8.772 * [backup-simplify]: Simplify (- 1) into -1 8.773 * [backup-simplify]: Simplify (sqrt 0) into 0 8.773 * [backup-simplify]: Simplify (- 1) into -1 8.774 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.774 * [taylor]: Taking taylor expansion of (* 0.1 (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2)) in x 8.774 * [taylor]: Taking taylor expansion of 0.1 in x 8.774 * [backup-simplify]: Simplify 0.1 into 0.1 8.774 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2) in x 8.774 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 8.774 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 8.774 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.774 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.774 * [taylor]: Taking taylor expansion of y in x 8.774 * [backup-simplify]: Simplify y into y 8.774 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.774 * [taylor]: Taking taylor expansion of x in x 8.774 * [backup-simplify]: Simplify 0 into 0 8.774 * [backup-simplify]: Simplify 1 into 1 8.775 * [backup-simplify]: Simplify (/ 1 1) into 1 8.775 * [backup-simplify]: Simplify (+ 0 1) into 1 8.775 * [backup-simplify]: Simplify (- 1) into -1 8.775 * [backup-simplify]: Simplify (sqrt 0) into 0 8.776 * [backup-simplify]: Simplify (- 1) into -1 8.776 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.776 * [taylor]: Taking taylor expansion of (* 0.1 (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2)) in x 8.776 * [taylor]: Taking taylor expansion of 0.1 in x 8.776 * [backup-simplify]: Simplify 0.1 into 0.1 8.776 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 y) (/ 1 x)))) 2) in x 8.776 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 8.776 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 8.776 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.776 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.776 * [taylor]: Taking taylor expansion of y in x 8.777 * [backup-simplify]: Simplify y into y 8.777 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.777 * [taylor]: Taking taylor expansion of x in x 8.777 * [backup-simplify]: Simplify 0 into 0 8.777 * [backup-simplify]: Simplify 1 into 1 8.777 * [backup-simplify]: Simplify (/ 1 1) into 1 8.777 * [backup-simplify]: Simplify (+ 0 1) into 1 8.777 * [backup-simplify]: Simplify (- 1) into -1 8.778 * [backup-simplify]: Simplify (sqrt 0) into 0 8.778 * [backup-simplify]: Simplify (- 1) into -1 8.778 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.779 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 8.779 * [backup-simplify]: Simplify (* 0.1 +nan.0) into +nan.0 8.779 * [taylor]: Taking taylor expansion of +nan.0 in y 8.779 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.779 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.780 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 8.780 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 8.781 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 y) (- +nan.0))) 8.782 * [backup-simplify]: Simplify (+ (* +nan.0 (* +nan.0 (+ (/ 1 y) (- +nan.0)))) (* (* +nan.0 (+ (/ 1 y) (- +nan.0))) +nan.0)) into (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 8.783 * [backup-simplify]: Simplify (+ (* 0.1 (- (+ (* +nan.0 (/ 1 y)) (- +nan.0)))) (* 0 +nan.0)) into (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 8.783 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 8.783 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 8.783 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.783 * [taylor]: Taking taylor expansion of +nan.0 in y 8.783 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.783 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.783 * [taylor]: Taking taylor expansion of y in y 8.783 * [backup-simplify]: Simplify 0 into 0 8.783 * [backup-simplify]: Simplify 1 into 1 8.783 * [backup-simplify]: Simplify (/ 1 1) into 1 8.783 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.783 * [taylor]: Taking taylor expansion of +nan.0 in y 8.783 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.785 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 8.785 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.786 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 8.787 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 8.787 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.787 * [backup-simplify]: Simplify 0 into 0 8.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.789 * [backup-simplify]: Simplify (+ 0 0) into 0 8.789 * [backup-simplify]: Simplify (- 0) into 0 8.790 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ (/ 1 y) (- +nan.0))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 8.793 * [backup-simplify]: Simplify (+ (* +nan.0 (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0)))) (+ (* (* +nan.0 (+ (/ 1 y) (- +nan.0))) (* +nan.0 (+ (/ 1 y) (- +nan.0)))) (* (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) +nan.0))) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 8.795 * [backup-simplify]: Simplify (+ (* 0.1 (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))) (+ (* 0 (- (+ (* +nan.0 (/ 1 y)) (- +nan.0)))) (* 0 +nan.0))) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 8.795 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 8.795 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 8.795 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.795 * [taylor]: Taking taylor expansion of +nan.0 in y 8.795 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.795 * [taylor]: Taking taylor expansion of y in y 8.795 * [backup-simplify]: Simplify 0 into 0 8.795 * [backup-simplify]: Simplify 1 into 1 8.796 * [backup-simplify]: Simplify (/ 1 1) into 1 8.796 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 8.796 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 8.796 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 8.796 * [taylor]: Taking taylor expansion of +nan.0 in y 8.796 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.796 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.796 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.796 * [taylor]: Taking taylor expansion of y in y 8.796 * [backup-simplify]: Simplify 0 into 0 8.796 * [backup-simplify]: Simplify 1 into 1 8.796 * [backup-simplify]: Simplify (* 1 1) into 1 8.797 * [backup-simplify]: Simplify (/ 1 1) into 1 8.797 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.797 * [taylor]: Taking taylor expansion of +nan.0 in y 8.797 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.798 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 8.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.800 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.802 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0 8.803 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.804 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 8.805 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 8.805 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 8.806 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 8.807 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.808 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 (/ 1 (- x))) 2)) (+ (* (- +nan.0) (* 1 (/ 1 (- x)))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 8.808 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 8.808 * [backup-simplify]: Simplify (/ 10.0 (sqrt (+ x y))) into (* 10.0 (sqrt (/ 1 (+ x y)))) 8.808 * [approximate]: Taking taylor expansion of (* 10.0 (sqrt (/ 1 (+ x y)))) in (x y) around 0 8.808 * [taylor]: Taking taylor expansion of (* 10.0 (sqrt (/ 1 (+ x y)))) in y 8.808 * [taylor]: Taking taylor expansion of 10.0 in y 8.808 * [backup-simplify]: Simplify 10.0 into 10.0 8.808 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ x y))) in y 8.808 * [taylor]: Taking taylor expansion of (/ 1 (+ x y)) in y 8.808 * [taylor]: Taking taylor expansion of (+ x y) in y 8.808 * [taylor]: Taking taylor expansion of x in y 8.808 * [backup-simplify]: Simplify x into x 8.808 * [taylor]: Taking taylor expansion of y in y 8.808 * [backup-simplify]: Simplify 0 into 0 8.808 * [backup-simplify]: Simplify 1 into 1 8.808 * [backup-simplify]: Simplify (+ x 0) into x 8.808 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.808 * [backup-simplify]: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x)) 8.809 * [backup-simplify]: Simplify (+ 0 1) into 1 8.809 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 1 x)))) into (- (/ 1 (pow x 2))) 8.809 * [backup-simplify]: Simplify (/ (- (/ 1 (pow x 2))) (* 2 (sqrt (/ 1 x)))) into (* -1/2 (sqrt (/ 1 (pow x 3)))) 8.809 * [taylor]: Taking taylor expansion of (* 10.0 (sqrt (/ 1 (+ x y)))) in x 8.809 * [taylor]: Taking taylor expansion of 10.0 in x 8.809 * [backup-simplify]: Simplify 10.0 into 10.0 8.809 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ x y))) in x 8.809 * [taylor]: Taking taylor expansion of (/ 1 (+ x y)) in x 8.809 * [taylor]: Taking taylor expansion of (+ x y) in x 8.809 * [taylor]: Taking taylor expansion of x in x 8.809 * [backup-simplify]: Simplify 0 into 0 8.809 * [backup-simplify]: Simplify 1 into 1 8.810 * [taylor]: Taking taylor expansion of y in x 8.810 * [backup-simplify]: Simplify y into y 8.810 * [backup-simplify]: Simplify (+ 0 y) into y 8.810 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.810 * [backup-simplify]: Simplify (sqrt (/ 1 y)) into (sqrt (/ 1 y)) 8.810 * [backup-simplify]: Simplify (+ 1 0) into 1 8.810 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 1 y)))) into (- (/ 1 (pow y 2))) 8.810 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2))) (* 2 (sqrt (/ 1 y)))) into (* -1/2 (sqrt (/ 1 (pow y 3)))) 8.810 * [taylor]: Taking taylor expansion of (* 10.0 (sqrt (/ 1 (+ x y)))) in x 8.810 * [taylor]: Taking taylor expansion of 10.0 in x 8.810 * [backup-simplify]: Simplify 10.0 into 10.0 8.810 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ x y))) in x 8.810 * [taylor]: Taking taylor expansion of (/ 1 (+ x y)) in x 8.810 * [taylor]: Taking taylor expansion of (+ x y) in x 8.810 * [taylor]: Taking taylor expansion of x in x 8.810 * [backup-simplify]: Simplify 0 into 0 8.810 * [backup-simplify]: Simplify 1 into 1 8.810 * [taylor]: Taking taylor expansion of y in x 8.810 * [backup-simplify]: Simplify y into y 8.810 * [backup-simplify]: Simplify (+ 0 y) into y 8.810 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.810 * [backup-simplify]: Simplify (sqrt (/ 1 y)) into (sqrt (/ 1 y)) 8.811 * [backup-simplify]: Simplify (+ 1 0) into 1 8.811 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 1 y)))) into (- (/ 1 (pow y 2))) 8.811 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2))) (* 2 (sqrt (/ 1 y)))) into (* -1/2 (sqrt (/ 1 (pow y 3)))) 8.811 * [backup-simplify]: Simplify (* 10.0 (sqrt (/ 1 y))) into (* 10.0 (sqrt (/ 1 y))) 8.811 * [taylor]: Taking taylor expansion of (* 10.0 (sqrt (/ 1 y))) in y 8.811 * [taylor]: Taking taylor expansion of 10.0 in y 8.811 * [backup-simplify]: Simplify 10.0 into 10.0 8.811 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 8.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.811 * [taylor]: Taking taylor expansion of y in y 8.811 * [backup-simplify]: Simplify 0 into 0 8.811 * [backup-simplify]: Simplify 1 into 1 8.812 * [backup-simplify]: Simplify (/ 1 1) into 1 8.812 * [backup-simplify]: Simplify (sqrt 0) into 0 8.813 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.813 * [backup-simplify]: Simplify (+ (* 10.0 +nan.0) (* 0 0)) into (- +nan.0) 8.814 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.814 * [backup-simplify]: Simplify (+ (* 10.0 (* -1/2 (sqrt (/ 1 (pow y 3))))) (* 0 (sqrt (/ 1 y)))) into (- (* 5.0 (sqrt (/ 1 (pow y 3))))) 8.814 * [taylor]: Taking taylor expansion of (- (* 5.0 (sqrt (/ 1 (pow y 3))))) in y 8.814 * [taylor]: Taking taylor expansion of (* 5.0 (sqrt (/ 1 (pow y 3)))) in y 8.814 * [taylor]: Taking taylor expansion of 5.0 in y 8.814 * [backup-simplify]: Simplify 5.0 into 5.0 8.814 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in y 8.814 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.814 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.814 * [taylor]: Taking taylor expansion of y in y 8.814 * [backup-simplify]: Simplify 0 into 0 8.814 * [backup-simplify]: Simplify 1 into 1 8.815 * [backup-simplify]: Simplify (* 1 1) into 1 8.815 * [backup-simplify]: Simplify (* 1 1) into 1 8.815 * [backup-simplify]: Simplify (/ 1 1) into 1 8.815 * [backup-simplify]: Simplify (sqrt 0) into 0 8.816 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.817 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.817 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.819 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 8.820 * [backup-simplify]: Simplify (+ (* 5.0 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 8.821 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 8.821 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.823 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 8.824 * [backup-simplify]: Simplify (+ (* 10.0 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 8.824 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.825 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* y 1)) (+ (* (- +nan.0) (* 1 x)) (- +nan.0))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 y) (- +nan.0))))) 8.825 * [backup-simplify]: Simplify (/ 10.0 (sqrt (+ (/ 1 x) (/ 1 y)))) into (* 10.0 (sqrt (/ 1 (+ (/ 1 y) (/ 1 x))))) 8.825 * [approximate]: Taking taylor expansion of (* 10.0 (sqrt (/ 1 (+ (/ 1 y) (/ 1 x))))) in (x y) around 0 8.825 * [taylor]: Taking taylor expansion of (* 10.0 (sqrt (/ 1 (+ (/ 1 y) (/ 1 x))))) in y 8.825 * [taylor]: Taking taylor expansion of 10.0 in y 8.825 * [backup-simplify]: Simplify 10.0 into 10.0 8.825 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 y) (/ 1 x)))) in y 8.825 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ 1 x))) in y 8.825 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.825 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.825 * [taylor]: Taking taylor expansion of y in y 8.825 * [backup-simplify]: Simplify 0 into 0 8.825 * [backup-simplify]: Simplify 1 into 1 8.826 * [backup-simplify]: Simplify (/ 1 1) into 1 8.826 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.826 * [taylor]: Taking taylor expansion of x in y 8.826 * [backup-simplify]: Simplify x into x 8.826 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.826 * [backup-simplify]: Simplify (+ 1 0) into 1 8.826 * [backup-simplify]: Simplify (/ 1 1) into 1 8.826 * [backup-simplify]: Simplify (sqrt 0) into 0 8.827 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.827 * [taylor]: Taking taylor expansion of (* 10.0 (sqrt (/ 1 (+ (/ 1 y) (/ 1 x))))) in x 8.827 * [taylor]: Taking taylor expansion of 10.0 in x 8.827 * [backup-simplify]: Simplify 10.0 into 10.0 8.827 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 y) (/ 1 x)))) in x 8.827 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ 1 x))) in x 8.827 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.827 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.827 * [taylor]: Taking taylor expansion of y in x 8.827 * [backup-simplify]: Simplify y into y 8.827 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.827 * [taylor]: Taking taylor expansion of x in x 8.827 * [backup-simplify]: Simplify 0 into 0 8.827 * [backup-simplify]: Simplify 1 into 1 8.828 * [backup-simplify]: Simplify (/ 1 1) into 1 8.828 * [backup-simplify]: Simplify (+ 0 1) into 1 8.828 * [backup-simplify]: Simplify (/ 1 1) into 1 8.828 * [backup-simplify]: Simplify (sqrt 0) into 0 8.829 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.829 * [taylor]: Taking taylor expansion of (* 10.0 (sqrt (/ 1 (+ (/ 1 y) (/ 1 x))))) in x 8.829 * [taylor]: Taking taylor expansion of 10.0 in x 8.829 * [backup-simplify]: Simplify 10.0 into 10.0 8.829 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (/ 1 y) (/ 1 x)))) in x 8.829 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ 1 x))) in x 8.829 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.829 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.829 * [taylor]: Taking taylor expansion of y in x 8.829 * [backup-simplify]: Simplify y into y 8.829 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.829 * [taylor]: Taking taylor expansion of x in x 8.829 * [backup-simplify]: Simplify 0 into 0 8.829 * [backup-simplify]: Simplify 1 into 1 8.830 * [backup-simplify]: Simplify (/ 1 1) into 1 8.830 * [backup-simplify]: Simplify (+ 0 1) into 1 8.830 * [backup-simplify]: Simplify (/ 1 1) into 1 8.830 * [backup-simplify]: Simplify (sqrt 0) into 0 8.831 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.831 * [backup-simplify]: Simplify (* 10.0 0) into 0 8.831 * [taylor]: Taking taylor expansion of 0 in y 8.831 * [backup-simplify]: Simplify 0 into 0 8.831 * [backup-simplify]: Simplify 0 into 0 8.832 * [backup-simplify]: Simplify (+ (* 10.0 +nan.0) (* 0 0)) into (- +nan.0) 8.832 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.832 * [taylor]: Taking taylor expansion of +nan.0 in y 8.832 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.833 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.833 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.833 * [backup-simplify]: Simplify 0 into 0 8.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.833 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 8.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 y) 1)))) into (- (/ 1 y)) 8.834 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 y) (- +nan.0))) 8.835 * [backup-simplify]: Simplify (+ (* 10.0 (* +nan.0 (+ (/ 1 y) (- +nan.0)))) (+ (* 0 +nan.0) (* 0 0))) into (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 8.835 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 8.835 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 8.835 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.835 * [taylor]: Taking taylor expansion of +nan.0 in y 8.835 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.835 * [taylor]: Taking taylor expansion of y in y 8.835 * [backup-simplify]: Simplify 0 into 0 8.835 * [backup-simplify]: Simplify 1 into 1 8.835 * [backup-simplify]: Simplify (/ 1 1) into 1 8.835 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.835 * [taylor]: Taking taylor expansion of +nan.0 in y 8.835 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.836 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 8.836 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.837 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 8.837 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 8.837 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.838 * [backup-simplify]: Simplify (- 0) into 0 8.838 * [backup-simplify]: Simplify 0 into 0 8.838 * [backup-simplify]: Simplify 0 into 0 8.838 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.839 * [backup-simplify]: Simplify (+ 0 0) into 0 8.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ (/ 1 y) 1)))) into (/ 1 (pow y 2)) 8.840 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2)) (+ (* 2 (* +nan.0 (* +nan.0 (+ (/ 1 y) (- +nan.0))))))) (* 2 0)) into (* +nan.0 (- (/ 1 (pow y 2)) (+ (* +nan.0 (/ 1 y)) (- +nan.0)))) 8.841 * [backup-simplify]: Simplify (+ (* 10.0 (* +nan.0 (- (/ 1 (pow y 2)) (+ (* +nan.0 (/ 1 y)) (- +nan.0))))) (+ (* 0 (* +nan.0 (+ (/ 1 y) (- +nan.0)))) (+ (* 0 +nan.0) (* 0 0)))) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 8.841 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 8.841 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 8.841 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.841 * [taylor]: Taking taylor expansion of +nan.0 in y 8.841 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.841 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.841 * [taylor]: Taking taylor expansion of y in y 8.841 * [backup-simplify]: Simplify 0 into 0 8.841 * [backup-simplify]: Simplify 1 into 1 8.841 * [backup-simplify]: Simplify (/ 1 1) into 1 8.841 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 8.841 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 8.841 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 8.841 * [taylor]: Taking taylor expansion of +nan.0 in y 8.841 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.841 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.841 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.841 * [taylor]: Taking taylor expansion of y in y 8.841 * [backup-simplify]: Simplify 0 into 0 8.842 * [backup-simplify]: Simplify 1 into 1 8.842 * [backup-simplify]: Simplify (* 1 1) into 1 8.842 * [backup-simplify]: Simplify (/ 1 1) into 1 8.842 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.842 * [taylor]: Taking taylor expansion of +nan.0 in y 8.842 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.851 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 8.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.852 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.854 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0 8.854 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.855 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 8.855 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 8.856 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 8.856 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 8.857 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.858 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 (/ 1 x)) 3)) (+ (* (- +nan.0) (pow (* 1 (/ 1 x)) 2)) (* (- +nan.0) (* 1 (/ 1 x))))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 3)))))))) 8.858 * [backup-simplify]: Simplify (/ 10.0 (sqrt (+ (/ 1 (- x)) (/ 1 (- y))))) into (/ 10.0 (sqrt (- (+ (/ 1 y) (/ 1 x))))) 8.858 * [approximate]: Taking taylor expansion of (/ 10.0 (sqrt (- (+ (/ 1 y) (/ 1 x))))) in (x y) around 0 8.858 * [taylor]: Taking taylor expansion of (/ 10.0 (sqrt (- (+ (/ 1 y) (/ 1 x))))) in y 8.858 * [taylor]: Taking taylor expansion of 10.0 in y 8.858 * [backup-simplify]: Simplify 10.0 into 10.0 8.858 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in y 8.858 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 8.858 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.858 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.858 * [taylor]: Taking taylor expansion of y in y 8.858 * [backup-simplify]: Simplify 0 into 0 8.858 * [backup-simplify]: Simplify 1 into 1 8.858 * [backup-simplify]: Simplify (/ 1 1) into 1 8.858 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.858 * [taylor]: Taking taylor expansion of x in y 8.858 * [backup-simplify]: Simplify x into x 8.858 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.859 * [backup-simplify]: Simplify (+ 1 0) into 1 8.859 * [backup-simplify]: Simplify (- 1) into -1 8.859 * [backup-simplify]: Simplify (sqrt 0) into 0 8.859 * [backup-simplify]: Simplify (- 1) into -1 8.860 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.861 * [backup-simplify]: Simplify (/ 10.0 +nan.0) into +nan.0 8.861 * [taylor]: Taking taylor expansion of (/ 10.0 (sqrt (- (+ (/ 1 y) (/ 1 x))))) in x 8.861 * [taylor]: Taking taylor expansion of 10.0 in x 8.861 * [backup-simplify]: Simplify 10.0 into 10.0 8.861 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 8.861 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 8.861 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.861 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.861 * [taylor]: Taking taylor expansion of y in x 8.861 * [backup-simplify]: Simplify y into y 8.861 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.861 * [taylor]: Taking taylor expansion of x in x 8.861 * [backup-simplify]: Simplify 0 into 0 8.861 * [backup-simplify]: Simplify 1 into 1 8.861 * [backup-simplify]: Simplify (/ 1 1) into 1 8.862 * [backup-simplify]: Simplify (+ 0 1) into 1 8.862 * [backup-simplify]: Simplify (- 1) into -1 8.862 * [backup-simplify]: Simplify (sqrt 0) into 0 8.862 * [backup-simplify]: Simplify (- 1) into -1 8.863 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.863 * [backup-simplify]: Simplify (/ 10.0 +nan.0) into +nan.0 8.863 * [taylor]: Taking taylor expansion of (/ 10.0 (sqrt (- (+ (/ 1 y) (/ 1 x))))) in x 8.863 * [taylor]: Taking taylor expansion of 10.0 in x 8.863 * [backup-simplify]: Simplify 10.0 into 10.0 8.863 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 8.863 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 8.863 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.863 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.863 * [taylor]: Taking taylor expansion of y in x 8.863 * [backup-simplify]: Simplify y into y 8.863 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.863 * [taylor]: Taking taylor expansion of x in x 8.863 * [backup-simplify]: Simplify 0 into 0 8.863 * [backup-simplify]: Simplify 1 into 1 8.864 * [backup-simplify]: Simplify (/ 1 1) into 1 8.864 * [backup-simplify]: Simplify (+ 0 1) into 1 8.864 * [backup-simplify]: Simplify (- 1) into -1 8.864 * [backup-simplify]: Simplify (sqrt 0) into 0 8.865 * [backup-simplify]: Simplify (- 1) into -1 8.865 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.866 * [backup-simplify]: Simplify (/ 10.0 +nan.0) into +nan.0 8.866 * [taylor]: Taking taylor expansion of +nan.0 in y 8.866 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.866 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.866 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 8.866 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 8.867 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 y) (- +nan.0))) 8.868 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* +nan.0 (/ (* +nan.0 (+ (/ 1 y) (- +nan.0))) +nan.0)))) into (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 8.868 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 8.868 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 8.868 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.868 * [taylor]: Taking taylor expansion of +nan.0 in y 8.868 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.868 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.868 * [taylor]: Taking taylor expansion of y in y 8.868 * [backup-simplify]: Simplify 0 into 0 8.868 * [backup-simplify]: Simplify 1 into 1 8.868 * [backup-simplify]: Simplify (/ 1 1) into 1 8.868 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.868 * [taylor]: Taking taylor expansion of +nan.0 in y 8.868 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.869 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 8.869 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.870 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 8.870 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 8.870 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.870 * [backup-simplify]: Simplify 0 into 0 8.871 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.871 * [backup-simplify]: Simplify (+ 0 0) into 0 8.871 * [backup-simplify]: Simplify (- 0) into 0 8.872 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ (/ 1 y) (- +nan.0))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 8.873 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* +nan.0 (/ (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) +nan.0)) (* (- (+ (* +nan.0 (/ 1 y)) (- +nan.0))) (/ (* +nan.0 (+ (/ 1 y) (- +nan.0))) +nan.0)))) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 8.873 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 8.873 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 8.873 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.873 * [taylor]: Taking taylor expansion of +nan.0 in y 8.873 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.873 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.873 * [taylor]: Taking taylor expansion of y in y 8.873 * [backup-simplify]: Simplify 0 into 0 8.873 * [backup-simplify]: Simplify 1 into 1 8.874 * [backup-simplify]: Simplify (/ 1 1) into 1 8.874 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 8.874 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 8.874 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 8.874 * [taylor]: Taking taylor expansion of +nan.0 in y 8.874 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.874 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.874 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.874 * [taylor]: Taking taylor expansion of y in y 8.874 * [backup-simplify]: Simplify 0 into 0 8.874 * [backup-simplify]: Simplify 1 into 1 8.874 * [backup-simplify]: Simplify (* 1 1) into 1 8.874 * [backup-simplify]: Simplify (/ 1 1) into 1 8.874 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.874 * [taylor]: Taking taylor expansion of +nan.0 in y 8.874 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.875 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 8.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.876 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.877 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0 8.878 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.878 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 8.879 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 8.879 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 8.879 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 8.880 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.880 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 (/ 1 (- x))) 2)) (+ (* (- +nan.0) (* 1 (/ 1 (- x)))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 8.881 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 8.881 * [backup-simplify]: Simplify (sqrt (+ x y)) into (sqrt (+ x y)) 8.881 * [approximate]: Taking taylor expansion of (sqrt (+ x y)) in (x y) around 0 8.881 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in y 8.881 * [taylor]: Taking taylor expansion of (+ x y) in y 8.881 * [taylor]: Taking taylor expansion of x in y 8.881 * [backup-simplify]: Simplify x into x 8.881 * [taylor]: Taking taylor expansion of y in y 8.881 * [backup-simplify]: Simplify 0 into 0 8.881 * [backup-simplify]: Simplify 1 into 1 8.881 * [backup-simplify]: Simplify (+ x 0) into x 8.881 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 8.881 * [backup-simplify]: Simplify (+ 0 1) into 1 8.881 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt x))) into (* 1/2 (sqrt (/ 1 x))) 8.881 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x 8.881 * [taylor]: Taking taylor expansion of (+ x y) in x 8.881 * [taylor]: Taking taylor expansion of x in x 8.881 * [backup-simplify]: Simplify 0 into 0 8.881 * [backup-simplify]: Simplify 1 into 1 8.881 * [taylor]: Taking taylor expansion of y in x 8.881 * [backup-simplify]: Simplify y into y 8.881 * [backup-simplify]: Simplify (+ 0 y) into y 8.881 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 8.882 * [backup-simplify]: Simplify (+ 1 0) into 1 8.882 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y))) 8.882 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x 8.882 * [taylor]: Taking taylor expansion of (+ x y) in x 8.882 * [taylor]: Taking taylor expansion of x in x 8.882 * [backup-simplify]: Simplify 0 into 0 8.882 * [backup-simplify]: Simplify 1 into 1 8.882 * [taylor]: Taking taylor expansion of y in x 8.882 * [backup-simplify]: Simplify y into y 8.882 * [backup-simplify]: Simplify (+ 0 y) into y 8.882 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 8.882 * [backup-simplify]: Simplify (+ 1 0) into 1 8.882 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y))) 8.882 * [taylor]: Taking taylor expansion of (sqrt y) in y 8.882 * [taylor]: Taking taylor expansion of y in y 8.882 * [backup-simplify]: Simplify 0 into 0 8.882 * [backup-simplify]: Simplify 1 into 1 8.883 * [backup-simplify]: Simplify (sqrt 0) into 0 8.883 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.883 * [backup-simplify]: Simplify 0 into 0 8.883 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 y))) in y 8.883 * [taylor]: Taking taylor expansion of 1/2 in y 8.883 * [backup-simplify]: Simplify 1/2 into 1/2 8.883 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 8.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.883 * [taylor]: Taking taylor expansion of y in y 8.883 * [backup-simplify]: Simplify 0 into 0 8.883 * [backup-simplify]: Simplify 1 into 1 8.884 * [backup-simplify]: Simplify (/ 1 1) into 1 8.884 * [backup-simplify]: Simplify (sqrt 0) into 0 8.885 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.885 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0) 8.886 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.886 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.886 * [backup-simplify]: Simplify (+ 0 0) into 0 8.886 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (sqrt (/ 1 y))) 2) (+)) (* 2 (sqrt y))) into (* -1/8 (sqrt (/ 1 (pow y 3)))) 8.886 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt (/ 1 (pow y 3)))) in y 8.886 * [taylor]: Taking taylor expansion of -1/8 in y 8.886 * [backup-simplify]: Simplify -1/8 into -1/8 8.886 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in y 8.886 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.886 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.886 * [taylor]: Taking taylor expansion of y in y 8.886 * [backup-simplify]: Simplify 0 into 0 8.886 * [backup-simplify]: Simplify 1 into 1 8.887 * [backup-simplify]: Simplify (* 1 1) into 1 8.887 * [backup-simplify]: Simplify (* 1 1) into 1 8.887 * [backup-simplify]: Simplify (/ 1 1) into 1 8.887 * [backup-simplify]: Simplify (sqrt 0) into 0 8.888 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.888 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.889 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.891 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 8.892 * [backup-simplify]: Simplify (+ (* -1/8 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 8.892 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.893 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 x) 2)) (+ (* +nan.0 (* y 1)) (* (- +nan.0) (* 1 x)))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 y)))))) 8.893 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) (/ 1 y))) into (sqrt (+ (/ 1 y) (/ 1 x))) 8.893 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in (x y) around 0 8.893 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in y 8.893 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.893 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.893 * [taylor]: Taking taylor expansion of y in y 8.893 * [backup-simplify]: Simplify 0 into 0 8.893 * [backup-simplify]: Simplify 1 into 1 8.893 * [backup-simplify]: Simplify (/ 1 1) into 1 8.893 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.893 * [taylor]: Taking taylor expansion of x in y 8.894 * [backup-simplify]: Simplify x into x 8.894 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.894 * [backup-simplify]: Simplify (+ 1 0) into 1 8.894 * [backup-simplify]: Simplify (sqrt 0) into 0 8.895 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.895 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in x 8.895 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.895 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.895 * [taylor]: Taking taylor expansion of y in x 8.895 * [backup-simplify]: Simplify y into y 8.895 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.895 * [taylor]: Taking taylor expansion of x in x 8.895 * [backup-simplify]: Simplify 0 into 0 8.895 * [backup-simplify]: Simplify 1 into 1 8.895 * [backup-simplify]: Simplify (/ 1 1) into 1 8.895 * [backup-simplify]: Simplify (+ 0 1) into 1 8.896 * [backup-simplify]: Simplify (sqrt 0) into 0 8.896 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.896 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in x 8.896 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.896 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.897 * [taylor]: Taking taylor expansion of y in x 8.897 * [backup-simplify]: Simplify y into y 8.897 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.897 * [taylor]: Taking taylor expansion of x in x 8.897 * [backup-simplify]: Simplify 0 into 0 8.897 * [backup-simplify]: Simplify 1 into 1 8.897 * [backup-simplify]: Simplify (/ 1 1) into 1 8.897 * [backup-simplify]: Simplify (+ 0 1) into 1 8.897 * [backup-simplify]: Simplify (sqrt 0) into 0 8.898 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.898 * [taylor]: Taking taylor expansion of 0 in y 8.898 * [backup-simplify]: Simplify 0 into 0 8.898 * [taylor]: Taking taylor expansion of +nan.0 in y 8.898 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.898 * [backup-simplify]: Simplify 0 into 0 8.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.899 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 8.899 * [backup-simplify]: Simplify (/ (- (/ 1 y) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 y) +nan.0)) 8.899 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 y) +nan.0)) in y 8.900 * [taylor]: Taking taylor expansion of +nan.0 in y 8.900 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.900 * [taylor]: Taking taylor expansion of (- (/ 1 y) +nan.0) in y 8.900 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.900 * [taylor]: Taking taylor expansion of y in y 8.900 * [backup-simplify]: Simplify 0 into 0 8.900 * [backup-simplify]: Simplify 1 into 1 8.900 * [backup-simplify]: Simplify (/ 1 1) into 1 8.900 * [taylor]: Taking taylor expansion of +nan.0 in y 8.900 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.900 * [backup-simplify]: Simplify (+ 1 0) into 1 8.900 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.900 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.900 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.900 * [backup-simplify]: Simplify 0 into 0 8.901 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.901 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.901 * [backup-simplify]: Simplify (+ 0 0) into 0 8.902 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (- (/ 1 y) +nan.0)))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 8.902 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 8.902 * [taylor]: Taking taylor expansion of +nan.0 in y 8.902 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.902 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 8.902 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.902 * [taylor]: Taking taylor expansion of +nan.0 in y 8.902 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.902 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.902 * [taylor]: Taking taylor expansion of y in y 8.902 * [backup-simplify]: Simplify 0 into 0 8.902 * [backup-simplify]: Simplify 1 into 1 8.902 * [backup-simplify]: Simplify (/ 1 1) into 1 8.902 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.902 * [taylor]: Taking taylor expansion of +nan.0 in y 8.902 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.903 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.903 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 8.903 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 8.903 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.904 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 (/ 1 y)) (pow (/ 1 x) 2))) (+ +nan.0 (* +nan.0 (* (/ 1 (/ 1 y)) (/ 1 x))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) 8.904 * [backup-simplify]: Simplify (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) into (sqrt (- (+ (/ 1 y) (/ 1 x)))) 8.904 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 8.904 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in y 8.904 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 8.904 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.904 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.904 * [taylor]: Taking taylor expansion of y in y 8.904 * [backup-simplify]: Simplify 0 into 0 8.904 * [backup-simplify]: Simplify 1 into 1 8.904 * [backup-simplify]: Simplify (/ 1 1) into 1 8.904 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.904 * [taylor]: Taking taylor expansion of x in y 8.904 * [backup-simplify]: Simplify x into x 8.904 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.905 * [backup-simplify]: Simplify (+ 1 0) into 1 8.905 * [backup-simplify]: Simplify (- 1) into -1 8.905 * [backup-simplify]: Simplify (sqrt 0) into 0 8.905 * [backup-simplify]: Simplify (- 1) into -1 8.906 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.907 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 8.907 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 8.907 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.907 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.907 * [taylor]: Taking taylor expansion of y in x 8.907 * [backup-simplify]: Simplify y into y 8.907 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.907 * [taylor]: Taking taylor expansion of x in x 8.907 * [backup-simplify]: Simplify 0 into 0 8.907 * [backup-simplify]: Simplify 1 into 1 8.907 * [backup-simplify]: Simplify (/ 1 1) into 1 8.908 * [backup-simplify]: Simplify (+ 0 1) into 1 8.908 * [backup-simplify]: Simplify (- 1) into -1 8.908 * [backup-simplify]: Simplify (sqrt 0) into 0 8.909 * [backup-simplify]: Simplify (- 1) into -1 8.910 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.910 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 8.910 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 8.910 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.910 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.910 * [taylor]: Taking taylor expansion of y in x 8.910 * [backup-simplify]: Simplify y into y 8.910 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.910 * [taylor]: Taking taylor expansion of x in x 8.910 * [backup-simplify]: Simplify 0 into 0 8.910 * [backup-simplify]: Simplify 1 into 1 8.911 * [backup-simplify]: Simplify (/ 1 1) into 1 8.911 * [backup-simplify]: Simplify (+ 0 1) into 1 8.911 * [backup-simplify]: Simplify (- 1) into -1 8.912 * [backup-simplify]: Simplify (sqrt 0) into 0 8.912 * [backup-simplify]: Simplify (- 1) into -1 8.913 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.913 * [taylor]: Taking taylor expansion of 0 in y 8.914 * [backup-simplify]: Simplify 0 into 0 8.914 * [taylor]: Taking taylor expansion of +nan.0 in y 8.914 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.914 * [backup-simplify]: Simplify 0 into 0 8.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.914 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 8.915 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 8.916 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 y) (- +nan.0))) 8.916 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 y) (- +nan.0))) in y 8.916 * [taylor]: Taking taylor expansion of +nan.0 in y 8.916 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.916 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (- +nan.0)) in y 8.916 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.916 * [taylor]: Taking taylor expansion of y in y 8.916 * [backup-simplify]: Simplify 0 into 0 8.916 * [backup-simplify]: Simplify 1 into 1 8.916 * [backup-simplify]: Simplify (/ 1 1) into 1 8.916 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.917 * [taylor]: Taking taylor expansion of +nan.0 in y 8.917 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.917 * [backup-simplify]: Simplify (+ 1 0) into 1 8.917 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.917 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.918 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.918 * [backup-simplify]: Simplify 0 into 0 8.918 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.919 * [backup-simplify]: Simplify (+ 0 0) into 0 8.919 * [backup-simplify]: Simplify (- 0) into 0 8.921 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ (/ 1 y) (- +nan.0))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 8.921 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 8.921 * [taylor]: Taking taylor expansion of +nan.0 in y 8.921 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.921 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 8.921 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.921 * [taylor]: Taking taylor expansion of +nan.0 in y 8.921 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.921 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.921 * [taylor]: Taking taylor expansion of y in y 8.921 * [backup-simplify]: Simplify 0 into 0 8.921 * [backup-simplify]: Simplify 1 into 1 8.921 * [backup-simplify]: Simplify (/ 1 1) into 1 8.921 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.921 * [taylor]: Taking taylor expansion of +nan.0 in y 8.921 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.922 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.922 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 8.923 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 8.923 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.924 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) 2))) (+ +nan.0 (* +nan.0 (* (/ 1 (/ 1 (- y))) (/ 1 (- x)))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) 8.924 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 8.924 * [backup-simplify]: Simplify (sqrt (+ x y)) into (sqrt (+ x y)) 8.924 * [approximate]: Taking taylor expansion of (sqrt (+ x y)) in (x y) around 0 8.924 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in y 8.924 * [taylor]: Taking taylor expansion of (+ x y) in y 8.924 * [taylor]: Taking taylor expansion of x in y 8.924 * [backup-simplify]: Simplify x into x 8.924 * [taylor]: Taking taylor expansion of y in y 8.924 * [backup-simplify]: Simplify 0 into 0 8.924 * [backup-simplify]: Simplify 1 into 1 8.924 * [backup-simplify]: Simplify (+ x 0) into x 8.924 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 8.925 * [backup-simplify]: Simplify (+ 0 1) into 1 8.925 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt x))) into (* 1/2 (sqrt (/ 1 x))) 8.925 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x 8.925 * [taylor]: Taking taylor expansion of (+ x y) in x 8.925 * [taylor]: Taking taylor expansion of x in x 8.925 * [backup-simplify]: Simplify 0 into 0 8.925 * [backup-simplify]: Simplify 1 into 1 8.925 * [taylor]: Taking taylor expansion of y in x 8.925 * [backup-simplify]: Simplify y into y 8.925 * [backup-simplify]: Simplify (+ 0 y) into y 8.925 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 8.926 * [backup-simplify]: Simplify (+ 1 0) into 1 8.926 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y))) 8.926 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x 8.926 * [taylor]: Taking taylor expansion of (+ x y) in x 8.926 * [taylor]: Taking taylor expansion of x in x 8.926 * [backup-simplify]: Simplify 0 into 0 8.926 * [backup-simplify]: Simplify 1 into 1 8.926 * [taylor]: Taking taylor expansion of y in x 8.926 * [backup-simplify]: Simplify y into y 8.926 * [backup-simplify]: Simplify (+ 0 y) into y 8.926 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 8.927 * [backup-simplify]: Simplify (+ 1 0) into 1 8.927 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y))) 8.927 * [taylor]: Taking taylor expansion of (sqrt y) in y 8.927 * [taylor]: Taking taylor expansion of y in y 8.927 * [backup-simplify]: Simplify 0 into 0 8.927 * [backup-simplify]: Simplify 1 into 1 8.927 * [backup-simplify]: Simplify (sqrt 0) into 0 8.929 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.929 * [backup-simplify]: Simplify 0 into 0 8.929 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 y))) in y 8.929 * [taylor]: Taking taylor expansion of 1/2 in y 8.929 * [backup-simplify]: Simplify 1/2 into 1/2 8.929 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 8.929 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.929 * [taylor]: Taking taylor expansion of y in y 8.929 * [backup-simplify]: Simplify 0 into 0 8.929 * [backup-simplify]: Simplify 1 into 1 8.929 * [backup-simplify]: Simplify (/ 1 1) into 1 8.930 * [backup-simplify]: Simplify (sqrt 0) into 0 8.931 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.932 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0) 8.933 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.933 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.933 * [backup-simplify]: Simplify (+ 0 0) into 0 8.934 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (sqrt (/ 1 y))) 2) (+)) (* 2 (sqrt y))) into (* -1/8 (sqrt (/ 1 (pow y 3)))) 8.934 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt (/ 1 (pow y 3)))) in y 8.934 * [taylor]: Taking taylor expansion of -1/8 in y 8.934 * [backup-simplify]: Simplify -1/8 into -1/8 8.934 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in y 8.934 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.934 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.934 * [taylor]: Taking taylor expansion of y in y 8.934 * [backup-simplify]: Simplify 0 into 0 8.934 * [backup-simplify]: Simplify 1 into 1 8.934 * [backup-simplify]: Simplify (* 1 1) into 1 8.934 * [backup-simplify]: Simplify (* 1 1) into 1 8.934 * [backup-simplify]: Simplify (/ 1 1) into 1 8.935 * [backup-simplify]: Simplify (sqrt 0) into 0 8.935 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.936 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.936 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.938 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 8.939 * [backup-simplify]: Simplify (+ (* -1/8 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 8.940 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.940 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 x) 2)) (+ (* +nan.0 (* y 1)) (* (- +nan.0) (* 1 x)))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 y)))))) 8.940 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) (/ 1 y))) into (sqrt (+ (/ 1 y) (/ 1 x))) 8.940 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in (x y) around 0 8.940 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in y 8.940 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.940 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.940 * [taylor]: Taking taylor expansion of y in y 8.940 * [backup-simplify]: Simplify 0 into 0 8.940 * [backup-simplify]: Simplify 1 into 1 8.941 * [backup-simplify]: Simplify (/ 1 1) into 1 8.941 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.941 * [taylor]: Taking taylor expansion of x in y 8.941 * [backup-simplify]: Simplify x into x 8.941 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.941 * [backup-simplify]: Simplify (+ 1 0) into 1 8.941 * [backup-simplify]: Simplify (sqrt 0) into 0 8.942 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.942 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in x 8.942 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.942 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.942 * [taylor]: Taking taylor expansion of y in x 8.942 * [backup-simplify]: Simplify y into y 8.942 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.942 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.942 * [taylor]: Taking taylor expansion of x in x 8.942 * [backup-simplify]: Simplify 0 into 0 8.942 * [backup-simplify]: Simplify 1 into 1 8.942 * [backup-simplify]: Simplify (/ 1 1) into 1 8.943 * [backup-simplify]: Simplify (+ 0 1) into 1 8.943 * [backup-simplify]: Simplify (sqrt 0) into 0 8.944 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.944 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) (/ 1 x))) in x 8.944 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.944 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.944 * [taylor]: Taking taylor expansion of y in x 8.944 * [backup-simplify]: Simplify y into y 8.944 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.944 * [taylor]: Taking taylor expansion of x in x 8.944 * [backup-simplify]: Simplify 0 into 0 8.944 * [backup-simplify]: Simplify 1 into 1 8.944 * [backup-simplify]: Simplify (/ 1 1) into 1 8.944 * [backup-simplify]: Simplify (+ 0 1) into 1 8.944 * [backup-simplify]: Simplify (sqrt 0) into 0 8.945 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.945 * [taylor]: Taking taylor expansion of 0 in y 8.945 * [backup-simplify]: Simplify 0 into 0 8.945 * [taylor]: Taking taylor expansion of +nan.0 in y 8.945 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.945 * [backup-simplify]: Simplify 0 into 0 8.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.946 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 8.950 * [backup-simplify]: Simplify (/ (- (/ 1 y) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 y) +nan.0)) 8.950 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 y) +nan.0)) in y 8.950 * [taylor]: Taking taylor expansion of +nan.0 in y 8.950 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.950 * [taylor]: Taking taylor expansion of (- (/ 1 y) +nan.0) in y 8.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.950 * [taylor]: Taking taylor expansion of y in y 8.950 * [backup-simplify]: Simplify 0 into 0 8.950 * [backup-simplify]: Simplify 1 into 1 8.950 * [backup-simplify]: Simplify (/ 1 1) into 1 8.950 * [taylor]: Taking taylor expansion of +nan.0 in y 8.950 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.951 * [backup-simplify]: Simplify (+ 1 0) into 1 8.951 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.951 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.951 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.951 * [backup-simplify]: Simplify 0 into 0 8.951 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.952 * [backup-simplify]: Simplify (+ 0 0) into 0 8.953 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (- (/ 1 y) +nan.0)))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 8.953 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 8.953 * [taylor]: Taking taylor expansion of +nan.0 in y 8.953 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.953 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 8.953 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.953 * [taylor]: Taking taylor expansion of +nan.0 in y 8.953 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.953 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.953 * [taylor]: Taking taylor expansion of y in y 8.953 * [backup-simplify]: Simplify 0 into 0 8.953 * [backup-simplify]: Simplify 1 into 1 8.953 * [backup-simplify]: Simplify (/ 1 1) into 1 8.953 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.953 * [taylor]: Taking taylor expansion of +nan.0 in y 8.953 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.953 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.954 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 8.954 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 8.954 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.955 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 (/ 1 y)) (pow (/ 1 x) 2))) (+ +nan.0 (* +nan.0 (* (/ 1 (/ 1 y)) (/ 1 x))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) 8.955 * [backup-simplify]: Simplify (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) into (sqrt (- (+ (/ 1 y) (/ 1 x)))) 8.955 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 8.955 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in y 8.955 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 8.955 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.955 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.955 * [taylor]: Taking taylor expansion of y in y 8.955 * [backup-simplify]: Simplify 0 into 0 8.955 * [backup-simplify]: Simplify 1 into 1 8.955 * [backup-simplify]: Simplify (/ 1 1) into 1 8.955 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.955 * [taylor]: Taking taylor expansion of x in y 8.955 * [backup-simplify]: Simplify x into x 8.955 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.955 * [backup-simplify]: Simplify (+ 1 0) into 1 8.956 * [backup-simplify]: Simplify (- 1) into -1 8.956 * [backup-simplify]: Simplify (sqrt 0) into 0 8.956 * [backup-simplify]: Simplify (- 1) into -1 8.957 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.957 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 8.957 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 8.957 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.957 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.957 * [taylor]: Taking taylor expansion of y in x 8.957 * [backup-simplify]: Simplify y into y 8.957 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.957 * [taylor]: Taking taylor expansion of x in x 8.957 * [backup-simplify]: Simplify 0 into 0 8.957 * [backup-simplify]: Simplify 1 into 1 8.957 * [backup-simplify]: Simplify (/ 1 1) into 1 8.958 * [backup-simplify]: Simplify (+ 0 1) into 1 8.958 * [backup-simplify]: Simplify (- 1) into -1 8.958 * [backup-simplify]: Simplify (sqrt 0) into 0 8.958 * [backup-simplify]: Simplify (- 1) into -1 8.959 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.959 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 y) (/ 1 x)))) in x 8.959 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 8.959 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.959 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.959 * [taylor]: Taking taylor expansion of y in x 8.959 * [backup-simplify]: Simplify y into y 8.959 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.959 * [taylor]: Taking taylor expansion of x in x 8.959 * [backup-simplify]: Simplify 0 into 0 8.959 * [backup-simplify]: Simplify 1 into 1 8.959 * [backup-simplify]: Simplify (/ 1 1) into 1 8.960 * [backup-simplify]: Simplify (+ 0 1) into 1 8.960 * [backup-simplify]: Simplify (- 1) into -1 8.960 * [backup-simplify]: Simplify (sqrt 0) into 0 8.960 * [backup-simplify]: Simplify (- 1) into -1 8.961 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.961 * [taylor]: Taking taylor expansion of 0 in y 8.961 * [backup-simplify]: Simplify 0 into 0 8.961 * [taylor]: Taking taylor expansion of +nan.0 in y 8.961 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.961 * [backup-simplify]: Simplify 0 into 0 8.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.962 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 8.962 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 8.962 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 y) (- +nan.0))) 8.963 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 y) (- +nan.0))) in y 8.963 * [taylor]: Taking taylor expansion of +nan.0 in y 8.963 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.963 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (- +nan.0)) in y 8.963 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.963 * [taylor]: Taking taylor expansion of y in y 8.963 * [backup-simplify]: Simplify 0 into 0 8.963 * [backup-simplify]: Simplify 1 into 1 8.963 * [backup-simplify]: Simplify (/ 1 1) into 1 8.963 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.963 * [taylor]: Taking taylor expansion of +nan.0 in y 8.963 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.963 * [backup-simplify]: Simplify (+ 1 0) into 1 8.963 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.963 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.963 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.964 * [backup-simplify]: Simplify 0 into 0 8.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.964 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.964 * [backup-simplify]: Simplify (+ 0 0) into 0 8.965 * [backup-simplify]: Simplify (- 0) into 0 8.965 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ (/ 1 y) (- +nan.0))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 8.965 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- +nan.0))) in y 8.965 * [taylor]: Taking taylor expansion of +nan.0 in y 8.965 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.965 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- +nan.0)) in y 8.965 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.965 * [taylor]: Taking taylor expansion of +nan.0 in y 8.965 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.965 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.965 * [taylor]: Taking taylor expansion of y in y 8.965 * [backup-simplify]: Simplify 0 into 0 8.965 * [backup-simplify]: Simplify 1 into 1 8.966 * [backup-simplify]: Simplify (/ 1 1) into 1 8.966 * [taylor]: Taking taylor expansion of (- +nan.0) in y 8.966 * [taylor]: Taking taylor expansion of +nan.0 in y 8.966 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.966 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.967 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 8.967 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 8.967 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.968 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) 2))) (+ +nan.0 (* +nan.0 (* (/ 1 (/ 1 (- y))) (/ 1 (- x)))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) 8.968 * * * [progress]: simplifying candidates 8.979 * [simplify]: Simplifying: (expm1 (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y))))) (log1p (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y))))) (- (log (sqrt (+ x y))) (- (log 10.0) (log (sqrt (+ x y))))) (- (log (sqrt (+ x y))) (log (/ 10.0 (sqrt (+ x y))))) (log (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y))))) (exp (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y))))) (/ (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (/ (* (* 10.0 10.0) 10.0) (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))))) (/ (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (/ 10.0 (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ 10.0 (sqrt (+ x y))))) (* (cbrt (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y))))) (cbrt (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))))) (cbrt (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y))))) (* (* (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y))))) (sqrt (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y))))) (sqrt (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y))))) (- (sqrt (+ x y))) (- (/ 10.0 (sqrt (+ x y)))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (cbrt (sqrt (+ x y))) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (cbrt (sqrt (+ x y))) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (cbrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (cbrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (cbrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (cbrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt 10.0) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (cbrt (sqrt (+ x y))) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (cbrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt 1))) (/ (cbrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt 1))) (/ (cbrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt 10.0) 1)) (/ (cbrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ 1 (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (cbrt (sqrt (+ x y))) (/ 10.0 (cbrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ 1 (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (cbrt (sqrt (+ x y))) (/ 10.0 (sqrt (cbrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ 1 (sqrt (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ 1 (sqrt 1))) (/ (cbrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ 1 (sqrt 1))) (/ (cbrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ 1 (sqrt (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ 1 1)) (/ (cbrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) 1) (/ (cbrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) 10.0) (/ (cbrt (sqrt (+ x y))) (/ 1 (sqrt (+ x y)))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ 10.0 (sqrt (+ (pow x 3) (pow y 3))))) (/ (cbrt (sqrt (+ x y))) (sqrt (+ (* x x) (- (* y y) (* x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ 10.0 (sqrt (- (* x x) (* y y))))) (/ (cbrt (sqrt (+ x y))) (sqrt (- x y))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (cbrt (+ x y))) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (cbrt (+ x y))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (cbrt (+ x y))) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (cbrt (+ x y))) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (cbrt (+ x y))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (cbrt (+ x y))) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (cbrt (+ x y))) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (cbrt (+ x y))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (sqrt (cbrt (+ x y))) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt 10.0) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (cbrt (+ x y))) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt 10.0) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (cbrt (+ x y))) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (cbrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (cbrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (cbrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (cbrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt 10.0) 1)) (/ (sqrt (cbrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 1 (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (cbrt (+ x y))) (/ 10.0 (cbrt (sqrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 1 (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (cbrt (+ x y))) (/ 10.0 (sqrt (cbrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (cbrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 1 (sqrt 1))) (/ (sqrt (cbrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 1 (sqrt 1))) (/ (sqrt (cbrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (cbrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 1 1)) (/ (sqrt (cbrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) 1) (/ (sqrt (cbrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) 10.0) (/ (sqrt (cbrt (+ x y))) (/ 1 (sqrt (+ x y)))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 10.0 (sqrt (+ (pow x 3) (pow y 3))))) (/ (sqrt (cbrt (+ x y))) (sqrt (+ (* x x) (- (* y y) (* x y))))) (/ (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 10.0 (sqrt (- (* x x) (* y y))))) (/ (sqrt (cbrt (+ x y))) (sqrt (- x y))) (/ (sqrt (sqrt (+ x y))) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) 1)) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ 1 (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (cbrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 1 (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (cbrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 1 (sqrt 1))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ 1 (sqrt 1))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 1 1)) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) 1) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) 10.0) (/ (sqrt (sqrt (+ x y))) (/ 1 (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ (pow x 3) (pow y 3))))) (/ (sqrt (sqrt (+ x y))) (sqrt (+ (* x x) (- (* y y) (* x y))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (- (* x x) (* y y))))) (/ (sqrt (sqrt (+ x y))) (sqrt (- x y))) (/ (sqrt 1) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt 1) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (+ x y)) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (sqrt 10.0) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt 1) (/ (sqrt 10.0) 1)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ 1 (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (/ 10.0 (cbrt (sqrt (+ x y))))) (/ (sqrt 1) (/ 1 (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (cbrt (+ x y))))) (/ (sqrt 1) (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ (sqrt 1) (/ 1 (sqrt 1))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt 1) (/ 1 (sqrt 1))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt 1) (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt 1) 1) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt 1) 10.0) (/ (sqrt (+ x y)) (/ 1 (sqrt (+ x y)))) (/ (sqrt 1) (/ 10.0 (sqrt (+ (pow x 3) (pow y 3))))) (/ (sqrt (+ x y)) (sqrt (+ (* x x) (- (* y y) (* x y))))) (/ (sqrt 1) (/ 10.0 (sqrt (- (* x x) (* y y))))) (/ (sqrt (+ x y)) (sqrt (- x y))) (/ (sqrt 1) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt 1) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (+ x y)) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (sqrt 10.0) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt 1) (/ (sqrt 10.0) 1)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ 1 (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (/ 10.0 (cbrt (sqrt (+ x y))))) (/ (sqrt 1) (/ 1 (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (cbrt (+ x y))))) (/ (sqrt 1) (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ (sqrt 1) (/ 1 (sqrt 1))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt 1) (/ 1 (sqrt 1))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt 1) (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt 1) 1) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt 1) 10.0) (/ (sqrt (+ x y)) (/ 1 (sqrt (+ x y)))) (/ (sqrt 1) (/ 10.0 (sqrt (+ (pow x 3) (pow y 3))))) (/ (sqrt (+ x y)) (sqrt (+ (* x x) (- (* y y) (* x y))))) (/ (sqrt 1) (/ 10.0 (sqrt (- (* x x) (* y y))))) (/ (sqrt (+ x y)) (sqrt (- x y))) (/ (sqrt (sqrt (+ x y))) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) 1)) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ 1 (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (cbrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 1 (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (cbrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 1 (sqrt 1))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ 1 (sqrt 1))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 1 1)) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) 1) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) 10.0) (/ (sqrt (sqrt (+ x y))) (/ 1 (sqrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (+ (pow x 3) (pow y 3))))) (/ (sqrt (sqrt (+ x y))) (sqrt (+ (* x x) (- (* y y) (* x y))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (- (* x x) (* y y))))) (/ (sqrt (sqrt (+ x y))) (sqrt (- x y))) (/ 1 (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ 1 (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (+ x y)) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (sqrt 10.0) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ 1 (/ (sqrt 10.0) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ 1 (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ 1 (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ 1 (/ (sqrt 10.0) 1)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (/ 1 (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (/ 10.0 (cbrt (sqrt (+ x y))))) (/ 1 (/ 1 (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (cbrt (+ x y))))) (/ 1 (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ 1 (/ 1 (sqrt 1))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) (/ 1 (/ 1 (sqrt 1))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) (/ 1 (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (sqrt (+ x y))))) (/ 1 (/ 1 1)) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) (/ 1 1) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ x y)))) (/ 1 10.0) (/ (sqrt (+ x y)) (/ 1 (sqrt (+ x y)))) (/ 1 (/ 10.0 (sqrt (+ (pow x 3) (pow y 3))))) (/ (sqrt (+ x y)) (sqrt (+ (* x x) (- (* y y) (* x y))))) (/ 1 (/ 10.0 (sqrt (- (* x x) (* y y))))) (/ (sqrt (+ x y)) (sqrt (- x y))) (/ 1 (/ 10.0 (sqrt (+ x y)))) (/ (/ 10.0 (sqrt (+ x y))) (sqrt (+ x y))) (/ (sqrt (+ x y)) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (+ x y)) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1))) (/ (sqrt (+ x y)) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt 1))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) 1)) (/ (sqrt (+ x y)) (/ 1 (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (/ 1 (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (/ (sqrt (+ x y)) (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ 1 (sqrt 1))) (/ (sqrt (+ x y)) (/ 1 (sqrt 1))) (/ (sqrt (+ x y)) (/ 1 (sqrt (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ 1 1)) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) 10.0) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (+ (pow x 3) (pow y 3))))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (- (* x x) (* y y))))) (/ (/ 10.0 (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (/ 10.0 (sqrt (+ x y))) (sqrt (cbrt (+ x y)))) (/ (/ 10.0 (sqrt (+ x y))) (sqrt (sqrt (+ x y)))) (/ (/ 10.0 (sqrt (+ x y))) (sqrt (+ x y))) (/ (/ 10.0 (sqrt (+ x y))) (sqrt (+ x y))) (/ (/ 10.0 (sqrt (+ x y))) (sqrt (sqrt (+ x y)))) (/ (/ 10.0 (sqrt (+ x y))) (sqrt (+ x y))) (/ (sqrt (+ x y)) 10.0) (* (/ 10.0 (sqrt (+ x y))) (sqrt (+ (* x x) (- (* y y) (* x y))))) (* (/ 10.0 (sqrt (+ x y))) (sqrt (- x y))) (expm1 (/ 10.0 (sqrt (+ x y)))) (log1p (/ 10.0 (sqrt (+ x y)))) (- (log 10.0) (log (sqrt (+ x y)))) (log (/ 10.0 (sqrt (+ x y)))) (exp (/ 10.0 (sqrt (+ x y)))) (/ (* (* 10.0 10.0) 10.0) (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y)))) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y))))) (cbrt (/ 10.0 (sqrt (+ x y)))) (* (* (/ 10.0 (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y)))) (/ 10.0 (sqrt (+ x y)))) (sqrt (/ 10.0 (sqrt (+ x y)))) (sqrt (/ 10.0 (sqrt (+ x y)))) (- 10.0) (- (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))) (/ (cbrt 10.0) (cbrt (sqrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (cbrt 10.0) (sqrt (cbrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y)))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1)) (/ (cbrt 10.0) (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt 1)) (/ (cbrt 10.0) (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y)))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) 1) (/ (cbrt 10.0) (sqrt (+ x y))) (/ (sqrt 10.0) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))) (/ (sqrt 10.0) (cbrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (sqrt 10.0) (sqrt (cbrt (+ x y)))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt (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 10.0) (sqrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y)))) (/ (sqrt 10.0) 1) (/ (sqrt 10.0) (sqrt (+ x y))) (/ 1 (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))) (/ 10.0 (cbrt (sqrt (+ x y)))) (/ 1 (sqrt (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 10.0 (sqrt (cbrt (+ x y)))) (/ 1 (sqrt (sqrt (+ x y)))) (/ 10.0 (sqrt (sqrt (+ x y)))) (/ 1 (sqrt 1)) (/ 10.0 (sqrt (+ x y))) (/ 1 (sqrt 1)) (/ 10.0 (sqrt (+ x y))) (/ 1 (sqrt (sqrt (+ x y)))) (/ 10.0 (sqrt (sqrt (+ x y)))) (/ 1 1) (/ 10.0 (sqrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ (sqrt (+ x y)) 10.0) (/ 10.0 (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))) (/ 10.0 (sqrt (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 10.0 (sqrt (sqrt (+ x y)))) (/ 10.0 (sqrt 1)) (/ 10.0 (sqrt 1)) (/ 10.0 (sqrt (sqrt (+ x y)))) (/ 10.0 1) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) 10.0) (/ 10.0 (sqrt (+ (pow x 3) (pow y 3)))) (/ 10.0 (sqrt (- (* x x) (* y y)))) (expm1 (sqrt (+ x y))) (log1p (sqrt (+ x y))) (log (sqrt (+ x y))) (exp (sqrt (+ x y))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (cbrt (sqrt (+ x y))) (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (sqrt (cbrt (+ x y))) (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) (sqrt 1) (sqrt (+ x y)) (sqrt 1) (sqrt (+ x y)) (sqrt (+ (pow x 3) (pow y 3))) (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (- (* x x) (* y y))) (sqrt (- x y)) (/ 1 2) (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) (expm1 (sqrt (+ x y))) (log1p (sqrt (+ x y))) (log (sqrt (+ x y))) (exp (sqrt (+ x y))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (cbrt (sqrt (+ x y))) (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (sqrt (cbrt (+ x y))) (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) (sqrt 1) (sqrt (+ x y)) (sqrt 1) (sqrt (+ x y)) (sqrt (+ (pow x 3) (pow y 3))) (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (- (* x x) (* y y))) (sqrt (- x y)) (/ 1 2) (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 x) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 3)))))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- +nan.0))))) 8.989 * * [simplify]: Extracting # 0 : cost 0 8.990 * * [simplify]: Extracting # 1 : cost 0 8.990 * * [simplify]: Extracting # 2 : cost 0 8.991 * * [simplify]: Extracting # 3 : cost 0 8.992 * * [simplify]: Extracting # 4 : cost 0 8.992 * * [simplify]: Extracting # 5 : cost 0 8.993 * * [simplify]: Extracting # 6 : cost 0 8.993 * * [simplify]: Extracting # 7 : cost 0 8.994 * * [simplify]: Extracting # 8 : cost 0 8.994 * * [simplify]: Extracting # 9 : cost 0 8.995 * * [simplify]: Extracting # 10 : cost 0 8.996 * * [simplify]: iteration 0 : 343 enodes (cost 6940 ) 9.146 * * [simplify]: Extracting # 0 : cost 0 9.149 * * [simplify]: Extracting # 1 : cost 0 9.150 * * [simplify]: Extracting # 2 : cost 0 9.152 * * [simplify]: Extracting # 3 : cost 0 9.154 * * [simplify]: Extracting # 4 : cost 0 9.156 * * [simplify]: Extracting # 5 : cost 0 9.158 * * [simplify]: iteration 1 : 729 enodes (cost 6075 ) 9.591 * * [simplify]: Extracting # 0 : cost 0 9.594 * * [simplify]: Extracting # 1 : cost 0 9.596 * * [simplify]: Extracting # 2 : cost 0 9.599 * * [simplify]: Extracting # 3 : cost 0 9.601 * * [simplify]: Extracting # 4 : cost 0 9.604 * * [simplify]: iteration 2 : 2234 enodes (cost 5478 ) 11.280 * * [simplify]: Extracting # 0 : cost 0 11.291 * * [simplify]: Extracting # 1 : cost 0 11.301 * * [simplify]: Extracting # 2 : cost 0 11.311 * * [simplify]: Extracting # 3 : cost 0 11.320 * * [simplify]: Extracting # 4 : cost 0 11.331 * * [simplify]: iteration done: 5001 enodes (cost 5250 ) 11.336 * [simplify]: Simplified to: (expm1 (/ (+ x y) 10.0)) (log1p (/ (+ 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) (* (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)) (- (sqrt (+ x y))) (- (/ 10.0 (sqrt (+ x y)))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (cbrt (sqrt (+ x y))) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (pow (cbrt (sqrt (+ x y))) 3)) (* (cbrt 10.0) (cbrt 10.0))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (cbrt 10.0)) (/ (fabs (cbrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (cbrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (cbrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (cbrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (pow (cbrt (sqrt (+ x y))) 3)) (sqrt 10.0)) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (sqrt 10.0)) (* (/ (cbrt (sqrt (+ x y))) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (fabs (cbrt (+ x y)))) (/ (cbrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (sqrt 10.0)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (sqrt 10.0)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (sqrt 10.0)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (* (cbrt (sqrt (+ x y))) (pow (cbrt (sqrt (+ x y))) 3)) (/ (cbrt (sqrt (+ x y))) (/ 10.0 (cbrt (sqrt (+ x y))))) (* (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (fabs (cbrt (+ x y)))) (/ (cbrt (sqrt (+ x y))) (/ 10.0 (sqrt (cbrt (+ x y))))) (* (sqrt (sqrt (+ x y))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y))))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt (+ x y)) (/ 10.0 (cbrt (sqrt (+ x y))))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt (+ x y)) (/ 10.0 (cbrt (sqrt (+ x y))))) (* (sqrt (sqrt (+ x y))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y))))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt (+ x y)) (/ 10.0 (cbrt (sqrt (+ x y))))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt (+ x y)) (/ 10.0 (cbrt (sqrt (+ x y))))) (/ (cbrt (sqrt (+ x y))) (/ 10.0 (cbrt (sqrt (+ x y))))) (* (cbrt (sqrt (+ x y))) (sqrt (+ x y))) (/ (* (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (hypot (pow y 3/2) (pow x 3/2))) 10.0) (/ (cbrt (sqrt (+ x y))) (sqrt (fma x x (* y (- y x))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ 10.0 (sqrt (- (* x x) (* y y))))) (/ (cbrt (sqrt (+ x y))) (sqrt (- x y))) (/ (fabs (cbrt (+ x y))) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (cbrt (+ x y))) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (cbrt (+ x y))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (cbrt (+ x y))) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (cbrt (+ x y)) (cbrt 10.0)) (/ (fabs (cbrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (cbrt (+ x y))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (cbrt (+ x y))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (* (/ (cbrt (sqrt (+ x y))) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (fabs (cbrt (+ x y)))) (/ (sqrt (cbrt (+ x y))) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ (cbrt (+ x y)) (sqrt 10.0)) (* (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (fabs (cbrt (+ x y)))) (/ (sqrt (cbrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (sqrt 10.0)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (sqrt 10.0)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (* (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (fabs (cbrt (+ x y)))) (/ (sqrt (cbrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (sqrt 10.0)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (* (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (fabs (cbrt (+ x y)))) (/ (sqrt (cbrt (+ x y))) (/ 10.0 (cbrt (sqrt (+ x y))))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) 10.0) (* (sqrt (sqrt (+ x y))) (fabs (cbrt (+ x y)))) (/ (sqrt (cbrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y))))) (fabs (cbrt (+ x y))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (cbrt (+ x y))))) (fabs (cbrt (+ x y))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (cbrt (+ x y))))) (* (sqrt (sqrt (+ x y))) (fabs (cbrt (+ x y)))) (/ (sqrt (cbrt (+ x y))) (/ 10.0 (sqrt (sqrt (+ x y))))) (fabs (cbrt (+ x y))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (cbrt (+ x y))))) (fabs (cbrt (+ x y))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (cbrt (+ x y))))) (/ (fabs (cbrt (+ x y))) 10.0) (* (sqrt (cbrt (+ x y))) (sqrt (+ x y))) (* (/ (fabs (cbrt (+ x y))) 10.0) (hypot (pow y 3/2) (pow x 3/2))) (/ (sqrt (cbrt (+ x y))) (sqrt (fma x x (* y (- y x))))) (/ (fabs (cbrt (+ x y))) (/ 10.0 (sqrt (- (* x x) (* y y))))) (/ (sqrt (cbrt (+ x y))) (sqrt (- x y))) (/ (sqrt (sqrt (+ x y))) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (cbrt 10.0)) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (cbrt 10.0)) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (cbrt 10.0)) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (* (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (fabs (cbrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (* (sqrt (sqrt (+ x y))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (cbrt (sqrt (+ x y))))) (* (sqrt (sqrt (+ x y))) (fabs (cbrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (cbrt (+ x y))))) (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) (/ (sqrt (sqrt (+ x y))) 10.0) (pow (sqrt (sqrt (+ x y))) 3) (* (hypot (pow y 3/2) (pow x 3/2)) (/ (sqrt (sqrt (+ x y))) 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt (fma x x (* y (- y x))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (- (* x x) (* y y))))) (/ (sqrt (sqrt (+ x y))) (sqrt (- x y))) (/ 1 (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ 1 (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (+ x y)) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (sqrt 10.0)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (sqrt 10.0)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt (+ x y)) (/ 10.0 (cbrt (sqrt (+ x y))))) (fabs (cbrt (+ x y))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (cbrt (+ x y))))) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) 1 (/ (+ x y) 10.0) 1 (/ (+ x y) 10.0) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) 1 (/ (+ x y) 10.0) 1 (/ (+ x y) 10.0) (/ 1 10.0) (+ y x) (/ (hypot (pow y 3/2) (pow x 3/2)) 10.0) (/ (sqrt (+ x y)) (sqrt (fma x x (* y (- y x))))) (/ (sqrt (- (* x x) (* y y))) 10.0) (/ (sqrt (+ x y)) (sqrt (- x y))) (/ 1 (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ 1 (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (+ x y)) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (sqrt 10.0)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (sqrt 10.0)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt (+ x y)) (/ 10.0 (cbrt (sqrt (+ x y))))) (fabs (cbrt (+ x y))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (cbrt (+ x y))))) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) 1 (/ (+ x y) 10.0) 1 (/ (+ x y) 10.0) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) 1 (/ (+ x y) 10.0) 1 (/ (+ x y) 10.0) (/ 1 10.0) (+ y x) (/ (hypot (pow y 3/2) (pow x 3/2)) 10.0) (/ (sqrt (+ x y)) (sqrt (fma x x (* y (- y x))))) (/ (sqrt (- (* x x) (* y y))) 10.0) (/ (sqrt (+ x y)) (sqrt (- x y))) (/ (sqrt (sqrt (+ x y))) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (cbrt 10.0)) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (cbrt 10.0)) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (cbrt 10.0)) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (* (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (fabs (cbrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (* (sqrt (sqrt (+ x y))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (cbrt (sqrt (+ x y))))) (* (sqrt (sqrt (+ x y))) (fabs (cbrt (+ x y)))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (cbrt (+ x y))))) (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) (/ (sqrt (sqrt (+ x y))) 10.0) (pow (sqrt (sqrt (+ x y))) 3) (* (hypot (pow y 3/2) (pow x 3/2)) (/ (sqrt (sqrt (+ x y))) 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt (fma x x (* y (- y x))))) (/ (sqrt (sqrt (+ x y))) (/ 10.0 (sqrt (- (* x x) (* y y))))) (/ (sqrt (sqrt (+ x y))) (sqrt (- x y))) (/ 1 (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (cbrt (/ 10.0 (sqrt (+ x y))))) (/ 1 (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (+ x y)) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (cbrt (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (/ (cbrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ (sqrt (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (sqrt 10.0)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (cbrt (sqrt (+ x y))))) (/ (fabs (cbrt (+ x y))) (sqrt 10.0)) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (sqrt (cbrt (+ x y))))) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ (sqrt (sqrt (+ x y))) (sqrt 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (sqrt (+ x y)) (/ 10.0 (cbrt (sqrt (+ x y))))) (fabs (cbrt (+ x y))) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (cbrt (+ x y))))) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) 1 (/ (+ x y) 10.0) 1 (/ (+ x y) 10.0) (sqrt (sqrt (+ x y))) (/ (pow (sqrt (sqrt (+ x y))) 3) 10.0) 1 (/ (+ x y) 10.0) 1 (/ (+ x y) 10.0) (/ 1 10.0) (+ y x) (/ (hypot (pow y 3/2) (pow x 3/2)) 10.0) (/ (sqrt (+ x y)) (sqrt (fma x x (* y (- y x))))) (/ (sqrt (- (* x x) (* y y))) 10.0) (/ (sqrt (+ x y)) (sqrt (- x y))) (/ (sqrt (+ x y)) 10.0) (/ 10.0 (+ x y)) (/ (sqrt (+ x y)) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (sqrt (/ 10.0 (sqrt (+ x y))))) (/ (sqrt (+ x y)) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (/ (sqrt (+ x y)) (/ (* (cbrt 10.0) (cbrt 10.0)) (fabs (cbrt (+ x y))))) (/ (pow (sqrt (sqrt (+ x y))) 3) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (pow (sqrt (sqrt (+ x y))) 3) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (/ (sqrt 10.0) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))))) (* (/ (sqrt (+ x y)) (sqrt 10.0)) (fabs (cbrt (+ x y)))) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (pow (sqrt (sqrt (+ x y))) 3) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (* (sqrt (+ x y)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))) (* (sqrt (+ x y)) (fabs (cbrt (+ x y)))) (pow (sqrt (sqrt (+ x y))) 3) (sqrt (+ x y)) (sqrt (+ x y)) (pow (sqrt (sqrt (+ x y))) 3) (sqrt (+ x y)) (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0) (/ (* (sqrt (+ x y)) (hypot (pow y 3/2) (pow x 3/2))) 10.0) (/ (sqrt (+ x y)) (/ 10.0 (sqrt (- (* x x) (* y y))))) (/ (/ 10.0 (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (/ (/ 10.0 (sqrt (+ x y))) (sqrt (cbrt (+ x y)))) (/ 10.0 (pow (sqrt (sqrt (+ x y))) 3)) (/ 10.0 (+ x y)) (/ 10.0 (+ x y)) (/ 10.0 (pow (sqrt (sqrt (+ x y))) 3)) (/ 10.0 (+ x y)) (/ (sqrt (+ x y)) 10.0) (* (/ 10.0 (sqrt (+ x y))) (sqrt (fma x x (* y (- y x))))) (* (/ 10.0 (sqrt (+ x y))) (sqrt (- x y))) (expm1 (/ 10.0 (sqrt (+ x y)))) (log1p (/ 10.0 (sqrt (+ x y)))) (log (/ 10.0 (sqrt (+ x y)))) (log (/ 10.0 (sqrt (+ x y)))) (exp (/ 10.0 (sqrt (+ x y)))) (pow (/ 10.0 (sqrt (+ x y))) 3) (* (cbrt (/ 10.0 (sqrt (+ x y)))) (cbrt (/ 10.0 (sqrt (+ x y))))) (cbrt (/ 10.0 (sqrt (+ x y)))) (pow (/ 10.0 (sqrt (+ x y))) 3) (sqrt (/ 10.0 (sqrt (+ x y)))) (sqrt (/ 10.0 (sqrt (+ x y)))) (- 10.0) (- (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))) (/ (cbrt 10.0) (cbrt (sqrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (fabs (cbrt (+ x y)))) (/ (cbrt 10.0) (sqrt (cbrt (+ x y)))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y)))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y)))) (* (cbrt 10.0) (cbrt 10.0)) (/ (cbrt 10.0) (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0)) (/ (cbrt 10.0) (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (sqrt (+ x y)))) (/ (cbrt 10.0) (sqrt (sqrt (+ x y)))) (* (cbrt 10.0) (cbrt 10.0)) (/ (cbrt 10.0) (sqrt (+ x y))) (/ (sqrt 10.0) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))) (/ (sqrt 10.0) (cbrt (sqrt (+ x y)))) (/ (sqrt 10.0) (fabs (cbrt (+ x y)))) (/ (sqrt 10.0) (sqrt (cbrt (+ x y)))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y)))) (sqrt 10.0) (/ (sqrt 10.0) (sqrt (+ x y))) (sqrt 10.0) (/ (sqrt 10.0) (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y)))) (/ (sqrt 10.0) (sqrt (sqrt (+ x y)))) (sqrt 10.0) (/ (sqrt 10.0) (sqrt (+ x y))) (/ 1 (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))) (/ 10.0 (cbrt (sqrt (+ x y)))) (/ 1 (fabs (cbrt (+ x y)))) (/ 10.0 (sqrt (cbrt (+ x y)))) (/ 1 (sqrt (sqrt (+ x y)))) (/ 10.0 (sqrt (sqrt (+ x y)))) 1 (/ 10.0 (sqrt (+ x y))) 1 (/ 10.0 (sqrt (+ x y))) (/ 1 (sqrt (sqrt (+ x y)))) (/ 10.0 (sqrt (sqrt (+ x y)))) 1 (/ 10.0 (sqrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ (sqrt (+ x y)) 10.0) (/ 10.0 (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))) (/ 10.0 (fabs (cbrt (+ x y)))) (/ 10.0 (sqrt (sqrt (+ x y)))) 10.0 10.0 (/ 10.0 (sqrt (sqrt (+ x y)))) 10.0 (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) 10.0) (/ 10.0 (hypot (pow y 3/2) (pow x 3/2))) (/ 10.0 (sqrt (- (* x x) (* y y)))) (expm1 (sqrt (+ x y))) (log1p (sqrt (+ x y))) (log (sqrt (+ x y))) (exp (sqrt (+ x y))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (cbrt (sqrt (+ x y))) (pow (sqrt (+ x y)) 3) (fabs (cbrt (+ x y))) (sqrt (cbrt (+ x y))) (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) 1 (sqrt (+ x y)) 1 (sqrt (+ x y)) (hypot (pow y 3/2) (pow x 3/2)) (sqrt (fma x x (* y (- y x)))) (sqrt (- (* x x) (* y y))) (sqrt (- x y)) 1/2 (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) (expm1 (sqrt (+ x y))) (log1p (sqrt (+ x y))) (log (sqrt (+ x y))) (exp (sqrt (+ x y))) (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (cbrt (sqrt (+ x y))) (pow (sqrt (+ x y)) 3) (fabs (cbrt (+ x y))) (sqrt (cbrt (+ x y))) (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) 1 (sqrt (+ x y)) 1 (sqrt (+ x y)) (hypot (pow y 3/2) (pow x 3/2)) (sqrt (fma x x (* y (- y x)))) (sqrt (- (* x x) (* y y))) (sqrt (- x y)) 1/2 (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))) (* 0.1 (+ x y)) (* 0.1 (+ x y)) (+ (- (/ +nan.0 x) +nan.0) (- (/ +nan.0 (* x x)))) (- (fma +nan.0 (- x y) +nan.0)) (+ (- (/ +nan.0 x) (/ +nan.0 (pow x 3))) (- (/ +nan.0 (* x x)))) (+ (- (/ +nan.0 x) +nan.0) (- (/ +nan.0 (* x x)))) (* +nan.0 (+ (- x y) (- (* x x)))) (- (+ (* (/ y x) (- (/ +nan.0 x) +nan.0)) +nan.0)) (- (+ (* (/ y x) (- (/ +nan.0 x) +nan.0)) +nan.0)) (* +nan.0 (+ (- x y) (- (* x x)))) (- (+ (* (/ y x) (- (/ +nan.0 x) +nan.0)) +nan.0)) (- (+ (* (/ y x) (- (/ +nan.0 x) +nan.0)) +nan.0)) 11.341 * * * [progress]: adding candidates to table 11.994 * [progress]: [Phase 3 of 3] Extracting. 11.994 * * [regime]: Finding splitpoints for: (# # #) 11.996 * * * [regime-changes]: Trying 4 branch expressions: ((+ x y) (/ (+ x y) 10.0) y x) 11.996 * * * * [regimes]: Trying to branch on (+ x y) from (# # #) 12.025 * * * * [regimes]: Trying to branch on (/ (+ x y) 10.0) from (# # #) 12.049 * * * * [regimes]: Trying to branch on y from (# # #) 12.066 * * * * [regimes]: Trying to branch on x from (# # #) 12.080 * * * [regime]: Found split indices: #