1554047463.309 * [progress]: [Phase 1 of 3] Setting up. 1554047463.309 * * * [progress]: [1/2] Preparing points 1554047463.361 * * * [progress]: [2/2] Setting up program. 1554047463.365 * [progress]: [Phase 2 of 3] Improving. 1554047463.365 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1554047463.366 * [simplify]: Simplifying (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) 1554047463.366 * * [simplify]: iters left: 6 (9 enodes) 1554047463.371 * * [simplify]: iters left: 5 (41 enodes) 1554047463.385 * * [simplify]: iters left: 4 (82 enodes) 1554047463.413 * * [simplify]: iters left: 3 (163 enodes) 1554047463.452 * * [simplify]: iters left: 2 (293 enodes) 1554047463.547 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047463.547 * * [simplify]: Extracting #1: cost 38 inf + 0 1554047463.548 * * [simplify]: Extracting #2: cost 89 inf + 2 1554047463.551 * * [simplify]: Extracting #3: cost 92 inf + 3375 1554047463.555 * * [simplify]: Extracting #4: cost 17 inf + 14691 1554047463.560 * * [simplify]: Extracting #5: cost 0 inf + 18765 1554047463.566 * * [simplify]: Extracting #6: cost 0 inf + 18750 1554047463.571 * [simplify]: Simplified to (/ (* (- x y) (+ y x)) (fma x x (* y y))) 1554047463.571 * [simplify]: Simplified (2) to (λ (x y) (/ (* (- x y) (+ y x)) (fma x x (* y y)))) 1554047463.576 * * [progress]: iteration 1 / 4 1554047463.576 * * * [progress]: picking best candidate 1554047463.578 * * * * [pick]: Picked # 1554047463.579 * * * [progress]: localizing error 1554047463.615 * * * [progress]: generating rewritten candidates 1554047463.616 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1554047463.644 * * * [progress]: generating series expansions 1554047463.644 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1554047463.644 * [backup-simplify]: Simplify (/ (* (- x y) (+ y x)) (fma x x (* y y))) into (/ (* (+ x y) (- x y)) (fma x x (pow y 2))) 1554047463.644 * [approximate]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (fma x x (pow y 2))) in (x y) around 0 1554047463.644 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (fma x x (pow y 2))) in y 1554047463.644 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in y 1554047463.644 * [taylor]: Taking taylor expansion of (+ x y) in y 1554047463.644 * [taylor]: Taking taylor expansion of x in y 1554047463.644 * [backup-simplify]: Simplify x into x 1554047463.644 * [taylor]: Taking taylor expansion of y in y 1554047463.644 * [backup-simplify]: Simplify 0 into 0 1554047463.644 * [backup-simplify]: Simplify 1 into 1 1554047463.644 * [taylor]: Taking taylor expansion of (- x y) in y 1554047463.644 * [taylor]: Taking taylor expansion of x in y 1554047463.644 * [backup-simplify]: Simplify x into x 1554047463.644 * [taylor]: Taking taylor expansion of y in y 1554047463.644 * [backup-simplify]: Simplify 0 into 0 1554047463.644 * [backup-simplify]: Simplify 1 into 1 1554047463.644 * [taylor]: Taking taylor expansion of (fma x x (pow y 2)) in y 1554047463.644 * [taylor]: Rewrote expression to (+ (* x x) (pow y 2)) 1554047463.644 * [taylor]: Taking taylor expansion of (* x x) in y 1554047463.644 * [taylor]: Taking taylor expansion of x in y 1554047463.644 * [backup-simplify]: Simplify x into x 1554047463.644 * [taylor]: Taking taylor expansion of x in y 1554047463.644 * [backup-simplify]: Simplify x into x 1554047463.644 * [taylor]: Taking taylor expansion of (pow y 2) in y 1554047463.644 * [taylor]: Taking taylor expansion of y in y 1554047463.644 * [backup-simplify]: Simplify 0 into 0 1554047463.644 * [backup-simplify]: Simplify 1 into 1 1554047463.644 * [backup-simplify]: Simplify (+ x 0) into x 1554047463.645 * [backup-simplify]: Simplify (- 0) into 0 1554047463.645 * [backup-simplify]: Simplify (+ x 0) into x 1554047463.645 * [backup-simplify]: Simplify (* x x) into (pow x 2) 1554047463.645 * [backup-simplify]: Simplify (* x x) into (pow x 2) 1554047463.645 * [backup-simplify]: Simplify (+ (pow x 2) 0) into (pow x 2) 1554047463.645 * [backup-simplify]: Simplify (/ (pow x 2) (pow x 2)) into 1 1554047463.645 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (fma x x (pow y 2))) in x 1554047463.645 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x 1554047463.645 * [taylor]: Taking taylor expansion of (+ x y) in x 1554047463.645 * [taylor]: Taking taylor expansion of x in x 1554047463.645 * [backup-simplify]: Simplify 0 into 0 1554047463.645 * [backup-simplify]: Simplify 1 into 1 1554047463.645 * [taylor]: Taking taylor expansion of y in x 1554047463.645 * [backup-simplify]: Simplify y into y 1554047463.646 * [taylor]: Taking taylor expansion of (- x y) in x 1554047463.646 * [taylor]: Taking taylor expansion of x in x 1554047463.646 * [backup-simplify]: Simplify 0 into 0 1554047463.646 * [backup-simplify]: Simplify 1 into 1 1554047463.646 * [taylor]: Taking taylor expansion of y in x 1554047463.646 * [backup-simplify]: Simplify y into y 1554047463.646 * [taylor]: Taking taylor expansion of (fma x x (pow y 2)) in x 1554047463.646 * [taylor]: Rewrote expression to (+ (* x x) (pow y 2)) 1554047463.646 * [taylor]: Taking taylor expansion of (* x x) in x 1554047463.646 * [taylor]: Taking taylor expansion of x in x 1554047463.646 * [backup-simplify]: Simplify 0 into 0 1554047463.646 * [backup-simplify]: Simplify 1 into 1 1554047463.646 * [taylor]: Taking taylor expansion of x in x 1554047463.646 * [backup-simplify]: Simplify 0 into 0 1554047463.646 * [backup-simplify]: Simplify 1 into 1 1554047463.646 * [taylor]: Taking taylor expansion of (pow y 2) in x 1554047463.646 * [taylor]: Taking taylor expansion of y in x 1554047463.646 * [backup-simplify]: Simplify y into y 1554047463.646 * [backup-simplify]: Simplify (+ 0 y) into y 1554047463.646 * [backup-simplify]: Simplify (- y) into (- y) 1554047463.646 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 1554047463.646 * [backup-simplify]: Simplify (* y (- y)) into (* -1 (pow y 2)) 1554047463.646 * [backup-simplify]: Simplify (* 0 0) into 0 1554047463.646 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1554047463.646 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2) 1554047463.646 * [backup-simplify]: Simplify (/ (* -1 (pow y 2)) (pow y 2)) into -1 1554047463.646 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (fma x x (pow y 2))) in x 1554047463.646 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x 1554047463.646 * [taylor]: Taking taylor expansion of (+ x y) in x 1554047463.646 * [taylor]: Taking taylor expansion of x in x 1554047463.646 * [backup-simplify]: Simplify 0 into 0 1554047463.646 * [backup-simplify]: Simplify 1 into 1 1554047463.646 * [taylor]: Taking taylor expansion of y in x 1554047463.647 * [backup-simplify]: Simplify y into y 1554047463.647 * [taylor]: Taking taylor expansion of (- x y) in x 1554047463.647 * [taylor]: Taking taylor expansion of x in x 1554047463.647 * [backup-simplify]: Simplify 0 into 0 1554047463.647 * [backup-simplify]: Simplify 1 into 1 1554047463.647 * [taylor]: Taking taylor expansion of y in x 1554047463.647 * [backup-simplify]: Simplify y into y 1554047463.647 * [taylor]: Taking taylor expansion of (fma x x (pow y 2)) in x 1554047463.647 * [taylor]: Rewrote expression to (+ (* x x) (pow y 2)) 1554047463.647 * [taylor]: Taking taylor expansion of (* x x) in x 1554047463.647 * [taylor]: Taking taylor expansion of x in x 1554047463.647 * [backup-simplify]: Simplify 0 into 0 1554047463.647 * [backup-simplify]: Simplify 1 into 1 1554047463.647 * [taylor]: Taking taylor expansion of x in x 1554047463.647 * [backup-simplify]: Simplify 0 into 0 1554047463.647 * [backup-simplify]: Simplify 1 into 1 1554047463.647 * [taylor]: Taking taylor expansion of (pow y 2) in x 1554047463.647 * [taylor]: Taking taylor expansion of y in x 1554047463.647 * [backup-simplify]: Simplify y into y 1554047463.647 * [backup-simplify]: Simplify (+ 0 y) into y 1554047463.647 * [backup-simplify]: Simplify (- y) into (- y) 1554047463.647 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 1554047463.647 * [backup-simplify]: Simplify (* y (- y)) into (* -1 (pow y 2)) 1554047463.647 * [backup-simplify]: Simplify (* 0 0) into 0 1554047463.647 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1554047463.647 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2) 1554047463.647 * [backup-simplify]: Simplify (/ (* -1 (pow y 2)) (pow y 2)) into -1 1554047463.647 * [taylor]: Taking taylor expansion of -1 in y 1554047463.647 * [backup-simplify]: Simplify -1 into -1 1554047463.647 * [backup-simplify]: Simplify -1 into -1 1554047463.648 * [backup-simplify]: Simplify (- 0) into 0 1554047463.648 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.648 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.648 * [backup-simplify]: Simplify (+ (* y 1) (* 1 (- y))) into 0 1554047463.649 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 1554047463.649 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1554047463.649 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.649 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* -1 (/ 0 (pow y 2))))) into 0 1554047463.649 * [taylor]: Taking taylor expansion of 0 in y 1554047463.649 * [backup-simplify]: Simplify 0 into 0 1554047463.649 * [backup-simplify]: Simplify 0 into 0 1554047463.649 * [backup-simplify]: Simplify 0 into 0 1554047463.650 * [backup-simplify]: Simplify (- 0) into 0 1554047463.650 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.650 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.650 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 1) (* 0 (- y)))) into 1 1554047463.651 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1554047463.651 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1554047463.652 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.652 * [backup-simplify]: Simplify (- (/ 1 (pow y 2)) (+ (* -1 (/ 1 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into (* 2 (/ 1 (pow y 2))) 1554047463.652 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 1554047463.652 * [taylor]: Taking taylor expansion of 2 in y 1554047463.652 * [backup-simplify]: Simplify 2 into 2 1554047463.652 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1554047463.652 * [taylor]: Taking taylor expansion of (pow y 2) in y 1554047463.652 * [taylor]: Taking taylor expansion of y in y 1554047463.652 * [backup-simplify]: Simplify 0 into 0 1554047463.652 * [backup-simplify]: Simplify 1 into 1 1554047463.652 * [backup-simplify]: Simplify (* 1 1) into 1 1554047463.652 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554047463.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554047463.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554047463.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.655 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 1554047463.655 * [backup-simplify]: Simplify 0 into 0 1554047463.655 * [backup-simplify]: Simplify 0 into 0 1554047463.655 * [backup-simplify]: Simplify 0 into 0 1554047463.655 * [backup-simplify]: Simplify (- 0) into 0 1554047463.655 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.656 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.656 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- y))))) into 0 1554047463.657 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1554047463.657 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1554047463.657 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.658 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* -1 (/ 0 (pow y 2))) (* 0 (/ 1 (pow y 2))) (* (* 2 (/ 1 (pow y 2))) (/ 0 (pow y 2))))) into 0 1554047463.658 * [taylor]: Taking taylor expansion of 0 in y 1554047463.658 * [backup-simplify]: Simplify 0 into 0 1554047463.658 * [backup-simplify]: Simplify 0 into 0 1554047463.658 * [backup-simplify]: Simplify -1 into -1 1554047463.658 * [backup-simplify]: Simplify (/ (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) (fma (/ 1 x) (/ 1 x) (* (/ 1 y) (/ 1 y)))) into (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (fma (/ 1 x) (/ 1 x) (/ 1 (pow y 2)))) 1554047463.658 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (fma (/ 1 x) (/ 1 x) (/ 1 (pow y 2)))) in (x y) around 0 1554047463.658 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (fma (/ 1 x) (/ 1 x) (/ 1 (pow y 2)))) in y 1554047463.658 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in y 1554047463.658 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 1554047463.658 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1554047463.658 * [taylor]: Taking taylor expansion of x in y 1554047463.658 * [backup-simplify]: Simplify x into x 1554047463.658 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1554047463.658 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1554047463.658 * [taylor]: Taking taylor expansion of y in y 1554047463.658 * [backup-simplify]: Simplify 0 into 0 1554047463.658 * [backup-simplify]: Simplify 1 into 1 1554047463.658 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.658 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1554047463.658 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1554047463.658 * [taylor]: Taking taylor expansion of x in y 1554047463.659 * [backup-simplify]: Simplify x into x 1554047463.659 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1554047463.659 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1554047463.659 * [taylor]: Taking taylor expansion of y in y 1554047463.659 * [backup-simplify]: Simplify 0 into 0 1554047463.659 * [backup-simplify]: Simplify 1 into 1 1554047463.659 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.659 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 (pow y 2))) in y 1554047463.659 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 (pow y 2))) 1554047463.659 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 1554047463.659 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1554047463.659 * [taylor]: Taking taylor expansion of x in y 1554047463.659 * [backup-simplify]: Simplify x into x 1554047463.659 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1554047463.659 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1554047463.659 * [taylor]: Taking taylor expansion of x in y 1554047463.659 * [backup-simplify]: Simplify x into x 1554047463.659 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1554047463.659 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1554047463.659 * [taylor]: Taking taylor expansion of (pow y 2) in y 1554047463.659 * [taylor]: Taking taylor expansion of y in y 1554047463.659 * [backup-simplify]: Simplify 0 into 0 1554047463.659 * [backup-simplify]: Simplify 1 into 1 1554047463.659 * [backup-simplify]: Simplify (* 1 1) into 1 1554047463.660 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.660 * [backup-simplify]: Simplify (+ 0 1) into 1 1554047463.660 * [backup-simplify]: Simplify (- 1) into -1 1554047463.660 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554047463.661 * [backup-simplify]: Simplify (* 1 -1) into -1 1554047463.661 * [backup-simplify]: Simplify (+ 0 1) into 1 1554047463.661 * [backup-simplify]: Simplify (/ -1 1) into -1 1554047463.661 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (fma (/ 1 x) (/ 1 x) (/ 1 (pow y 2)))) in x 1554047463.661 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in x 1554047463.661 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1554047463.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554047463.661 * [taylor]: Taking taylor expansion of x in x 1554047463.661 * [backup-simplify]: Simplify 0 into 0 1554047463.661 * [backup-simplify]: Simplify 1 into 1 1554047463.662 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.662 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1554047463.662 * [taylor]: Taking taylor expansion of y in x 1554047463.662 * [backup-simplify]: Simplify y into y 1554047463.662 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1554047463.662 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1554047463.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554047463.662 * [taylor]: Taking taylor expansion of x in x 1554047463.662 * [backup-simplify]: Simplify 0 into 0 1554047463.662 * [backup-simplify]: Simplify 1 into 1 1554047463.662 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.662 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1554047463.662 * [taylor]: Taking taylor expansion of y in x 1554047463.662 * [backup-simplify]: Simplify y into y 1554047463.662 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1554047463.662 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 (pow y 2))) in x 1554047463.662 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 (pow y 2))) 1554047463.662 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1554047463.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554047463.662 * [taylor]: Taking taylor expansion of x in x 1554047463.662 * [backup-simplify]: Simplify 0 into 0 1554047463.662 * [backup-simplify]: Simplify 1 into 1 1554047463.662 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554047463.662 * [taylor]: Taking taylor expansion of x in x 1554047463.662 * [backup-simplify]: Simplify 0 into 0 1554047463.662 * [backup-simplify]: Simplify 1 into 1 1554047463.663 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.663 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1554047463.663 * [taylor]: Taking taylor expansion of (pow y 2) in x 1554047463.663 * [taylor]: Taking taylor expansion of y in x 1554047463.663 * [backup-simplify]: Simplify y into y 1554047463.663 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1554047463.663 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1554047463.663 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.663 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.664 * [backup-simplify]: Simplify (* 1 1) into 1 1554047463.664 * [backup-simplify]: Simplify (* 1 1) into 1 1554047463.664 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.664 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.664 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (fma (/ 1 x) (/ 1 x) (/ 1 (pow y 2)))) in x 1554047463.664 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in x 1554047463.664 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1554047463.664 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554047463.664 * [taylor]: Taking taylor expansion of x in x 1554047463.664 * [backup-simplify]: Simplify 0 into 0 1554047463.664 * [backup-simplify]: Simplify 1 into 1 1554047463.665 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.665 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1554047463.665 * [taylor]: Taking taylor expansion of y in x 1554047463.665 * [backup-simplify]: Simplify y into y 1554047463.665 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1554047463.665 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1554047463.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554047463.665 * [taylor]: Taking taylor expansion of x in x 1554047463.665 * [backup-simplify]: Simplify 0 into 0 1554047463.665 * [backup-simplify]: Simplify 1 into 1 1554047463.665 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.665 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1554047463.665 * [taylor]: Taking taylor expansion of y in x 1554047463.665 * [backup-simplify]: Simplify y into y 1554047463.666 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1554047463.666 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 (pow y 2))) in x 1554047463.666 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 (pow y 2))) 1554047463.666 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1554047463.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554047463.666 * [taylor]: Taking taylor expansion of x in x 1554047463.666 * [backup-simplify]: Simplify 0 into 0 1554047463.666 * [backup-simplify]: Simplify 1 into 1 1554047463.666 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554047463.666 * [taylor]: Taking taylor expansion of x in x 1554047463.666 * [backup-simplify]: Simplify 0 into 0 1554047463.666 * [backup-simplify]: Simplify 1 into 1 1554047463.667 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.667 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1554047463.667 * [taylor]: Taking taylor expansion of (pow y 2) in x 1554047463.667 * [taylor]: Taking taylor expansion of y in x 1554047463.667 * [backup-simplify]: Simplify y into y 1554047463.667 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1554047463.667 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1554047463.668 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.668 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.668 * [backup-simplify]: Simplify (* 1 1) into 1 1554047463.669 * [backup-simplify]: Simplify (* 1 1) into 1 1554047463.669 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.670 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.670 * [taylor]: Taking taylor expansion of 1 in y 1554047463.670 * [backup-simplify]: Simplify 1 into 1 1554047463.670 * [backup-simplify]: Simplify 1 into 1 1554047463.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554047463.671 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 1554047463.671 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 1554047463.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554047463.672 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 1554047463.672 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 y))) (* (/ 1 y) 1)) into 0 1554047463.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554047463.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554047463.674 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554047463.675 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.675 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 1554047463.675 * [taylor]: Taking taylor expansion of 0 in y 1554047463.675 * [backup-simplify]: Simplify 0 into 0 1554047463.676 * [backup-simplify]: Simplify 0 into 0 1554047463.676 * [backup-simplify]: Simplify 0 into 0 1554047463.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.677 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1554047463.677 * [backup-simplify]: Simplify (- 0) into 0 1554047463.677 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.678 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1554047463.679 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) (- (/ 1 y))) (* 0 1))) into (- (/ 1 (pow y 2))) 1554047463.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554047463.683 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2)) 1554047463.683 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow y 2))) 1) (+ (* 1 (/ (/ 1 (pow y 2)) 1)) (* 0 (/ 0 1)))) into (- (* 2 (/ 1 (pow y 2)))) 1554047463.683 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y 1554047463.683 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 1554047463.683 * [taylor]: Taking taylor expansion of 2 in y 1554047463.683 * [backup-simplify]: Simplify 2 into 2 1554047463.684 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1554047463.684 * [taylor]: Taking taylor expansion of (pow y 2) in y 1554047463.684 * [taylor]: Taking taylor expansion of y in y 1554047463.684 * [backup-simplify]: Simplify 0 into 0 1554047463.684 * [backup-simplify]: Simplify 1 into 1 1554047463.684 * [backup-simplify]: Simplify (* 1 1) into 1 1554047463.684 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554047463.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554047463.687 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554047463.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.689 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 1554047463.689 * [backup-simplify]: Simplify (- 0) into 0 1554047463.689 * [backup-simplify]: Simplify 0 into 0 1554047463.689 * [backup-simplify]: Simplify 0 into 0 1554047463.689 * [backup-simplify]: Simplify 0 into 0 1554047463.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.690 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1554047463.691 * [backup-simplify]: Simplify (- 0) into 0 1554047463.691 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.692 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1554047463.692 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 1554047463.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554047463.696 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1554047463.696 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 1554047463.697 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.698 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ (/ 1 (pow y 2)) 1)) (* (- (* 2 (/ 1 (pow y 2)))) (/ 0 1)))) into 0 1554047463.698 * [taylor]: Taking taylor expansion of 0 in y 1554047463.698 * [backup-simplify]: Simplify 0 into 0 1554047463.698 * [backup-simplify]: Simplify 0 into 0 1554047463.698 * [backup-simplify]: Simplify 1 into 1 1554047463.698 * [backup-simplify]: Simplify (/ (* (- (/ 1 (- x)) (/ 1 (- y))) (+ (/ 1 (- y)) (/ 1 (- x)))) (fma (/ 1 (- x)) (/ 1 (- x)) (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) (fma (/ -1 x) (/ -1 x) (/ 1 (pow y 2))))) 1554047463.698 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) (fma (/ -1 x) (/ -1 x) (/ 1 (pow y 2))))) in (x y) around 0 1554047463.698 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) (fma (/ -1 x) (/ -1 x) (/ 1 (pow y 2))))) in y 1554047463.698 * [taylor]: Taking taylor expansion of -1 in y 1554047463.698 * [backup-simplify]: Simplify -1 into -1 1554047463.698 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) (fma (/ -1 x) (/ -1 x) (/ 1 (pow y 2)))) in y 1554047463.698 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) in y 1554047463.698 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1554047463.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1554047463.698 * [taylor]: Taking taylor expansion of y in y 1554047463.698 * [backup-simplify]: Simplify 0 into 0 1554047463.698 * [backup-simplify]: Simplify 1 into 1 1554047463.699 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.699 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1554047463.699 * [taylor]: Taking taylor expansion of x in y 1554047463.699 * [backup-simplify]: Simplify x into x 1554047463.699 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1554047463.699 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 1554047463.699 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1554047463.699 * [taylor]: Taking taylor expansion of x in y 1554047463.699 * [backup-simplify]: Simplify x into x 1554047463.699 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1554047463.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1554047463.699 * [taylor]: Taking taylor expansion of y in y 1554047463.699 * [backup-simplify]: Simplify 0 into 0 1554047463.699 * [backup-simplify]: Simplify 1 into 1 1554047463.699 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.699 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 1 (pow y 2))) in y 1554047463.699 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 1 (pow y 2))) 1554047463.699 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 1554047463.699 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1554047463.699 * [taylor]: Taking taylor expansion of -1 in y 1554047463.699 * [backup-simplify]: Simplify -1 into -1 1554047463.699 * [taylor]: Taking taylor expansion of x in y 1554047463.699 * [backup-simplify]: Simplify x into x 1554047463.699 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1554047463.699 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1554047463.699 * [taylor]: Taking taylor expansion of -1 in y 1554047463.699 * [backup-simplify]: Simplify -1 into -1 1554047463.699 * [taylor]: Taking taylor expansion of x in y 1554047463.699 * [backup-simplify]: Simplify x into x 1554047463.699 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1554047463.699 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1554047463.699 * [taylor]: Taking taylor expansion of (pow y 2) in y 1554047463.699 * [taylor]: Taking taylor expansion of y in y 1554047463.699 * [backup-simplify]: Simplify 0 into 0 1554047463.699 * [backup-simplify]: Simplify 1 into 1 1554047463.700 * [backup-simplify]: Simplify (* 1 1) into 1 1554047463.700 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.700 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.700 * [backup-simplify]: Simplify (+ 0 1) into 1 1554047463.701 * [backup-simplify]: Simplify (* 1 1) into 1 1554047463.701 * [backup-simplify]: Simplify (+ 0 1) into 1 1554047463.701 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.701 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) (fma (/ -1 x) (/ -1 x) (/ 1 (pow y 2))))) in x 1554047463.701 * [taylor]: Taking taylor expansion of -1 in x 1554047463.701 * [backup-simplify]: Simplify -1 into -1 1554047463.701 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) (fma (/ -1 x) (/ -1 x) (/ 1 (pow y 2)))) in x 1554047463.701 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) in x 1554047463.701 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1554047463.701 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1554047463.701 * [taylor]: Taking taylor expansion of y in x 1554047463.701 * [backup-simplify]: Simplify y into y 1554047463.701 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1554047463.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554047463.701 * [taylor]: Taking taylor expansion of x in x 1554047463.701 * [backup-simplify]: Simplify 0 into 0 1554047463.701 * [backup-simplify]: Simplify 1 into 1 1554047463.702 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.702 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1554047463.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554047463.702 * [taylor]: Taking taylor expansion of x in x 1554047463.702 * [backup-simplify]: Simplify 0 into 0 1554047463.702 * [backup-simplify]: Simplify 1 into 1 1554047463.702 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.702 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1554047463.702 * [taylor]: Taking taylor expansion of y in x 1554047463.702 * [backup-simplify]: Simplify y into y 1554047463.702 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1554047463.702 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 1 (pow y 2))) in x 1554047463.702 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 1 (pow y 2))) 1554047463.702 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1554047463.702 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554047463.702 * [taylor]: Taking taylor expansion of -1 in x 1554047463.702 * [backup-simplify]: Simplify -1 into -1 1554047463.702 * [taylor]: Taking taylor expansion of x in x 1554047463.702 * [backup-simplify]: Simplify 0 into 0 1554047463.702 * [backup-simplify]: Simplify 1 into 1 1554047463.703 * [backup-simplify]: Simplify (/ -1 1) into -1 1554047463.703 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554047463.703 * [taylor]: Taking taylor expansion of -1 in x 1554047463.703 * [backup-simplify]: Simplify -1 into -1 1554047463.703 * [taylor]: Taking taylor expansion of x in x 1554047463.703 * [backup-simplify]: Simplify 0 into 0 1554047463.703 * [backup-simplify]: Simplify 1 into 1 1554047463.703 * [backup-simplify]: Simplify (/ -1 1) into -1 1554047463.703 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1554047463.703 * [taylor]: Taking taylor expansion of (pow y 2) in x 1554047463.703 * [taylor]: Taking taylor expansion of y in x 1554047463.703 * [backup-simplify]: Simplify y into y 1554047463.703 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1554047463.703 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1554047463.703 * [backup-simplify]: Simplify (- 1) into -1 1554047463.704 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554047463.704 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.704 * [backup-simplify]: Simplify (* -1 1) into -1 1554047463.704 * [backup-simplify]: Simplify (* -1 -1) into 1 1554047463.705 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.705 * [backup-simplify]: Simplify (/ -1 1) into -1 1554047463.705 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) (fma (/ -1 x) (/ -1 x) (/ 1 (pow y 2))))) in x 1554047463.705 * [taylor]: Taking taylor expansion of -1 in x 1554047463.705 * [backup-simplify]: Simplify -1 into -1 1554047463.705 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) (fma (/ -1 x) (/ -1 x) (/ 1 (pow y 2)))) in x 1554047463.705 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) in x 1554047463.705 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1554047463.705 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1554047463.705 * [taylor]: Taking taylor expansion of y in x 1554047463.705 * [backup-simplify]: Simplify y into y 1554047463.705 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1554047463.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554047463.705 * [taylor]: Taking taylor expansion of x in x 1554047463.705 * [backup-simplify]: Simplify 0 into 0 1554047463.705 * [backup-simplify]: Simplify 1 into 1 1554047463.705 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.705 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1554047463.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554047463.705 * [taylor]: Taking taylor expansion of x in x 1554047463.705 * [backup-simplify]: Simplify 0 into 0 1554047463.705 * [backup-simplify]: Simplify 1 into 1 1554047463.706 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.706 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1554047463.706 * [taylor]: Taking taylor expansion of y in x 1554047463.706 * [backup-simplify]: Simplify y into y 1554047463.706 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1554047463.706 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 1 (pow y 2))) in x 1554047463.706 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 1 (pow y 2))) 1554047463.706 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1554047463.706 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554047463.706 * [taylor]: Taking taylor expansion of -1 in x 1554047463.706 * [backup-simplify]: Simplify -1 into -1 1554047463.706 * [taylor]: Taking taylor expansion of x in x 1554047463.706 * [backup-simplify]: Simplify 0 into 0 1554047463.706 * [backup-simplify]: Simplify 1 into 1 1554047463.706 * [backup-simplify]: Simplify (/ -1 1) into -1 1554047463.706 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554047463.706 * [taylor]: Taking taylor expansion of -1 in x 1554047463.706 * [backup-simplify]: Simplify -1 into -1 1554047463.706 * [taylor]: Taking taylor expansion of x in x 1554047463.706 * [backup-simplify]: Simplify 0 into 0 1554047463.706 * [backup-simplify]: Simplify 1 into 1 1554047463.710 * [backup-simplify]: Simplify (/ -1 1) into -1 1554047463.710 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1554047463.710 * [taylor]: Taking taylor expansion of (pow y 2) in x 1554047463.710 * [taylor]: Taking taylor expansion of y in x 1554047463.710 * [backup-simplify]: Simplify y into y 1554047463.710 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1554047463.711 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1554047463.711 * [backup-simplify]: Simplify (- 1) into -1 1554047463.711 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554047463.712 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.712 * [backup-simplify]: Simplify (* -1 1) into -1 1554047463.712 * [backup-simplify]: Simplify (* -1 -1) into 1 1554047463.712 * [backup-simplify]: Simplify (+ 1 0) into 1 1554047463.713 * [backup-simplify]: Simplify (/ -1 1) into -1 1554047463.713 * [backup-simplify]: Simplify (* -1 -1) into 1 1554047463.713 * [taylor]: Taking taylor expansion of 1 in y 1554047463.713 * [backup-simplify]: Simplify 1 into 1 1554047463.713 * [backup-simplify]: Simplify 1 into 1 1554047463.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554047463.714 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 1554047463.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554047463.714 * [backup-simplify]: Simplify (- 0) into 0 1554047463.714 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 1554047463.715 * [backup-simplify]: Simplify (+ (* -1 (/ 1 y)) (* (/ 1 y) 1)) into 0 1554047463.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554047463.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554047463.716 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 1554047463.716 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554047463.717 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 1554047463.717 * [taylor]: Taking taylor expansion of 0 in y 1554047463.717 * [backup-simplify]: Simplify 0 into 0 1554047463.717 * [backup-simplify]: Simplify 0 into 0 1554047463.717 * [backup-simplify]: Simplify 0 into 0 1554047463.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.718 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1554047463.718 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.718 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1554047463.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.719 * [backup-simplify]: Simplify (- 0) into 0 1554047463.719 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.720 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) (/ 1 y)) (* 0 1))) into (/ 1 (pow y 2)) 1554047463.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.721 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.721 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 1554047463.721 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2)) 1554047463.722 * [backup-simplify]: Simplify (- (/ (/ 1 (pow y 2)) 1) (+ (* -1 (/ (/ 1 (pow y 2)) 1)) (* 0 (/ 0 1)))) into (* 2 (/ 1 (pow y 2))) 1554047463.722 * [backup-simplify]: Simplify (+ (* -1 (* 2 (/ 1 (pow y 2)))) (+ (* 0 0) (* 0 -1))) into (- (* 2 (/ 1 (pow y 2)))) 1554047463.722 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y 1554047463.722 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 1554047463.722 * [taylor]: Taking taylor expansion of 2 in y 1554047463.722 * [backup-simplify]: Simplify 2 into 2 1554047463.722 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1554047463.722 * [taylor]: Taking taylor expansion of (pow y 2) in y 1554047463.722 * [taylor]: Taking taylor expansion of y in y 1554047463.722 * [backup-simplify]: Simplify 0 into 0 1554047463.722 * [backup-simplify]: Simplify 1 into 1 1554047463.723 * [backup-simplify]: Simplify (* 1 1) into 1 1554047463.723 * [backup-simplify]: Simplify (/ 1 1) into 1 1554047463.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554047463.724 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554047463.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554047463.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.725 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 1554047463.725 * [backup-simplify]: Simplify (- 0) into 0 1554047463.725 * [backup-simplify]: Simplify 0 into 0 1554047463.725 * [backup-simplify]: Simplify 0 into 0 1554047463.725 * [backup-simplify]: Simplify 0 into 0 1554047463.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.726 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1554047463.726 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.726 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1554047463.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.727 * [backup-simplify]: Simplify (- 0) into 0 1554047463.727 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.728 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 1554047463.729 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554047463.731 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1554047463.731 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1554047463.731 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 1554047463.731 * [backup-simplify]: Simplify (+ 0 0) into 0 1554047463.733 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ (/ 1 (pow y 2)) 1)) (* (* 2 (/ 1 (pow y 2))) (/ 0 1)))) into 0 1554047463.734 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 2 (/ 1 (pow y 2)))) (+ (* 0 0) (* 0 -1)))) into 0 1554047463.734 * [taylor]: Taking taylor expansion of 0 in y 1554047463.734 * [backup-simplify]: Simplify 0 into 0 1554047463.734 * [backup-simplify]: Simplify 0 into 0 1554047463.734 * [backup-simplify]: Simplify 1 into 1 1554047463.734 * * * [progress]: simplifying candidates 1554047463.734 * * * * [progress]: [ 1 / 35 ] simplifiying candidate # 1554047463.734 * * * * [progress]: [ 2 / 35 ] simplifiying candidate # 1554047463.735 * * * * [progress]: [ 3 / 35 ] simplifiying candidate # 1554047463.735 * * * * [progress]: [ 4 / 35 ] simplifiying candidate # 1554047463.735 * [simplify]: Simplifying (- (+ (log (- x y)) (log (+ y x))) (log (fma x x (* y y)))) 1554047463.735 * * [simplify]: iters left: 6 (11 enodes) 1554047463.740 * * [simplify]: iters left: 5 (43 enodes) 1554047463.753 * * [simplify]: iters left: 4 (61 enodes) 1554047463.770 * * [simplify]: iters left: 3 (71 enodes) 1554047463.789 * * [simplify]: iters left: 2 (75 enodes) 1554047463.807 * * [simplify]: iters left: 1 (79 enodes) 1554047463.822 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047463.822 * * [simplify]: Extracting #1: cost 16 inf + 0 1554047463.822 * * [simplify]: Extracting #2: cost 28 inf + 0 1554047463.822 * * [simplify]: Extracting #3: cost 36 inf + 0 1554047463.823 * * [simplify]: Extracting #4: cost 37 inf + 2 1554047463.823 * * [simplify]: Extracting #5: cost 21 inf + 1910 1554047463.824 * * [simplify]: Extracting #6: cost 3 inf + 6074 1554047463.825 * * [simplify]: Extracting #7: cost 0 inf + 7035 1554047463.826 * [simplify]: Simplified to (+ (log (- x y)) (- (log (+ y x)) (log (fma y y (* x x))))) 1554047463.826 * [simplify]: Simplified (2 1) to (λ (x y) (exp (+ (log (- x y)) (- (log (+ y x)) (log (fma y y (* x x))))))) 1554047463.826 * * * * [progress]: [ 5 / 35 ] simplifiying candidate # 1554047463.826 * [simplify]: Simplifying (- (log (* (- x y) (+ y x))) (log (fma x x (* y y)))) 1554047463.826 * * [simplify]: iters left: 6 (10 enodes) 1554047463.828 * * [simplify]: iters left: 5 (47 enodes) 1554047463.839 * * [simplify]: iters left: 4 (93 enodes) 1554047463.853 * * [simplify]: iters left: 3 (161 enodes) 1554047463.883 * * [simplify]: iters left: 2 (256 enodes) 1554047463.958 * * [simplify]: iters left: 1 (402 enodes) 1554047464.074 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047464.074 * * [simplify]: Extracting #1: cost 13 inf + 0 1554047464.074 * * [simplify]: Extracting #2: cost 28 inf + 0 1554047464.074 * * [simplify]: Extracting #3: cost 70 inf + 0 1554047464.075 * * [simplify]: Extracting #4: cost 114 inf + 126 1554047464.076 * * [simplify]: Extracting #5: cost 65 inf + 5185 1554047464.080 * * [simplify]: Extracting #6: cost 10 inf + 12830 1554047464.084 * * [simplify]: Extracting #7: cost 0 inf + 14584 1554047464.089 * [simplify]: Simplified to (- (log (* (- x y) (+ y x))) (log (fma x x (* y y)))) 1554047464.089 * [simplify]: Simplified (2 1) to (λ (x y) (exp (- (log (* (- x y) (+ y x))) (log (fma x x (* y y)))))) 1554047464.089 * * * * [progress]: [ 6 / 35 ] simplifiying candidate # 1554047464.089 * * * * [progress]: [ 7 / 35 ] simplifiying candidate # 1554047464.089 * * * * [progress]: [ 8 / 35 ] simplifiying candidate # 1554047464.089 * [simplify]: Simplifying (/ (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ y x) (+ y x)) (+ y x))) (* (* (fma x x (* y y)) (fma x x (* y y))) (fma x x (* y y)))) 1554047464.089 * * [simplify]: iters left: 6 (14 enodes) 1554047464.093 * * [simplify]: iters left: 5 (74 enodes) 1554047464.112 * * [simplify]: iters left: 4 (326 enodes) 1554047464.296 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047464.296 * * [simplify]: Extracting #1: cost 94 inf + 0 1554047464.297 * * [simplify]: Extracting #2: cost 275 inf + 0 1554047464.300 * * [simplify]: Extracting #3: cost 366 inf + 16896 1554047464.317 * * [simplify]: Extracting #4: cost 106 inf + 83355 1554047464.342 * * [simplify]: Extracting #5: cost 2 inf + 109138 1554047464.371 * * [simplify]: Extracting #6: cost 0 inf + 108662 1554047464.411 * [simplify]: Simplified to (/ (* (+ y x) (* (+ y x) (+ y x))) (* (* (/ (fma x x (* y y)) (- x y)) (/ (fma x x (* y y)) (- x y))) (/ (fma x x (* y y)) (- x y)))) 1554047464.411 * [simplify]: Simplified (2 1) to (λ (x y) (cbrt (/ (* (+ y x) (* (+ y x) (+ y x))) (* (* (/ (fma x x (* y y)) (- x y)) (/ (fma x x (* y y)) (- x y))) (/ (fma x x (* y y)) (- x y)))))) 1554047464.411 * * * * [progress]: [ 9 / 35 ] simplifiying candidate # 1554047464.412 * [simplify]: Simplifying (/ (* (* (* (- x y) (+ y x)) (* (- x y) (+ y x))) (* (- x y) (+ y x))) (* (* (fma x x (* y y)) (fma x x (* y y))) (fma x x (* y y)))) 1554047464.412 * * [simplify]: iters left: 6 (12 enodes) 1554047464.415 * * [simplify]: iters left: 5 (66 enodes) 1554047464.433 * * [simplify]: iters left: 4 (306 enodes) 1554047465.122 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047465.122 * * [simplify]: Extracting #1: cost 118 inf + 0 1554047465.124 * * [simplify]: Extracting #2: cost 356 inf + 1 1554047465.133 * * [simplify]: Extracting #3: cost 465 inf + 21652 1554047465.180 * * [simplify]: Extracting #4: cost 50 inf + 120151 1554047465.213 * * [simplify]: Extracting #5: cost 0 inf + 133897 1554047465.262 * * [simplify]: Extracting #6: cost 0 inf + 133777 1554047465.327 * [simplify]: Simplified to (* (/ (* (- x y) (+ y x)) (fma x x (* y y))) (* (/ (* (- x y) (+ y x)) (fma x x (* y y))) (/ (* (- x y) (+ y x)) (fma x x (* y y))))) 1554047465.327 * [simplify]: Simplified (2 1) to (λ (x y) (cbrt (* (/ (* (- x y) (+ y x)) (fma x x (* y y))) (* (/ (* (- x y) (+ y x)) (fma x x (* y y))) (/ (* (- x y) (+ y x)) (fma x x (* y y))))))) 1554047465.327 * * * * [progress]: [ 10 / 35 ] simplifiying candidate # 1554047465.327 * * * * [progress]: [ 11 / 35 ] simplifiying candidate # 1554047465.327 * * * * [progress]: [ 12 / 35 ] simplifiying candidate # 1554047465.328 * * * * [progress]: [ 13 / 35 ] simplifiying candidate # 1554047465.328 * * * * [progress]: [ 14 / 35 ] simplifiying candidate # 1554047465.328 * [simplify]: Simplifying (/ (- x y) (* (cbrt (fma x x (* y y))) (cbrt (fma x x (* y y))))) 1554047465.328 * * [simplify]: iters left: 6 (8 enodes) 1554047465.332 * * [simplify]: iters left: 5 (33 enodes) 1554047465.337 * * [simplify]: iters left: 4 (52 enodes) 1554047465.344 * * [simplify]: iters left: 3 (64 enodes) 1554047465.355 * * [simplify]: iters left: 2 (68 enodes) 1554047465.363 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047465.363 * * [simplify]: Extracting #1: cost 9 inf + 0 1554047465.363 * * [simplify]: Extracting #2: cost 23 inf + 0 1554047465.363 * * [simplify]: Extracting #3: cost 27 inf + 43 1554047465.363 * * [simplify]: Extracting #4: cost 20 inf + 1038 1554047465.364 * * [simplify]: Extracting #5: cost 3 inf + 4655 1554047465.365 * * [simplify]: Extracting #6: cost 0 inf + 5426 1554047465.366 * [simplify]: Simplified to (/ (- x y) (* (cbrt (fma x x (* y y))) (cbrt (fma x x (* y y))))) 1554047465.366 * [simplify]: Simplified (2 1) to (λ (x y) (* (/ (- x y) (* (cbrt (fma x x (* y y))) (cbrt (fma x x (* y y))))) (/ (+ y x) (cbrt (fma x x (* y y)))))) 1554047465.366 * [simplify]: Simplifying (/ (+ y x) (cbrt (fma x x (* y y)))) 1554047465.366 * * [simplify]: iters left: 6 (7 enodes) 1554047465.368 * * [simplify]: iters left: 5 (24 enodes) 1554047465.373 * * [simplify]: iters left: 4 (27 enodes) 1554047465.381 * * [simplify]: iters left: 3 (28 enodes) 1554047465.388 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047465.388 * * [simplify]: Extracting #1: cost 4 inf + 0 1554047465.388 * * [simplify]: Extracting #2: cost 9 inf + 0 1554047465.388 * * [simplify]: Extracting #3: cost 10 inf + 2 1554047465.388 * * [simplify]: Extracting #4: cost 6 inf + 362 1554047465.389 * * [simplify]: Extracting #5: cost 3 inf + 621 1554047465.389 * * [simplify]: Extracting #6: cost 1 inf + 1055 1554047465.389 * * [simplify]: Extracting #7: cost 0 inf + 1312 1554047465.390 * [simplify]: Simplified to (/ (+ x y) (cbrt (fma y y (* x x)))) 1554047465.390 * [simplify]: Simplified (2 2) to (λ (x y) (* (/ (- x y) (* (cbrt (fma x x (* y y))) (cbrt (fma x x (* y y))))) (/ (+ x y) (cbrt (fma y y (* x x)))))) 1554047465.390 * * * * [progress]: [ 15 / 35 ] simplifiying candidate # 1554047465.390 * [simplify]: Simplifying (/ (- x y) (sqrt (fma x x (* y y)))) 1554047465.391 * * [simplify]: iters left: 6 (7 enodes) 1554047465.394 * * [simplify]: iters left: 5 (28 enodes) 1554047465.402 * * [simplify]: iters left: 4 (41 enodes) 1554047465.408 * * [simplify]: iters left: 3 (46 enodes) 1554047465.414 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047465.414 * * [simplify]: Extracting #1: cost 7 inf + 0 1554047465.414 * * [simplify]: Extracting #2: cost 16 inf + 0 1554047465.414 * * [simplify]: Extracting #3: cost 18 inf + 2 1554047465.414 * * [simplify]: Extracting #4: cost 10 inf + 558 1554047465.415 * * [simplify]: Extracting #5: cost 0 inf + 1576 1554047465.415 * [simplify]: Simplified to (/ (- x y) (hypot x y)) 1554047465.415 * [simplify]: Simplified (2 1) to (λ (x y) (* (/ (- x y) (hypot x y)) (/ (+ y x) (sqrt (fma x x (* y y)))))) 1554047465.415 * [simplify]: Simplifying (/ (+ y x) (sqrt (fma x x (* y y)))) 1554047465.415 * * [simplify]: iters left: 6 (7 enodes) 1554047465.417 * * [simplify]: iters left: 5 (24 enodes) 1554047465.420 * * [simplify]: iters left: 4 (28 enodes) 1554047465.424 * * [simplify]: iters left: 3 (29 enodes) 1554047465.428 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047465.428 * * [simplify]: Extracting #1: cost 4 inf + 0 1554047465.428 * * [simplify]: Extracting #2: cost 9 inf + 0 1554047465.428 * * [simplify]: Extracting #3: cost 10 inf + 2 1554047465.428 * * [simplify]: Extracting #4: cost 4 inf + 556 1554047465.428 * * [simplify]: Extracting #5: cost 0 inf + 832 1554047465.428 * [simplify]: Simplified to (/ (+ x y) (hypot x y)) 1554047465.428 * [simplify]: Simplified (2 2) to (λ (x y) (* (/ (- x y) (sqrt (fma x x (* y y)))) (/ (+ x y) (hypot x y)))) 1554047465.428 * * * * [progress]: [ 16 / 35 ] simplifiying candidate # 1554047465.429 * [simplify]: Simplifying (/ (- x y) 1) 1554047465.429 * * [simplify]: iters left: 4 (5 enodes) 1554047465.430 * * [simplify]: iters left: 3 (20 enodes) 1554047465.434 * * [simplify]: iters left: 2 (28 enodes) 1554047465.441 * * [simplify]: iters left: 1 (30 enodes) 1554047465.444 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047465.444 * * [simplify]: Extracting #1: cost 6 inf + 0 1554047465.444 * * [simplify]: Extracting #2: cost 3 inf + 44 1554047465.444 * * [simplify]: Extracting #3: cost 0 inf + 169 1554047465.445 * [simplify]: Simplified to (- x y) 1554047465.445 * [simplify]: Simplified (2 1) to (λ (x y) (* (- x y) (/ (+ y x) (fma x x (* y y))))) 1554047465.445 * [simplify]: Simplifying (/ (+ y x) (fma x x (* y y))) 1554047465.445 * * [simplify]: iters left: 5 (6 enodes) 1554047465.447 * * [simplify]: iters left: 4 (21 enodes) 1554047465.450 * * [simplify]: iters left: 3 (24 enodes) 1554047465.453 * * [simplify]: iters left: 2 (25 enodes) 1554047465.456 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047465.456 * * [simplify]: Extracting #1: cost 4 inf + 0 1554047465.456 * * [simplify]: Extracting #2: cost 10 inf + 0 1554047465.457 * * [simplify]: Extracting #3: cost 8 inf + 84 1554047465.457 * * [simplify]: Extracting #4: cost 0 inf + 798 1554047465.457 * [simplify]: Simplified to (/ (+ x y) (fma y y (* x x))) 1554047465.457 * [simplify]: Simplified (2 2) to (λ (x y) (* (- x y) (/ (+ x y) (fma y y (* x x))))) 1554047465.457 * * * * [progress]: [ 17 / 35 ] simplifiying candidate # 1554047465.457 * * * * [progress]: [ 18 / 35 ] simplifiying candidate # 1554047465.457 * * * * [progress]: [ 19 / 35 ] simplifiying candidate # 1554047465.457 * * * * [progress]: [ 20 / 35 ] simplifiying candidate # 1554047465.457 * [simplify]: Simplifying (cbrt (fma x x (* y y))) 1554047465.457 * * [simplify]: iters left: 4 (5 enodes) 1554047465.458 * * [simplify]: iters left: 3 (17 enodes) 1554047465.461 * * [simplify]: iters left: 2 (20 enodes) 1554047465.463 * * [simplify]: iters left: 1 (21 enodes) 1554047465.466 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047465.466 * * [simplify]: Extracting #1: cost 3 inf + 0 1554047465.466 * * [simplify]: Extracting #2: cost 8 inf + 0 1554047465.466 * * [simplify]: Extracting #3: cost 7 inf + 43 1554047465.466 * * [simplify]: Extracting #4: cost 0 inf + 714 1554047465.466 * [simplify]: Simplified to (cbrt (fma x x (* y y))) 1554047465.466 * [simplify]: Simplified (2 2) to (λ (x y) (/ (/ (* (- x y) (+ y x)) (* (cbrt (fma x x (* y y))) (cbrt (fma x x (* y y))))) (cbrt (fma x x (* y y))))) 1554047465.466 * * * * [progress]: [ 21 / 35 ] simplifiying candidate # 1554047465.466 * [simplify]: Simplifying (sqrt (fma x x (* y y))) 1554047465.467 * * [simplify]: iters left: 4 (5 enodes) 1554047465.467 * * [simplify]: iters left: 3 (17 enodes) 1554047465.471 * * [simplify]: iters left: 2 (21 enodes) 1554047465.477 * * [simplify]: iters left: 1 (22 enodes) 1554047465.482 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047465.482 * * [simplify]: Extracting #1: cost 5 inf + 0 1554047465.482 * * [simplify]: Extracting #2: cost 6 inf + 2 1554047465.482 * * [simplify]: Extracting #3: cost 2 inf + 392 1554047465.483 * * [simplify]: Extracting #4: cost 0 inf + 474 1554047465.483 * [simplify]: Simplified to (hypot x y) 1554047465.483 * [simplify]: Simplified (2 2) to (λ (x y) (/ (/ (* (- x y) (+ y x)) (sqrt (fma x x (* y y)))) (hypot x y))) 1554047465.483 * * * * [progress]: [ 22 / 35 ] simplifiying candidate # 1554047465.483 * [simplify]: Simplifying (fma x x (* y y)) 1554047465.483 * * [simplify]: iters left: 3 (4 enodes) 1554047465.485 * * [simplify]: iters left: 2 (14 enodes) 1554047465.489 * * [simplify]: iters left: 1 (17 enodes) 1554047465.494 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047465.494 * * [simplify]: Extracting #1: cost 6 inf + 0 1554047465.494 * * [simplify]: Extracting #2: cost 5 inf + 43 1554047465.494 * * [simplify]: Extracting #3: cost 0 inf + 360 1554047465.494 * [simplify]: Simplified to (fma x x (* y y)) 1554047465.494 * [simplify]: Simplified (2 2) to (λ (x y) (/ (/ (* (- x y) (+ y x)) 1) (fma x x (* y y)))) 1554047465.495 * * * * [progress]: [ 23 / 35 ] simplifiying candidate # 1554047465.495 * [simplify]: Simplifying (- x y) 1554047465.495 * * [simplify]: iters left: 2 (3 enodes) 1554047465.496 * * [simplify]: iters left: 1 (11 enodes) 1554047465.499 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047465.499 * * [simplify]: Extracting #1: cost 5 inf + 0 1554047465.499 * * [simplify]: Extracting #2: cost 3 inf + 43 1554047465.499 * * [simplify]: Extracting #3: cost 0 inf + 168 1554047465.500 * [simplify]: Simplified to (- x y) 1554047465.500 * [simplify]: Simplified (2 1) to (λ (x y) (/ (- x y) (/ (fma x x (* y y)) (+ y x)))) 1554047465.500 * * * * [progress]: [ 24 / 35 ] simplifiying candidate # 1554047465.500 * [simplify]: Simplifying (* (- (pow x 3) (pow y 3)) (+ (pow y 3) (pow x 3))) 1554047465.500 * * [simplify]: iters left: 5 (8 enodes) 1554047465.506 * * [simplify]: iters left: 4 (47 enodes) 1554047465.529 * * [simplify]: iters left: 3 (151 enodes) 1554047465.611 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047465.612 * * [simplify]: Extracting #1: cost 34 inf + 0 1554047465.612 * * [simplify]: Extracting #2: cost 162 inf + 43 1554047465.613 * * [simplify]: Extracting #3: cost 132 inf + 8400 1554047465.619 * * [simplify]: Extracting #4: cost 15 inf + 45402 1554047465.626 * * [simplify]: Extracting #5: cost 2 inf + 49377 1554047465.633 * * [simplify]: Extracting #6: cost 0 inf + 49801 1554047465.647 * [simplify]: Simplified to (* (- (* x (* x x)) (* (* y y) y)) (fma y (* y y) (* x (* x x)))) 1554047465.648 * [simplify]: Simplified (2 1) to (λ (x y) (/ (* (- (* x (* x x)) (* (* y y) y)) (fma y (* y y) (* x (* x x)))) (* (fma x x (* y y)) (* (+ (* x x) (+ (* y y) (* x y))) (+ (* y y) (- (* x x) (* y x))))))) 1554047465.648 * * * * [progress]: [ 25 / 35 ] simplifiying candidate # 1554047465.648 * [simplify]: Simplifying (* (- (pow x 3) (pow y 3)) (- (* y y) (* x x))) 1554047465.648 * * [simplify]: iters left: 6 (10 enodes) 1554047465.654 * * [simplify]: iters left: 5 (50 enodes) 1554047465.676 * * [simplify]: iters left: 4 (120 enodes) 1554047465.737 * * [simplify]: iters left: 3 (374 enodes) 1554047465.998 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047465.998 * * [simplify]: Extracting #1: cost 97 inf + 0 1554047466.000 * * [simplify]: Extracting #2: cost 440 inf + 288 1554047466.005 * * [simplify]: Extracting #3: cost 326 inf + 23934 1554047466.024 * * [simplify]: Extracting #4: cost 171 inf + 59360 1554047466.059 * * [simplify]: Extracting #5: cost 43 inf + 117063 1554047466.081 * * [simplify]: Extracting #6: cost 4 inf + 136714 1554047466.119 * * [simplify]: Extracting #7: cost 0 inf + 139138 1554047466.140 * [simplify]: Simplified to (* (- (* y y) (* x x)) (- (* (* x x) x) (* y (* y y)))) 1554047466.140 * [simplify]: Simplified (2 1) to (λ (x y) (/ (* (- (* y y) (* x x)) (- (* (* x x) x) (* y (* y y)))) (* (fma x x (* y y)) (* (+ (* x x) (+ (* y y) (* x y))) (- y x))))) 1554047466.140 * * * * [progress]: [ 26 / 35 ] simplifiying candidate # 1554047466.141 * [simplify]: Simplifying (* (- (* x x) (* y y)) (+ (pow y 3) (pow x 3))) 1554047466.141 * * [simplify]: iters left: 6 (10 enodes) 1554047466.149 * * [simplify]: iters left: 5 (55 enodes) 1554047466.175 * * [simplify]: iters left: 4 (163 enodes) 1554047466.242 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047466.242 * * [simplify]: Extracting #1: cost 44 inf + 0 1554047466.243 * * [simplify]: Extracting #2: cost 167 inf + 168 1554047466.250 * * [simplify]: Extracting #3: cost 117 inf + 6973 1554047466.261 * * [simplify]: Extracting #4: cost 25 inf + 27612 1554047466.274 * * [simplify]: Extracting #5: cost 3 inf + 35070 1554047466.287 * * [simplify]: Extracting #6: cost 0 inf + 35867 1554047466.294 * [simplify]: Simplified to (fma (fma (* x x) x (* y (* y y))) (* x x) (* (fma (* x x) x (* y (* y y))) (- (* y y)))) 1554047466.294 * [simplify]: Simplified (2 1) to (λ (x y) (/ (fma (fma (* x x) x (* y (* y y))) (* x x) (* (fma (* x x) x (* y (* y y))) (- (* y y)))) (* (fma x x (* y y)) (* (+ x y) (+ (* y y) (- (* x x) (* y x))))))) 1554047466.294 * * * * [progress]: [ 27 / 35 ] simplifiying candidate # 1554047466.295 * [simplify]: Simplifying (* (- (* x x) (* y y)) (- (* y y) (* x x))) 1554047466.295 * * [simplify]: iters left: 6 (7 enodes) 1554047466.296 * * [simplify]: iters left: 5 (34 enodes) 1554047466.302 * * [simplify]: iters left: 4 (78 enodes) 1554047466.322 * * [simplify]: iters left: 3 (270 enodes) 1554047466.546 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047466.546 * * [simplify]: Extracting #1: cost 84 inf + 0 1554047466.547 * * [simplify]: Extracting #2: cost 285 inf + 491 1554047466.552 * * [simplify]: Extracting #3: cost 154 inf + 23159 1554047466.571 * * [simplify]: Extracting #4: cost 12 inf + 47472 1554047466.594 * * [simplify]: Extracting #5: cost 0 inf + 48976 1554047466.607 * * [simplify]: Extracting #6: cost 0 inf + 48896 1554047466.621 * [simplify]: Simplified to (* (- (* x x) (* y y)) (- (* y y) (* x x))) 1554047466.621 * [simplify]: Simplified (2 1) to (λ (x y) (/ (* (- (* x x) (* y y)) (- (* y y) (* x x))) (* (fma x x (* y y)) (* (+ x y) (- y x))))) 1554047466.621 * * * * [progress]: [ 28 / 35 ] simplifiying candidate # 1554047466.621 * [simplify]: Simplifying (* (- x y) (+ (pow y 3) (pow x 3))) 1554047466.621 * * [simplify]: iters left: 5 (8 enodes) 1554047466.624 * * [simplify]: iters left: 4 (47 enodes) 1554047466.636 * * [simplify]: iters left: 3 (137 enodes) 1554047466.706 * * [simplify]: iters left: 2 (383 enodes) 1554047466.888 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047466.888 * * [simplify]: Extracting #1: cost 47 inf + 0 1554047466.889 * * [simplify]: Extracting #2: cost 143 inf + 2 1554047466.891 * * [simplify]: Extracting #3: cost 117 inf + 7326 1554047466.897 * * [simplify]: Extracting #4: cost 42 inf + 27505 1554047466.905 * * [simplify]: Extracting #5: cost 5 inf + 39181 1554047466.913 * * [simplify]: Extracting #6: cost 0 inf + 41141 1554047466.921 * [simplify]: Simplified to (* (fma (* x x) x (* (* y y) y)) (- x y)) 1554047466.921 * [simplify]: Simplified (2 1) to (λ (x y) (/ (* (fma (* x x) x (* (* y y) y)) (- x y)) (* (fma x x (* y y)) (+ (* y y) (- (* x x) (* y x)))))) 1554047466.921 * * * * [progress]: [ 29 / 35 ] simplifiying candidate # 1554047466.921 * [simplify]: Simplifying (* (- x y) (- (* y y) (* x x))) 1554047466.921 * * [simplify]: iters left: 6 (7 enodes) 1554047466.923 * * [simplify]: iters left: 5 (30 enodes) 1554047466.930 * * [simplify]: iters left: 4 (62 enodes) 1554047466.949 * * [simplify]: iters left: 3 (185 enodes) 1554047467.043 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047467.044 * * [simplify]: Extracting #1: cost 61 inf + 0 1554047467.045 * * [simplify]: Extracting #2: cost 151 inf + 44 1554047467.048 * * [simplify]: Extracting #3: cost 90 inf + 8228 1554047467.059 * * [simplify]: Extracting #4: cost 4 inf + 22041 1554047467.070 * * [simplify]: Extracting #5: cost 0 inf + 22698 1554047467.082 * [simplify]: Simplified to (* (- x y) (- (* y y) (* x x))) 1554047467.083 * [simplify]: Simplified (2 1) to (λ (x y) (/ (* (- x y) (- (* y y) (* x x))) (* (fma x x (* y y)) (- y x)))) 1554047467.083 * * * * [progress]: [ 30 / 35 ] simplifiying candidate # 1554047467.083 * [simplify]: Simplifying (* (- (pow x 3) (pow y 3)) (+ y x)) 1554047467.083 * * [simplify]: iters left: 5 (8 enodes) 1554047467.089 * * [simplify]: iters left: 4 (47 enodes) 1554047467.110 * * [simplify]: iters left: 3 (122 enodes) 1554047467.167 * * [simplify]: iters left: 2 (374 enodes) 1554047467.377 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047467.378 * * [simplify]: Extracting #1: cost 65 inf + 0 1554047467.379 * * [simplify]: Extracting #2: cost 199 inf + 165 1554047467.385 * * [simplify]: Extracting #3: cost 167 inf + 10455 1554047467.399 * * [simplify]: Extracting #4: cost 80 inf + 36302 1554047467.412 * * [simplify]: Extracting #5: cost 6 inf + 67747 1554047467.422 * * [simplify]: Extracting #6: cost 0 inf + 69878 1554047467.434 * [simplify]: Simplified to (* (- (* x (* x x)) (* (* y y) y)) (+ y x)) 1554047467.434 * [simplify]: Simplified (2 1) to (λ (x y) (/ (* (- (* x (* x x)) (* (* y y) y)) (+ y x)) (* (fma x x (* y y)) (+ (* x x) (+ (* y y) (* x y)))))) 1554047467.434 * * * * [progress]: [ 31 / 35 ] simplifiying candidate # 1554047467.434 * [simplify]: Simplifying (* (- (* x x) (* y y)) (+ y x)) 1554047467.435 * * [simplify]: iters left: 6 (7 enodes) 1554047467.439 * * [simplify]: iters left: 5 (34 enodes) 1554047467.454 * * [simplify]: iters left: 4 (73 enodes) 1554047467.468 * * [simplify]: iters left: 3 (181 enodes) 1554047467.541 * * [simplify]: iters left: 2 (467 enodes) 1554047467.805 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047467.805 * * [simplify]: Extracting #1: cost 66 inf + 0 1554047467.806 * * [simplify]: Extracting #2: cost 173 inf + 532 1554047467.812 * * [simplify]: Extracting #3: cost 53 inf + 20952 1554047467.822 * * [simplify]: Extracting #4: cost 5 inf + 29734 1554047467.832 * * [simplify]: Extracting #5: cost 0 inf + 29448 1554047467.843 * * [simplify]: Extracting #6: cost 0 inf + 29408 1554047467.866 * [simplify]: Simplified to (* (- x y) (* (+ x y) (+ x y))) 1554047467.867 * [simplify]: Simplified (2 1) to (λ (x y) (/ (* (- x y) (* (+ x y) (+ x y))) (* (fma x x (* y y)) (+ x y)))) 1554047467.867 * * * * [progress]: [ 32 / 35 ] simplifiying candidate #real (real->posit16 (/ (* (- x y) (+ y x)) (fma x x (* y y))))))> 1554047467.867 * * * * [progress]: [ 33 / 35 ] simplifiying candidate # 1554047467.867 * [simplify]: Simplifying -1 1554047467.867 * * [simplify]: iters left: 0 (1 enodes) 1554047467.868 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047467.869 * * [simplify]: Extracting #1: cost 0 inf + 1 1554047467.869 * [simplify]: Simplified to -1 1554047467.869 * [simplify]: Simplified (2) to (λ (x y) -1) 1554047467.869 * * * * [progress]: [ 34 / 35 ] simplifiying candidate # 1554047467.869 * [simplify]: Simplifying 1 1554047467.869 * * [simplify]: iters left: 0 (1 enodes) 1554047467.870 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047467.870 * * [simplify]: Extracting #1: cost 0 inf + 1 1554047467.870 * [simplify]: Simplified to 1 1554047467.870 * [simplify]: Simplified (2) to (λ (x y) 1) 1554047467.870 * * * * [progress]: [ 35 / 35 ] simplifiying candidate # 1554047467.870 * [simplify]: Simplifying 1 1554047467.870 * * [simplify]: iters left: 0 (1 enodes) 1554047467.871 * * [simplify]: Extracting #0: cost 1 inf + 0 1554047467.871 * * [simplify]: Extracting #1: cost 0 inf + 1 1554047467.871 * [simplify]: Simplified to 1 1554047467.871 * [simplify]: Simplified (2) to (λ (x y) 1) 1554047467.871 * * * [progress]: adding candidates to table 1554047468.199 * * [progress]: iteration 2 / 4 1554047468.200 * * * [progress]: picking best candidate 1554047468.202 * * * * [pick]: Picked # 1554047468.202 * * * [progress]: localizing error 1554047468.202 * * * [progress]: generating rewritten candidates 1554047468.202 * * * [progress]: generating series expansions 1554047468.202 * * * [progress]: simplifying candidates 1554047468.202 * * * [progress]: adding candidates to table 1554047468.203 * * [progress]: iteration 3 / 4 1554047468.203 * * * [progress]: picking best candidate 1554047468.204 * * * * [pick]: Picked # 1554047468.204 * * * [progress]: localizing error 1554047468.204 * * * [progress]: generating rewritten candidates 1554047468.205 * * * [progress]: generating series expansions 1554047468.205 * * * [progress]: simplifying candidates 1554047468.205 * * * [progress]: adding candidates to table 1554047468.205 * [progress]: [Phase 3 of 3] Extracting. 1554047468.205 * * [regime]: Finding splitpoints for: (# # #) 1554047468.206 * * * [regime-changes]: Trying 2 branch expressions: (y x) 1554047468.206 * * * * [regimes]: Trying to branch on y from (# # #) 1554047468.280 * * * * [regimes]: Trying to branch on x from (# # #) 1554047468.330 * * * [regime]: Found split indices: #