47.640 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.034 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.034 * [simplify]: Simplifying: (* 2.0 (- (* x x) (* x y))) 0.034 * * [simplify]: iteration 0: 7 enodes 0.041 * * [simplify]: iteration 1: 14 enodes 0.050 * * [simplify]: iteration 2: 33 enodes 0.088 * * [simplify]: iteration 3: 72 enodes 0.136 * * [simplify]: iteration 4: 106 enodes 0.198 * * [simplify]: iteration 5: 119 enodes 0.289 * * [simplify]: iteration 6: 121 enodes 0.327 * * [simplify]: iteration complete: 121 enodes 0.327 * * [simplify]: Extracting #0: cost 1 inf + 0 0.327 * * [simplify]: Extracting #1: cost 20 inf + 0 0.327 * * [simplify]: Extracting #2: cost 16 inf + 45 0.328 * * [simplify]: Extracting #3: cost 2 inf + 911 0.328 * * [simplify]: Extracting #4: cost 0 inf + 1157 0.329 * [simplify]: Simplified to: (* x (* (- x y) 2.0)) 0.343 * * [progress]: iteration 1 / 4 0.343 * * * [progress]: picking best candidate 0.362 * * * * [pick]: Picked # 0.362 * * * [progress]: localizing error 0.408 * * * [progress]: generating rewritten candidates 0.408 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.549 * * * [progress]: generating series expansions 0.549 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.549 * [backup-simplify]: Simplify (* x (* (- x y) 2.0)) into (* 2.0 (* x (- x y))) 0.549 * [approximate]: Taking taylor expansion of (* 2.0 (* x (- x y))) in (x y) around 0 0.549 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in y 0.549 * [taylor]: Taking taylor expansion of 2.0 in y 0.549 * [backup-simplify]: Simplify 2.0 into 2.0 0.549 * [taylor]: Taking taylor expansion of (* x (- x y)) in y 0.549 * [taylor]: Taking taylor expansion of x in y 0.550 * [backup-simplify]: Simplify x into x 0.550 * [taylor]: Taking taylor expansion of (- x y) in y 0.550 * [taylor]: Taking taylor expansion of x in y 0.550 * [backup-simplify]: Simplify x into x 0.550 * [taylor]: Taking taylor expansion of y in y 0.550 * [backup-simplify]: Simplify 0 into 0 0.550 * [backup-simplify]: Simplify 1 into 1 0.550 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 0.550 * [taylor]: Taking taylor expansion of 2.0 in x 0.550 * [backup-simplify]: Simplify 2.0 into 2.0 0.550 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.550 * [backup-simplify]: Simplify 0 into 0 0.550 * [backup-simplify]: Simplify 1 into 1 0.550 * [taylor]: Taking taylor expansion of (- x y) in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.550 * [backup-simplify]: Simplify 0 into 0 0.550 * [backup-simplify]: Simplify 1 into 1 0.550 * [taylor]: Taking taylor expansion of y in x 0.550 * [backup-simplify]: Simplify y into y 0.550 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 0.550 * [taylor]: Taking taylor expansion of 2.0 in x 0.551 * [backup-simplify]: Simplify 2.0 into 2.0 0.551 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.551 * [taylor]: Taking taylor expansion of x in x 0.551 * [backup-simplify]: Simplify 0 into 0 0.551 * [backup-simplify]: Simplify 1 into 1 0.551 * [taylor]: Taking taylor expansion of (- x y) in x 0.551 * [taylor]: Taking taylor expansion of x in x 0.551 * [backup-simplify]: Simplify 0 into 0 0.551 * [backup-simplify]: Simplify 1 into 1 0.551 * [taylor]: Taking taylor expansion of y in x 0.551 * [backup-simplify]: Simplify y into y 0.551 * [backup-simplify]: Simplify (- y) into (- y) 0.551 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.551 * [backup-simplify]: Simplify (* 0 (- y)) into 0 0.552 * [backup-simplify]: Simplify (* 2.0 0) into 0 0.552 * [taylor]: Taking taylor expansion of 0 in y 0.552 * [backup-simplify]: Simplify 0 into 0 0.552 * [backup-simplify]: Simplify 0 into 0 0.553 * [backup-simplify]: Simplify (- 0) into 0 0.553 * [backup-simplify]: Simplify (+ 1 0) into 1 0.554 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (- y))) into (- y) 0.554 * [backup-simplify]: Simplify (+ (* 2.0 (- y)) (* 0 0)) into (- (* 2.0 y)) 0.554 * [taylor]: Taking taylor expansion of (- (* 2.0 y)) in y 0.554 * [taylor]: Taking taylor expansion of (* 2.0 y) in y 0.555 * [taylor]: Taking taylor expansion of 2.0 in y 0.555 * [backup-simplify]: Simplify 2.0 into 2.0 0.555 * [taylor]: Taking taylor expansion of y in y 0.555 * [backup-simplify]: Simplify 0 into 0 0.555 * [backup-simplify]: Simplify 1 into 1 0.555 * [backup-simplify]: Simplify (* 2.0 0) into 0 0.556 * [backup-simplify]: Simplify (- 0) into 0 0.556 * [backup-simplify]: Simplify 0 into 0 0.556 * [backup-simplify]: Simplify 0 into 0 0.556 * [backup-simplify]: Simplify (- 0) into 0 0.556 * [backup-simplify]: Simplify (+ 0 0) into 0 0.557 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (- y)))) into 1 0.559 * [backup-simplify]: Simplify (+ (* 2.0 1) (+ (* 0 (- y)) (* 0 0))) into 2.0 0.559 * [taylor]: Taking taylor expansion of 2.0 in y 0.559 * [backup-simplify]: Simplify 2.0 into 2.0 0.559 * [backup-simplify]: Simplify 2.0 into 2.0 0.560 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0 0.561 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.561 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.561 * [backup-simplify]: Simplify 0 into 0 0.562 * [backup-simplify]: Simplify (- 0) into 0 0.562 * [backup-simplify]: Simplify (+ 0 0) into 0 0.564 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- y))))) into 0 0.565 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0 0.565 * [taylor]: Taking taylor expansion of 0 in y 0.565 * [backup-simplify]: Simplify 0 into 0 0.566 * [backup-simplify]: Simplify 0 into 0 0.566 * [backup-simplify]: Simplify 0 into 0 0.567 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (* 0 0))) into 0 0.567 * [backup-simplify]: Simplify (- 0) into 0 0.567 * [backup-simplify]: Simplify 0 into 0 0.567 * [backup-simplify]: Simplify 0 into 0 0.568 * [backup-simplify]: Simplify (- 0) into 0 0.568 * [backup-simplify]: Simplify (+ 0 0) into 0 0.570 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- y)))))) into 0 0.572 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0 0.572 * [taylor]: Taking taylor expansion of 0 in y 0.572 * [backup-simplify]: Simplify 0 into 0 0.572 * [backup-simplify]: Simplify 0 into 0 0.574 * [backup-simplify]: Simplify (+ (* (- 2.0) (* y x)) (* 2.0 (pow (* 1 x) 2))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 0.574 * [backup-simplify]: Simplify (* (/ 1 x) (* (- (/ 1 x) (/ 1 y)) 2.0)) into (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) 0.574 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in (x y) around 0 0.574 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in y 0.574 * [taylor]: Taking taylor expansion of 2.0 in y 0.574 * [backup-simplify]: Simplify 2.0 into 2.0 0.574 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in y 0.574 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.574 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.574 * [taylor]: Taking taylor expansion of x in y 0.575 * [backup-simplify]: Simplify x into x 0.575 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.575 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.575 * [taylor]: Taking taylor expansion of y in y 0.575 * [backup-simplify]: Simplify 0 into 0 0.575 * [backup-simplify]: Simplify 1 into 1 0.575 * [backup-simplify]: Simplify (/ 1 1) into 1 0.575 * [taylor]: Taking taylor expansion of x in y 0.575 * [backup-simplify]: Simplify x into x 0.576 * [backup-simplify]: Simplify (- 1) into -1 0.576 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.576 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.576 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 0.576 * [taylor]: Taking taylor expansion of 2.0 in x 0.576 * [backup-simplify]: Simplify 2.0 into 2.0 0.576 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.576 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.576 * [taylor]: Taking taylor expansion of x in x 0.576 * [backup-simplify]: Simplify 0 into 0 0.577 * [backup-simplify]: Simplify 1 into 1 0.577 * [backup-simplify]: Simplify (/ 1 1) into 1 0.577 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.577 * [taylor]: Taking taylor expansion of y in x 0.577 * [backup-simplify]: Simplify y into y 0.577 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.577 * [taylor]: Taking taylor expansion of x in x 0.577 * [backup-simplify]: Simplify 0 into 0 0.577 * [backup-simplify]: Simplify 1 into 1 0.578 * [backup-simplify]: Simplify (+ 1 0) into 1 0.578 * [backup-simplify]: Simplify (/ 1 1) into 1 0.578 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 0.578 * [taylor]: Taking taylor expansion of 2.0 in x 0.578 * [backup-simplify]: Simplify 2.0 into 2.0 0.578 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.578 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.578 * [backup-simplify]: Simplify 0 into 0 0.578 * [backup-simplify]: Simplify 1 into 1 0.579 * [backup-simplify]: Simplify (/ 1 1) into 1 0.579 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.579 * [taylor]: Taking taylor expansion of y in x 0.579 * [backup-simplify]: Simplify y into y 0.579 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.579 * [taylor]: Taking taylor expansion of x in x 0.579 * [backup-simplify]: Simplify 0 into 0 0.579 * [backup-simplify]: Simplify 1 into 1 0.580 * [backup-simplify]: Simplify (+ 1 0) into 1 0.580 * [backup-simplify]: Simplify (/ 1 1) into 1 0.581 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 0.581 * [taylor]: Taking taylor expansion of 2.0 in y 0.581 * [backup-simplify]: Simplify 2.0 into 2.0 0.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.581 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.581 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 0.582 * [backup-simplify]: Simplify (- (/ (- (/ 1 y)) 1) (+ (* 1 (/ 0 1)))) into (- (/ 1 y)) 0.582 * [backup-simplify]: Simplify (+ (* 2.0 (- (/ 1 y))) (* 0 1)) into (- (* 2.0 (/ 1 y))) 0.582 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 0.583 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.583 * [taylor]: Taking taylor expansion of 2.0 in y 0.583 * [backup-simplify]: Simplify 2.0 into 2.0 0.583 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.583 * [taylor]: Taking taylor expansion of y in y 0.583 * [backup-simplify]: Simplify 0 into 0 0.583 * [backup-simplify]: Simplify 1 into 1 0.583 * [backup-simplify]: Simplify (/ 1 1) into 1 0.583 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 0.583 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.584 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.584 * [backup-simplify]: Simplify 2.0 into 2.0 0.584 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.585 * [backup-simplify]: Simplify (- 0) into 0 0.585 * [backup-simplify]: Simplify (+ 0 0) into 0 0.586 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)))) into 0 0.587 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 0.587 * [taylor]: Taking taylor expansion of 0 in y 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.588 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 0.588 * [backup-simplify]: Simplify (- 0) into 0 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.589 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.589 * [backup-simplify]: Simplify (- 0) into 0 0.590 * [backup-simplify]: Simplify (+ 0 0) into 0 0.591 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.592 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 0.592 * [taylor]: Taking taylor expansion of 0 in y 0.592 * [backup-simplify]: Simplify 0 into 0 0.592 * [backup-simplify]: Simplify 0 into 0 0.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.593 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 0.594 * [backup-simplify]: Simplify (- 0) into 0 0.594 * [backup-simplify]: Simplify 0 into 0 0.594 * [backup-simplify]: Simplify 0 into 0 0.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.595 * [backup-simplify]: Simplify (- 0) into 0 0.595 * [backup-simplify]: Simplify (+ 0 0) into 0 0.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.598 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 0.598 * [taylor]: Taking taylor expansion of 0 in y 0.598 * [backup-simplify]: Simplify 0 into 0 0.598 * [backup-simplify]: Simplify 0 into 0 0.599 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* (- 2.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 0.600 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (- (/ 1 (- x)) (/ 1 (- y))) 2.0)) into (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) 0.600 * [approximate]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in (x y) around 0 0.600 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in y 0.600 * [taylor]: Taking taylor expansion of -2.0 in y 0.600 * [backup-simplify]: Simplify -2.0 into -2.0 0.600 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in y 0.600 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.600 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.600 * [taylor]: Taking taylor expansion of y in y 0.600 * [backup-simplify]: Simplify 0 into 0 0.600 * [backup-simplify]: Simplify 1 into 1 0.600 * [backup-simplify]: Simplify (/ 1 1) into 1 0.600 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.600 * [taylor]: Taking taylor expansion of x in y 0.600 * [backup-simplify]: Simplify x into x 0.601 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.601 * [taylor]: Taking taylor expansion of x in y 0.601 * [backup-simplify]: Simplify x into x 0.601 * [backup-simplify]: Simplify (+ 1 0) into 1 0.601 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.601 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.601 * [taylor]: Taking taylor expansion of -2.0 in x 0.601 * [backup-simplify]: Simplify -2.0 into -2.0 0.601 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.601 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.601 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.601 * [taylor]: Taking taylor expansion of y in x 0.601 * [backup-simplify]: Simplify y into y 0.601 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.601 * [backup-simplify]: Simplify 0 into 0 0.601 * [backup-simplify]: Simplify 1 into 1 0.601 * [backup-simplify]: Simplify (/ 1 1) into 1 0.601 * [taylor]: Taking taylor expansion of x in x 0.602 * [backup-simplify]: Simplify 0 into 0 0.602 * [backup-simplify]: Simplify 1 into 1 0.602 * [backup-simplify]: Simplify (- 1) into -1 0.602 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.602 * [backup-simplify]: Simplify (/ -1 1) into -1 0.602 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.602 * [taylor]: Taking taylor expansion of -2.0 in x 0.602 * [backup-simplify]: Simplify -2.0 into -2.0 0.602 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.602 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.603 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.603 * [taylor]: Taking taylor expansion of y in x 0.603 * [backup-simplify]: Simplify y into y 0.603 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [backup-simplify]: Simplify 0 into 0 0.603 * [backup-simplify]: Simplify 1 into 1 0.603 * [backup-simplify]: Simplify (/ 1 1) into 1 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [backup-simplify]: Simplify 0 into 0 0.603 * [backup-simplify]: Simplify 1 into 1 0.603 * [backup-simplify]: Simplify (- 1) into -1 0.604 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.604 * [backup-simplify]: Simplify (/ -1 1) into -1 0.604 * [backup-simplify]: Simplify (* -2.0 -1) into 2.0 0.604 * [taylor]: Taking taylor expansion of 2.0 in y 0.604 * [backup-simplify]: Simplify 2.0 into 2.0 0.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.605 * [backup-simplify]: Simplify (- 0) into 0 0.605 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.606 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* -1 (/ 0 1)))) into (/ 1 y) 0.606 * [backup-simplify]: Simplify (+ (* -2.0 (/ 1 y)) (* 0 -1)) into (- (* 2.0 (/ 1 y))) 0.606 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 0.606 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.606 * [taylor]: Taking taylor expansion of 2.0 in y 0.606 * [backup-simplify]: Simplify 2.0 into 2.0 0.606 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.606 * [taylor]: Taking taylor expansion of y in y 0.606 * [backup-simplify]: Simplify 0 into 0 0.606 * [backup-simplify]: Simplify 1 into 1 0.606 * [backup-simplify]: Simplify (/ 1 1) into 1 0.607 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 0.607 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.607 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.607 * [backup-simplify]: Simplify 2.0 into 2.0 0.608 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.608 * [backup-simplify]: Simplify (- 0) into 0 0.609 * [backup-simplify]: Simplify (+ 0 0) into 0 0.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0 0.610 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 0.610 * [taylor]: Taking taylor expansion of 0 in y 0.610 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.611 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 0.612 * [backup-simplify]: Simplify (- 0) into 0 0.612 * [backup-simplify]: Simplify 0 into 0 0.612 * [backup-simplify]: Simplify 0 into 0 0.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.613 * [backup-simplify]: Simplify (- 0) into 0 0.613 * [backup-simplify]: Simplify (+ 0 0) into 0 0.616 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.617 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 0.618 * [taylor]: Taking taylor expansion of 0 in y 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.620 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 0.620 * [backup-simplify]: Simplify (- 0) into 0 0.620 * [backup-simplify]: Simplify 0 into 0 0.620 * [backup-simplify]: Simplify 0 into 0 0.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.623 * [backup-simplify]: Simplify (- 0) into 0 0.623 * [backup-simplify]: Simplify (+ 0 0) into 0 0.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.628 * [backup-simplify]: Simplify (+ (* -2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 0.628 * [taylor]: Taking taylor expansion of 0 in y 0.628 * [backup-simplify]: Simplify 0 into 0 0.628 * [backup-simplify]: Simplify 0 into 0 0.630 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* (- 2.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 0.630 * * * [progress]: simplifying candidates 0.630 * * * * [progress]: [ 1 / 26 ] simplifiying candidate #real (real->posit16 (* x (* (- x y) 2.0)))))> 0.630 * * * * [progress]: [ 2 / 26 ] simplifiying candidate # 0.630 * * * * [progress]: [ 3 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 4 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 5 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 6 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 7 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 8 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 9 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 10 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 11 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 12 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 13 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 14 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 15 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 16 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 17 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 18 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 19 / 26 ] simplifiying candidate # 0.631 * * * * [progress]: [ 20 / 26 ] simplifiying candidate # 0.632 * * * * [progress]: [ 21 / 26 ] simplifiying candidate # 0.632 * * * * [progress]: [ 22 / 26 ] simplifiying candidate # 0.632 * * * * [progress]: [ 23 / 26 ] simplifiying candidate # 0.632 * * * * [progress]: [ 24 / 26 ] simplifiying candidate # 0.632 * * * * [progress]: [ 25 / 26 ] simplifiying candidate # 0.632 * * * * [progress]: [ 26 / 26 ] simplifiying candidate # 0.632 * [simplify]: Simplifying: (real->posit16 (* x (* (- x y) 2.0))) (expm1 (* x (* (- x y) 2.0))) (log1p (* x (* (- x y) 2.0))) (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0)) (+ (log x) (+ (log (- x y)) (log 2.0))) (+ (log x) (log (* (- x y) 2.0))) (log (* x (* (- x y) 2.0))) (exp (* x (* (- x y) 2.0))) (* (* (* x x) x) (* (* (* (- x y) (- x y)) (- x y)) (* (* 2.0 2.0) 2.0))) (* (* (* x x) x) (* (* (* (- x y) 2.0) (* (- x y) 2.0)) (* (- x y) 2.0))) (* (cbrt (* x (* (- x y) 2.0))) (cbrt (* x (* (- x y) 2.0)))) (cbrt (* x (* (- x y) 2.0))) (* (* (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0))) (* x (* (- x y) 2.0))) (sqrt (* x (* (- x y) 2.0))) (sqrt (* x (* (- x y) 2.0))) (* x (- x y)) (* (cbrt x) (* (- x y) 2.0)) (* (sqrt x) (* (- x y) 2.0)) (* x (* (- x y) 2.0)) (* x (* (- (pow x 3) (pow y 3)) 2.0)) (* x (* (- (* x x) (* y y)) 2.0)) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 0.634 * * [simplify]: iteration 0: 55 enodes 0.698 * * [simplify]: iteration 1: 140 enodes 0.877 * * [simplify]: iteration 2: 482 enodes 1.914 * * [simplify]: iteration 3: 2276 enodes 4.693 * * [simplify]: iteration complete: 5010 enodes 4.693 * * [simplify]: Extracting #0: cost 15 inf + 0 4.694 * * [simplify]: Extracting #1: cost 393 inf + 0 4.705 * * [simplify]: Extracting #2: cost 1132 inf + 11464 4.738 * * [simplify]: Extracting #3: cost 983 inf + 123356 4.835 * * [simplify]: Extracting #4: cost 241 inf + 326580 4.928 * * [simplify]: Extracting #5: cost 20 inf + 397411 5.026 * * [simplify]: Extracting #6: cost 2 inf + 400508 5.157 * * [simplify]: Extracting #7: cost 0 inf + 401014 5.300 * [simplify]: Simplified to: (real->posit16 (* x (* (- x y) 2.0))) (expm1 (* x (* (- x y) 2.0))) (log1p (* x (* (- x y) 2.0))) (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0)) (log (* x (* (- x y) 2.0))) (log (* x (* (- x y) 2.0))) (log (* x (* (- x y) 2.0))) (exp (* x (* (- x y) 2.0))) (* (* (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0))) (* x (* (- x y) 2.0))) (* (* (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0))) (* x (* (- x y) 2.0))) (* (cbrt (* x (* (- x y) 2.0))) (cbrt (* x (* (- x y) 2.0)))) (cbrt (* x (* (- x y) 2.0))) (* (* (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0))) (* x (* (- x y) 2.0))) (sqrt (* x (* (- x y) 2.0))) (sqrt (* x (* (- x y) 2.0))) (* x (- x y)) (* 2.0 (* (cbrt x) (- x y))) (* (- x y) (* 2.0 (sqrt x))) (* x (* (- x y) 2.0)) (* x (* 2.0 (- (* x (* x x)) (* (* y y) y)))) (* x (* 2.0 (* (+ y x) (- x y)))) (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0)) 5.302 * * * [progress]: adding candidates to table 5.540 * * [progress]: iteration 2 / 4 5.540 * * * [progress]: picking best candidate 5.548 * * * * [pick]: Picked # 5.548 * * * [progress]: localizing error 5.596 * * * [progress]: generating rewritten candidates 5.597 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 5.671 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 5.706 * * * [progress]: generating series expansions 5.706 * * * * [progress]: [ 1 / 2 ] generating series at (2) 5.706 * [backup-simplify]: Simplify (* 2.0 (- (* x x) (* x y))) into (* 2.0 (- (pow x 2) (* x y))) 5.706 * [approximate]: Taking taylor expansion of (* 2.0 (- (pow x 2) (* x y))) in (x y) around 0 5.706 * [taylor]: Taking taylor expansion of (* 2.0 (- (pow x 2) (* x y))) in y 5.706 * [taylor]: Taking taylor expansion of 2.0 in y 5.706 * [backup-simplify]: Simplify 2.0 into 2.0 5.706 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in y 5.706 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.706 * [taylor]: Taking taylor expansion of x in y 5.707 * [backup-simplify]: Simplify x into x 5.707 * [taylor]: Taking taylor expansion of (* x y) in y 5.707 * [taylor]: Taking taylor expansion of x in y 5.707 * [backup-simplify]: Simplify x into x 5.707 * [taylor]: Taking taylor expansion of y in y 5.707 * [backup-simplify]: Simplify 0 into 0 5.707 * [backup-simplify]: Simplify 1 into 1 5.707 * [taylor]: Taking taylor expansion of (* 2.0 (- (pow x 2) (* x y))) in x 5.707 * [taylor]: Taking taylor expansion of 2.0 in x 5.707 * [backup-simplify]: Simplify 2.0 into 2.0 5.707 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in x 5.707 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.707 * [taylor]: Taking taylor expansion of x in x 5.707 * [backup-simplify]: Simplify 0 into 0 5.707 * [backup-simplify]: Simplify 1 into 1 5.707 * [taylor]: Taking taylor expansion of (* x y) in x 5.707 * [taylor]: Taking taylor expansion of x in x 5.707 * [backup-simplify]: Simplify 0 into 0 5.707 * [backup-simplify]: Simplify 1 into 1 5.707 * [taylor]: Taking taylor expansion of y in x 5.707 * [backup-simplify]: Simplify y into y 5.707 * [taylor]: Taking taylor expansion of (* 2.0 (- (pow x 2) (* x y))) in x 5.707 * [taylor]: Taking taylor expansion of 2.0 in x 5.707 * [backup-simplify]: Simplify 2.0 into 2.0 5.707 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in x 5.707 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.707 * [taylor]: Taking taylor expansion of x in x 5.707 * [backup-simplify]: Simplify 0 into 0 5.707 * [backup-simplify]: Simplify 1 into 1 5.707 * [taylor]: Taking taylor expansion of (* x y) in x 5.708 * [taylor]: Taking taylor expansion of x in x 5.708 * [backup-simplify]: Simplify 0 into 0 5.708 * [backup-simplify]: Simplify 1 into 1 5.708 * [taylor]: Taking taylor expansion of y in x 5.708 * [backup-simplify]: Simplify y into y 5.708 * [backup-simplify]: Simplify (* 0 y) into 0 5.709 * [backup-simplify]: Simplify (- 0) into 0 5.709 * [backup-simplify]: Simplify (+ 0 0) into 0 5.709 * [backup-simplify]: Simplify (* 2.0 0) into 0 5.710 * [taylor]: Taking taylor expansion of 0 in y 5.710 * [backup-simplify]: Simplify 0 into 0 5.710 * [backup-simplify]: Simplify 0 into 0 5.710 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.710 * [backup-simplify]: Simplify (- y) into (- y) 5.710 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 5.711 * [backup-simplify]: Simplify (+ (* 2.0 (- y)) (* 0 0)) into (- (* 2.0 y)) 5.711 * [taylor]: Taking taylor expansion of (- (* 2.0 y)) in y 5.711 * [taylor]: Taking taylor expansion of (* 2.0 y) in y 5.711 * [taylor]: Taking taylor expansion of 2.0 in y 5.711 * [backup-simplify]: Simplify 2.0 into 2.0 5.711 * [taylor]: Taking taylor expansion of y in y 5.711 * [backup-simplify]: Simplify 0 into 0 5.711 * [backup-simplify]: Simplify 1 into 1 5.712 * [backup-simplify]: Simplify (* 2.0 0) into 0 5.712 * [backup-simplify]: Simplify (- 0) into 0 5.712 * [backup-simplify]: Simplify 0 into 0 5.712 * [backup-simplify]: Simplify 0 into 0 5.713 * [backup-simplify]: Simplify (* 1 1) into 1 5.714 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.714 * [backup-simplify]: Simplify (- 0) into 0 5.715 * [backup-simplify]: Simplify (+ 1 0) into 1 5.716 * [backup-simplify]: Simplify (+ (* 2.0 1) (+ (* 0 (- y)) (* 0 0))) into 2.0 5.716 * [taylor]: Taking taylor expansion of 2.0 in y 5.716 * [backup-simplify]: Simplify 2.0 into 2.0 5.716 * [backup-simplify]: Simplify 2.0 into 2.0 5.718 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0 5.718 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 5.718 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 5.718 * [backup-simplify]: Simplify 0 into 0 5.719 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.721 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.721 * [backup-simplify]: Simplify (- 0) into 0 5.721 * [backup-simplify]: Simplify (+ 0 0) into 0 5.723 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0 5.723 * [taylor]: Taking taylor expansion of 0 in y 5.723 * [backup-simplify]: Simplify 0 into 0 5.723 * [backup-simplify]: Simplify 0 into 0 5.723 * [backup-simplify]: Simplify 0 into 0 5.724 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (* 0 0))) into 0 5.725 * [backup-simplify]: Simplify (- 0) into 0 5.725 * [backup-simplify]: Simplify 0 into 0 5.725 * [backup-simplify]: Simplify 0 into 0 5.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.728 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.728 * [backup-simplify]: Simplify (- 0) into 0 5.729 * [backup-simplify]: Simplify (+ 0 0) into 0 5.731 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0 5.731 * [taylor]: Taking taylor expansion of 0 in y 5.731 * [backup-simplify]: Simplify 0 into 0 5.731 * [backup-simplify]: Simplify 0 into 0 5.733 * [backup-simplify]: Simplify (+ (* (- 2.0) (* y x)) (* 2.0 (pow (* 1 x) 2))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 5.733 * [backup-simplify]: Simplify (* 2.0 (- (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 y)))) into (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) 5.733 * [approximate]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in (x y) around 0 5.733 * [taylor]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in y 5.733 * [taylor]: Taking taylor expansion of 2.0 in y 5.733 * [backup-simplify]: Simplify 2.0 into 2.0 5.734 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in y 5.734 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 5.734 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.734 * [taylor]: Taking taylor expansion of x in y 5.734 * [backup-simplify]: Simplify x into x 5.734 * [backup-simplify]: Simplify (* x x) into (pow x 2) 5.734 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 5.734 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.734 * [taylor]: Taking taylor expansion of (* x y) in y 5.734 * [taylor]: Taking taylor expansion of x in y 5.734 * [backup-simplify]: Simplify x into x 5.734 * [taylor]: Taking taylor expansion of y in y 5.734 * [backup-simplify]: Simplify 0 into 0 5.734 * [backup-simplify]: Simplify 1 into 1 5.735 * [backup-simplify]: Simplify (* x 0) into 0 5.735 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.735 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.735 * [taylor]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in x 5.735 * [taylor]: Taking taylor expansion of 2.0 in x 5.735 * [backup-simplify]: Simplify 2.0 into 2.0 5.735 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.736 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.736 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.736 * [taylor]: Taking taylor expansion of x in x 5.736 * [backup-simplify]: Simplify 0 into 0 5.736 * [backup-simplify]: Simplify 1 into 1 5.736 * [backup-simplify]: Simplify (* 1 1) into 1 5.736 * [backup-simplify]: Simplify (/ 1 1) into 1 5.737 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.737 * [taylor]: Taking taylor expansion of (* x y) in x 5.737 * [taylor]: Taking taylor expansion of x in x 5.737 * [backup-simplify]: Simplify 0 into 0 5.737 * [backup-simplify]: Simplify 1 into 1 5.737 * [taylor]: Taking taylor expansion of y in x 5.737 * [backup-simplify]: Simplify y into y 5.737 * [backup-simplify]: Simplify (* 0 y) into 0 5.737 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.737 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.737 * [taylor]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in x 5.738 * [taylor]: Taking taylor expansion of 2.0 in x 5.738 * [backup-simplify]: Simplify 2.0 into 2.0 5.738 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.738 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.738 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.738 * [taylor]: Taking taylor expansion of x in x 5.738 * [backup-simplify]: Simplify 0 into 0 5.738 * [backup-simplify]: Simplify 1 into 1 5.738 * [backup-simplify]: Simplify (* 1 1) into 1 5.739 * [backup-simplify]: Simplify (/ 1 1) into 1 5.739 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.739 * [taylor]: Taking taylor expansion of (* x y) in x 5.739 * [taylor]: Taking taylor expansion of x in x 5.739 * [backup-simplify]: Simplify 0 into 0 5.739 * [backup-simplify]: Simplify 1 into 1 5.739 * [taylor]: Taking taylor expansion of y in x 5.739 * [backup-simplify]: Simplify y into y 5.739 * [backup-simplify]: Simplify (* 0 y) into 0 5.739 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.740 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.740 * [backup-simplify]: Simplify (+ 1 0) into 1 5.741 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 5.741 * [taylor]: Taking taylor expansion of 2.0 in y 5.741 * [backup-simplify]: Simplify 2.0 into 2.0 5.741 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.742 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 5.742 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 5.742 * [backup-simplify]: Simplify (+ (* 2.0 (- (/ 1 y))) (* 0 1)) into (- (* 2.0 (/ 1 y))) 5.742 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 5.742 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 5.742 * [taylor]: Taking taylor expansion of 2.0 in y 5.742 * [backup-simplify]: Simplify 2.0 into 2.0 5.742 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.742 * [taylor]: Taking taylor expansion of y in y 5.742 * [backup-simplify]: Simplify 0 into 0 5.742 * [backup-simplify]: Simplify 1 into 1 5.743 * [backup-simplify]: Simplify (/ 1 1) into 1 5.743 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 5.743 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 5.744 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 5.744 * [backup-simplify]: Simplify 2.0 into 2.0 5.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.745 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.746 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.746 * [backup-simplify]: Simplify (- 0) into 0 5.746 * [backup-simplify]: Simplify (+ 0 0) into 0 5.747 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 5.747 * [taylor]: Taking taylor expansion of 0 in y 5.747 * [backup-simplify]: Simplify 0 into 0 5.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.748 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 5.748 * [backup-simplify]: Simplify (- 0) into 0 5.748 * [backup-simplify]: Simplify 0 into 0 5.748 * [backup-simplify]: Simplify 0 into 0 5.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.750 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.751 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.751 * [backup-simplify]: Simplify (- 0) into 0 5.751 * [backup-simplify]: Simplify (+ 0 0) into 0 5.752 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 5.752 * [taylor]: Taking taylor expansion of 0 in y 5.752 * [backup-simplify]: Simplify 0 into 0 5.752 * [backup-simplify]: Simplify 0 into 0 5.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.754 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 5.754 * [backup-simplify]: Simplify (- 0) into 0 5.754 * [backup-simplify]: Simplify 0 into 0 5.754 * [backup-simplify]: Simplify 0 into 0 5.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.758 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.758 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.759 * [backup-simplify]: Simplify (- 0) into 0 5.759 * [backup-simplify]: Simplify (+ 0 0) into 0 5.760 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 5.760 * [taylor]: Taking taylor expansion of 0 in y 5.760 * [backup-simplify]: Simplify 0 into 0 5.760 * [backup-simplify]: Simplify 0 into 0 5.761 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* (- 2.0) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 5.762 * [backup-simplify]: Simplify (* 2.0 (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- y))))) into (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) 5.762 * [approximate]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in (x y) around 0 5.762 * [taylor]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in y 5.762 * [taylor]: Taking taylor expansion of 2.0 in y 5.762 * [backup-simplify]: Simplify 2.0 into 2.0 5.762 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in y 5.762 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 5.762 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.762 * [taylor]: Taking taylor expansion of x in y 5.762 * [backup-simplify]: Simplify x into x 5.762 * [backup-simplify]: Simplify (* x x) into (pow x 2) 5.762 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 5.762 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.762 * [taylor]: Taking taylor expansion of (* x y) in y 5.762 * [taylor]: Taking taylor expansion of x in y 5.762 * [backup-simplify]: Simplify x into x 5.762 * [taylor]: Taking taylor expansion of y in y 5.762 * [backup-simplify]: Simplify 0 into 0 5.762 * [backup-simplify]: Simplify 1 into 1 5.762 * [backup-simplify]: Simplify (* x 0) into 0 5.763 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.763 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.763 * [taylor]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in x 5.763 * [taylor]: Taking taylor expansion of 2.0 in x 5.763 * [backup-simplify]: Simplify 2.0 into 2.0 5.763 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.763 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.763 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.763 * [taylor]: Taking taylor expansion of x in x 5.763 * [backup-simplify]: Simplify 0 into 0 5.763 * [backup-simplify]: Simplify 1 into 1 5.763 * [backup-simplify]: Simplify (* 1 1) into 1 5.764 * [backup-simplify]: Simplify (/ 1 1) into 1 5.764 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.764 * [taylor]: Taking taylor expansion of (* x y) in x 5.764 * [taylor]: Taking taylor expansion of x in x 5.764 * [backup-simplify]: Simplify 0 into 0 5.764 * [backup-simplify]: Simplify 1 into 1 5.764 * [taylor]: Taking taylor expansion of y in x 5.764 * [backup-simplify]: Simplify y into y 5.764 * [backup-simplify]: Simplify (* 0 y) into 0 5.764 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.764 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.764 * [taylor]: Taking taylor expansion of (* 2.0 (- (/ 1 (pow x 2)) (/ 1 (* x y)))) in x 5.764 * [taylor]: Taking taylor expansion of 2.0 in x 5.764 * [backup-simplify]: Simplify 2.0 into 2.0 5.764 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.764 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.764 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.764 * [taylor]: Taking taylor expansion of x in x 5.764 * [backup-simplify]: Simplify 0 into 0 5.764 * [backup-simplify]: Simplify 1 into 1 5.765 * [backup-simplify]: Simplify (* 1 1) into 1 5.765 * [backup-simplify]: Simplify (/ 1 1) into 1 5.765 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.765 * [taylor]: Taking taylor expansion of (* x y) in x 5.765 * [taylor]: Taking taylor expansion of x in x 5.765 * [backup-simplify]: Simplify 0 into 0 5.765 * [backup-simplify]: Simplify 1 into 1 5.765 * [taylor]: Taking taylor expansion of y in x 5.765 * [backup-simplify]: Simplify y into y 5.765 * [backup-simplify]: Simplify (* 0 y) into 0 5.765 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.765 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.766 * [backup-simplify]: Simplify (+ 1 0) into 1 5.766 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 5.766 * [taylor]: Taking taylor expansion of 2.0 in y 5.766 * [backup-simplify]: Simplify 2.0 into 2.0 5.766 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.767 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 5.767 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 5.768 * [backup-simplify]: Simplify (+ (* 2.0 (- (/ 1 y))) (* 0 1)) into (- (* 2.0 (/ 1 y))) 5.768 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 5.768 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 5.768 * [taylor]: Taking taylor expansion of 2.0 in y 5.768 * [backup-simplify]: Simplify 2.0 into 2.0 5.768 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.768 * [taylor]: Taking taylor expansion of y in y 5.768 * [backup-simplify]: Simplify 0 into 0 5.768 * [backup-simplify]: Simplify 1 into 1 5.768 * [backup-simplify]: Simplify (/ 1 1) into 1 5.768 * [backup-simplify]: Simplify (* 2.0 1) into 2.0 5.769 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 5.769 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 5.769 * [backup-simplify]: Simplify 2.0 into 2.0 5.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.772 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.772 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.773 * [backup-simplify]: Simplify (- 0) into 0 5.773 * [backup-simplify]: Simplify (+ 0 0) into 0 5.774 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 5.774 * [taylor]: Taking taylor expansion of 0 in y 5.774 * [backup-simplify]: Simplify 0 into 0 5.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.776 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0 5.776 * [backup-simplify]: Simplify (- 0) into 0 5.777 * [backup-simplify]: Simplify 0 into 0 5.777 * [backup-simplify]: Simplify 0 into 0 5.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.780 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.781 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.781 * [backup-simplify]: Simplify (- 0) into 0 5.782 * [backup-simplify]: Simplify (+ 0 0) into 0 5.783 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 5.783 * [taylor]: Taking taylor expansion of 0 in y 5.783 * [backup-simplify]: Simplify 0 into 0 5.783 * [backup-simplify]: Simplify 0 into 0 5.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.786 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0 5.786 * [backup-simplify]: Simplify (- 0) into 0 5.786 * [backup-simplify]: Simplify 0 into 0 5.786 * [backup-simplify]: Simplify 0 into 0 5.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.791 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.791 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.792 * [backup-simplify]: Simplify (- 0) into 0 5.792 * [backup-simplify]: Simplify (+ 0 0) into 0 5.794 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 5.794 * [taylor]: Taking taylor expansion of 0 in y 5.794 * [backup-simplify]: Simplify 0 into 0 5.794 * [backup-simplify]: Simplify 0 into 0 5.796 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* (- 2.0) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 5.797 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 5.797 * [backup-simplify]: Simplify (- (* x x) (* x y)) into (- (pow x 2) (* x y)) 5.797 * [approximate]: Taking taylor expansion of (- (pow x 2) (* x y)) in (x y) around 0 5.797 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in y 5.797 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.797 * [taylor]: Taking taylor expansion of x in y 5.797 * [backup-simplify]: Simplify x into x 5.797 * [taylor]: Taking taylor expansion of (* x y) in y 5.797 * [taylor]: Taking taylor expansion of x in y 5.797 * [backup-simplify]: Simplify x into x 5.797 * [taylor]: Taking taylor expansion of y in y 5.797 * [backup-simplify]: Simplify 0 into 0 5.797 * [backup-simplify]: Simplify 1 into 1 5.797 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in x 5.797 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.797 * [taylor]: Taking taylor expansion of x in x 5.798 * [backup-simplify]: Simplify 0 into 0 5.798 * [backup-simplify]: Simplify 1 into 1 5.798 * [taylor]: Taking taylor expansion of (* x y) in x 5.798 * [taylor]: Taking taylor expansion of x in x 5.798 * [backup-simplify]: Simplify 0 into 0 5.798 * [backup-simplify]: Simplify 1 into 1 5.798 * [taylor]: Taking taylor expansion of y in x 5.798 * [backup-simplify]: Simplify y into y 5.798 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in x 5.798 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.798 * [taylor]: Taking taylor expansion of x in x 5.798 * [backup-simplify]: Simplify 0 into 0 5.798 * [backup-simplify]: Simplify 1 into 1 5.798 * [taylor]: Taking taylor expansion of (* x y) in x 5.798 * [taylor]: Taking taylor expansion of x in x 5.798 * [backup-simplify]: Simplify 0 into 0 5.798 * [backup-simplify]: Simplify 1 into 1 5.798 * [taylor]: Taking taylor expansion of y in x 5.798 * [backup-simplify]: Simplify y into y 5.798 * [backup-simplify]: Simplify (* 0 y) into 0 5.799 * [backup-simplify]: Simplify (- 0) into 0 5.799 * [backup-simplify]: Simplify (+ 0 0) into 0 5.799 * [taylor]: Taking taylor expansion of 0 in y 5.799 * [backup-simplify]: Simplify 0 into 0 5.799 * [backup-simplify]: Simplify 0 into 0 5.800 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.800 * [backup-simplify]: Simplify (- y) into (- y) 5.800 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 5.800 * [taylor]: Taking taylor expansion of (- y) in y 5.800 * [taylor]: Taking taylor expansion of y in y 5.800 * [backup-simplify]: Simplify 0 into 0 5.800 * [backup-simplify]: Simplify 1 into 1 5.801 * [backup-simplify]: Simplify (- 0) into 0 5.801 * [backup-simplify]: Simplify 0 into 0 5.801 * [backup-simplify]: Simplify 0 into 0 5.801 * [backup-simplify]: Simplify (* 1 1) into 1 5.802 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.803 * [backup-simplify]: Simplify (- 0) into 0 5.803 * [backup-simplify]: Simplify (+ 1 0) into 1 5.803 * [taylor]: Taking taylor expansion of 1 in y 5.803 * [backup-simplify]: Simplify 1 into 1 5.803 * [backup-simplify]: Simplify 1 into 1 5.804 * [backup-simplify]: Simplify (- 1) into -1 5.804 * [backup-simplify]: Simplify -1 into -1 5.804 * [backup-simplify]: Simplify 0 into 0 5.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.806 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.807 * [backup-simplify]: Simplify (- 0) into 0 5.807 * [backup-simplify]: Simplify (+ 0 0) into 0 5.807 * [taylor]: Taking taylor expansion of 0 in y 5.807 * [backup-simplify]: Simplify 0 into 0 5.807 * [backup-simplify]: Simplify 0 into 0 5.807 * [backup-simplify]: Simplify 0 into 0 5.808 * [backup-simplify]: Simplify (- 0) into 0 5.808 * [backup-simplify]: Simplify 0 into 0 5.808 * [backup-simplify]: Simplify 0 into 0 5.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.811 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.811 * [backup-simplify]: Simplify (- 0) into 0 5.812 * [backup-simplify]: Simplify (+ 0 0) into 0 5.812 * [taylor]: Taking taylor expansion of 0 in y 5.812 * [backup-simplify]: Simplify 0 into 0 5.812 * [backup-simplify]: Simplify 0 into 0 5.813 * [backup-simplify]: Simplify (+ (* -1 (* y x)) (* 1 (pow (* 1 x) 2))) into (- (pow x 2) (* x y)) 5.813 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 y))) into (- (/ 1 (pow x 2)) (/ 1 (* x y))) 5.813 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0 5.813 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in y 5.813 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 5.813 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.813 * [taylor]: Taking taylor expansion of x in y 5.813 * [backup-simplify]: Simplify x into x 5.813 * [backup-simplify]: Simplify (* x x) into (pow x 2) 5.813 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 5.813 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.814 * [taylor]: Taking taylor expansion of (* x y) in y 5.814 * [taylor]: Taking taylor expansion of x in y 5.814 * [backup-simplify]: Simplify x into x 5.814 * [taylor]: Taking taylor expansion of y in y 5.814 * [backup-simplify]: Simplify 0 into 0 5.814 * [backup-simplify]: Simplify 1 into 1 5.814 * [backup-simplify]: Simplify (* x 0) into 0 5.814 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.814 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.814 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.814 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.814 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.814 * [taylor]: Taking taylor expansion of x in x 5.814 * [backup-simplify]: Simplify 0 into 0 5.814 * [backup-simplify]: Simplify 1 into 1 5.814 * [backup-simplify]: Simplify (* 1 1) into 1 5.815 * [backup-simplify]: Simplify (/ 1 1) into 1 5.815 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.815 * [taylor]: Taking taylor expansion of (* x y) in x 5.815 * [taylor]: Taking taylor expansion of x in x 5.815 * [backup-simplify]: Simplify 0 into 0 5.815 * [backup-simplify]: Simplify 1 into 1 5.815 * [taylor]: Taking taylor expansion of y in x 5.815 * [backup-simplify]: Simplify y into y 5.815 * [backup-simplify]: Simplify (* 0 y) into 0 5.815 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.815 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.815 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.815 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.815 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.815 * [taylor]: Taking taylor expansion of x in x 5.815 * [backup-simplify]: Simplify 0 into 0 5.815 * [backup-simplify]: Simplify 1 into 1 5.816 * [backup-simplify]: Simplify (* 1 1) into 1 5.816 * [backup-simplify]: Simplify (/ 1 1) into 1 5.816 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.816 * [taylor]: Taking taylor expansion of (* x y) in x 5.816 * [taylor]: Taking taylor expansion of x in x 5.816 * [backup-simplify]: Simplify 0 into 0 5.816 * [backup-simplify]: Simplify 1 into 1 5.816 * [taylor]: Taking taylor expansion of y in x 5.816 * [backup-simplify]: Simplify y into y 5.816 * [backup-simplify]: Simplify (* 0 y) into 0 5.816 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.817 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.817 * [backup-simplify]: Simplify (+ 1 0) into 1 5.817 * [taylor]: Taking taylor expansion of 1 in y 5.817 * [backup-simplify]: Simplify 1 into 1 5.817 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.818 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 5.818 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 5.818 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.818 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.818 * [taylor]: Taking taylor expansion of y in y 5.818 * [backup-simplify]: Simplify 0 into 0 5.818 * [backup-simplify]: Simplify 1 into 1 5.818 * [backup-simplify]: Simplify (/ 1 1) into 1 5.819 * [backup-simplify]: Simplify (- 1) into -1 5.819 * [backup-simplify]: Simplify -1 into -1 5.819 * [backup-simplify]: Simplify 1 into 1 5.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.820 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.821 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.821 * [backup-simplify]: Simplify (- 0) into 0 5.821 * [backup-simplify]: Simplify (+ 0 0) into 0 5.821 * [taylor]: Taking taylor expansion of 0 in y 5.821 * [backup-simplify]: Simplify 0 into 0 5.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.822 * [backup-simplify]: Simplify (- 0) into 0 5.822 * [backup-simplify]: Simplify 0 into 0 5.822 * [backup-simplify]: Simplify 0 into 0 5.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.824 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.824 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.825 * [backup-simplify]: Simplify (- 0) into 0 5.825 * [backup-simplify]: Simplify (+ 0 0) into 0 5.825 * [taylor]: Taking taylor expansion of 0 in y 5.825 * [backup-simplify]: Simplify 0 into 0 5.825 * [backup-simplify]: Simplify 0 into 0 5.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.826 * [backup-simplify]: Simplify (- 0) into 0 5.826 * [backup-simplify]: Simplify 0 into 0 5.826 * [backup-simplify]: Simplify 0 into 0 5.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.828 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.829 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.829 * [backup-simplify]: Simplify (- 0) into 0 5.829 * [backup-simplify]: Simplify (+ 0 0) into 0 5.829 * [taylor]: Taking taylor expansion of 0 in y 5.829 * [backup-simplify]: Simplify 0 into 0 5.829 * [backup-simplify]: Simplify 0 into 0 5.830 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* -1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (pow x 2) (* x y)) 5.831 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- y)))) into (- (/ 1 (pow x 2)) (/ 1 (* x y))) 5.831 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0 5.831 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in y 5.831 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 5.831 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.831 * [taylor]: Taking taylor expansion of x in y 5.831 * [backup-simplify]: Simplify x into x 5.831 * [backup-simplify]: Simplify (* x x) into (pow x 2) 5.831 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 5.831 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.831 * [taylor]: Taking taylor expansion of (* x y) in y 5.831 * [taylor]: Taking taylor expansion of x in y 5.831 * [backup-simplify]: Simplify x into x 5.831 * [taylor]: Taking taylor expansion of y in y 5.831 * [backup-simplify]: Simplify 0 into 0 5.831 * [backup-simplify]: Simplify 1 into 1 5.831 * [backup-simplify]: Simplify (* x 0) into 0 5.831 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.832 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.832 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.832 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.832 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.832 * [taylor]: Taking taylor expansion of x in x 5.832 * [backup-simplify]: Simplify 0 into 0 5.832 * [backup-simplify]: Simplify 1 into 1 5.832 * [backup-simplify]: Simplify (* 1 1) into 1 5.832 * [backup-simplify]: Simplify (/ 1 1) into 1 5.832 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.832 * [taylor]: Taking taylor expansion of (* x y) in x 5.832 * [taylor]: Taking taylor expansion of x in x 5.832 * [backup-simplify]: Simplify 0 into 0 5.832 * [backup-simplify]: Simplify 1 into 1 5.832 * [taylor]: Taking taylor expansion of y in x 5.832 * [backup-simplify]: Simplify y into y 5.832 * [backup-simplify]: Simplify (* 0 y) into 0 5.833 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.833 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.833 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 5.833 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.833 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.833 * [taylor]: Taking taylor expansion of x in x 5.833 * [backup-simplify]: Simplify 0 into 0 5.833 * [backup-simplify]: Simplify 1 into 1 5.833 * [backup-simplify]: Simplify (* 1 1) into 1 5.834 * [backup-simplify]: Simplify (/ 1 1) into 1 5.834 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.834 * [taylor]: Taking taylor expansion of (* x y) in x 5.834 * [taylor]: Taking taylor expansion of x in x 5.834 * [backup-simplify]: Simplify 0 into 0 5.834 * [backup-simplify]: Simplify 1 into 1 5.834 * [taylor]: Taking taylor expansion of y in x 5.834 * [backup-simplify]: Simplify y into y 5.834 * [backup-simplify]: Simplify (* 0 y) into 0 5.834 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.834 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.834 * [backup-simplify]: Simplify (+ 1 0) into 1 5.834 * [taylor]: Taking taylor expansion of 1 in y 5.835 * [backup-simplify]: Simplify 1 into 1 5.835 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.836 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 5.836 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 5.836 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.836 * [taylor]: Taking taylor expansion of y in y 5.836 * [backup-simplify]: Simplify 0 into 0 5.836 * [backup-simplify]: Simplify 1 into 1 5.836 * [backup-simplify]: Simplify (/ 1 1) into 1 5.836 * [backup-simplify]: Simplify (- 1) into -1 5.836 * [backup-simplify]: Simplify -1 into -1 5.836 * [backup-simplify]: Simplify 1 into 1 5.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.838 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.838 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.839 * [backup-simplify]: Simplify (- 0) into 0 5.839 * [backup-simplify]: Simplify (+ 0 0) into 0 5.839 * [taylor]: Taking taylor expansion of 0 in y 5.839 * [backup-simplify]: Simplify 0 into 0 5.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.840 * [backup-simplify]: Simplify (- 0) into 0 5.840 * [backup-simplify]: Simplify 0 into 0 5.840 * [backup-simplify]: Simplify 0 into 0 5.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.842 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.843 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.843 * [backup-simplify]: Simplify (- 0) into 0 5.844 * [backup-simplify]: Simplify (+ 0 0) into 0 5.844 * [taylor]: Taking taylor expansion of 0 in y 5.844 * [backup-simplify]: Simplify 0 into 0 5.844 * [backup-simplify]: Simplify 0 into 0 5.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.845 * [backup-simplify]: Simplify (- 0) into 0 5.845 * [backup-simplify]: Simplify 0 into 0 5.845 * [backup-simplify]: Simplify 0 into 0 5.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.850 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 5.851 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.851 * [backup-simplify]: Simplify (- 0) into 0 5.851 * [backup-simplify]: Simplify (+ 0 0) into 0 5.851 * [taylor]: Taking taylor expansion of 0 in y 5.851 * [backup-simplify]: Simplify 0 into 0 5.852 * [backup-simplify]: Simplify 0 into 0 5.853 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* -1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (pow x 2) (* x y)) 5.853 * * * [progress]: simplifying candidates 5.853 * * * * [progress]: [ 1 / 54 ] simplifiying candidate #real (real->posit16 (* 2.0 (- (* x x) (* x y))))))> 5.853 * * * * [progress]: [ 2 / 54 ] simplifiying candidate # 5.853 * * * * [progress]: [ 3 / 54 ] simplifiying candidate # 5.853 * * * * [progress]: [ 4 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 5 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 6 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 7 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 8 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 9 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 10 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 11 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 12 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 13 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 14 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 15 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 16 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 17 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 18 / 54 ] simplifiying candidate # 5.854 * * * * [progress]: [ 19 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 20 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 21 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 22 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 23 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 24 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 25 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 26 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 27 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 28 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 29 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 30 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 31 / 54 ] simplifiying candidate #real (real->posit16 (- (* x x) (* x y))))))> 5.855 * * * * [progress]: [ 32 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 33 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 34 / 54 ] simplifiying candidate # 5.855 * * * * [progress]: [ 35 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 36 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 37 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 38 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 39 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 40 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 41 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 42 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 43 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 44 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 45 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 46 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 47 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 48 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 49 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 50 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 51 / 54 ] simplifiying candidate # 5.856 * * * * [progress]: [ 52 / 54 ] simplifiying candidate # 5.857 * * * * [progress]: [ 53 / 54 ] simplifiying candidate # 5.857 * * * * [progress]: [ 54 / 54 ] simplifiying candidate # 5.858 * [simplify]: Simplifying: (real->posit16 (* 2.0 (- (* x x) (* x y)))) (expm1 (* 2.0 (- (* x x) (* x y)))) (log1p (* 2.0 (- (* x x) (* x y)))) (* 2.0 (- (* x x) (* x y))) (+ (log 2.0) (log (- (* x x) (* x y)))) (log (* 2.0 (- (* x x) (* x y)))) (exp (* 2.0 (- (* x x) (* x y)))) (* (* (* 2.0 2.0) 2.0) (* (* (- (* x x) (* x y)) (- (* x x) (* x y))) (- (* x x) (* x y)))) (* (cbrt (* 2.0 (- (* x x) (* x y)))) (cbrt (* 2.0 (- (* x x) (* x y))))) (cbrt (* 2.0 (- (* x x) (* x y)))) (* (* (* 2.0 (- (* x x) (* x y))) (* 2.0 (- (* x x) (* x y)))) (* 2.0 (- (* x x) (* x y)))) (sqrt (* 2.0 (- (* x x) (* x y)))) (sqrt (* 2.0 (- (* x x) (* x y)))) (* (sqrt 2.0) (sqrt (- (* x x) (* x y)))) (* (sqrt 2.0) (sqrt (- (* x x) (* x y)))) (* 2.0 (fma x x (- (* y x)))) (* 2.0 (fma (- y) x (* y x))) (* 2.0 (* x x)) (* 2.0 (- (* x y))) (* 2.0 (* x x)) (* 2.0 (- (* x y))) (* (fma x x (- (* y x))) 2.0) (* (fma (- y) x (* y x)) 2.0) (* (* x x) 2.0) (* (- (* x y)) 2.0) (* (* x x) 2.0) (* (- (* x y)) 2.0) (* 2.0 (* (cbrt (- (* x x) (* x y))) (cbrt (- (* x x) (* x y))))) (* 2.0 (sqrt (- (* x x) (* x y)))) (* 2.0 1) (* 2.0 x) (* (cbrt 2.0) (- (* x x) (* x y))) (* (sqrt 2.0) (- (* x x) (* x y))) (* 2.0 (- (* x x) (* x y))) (* 2.0 (- (pow (* x x) 3) (pow (* x y) 3))) (* 2.0 (- (* (* x x) (* x x)) (* (* x y) (* x y)))) (real->posit16 (- (* x x) (* x y))) (fma x x (- (* y x))) (fma (- y) x (* y x)) (expm1 (- (* x x) (* x y))) (log1p (- (* x x) (* x y))) (- (* x y)) (/ (exp (* x x)) (exp (* x y))) (log (- (* x x) (* x y))) (exp (- (* x x) (* x y))) (* (cbrt (- (* x x) (* x y))) (cbrt (- (* x x) (* x y)))) (cbrt (- (* x x) (* x y))) (* (* (- (* x x) (* x y)) (- (* x x) (* x y))) (- (* x x) (* x y))) (sqrt (- (* x x) (* x y))) (sqrt (- (* x x) (* x y))) (- (pow (* x x) 3) (pow (* x y) 3)) (+ (* (* x x) (* x x)) (+ (* (* x y) (* x y)) (* (* x x) (* x y)))) (- (* x y)) (- (* (* x x) (* x x)) (* (* x y) (* x y))) (+ (* x x) (* x y)) (- x y) (- (* x y)) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) 5.860 * * [simplify]: iteration 0: 79 enodes 5.972 * * [simplify]: iteration 1: 199 enodes 6.256 * * [simplify]: iteration 2: 598 enodes 7.412 * * [simplify]: iteration 3: 2582 enodes 10.480 * * [simplify]: iteration complete: 5000 enodes 10.480 * * [simplify]: Extracting #0: cost 39 inf + 0 10.483 * * [simplify]: Extracting #1: cost 433 inf + 1 10.497 * * [simplify]: Extracting #2: cost 817 inf + 12859 10.550 * * [simplify]: Extracting #3: cost 400 inf + 94107 10.607 * * [simplify]: Extracting #4: cost 103 inf + 166906 10.695 * * [simplify]: Extracting #5: cost 32 inf + 186291 10.757 * * [simplify]: Extracting #6: cost 6 inf + 192763 10.823 * * [simplify]: Extracting #7: cost 0 inf + 194521 10.883 * [simplify]: Simplified to: (real->posit16 (* (- x y) (* 2.0 x))) (expm1 (* (- x y) (* 2.0 x))) (log1p (* (- x y) (* 2.0 x))) (* (- x y) (* 2.0 x)) (log (* (- x y) (* 2.0 x))) (log (* (- x y) (* 2.0 x))) (exp (* (- x y) (* 2.0 x))) (* (* (- x y) (* 2.0 x)) (* (* (- x y) (* 2.0 x)) (* (- x y) (* 2.0 x)))) (* (cbrt (* (- x y) (* 2.0 x))) (cbrt (* (- x y) (* 2.0 x)))) (cbrt (* (- x y) (* 2.0 x))) (* (* (- x y) (* 2.0 x)) (* (* (- x y) (* 2.0 x)) (* (- x y) (* 2.0 x)))) (sqrt (* (- x y) (* 2.0 x))) (sqrt (* (- x y) (* 2.0 x))) (* (sqrt 2.0) (sqrt (* (- x y) x))) (* (sqrt 2.0) (sqrt (* (- x y) x))) (* (- x y) (* 2.0 x)) (* (* y 2.0) (+ x (- x))) (* x (* 2.0 x)) (* (* y 2.0) (- x)) (* x (* 2.0 x)) (* (* y 2.0) (- x)) (* (- x y) (* 2.0 x)) (* (* y 2.0) (+ x (- x))) (* x (* 2.0 x)) (* (* y 2.0) (- x)) (* x (* 2.0 x)) (* (* y 2.0) (- x)) (* 2.0 (* (cbrt (* (- x y) x)) (cbrt (* (- x y) x)))) (* 2.0 (sqrt (* (- x y) x))) 2.0 (* 2.0 x) (* (* (cbrt 2.0) x) (- x y)) (* x (* (- x y) (sqrt 2.0))) (* (- x y) (* 2.0 x)) (* 2.0 (* (* x (* x x)) (- (* x (* x x)) (* y (* y y))))) (* 2.0 (* (* x x) (fma (- y) y (* x x)))) (real->posit16 (* (- x y) x)) (* (- x y) x) (* (+ y (- y)) x) (expm1 (* (- x y) x)) (log1p (* (- x y) x)) (- (* y x)) (exp (* (- x y) x)) (log (* (- x y) x)) (exp (* (- x y) x)) (* (cbrt (* (- x y) x)) (cbrt (* (- x y) x))) (cbrt (* (- x y) x)) (* (* (* (- x y) x) (* (- x y) x)) (* (- x y) x)) (sqrt (* (- x y) x)) (sqrt (* (- x y) x)) (* (* x (* x x)) (- (* x (* x x)) (* y (* y y)))) (* (* x x) (fma y x (fma y y (* x x)))) (- (* y x)) (* (* x x) (fma (- y) y (* x x))) (* x (+ x y)) (- x y) (- (* y x)) (* (- x y) (* 2.0 x)) (* (- x y) (* 2.0 x)) (* (- x y) (* 2.0 x)) (* (- x y) x) (* (- x y) x) (* (- x y) x) 10.885 * * * [progress]: adding candidates to table 11.448 * [progress]: [Phase 3 of 3] Extracting. 11.448 * * [regime]: Finding splitpoints for: (# #) 11.450 * * * [regime-changes]: Trying 4 branch expressions: ((- (* x x) (* x y)) (* 2.0 (- (* x x) (* x y))) y x) 11.450 * * * * [regimes]: Trying to branch on (- (* x x) (* x y)) from (# #) 11.589 * * * * [regimes]: Trying to branch on (* 2.0 (- (* x x) (* x y))) from (# #) 11.715 * * * * [regimes]: Trying to branch on y from (# #) 11.812 * * * * [regimes]: Trying to branch on x from (# #) 11.901 * * * [regime]: Found split indices: #