0.551 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0))) 0.020 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.021 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 0.023 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 0.028 * * [simplify]: iteration 3 : 70 enodes (cost 11 ) 0.037 * * [simplify]: iteration 4 : 134 enodes (cost 11 ) 0.061 * * [simplify]: iteration 5 : 241 enodes (cost 11 ) 0.105 * * [simplify]: iteration 6 : 313 enodes (cost 11 ) 0.191 * * [simplify]: iteration 7 : 330 enodes (cost 11 ) 0.285 * * [simplify]: iteration 8 : 370 enodes (cost 11 ) 0.397 * * [simplify]: iteration 9 : 445 enodes (cost 11 ) 0.555 * * [simplify]: iteration 10 : 516 enodes (cost 11 ) 0.755 * * [simplify]: iteration 11 : 522 enodes (cost 11 ) 0.956 * * [simplify]: iteration 12 : 537 enodes (cost 11 ) 1.168 * * [simplify]: iteration 13 : 614 enodes (cost 11 ) 1.443 * * [simplify]: iteration 14 : 831 enodes (cost 11 ) 1.919 * * [simplify]: iteration 15 : 1130 enodes (cost 11 ) 2.812 * * [simplify]: iteration 16 : 1545 enodes (cost 11 ) 4.604 * * [simplify]: iteration 17 : 2108 enodes (cost 11 ) 8.040 * * [simplify]: iteration 18 : 2711 enodes (cost 11 ) 14.174 * * [simplify]: iteration 19 : 2763 enodes (cost 11 ) 20.459 * * [simplify]: iteration done : 2763 enodes (cost 11 ) 20.459 * [simplify]: Simplified to: (- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0))) 20.459 * * [progress]: iteration 1 / 4 20.459 * * * [progress]: picking best candidate 20.461 * * * * [pick]: Picked # 20.461 * * * [progress]: localizing error 20.468 * * * [progress]: generating rewritten candidates 20.468 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 20.477 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 20.486 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 20.498 * * * [progress]: generating series expansions 20.498 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 20.498 * [approximate]: Taking taylor expansion of (/ (* y (- 1.0 x)) (+ y 1.0)) in (x y) around 0 20.498 * [taylor]: Taking taylor expansion of (/ (* y (- 1.0 x)) (+ y 1.0)) in y 20.498 * [taylor]: Taking taylor expansion of (* y (- 1.0 x)) in y 20.498 * [taylor]: Taking taylor expansion of y in y 20.498 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 20.498 * [taylor]: Taking taylor expansion of 1.0 in y 20.498 * [taylor]: Taking taylor expansion of x in y 20.498 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 20.498 * [taylor]: Taking taylor expansion of y in y 20.498 * [taylor]: Taking taylor expansion of 1.0 in y 20.500 * [taylor]: Taking taylor expansion of (/ (* y (- 1.0 x)) (+ y 1.0)) in x 20.500 * [taylor]: Taking taylor expansion of (* y (- 1.0 x)) in x 20.500 * [taylor]: Taking taylor expansion of y in x 20.500 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 20.500 * [taylor]: Taking taylor expansion of 1.0 in x 20.500 * [taylor]: Taking taylor expansion of x in x 20.500 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 20.500 * [taylor]: Taking taylor expansion of y in x 20.500 * [taylor]: Taking taylor expansion of 1.0 in x 20.500 * [taylor]: Taking taylor expansion of (/ (* y (- 1.0 x)) (+ y 1.0)) in x 20.501 * [taylor]: Taking taylor expansion of (* y (- 1.0 x)) in x 20.501 * [taylor]: Taking taylor expansion of y in x 20.501 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 20.501 * [taylor]: Taking taylor expansion of 1.0 in x 20.501 * [taylor]: Taking taylor expansion of x in x 20.501 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 20.501 * [taylor]: Taking taylor expansion of y in x 20.501 * [taylor]: Taking taylor expansion of 1.0 in x 20.501 * [taylor]: Taking taylor expansion of (* 1.0 (/ y (+ y 1.0))) in y 20.501 * [taylor]: Taking taylor expansion of 1.0 in y 20.501 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in y 20.501 * [taylor]: Taking taylor expansion of y in y 20.501 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 20.501 * [taylor]: Taking taylor expansion of y in y 20.501 * [taylor]: Taking taylor expansion of 1.0 in y 20.503 * [taylor]: Taking taylor expansion of (- (/ y (+ y 1.0))) in y 20.503 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in y 20.504 * [taylor]: Taking taylor expansion of y in y 20.504 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 20.504 * [taylor]: Taking taylor expansion of y in y 20.504 * [taylor]: Taking taylor expansion of 1.0 in y 20.509 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (* (+ (/ 1 y) 1.0) y)) in (x y) around 0 20.509 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (* (+ (/ 1 y) 1.0) y)) in y 20.509 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 20.509 * [taylor]: Taking taylor expansion of 1.0 in y 20.509 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.509 * [taylor]: Taking taylor expansion of x in y 20.509 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) y) in y 20.509 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 20.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.509 * [taylor]: Taking taylor expansion of y in y 20.509 * [taylor]: Taking taylor expansion of 1.0 in y 20.509 * [taylor]: Taking taylor expansion of y in y 20.511 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (* (+ (/ 1 y) 1.0) y)) in x 20.511 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 20.511 * [taylor]: Taking taylor expansion of 1.0 in x 20.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.511 * [taylor]: Taking taylor expansion of x in x 20.511 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) y) in x 20.511 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 20.511 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.511 * [taylor]: Taking taylor expansion of y in x 20.512 * [taylor]: Taking taylor expansion of 1.0 in x 20.512 * [taylor]: Taking taylor expansion of y in x 20.512 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (* (+ (/ 1 y) 1.0) y)) in x 20.512 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 20.512 * [taylor]: Taking taylor expansion of 1.0 in x 20.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.512 * [taylor]: Taking taylor expansion of x in x 20.513 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) y) in x 20.513 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 20.513 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.513 * [taylor]: Taking taylor expansion of y in x 20.513 * [taylor]: Taking taylor expansion of 1.0 in x 20.513 * [taylor]: Taking taylor expansion of y in x 20.513 * [taylor]: Taking taylor expansion of (/ -1 (* (+ (/ 1 y) 1.0) y)) in y 20.513 * [taylor]: Taking taylor expansion of -1 in y 20.513 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) y) in y 20.513 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 20.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.513 * [taylor]: Taking taylor expansion of y in y 20.514 * [taylor]: Taking taylor expansion of 1.0 in y 20.514 * [taylor]: Taking taylor expansion of y in y 20.517 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (+ (/ 1 y) 1.0) y))) in y 20.517 * [taylor]: Taking taylor expansion of 1.0 in y 20.517 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) 1.0) y)) in y 20.517 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) y) in y 20.517 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 20.517 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.517 * [taylor]: Taking taylor expansion of y in y 20.517 * [taylor]: Taking taylor expansion of 1.0 in y 20.517 * [taylor]: Taking taylor expansion of y in y 20.524 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) (* (- 1.0 (/ 1 y)) y))) in (x y) around 0 20.524 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) (* (- 1.0 (/ 1 y)) y))) in y 20.524 * [taylor]: Taking taylor expansion of -1 in y 20.524 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (* (- 1.0 (/ 1 y)) y)) in y 20.524 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 20.524 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.524 * [taylor]: Taking taylor expansion of x in y 20.524 * [taylor]: Taking taylor expansion of 1.0 in y 20.524 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in y 20.524 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 20.524 * [taylor]: Taking taylor expansion of 1.0 in y 20.524 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.524 * [taylor]: Taking taylor expansion of y in y 20.525 * [taylor]: Taking taylor expansion of y in y 20.527 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) (* (- 1.0 (/ 1 y)) y))) in x 20.527 * [taylor]: Taking taylor expansion of -1 in x 20.527 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (* (- 1.0 (/ 1 y)) y)) in x 20.527 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 20.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.527 * [taylor]: Taking taylor expansion of x in x 20.527 * [taylor]: Taking taylor expansion of 1.0 in x 20.527 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in x 20.527 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 20.527 * [taylor]: Taking taylor expansion of 1.0 in x 20.527 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.527 * [taylor]: Taking taylor expansion of y in x 20.527 * [taylor]: Taking taylor expansion of y in x 20.528 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) (* (- 1.0 (/ 1 y)) y))) in x 20.528 * [taylor]: Taking taylor expansion of -1 in x 20.528 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (* (- 1.0 (/ 1 y)) y)) in x 20.528 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 20.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.528 * [taylor]: Taking taylor expansion of x in x 20.528 * [taylor]: Taking taylor expansion of 1.0 in x 20.528 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in x 20.528 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 20.528 * [taylor]: Taking taylor expansion of 1.0 in x 20.528 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.528 * [taylor]: Taking taylor expansion of y in x 20.528 * [taylor]: Taking taylor expansion of y in x 20.529 * [taylor]: Taking taylor expansion of (/ -1 (* (- 1.0 (/ 1 y)) y)) in y 20.529 * [taylor]: Taking taylor expansion of -1 in y 20.529 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in y 20.529 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 20.529 * [taylor]: Taking taylor expansion of 1.0 in y 20.529 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.529 * [taylor]: Taking taylor expansion of y in y 20.529 * [taylor]: Taking taylor expansion of y in y 20.537 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (* y (- 1.0 (/ 1 y)))))) in y 20.537 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* y (- 1.0 (/ 1 y))))) in y 20.537 * [taylor]: Taking taylor expansion of 1.0 in y 20.537 * [taylor]: Taking taylor expansion of (/ 1 (* y (- 1.0 (/ 1 y)))) in y 20.537 * [taylor]: Taking taylor expansion of (* y (- 1.0 (/ 1 y))) in y 20.537 * [taylor]: Taking taylor expansion of y in y 20.537 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 20.537 * [taylor]: Taking taylor expansion of 1.0 in y 20.537 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.537 * [taylor]: Taking taylor expansion of y in y 20.545 * * * * [progress]: [ 2 / 3 ] generating series at (2) 20.546 * [approximate]: Taking taylor expansion of (- (+ (/ (* x y) (+ y 1.0)) 1.0) (* 1.0 (/ y (+ y 1.0)))) in (x y) around 0 20.546 * [taylor]: Taking taylor expansion of (- (+ (/ (* x y) (+ y 1.0)) 1.0) (* 1.0 (/ y (+ y 1.0)))) in y 20.546 * [taylor]: Taking taylor expansion of (+ (/ (* x y) (+ y 1.0)) 1.0) in y 20.546 * [taylor]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in y 20.546 * [taylor]: Taking taylor expansion of (* x y) in y 20.546 * [taylor]: Taking taylor expansion of x in y 20.546 * [taylor]: Taking taylor expansion of y in y 20.546 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 20.546 * [taylor]: Taking taylor expansion of y in y 20.546 * [taylor]: Taking taylor expansion of 1.0 in y 20.546 * [taylor]: Taking taylor expansion of 1.0 in y 20.546 * [taylor]: Taking taylor expansion of (* 1.0 (/ y (+ y 1.0))) in y 20.546 * [taylor]: Taking taylor expansion of 1.0 in y 20.546 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in y 20.546 * [taylor]: Taking taylor expansion of y in y 20.546 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 20.546 * [taylor]: Taking taylor expansion of y in y 20.547 * [taylor]: Taking taylor expansion of 1.0 in y 20.547 * [taylor]: Taking taylor expansion of (- (+ (/ (* x y) (+ y 1.0)) 1.0) (* 1.0 (/ y (+ y 1.0)))) in x 20.547 * [taylor]: Taking taylor expansion of (+ (/ (* x y) (+ y 1.0)) 1.0) in x 20.547 * [taylor]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in x 20.547 * [taylor]: Taking taylor expansion of (* x y) in x 20.547 * [taylor]: Taking taylor expansion of x in x 20.547 * [taylor]: Taking taylor expansion of y in x 20.547 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 20.547 * [taylor]: Taking taylor expansion of y in x 20.547 * [taylor]: Taking taylor expansion of 1.0 in x 20.548 * [taylor]: Taking taylor expansion of 1.0 in x 20.548 * [taylor]: Taking taylor expansion of (* 1.0 (/ y (+ y 1.0))) in x 20.548 * [taylor]: Taking taylor expansion of 1.0 in x 20.548 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in x 20.548 * [taylor]: Taking taylor expansion of y in x 20.548 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 20.548 * [taylor]: Taking taylor expansion of y in x 20.548 * [taylor]: Taking taylor expansion of 1.0 in x 20.548 * [taylor]: Taking taylor expansion of (- (+ (/ (* x y) (+ y 1.0)) 1.0) (* 1.0 (/ y (+ y 1.0)))) in x 20.548 * [taylor]: Taking taylor expansion of (+ (/ (* x y) (+ y 1.0)) 1.0) in x 20.548 * [taylor]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in x 20.548 * [taylor]: Taking taylor expansion of (* x y) in x 20.548 * [taylor]: Taking taylor expansion of x in x 20.548 * [taylor]: Taking taylor expansion of y in x 20.548 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 20.548 * [taylor]: Taking taylor expansion of y in x 20.548 * [taylor]: Taking taylor expansion of 1.0 in x 20.548 * [taylor]: Taking taylor expansion of 1.0 in x 20.548 * [taylor]: Taking taylor expansion of (* 1.0 (/ y (+ y 1.0))) in x 20.548 * [taylor]: Taking taylor expansion of 1.0 in x 20.548 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in x 20.548 * [taylor]: Taking taylor expansion of y in x 20.548 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 20.548 * [taylor]: Taking taylor expansion of y in x 20.548 * [taylor]: Taking taylor expansion of 1.0 in x 20.549 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ y (+ y 1.0)))) in y 20.549 * [taylor]: Taking taylor expansion of 1.0 in y 20.549 * [taylor]: Taking taylor expansion of (* 1.0 (/ y (+ y 1.0))) in y 20.549 * [taylor]: Taking taylor expansion of 1.0 in y 20.549 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in y 20.549 * [taylor]: Taking taylor expansion of y in y 20.549 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 20.549 * [taylor]: Taking taylor expansion of y in y 20.549 * [taylor]: Taking taylor expansion of 1.0 in y 20.551 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in y 20.551 * [taylor]: Taking taylor expansion of y in y 20.551 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 20.551 * [taylor]: Taking taylor expansion of y in y 20.551 * [taylor]: Taking taylor expansion of 1.0 in y 20.555 * [taylor]: Taking taylor expansion of 0 in y 20.556 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x (* (+ (/ 1 y) 1.0) y))) 1.0) (* 1.0 (/ 1 (* (+ (/ 1 y) 1.0) y)))) in (x y) around 0 20.556 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (+ (/ 1 y) 1.0) y))) 1.0) (* 1.0 (/ 1 (* (+ (/ 1 y) 1.0) y)))) in y 20.556 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (+ (/ 1 y) 1.0) y))) 1.0) in y 20.556 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ (/ 1 y) 1.0) y))) in y 20.556 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 y) 1.0) y)) in y 20.556 * [taylor]: Taking taylor expansion of x in y 20.556 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) y) in y 20.556 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 20.556 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.556 * [taylor]: Taking taylor expansion of y in y 20.556 * [taylor]: Taking taylor expansion of 1.0 in y 20.556 * [taylor]: Taking taylor expansion of y in y 20.558 * [taylor]: Taking taylor expansion of 1.0 in y 20.558 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (+ (/ 1 y) 1.0) y))) in y 20.558 * [taylor]: Taking taylor expansion of 1.0 in y 20.558 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) 1.0) y)) in y 20.558 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) y) in y 20.558 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 20.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.558 * [taylor]: Taking taylor expansion of y in y 20.559 * [taylor]: Taking taylor expansion of 1.0 in y 20.559 * [taylor]: Taking taylor expansion of y in y 20.561 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (+ (/ 1 y) 1.0) y))) 1.0) (* 1.0 (/ 1 (* (+ (/ 1 y) 1.0) y)))) in x 20.561 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (+ (/ 1 y) 1.0) y))) 1.0) in x 20.561 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ (/ 1 y) 1.0) y))) in x 20.561 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 y) 1.0) y)) in x 20.561 * [taylor]: Taking taylor expansion of x in x 20.561 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) y) in x 20.561 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 20.561 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.561 * [taylor]: Taking taylor expansion of y in x 20.561 * [taylor]: Taking taylor expansion of 1.0 in x 20.561 * [taylor]: Taking taylor expansion of y in x 20.562 * [taylor]: Taking taylor expansion of 1.0 in x 20.562 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (+ (/ 1 y) 1.0) y))) in x 20.562 * [taylor]: Taking taylor expansion of 1.0 in x 20.562 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) 1.0) y)) in x 20.562 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) y) in x 20.562 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 20.562 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.562 * [taylor]: Taking taylor expansion of y in x 20.562 * [taylor]: Taking taylor expansion of 1.0 in x 20.562 * [taylor]: Taking taylor expansion of y in x 20.562 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (+ (/ 1 y) 1.0) y))) 1.0) (* 1.0 (/ 1 (* (+ (/ 1 y) 1.0) y)))) in x 20.562 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (+ (/ 1 y) 1.0) y))) 1.0) in x 20.562 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ (/ 1 y) 1.0) y))) in x 20.562 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 y) 1.0) y)) in x 20.562 * [taylor]: Taking taylor expansion of x in x 20.562 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) y) in x 20.562 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 20.562 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.562 * [taylor]: Taking taylor expansion of y in x 20.562 * [taylor]: Taking taylor expansion of 1.0 in x 20.562 * [taylor]: Taking taylor expansion of y in x 20.563 * [taylor]: Taking taylor expansion of 1.0 in x 20.563 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (+ (/ 1 y) 1.0) y))) in x 20.563 * [taylor]: Taking taylor expansion of 1.0 in x 20.563 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) 1.0) y)) in x 20.563 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) y) in x 20.563 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 20.563 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.563 * [taylor]: Taking taylor expansion of y in x 20.563 * [taylor]: Taking taylor expansion of 1.0 in x 20.563 * [taylor]: Taking taylor expansion of y in x 20.563 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 y) 1)) in y 20.563 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) 1) in y 20.563 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 20.564 * [taylor]: Taking taylor expansion of 1.0 in y 20.564 * [taylor]: Taking taylor expansion of y in y 20.564 * [taylor]: Taking taylor expansion of 1 in y 20.566 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (* (+ (/ 1 y) 1.0) y)))) in y 20.566 * [taylor]: Taking taylor expansion of 1.0 in y 20.566 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (+ (/ 1 y) 1.0) y))) in y 20.566 * [taylor]: Taking taylor expansion of 1.0 in y 20.566 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) 1.0) y)) in y 20.566 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) y) in y 20.566 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 20.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.566 * [taylor]: Taking taylor expansion of y in y 20.567 * [taylor]: Taking taylor expansion of 1.0 in y 20.567 * [taylor]: Taking taylor expansion of y in y 20.575 * [taylor]: Taking taylor expansion of 0 in y 20.582 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) (+ (* 1.0 (/ 1 (* (- 1.0 (/ 1 y)) y))) 1.0)) in (x y) around 0 20.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) (+ (* 1.0 (/ 1 (* (- 1.0 (/ 1 y)) y))) 1.0)) in y 20.582 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in y 20.582 * [taylor]: Taking taylor expansion of (* x (* (- 1.0 (/ 1 y)) y)) in y 20.582 * [taylor]: Taking taylor expansion of x in y 20.582 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in y 20.582 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 20.582 * [taylor]: Taking taylor expansion of 1.0 in y 20.582 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.582 * [taylor]: Taking taylor expansion of y in y 20.582 * [taylor]: Taking taylor expansion of y in y 20.585 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* (- 1.0 (/ 1 y)) y))) 1.0) in y 20.585 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (- 1.0 (/ 1 y)) y))) in y 20.585 * [taylor]: Taking taylor expansion of 1.0 in y 20.585 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 y)) y)) in y 20.585 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in y 20.585 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 20.585 * [taylor]: Taking taylor expansion of 1.0 in y 20.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.585 * [taylor]: Taking taylor expansion of y in y 20.585 * [taylor]: Taking taylor expansion of y in y 20.588 * [taylor]: Taking taylor expansion of 1.0 in y 20.588 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) (+ (* 1.0 (/ 1 (* (- 1.0 (/ 1 y)) y))) 1.0)) in x 20.588 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in x 20.588 * [taylor]: Taking taylor expansion of (* x (* (- 1.0 (/ 1 y)) y)) in x 20.588 * [taylor]: Taking taylor expansion of x in x 20.588 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in x 20.588 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 20.588 * [taylor]: Taking taylor expansion of 1.0 in x 20.588 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.588 * [taylor]: Taking taylor expansion of y in x 20.588 * [taylor]: Taking taylor expansion of y in x 20.589 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* (- 1.0 (/ 1 y)) y))) 1.0) in x 20.589 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (- 1.0 (/ 1 y)) y))) in x 20.589 * [taylor]: Taking taylor expansion of 1.0 in x 20.590 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 y)) y)) in x 20.590 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in x 20.590 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 20.590 * [taylor]: Taking taylor expansion of 1.0 in x 20.590 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.590 * [taylor]: Taking taylor expansion of y in x 20.590 * [taylor]: Taking taylor expansion of y in x 20.590 * [taylor]: Taking taylor expansion of 1.0 in x 20.590 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) (+ (* 1.0 (/ 1 (* (- 1.0 (/ 1 y)) y))) 1.0)) in x 20.590 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in x 20.590 * [taylor]: Taking taylor expansion of (* x (* (- 1.0 (/ 1 y)) y)) in x 20.590 * [taylor]: Taking taylor expansion of x in x 20.590 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in x 20.590 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 20.590 * [taylor]: Taking taylor expansion of 1.0 in x 20.590 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.590 * [taylor]: Taking taylor expansion of y in x 20.590 * [taylor]: Taking taylor expansion of y in x 20.591 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* (- 1.0 (/ 1 y)) y))) 1.0) in x 20.592 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (- 1.0 (/ 1 y)) y))) in x 20.592 * [taylor]: Taking taylor expansion of 1.0 in x 20.592 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1.0 (/ 1 y)) y)) in x 20.592 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in x 20.592 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 20.592 * [taylor]: Taking taylor expansion of 1.0 in x 20.592 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.592 * [taylor]: Taking taylor expansion of y in x 20.592 * [taylor]: Taking taylor expansion of y in x 20.592 * [taylor]: Taking taylor expansion of 1.0 in x 20.592 * [taylor]: Taking taylor expansion of (/ 1 (- (* 1.0 y) 1)) in y 20.592 * [taylor]: Taking taylor expansion of (- (* 1.0 y) 1) in y 20.592 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 20.592 * [taylor]: Taking taylor expansion of 1.0 in y 20.592 * [taylor]: Taking taylor expansion of y in y 20.592 * [taylor]: Taking taylor expansion of 1 in y 20.595 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* y (- 1.0 (/ 1 y))))) 1.0) in y 20.595 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* y (- 1.0 (/ 1 y))))) in y 20.595 * [taylor]: Taking taylor expansion of 1.0 in y 20.595 * [taylor]: Taking taylor expansion of (/ 1 (* y (- 1.0 (/ 1 y)))) in y 20.595 * [taylor]: Taking taylor expansion of (* y (- 1.0 (/ 1 y))) in y 20.595 * [taylor]: Taking taylor expansion of y in y 20.595 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 20.595 * [taylor]: Taking taylor expansion of 1.0 in y 20.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.595 * [taylor]: Taking taylor expansion of y in y 20.598 * [taylor]: Taking taylor expansion of 1.0 in y 20.605 * [taylor]: Taking taylor expansion of 0 in y 20.611 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 20.612 * [approximate]: Taking taylor expansion of (* y (- 1.0 x)) in (x y) around 0 20.612 * [taylor]: Taking taylor expansion of (* y (- 1.0 x)) in y 20.612 * [taylor]: Taking taylor expansion of y in y 20.612 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 20.612 * [taylor]: Taking taylor expansion of 1.0 in y 20.612 * [taylor]: Taking taylor expansion of x in y 20.612 * [taylor]: Taking taylor expansion of (* y (- 1.0 x)) in x 20.612 * [taylor]: Taking taylor expansion of y in x 20.612 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 20.612 * [taylor]: Taking taylor expansion of 1.0 in x 20.612 * [taylor]: Taking taylor expansion of x in x 20.612 * [taylor]: Taking taylor expansion of (* y (- 1.0 x)) in x 20.612 * [taylor]: Taking taylor expansion of y in x 20.612 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 20.612 * [taylor]: Taking taylor expansion of 1.0 in x 20.612 * [taylor]: Taking taylor expansion of x in x 20.612 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 20.612 * [taylor]: Taking taylor expansion of 1.0 in y 20.612 * [taylor]: Taking taylor expansion of y in y 20.614 * [taylor]: Taking taylor expansion of (- y) in y 20.614 * [taylor]: Taking taylor expansion of y in y 20.616 * [taylor]: Taking taylor expansion of 0 in y 20.618 * [taylor]: Taking taylor expansion of 0 in y 20.620 * [taylor]: Taking taylor expansion of 0 in y 20.620 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in (x y) around 0 20.620 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 20.620 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 20.620 * [taylor]: Taking taylor expansion of 1.0 in y 20.620 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.620 * [taylor]: Taking taylor expansion of x in y 20.620 * [taylor]: Taking taylor expansion of y in y 20.620 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 20.620 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 20.620 * [taylor]: Taking taylor expansion of 1.0 in x 20.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.620 * [taylor]: Taking taylor expansion of x in x 20.620 * [taylor]: Taking taylor expansion of y in x 20.623 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 20.623 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 20.623 * [taylor]: Taking taylor expansion of 1.0 in x 20.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.623 * [taylor]: Taking taylor expansion of x in x 20.624 * [taylor]: Taking taylor expansion of y in x 20.624 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.624 * [taylor]: Taking taylor expansion of -1 in y 20.624 * [taylor]: Taking taylor expansion of y in y 20.626 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 20.626 * [taylor]: Taking taylor expansion of 1.0 in y 20.626 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.626 * [taylor]: Taking taylor expansion of y in y 20.628 * [taylor]: Taking taylor expansion of 0 in y 20.630 * [taylor]: Taking taylor expansion of 0 in y 20.632 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in (x y) around 0 20.632 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in y 20.632 * [taylor]: Taking taylor expansion of -1 in y 20.632 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y 20.632 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 20.632 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.632 * [taylor]: Taking taylor expansion of x in y 20.632 * [taylor]: Taking taylor expansion of 1.0 in y 20.632 * [taylor]: Taking taylor expansion of y in y 20.632 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in x 20.632 * [taylor]: Taking taylor expansion of -1 in x 20.632 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 20.632 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 20.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.633 * [taylor]: Taking taylor expansion of x in x 20.633 * [taylor]: Taking taylor expansion of 1.0 in x 20.633 * [taylor]: Taking taylor expansion of y in x 20.633 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in x 20.633 * [taylor]: Taking taylor expansion of -1 in x 20.633 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 20.633 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 20.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.633 * [taylor]: Taking taylor expansion of x in x 20.633 * [taylor]: Taking taylor expansion of 1.0 in x 20.633 * [taylor]: Taking taylor expansion of y in x 20.634 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.634 * [taylor]: Taking taylor expansion of -1 in y 20.634 * [taylor]: Taking taylor expansion of y in y 20.635 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 20.635 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 20.635 * [taylor]: Taking taylor expansion of 1.0 in y 20.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.635 * [taylor]: Taking taylor expansion of y in y 20.638 * [taylor]: Taking taylor expansion of 0 in y 20.641 * [taylor]: Taking taylor expansion of 0 in y 20.643 * * * [progress]: simplifying candidates 20.644 * [simplify]: Simplifying using # : (- (+ (log (- 1.0 x)) (log y)) (log (+ y 1.0))) (- (log (* (- 1.0 x) y)) (log (+ y 1.0))) (log (/ (* (- 1.0 x) y) (+ y 1.0))) (exp (/ (* (- 1.0 x) y) (+ y 1.0))) (/ (* (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y)) (* (* (+ y 1.0) (+ y 1.0)) (+ y 1.0))) (/ (* (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (- 1.0 x) y)) (* (* (+ y 1.0) (+ y 1.0)) (+ y 1.0))) (* (cbrt (/ (* (- 1.0 x) y) (+ y 1.0))) (cbrt (/ (* (- 1.0 x) y) (+ y 1.0)))) (cbrt (/ (* (- 1.0 x) y) (+ y 1.0))) (* (* (/ (* (- 1.0 x) y) (+ y 1.0)) (/ (* (- 1.0 x) y) (+ y 1.0))) (/ (* (- 1.0 x) y) (+ y 1.0))) (sqrt (/ (* (- 1.0 x) y) (+ y 1.0))) (sqrt (/ (* (- 1.0 x) y) (+ y 1.0))) (- (* (- 1.0 x) y)) (- (+ y 1.0)) (/ (- 1.0 x) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ y (cbrt (+ y 1.0))) (/ (- 1.0 x) (sqrt (+ y 1.0))) (/ y (sqrt (+ y 1.0))) (/ (- 1.0 x) 1) (/ y (+ y 1.0)) (/ (- 1.0 x) 1) (/ y (+ y 1.0)) (/ 1 (+ y 1.0)) (/ (+ y 1.0) (* (- 1.0 x) y)) (/ (* (- 1.0 x) y) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (* (- 1.0 x) y) (sqrt (+ y 1.0))) (/ (* (- 1.0 x) y) 1) (/ (* (- 1.0 x) y) 1) (/ (+ y 1.0) y) (/ (* (- 1.0 x) y) (+ (pow y 3) (pow 1.0 3))) (/ (* (- 1.0 x) y) (- (* y y) (* 1.0 1.0))) (* (+ y 1.0) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (+ y 1.0) (+ 1.0 x)) (/ (exp 1.0) (exp (/ (* (- 1.0 x) y) (+ y 1.0)))) (log (- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))) (exp (- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))) (* (cbrt (- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))) (cbrt (- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0))))) (cbrt (- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))) (* (* (- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0))) (- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))) (- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))) (sqrt (- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))) (sqrt (- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))) (- (pow 1.0 3) (pow (/ (* (- 1.0 x) y) (+ y 1.0)) 3)) (+ (* 1.0 1.0) (+ (* (/ (* (- 1.0 x) y) (+ y 1.0)) (/ (* (- 1.0 x) y) (+ y 1.0))) (* 1.0 (/ (* (- 1.0 x) y) (+ y 1.0))))) (- (/ (* (- 1.0 x) y) (+ y 1.0))) (- (* 1.0 1.0) (* (/ (* (- 1.0 x) y) (+ y 1.0)) (/ (* (- 1.0 x) y) (+ y 1.0)))) (+ 1.0 (/ (* (- 1.0 x) y) (+ y 1.0))) (+ (sqrt 1.0) (sqrt (/ (* (- 1.0 x) y) (+ y 1.0)))) (- (sqrt 1.0) (sqrt (/ (* (- 1.0 x) y) (+ y 1.0)))) (- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0))) (- (/ (* (- 1.0 x) y) (+ y 1.0))) (* (- 1.0 x) y) (+ (log (- 1.0 x)) (log y)) (log (* (- 1.0 x) y)) (exp (* (- 1.0 x) y)) (* (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y)) (* (cbrt (* (- 1.0 x) y)) (cbrt (* (- 1.0 x) y))) (cbrt (* (- 1.0 x) y)) (* (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (- 1.0 x) y)) (sqrt (* (- 1.0 x) y)) (sqrt (* (- 1.0 x) y)) (* (sqrt (- 1.0 x)) (sqrt y)) (* (sqrt (- 1.0 x)) (sqrt y)) (* (- 1.0 x) (* (cbrt y) (cbrt y))) (* (- 1.0 x) (sqrt y)) (* (- 1.0 x) 1) (* (cbrt (- 1.0 x)) y) (* (sqrt (- 1.0 x)) y) (* (- 1.0 x) y) (* (- (sqrt 1.0) (sqrt x)) y) (* (- 1.0 x) y) (* (- (pow 1.0 3) (pow x 3)) y) (* (- (* 1.0 1.0) (* x x)) y) (- (* 1.0 y) (+ (* 1.0 (pow y 2)) (* 1.0 (* x y)))) (- (+ (* 1.0 (/ x y)) 1.0) x) (- (+ (* 1.0 (/ x y)) 1.0) x) (- (+ (* 1.0 (* x y)) 1.0) (* 1.0 y)) (- (+ x (* 1.0 (/ 1 y))) (* 1.0 (/ x y))) (- (+ x (* 1.0 (/ 1 y))) (* 1.0 (/ x y))) (- (* 1.0 y) (* x y)) (- (* 1.0 y) (* x y)) (- (* 1.0 y) (* x y)) 20.648 * * [simplify]: iteration 0 : 128 enodes (cost 885 ) 20.669 * * [simplify]: iteration 1 : 343 enodes (cost 828 )