1554049992.016 * [progress]: [Phase 1 of 3] Setting up. 1554049992.017 * * * [progress]: [1/2] Preparing points 1554049992.071 * * * [progress]: [2/2] Setting up program. 1554049992.074 * [progress]: [Phase 2 of 3] Improving. 1554049992.074 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1554049992.106 * [simplify]: Simplifying (- (* (+ x 1) (+ x 1)) 1) 1554049992.107 * * [simplify]: iters left: 6 (5 enodes) 1554049992.116 * * [simplify]: iters left: 5 (31 enodes) 1554049992.123 * * [simplify]: iters left: 4 (70 enodes) 1554049992.136 * * [simplify]: iters left: 3 (108 enodes) 1554049992.157 * * [simplify]: iters left: 2 (197 enodes) 1554049992.280 * * [simplify]: iters left: 1 (489 enodes) 1554049992.630 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049992.630 * * [simplify]: Extracting #1: cost 62 inf + 0 1554049992.631 * * [simplify]: Extracting #2: cost 142 inf + 201 1554049992.637 * * [simplify]: Extracting #3: cost 76 inf + 6021 1554049992.642 * * [simplify]: Extracting #4: cost 6 inf + 12451 1554049992.647 * * [simplify]: Extracting #5: cost 0 inf + 13155 1554049992.652 * * [simplify]: Extracting #6: cost 0 inf + 13141 1554049992.657 * [simplify]: Simplified to (* (+ 2 x) x) 1554049992.657 * [simplify]: Simplified (2) to (λ (x) (* (+ 2 x) x)) 1554049992.664 * * [progress]: iteration 1 / 4 1554049992.664 * * * [progress]: picking best candidate 1554049992.667 * * * * [pick]: Picked # 1554049992.667 * * * [progress]: localizing error 1554049992.674 * * * [progress]: generating rewritten candidates 1554049992.674 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1554049992.690 * * * [progress]: generating series expansions 1554049992.690 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1554049992.694 * [backup-simplify]: Simplify (* (+ 2 x) x) into (* x (+ x 2)) 1554049992.694 * [approximate]: Taking taylor expansion of (* x (+ x 2)) in (x) around 0 1554049992.695 * [taylor]: Taking taylor expansion of (* x (+ x 2)) in x 1554049992.695 * [taylor]: Taking taylor expansion of x in x 1554049992.695 * [backup-simplify]: Simplify 0 into 0 1554049992.695 * [backup-simplify]: Simplify 1 into 1 1554049992.695 * [taylor]: Taking taylor expansion of (+ x 2) in x 1554049992.695 * [taylor]: Taking taylor expansion of x in x 1554049992.695 * [backup-simplify]: Simplify 0 into 0 1554049992.695 * [backup-simplify]: Simplify 1 into 1 1554049992.695 * [taylor]: Taking taylor expansion of 2 in x 1554049992.695 * [backup-simplify]: Simplify 2 into 2 1554049992.700 * [taylor]: Taking taylor expansion of (* x (+ x 2)) in x 1554049992.700 * [taylor]: Taking taylor expansion of x in x 1554049992.700 * [backup-simplify]: Simplify 0 into 0 1554049992.700 * [backup-simplify]: Simplify 1 into 1 1554049992.700 * [taylor]: Taking taylor expansion of (+ x 2) in x 1554049992.700 * [taylor]: Taking taylor expansion of x in x 1554049992.700 * [backup-simplify]: Simplify 0 into 0 1554049992.700 * [backup-simplify]: Simplify 1 into 1 1554049992.700 * [taylor]: Taking taylor expansion of 2 in x 1554049992.701 * [backup-simplify]: Simplify 2 into 2 1554049992.702 * [backup-simplify]: Simplify (+ 0 2) into 2 1554049992.702 * [backup-simplify]: Simplify (* 0 2) into 0 1554049992.702 * [backup-simplify]: Simplify 0 into 0 1554049992.703 * [backup-simplify]: Simplify (+ 1 0) into 1 1554049992.703 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 2)) into 2 1554049992.703 * [backup-simplify]: Simplify 2 into 2 1554049992.704 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.704 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 2))) into 1 1554049992.704 * [backup-simplify]: Simplify 1 into 1 1554049992.704 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.705 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 2)))) into 0 1554049992.705 * [backup-simplify]: Simplify 0 into 0 1554049992.706 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.706 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 2))))) into 0 1554049992.706 * [backup-simplify]: Simplify 0 into 0 1554049992.707 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.707 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2)))))) into 0 1554049992.707 * [backup-simplify]: Simplify 0 into 0 1554049992.708 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.709 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2))))))) into 0 1554049992.709 * [backup-simplify]: Simplify 0 into 0 1554049992.710 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.711 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2)))))))) into 0 1554049992.711 * [backup-simplify]: Simplify 0 into 0 1554049992.711 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.712 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2))))))))) into 0 1554049992.712 * [backup-simplify]: Simplify 0 into 0 1554049992.713 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) (* 2 x)) into (+ (* 2 x) (pow x 2)) 1554049992.714 * [backup-simplify]: Simplify (* (+ 2 (/ 1 x)) (/ 1 x)) into (/ (+ (/ 1 x) 2) x) 1554049992.714 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 2) x) in (x) around 0 1554049992.714 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2) x) in x 1554049992.714 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2) in x 1554049992.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554049992.714 * [taylor]: Taking taylor expansion of x in x 1554049992.714 * [backup-simplify]: Simplify 0 into 0 1554049992.714 * [backup-simplify]: Simplify 1 into 1 1554049992.714 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049992.714 * [taylor]: Taking taylor expansion of 2 in x 1554049992.714 * [backup-simplify]: Simplify 2 into 2 1554049992.715 * [taylor]: Taking taylor expansion of x in x 1554049992.715 * [backup-simplify]: Simplify 0 into 0 1554049992.715 * [backup-simplify]: Simplify 1 into 1 1554049992.715 * [backup-simplify]: Simplify (+ 1 0) into 1 1554049992.715 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049992.715 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2) x) in x 1554049992.715 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2) in x 1554049992.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554049992.715 * [taylor]: Taking taylor expansion of x in x 1554049992.715 * [backup-simplify]: Simplify 0 into 0 1554049992.715 * [backup-simplify]: Simplify 1 into 1 1554049992.716 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049992.716 * [taylor]: Taking taylor expansion of 2 in x 1554049992.716 * [backup-simplify]: Simplify 2 into 2 1554049992.716 * [taylor]: Taking taylor expansion of x in x 1554049992.716 * [backup-simplify]: Simplify 0 into 0 1554049992.716 * [backup-simplify]: Simplify 1 into 1 1554049992.716 * [backup-simplify]: Simplify (+ 1 0) into 1 1554049992.716 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049992.716 * [backup-simplify]: Simplify 1 into 1 1554049992.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554049992.717 * [backup-simplify]: Simplify (+ 0 2) into 2 1554049992.718 * [backup-simplify]: Simplify (- (/ 2 1) (+ (* 1 (/ 0 1)))) into 2 1554049992.718 * [backup-simplify]: Simplify 2 into 2 1554049992.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.719 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.719 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)))) into 0 1554049992.720 * [backup-simplify]: Simplify 0 into 0 1554049992.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.720 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.721 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.721 * [backup-simplify]: Simplify 0 into 0 1554049992.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.722 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.722 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.722 * [backup-simplify]: Simplify 0 into 0 1554049992.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.723 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.724 * [backup-simplify]: Simplify 0 into 0 1554049992.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.724 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.725 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.725 * [backup-simplify]: Simplify 0 into 0 1554049992.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.726 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.727 * [backup-simplify]: Simplify 0 into 0 1554049992.727 * [backup-simplify]: Simplify (+ (* 2 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 2 x) (pow x 2)) 1554049992.727 * [backup-simplify]: Simplify (* (+ 2 (/ 1 (- x))) (/ 1 (- x))) into (* -1 (/ (- 2 (/ 1 x)) x)) 1554049992.727 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2 (/ 1 x)) x)) in (x) around 0 1554049992.727 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2 (/ 1 x)) x)) in x 1554049992.727 * [taylor]: Taking taylor expansion of -1 in x 1554049992.727 * [backup-simplify]: Simplify -1 into -1 1554049992.727 * [taylor]: Taking taylor expansion of (/ (- 2 (/ 1 x)) x) in x 1554049992.727 * [taylor]: Taking taylor expansion of (- 2 (/ 1 x)) in x 1554049992.727 * [taylor]: Taking taylor expansion of 2 in x 1554049992.727 * [backup-simplify]: Simplify 2 into 2 1554049992.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554049992.727 * [taylor]: Taking taylor expansion of x in x 1554049992.727 * [backup-simplify]: Simplify 0 into 0 1554049992.727 * [backup-simplify]: Simplify 1 into 1 1554049992.727 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049992.727 * [taylor]: Taking taylor expansion of x in x 1554049992.727 * [backup-simplify]: Simplify 0 into 0 1554049992.727 * [backup-simplify]: Simplify 1 into 1 1554049992.728 * [backup-simplify]: Simplify (- 1) into -1 1554049992.728 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049992.728 * [backup-simplify]: Simplify (/ -1 1) into -1 1554049992.728 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2 (/ 1 x)) x)) in x 1554049992.728 * [taylor]: Taking taylor expansion of -1 in x 1554049992.728 * [backup-simplify]: Simplify -1 into -1 1554049992.728 * [taylor]: Taking taylor expansion of (/ (- 2 (/ 1 x)) x) in x 1554049992.728 * [taylor]: Taking taylor expansion of (- 2 (/ 1 x)) in x 1554049992.728 * [taylor]: Taking taylor expansion of 2 in x 1554049992.728 * [backup-simplify]: Simplify 2 into 2 1554049992.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554049992.728 * [taylor]: Taking taylor expansion of x in x 1554049992.728 * [backup-simplify]: Simplify 0 into 0 1554049992.728 * [backup-simplify]: Simplify 1 into 1 1554049992.728 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049992.728 * [taylor]: Taking taylor expansion of x in x 1554049992.728 * [backup-simplify]: Simplify 0 into 0 1554049992.728 * [backup-simplify]: Simplify 1 into 1 1554049992.729 * [backup-simplify]: Simplify (- 1) into -1 1554049992.729 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049992.729 * [backup-simplify]: Simplify (/ -1 1) into -1 1554049992.729 * [backup-simplify]: Simplify (* -1 -1) into 1 1554049992.730 * [backup-simplify]: Simplify 1 into 1 1554049992.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554049992.730 * [backup-simplify]: Simplify (- 0) into 0 1554049992.730 * [backup-simplify]: Simplify (+ 2 0) into 2 1554049992.731 * [backup-simplify]: Simplify (- (/ 2 1) (+ (* -1 (/ 0 1)))) into 2 1554049992.731 * [backup-simplify]: Simplify (+ (* -1 2) (* 0 -1)) into -2 1554049992.731 * [backup-simplify]: Simplify -2 into -2 1554049992.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.732 * [backup-simplify]: Simplify (- 0) into 0 1554049992.732 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.733 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)))) into 0 1554049992.733 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 2) (* 0 -1))) into 0 1554049992.734 * [backup-simplify]: Simplify 0 into 0 1554049992.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.734 * [backup-simplify]: Simplify (- 0) into 0 1554049992.734 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.736 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1)))) into 0 1554049992.736 * [backup-simplify]: Simplify 0 into 0 1554049992.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.737 * [backup-simplify]: Simplify (- 0) into 0 1554049992.737 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.738 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.738 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1))))) into 0 1554049992.738 * [backup-simplify]: Simplify 0 into 0 1554049992.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.739 * [backup-simplify]: Simplify (- 0) into 0 1554049992.739 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.741 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1)))))) into 0 1554049992.741 * [backup-simplify]: Simplify 0 into 0 1554049992.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.742 * [backup-simplify]: Simplify (- 0) into 0 1554049992.742 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.743 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.743 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1))))))) into 0 1554049992.743 * [backup-simplify]: Simplify 0 into 0 1554049992.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.744 * [backup-simplify]: Simplify (- 0) into 0 1554049992.744 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049992.745 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049992.746 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1)))))))) into 0 1554049992.746 * [backup-simplify]: Simplify 0 into 0 1554049992.746 * [backup-simplify]: Simplify (+ (* -2 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 2 x) (pow x 2)) 1554049992.747 * * * [progress]: simplifying candidates 1554049992.747 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 1554049992.747 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 1554049992.747 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 1554049992.747 * [simplify]: Simplifying (* (+ 2 x) x) 1554049992.747 * * [simplify]: iters left: 4 (4 enodes) 1554049992.748 * * [simplify]: iters left: 3 (14 enodes) 1554049992.750 * * [simplify]: iters left: 2 (21 enodes) 1554049992.754 * * [simplify]: iters left: 1 (31 enodes) 1554049992.757 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049992.758 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049992.758 * * [simplify]: Extracting #2: cost 7 inf + 43 1554049992.758 * * [simplify]: Extracting #3: cost 0 inf + 416 1554049992.758 * [simplify]: Simplified to (* (+ x 2) x) 1554049992.758 * [simplify]: Simplified (2 1) to (λ (x) (pow (* (+ x 2) x) 1)) 1554049992.758 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 1554049992.758 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 1554049992.758 * [simplify]: Simplifying (+ (log (+ 2 x)) (log x)) 1554049992.758 * * [simplify]: iters left: 5 (6 enodes) 1554049992.760 * * [simplify]: iters left: 4 (20 enodes) 1554049992.762 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049992.762 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049992.762 * * [simplify]: Extracting #2: cost 8 inf + 0 1554049992.762 * * [simplify]: Extracting #3: cost 7 inf + 143 1554049992.762 * * [simplify]: Extracting #4: cost 6 inf + 144 1554049992.763 * * [simplify]: Extracting #5: cost 0 inf + 896 1554049992.763 * [simplify]: Simplified to (+ (log (+ x 2)) (log x)) 1554049992.763 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ (log (+ x 2)) (log x)))) 1554049992.763 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 1554049992.763 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 1554049992.763 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 1554049992.763 * [simplify]: Simplifying (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x)) 1554049992.763 * * [simplify]: iters left: 6 (8 enodes) 1554049992.765 * * [simplify]: iters left: 5 (44 enodes) 1554049992.776 * * [simplify]: iters left: 4 (156 enodes) 1554049992.820 * * [simplify]: iters left: 3 (476 enodes) 1554049993.145 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049993.145 * * [simplify]: Extracting #1: cost 51 inf + 0 1554049993.146 * * [simplify]: Extracting #2: cost 275 inf + 3 1554049993.148 * * [simplify]: Extracting #3: cost 265 inf + 5073 1554049993.161 * * [simplify]: Extracting #4: cost 52 inf + 49334 1554049993.176 * * [simplify]: Extracting #5: cost 0 inf + 58964 1554049993.191 * * [simplify]: Extracting #6: cost 0 inf + 58928 1554049993.207 * [simplify]: Simplified to (* (* (+ x 2) x) (* (* (+ x 2) x) (* (+ x 2) x))) 1554049993.207 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* (+ x 2) x) (* (* (+ x 2) x) (* (+ x 2) x))))) 1554049993.207 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 1554049993.207 * * * * [progress]: [ 10 / 27 ] simplifiying candidate # 1554049993.207 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 1554049993.207 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 1554049993.207 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 1554049993.207 * [simplify]: Simplifying (* (sqrt (+ 2 x)) (sqrt x)) 1554049993.207 * * [simplify]: iters left: 5 (6 enodes) 1554049993.209 * * [simplify]: iters left: 4 (20 enodes) 1554049993.212 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049993.212 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049993.212 * * [simplify]: Extracting #2: cost 8 inf + 0 1554049993.212 * * [simplify]: Extracting #3: cost 7 inf + 83 1554049993.212 * * [simplify]: Extracting #4: cost 6 inf + 84 1554049993.212 * * [simplify]: Extracting #5: cost 0 inf + 656 1554049993.212 * [simplify]: Simplified to (* (sqrt (+ x 2)) (sqrt x)) 1554049993.212 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (+ x 2)) (sqrt x)) (* (sqrt (+ 2 x)) (sqrt x)))) 1554049993.213 * [simplify]: Simplifying (* (sqrt (+ 2 x)) (sqrt x)) 1554049993.213 * * [simplify]: iters left: 5 (6 enodes) 1554049993.214 * * [simplify]: iters left: 4 (20 enodes) 1554049993.217 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049993.217 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049993.217 * * [simplify]: Extracting #2: cost 8 inf + 0 1554049993.217 * * [simplify]: Extracting #3: cost 7 inf + 83 1554049993.217 * * [simplify]: Extracting #4: cost 6 inf + 84 1554049993.217 * * [simplify]: Extracting #5: cost 0 inf + 656 1554049993.217 * [simplify]: Simplified to (* (sqrt (+ x 2)) (sqrt x)) 1554049993.217 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (+ 2 x)) (sqrt x)) (* (sqrt (+ x 2)) (sqrt x)))) 1554049993.217 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 1554049993.218 * [simplify]: Simplifying (cbrt x) 1554049993.218 * * [simplify]: iters left: 1 (2 enodes) 1554049993.218 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049993.218 * * [simplify]: Extracting #1: cost 3 inf + 0 1554049993.218 * * [simplify]: Extracting #2: cost 2 inf + 1 1554049993.218 * * [simplify]: Extracting #3: cost 0 inf + 163 1554049993.218 * [simplify]: Simplified to (cbrt x) 1554049993.218 * [simplify]: Simplified (2 2) to (λ (x) (* (* (+ 2 x) (* (cbrt x) (cbrt x))) (cbrt x))) 1554049993.218 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 1554049993.218 * [simplify]: Simplifying (sqrt x) 1554049993.218 * * [simplify]: iters left: 1 (2 enodes) 1554049993.219 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049993.219 * * [simplify]: Extracting #1: cost 3 inf + 0 1554049993.219 * * [simplify]: Extracting #2: cost 2 inf + 1 1554049993.219 * * [simplify]: Extracting #3: cost 0 inf + 83 1554049993.219 * [simplify]: Simplified to (sqrt x) 1554049993.219 * [simplify]: Simplified (2 2) to (λ (x) (* (* (+ 2 x) (sqrt x)) (sqrt x))) 1554049993.219 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 1554049993.219 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 1554049993.219 * [simplify]: Simplifying (* (cbrt (+ 2 x)) (cbrt (+ 2 x))) 1554049993.219 * * [simplify]: iters left: 5 (5 enodes) 1554049993.220 * * [simplify]: iters left: 4 (16 enodes) 1554049993.223 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049993.223 * * [simplify]: Extracting #1: cost 3 inf + 0 1554049993.223 * * [simplify]: Extracting #2: cost 5 inf + 0 1554049993.223 * * [simplify]: Extracting #3: cost 8 inf + 0 1554049993.223 * * [simplify]: Extracting #4: cost 6 inf + 2 1554049993.223 * * [simplify]: Extracting #5: cost 0 inf + 654 1554049993.223 * [simplify]: Simplified to (* (cbrt (+ x 2)) (cbrt (+ x 2))) 1554049993.223 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (+ x 2)) (cbrt (+ x 2))) (* (cbrt (+ 2 x)) x))) 1554049993.223 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 1554049993.223 * [simplify]: Simplifying (sqrt (+ 2 x)) 1554049993.223 * * [simplify]: iters left: 3 (4 enodes) 1554049993.224 * * [simplify]: iters left: 2 (13 enodes) 1554049993.226 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049993.226 * * [simplify]: Extracting #1: cost 3 inf + 0 1554049993.226 * * [simplify]: Extracting #2: cost 6 inf + 0 1554049993.226 * * [simplify]: Extracting #3: cost 4 inf + 2 1554049993.226 * * [simplify]: Extracting #4: cost 0 inf + 250 1554049993.226 * [simplify]: Simplified to (sqrt (+ x 2)) 1554049993.226 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ x 2)) (* (sqrt (+ 2 x)) x))) 1554049993.226 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 1554049993.227 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 1554049993.227 * * * * [progress]: [ 21 / 27 ] simplifiying candidate # 1554049993.227 * [simplify]: Simplifying (* (+ (pow 2 3) (pow x 3)) x) 1554049993.227 * * [simplify]: iters left: 5 (7 enodes) 1554049993.230 * * [simplify]: iters left: 4 (37 enodes) 1554049993.239 * * [simplify]: iters left: 3 (73 enodes) 1554049993.258 * * [simplify]: iters left: 2 (146 enodes) 1554049993.291 * * [simplify]: iters left: 1 (248 enodes) 1554049993.349 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049993.349 * * [simplify]: Extracting #1: cost 11 inf + 0 1554049993.349 * * [simplify]: Extracting #2: cost 37 inf + 44 1554049993.349 * * [simplify]: Extracting #3: cost 51 inf + 823 1554049993.350 * * [simplify]: Extracting #4: cost 36 inf + 2828 1554049993.350 * * [simplify]: Extracting #5: cost 15 inf + 9453 1554049993.352 * * [simplify]: Extracting #6: cost 5 inf + 13792 1554049993.353 * * [simplify]: Extracting #7: cost 0 inf + 16700 1554049993.354 * [simplify]: Simplified to (* x (fma (* x x) x 8)) 1554049993.354 * [simplify]: Simplified (2 1) to (λ (x) (/ (* x (fma (* x x) x 8)) (+ (* 2 2) (- (* x x) (* 2 x))))) 1554049993.354 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 1554049993.355 * [simplify]: Simplifying (* (- (* 2 2) (* x x)) x) 1554049993.355 * * [simplify]: iters left: 6 (6 enodes) 1554049993.357 * * [simplify]: iters left: 5 (26 enodes) 1554049993.361 * * [simplify]: iters left: 4 (42 enodes) 1554049993.367 * * [simplify]: iters left: 3 (84 enodes) 1554049993.390 * * [simplify]: iters left: 2 (230 enodes) 1554049993.443 * * [simplify]: iters left: 1 (461 enodes) 1554049993.591 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049993.591 * * [simplify]: Extracting #1: cost 40 inf + 0 1554049993.592 * * [simplify]: Extracting #2: cost 68 inf + 1041 1554049993.598 * * [simplify]: Extracting #3: cost 23 inf + 8088 1554049993.603 * * [simplify]: Extracting #4: cost 1 inf + 10580 1554049993.608 * * [simplify]: Extracting #5: cost 0 inf + 10689 1554049993.613 * * [simplify]: Extracting #6: cost 0 inf + 10658 1554049993.617 * [simplify]: Simplified to (* (- 4 (* x x)) x) 1554049993.618 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (- 4 (* x x)) x) (- 2 x))) 1554049993.618 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #real (real->posit16 (* (+ 2 x) x))))> 1554049993.618 * * * * [progress]: [ 24 / 27 ] simplifiying candidate # 1554049993.618 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 1554049993.618 * [simplify]: Simplifying (+ (* 2 x) (pow x 2)) 1554049993.618 * * [simplify]: iters left: 4 (5 enodes) 1554049993.620 * * [simplify]: iters left: 3 (23 enodes) 1554049993.623 * * [simplify]: iters left: 2 (34 enodes) 1554049993.627 * * [simplify]: iters left: 1 (41 enodes) 1554049993.632 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049993.632 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049993.632 * * [simplify]: Extracting #2: cost 7 inf + 43 1554049993.632 * * [simplify]: Extracting #3: cost 1 inf + 404 1554049993.632 * * [simplify]: Extracting #4: cost 0 inf + 416 1554049993.633 * [simplify]: Simplified to (* (+ x 2) x) 1554049993.633 * [simplify]: Simplified (2) to (λ (x) (* (+ x 2) x)) 1554049993.633 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 1554049993.633 * [simplify]: Simplifying (+ (* 2 x) (pow x 2)) 1554049993.633 * * [simplify]: iters left: 4 (5 enodes) 1554049993.634 * * [simplify]: iters left: 3 (23 enodes) 1554049993.638 * * [simplify]: iters left: 2 (34 enodes) 1554049993.642 * * [simplify]: iters left: 1 (41 enodes) 1554049993.647 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049993.647 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049993.647 * * [simplify]: Extracting #2: cost 7 inf + 43 1554049993.647 * * [simplify]: Extracting #3: cost 1 inf + 404 1554049993.647 * * [simplify]: Extracting #4: cost 0 inf + 416 1554049993.647 * [simplify]: Simplified to (* (+ x 2) x) 1554049993.647 * [simplify]: Simplified (2) to (λ (x) (* (+ x 2) x)) 1554049993.647 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 1554049993.648 * [simplify]: Simplifying (+ (* 2 x) (pow x 2)) 1554049993.648 * * [simplify]: iters left: 4 (5 enodes) 1554049993.649 * * [simplify]: iters left: 3 (23 enodes) 1554049993.652 * * [simplify]: iters left: 2 (34 enodes) 1554049993.657 * * [simplify]: iters left: 1 (41 enodes) 1554049993.662 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049993.662 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049993.662 * * [simplify]: Extracting #2: cost 7 inf + 43 1554049993.662 * * [simplify]: Extracting #3: cost 1 inf + 404 1554049993.662 * * [simplify]: Extracting #4: cost 0 inf + 416 1554049993.662 * [simplify]: Simplified to (* (+ x 2) x) 1554049993.662 * [simplify]: Simplified (2) to (λ (x) (* (+ x 2) x)) 1554049993.662 * * * [progress]: adding candidates to table 1554049993.761 * * [progress]: iteration 2 / 4 1554049993.761 * * * [progress]: picking best candidate 1554049993.764 * * * * [pick]: Picked # 1554049993.764 * * * [progress]: localizing error 1554049993.776 * * * [progress]: generating rewritten candidates 1554049993.776 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1554049993.793 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1554049993.805 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1554049993.810 * * * [progress]: generating series expansions 1554049993.810 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1554049993.810 * [backup-simplify]: Simplify (/ (* (- 4 (* x x)) x) (- 2 x)) into (/ (* x (- 4 (pow x 2))) (- 2 x)) 1554049993.810 * [approximate]: Taking taylor expansion of (/ (* x (- 4 (pow x 2))) (- 2 x)) in (x) around 0 1554049993.810 * [taylor]: Taking taylor expansion of (/ (* x (- 4 (pow x 2))) (- 2 x)) in x 1554049993.810 * [taylor]: Taking taylor expansion of (* x (- 4 (pow x 2))) in x 1554049993.810 * [taylor]: Taking taylor expansion of x in x 1554049993.810 * [backup-simplify]: Simplify 0 into 0 1554049993.810 * [backup-simplify]: Simplify 1 into 1 1554049993.810 * [taylor]: Taking taylor expansion of (- 4 (pow x 2)) in x 1554049993.811 * [taylor]: Taking taylor expansion of 4 in x 1554049993.811 * [backup-simplify]: Simplify 4 into 4 1554049993.811 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.811 * [taylor]: Taking taylor expansion of x in x 1554049993.811 * [backup-simplify]: Simplify 0 into 0 1554049993.811 * [backup-simplify]: Simplify 1 into 1 1554049993.811 * [taylor]: Taking taylor expansion of (- 2 x) in x 1554049993.811 * [taylor]: Taking taylor expansion of 2 in x 1554049993.811 * [backup-simplify]: Simplify 2 into 2 1554049993.811 * [taylor]: Taking taylor expansion of x in x 1554049993.811 * [backup-simplify]: Simplify 0 into 0 1554049993.811 * [backup-simplify]: Simplify 1 into 1 1554049993.811 * [backup-simplify]: Simplify (+ 4 0) into 4 1554049993.812 * [backup-simplify]: Simplify (* 0 4) into 0 1554049993.812 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.812 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 4)) into 4 1554049993.812 * [backup-simplify]: Simplify (- 0) into 0 1554049993.813 * [backup-simplify]: Simplify (+ 2 0) into 2 1554049993.813 * [backup-simplify]: Simplify (/ 4 2) into 2 1554049993.813 * [taylor]: Taking taylor expansion of (/ (* x (- 4 (pow x 2))) (- 2 x)) in x 1554049993.813 * [taylor]: Taking taylor expansion of (* x (- 4 (pow x 2))) in x 1554049993.813 * [taylor]: Taking taylor expansion of x in x 1554049993.813 * [backup-simplify]: Simplify 0 into 0 1554049993.813 * [backup-simplify]: Simplify 1 into 1 1554049993.813 * [taylor]: Taking taylor expansion of (- 4 (pow x 2)) in x 1554049993.813 * [taylor]: Taking taylor expansion of 4 in x 1554049993.813 * [backup-simplify]: Simplify 4 into 4 1554049993.813 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.813 * [taylor]: Taking taylor expansion of x in x 1554049993.813 * [backup-simplify]: Simplify 0 into 0 1554049993.813 * [backup-simplify]: Simplify 1 into 1 1554049993.813 * [taylor]: Taking taylor expansion of (- 2 x) in x 1554049993.813 * [taylor]: Taking taylor expansion of 2 in x 1554049993.813 * [backup-simplify]: Simplify 2 into 2 1554049993.813 * [taylor]: Taking taylor expansion of x in x 1554049993.813 * [backup-simplify]: Simplify 0 into 0 1554049993.813 * [backup-simplify]: Simplify 1 into 1 1554049993.813 * [backup-simplify]: Simplify (+ 4 0) into 4 1554049993.814 * [backup-simplify]: Simplify (* 0 4) into 0 1554049993.814 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.814 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 4)) into 4 1554049993.815 * [backup-simplify]: Simplify (- 0) into 0 1554049993.815 * [backup-simplify]: Simplify (+ 2 0) into 2 1554049993.815 * [backup-simplify]: Simplify (/ 4 2) into 2 1554049993.815 * [backup-simplify]: Simplify 2 into 2 1554049993.815 * [backup-simplify]: Simplify (* 1 1) into 1 1554049993.816 * [backup-simplify]: Simplify (- 1) into -1 1554049993.816 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.817 * [backup-simplify]: Simplify (+ (* 0 -1) (+ (* 1 0) (* 0 4))) into 0 1554049993.817 * [backup-simplify]: Simplify (- 1) into -1 1554049993.817 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.818 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 2 (/ -1 2)))) into 1 1554049993.818 * [backup-simplify]: Simplify 1 into 1 1554049993.818 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554049993.818 * [backup-simplify]: Simplify (- 0) into 0 1554049993.818 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.819 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 -1) (+ (* 0 0) (* 0 4)))) into -1 1554049993.819 * [backup-simplify]: Simplify (- 0) into 0 1554049993.819 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.820 * [backup-simplify]: Simplify (- (/ -1 2) (+ (* 2 (/ 0 2)) (* 1 (/ -1 2)))) into 0 1554049993.820 * [backup-simplify]: Simplify 0 into 0 1554049993.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554049993.821 * [backup-simplify]: Simplify (- 0) into 0 1554049993.821 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.822 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 -1) (+ (* 0 0) (* 0 4))))) into 0 1554049993.822 * [backup-simplify]: Simplify (- 0) into 0 1554049993.822 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.823 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 2 (/ 0 2)) (* 1 (/ 0 2)) (* 0 (/ -1 2)))) into 0 1554049993.823 * [backup-simplify]: Simplify 0 into 0 1554049993.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554049993.824 * [backup-simplify]: Simplify (- 0) into 0 1554049993.824 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.825 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 4)))))) into 0 1554049993.825 * [backup-simplify]: Simplify (- 0) into 0 1554049993.825 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.826 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 2 (/ 0 2)) (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ -1 2)))) into 0 1554049993.829 * [backup-simplify]: Simplify 0 into 0 1554049993.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554049993.830 * [backup-simplify]: Simplify (- 0) into 0 1554049993.830 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.831 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 4))))))) into 0 1554049993.831 * [backup-simplify]: Simplify (- 0) into 0 1554049993.831 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.832 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 2 (/ 0 2)) (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ -1 2)))) into 0 1554049993.832 * [backup-simplify]: Simplify 0 into 0 1554049993.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554049993.833 * [backup-simplify]: Simplify (- 0) into 0 1554049993.833 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.834 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 4)))))))) into 0 1554049993.835 * [backup-simplify]: Simplify (- 0) into 0 1554049993.835 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.836 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 2 (/ 0 2)) (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ -1 2)))) into 0 1554049993.836 * [backup-simplify]: Simplify 0 into 0 1554049993.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554049993.837 * [backup-simplify]: Simplify (- 0) into 0 1554049993.837 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.838 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 4))))))))) into 0 1554049993.838 * [backup-simplify]: Simplify (- 0) into 0 1554049993.839 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.840 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 2 (/ 0 2)) (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ -1 2)))) into 0 1554049993.840 * [backup-simplify]: Simplify 0 into 0 1554049993.840 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) (* 2 x)) into (+ (* 2 x) (pow x 2)) 1554049993.840 * [backup-simplify]: Simplify (/ (* (- 4 (* (/ 1 x) (/ 1 x))) (/ 1 x)) (- 2 (/ 1 x))) into (/ (- 4 (/ 1 (pow x 2))) (* (- 2 (/ 1 x)) x)) 1554049993.840 * [approximate]: Taking taylor expansion of (/ (- 4 (/ 1 (pow x 2))) (* (- 2 (/ 1 x)) x)) in (x) around 0 1554049993.840 * [taylor]: Taking taylor expansion of (/ (- 4 (/ 1 (pow x 2))) (* (- 2 (/ 1 x)) x)) in x 1554049993.840 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in x 1554049993.840 * [taylor]: Taking taylor expansion of 4 in x 1554049993.840 * [backup-simplify]: Simplify 4 into 4 1554049993.840 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554049993.840 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.840 * [taylor]: Taking taylor expansion of x in x 1554049993.840 * [backup-simplify]: Simplify 0 into 0 1554049993.840 * [backup-simplify]: Simplify 1 into 1 1554049993.840 * [backup-simplify]: Simplify (* 1 1) into 1 1554049993.840 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.840 * [taylor]: Taking taylor expansion of (* (- 2 (/ 1 x)) x) in x 1554049993.840 * [taylor]: Taking taylor expansion of (- 2 (/ 1 x)) in x 1554049993.841 * [taylor]: Taking taylor expansion of 2 in x 1554049993.841 * [backup-simplify]: Simplify 2 into 2 1554049993.841 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554049993.841 * [taylor]: Taking taylor expansion of x in x 1554049993.841 * [backup-simplify]: Simplify 0 into 0 1554049993.841 * [backup-simplify]: Simplify 1 into 1 1554049993.841 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.841 * [taylor]: Taking taylor expansion of x in x 1554049993.841 * [backup-simplify]: Simplify 0 into 0 1554049993.841 * [backup-simplify]: Simplify 1 into 1 1554049993.841 * [backup-simplify]: Simplify (- 1) into -1 1554049993.841 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.842 * [backup-simplify]: Simplify (- 1) into -1 1554049993.842 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.842 * [backup-simplify]: Simplify (* -1 0) into 0 1554049993.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554049993.843 * [backup-simplify]: Simplify (- 0) into 0 1554049993.843 * [backup-simplify]: Simplify (+ 2 0) into 2 1554049993.843 * [backup-simplify]: Simplify (+ (* -1 1) (* 2 0)) into -1 1554049993.844 * [backup-simplify]: Simplify (/ -1 -1) into 1 1554049993.844 * [taylor]: Taking taylor expansion of (/ (- 4 (/ 1 (pow x 2))) (* (- 2 (/ 1 x)) x)) in x 1554049993.844 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in x 1554049993.844 * [taylor]: Taking taylor expansion of 4 in x 1554049993.844 * [backup-simplify]: Simplify 4 into 4 1554049993.844 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554049993.844 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.844 * [taylor]: Taking taylor expansion of x in x 1554049993.844 * [backup-simplify]: Simplify 0 into 0 1554049993.844 * [backup-simplify]: Simplify 1 into 1 1554049993.844 * [backup-simplify]: Simplify (* 1 1) into 1 1554049993.844 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.844 * [taylor]: Taking taylor expansion of (* (- 2 (/ 1 x)) x) in x 1554049993.844 * [taylor]: Taking taylor expansion of (- 2 (/ 1 x)) in x 1554049993.844 * [taylor]: Taking taylor expansion of 2 in x 1554049993.844 * [backup-simplify]: Simplify 2 into 2 1554049993.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554049993.844 * [taylor]: Taking taylor expansion of x in x 1554049993.844 * [backup-simplify]: Simplify 0 into 0 1554049993.844 * [backup-simplify]: Simplify 1 into 1 1554049993.844 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.844 * [taylor]: Taking taylor expansion of x in x 1554049993.844 * [backup-simplify]: Simplify 0 into 0 1554049993.845 * [backup-simplify]: Simplify 1 into 1 1554049993.845 * [backup-simplify]: Simplify (- 1) into -1 1554049993.845 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.845 * [backup-simplify]: Simplify (- 1) into -1 1554049993.845 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.846 * [backup-simplify]: Simplify (* -1 0) into 0 1554049993.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554049993.846 * [backup-simplify]: Simplify (- 0) into 0 1554049993.847 * [backup-simplify]: Simplify (+ 2 0) into 2 1554049993.847 * [backup-simplify]: Simplify (+ (* -1 1) (* 2 0)) into -1 1554049993.847 * [backup-simplify]: Simplify (/ -1 -1) into 1 1554049993.847 * [backup-simplify]: Simplify 1 into 1 1554049993.848 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554049993.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554049993.848 * [backup-simplify]: Simplify (- 0) into 0 1554049993.848 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.849 * [backup-simplify]: Simplify (- 0) into 0 1554049993.849 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.850 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 2 1) (* 0 0))) into 2 1554049993.851 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 1 (/ 2 -1)))) into 2 1554049993.851 * [backup-simplify]: Simplify 2 into 2 1554049993.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554049993.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.852 * [backup-simplify]: Simplify (- 0) into 0 1554049993.852 * [backup-simplify]: Simplify (+ 4 0) into 4 1554049993.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.853 * [backup-simplify]: Simplify (- 0) into 0 1554049993.853 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.854 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 2 0) (+ (* 0 1) (* 0 0)))) into 0 1554049993.854 * [backup-simplify]: Simplify (- (/ 4 -1) (+ (* 1 (/ 0 -1)) (* 2 (/ 2 -1)))) into 0 1554049993.855 * [backup-simplify]: Simplify 0 into 0 1554049993.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554049993.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.856 * [backup-simplify]: Simplify (- 0) into 0 1554049993.856 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.857 * [backup-simplify]: Simplify (- 0) into 0 1554049993.857 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.858 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1554049993.859 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 2 (/ 0 -1)) (* 0 (/ 2 -1)))) into 0 1554049993.859 * [backup-simplify]: Simplify 0 into 0 1554049993.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554049993.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.860 * [backup-simplify]: Simplify (- 0) into 0 1554049993.861 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.862 * [backup-simplify]: Simplify (- 0) into 0 1554049993.862 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.863 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1554049993.864 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 2 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 2 -1)))) into 0 1554049993.864 * [backup-simplify]: Simplify 0 into 0 1554049993.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554049993.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.865 * [backup-simplify]: Simplify (- 0) into 0 1554049993.866 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.866 * [backup-simplify]: Simplify (- 0) into 0 1554049993.867 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.868 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1554049993.868 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 2 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 2 -1)))) into 0 1554049993.868 * [backup-simplify]: Simplify 0 into 0 1554049993.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554049993.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.870 * [backup-simplify]: Simplify (- 0) into 0 1554049993.870 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.871 * [backup-simplify]: Simplify (- 0) into 0 1554049993.871 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.872 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1554049993.873 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 2 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 2 -1)))) into 0 1554049993.873 * [backup-simplify]: Simplify 0 into 0 1554049993.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554049993.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.875 * [backup-simplify]: Simplify (- 0) into 0 1554049993.875 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.876 * [backup-simplify]: Simplify (- 0) into 0 1554049993.876 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.877 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1554049993.878 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 2 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 2 -1)))) into 0 1554049993.878 * [backup-simplify]: Simplify 0 into 0 1554049993.878 * [backup-simplify]: Simplify (+ (* 2 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 2 x) (pow x 2)) 1554049993.878 * [backup-simplify]: Simplify (/ (* (- 4 (* (/ 1 (- x)) (/ 1 (- x)))) (/ 1 (- x))) (- 2 (/ 1 (- x)))) into (* -1 (/ (- 4 (/ 1 (pow x 2))) (* x (+ (/ 1 x) 2)))) 1554049993.878 * [approximate]: Taking taylor expansion of (* -1 (/ (- 4 (/ 1 (pow x 2))) (* x (+ (/ 1 x) 2)))) in (x) around 0 1554049993.878 * [taylor]: Taking taylor expansion of (* -1 (/ (- 4 (/ 1 (pow x 2))) (* x (+ (/ 1 x) 2)))) in x 1554049993.878 * [taylor]: Taking taylor expansion of -1 in x 1554049993.878 * [backup-simplify]: Simplify -1 into -1 1554049993.878 * [taylor]: Taking taylor expansion of (/ (- 4 (/ 1 (pow x 2))) (* x (+ (/ 1 x) 2))) in x 1554049993.878 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in x 1554049993.878 * [taylor]: Taking taylor expansion of 4 in x 1554049993.878 * [backup-simplify]: Simplify 4 into 4 1554049993.878 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554049993.878 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.878 * [taylor]: Taking taylor expansion of x in x 1554049993.879 * [backup-simplify]: Simplify 0 into 0 1554049993.879 * [backup-simplify]: Simplify 1 into 1 1554049993.879 * [backup-simplify]: Simplify (* 1 1) into 1 1554049993.879 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.879 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) 2)) in x 1554049993.879 * [taylor]: Taking taylor expansion of x in x 1554049993.879 * [backup-simplify]: Simplify 0 into 0 1554049993.879 * [backup-simplify]: Simplify 1 into 1 1554049993.879 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2) in x 1554049993.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554049993.879 * [taylor]: Taking taylor expansion of x in x 1554049993.879 * [backup-simplify]: Simplify 0 into 0 1554049993.879 * [backup-simplify]: Simplify 1 into 1 1554049993.879 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.879 * [taylor]: Taking taylor expansion of 2 in x 1554049993.879 * [backup-simplify]: Simplify 2 into 2 1554049993.880 * [backup-simplify]: Simplify (- 1) into -1 1554049993.880 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.880 * [backup-simplify]: Simplify (+ 1 0) into 1 1554049993.880 * [backup-simplify]: Simplify (* 0 1) into 0 1554049993.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554049993.881 * [backup-simplify]: Simplify (+ 0 2) into 2 1554049993.881 * [backup-simplify]: Simplify (+ (* 0 2) (* 1 1)) into 1 1554049993.882 * [backup-simplify]: Simplify (/ -1 1) into -1 1554049993.882 * [taylor]: Taking taylor expansion of (* -1 (/ (- 4 (/ 1 (pow x 2))) (* x (+ (/ 1 x) 2)))) in x 1554049993.882 * [taylor]: Taking taylor expansion of -1 in x 1554049993.882 * [backup-simplify]: Simplify -1 into -1 1554049993.882 * [taylor]: Taking taylor expansion of (/ (- 4 (/ 1 (pow x 2))) (* x (+ (/ 1 x) 2))) in x 1554049993.882 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in x 1554049993.882 * [taylor]: Taking taylor expansion of 4 in x 1554049993.882 * [backup-simplify]: Simplify 4 into 4 1554049993.882 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554049993.882 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.882 * [taylor]: Taking taylor expansion of x in x 1554049993.882 * [backup-simplify]: Simplify 0 into 0 1554049993.882 * [backup-simplify]: Simplify 1 into 1 1554049993.882 * [backup-simplify]: Simplify (* 1 1) into 1 1554049993.882 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.882 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) 2)) in x 1554049993.882 * [taylor]: Taking taylor expansion of x in x 1554049993.882 * [backup-simplify]: Simplify 0 into 0 1554049993.882 * [backup-simplify]: Simplify 1 into 1 1554049993.882 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2) in x 1554049993.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554049993.882 * [taylor]: Taking taylor expansion of x in x 1554049993.882 * [backup-simplify]: Simplify 0 into 0 1554049993.882 * [backup-simplify]: Simplify 1 into 1 1554049993.883 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.883 * [taylor]: Taking taylor expansion of 2 in x 1554049993.883 * [backup-simplify]: Simplify 2 into 2 1554049993.883 * [backup-simplify]: Simplify (- 1) into -1 1554049993.883 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.883 * [backup-simplify]: Simplify (+ 1 0) into 1 1554049993.884 * [backup-simplify]: Simplify (* 0 1) into 0 1554049993.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554049993.884 * [backup-simplify]: Simplify (+ 0 2) into 2 1554049993.885 * [backup-simplify]: Simplify (+ (* 0 2) (* 1 1)) into 1 1554049993.885 * [backup-simplify]: Simplify (/ -1 1) into -1 1554049993.885 * [backup-simplify]: Simplify (* -1 -1) into 1 1554049993.885 * [backup-simplify]: Simplify 1 into 1 1554049993.885 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554049993.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554049993.886 * [backup-simplify]: Simplify (- 0) into 0 1554049993.886 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.887 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.888 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 2) (* 0 1))) into 2 1554049993.888 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 2 1)))) into 2 1554049993.889 * [backup-simplify]: Simplify (+ (* -1 2) (* 0 -1)) into -2 1554049993.889 * [backup-simplify]: Simplify -2 into -2 1554049993.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554049993.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.890 * [backup-simplify]: Simplify (- 0) into 0 1554049993.890 * [backup-simplify]: Simplify (+ 4 0) into 4 1554049993.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.891 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.891 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 2) (* 0 1)))) into 0 1554049993.892 * [backup-simplify]: Simplify (- (/ 4 1) (+ (* -1 (/ 0 1)) (* 2 (/ 2 1)))) into 0 1554049993.893 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 2) (* 0 -1))) into 0 1554049993.893 * [backup-simplify]: Simplify 0 into 0 1554049993.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554049993.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.894 * [backup-simplify]: Simplify (- 0) into 0 1554049993.894 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.895 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.896 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 2) (* 0 1))))) into 0 1554049993.897 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 2 1)))) into 0 1554049993.897 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1)))) into 0 1554049993.897 * [backup-simplify]: Simplify 0 into 0 1554049993.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554049993.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.899 * [backup-simplify]: Simplify (- 0) into 0 1554049993.899 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.900 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.900 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 1)))))) into 0 1554049993.901 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 2 1)))) into 0 1554049993.902 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1))))) into 0 1554049993.902 * [backup-simplify]: Simplify 0 into 0 1554049993.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554049993.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.903 * [backup-simplify]: Simplify (- 0) into 0 1554049993.904 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.904 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.904 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.905 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 1))))))) into 0 1554049993.907 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 2 1)))) into 0 1554049993.908 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1)))))) into 0 1554049993.908 * [backup-simplify]: Simplify 0 into 0 1554049993.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554049993.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.910 * [backup-simplify]: Simplify (- 0) into 0 1554049993.910 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.911 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.912 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 1)))))))) into 0 1554049993.912 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 2 1)))) into 0 1554049993.913 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1))))))) into 0 1554049993.913 * [backup-simplify]: Simplify 0 into 0 1554049993.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554049993.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.915 * [backup-simplify]: Simplify (- 0) into 0 1554049993.915 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.916 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.917 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 1))))))))) into 0 1554049993.918 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 2 1)))) into 0 1554049993.919 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1)))))))) into 0 1554049993.919 * [backup-simplify]: Simplify 0 into 0 1554049993.919 * [backup-simplify]: Simplify (+ (* -2 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 2 x) (pow x 2)) 1554049993.919 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1554049993.919 * [backup-simplify]: Simplify (* (- 4 (* x x)) x) into (* x (- 4 (pow x 2))) 1554049993.919 * [approximate]: Taking taylor expansion of (* x (- 4 (pow x 2))) in (x) around 0 1554049993.919 * [taylor]: Taking taylor expansion of (* x (- 4 (pow x 2))) in x 1554049993.919 * [taylor]: Taking taylor expansion of x in x 1554049993.919 * [backup-simplify]: Simplify 0 into 0 1554049993.919 * [backup-simplify]: Simplify 1 into 1 1554049993.919 * [taylor]: Taking taylor expansion of (- 4 (pow x 2)) in x 1554049993.919 * [taylor]: Taking taylor expansion of 4 in x 1554049993.919 * [backup-simplify]: Simplify 4 into 4 1554049993.919 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.919 * [taylor]: Taking taylor expansion of x in x 1554049993.919 * [backup-simplify]: Simplify 0 into 0 1554049993.919 * [backup-simplify]: Simplify 1 into 1 1554049993.920 * [taylor]: Taking taylor expansion of (* x (- 4 (pow x 2))) in x 1554049993.920 * [taylor]: Taking taylor expansion of x in x 1554049993.920 * [backup-simplify]: Simplify 0 into 0 1554049993.920 * [backup-simplify]: Simplify 1 into 1 1554049993.920 * [taylor]: Taking taylor expansion of (- 4 (pow x 2)) in x 1554049993.920 * [taylor]: Taking taylor expansion of 4 in x 1554049993.920 * [backup-simplify]: Simplify 4 into 4 1554049993.920 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.920 * [taylor]: Taking taylor expansion of x in x 1554049993.920 * [backup-simplify]: Simplify 0 into 0 1554049993.920 * [backup-simplify]: Simplify 1 into 1 1554049993.920 * [backup-simplify]: Simplify (+ 4 0) into 4 1554049993.920 * [backup-simplify]: Simplify (* 0 4) into 0 1554049993.920 * [backup-simplify]: Simplify 0 into 0 1554049993.920 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.921 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 4)) into 4 1554049993.921 * [backup-simplify]: Simplify 4 into 4 1554049993.921 * [backup-simplify]: Simplify (* 1 1) into 1 1554049993.921 * [backup-simplify]: Simplify (- 1) into -1 1554049993.922 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.922 * [backup-simplify]: Simplify (+ (* 0 -1) (+ (* 1 0) (* 0 4))) into 0 1554049993.922 * [backup-simplify]: Simplify 0 into 0 1554049993.923 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554049993.923 * [backup-simplify]: Simplify (- 0) into 0 1554049993.923 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.924 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 -1) (+ (* 0 0) (* 0 4)))) into -1 1554049993.924 * [backup-simplify]: Simplify -1 into -1 1554049993.924 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554049993.924 * [backup-simplify]: Simplify (- 0) into 0 1554049993.925 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.925 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 -1) (+ (* 0 0) (* 0 4))))) into 0 1554049993.925 * [backup-simplify]: Simplify 0 into 0 1554049993.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554049993.926 * [backup-simplify]: Simplify (- 0) into 0 1554049993.926 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.927 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 4)))))) into 0 1554049993.927 * [backup-simplify]: Simplify 0 into 0 1554049993.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554049993.928 * [backup-simplify]: Simplify (- 0) into 0 1554049993.928 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.929 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 4))))))) into 0 1554049993.929 * [backup-simplify]: Simplify 0 into 0 1554049993.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554049993.930 * [backup-simplify]: Simplify (- 0) into 0 1554049993.930 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.931 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 4)))))))) into 0 1554049993.931 * [backup-simplify]: Simplify 0 into 0 1554049993.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554049993.932 * [backup-simplify]: Simplify (- 0) into 0 1554049993.933 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.934 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 4))))))))) into 0 1554049993.934 * [backup-simplify]: Simplify 0 into 0 1554049993.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554049993.935 * [backup-simplify]: Simplify (- 0) into 0 1554049993.935 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.937 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 4)))))))))) into 0 1554049993.937 * [backup-simplify]: Simplify 0 into 0 1554049993.937 * [backup-simplify]: Simplify (+ (* -1 (pow x 3)) (* 4 x)) into (- (* 4 x) (pow x 3)) 1554049993.937 * [backup-simplify]: Simplify (* (- 4 (* (/ 1 x) (/ 1 x))) (/ 1 x)) into (/ (- 4 (/ 1 (pow x 2))) x) 1554049993.937 * [approximate]: Taking taylor expansion of (/ (- 4 (/ 1 (pow x 2))) x) in (x) around 0 1554049993.937 * [taylor]: Taking taylor expansion of (/ (- 4 (/ 1 (pow x 2))) x) in x 1554049993.937 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in x 1554049993.937 * [taylor]: Taking taylor expansion of 4 in x 1554049993.937 * [backup-simplify]: Simplify 4 into 4 1554049993.937 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554049993.937 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.937 * [taylor]: Taking taylor expansion of x in x 1554049993.937 * [backup-simplify]: Simplify 0 into 0 1554049993.937 * [backup-simplify]: Simplify 1 into 1 1554049993.938 * [backup-simplify]: Simplify (* 1 1) into 1 1554049993.938 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.938 * [taylor]: Taking taylor expansion of x in x 1554049993.938 * [backup-simplify]: Simplify 0 into 0 1554049993.938 * [backup-simplify]: Simplify 1 into 1 1554049993.938 * [backup-simplify]: Simplify (- 1) into -1 1554049993.938 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.939 * [backup-simplify]: Simplify (/ -1 1) into -1 1554049993.939 * [taylor]: Taking taylor expansion of (/ (- 4 (/ 1 (pow x 2))) x) in x 1554049993.939 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in x 1554049993.939 * [taylor]: Taking taylor expansion of 4 in x 1554049993.939 * [backup-simplify]: Simplify 4 into 4 1554049993.939 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554049993.939 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.939 * [taylor]: Taking taylor expansion of x in x 1554049993.939 * [backup-simplify]: Simplify 0 into 0 1554049993.939 * [backup-simplify]: Simplify 1 into 1 1554049993.939 * [backup-simplify]: Simplify (* 1 1) into 1 1554049993.939 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.939 * [taylor]: Taking taylor expansion of x in x 1554049993.939 * [backup-simplify]: Simplify 0 into 0 1554049993.939 * [backup-simplify]: Simplify 1 into 1 1554049993.939 * [backup-simplify]: Simplify (- 1) into -1 1554049993.940 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.940 * [backup-simplify]: Simplify (/ -1 1) into -1 1554049993.940 * [backup-simplify]: Simplify -1 into -1 1554049993.940 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554049993.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554049993.941 * [backup-simplify]: Simplify (- 0) into 0 1554049993.941 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.942 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554049993.942 * [backup-simplify]: Simplify 0 into 0 1554049993.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554049993.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.943 * [backup-simplify]: Simplify (- 0) into 0 1554049993.943 * [backup-simplify]: Simplify (+ 4 0) into 4 1554049993.944 * [backup-simplify]: Simplify (- (/ 4 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 4 1554049993.944 * [backup-simplify]: Simplify 4 into 4 1554049993.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554049993.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.945 * [backup-simplify]: Simplify (- 0) into 0 1554049993.945 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.946 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 4 (/ 0 1)))) into 0 1554049993.946 * [backup-simplify]: Simplify 0 into 0 1554049993.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554049993.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.947 * [backup-simplify]: Simplify (- 0) into 0 1554049993.947 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.948 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.948 * [backup-simplify]: Simplify 0 into 0 1554049993.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554049993.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.949 * [backup-simplify]: Simplify (- 0) into 0 1554049993.950 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.950 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.950 * [backup-simplify]: Simplify 0 into 0 1554049993.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554049993.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.952 * [backup-simplify]: Simplify (- 0) into 0 1554049993.952 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.953 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.953 * [backup-simplify]: Simplify 0 into 0 1554049993.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554049993.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.954 * [backup-simplify]: Simplify (- 0) into 0 1554049993.954 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.955 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.955 * [backup-simplify]: Simplify 0 into 0 1554049993.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1554049993.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.957 * [backup-simplify]: Simplify (- 0) into 0 1554049993.957 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.958 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.958 * [backup-simplify]: Simplify 0 into 0 1554049993.958 * [backup-simplify]: Simplify (+ (* 4 (/ 1 (/ 1 x))) (* -1 (pow (/ 1 (/ 1 x)) 3))) into (- (* 4 x) (pow x 3)) 1554049993.958 * [backup-simplify]: Simplify (* (- 4 (* (/ 1 (- x)) (/ 1 (- x)))) (/ 1 (- x))) into (* -1 (/ (- 4 (/ 1 (pow x 2))) x)) 1554049993.958 * [approximate]: Taking taylor expansion of (* -1 (/ (- 4 (/ 1 (pow x 2))) x)) in (x) around 0 1554049993.958 * [taylor]: Taking taylor expansion of (* -1 (/ (- 4 (/ 1 (pow x 2))) x)) in x 1554049993.958 * [taylor]: Taking taylor expansion of -1 in x 1554049993.958 * [backup-simplify]: Simplify -1 into -1 1554049993.958 * [taylor]: Taking taylor expansion of (/ (- 4 (/ 1 (pow x 2))) x) in x 1554049993.958 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in x 1554049993.958 * [taylor]: Taking taylor expansion of 4 in x 1554049993.958 * [backup-simplify]: Simplify 4 into 4 1554049993.958 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554049993.958 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.958 * [taylor]: Taking taylor expansion of x in x 1554049993.958 * [backup-simplify]: Simplify 0 into 0 1554049993.958 * [backup-simplify]: Simplify 1 into 1 1554049993.958 * [backup-simplify]: Simplify (* 1 1) into 1 1554049993.959 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.959 * [taylor]: Taking taylor expansion of x in x 1554049993.959 * [backup-simplify]: Simplify 0 into 0 1554049993.959 * [backup-simplify]: Simplify 1 into 1 1554049993.959 * [backup-simplify]: Simplify (- 1) into -1 1554049993.959 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.959 * [backup-simplify]: Simplify (/ -1 1) into -1 1554049993.959 * [taylor]: Taking taylor expansion of (* -1 (/ (- 4 (/ 1 (pow x 2))) x)) in x 1554049993.959 * [taylor]: Taking taylor expansion of -1 in x 1554049993.960 * [backup-simplify]: Simplify -1 into -1 1554049993.960 * [taylor]: Taking taylor expansion of (/ (- 4 (/ 1 (pow x 2))) x) in x 1554049993.960 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in x 1554049993.960 * [taylor]: Taking taylor expansion of 4 in x 1554049993.960 * [backup-simplify]: Simplify 4 into 4 1554049993.960 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554049993.960 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.960 * [taylor]: Taking taylor expansion of x in x 1554049993.960 * [backup-simplify]: Simplify 0 into 0 1554049993.960 * [backup-simplify]: Simplify 1 into 1 1554049993.960 * [backup-simplify]: Simplify (* 1 1) into 1 1554049993.960 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.960 * [taylor]: Taking taylor expansion of x in x 1554049993.960 * [backup-simplify]: Simplify 0 into 0 1554049993.960 * [backup-simplify]: Simplify 1 into 1 1554049993.960 * [backup-simplify]: Simplify (- 1) into -1 1554049993.961 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.961 * [backup-simplify]: Simplify (/ -1 1) into -1 1554049993.961 * [backup-simplify]: Simplify (* -1 -1) into 1 1554049993.961 * [backup-simplify]: Simplify 1 into 1 1554049993.961 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554049993.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554049993.962 * [backup-simplify]: Simplify (- 0) into 0 1554049993.962 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.963 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554049993.963 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 1554049993.963 * [backup-simplify]: Simplify 0 into 0 1554049993.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554049993.964 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.964 * [backup-simplify]: Simplify (- 0) into 0 1554049993.965 * [backup-simplify]: Simplify (+ 4 0) into 4 1554049993.965 * [backup-simplify]: Simplify (- (/ 4 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 4 1554049993.966 * [backup-simplify]: Simplify (+ (* -1 4) (+ (* 0 0) (* 0 -1))) into -4 1554049993.966 * [backup-simplify]: Simplify -4 into -4 1554049993.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554049993.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.967 * [backup-simplify]: Simplify (- 0) into 0 1554049993.967 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.968 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 4 (/ 0 1)))) into 0 1554049993.969 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 4) (+ (* 0 0) (* 0 -1)))) into 0 1554049993.969 * [backup-simplify]: Simplify 0 into 0 1554049993.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554049993.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.970 * [backup-simplify]: Simplify (- 0) into 0 1554049993.970 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.971 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.972 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 4) (+ (* 0 0) (* 0 -1))))) into 0 1554049993.972 * [backup-simplify]: Simplify 0 into 0 1554049993.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554049993.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.973 * [backup-simplify]: Simplify (- 0) into 0 1554049993.973 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.974 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.975 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4) (+ (* 0 0) (* 0 -1)))))) into 0 1554049993.975 * [backup-simplify]: Simplify 0 into 0 1554049993.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554049993.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.976 * [backup-simplify]: Simplify (- 0) into 0 1554049993.977 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.977 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.978 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4) (+ (* 0 0) (* 0 -1))))))) into 0 1554049993.978 * [backup-simplify]: Simplify 0 into 0 1554049993.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554049993.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.980 * [backup-simplify]: Simplify (- 0) into 0 1554049993.980 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.981 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.982 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4) (+ (* 0 0) (* 0 -1)))))))) into 0 1554049993.982 * [backup-simplify]: Simplify 0 into 0 1554049993.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1554049993.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.985 * [backup-simplify]: Simplify (- 0) into 0 1554049993.985 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.986 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.987 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4) (+ (* 0 0) (* 0 -1))))))))) into 0 1554049993.987 * [backup-simplify]: Simplify 0 into 0 1554049993.987 * [backup-simplify]: Simplify (+ (* -4 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 3))) into (- (* 4 x) (pow x 3)) 1554049993.987 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 1554049993.987 * [backup-simplify]: Simplify (- 4 (* x x)) into (- 4 (pow x 2)) 1554049993.987 * [approximate]: Taking taylor expansion of (- 4 (pow x 2)) in (x) around 0 1554049993.987 * [taylor]: Taking taylor expansion of (- 4 (pow x 2)) in x 1554049993.987 * [taylor]: Taking taylor expansion of 4 in x 1554049993.987 * [backup-simplify]: Simplify 4 into 4 1554049993.987 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.987 * [taylor]: Taking taylor expansion of x in x 1554049993.987 * [backup-simplify]: Simplify 0 into 0 1554049993.987 * [backup-simplify]: Simplify 1 into 1 1554049993.987 * [taylor]: Taking taylor expansion of (- 4 (pow x 2)) in x 1554049993.987 * [taylor]: Taking taylor expansion of 4 in x 1554049993.987 * [backup-simplify]: Simplify 4 into 4 1554049993.987 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.987 * [taylor]: Taking taylor expansion of x in x 1554049993.987 * [backup-simplify]: Simplify 0 into 0 1554049993.987 * [backup-simplify]: Simplify 1 into 1 1554049993.988 * [backup-simplify]: Simplify (+ 4 0) into 4 1554049993.988 * [backup-simplify]: Simplify 4 into 4 1554049993.988 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.988 * [backup-simplify]: Simplify 0 into 0 1554049993.988 * [backup-simplify]: Simplify (* 1 1) into 1 1554049993.988 * [backup-simplify]: Simplify (- 1) into -1 1554049993.989 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.989 * [backup-simplify]: Simplify -1 into -1 1554049993.989 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554049993.989 * [backup-simplify]: Simplify (- 0) into 0 1554049993.989 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.989 * [backup-simplify]: Simplify 0 into 0 1554049993.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554049993.990 * [backup-simplify]: Simplify (- 0) into 0 1554049993.990 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.990 * [backup-simplify]: Simplify 0 into 0 1554049993.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554049993.991 * [backup-simplify]: Simplify (- 0) into 0 1554049993.991 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.991 * [backup-simplify]: Simplify 0 into 0 1554049993.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554049993.992 * [backup-simplify]: Simplify (- 0) into 0 1554049993.992 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.992 * [backup-simplify]: Simplify 0 into 0 1554049993.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554049993.993 * [backup-simplify]: Simplify (- 0) into 0 1554049993.993 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.993 * [backup-simplify]: Simplify 0 into 0 1554049993.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554049993.994 * [backup-simplify]: Simplify (- 0) into 0 1554049993.995 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.995 * [backup-simplify]: Simplify 0 into 0 1554049993.995 * [backup-simplify]: Simplify (+ (* -1 (pow x 2)) 4) into (- 4 (pow x 2)) 1554049993.995 * [backup-simplify]: Simplify (- 4 (* (/ 1 x) (/ 1 x))) into (- 4 (/ 1 (pow x 2))) 1554049993.995 * [approximate]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in (x) around 0 1554049993.995 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in x 1554049993.995 * [taylor]: Taking taylor expansion of 4 in x 1554049993.995 * [backup-simplify]: Simplify 4 into 4 1554049993.995 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554049993.995 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.995 * [taylor]: Taking taylor expansion of x in x 1554049993.995 * [backup-simplify]: Simplify 0 into 0 1554049993.995 * [backup-simplify]: Simplify 1 into 1 1554049993.995 * [backup-simplify]: Simplify (* 1 1) into 1 1554049993.995 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.995 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in x 1554049993.995 * [taylor]: Taking taylor expansion of 4 in x 1554049993.996 * [backup-simplify]: Simplify 4 into 4 1554049993.996 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554049993.996 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049993.996 * [taylor]: Taking taylor expansion of x in x 1554049993.996 * [backup-simplify]: Simplify 0 into 0 1554049993.996 * [backup-simplify]: Simplify 1 into 1 1554049993.996 * [backup-simplify]: Simplify (* 1 1) into 1 1554049993.996 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049993.996 * [backup-simplify]: Simplify (- 1) into -1 1554049993.997 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049993.997 * [backup-simplify]: Simplify -1 into -1 1554049993.997 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554049993.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554049993.998 * [backup-simplify]: Simplify (- 0) into 0 1554049993.998 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049993.998 * [backup-simplify]: Simplify 0 into 0 1554049993.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554049993.999 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049993.999 * [backup-simplify]: Simplify (- 0) into 0 1554049993.999 * [backup-simplify]: Simplify (+ 4 0) into 4 1554049993.999 * [backup-simplify]: Simplify 4 into 4 1554049994.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554049994.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049994.001 * [backup-simplify]: Simplify (- 0) into 0 1554049994.001 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049994.001 * [backup-simplify]: Simplify 0 into 0 1554049994.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554049994.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049994.002 * [backup-simplify]: Simplify (- 0) into 0 1554049994.002 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049994.002 * [backup-simplify]: Simplify 0 into 0 1554049994.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554049994.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049994.004 * [backup-simplify]: Simplify (- 0) into 0 1554049994.004 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049994.004 * [backup-simplify]: Simplify 0 into 0 1554049994.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554049994.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049994.005 * [backup-simplify]: Simplify (- 0) into 0 1554049994.006 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049994.006 * [backup-simplify]: Simplify 0 into 0 1554049994.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554049994.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049994.007 * [backup-simplify]: Simplify (- 0) into 0 1554049994.007 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049994.008 * [backup-simplify]: Simplify 0 into 0 1554049994.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1554049994.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049994.009 * [backup-simplify]: Simplify (- 0) into 0 1554049994.009 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049994.009 * [backup-simplify]: Simplify 0 into 0 1554049994.010 * [backup-simplify]: Simplify (+ 4 (* -1 (pow (/ 1 (/ 1 x)) 2))) into (- 4 (pow x 2)) 1554049994.010 * [backup-simplify]: Simplify (- 4 (* (/ 1 (- x)) (/ 1 (- x)))) into (- 4 (/ 1 (pow x 2))) 1554049994.010 * [approximate]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in (x) around 0 1554049994.010 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in x 1554049994.010 * [taylor]: Taking taylor expansion of 4 in x 1554049994.010 * [backup-simplify]: Simplify 4 into 4 1554049994.010 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554049994.010 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049994.010 * [taylor]: Taking taylor expansion of x in x 1554049994.010 * [backup-simplify]: Simplify 0 into 0 1554049994.010 * [backup-simplify]: Simplify 1 into 1 1554049994.010 * [backup-simplify]: Simplify (* 1 1) into 1 1554049994.010 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049994.010 * [taylor]: Taking taylor expansion of (- 4 (/ 1 (pow x 2))) in x 1554049994.010 * [taylor]: Taking taylor expansion of 4 in x 1554049994.010 * [backup-simplify]: Simplify 4 into 4 1554049994.010 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554049994.010 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554049994.010 * [taylor]: Taking taylor expansion of x in x 1554049994.010 * [backup-simplify]: Simplify 0 into 0 1554049994.010 * [backup-simplify]: Simplify 1 into 1 1554049994.011 * [backup-simplify]: Simplify (* 1 1) into 1 1554049994.011 * [backup-simplify]: Simplify (/ 1 1) into 1 1554049994.011 * [backup-simplify]: Simplify (- 1) into -1 1554049994.011 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554049994.011 * [backup-simplify]: Simplify -1 into -1 1554049994.012 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554049994.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554049994.012 * [backup-simplify]: Simplify (- 0) into 0 1554049994.013 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049994.013 * [backup-simplify]: Simplify 0 into 0 1554049994.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554049994.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049994.014 * [backup-simplify]: Simplify (- 0) into 0 1554049994.014 * [backup-simplify]: Simplify (+ 4 0) into 4 1554049994.014 * [backup-simplify]: Simplify 4 into 4 1554049994.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554049994.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049994.015 * [backup-simplify]: Simplify (- 0) into 0 1554049994.016 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049994.016 * [backup-simplify]: Simplify 0 into 0 1554049994.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554049994.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049994.017 * [backup-simplify]: Simplify (- 0) into 0 1554049994.017 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049994.017 * [backup-simplify]: Simplify 0 into 0 1554049994.018 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554049994.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049994.019 * [backup-simplify]: Simplify (- 0) into 0 1554049994.019 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049994.019 * [backup-simplify]: Simplify 0 into 0 1554049994.020 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554049994.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049994.020 * [backup-simplify]: Simplify (- 0) into 0 1554049994.021 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049994.021 * [backup-simplify]: Simplify 0 into 0 1554049994.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554049994.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049994.022 * [backup-simplify]: Simplify (- 0) into 0 1554049994.023 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049994.023 * [backup-simplify]: Simplify 0 into 0 1554049994.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1554049994.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554049994.024 * [backup-simplify]: Simplify (- 0) into 0 1554049994.024 * [backup-simplify]: Simplify (+ 0 0) into 0 1554049994.024 * [backup-simplify]: Simplify 0 into 0 1554049994.025 * [backup-simplify]: Simplify (+ 4 (* -1 (pow (/ 1 (/ 1 (- x))) 2))) into (- 4 (pow x 2)) 1554049994.025 * * * [progress]: simplifying candidates 1554049994.025 * * * * [progress]: [ 1 / 87 ] simplifiying candidate # 1554049994.025 * * * * [progress]: [ 2 / 87 ] simplifiying candidate # 1554049994.025 * * * * [progress]: [ 3 / 87 ] simplifiying candidate # 1554049994.025 * * * * [progress]: [ 4 / 87 ] simplifiying candidate # 1554049994.025 * [simplify]: Simplifying (- (+ (log (- 4 (* x x))) (log x)) (log (- 2 x))) 1554049994.025 * * [simplify]: iters left: 6 (11 enodes) 1554049994.028 * * [simplify]: iters left: 5 (42 enodes) 1554049994.034 * * [simplify]: iters left: 4 (62 enodes) 1554049994.043 * * [simplify]: iters left: 3 (73 enodes) 1554049994.052 * * [simplify]: iters left: 2 (77 enodes) 1554049994.062 * * [simplify]: iters left: 1 (81 enodes) 1554049994.072 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.072 * * [simplify]: Extracting #1: cost 16 inf + 0 1554049994.073 * * [simplify]: Extracting #2: cost 28 inf + 0 1554049994.073 * * [simplify]: Extracting #3: cost 33 inf + 72 1554049994.073 * * [simplify]: Extracting #4: cost 29 inf + 350 1554049994.073 * * [simplify]: Extracting #5: cost 21 inf + 1093 1554049994.074 * * [simplify]: Extracting #6: cost 5 inf + 4568 1554049994.075 * * [simplify]: Extracting #7: cost 0 inf + 6423 1554049994.076 * [simplify]: Simplified to (+ (log (- 4 (* x x))) (- (log x) (log (- 2 x)))) 1554049994.076 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ (log (- 4 (* x x))) (- (log x) (log (- 2 x)))))) 1554049994.076 * * * * [progress]: [ 5 / 87 ] simplifiying candidate # 1554049994.076 * [simplify]: Simplifying (- (log (* (- 4 (* x x)) x)) (log (- 2 x))) 1554049994.076 * * [simplify]: iters left: 6 (10 enodes) 1554049994.079 * * [simplify]: iters left: 5 (40 enodes) 1554049994.085 * * [simplify]: iters left: 4 (66 enodes) 1554049994.095 * * [simplify]: iters left: 3 (94 enodes) 1554049994.107 * * [simplify]: iters left: 2 (111 enodes) 1554049994.124 * * [simplify]: iters left: 1 (123 enodes) 1554049994.140 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.140 * * [simplify]: Extracting #1: cost 13 inf + 0 1554049994.140 * * [simplify]: Extracting #2: cost 28 inf + 0 1554049994.141 * * [simplify]: Extracting #3: cost 38 inf + 1 1554049994.141 * * [simplify]: Extracting #4: cost 35 inf + 585 1554049994.141 * * [simplify]: Extracting #5: cost 19 inf + 2838 1554049994.142 * * [simplify]: Extracting #6: cost 6 inf + 5758 1554049994.143 * * [simplify]: Extracting #7: cost 1 inf + 6960 1554049994.144 * * [simplify]: Extracting #8: cost 0 inf + 7172 1554049994.146 * [simplify]: Simplified to (- (log (* (- 4 (* x x)) x)) (log (- 2 x))) 1554049994.146 * [simplify]: Simplified (2 1) to (λ (x) (exp (- (log (* (- 4 (* x x)) x)) (log (- 2 x))))) 1554049994.146 * * * * [progress]: [ 6 / 87 ] simplifiying candidate # 1554049994.146 * * * * [progress]: [ 7 / 87 ] simplifiying candidate # 1554049994.146 * * * * [progress]: [ 8 / 87 ] simplifiying candidate # 1554049994.146 * [simplify]: Simplifying (/ (* (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* x x) x)) (* (* (- 2 x) (- 2 x)) (- 2 x))) 1554049994.146 * * [simplify]: iters left: 6 (13 enodes) 1554049994.150 * * [simplify]: iters left: 5 (58 enodes) 1554049994.161 * * [simplify]: iters left: 4 (198 enodes) 1554049994.229 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.229 * * [simplify]: Extracting #1: cost 94 inf + 0 1554049994.230 * * [simplify]: Extracting #2: cost 239 inf + 123 1554049994.233 * * [simplify]: Extracting #3: cost 228 inf + 12715 1554049994.244 * * [simplify]: Extracting #4: cost 37 inf + 52832 1554049994.259 * * [simplify]: Extracting #5: cost 0 inf + 61546 1554049994.276 * * [simplify]: Extracting #6: cost 0 inf + 61426 1554049994.291 * [simplify]: Simplified to (* (* (* (/ (- 4 (* x x)) (- 2 x)) (/ (- 4 (* x x)) (- 2 x))) (/ (- 4 (* x x)) (- 2 x))) (* (* x x) x)) 1554049994.291 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* (* (/ (- 4 (* x x)) (- 2 x)) (/ (- 4 (* x x)) (- 2 x))) (/ (- 4 (* x x)) (- 2 x))) (* (* x x) x)))) 1554049994.291 * * * * [progress]: [ 9 / 87 ] simplifiying candidate # 1554049994.291 * [simplify]: Simplifying (/ (* (* (* (- 4 (* x x)) x) (* (- 4 (* x x)) x)) (* (- 4 (* x x)) x)) (* (* (- 2 x) (- 2 x)) (- 2 x))) 1554049994.291 * * [simplify]: iters left: 6 (12 enodes) 1554049994.295 * * [simplify]: iters left: 5 (58 enodes) 1554049994.307 * * [simplify]: iters left: 4 (220 enodes) 1554049994.414 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.415 * * [simplify]: Extracting #1: cost 114 inf + 0 1554049994.415 * * [simplify]: Extracting #2: cost 300 inf + 43 1554049994.419 * * [simplify]: Extracting #3: cost 280 inf + 15684 1554049994.433 * * [simplify]: Extracting #4: cost 29 inf + 70675 1554049994.452 * * [simplify]: Extracting #5: cost 0 inf + 78497 1554049994.473 * * [simplify]: Extracting #6: cost 0 inf + 78377 1554049994.492 * [simplify]: Simplified to (* (/ (* (- 4 (* x x)) x) (- 2 x)) (* (/ (* (- 4 (* x x)) x) (- 2 x)) (/ (* (- 4 (* x x)) x) (- 2 x)))) 1554049994.492 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (/ (* (- 4 (* x x)) x) (- 2 x)) (* (/ (* (- 4 (* x x)) x) (- 2 x)) (/ (* (- 4 (* x x)) x) (- 2 x)))))) 1554049994.493 * * * * [progress]: [ 10 / 87 ] simplifiying candidate # 1554049994.493 * * * * [progress]: [ 11 / 87 ] simplifiying candidate # 1554049994.493 * * * * [progress]: [ 12 / 87 ] simplifiying candidate # 1554049994.493 * * * * [progress]: [ 13 / 87 ] simplifiying candidate # 1554049994.493 * * * * [progress]: [ 14 / 87 ] simplifiying candidate # 1554049994.493 * [simplify]: Simplifying (/ (- 4 (* x x)) (* (cbrt (- 2 x)) (cbrt (- 2 x)))) 1554049994.493 * * [simplify]: iters left: 6 (9 enodes) 1554049994.496 * * [simplify]: iters left: 5 (36 enodes) 1554049994.502 * * [simplify]: iters left: 4 (61 enodes) 1554049994.512 * * [simplify]: iters left: 3 (91 enodes) 1554049994.525 * * [simplify]: iters left: 2 (125 enodes) 1554049994.543 * * [simplify]: iters left: 1 (141 enodes) 1554049994.560 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.560 * * [simplify]: Extracting #1: cost 11 inf + 0 1554049994.560 * * [simplify]: Extracting #2: cost 35 inf + 0 1554049994.560 * * [simplify]: Extracting #3: cost 47 inf + 2 1554049994.561 * * [simplify]: Extracting #4: cost 24 inf + 3245 1554049994.562 * * [simplify]: Extracting #5: cost 3 inf + 7491 1554049994.564 * * [simplify]: Extracting #6: cost 0 inf + 7977 1554049994.565 * * [simplify]: Extracting #7: cost 0 inf + 7937 1554049994.566 * [simplify]: Simplified to (/ (- 4 (* x x)) (* (cbrt (- 2 x)) (cbrt (- 2 x)))) 1554049994.567 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (- 4 (* x x)) (* (cbrt (- 2 x)) (cbrt (- 2 x)))) (/ x (cbrt (- 2 x))))) 1554049994.567 * [simplify]: Simplifying (/ x (cbrt (- 2 x))) 1554049994.567 * * [simplify]: iters left: 5 (5 enodes) 1554049994.568 * * [simplify]: iters left: 4 (17 enodes) 1554049994.570 * * [simplify]: iters left: 3 (20 enodes) 1554049994.573 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.573 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049994.573 * * [simplify]: Extracting #2: cost 5 inf + 1 1554049994.573 * * [simplify]: Extracting #3: cost 8 inf + 1 1554049994.574 * * [simplify]: Extracting #4: cost 1 inf + 695 1554049994.574 * * [simplify]: Extracting #5: cost 0 inf + 736 1554049994.574 * [simplify]: Simplified to (/ x (cbrt (- 2 x))) 1554049994.574 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (- 4 (* x x)) (* (cbrt (- 2 x)) (cbrt (- 2 x)))) (/ x (cbrt (- 2 x))))) 1554049994.574 * * * * [progress]: [ 15 / 87 ] simplifiying candidate # 1554049994.574 * [simplify]: Simplifying (/ (- 4 (* x x)) (sqrt (- 2 x))) 1554049994.574 * * [simplify]: iters left: 6 (8 enodes) 1554049994.576 * * [simplify]: iters left: 5 (31 enodes) 1554049994.581 * * [simplify]: iters left: 4 (47 enodes) 1554049994.587 * * [simplify]: iters left: 3 (58 enodes) 1554049994.595 * * [simplify]: iters left: 2 (68 enodes) 1554049994.604 * * [simplify]: iters left: 1 (77 enodes) 1554049994.615 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.615 * * [simplify]: Extracting #1: cost 11 inf + 0 1554049994.615 * * [simplify]: Extracting #2: cost 23 inf + 42 1554049994.615 * * [simplify]: Extracting #3: cost 25 inf + 206 1554049994.615 * * [simplify]: Extracting #4: cost 20 inf + 453 1554049994.616 * * [simplify]: Extracting #5: cost 4 inf + 2568 1554049994.616 * * [simplify]: Extracting #6: cost 0 inf + 3257 1554049994.617 * [simplify]: Simplified to (/ (- 4 (* x x)) (sqrt (- 2 x))) 1554049994.617 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (- 4 (* x x)) (sqrt (- 2 x))) (/ x (sqrt (- 2 x))))) 1554049994.617 * [simplify]: Simplifying (/ x (sqrt (- 2 x))) 1554049994.617 * * [simplify]: iters left: 5 (5 enodes) 1554049994.619 * * [simplify]: iters left: 4 (17 enodes) 1554049994.621 * * [simplify]: iters left: 3 (20 enodes) 1554049994.624 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.624 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049994.624 * * [simplify]: Extracting #2: cost 5 inf + 1 1554049994.624 * * [simplify]: Extracting #3: cost 8 inf + 1 1554049994.624 * * [simplify]: Extracting #4: cost 1 inf + 535 1554049994.624 * * [simplify]: Extracting #5: cost 0 inf + 576 1554049994.624 * [simplify]: Simplified to (/ x (sqrt (- 2 x))) 1554049994.624 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (- 4 (* x x)) (sqrt (- 2 x))) (/ x (sqrt (- 2 x))))) 1554049994.624 * * * * [progress]: [ 16 / 87 ] simplifiying candidate # 1554049994.625 * [simplify]: Simplifying (/ (- 4 (* x x)) 1) 1554049994.625 * * [simplify]: iters left: 6 (6 enodes) 1554049994.627 * * [simplify]: iters left: 5 (23 enodes) 1554049994.630 * * [simplify]: iters left: 4 (36 enodes) 1554049994.635 * * [simplify]: iters left: 3 (51 enodes) 1554049994.642 * * [simplify]: iters left: 2 (56 enodes) 1554049994.648 * * [simplify]: iters left: 1 (58 enodes) 1554049994.653 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.654 * * [simplify]: Extracting #1: cost 8 inf + 0 1554049994.654 * * [simplify]: Extracting #2: cost 7 inf + 166 1554049994.654 * * [simplify]: Extracting #3: cost 3 inf + 535 1554049994.654 * * [simplify]: Extracting #4: cost 0 inf + 741 1554049994.654 * [simplify]: Simplified to (- 4 (* x x)) 1554049994.654 * [simplify]: Simplified (2 1) to (λ (x) (* (- 4 (* x x)) (/ x (- 2 x)))) 1554049994.654 * [simplify]: Simplifying (/ x (- 2 x)) 1554049994.654 * * [simplify]: iters left: 4 (4 enodes) 1554049994.655 * * [simplify]: iters left: 3 (14 enodes) 1554049994.657 * * [simplify]: iters left: 2 (17 enodes) 1554049994.660 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.660 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049994.660 * * [simplify]: Extracting #2: cost 6 inf + 1 1554049994.660 * * [simplify]: Extracting #3: cost 1 inf + 291 1554049994.660 * * [simplify]: Extracting #4: cost 0 inf + 332 1554049994.660 * [simplify]: Simplified to (/ x (- 2 x)) 1554049994.660 * [simplify]: Simplified (2 2) to (λ (x) (* (- 4 (* x x)) (/ x (- 2 x)))) 1554049994.660 * * * * [progress]: [ 17 / 87 ] simplifiying candidate # 1554049994.660 * [simplify]: Simplifying (/ (- 4 (* x x)) (+ (sqrt 2) (sqrt x))) 1554049994.660 * * [simplify]: iters left: 6 (9 enodes) 1554049994.663 * * [simplify]: iters left: 5 (33 enodes) 1554049994.668 * * [simplify]: iters left: 4 (47 enodes) 1554049994.675 * * [simplify]: iters left: 3 (60 enodes) 1554049994.684 * * [simplify]: iters left: 2 (70 enodes) 1554049994.694 * * [simplify]: iters left: 1 (79 enodes) 1554049994.704 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.704 * * [simplify]: Extracting #1: cost 11 inf + 0 1554049994.704 * * [simplify]: Extracting #2: cost 25 inf + 1 1554049994.704 * * [simplify]: Extracting #3: cost 26 inf + 247 1554049994.704 * * [simplify]: Extracting #4: cost 19 inf + 616 1554049994.705 * * [simplify]: Extracting #5: cost 8 inf + 2560 1554049994.705 * * [simplify]: Extracting #6: cost 1 inf + 3855 1554049994.706 * * [simplify]: Extracting #7: cost 0 inf + 4057 1554049994.707 * [simplify]: Simplified to (/ (- 4 (* x x)) (+ (sqrt 2) (sqrt x))) 1554049994.707 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (- 4 (* x x)) (+ (sqrt 2) (sqrt x))) (/ x (- (sqrt 2) (sqrt x))))) 1554049994.707 * [simplify]: Simplifying (/ x (- (sqrt 2) (sqrt x))) 1554049994.707 * * [simplify]: iters left: 5 (6 enodes) 1554049994.709 * * [simplify]: iters left: 4 (20 enodes) 1554049994.712 * * [simplify]: iters left: 3 (23 enodes) 1554049994.715 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.715 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049994.715 * * [simplify]: Extracting #2: cost 7 inf + 1 1554049994.715 * * [simplify]: Extracting #3: cost 9 inf + 123 1554049994.715 * * [simplify]: Extracting #4: cost 6 inf + 246 1554049994.715 * * [simplify]: Extracting #5: cost 1 inf + 734 1554049994.716 * * [simplify]: Extracting #6: cost 0 inf + 896 1554049994.716 * [simplify]: Simplified to (/ x (- (sqrt 2) (sqrt x))) 1554049994.716 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (- 4 (* x x)) (+ (sqrt 2) (sqrt x))) (/ x (- (sqrt 2) (sqrt x))))) 1554049994.716 * * * * [progress]: [ 18 / 87 ] simplifiying candidate # 1554049994.716 * [simplify]: Simplifying (/ (- 4 (* x x)) 1) 1554049994.716 * * [simplify]: iters left: 6 (6 enodes) 1554049994.718 * * [simplify]: iters left: 5 (23 enodes) 1554049994.722 * * [simplify]: iters left: 4 (36 enodes) 1554049994.727 * * [simplify]: iters left: 3 (51 enodes) 1554049994.733 * * [simplify]: iters left: 2 (56 enodes) 1554049994.739 * * [simplify]: iters left: 1 (58 enodes) 1554049994.745 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.745 * * [simplify]: Extracting #1: cost 8 inf + 0 1554049994.745 * * [simplify]: Extracting #2: cost 7 inf + 166 1554049994.745 * * [simplify]: Extracting #3: cost 3 inf + 535 1554049994.745 * * [simplify]: Extracting #4: cost 0 inf + 741 1554049994.746 * [simplify]: Simplified to (- 4 (* x x)) 1554049994.746 * [simplify]: Simplified (2 1) to (λ (x) (* (- 4 (* x x)) (/ x (- 2 x)))) 1554049994.746 * [simplify]: Simplifying (/ x (- 2 x)) 1554049994.746 * * [simplify]: iters left: 4 (4 enodes) 1554049994.747 * * [simplify]: iters left: 3 (14 enodes) 1554049994.749 * * [simplify]: iters left: 2 (17 enodes) 1554049994.751 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.751 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049994.751 * * [simplify]: Extracting #2: cost 6 inf + 1 1554049994.751 * * [simplify]: Extracting #3: cost 1 inf + 291 1554049994.751 * * [simplify]: Extracting #4: cost 0 inf + 332 1554049994.752 * [simplify]: Simplified to (/ x (- 2 x)) 1554049994.752 * [simplify]: Simplified (2 2) to (λ (x) (* (- 4 (* x x)) (/ x (- 2 x)))) 1554049994.752 * * * * [progress]: [ 19 / 87 ] simplifiying candidate # 1554049994.752 * * * * [progress]: [ 20 / 87 ] simplifiying candidate # 1554049994.752 * * * * [progress]: [ 21 / 87 ] simplifiying candidate # 1554049994.752 * * * * [progress]: [ 22 / 87 ] simplifiying candidate # 1554049994.752 * [simplify]: Simplifying (cbrt (- 2 x)) 1554049994.752 * * [simplify]: iters left: 3 (4 enodes) 1554049994.754 * * [simplify]: iters left: 2 (14 enodes) 1554049994.756 * * [simplify]: iters left: 1 (17 enodes) 1554049994.758 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.758 * * [simplify]: Extracting #1: cost 3 inf + 0 1554049994.758 * * [simplify]: Extracting #2: cost 7 inf + 0 1554049994.758 * * [simplify]: Extracting #3: cost 5 inf + 43 1554049994.758 * * [simplify]: Extracting #4: cost 0 inf + 412 1554049994.759 * [simplify]: Simplified to (cbrt (- 2 x)) 1554049994.759 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (* (- 4 (* x x)) x) (* (cbrt (- 2 x)) (cbrt (- 2 x)))) (cbrt (- 2 x)))) 1554049994.759 * * * * [progress]: [ 23 / 87 ] simplifiying candidate # 1554049994.759 * [simplify]: Simplifying (sqrt (- 2 x)) 1554049994.759 * * [simplify]: iters left: 3 (4 enodes) 1554049994.760 * * [simplify]: iters left: 2 (14 enodes) 1554049994.762 * * [simplify]: iters left: 1 (17 enodes) 1554049994.764 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.764 * * [simplify]: Extracting #1: cost 3 inf + 0 1554049994.764 * * [simplify]: Extracting #2: cost 7 inf + 0 1554049994.764 * * [simplify]: Extracting #3: cost 5 inf + 43 1554049994.764 * * [simplify]: Extracting #4: cost 0 inf + 332 1554049994.764 * [simplify]: Simplified to (sqrt (- 2 x)) 1554049994.764 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (* (- 4 (* x x)) x) (sqrt (- 2 x))) (sqrt (- 2 x)))) 1554049994.764 * * * * [progress]: [ 24 / 87 ] simplifiying candidate # 1554049994.765 * [simplify]: Simplifying (- 2 x) 1554049994.765 * * [simplify]: iters left: 2 (3 enodes) 1554049994.765 * * [simplify]: iters left: 1 (11 enodes) 1554049994.767 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.767 * * [simplify]: Extracting #1: cost 5 inf + 0 1554049994.767 * * [simplify]: Extracting #2: cost 3 inf + 43 1554049994.767 * * [simplify]: Extracting #3: cost 0 inf + 168 1554049994.767 * [simplify]: Simplified to (- 2 x) 1554049994.767 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (* (- 4 (* x x)) x) 1) (- 2 x))) 1554049994.767 * * * * [progress]: [ 25 / 87 ] simplifiying candidate # 1554049994.767 * [simplify]: Simplifying (- (sqrt 2) (sqrt x)) 1554049994.767 * * [simplify]: iters left: 3 (5 enodes) 1554049994.769 * * [simplify]: iters left: 2 (17 enodes) 1554049994.771 * * [simplify]: iters left: 1 (20 enodes) 1554049994.774 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.774 * * [simplify]: Extracting #1: cost 5 inf + 0 1554049994.774 * * [simplify]: Extracting #2: cost 10 inf + 0 1554049994.774 * * [simplify]: Extracting #3: cost 8 inf + 2 1554049994.774 * * [simplify]: Extracting #4: cost 1 inf + 491 1554049994.775 * * [simplify]: Extracting #5: cost 0 inf + 572 1554049994.775 * [simplify]: Simplified to (- (sqrt 2) (sqrt x)) 1554049994.775 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (* (- 4 (* x x)) x) (+ (sqrt 2) (sqrt x))) (- (sqrt 2) (sqrt x)))) 1554049994.775 * * * * [progress]: [ 26 / 87 ] simplifiying candidate # 1554049994.775 * [simplify]: Simplifying (- 2 x) 1554049994.775 * * [simplify]: iters left: 2 (3 enodes) 1554049994.776 * * [simplify]: iters left: 1 (11 enodes) 1554049994.777 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.778 * * [simplify]: Extracting #1: cost 5 inf + 0 1554049994.778 * * [simplify]: Extracting #2: cost 3 inf + 43 1554049994.778 * * [simplify]: Extracting #3: cost 0 inf + 168 1554049994.778 * [simplify]: Simplified to (- 2 x) 1554049994.778 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (* (- 4 (* x x)) x) 1) (- 2 x))) 1554049994.778 * * * * [progress]: [ 27 / 87 ] simplifiying candidate # 1554049994.778 * [simplify]: Simplifying (- 4 (* x x)) 1554049994.778 * * [simplify]: iters left: 4 (4 enodes) 1554049994.779 * * [simplify]: iters left: 3 (14 enodes) 1554049994.781 * * [simplify]: iters left: 2 (20 enodes) 1554049994.784 * * [simplify]: iters left: 1 (24 enodes) 1554049994.787 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.787 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049994.787 * * [simplify]: Extracting #2: cost 5 inf + 165 1554049994.787 * * [simplify]: Extracting #3: cost 0 inf + 492 1554049994.787 * [simplify]: Simplified to (- 4 (* x x)) 1554049994.787 * [simplify]: Simplified (2 1) to (λ (x) (/ (- 4 (* x x)) (/ (- 2 x) x))) 1554049994.787 * * * * [progress]: [ 28 / 87 ] simplifiying candidate # 1554049994.788 * [simplify]: Simplifying (+ (* 2 2) (+ (* x x) (* 2 x))) 1554049994.788 * * [simplify]: iters left: 6 (7 enodes) 1554049994.790 * * [simplify]: iters left: 5 (31 enodes) 1554049994.794 * * [simplify]: iters left: 4 (43 enodes) 1554049994.800 * * [simplify]: iters left: 3 (48 enodes) 1554049994.805 * * [simplify]: iters left: 2 (56 enodes) 1554049994.812 * * [simplify]: iters left: 1 (59 enodes) 1554049994.817 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.818 * * [simplify]: Extracting #1: cost 11 inf + 0 1554049994.818 * * [simplify]: Extracting #2: cost 13 inf + 44 1554049994.818 * * [simplify]: Extracting #3: cost 7 inf + 381 1554049994.818 * * [simplify]: Extracting #4: cost 0 inf + 858 1554049994.818 * * [simplify]: Extracting #5: cost 0 inf + 843 1554049994.819 * [simplify]: Simplified to (fma x (+ 2 x) 4) 1554049994.819 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (* (- 4 (* x x)) x) (- (pow 2 3) (pow x 3))) (fma x (+ 2 x) 4))) 1554049994.819 * * * * [progress]: [ 29 / 87 ] simplifiying candidate # 1554049994.819 * [simplify]: Simplifying (+ 2 x) 1554049994.819 * * [simplify]: iters left: 2 (3 enodes) 1554049994.820 * * [simplify]: iters left: 1 (10 enodes) 1554049994.821 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.821 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049994.821 * * [simplify]: Extracting #2: cost 2 inf + 2 1554049994.821 * * [simplify]: Extracting #3: cost 0 inf + 86 1554049994.821 * [simplify]: Simplified to (+ x 2) 1554049994.821 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (* (- 4 (* x x)) x) (- (* 2 2) (* x x))) (+ x 2))) 1554049994.821 * * * * [progress]: [ 30 / 87 ] simplifiying candidate # 1554049994.821 * [simplify]: Simplifying (* (- (pow 4 3) (pow (* x x) 3)) x) 1554049994.822 * * [simplify]: iters left: 6 (8 enodes) 1554049994.826 * * [simplify]: iters left: 5 (44 enodes) 1554049994.836 * * [simplify]: iters left: 4 (106 enodes) 1554049994.863 * * [simplify]: iters left: 3 (265 enodes) 1554049994.942 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049994.942 * * [simplify]: Extracting #1: cost 22 inf + 0 1554049994.942 * * [simplify]: Extracting #2: cost 98 inf + 2 1554049994.943 * * [simplify]: Extracting #3: cost 109 inf + 2440 1554049994.944 * * [simplify]: Extracting #4: cost 67 inf + 10866 1554049994.948 * * [simplify]: Extracting #5: cost 8 inf + 31717 1554049994.952 * * [simplify]: Extracting #6: cost 0 inf + 35228 1554049994.958 * [simplify]: Simplified to (* x (- 64 (* (* x (* x x)) (* x (* x x))))) 1554049994.958 * [simplify]: Simplified (2 1) to (λ (x) (/ (* x (- 64 (* (* x (* x x)) (* x (* x x))))) (* (- 2 x) (+ (* 4 4) (+ (* (* x x) (* x x)) (* 4 (* x x))))))) 1554049994.959 * * * * [progress]: [ 31 / 87 ] simplifiying candidate # 1554049994.959 * [simplify]: Simplifying (* (- (* 4 4) (* (* x x) (* x x))) x) 1554049994.959 * * [simplify]: iters left: 6 (7 enodes) 1554049994.961 * * [simplify]: iters left: 5 (33 enodes) 1554049994.966 * * [simplify]: iters left: 4 (60 enodes) 1554049994.977 * * [simplify]: iters left: 3 (129 enodes) 1554049995.010 * * [simplify]: iters left: 2 (358 enodes) 1554049995.115 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.116 * * [simplify]: Extracting #1: cost 41 inf + 0 1554049995.116 * * [simplify]: Extracting #2: cost 124 inf + 1008 1554049995.120 * * [simplify]: Extracting #3: cost 64 inf + 12248 1554049995.124 * * [simplify]: Extracting #4: cost 33 inf + 17895 1554049995.130 * * [simplify]: Extracting #5: cost 4 inf + 25889 1554049995.137 * * [simplify]: Extracting #6: cost 0 inf + 27164 1554049995.143 * [simplify]: Simplified to (* x (- 16 (* (* x x) (* x x)))) 1554049995.143 * [simplify]: Simplified (2 1) to (λ (x) (/ (* x (- 16 (* (* x x) (* x x)))) (* (- 2 x) (+ 4 (* x x))))) 1554049995.143 * * * * [progress]: [ 32 / 87 ] simplifiying candidate #real (real->posit16 (/ (* (- 4 (* x x)) x) (- 2 x)))))> 1554049995.143 * * * * [progress]: [ 33 / 87 ] simplifiying candidate # 1554049995.143 * * * * [progress]: [ 34 / 87 ] simplifiying candidate # 1554049995.143 * * * * [progress]: [ 35 / 87 ] simplifiying candidate # 1554049995.143 * [simplify]: Simplifying (* (- 4 (* x x)) x) 1554049995.143 * * [simplify]: iters left: 6 (5 enodes) 1554049995.145 * * [simplify]: iters left: 5 (18 enodes) 1554049995.148 * * [simplify]: iters left: 4 (30 enodes) 1554049995.153 * * [simplify]: iters left: 3 (50 enodes) 1554049995.159 * * [simplify]: iters left: 2 (59 enodes) 1554049995.167 * * [simplify]: iters left: 1 (66 enodes) 1554049995.175 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.175 * * [simplify]: Extracting #1: cost 11 inf + 0 1554049995.175 * * [simplify]: Extracting #2: cost 13 inf + 367 1554049995.176 * * [simplify]: Extracting #3: cost 4 inf + 1335 1554049995.176 * * [simplify]: Extracting #4: cost 4 inf + 1226 1554049995.176 * * [simplify]: Extracting #5: cost 0 inf + 1863 1554049995.177 * [simplify]: Simplified to (* (- 4 (* x x)) x) 1554049995.177 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (pow (* (- 4 (* x x)) x) 1) (- 2 x))) 1554049995.177 * * * * [progress]: [ 36 / 87 ] simplifiying candidate # 1554049995.177 * * * * [progress]: [ 37 / 87 ] simplifiying candidate # 1554049995.177 * [simplify]: Simplifying (+ (log (- 4 (* x x))) (log x)) 1554049995.177 * * [simplify]: iters left: 6 (7 enodes) 1554049995.179 * * [simplify]: iters left: 5 (24 enodes) 1554049995.182 * * [simplify]: iters left: 4 (30 enodes) 1554049995.186 * * [simplify]: iters left: 3 (34 enodes) 1554049995.190 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.190 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049995.190 * * [simplify]: Extracting #2: cost 8 inf + 0 1554049995.190 * * [simplify]: Extracting #3: cost 11 inf + 72 1554049995.191 * * [simplify]: Extracting #4: cost 9 inf + 307 1554049995.191 * * [simplify]: Extracting #5: cost 4 inf + 634 1554049995.191 * * [simplify]: Extracting #6: cost 1 inf + 1200 1554049995.191 * * [simplify]: Extracting #7: cost 0 inf + 1462 1554049995.191 * [simplify]: Simplified to (+ (log x) (log (- 4 (* x x)))) 1554049995.191 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (exp (+ (log x) (log (- 4 (* x x))))) (- 2 x))) 1554049995.192 * * * * [progress]: [ 38 / 87 ] simplifiying candidate # 1554049995.192 * * * * [progress]: [ 39 / 87 ] simplifiying candidate # 1554049995.192 * * * * [progress]: [ 40 / 87 ] simplifiying candidate # 1554049995.192 * [simplify]: Simplifying (* (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* x x) x)) 1554049995.192 * * [simplify]: iters left: 6 (8 enodes) 1554049995.194 * * [simplify]: iters left: 5 (33 enodes) 1554049995.199 * * [simplify]: iters left: 4 (80 enodes) 1554049995.221 * * [simplify]: iters left: 3 (299 enodes) 1554049995.350 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.350 * * [simplify]: Extracting #1: cost 38 inf + 0 1554049995.351 * * [simplify]: Extracting #2: cost 216 inf + 2 1554049995.354 * * [simplify]: Extracting #3: cost 243 inf + 14435 1554049995.366 * * [simplify]: Extracting #4: cost 10 inf + 68030 1554049995.384 * * [simplify]: Extracting #5: cost 0 inf + 70581 1554049995.399 * [simplify]: Simplified to (* (* (- 4 (* x x)) (* (- 4 (* x x)) (- 4 (* x x)))) (* (* x x) x)) 1554049995.399 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (cbrt (* (* (- 4 (* x x)) (* (- 4 (* x x)) (- 4 (* x x)))) (* (* x x) x))) (- 2 x))) 1554049995.399 * * * * [progress]: [ 41 / 87 ] simplifiying candidate # 1554049995.400 * * * * [progress]: [ 42 / 87 ] simplifiying candidate # 1554049995.400 * * * * [progress]: [ 43 / 87 ] simplifiying candidate # 1554049995.400 * * * * [progress]: [ 44 / 87 ] simplifiying candidate # 1554049995.400 * * * * [progress]: [ 45 / 87 ] simplifiying candidate # 1554049995.400 * [simplify]: Simplifying (* (sqrt (- 4 (* x x))) (sqrt x)) 1554049995.400 * * [simplify]: iters left: 6 (7 enodes) 1554049995.402 * * [simplify]: iters left: 5 (24 enodes) 1554049995.405 * * [simplify]: iters left: 4 (30 enodes) 1554049995.409 * * [simplify]: iters left: 3 (34 enodes) 1554049995.413 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.413 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049995.413 * * [simplify]: Extracting #2: cost 8 inf + 0 1554049995.413 * * [simplify]: Extracting #3: cost 11 inf + 42 1554049995.413 * * [simplify]: Extracting #4: cost 9 inf + 247 1554049995.413 * * [simplify]: Extracting #5: cost 4 inf + 574 1554049995.414 * * [simplify]: Extracting #6: cost 1 inf + 1020 1554049995.414 * * [simplify]: Extracting #7: cost 0 inf + 1222 1554049995.414 * [simplify]: Simplified to (* (sqrt (- 4 (* x x))) (sqrt x)) 1554049995.414 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (* (* (sqrt (- 4 (* x x))) (sqrt x)) (* (sqrt (- 4 (* x x))) (sqrt x))) (- 2 x))) 1554049995.414 * [simplify]: Simplifying (* (sqrt (- 4 (* x x))) (sqrt x)) 1554049995.414 * * [simplify]: iters left: 6 (7 enodes) 1554049995.416 * * [simplify]: iters left: 5 (24 enodes) 1554049995.419 * * [simplify]: iters left: 4 (30 enodes) 1554049995.424 * * [simplify]: iters left: 3 (34 enodes) 1554049995.428 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.428 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049995.428 * * [simplify]: Extracting #2: cost 8 inf + 0 1554049995.428 * * [simplify]: Extracting #3: cost 11 inf + 42 1554049995.428 * * [simplify]: Extracting #4: cost 9 inf + 247 1554049995.428 * * [simplify]: Extracting #5: cost 4 inf + 574 1554049995.428 * * [simplify]: Extracting #6: cost 1 inf + 1020 1554049995.429 * * [simplify]: Extracting #7: cost 0 inf + 1222 1554049995.429 * [simplify]: Simplified to (* (sqrt (- 4 (* x x))) (sqrt x)) 1554049995.429 * [simplify]: Simplified (2 1 2) to (λ (x) (/ (* (* (sqrt (- 4 (* x x))) (sqrt x)) (* (sqrt (- 4 (* x x))) (sqrt x))) (- 2 x))) 1554049995.429 * * * * [progress]: [ 46 / 87 ] simplifiying candidate # 1554049995.429 * [simplify]: Simplifying (cbrt x) 1554049995.429 * * [simplify]: iters left: 1 (2 enodes) 1554049995.430 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.430 * * [simplify]: Extracting #1: cost 3 inf + 0 1554049995.430 * * [simplify]: Extracting #2: cost 2 inf + 1 1554049995.430 * * [simplify]: Extracting #3: cost 0 inf + 163 1554049995.430 * [simplify]: Simplified to (cbrt x) 1554049995.430 * [simplify]: Simplified (2 1 2) to (λ (x) (/ (* (* (- 4 (* x x)) (* (cbrt x) (cbrt x))) (cbrt x)) (- 2 x))) 1554049995.430 * * * * [progress]: [ 47 / 87 ] simplifiying candidate # 1554049995.430 * [simplify]: Simplifying (sqrt x) 1554049995.430 * * [simplify]: iters left: 1 (2 enodes) 1554049995.430 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.430 * * [simplify]: Extracting #1: cost 3 inf + 0 1554049995.430 * * [simplify]: Extracting #2: cost 2 inf + 1 1554049995.430 * * [simplify]: Extracting #3: cost 0 inf + 83 1554049995.431 * [simplify]: Simplified to (sqrt x) 1554049995.431 * [simplify]: Simplified (2 1 2) to (λ (x) (/ (* (* (- 4 (* x x)) (sqrt x)) (sqrt x)) (- 2 x))) 1554049995.431 * * * * [progress]: [ 48 / 87 ] simplifiying candidate # 1554049995.431 * * * * [progress]: [ 49 / 87 ] simplifiying candidate # 1554049995.431 * [simplify]: Simplifying (* (cbrt (- 4 (* x x))) (cbrt (- 4 (* x x)))) 1554049995.431 * * [simplify]: iters left: 6 (6 enodes) 1554049995.432 * * [simplify]: iters left: 5 (20 enodes) 1554049995.435 * * [simplify]: iters left: 4 (26 enodes) 1554049995.439 * * [simplify]: iters left: 3 (30 enodes) 1554049995.443 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.443 * * [simplify]: Extracting #1: cost 3 inf + 0 1554049995.443 * * [simplify]: Extracting #2: cost 5 inf + 0 1554049995.443 * * [simplify]: Extracting #3: cost 11 inf + 0 1554049995.443 * * [simplify]: Extracting #4: cost 11 inf + 43 1554049995.443 * * [simplify]: Extracting #5: cost 5 inf + 410 1554049995.443 * * [simplify]: Extracting #6: cost 1 inf + 1018 1554049995.443 * * [simplify]: Extracting #7: cost 0 inf + 1220 1554049995.444 * [simplify]: Simplified to (* (cbrt (- 4 (* x x))) (cbrt (- 4 (* x x)))) 1554049995.444 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (* (* (cbrt (- 4 (* x x))) (cbrt (- 4 (* x x)))) (* (cbrt (- 4 (* x x))) x)) (- 2 x))) 1554049995.444 * * * * [progress]: [ 50 / 87 ] simplifiying candidate # 1554049995.445 * [simplify]: Simplifying (sqrt (- 4 (* x x))) 1554049995.445 * * [simplify]: iters left: 5 (5 enodes) 1554049995.446 * * [simplify]: iters left: 4 (17 enodes) 1554049995.449 * * [simplify]: iters left: 3 (23 enodes) 1554049995.452 * * [simplify]: iters left: 2 (27 enodes) 1554049995.455 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.455 * * [simplify]: Extracting #1: cost 3 inf + 0 1554049995.455 * * [simplify]: Extracting #2: cost 9 inf + 0 1554049995.455 * * [simplify]: Extracting #3: cost 7 inf + 165 1554049995.455 * * [simplify]: Extracting #4: cost 0 inf + 736 1554049995.455 * [simplify]: Simplified to (sqrt (- 4 (* x x))) 1554049995.455 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (* (sqrt (- 4 (* x x))) (* (sqrt (- 4 (* x x))) x)) (- 2 x))) 1554049995.456 * * * * [progress]: [ 51 / 87 ] simplifiying candidate # 1554049995.456 * * * * [progress]: [ 52 / 87 ] simplifiying candidate # 1554049995.456 * [simplify]: Simplifying (+ (sqrt 4) x) 1554049995.456 * * [simplify]: iters left: 3 (4 enodes) 1554049995.457 * * [simplify]: iters left: 2 (14 enodes) 1554049995.459 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.459 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049995.459 * * [simplify]: Extracting #2: cost 2 inf + 2 1554049995.459 * * [simplify]: Extracting #3: cost 0 inf + 86 1554049995.459 * [simplify]: Simplified to (+ 2 x) 1554049995.459 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (* (+ 2 x) (* (- (sqrt 4) x) x)) (- 2 x))) 1554049995.459 * * * * [progress]: [ 53 / 87 ] simplifiying candidate # 1554049995.460 * [simplify]: Simplifying (* (- (pow 4 3) (pow (* x x) 3)) x) 1554049995.460 * * [simplify]: iters left: 6 (8 enodes) 1554049995.463 * * [simplify]: iters left: 5 (44 enodes) 1554049995.473 * * [simplify]: iters left: 4 (106 enodes) 1554049995.500 * * [simplify]: iters left: 3 (265 enodes) 1554049995.578 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.578 * * [simplify]: Extracting #1: cost 22 inf + 0 1554049995.578 * * [simplify]: Extracting #2: cost 98 inf + 2 1554049995.579 * * [simplify]: Extracting #3: cost 109 inf + 2440 1554049995.581 * * [simplify]: Extracting #4: cost 67 inf + 10866 1554049995.584 * * [simplify]: Extracting #5: cost 8 inf + 31717 1554049995.588 * * [simplify]: Extracting #6: cost 0 inf + 35228 1554049995.592 * [simplify]: Simplified to (* x (- 64 (* (* x (* x x)) (* x (* x x))))) 1554049995.592 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (/ (* x (- 64 (* (* x (* x x)) (* x (* x x))))) (+ (* 4 4) (+ (* (* x x) (* x x)) (* 4 (* x x))))) (- 2 x))) 1554049995.592 * * * * [progress]: [ 54 / 87 ] simplifiying candidate # 1554049995.592 * [simplify]: Simplifying (* (- (* 4 4) (* (* x x) (* x x))) x) 1554049995.592 * * [simplify]: iters left: 6 (7 enodes) 1554049995.595 * * [simplify]: iters left: 5 (33 enodes) 1554049995.600 * * [simplify]: iters left: 4 (60 enodes) 1554049995.610 * * [simplify]: iters left: 3 (129 enodes) 1554049995.644 * * [simplify]: iters left: 2 (358 enodes) 1554049995.748 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.749 * * [simplify]: Extracting #1: cost 41 inf + 0 1554049995.749 * * [simplify]: Extracting #2: cost 124 inf + 1008 1554049995.753 * * [simplify]: Extracting #3: cost 64 inf + 12248 1554049995.757 * * [simplify]: Extracting #4: cost 33 inf + 17895 1554049995.763 * * [simplify]: Extracting #5: cost 4 inf + 25889 1554049995.768 * * [simplify]: Extracting #6: cost 0 inf + 27164 1554049995.774 * [simplify]: Simplified to (* x (- 16 (* (* x x) (* x x)))) 1554049995.774 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (/ (* x (- 16 (* (* x x) (* x x)))) (+ 4 (* x x))) (- 2 x))) 1554049995.774 * * * * [progress]: [ 55 / 87 ] simplifiying candidate #real (real->posit16 (* (- 4 (* x x)) x))) (- 2 x)))> 1554049995.774 * * * * [progress]: [ 56 / 87 ] simplifiying candidate # 1554049995.774 * * * * [progress]: [ 57 / 87 ] simplifiying candidate # 1554049995.774 * [simplify]: Simplifying (fma (* (cbrt 4) (cbrt 4)) (cbrt 4) (- (* x x))) 1554049995.774 * * [simplify]: iters left: 5 (7 enodes) 1554049995.776 * * [simplify]: iters left: 4 (26 enodes) 1554049995.780 * * [simplify]: iters left: 3 (33 enodes) 1554049995.785 * * [simplify]: iters left: 2 (38 enodes) 1554049995.791 * * [simplify]: iters left: 1 (42 enodes) 1554049995.796 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.796 * * [simplify]: Extracting #1: cost 9 inf + 0 1554049995.796 * * [simplify]: Extracting #2: cost 9 inf + 165 1554049995.796 * * [simplify]: Extracting #3: cost 3 inf + 573 1554049995.796 * * [simplify]: Extracting #4: cost 0 inf + 896 1554049995.796 * [simplify]: Simplified to (- 4 (* x x)) 1554049995.796 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/ (* (+ (- 4 (* x x)) (fma (- x) x (* x x))) x) (- 2 x))) 1554049995.797 * [simplify]: Simplifying (fma (- x) x (* x x)) 1554049995.797 * * [simplify]: iters left: 3 (4 enodes) 1554049995.797 * * [simplify]: iters left: 2 (14 enodes) 1554049995.799 * * [simplify]: iters left: 1 (21 enodes) 1554049995.802 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.802 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049995.802 * * [simplify]: Extracting #2: cost 10 inf + 1 1554049995.803 * * [simplify]: Extracting #3: cost 1 inf + 570 1554049995.803 * * [simplify]: Extracting #4: cost 0 inf + 651 1554049995.803 * [simplify]: Simplified to (- (* x x) (* x x)) 1554049995.803 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/ (* (+ (- 4 (* x x)) (- (* x x) (* x x))) x) (- 2 x))) 1554049995.803 * * * * [progress]: [ 58 / 87 ] simplifiying candidate # 1554049995.803 * [simplify]: Simplifying (fma (sqrt 4) (sqrt 4) (- (* x x))) 1554049995.803 * * [simplify]: iters left: 5 (6 enodes) 1554049995.805 * * [simplify]: iters left: 4 (24 enodes) 1554049995.810 * * [simplify]: iters left: 3 (34 enodes) 1554049995.814 * * [simplify]: iters left: 2 (36 enodes) 1554049995.819 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.819 * * [simplify]: Extracting #1: cost 8 inf + 0 1554049995.819 * * [simplify]: Extracting #2: cost 6 inf + 85 1554049995.819 * * [simplify]: Extracting #3: cost 2 inf + 330 1554049995.819 * * [simplify]: Extracting #4: cost 0 inf + 493 1554049995.819 * [simplify]: Simplified to (- 4 (* x x)) 1554049995.819 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/ (* (+ (- 4 (* x x)) (fma (- x) x (* x x))) x) (- 2 x))) 1554049995.820 * [simplify]: Simplifying (fma (- x) x (* x x)) 1554049995.820 * * [simplify]: iters left: 3 (4 enodes) 1554049995.820 * * [simplify]: iters left: 2 (14 enodes) 1554049995.822 * * [simplify]: iters left: 1 (21 enodes) 1554049995.825 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.825 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049995.825 * * [simplify]: Extracting #2: cost 10 inf + 1 1554049995.825 * * [simplify]: Extracting #3: cost 1 inf + 570 1554049995.826 * * [simplify]: Extracting #4: cost 0 inf + 651 1554049995.826 * [simplify]: Simplified to (- (* x x) (* x x)) 1554049995.826 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/ (* (+ (- 4 (* x x)) (- (* x x) (* x x))) x) (- 2 x))) 1554049995.826 * * * * [progress]: [ 59 / 87 ] simplifiying candidate # 1554049995.826 * [simplify]: Simplifying (fma 1 4 (- (* x x))) 1554049995.826 * * [simplify]: iters left: 5 (6 enodes) 1554049995.828 * * [simplify]: iters left: 4 (25 enodes) 1554049995.832 * * [simplify]: iters left: 3 (29 enodes) 1554049995.836 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.836 * * [simplify]: Extracting #1: cost 5 inf + 0 1554049995.836 * * [simplify]: Extracting #2: cost 7 inf + 2 1554049995.836 * * [simplify]: Extracting #3: cost 6 inf + 85 1554049995.836 * * [simplify]: Extracting #4: cost 2 inf + 370 1554049995.837 * * [simplify]: Extracting #5: cost 0 inf + 573 1554049995.837 * [simplify]: Simplified to (+ 4 (* x (- x))) 1554049995.837 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/ (* (+ (+ 4 (* x (- x))) (fma (- x) x (* x x))) x) (- 2 x))) 1554049995.837 * [simplify]: Simplifying (fma (- x) x (* x x)) 1554049995.837 * * [simplify]: iters left: 3 (4 enodes) 1554049995.838 * * [simplify]: iters left: 2 (14 enodes) 1554049995.840 * * [simplify]: iters left: 1 (21 enodes) 1554049995.843 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.843 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049995.843 * * [simplify]: Extracting #2: cost 10 inf + 1 1554049995.843 * * [simplify]: Extracting #3: cost 1 inf + 570 1554049995.843 * * [simplify]: Extracting #4: cost 0 inf + 651 1554049995.843 * [simplify]: Simplified to (- (* x x) (* x x)) 1554049995.843 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/ (* (+ (+ 4 (* x (- x))) (- (* x x) (* x x))) x) (- 2 x))) 1554049995.843 * * * * [progress]: [ 60 / 87 ] simplifiying candidate # 1554049995.844 * * * * [progress]: [ 61 / 87 ] simplifiying candidate # 1554049995.844 * * * * [progress]: [ 62 / 87 ] simplifiying candidate # 1554049995.844 * [simplify]: Simplifying (* (cbrt 4) (cbrt 4)) 1554049995.844 * * [simplify]: iters left: 3 (3 enodes) 1554049995.845 * * [simplify]: iters left: 2 (9 enodes) 1554049995.846 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.847 * * [simplify]: Extracting #1: cost 3 inf + 0 1554049995.847 * * [simplify]: Extracting #2: cost 5 inf + 0 1554049995.847 * * [simplify]: Extracting #3: cost 4 inf + 1 1554049995.847 * * [simplify]: Extracting #4: cost 0 inf + 405 1554049995.847 * [simplify]: Simplified to (* (cbrt 4) (cbrt 4)) 1554049995.847 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/ (* (fma (* (cbrt 4) (cbrt 4)) (cbrt 4) (- (* x x))) x) (- 2 x))) 1554049995.847 * * * * [progress]: [ 63 / 87 ] simplifiying candidate # 1554049995.847 * [simplify]: Simplifying (sqrt 4) 1554049995.847 * * [simplify]: iters left: 1 (2 enodes) 1554049995.848 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.848 * * [simplify]: Extracting #1: cost 0 inf + 1 1554049995.848 * [simplify]: Simplified to 2 1554049995.848 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/ (* (fma 2 (sqrt 4) (- (* x x))) x) (- 2 x))) 1554049995.848 * * * * [progress]: [ 64 / 87 ] simplifiying candidate # 1554049995.848 * * * * [progress]: [ 65 / 87 ] simplifiying candidate # 1554049995.848 * [simplify]: Simplifying (/ (exp 4) (exp (* x x))) 1554049995.848 * * [simplify]: iters left: 5 (6 enodes) 1554049995.850 * * [simplify]: iters left: 4 (22 enodes) 1554049995.853 * * [simplify]: iters left: 3 (32 enodes) 1554049995.858 * * [simplify]: iters left: 2 (53 enodes) 1554049995.867 * * [simplify]: iters left: 1 (92 enodes) 1554049995.882 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.882 * * [simplify]: Extracting #1: cost 14 inf + 0 1554049995.882 * * [simplify]: Extracting #2: cost 51 inf + 0 1554049995.882 * * [simplify]: Extracting #3: cost 55 inf + 836 1554049995.882 * * [simplify]: Extracting #4: cost 37 inf + 5202 1554049995.884 * * [simplify]: Extracting #5: cost 12 inf + 12192 1554049995.885 * * [simplify]: Extracting #6: cost 1 inf + 14670 1554049995.888 * * [simplify]: Extracting #7: cost 0 inf + 14833 1554049995.890 * [simplify]: Simplified to (exp (- 4 (* x x))) 1554049995.890 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/ (* (log (exp (- 4 (* x x)))) x) (- 2 x))) 1554049995.890 * * * * [progress]: [ 66 / 87 ] simplifiying candidate # 1554049995.890 * * * * [progress]: [ 67 / 87 ] simplifiying candidate # 1554049995.890 * * * * [progress]: [ 68 / 87 ] simplifiying candidate # 1554049995.890 * * * * [progress]: [ 69 / 87 ] simplifiying candidate # 1554049995.890 * * * * [progress]: [ 70 / 87 ] simplifiying candidate # 1554049995.890 * * * * [progress]: [ 71 / 87 ] simplifiying candidate # 1554049995.890 * * * * [progress]: [ 72 / 87 ] simplifiying candidate # 1554049995.890 * * * * [progress]: [ 73 / 87 ] simplifiying candidate # 1554049995.890 * * * * [progress]: [ 74 / 87 ] simplifiying candidate # 1554049995.890 * * * * [progress]: [ 75 / 87 ] simplifiying candidate # 1554049995.890 * * * * [progress]: [ 76 / 87 ] simplifiying candidate # 1554049995.890 * [simplify]: Simplifying (+ (sqrt 4) x) 1554049995.890 * * [simplify]: iters left: 3 (4 enodes) 1554049995.892 * * [simplify]: iters left: 2 (14 enodes) 1554049995.894 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.894 * * [simplify]: Extracting #1: cost 4 inf + 0 1554049995.894 * * [simplify]: Extracting #2: cost 2 inf + 2 1554049995.894 * * [simplify]: Extracting #3: cost 0 inf + 86 1554049995.894 * [simplify]: Simplified to (+ 2 x) 1554049995.894 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/ (* (* (+ 2 x) (- (sqrt 4) x)) x) (- 2 x))) 1554049995.894 * [simplify]: Simplifying (- (sqrt 4) x) 1554049995.894 * * [simplify]: iters left: 3 (4 enodes) 1554049995.896 * * [simplify]: iters left: 2 (15 enodes) 1554049995.898 * * [simplify]: iters left: 1 (19 enodes) 1554049995.900 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.900 * * [simplify]: Extracting #1: cost 5 inf + 0 1554049995.900 * * [simplify]: Extracting #2: cost 4 inf + 2 1554049995.900 * * [simplify]: Extracting #3: cost 2 inf + 85 1554049995.900 * * [simplify]: Extracting #4: cost 0 inf + 168 1554049995.900 * [simplify]: Simplified to (- 2 x) 1554049995.900 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/ (* (* (+ (sqrt 4) x) (- 2 x)) x) (- 2 x))) 1554049995.900 * * * * [progress]: [ 77 / 87 ] simplifiying candidate # 1554049995.901 * * * * [progress]: [ 78 / 87 ] simplifiying candidate #real (real->posit16 (- 4 (* x x)))) x) (- 2 x)))> 1554049995.901 * * * * [progress]: [ 79 / 87 ] simplifiying candidate # 1554049995.901 * [simplify]: Simplifying (+ (* 2 x) (pow x 2)) 1554049995.901 * * [simplify]: iters left: 4 (5 enodes) 1554049995.902 * * [simplify]: iters left: 3 (23 enodes) 1554049995.906 * * [simplify]: iters left: 2 (34 enodes) 1554049995.910 * * [simplify]: iters left: 1 (41 enodes) 1554049995.915 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.915 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049995.915 * * [simplify]: Extracting #2: cost 7 inf + 43 1554049995.915 * * [simplify]: Extracting #3: cost 1 inf + 404 1554049995.915 * * [simplify]: Extracting #4: cost 0 inf + 416 1554049995.915 * [simplify]: Simplified to (* (+ x 2) x) 1554049995.915 * [simplify]: Simplified (2) to (λ (x) (* (+ x 2) x)) 1554049995.915 * * * * [progress]: [ 80 / 87 ] simplifiying candidate # 1554049995.915 * [simplify]: Simplifying (+ (* 2 x) (pow x 2)) 1554049995.915 * * [simplify]: iters left: 4 (5 enodes) 1554049995.917 * * [simplify]: iters left: 3 (23 enodes) 1554049995.920 * * [simplify]: iters left: 2 (34 enodes) 1554049995.925 * * [simplify]: iters left: 1 (41 enodes) 1554049995.930 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.930 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049995.930 * * [simplify]: Extracting #2: cost 7 inf + 43 1554049995.930 * * [simplify]: Extracting #3: cost 1 inf + 404 1554049995.930 * * [simplify]: Extracting #4: cost 0 inf + 416 1554049995.930 * [simplify]: Simplified to (* (+ x 2) x) 1554049995.930 * [simplify]: Simplified (2) to (λ (x) (* (+ x 2) x)) 1554049995.930 * * * * [progress]: [ 81 / 87 ] simplifiying candidate # 1554049995.930 * [simplify]: Simplifying (+ (* 2 x) (pow x 2)) 1554049995.930 * * [simplify]: iters left: 4 (5 enodes) 1554049995.932 * * [simplify]: iters left: 3 (23 enodes) 1554049995.935 * * [simplify]: iters left: 2 (34 enodes) 1554049995.940 * * [simplify]: iters left: 1 (41 enodes) 1554049995.945 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.945 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049995.945 * * [simplify]: Extracting #2: cost 7 inf + 43 1554049995.945 * * [simplify]: Extracting #3: cost 1 inf + 404 1554049995.945 * * [simplify]: Extracting #4: cost 0 inf + 416 1554049995.945 * [simplify]: Simplified to (* (+ x 2) x) 1554049995.945 * [simplify]: Simplified (2) to (λ (x) (* (+ x 2) x)) 1554049995.945 * * * * [progress]: [ 82 / 87 ] simplifiying candidate # 1554049995.945 * [simplify]: Simplifying (- (* 4 x) (pow x 3)) 1554049995.945 * * [simplify]: iters left: 4 (6 enodes) 1554049995.947 * * [simplify]: iters left: 3 (30 enodes) 1554049995.953 * * [simplify]: iters left: 2 (61 enodes) 1554049995.967 * * [simplify]: iters left: 1 (116 enodes) 1554049995.987 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049995.987 * * [simplify]: Extracting #1: cost 15 inf + 0 1554049995.987 * * [simplify]: Extracting #2: cost 38 inf + 2 1554049995.987 * * [simplify]: Extracting #3: cost 28 inf + 1325 1554049995.988 * * [simplify]: Extracting #4: cost 16 inf + 3899 1554049995.989 * * [simplify]: Extracting #5: cost 0 inf + 9597 1554049995.989 * [simplify]: Simplified to (* (- 4 (* x x)) x) 1554049995.990 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (- 4 (* x x)) x) (- 2 x))) 1554049995.990 * * * * [progress]: [ 83 / 87 ] simplifiying candidate # 1554049995.990 * [simplify]: Simplifying (- (* 4 x) (pow x 3)) 1554049995.990 * * [simplify]: iters left: 4 (6 enodes) 1554049995.992 * * [simplify]: iters left: 3 (30 enodes) 1554049995.998 * * [simplify]: iters left: 2 (61 enodes) 1554049996.010 * * [simplify]: iters left: 1 (116 enodes) 1554049996.032 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049996.032 * * [simplify]: Extracting #1: cost 15 inf + 0 1554049996.032 * * [simplify]: Extracting #2: cost 38 inf + 2 1554049996.033 * * [simplify]: Extracting #3: cost 28 inf + 1325 1554049996.033 * * [simplify]: Extracting #4: cost 16 inf + 3899 1554049996.034 * * [simplify]: Extracting #5: cost 0 inf + 9597 1554049996.035 * [simplify]: Simplified to (* (- 4 (* x x)) x) 1554049996.035 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (- 4 (* x x)) x) (- 2 x))) 1554049996.035 * * * * [progress]: [ 84 / 87 ] simplifiying candidate # 1554049996.035 * [simplify]: Simplifying (- (* 4 x) (pow x 3)) 1554049996.035 * * [simplify]: iters left: 4 (6 enodes) 1554049996.037 * * [simplify]: iters left: 3 (30 enodes) 1554049996.044 * * [simplify]: iters left: 2 (61 enodes) 1554049996.056 * * [simplify]: iters left: 1 (116 enodes) 1554049996.077 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049996.077 * * [simplify]: Extracting #1: cost 15 inf + 0 1554049996.077 * * [simplify]: Extracting #2: cost 38 inf + 2 1554049996.077 * * [simplify]: Extracting #3: cost 28 inf + 1325 1554049996.078 * * [simplify]: Extracting #4: cost 16 inf + 3899 1554049996.079 * * [simplify]: Extracting #5: cost 0 inf + 9597 1554049996.080 * [simplify]: Simplified to (* (- 4 (* x x)) x) 1554049996.080 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (- 4 (* x x)) x) (- 2 x))) 1554049996.080 * * * * [progress]: [ 85 / 87 ] simplifiying candidate # 1554049996.080 * [simplify]: Simplifying (- 4 (pow x 2)) 1554049996.080 * * [simplify]: iters left: 3 (5 enodes) 1554049996.082 * * [simplify]: iters left: 2 (22 enodes) 1554049996.085 * * [simplify]: iters left: 1 (32 enodes) 1554049996.090 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049996.090 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049996.090 * * [simplify]: Extracting #2: cost 6 inf + 165 1554049996.090 * * [simplify]: Extracting #3: cost 1 inf + 411 1554049996.090 * * [simplify]: Extracting #4: cost 0 inf + 493 1554049996.090 * [simplify]: Simplified to (- 4 (* x x)) 1554049996.090 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (* (- 4 (* x x)) x) (- 2 x))) 1554049996.090 * * * * [progress]: [ 86 / 87 ] simplifiying candidate # 1554049996.090 * [simplify]: Simplifying (- 4 (pow x 2)) 1554049996.090 * * [simplify]: iters left: 3 (5 enodes) 1554049996.092 * * [simplify]: iters left: 2 (22 enodes) 1554049996.097 * * [simplify]: iters left: 1 (32 enodes) 1554049996.101 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049996.101 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049996.101 * * [simplify]: Extracting #2: cost 6 inf + 165 1554049996.101 * * [simplify]: Extracting #3: cost 1 inf + 411 1554049996.102 * * [simplify]: Extracting #4: cost 0 inf + 493 1554049996.102 * [simplify]: Simplified to (- 4 (* x x)) 1554049996.102 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (* (- 4 (* x x)) x) (- 2 x))) 1554049996.102 * * * * [progress]: [ 87 / 87 ] simplifiying candidate # 1554049996.102 * [simplify]: Simplifying (- 4 (pow x 2)) 1554049996.102 * * [simplify]: iters left: 3 (5 enodes) 1554049996.104 * * [simplify]: iters left: 2 (22 enodes) 1554049996.107 * * [simplify]: iters left: 1 (32 enodes) 1554049996.112 * * [simplify]: Extracting #0: cost 1 inf + 0 1554049996.112 * * [simplify]: Extracting #1: cost 7 inf + 0 1554049996.112 * * [simplify]: Extracting #2: cost 6 inf + 165 1554049996.112 * * [simplify]: Extracting #3: cost 1 inf + 411 1554049996.112 * * [simplify]: Extracting #4: cost 0 inf + 493 1554049996.112 * [simplify]: Simplified to (- 4 (* x x)) 1554049996.112 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (* (- 4 (* x x)) x) (- 2 x))) 1554049996.113 * * * [progress]: adding candidates to table 1554049996.470 * [progress]: [Phase 3 of 3] Extracting. 1554049996.471 * * [regime]: Finding splitpoints for: (# #) 1554049996.471 * * * [regime-changes]: Trying 1 branch expressions: (x) 1554049996.472 * * * * [regimes]: Trying to branch on x from (# #) 1554049996.487 * * * [regime]: Found split indices: #