1554046375.399 * [progress]: [Phase 1 of 3] Setting up. 1554046375.399 * * * [progress]: [1/2] Preparing points 1554046375.496 * * * [progress]: [2/2] Setting up program. 1554046375.498 * [progress]: [Phase 2 of 3] Improving. 1554046375.498 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1554046375.498 * [simplify]: Simplifying (log (+ x (sqrt (- (* x x) 1)))) 1554046375.498 * * [simplify]: iters left: 6 (7 enodes) 1554046375.501 * * [simplify]: iters left: 5 (31 enodes) 1554046375.506 * * [simplify]: iters left: 4 (43 enodes) 1554046375.538 * * [simplify]: iters left: 3 (59 enodes) 1554046375.563 * * [simplify]: iters left: 2 (102 enodes) 1554046375.587 * * [simplify]: iters left: 1 (158 enodes) 1554046375.625 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046375.626 * * [simplify]: Extracting #1: cost 3 inf + 0 1554046375.626 * * [simplify]: Extracting #2: cost 6 inf + 0 1554046375.626 * * [simplify]: Extracting #3: cost 7 inf + 1 1554046375.626 * * [simplify]: Extracting #4: cost 44 inf + 1 1554046375.626 * * [simplify]: Extracting #5: cost 54 inf + 597 1554046375.627 * * [simplify]: Extracting #6: cost 7 inf + 5133 1554046375.629 * * [simplify]: Extracting #7: cost 1 inf + 5758 1554046375.631 * * [simplify]: Extracting #8: cost 0 inf + 5920 1554046375.632 * [simplify]: Simplified to (log (+ x (sqrt (fma x x -1)))) 1554046375.632 * [simplify]: Simplified (2) to (λ (x) (log (+ x (sqrt (fma x x -1))))) 1554046375.637 * * [progress]: iteration 1 / 4 1554046375.638 * * * [progress]: picking best candidate 1554046375.640 * * * * [pick]: Picked # 1554046375.640 * * * [progress]: localizing error 1554046375.651 * * * [progress]: generating rewritten candidates 1554046375.651 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 1554046375.652 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1554046375.657 * * * [progress]: generating series expansions 1554046375.657 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 1554046375.657 * [backup-simplify]: Simplify (sqrt (fma x x -1)) into (sqrt (fma x x -1)) 1554046375.657 * [approximate]: Taking taylor expansion of (sqrt (fma x x -1)) in (x) around 0 1554046375.657 * [taylor]: Taking taylor expansion of (sqrt (fma x x -1)) in x 1554046375.657 * [taylor]: Taking taylor expansion of (fma x x -1) in x 1554046375.657 * [taylor]: Rewrote expression to (+ (* x x) -1) 1554046375.657 * [taylor]: Taking taylor expansion of (* x x) in x 1554046375.657 * [taylor]: Taking taylor expansion of x in x 1554046375.657 * [backup-simplify]: Simplify 0 into 0 1554046375.657 * [backup-simplify]: Simplify 1 into 1 1554046375.657 * [taylor]: Taking taylor expansion of x in x 1554046375.657 * [backup-simplify]: Simplify 0 into 0 1554046375.657 * [backup-simplify]: Simplify 1 into 1 1554046375.657 * [taylor]: Taking taylor expansion of -1 in x 1554046375.657 * [backup-simplify]: Simplify -1 into -1 1554046375.658 * [backup-simplify]: Simplify (* 0 0) into 0 1554046375.658 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554046375.659 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1554046375.659 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 1554046375.660 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.660 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1554046375.660 * [taylor]: Taking taylor expansion of (sqrt (fma x x -1)) in x 1554046375.660 * [taylor]: Taking taylor expansion of (fma x x -1) in x 1554046375.660 * [taylor]: Rewrote expression to (+ (* x x) -1) 1554046375.660 * [taylor]: Taking taylor expansion of (* x x) in x 1554046375.661 * [taylor]: Taking taylor expansion of x in x 1554046375.661 * [backup-simplify]: Simplify 0 into 0 1554046375.661 * [backup-simplify]: Simplify 1 into 1 1554046375.661 * [taylor]: Taking taylor expansion of x in x 1554046375.661 * [backup-simplify]: Simplify 0 into 0 1554046375.661 * [backup-simplify]: Simplify 1 into 1 1554046375.661 * [taylor]: Taking taylor expansion of -1 in x 1554046375.661 * [backup-simplify]: Simplify -1 into -1 1554046375.661 * [backup-simplify]: Simplify (* 0 0) into 0 1554046375.661 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554046375.662 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1554046375.662 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 1554046375.663 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.663 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1554046375.664 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1554046375.664 * [backup-simplify]: Simplify 0 into 0 1554046375.665 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1554046375.665 * [backup-simplify]: Simplify (+ 1 0) into 1 1554046375.668 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1554046375.669 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1554046375.670 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1554046375.670 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.672 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1554046375.672 * [backup-simplify]: Simplify 0 into 0 1554046375.673 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1554046375.673 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.677 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1)) 1554046375.678 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1)) 1554046375.681 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow x 4)) (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (sqrt -1))) into (+ (* 1/8 (/ (pow x 4) (sqrt -1))) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 1554046375.681 * [backup-simplify]: Simplify (sqrt (fma (/ 1 x) (/ 1 x) -1)) into (sqrt (fma (/ 1 x) (/ 1 x) -1)) 1554046375.681 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0 1554046375.681 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) -1)) in x 1554046375.681 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1554046375.681 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1554046375.681 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1554046375.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046375.681 * [taylor]: Taking taylor expansion of x in x 1554046375.681 * [backup-simplify]: Simplify 0 into 0 1554046375.681 * [backup-simplify]: Simplify 1 into 1 1554046375.681 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046375.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046375.681 * [taylor]: Taking taylor expansion of x in x 1554046375.682 * [backup-simplify]: Simplify 0 into 0 1554046375.682 * [backup-simplify]: Simplify 1 into 1 1554046375.682 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046375.682 * [taylor]: Taking taylor expansion of -1 in x 1554046375.682 * [backup-simplify]: Simplify -1 into -1 1554046375.682 * [backup-simplify]: Simplify (* 1 1) into 1 1554046375.683 * [backup-simplify]: Simplify (+ 1 0) into 1 1554046375.683 * [backup-simplify]: Simplify (sqrt 1) into 1 1554046375.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554046375.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554046375.685 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554046375.685 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.686 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554046375.686 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) -1)) in x 1554046375.686 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1554046375.686 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1554046375.686 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1554046375.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046375.686 * [taylor]: Taking taylor expansion of x in x 1554046375.686 * [backup-simplify]: Simplify 0 into 0 1554046375.686 * [backup-simplify]: Simplify 1 into 1 1554046375.687 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046375.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046375.687 * [taylor]: Taking taylor expansion of x in x 1554046375.687 * [backup-simplify]: Simplify 0 into 0 1554046375.687 * [backup-simplify]: Simplify 1 into 1 1554046375.687 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046375.687 * [taylor]: Taking taylor expansion of -1 in x 1554046375.687 * [backup-simplify]: Simplify -1 into -1 1554046375.688 * [backup-simplify]: Simplify (* 1 1) into 1 1554046375.688 * [backup-simplify]: Simplify (+ 1 0) into 1 1554046375.688 * [backup-simplify]: Simplify (sqrt 1) into 1 1554046375.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554046375.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554046375.690 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554046375.691 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.692 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554046375.692 * [backup-simplify]: Simplify 1 into 1 1554046375.692 * [backup-simplify]: Simplify 0 into 0 1554046375.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554046375.694 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554046375.695 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1554046375.695 * [backup-simplify]: Simplify -1/2 into -1/2 1554046375.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046375.697 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.697 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1554046375.697 * [backup-simplify]: Simplify 0 into 0 1554046375.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046375.699 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.703 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1554046375.703 * [backup-simplify]: Simplify -1/8 into -1/8 1554046375.703 * [backup-simplify]: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1554046375.703 * [backup-simplify]: Simplify (sqrt (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (sqrt (fma (/ -1 x) (/ -1 x) -1)) 1554046375.703 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0 1554046375.703 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) -1)) in x 1554046375.703 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1554046375.703 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1554046375.703 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1554046375.703 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554046375.703 * [taylor]: Taking taylor expansion of -1 in x 1554046375.704 * [backup-simplify]: Simplify -1 into -1 1554046375.704 * [taylor]: Taking taylor expansion of x in x 1554046375.704 * [backup-simplify]: Simplify 0 into 0 1554046375.704 * [backup-simplify]: Simplify 1 into 1 1554046375.704 * [backup-simplify]: Simplify (/ -1 1) into -1 1554046375.704 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554046375.704 * [taylor]: Taking taylor expansion of -1 in x 1554046375.704 * [backup-simplify]: Simplify -1 into -1 1554046375.704 * [taylor]: Taking taylor expansion of x in x 1554046375.704 * [backup-simplify]: Simplify 0 into 0 1554046375.704 * [backup-simplify]: Simplify 1 into 1 1554046375.704 * [backup-simplify]: Simplify (/ -1 1) into -1 1554046375.704 * [taylor]: Taking taylor expansion of -1 in x 1554046375.704 * [backup-simplify]: Simplify -1 into -1 1554046375.705 * [backup-simplify]: Simplify (* -1 -1) into 1 1554046375.705 * [backup-simplify]: Simplify (+ 1 0) into 1 1554046375.705 * [backup-simplify]: Simplify (sqrt 1) into 1 1554046375.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554046375.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554046375.706 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 1554046375.707 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.707 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554046375.707 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) -1)) in x 1554046375.707 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1554046375.707 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1554046375.707 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1554046375.707 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554046375.707 * [taylor]: Taking taylor expansion of -1 in x 1554046375.707 * [backup-simplify]: Simplify -1 into -1 1554046375.707 * [taylor]: Taking taylor expansion of x in x 1554046375.707 * [backup-simplify]: Simplify 0 into 0 1554046375.707 * [backup-simplify]: Simplify 1 into 1 1554046375.708 * [backup-simplify]: Simplify (/ -1 1) into -1 1554046375.708 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554046375.708 * [taylor]: Taking taylor expansion of -1 in x 1554046375.708 * [backup-simplify]: Simplify -1 into -1 1554046375.708 * [taylor]: Taking taylor expansion of x in x 1554046375.708 * [backup-simplify]: Simplify 0 into 0 1554046375.708 * [backup-simplify]: Simplify 1 into 1 1554046375.708 * [backup-simplify]: Simplify (/ -1 1) into -1 1554046375.708 * [taylor]: Taking taylor expansion of -1 in x 1554046375.708 * [backup-simplify]: Simplify -1 into -1 1554046375.708 * [backup-simplify]: Simplify (* -1 -1) into 1 1554046375.708 * [backup-simplify]: Simplify (+ 1 0) into 1 1554046375.709 * [backup-simplify]: Simplify (sqrt 1) into 1 1554046375.709 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554046375.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554046375.710 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 1554046375.710 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.711 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554046375.711 * [backup-simplify]: Simplify 1 into 1 1554046375.711 * [backup-simplify]: Simplify 0 into 0 1554046375.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.713 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 1554046375.713 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554046375.714 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1554046375.714 * [backup-simplify]: Simplify -1/2 into -1/2 1554046375.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.715 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1554046375.716 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.716 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1554046375.716 * [backup-simplify]: Simplify 0 into 0 1554046375.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.718 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1554046375.719 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.719 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1554046375.719 * [backup-simplify]: Simplify -1/8 into -1/8 1554046375.720 * [backup-simplify]: Simplify (+ (* -1/8 (pow (/ 1 (- x)) 3)) (+ (* -1/2 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x) 1554046375.720 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1554046375.720 * [backup-simplify]: Simplify (+ x (sqrt (fma x x -1))) into (+ x (sqrt (fma x x -1))) 1554046375.720 * [approximate]: Taking taylor expansion of (+ x (sqrt (fma x x -1))) in (x) around 0 1554046375.720 * [taylor]: Taking taylor expansion of (+ x (sqrt (fma x x -1))) in x 1554046375.720 * [taylor]: Taking taylor expansion of x in x 1554046375.720 * [backup-simplify]: Simplify 0 into 0 1554046375.720 * [backup-simplify]: Simplify 1 into 1 1554046375.720 * [taylor]: Taking taylor expansion of (sqrt (fma x x -1)) in x 1554046375.720 * [taylor]: Taking taylor expansion of (fma x x -1) in x 1554046375.720 * [taylor]: Rewrote expression to (+ (* x x) -1) 1554046375.720 * [taylor]: Taking taylor expansion of (* x x) in x 1554046375.720 * [taylor]: Taking taylor expansion of x in x 1554046375.720 * [backup-simplify]: Simplify 0 into 0 1554046375.720 * [backup-simplify]: Simplify 1 into 1 1554046375.720 * [taylor]: Taking taylor expansion of x in x 1554046375.720 * [backup-simplify]: Simplify 0 into 0 1554046375.720 * [backup-simplify]: Simplify 1 into 1 1554046375.720 * [taylor]: Taking taylor expansion of -1 in x 1554046375.720 * [backup-simplify]: Simplify -1 into -1 1554046375.721 * [backup-simplify]: Simplify (* 0 0) into 0 1554046375.721 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554046375.721 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1554046375.721 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 1554046375.722 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.722 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1554046375.722 * [taylor]: Taking taylor expansion of (+ x (sqrt (fma x x -1))) in x 1554046375.722 * [taylor]: Taking taylor expansion of x in x 1554046375.722 * [backup-simplify]: Simplify 0 into 0 1554046375.722 * [backup-simplify]: Simplify 1 into 1 1554046375.722 * [taylor]: Taking taylor expansion of (sqrt (fma x x -1)) in x 1554046375.722 * [taylor]: Taking taylor expansion of (fma x x -1) in x 1554046375.722 * [taylor]: Rewrote expression to (+ (* x x) -1) 1554046375.722 * [taylor]: Taking taylor expansion of (* x x) in x 1554046375.722 * [taylor]: Taking taylor expansion of x in x 1554046375.722 * [backup-simplify]: Simplify 0 into 0 1554046375.722 * [backup-simplify]: Simplify 1 into 1 1554046375.722 * [taylor]: Taking taylor expansion of x in x 1554046375.722 * [backup-simplify]: Simplify 0 into 0 1554046375.722 * [backup-simplify]: Simplify 1 into 1 1554046375.722 * [taylor]: Taking taylor expansion of -1 in x 1554046375.722 * [backup-simplify]: Simplify -1 into -1 1554046375.723 * [backup-simplify]: Simplify (* 0 0) into 0 1554046375.723 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554046375.723 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1554046375.723 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 1554046375.724 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.724 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1554046375.725 * [backup-simplify]: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1554046375.725 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1554046375.725 * [backup-simplify]: Simplify (+ 1 0) into 1 1554046375.725 * [backup-simplify]: Simplify 1 into 1 1554046375.726 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1554046375.726 * [backup-simplify]: Simplify (+ 1 0) into 1 1554046375.728 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1554046375.728 * [backup-simplify]: Simplify (+ 0 (/ 1/2 (sqrt -1))) into (* 1/2 (/ 1 (sqrt -1))) 1554046375.729 * [backup-simplify]: Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1554046375.730 * [backup-simplify]: Simplify (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (+ (* 1 x) (sqrt -1))) into (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 1554046375.730 * [backup-simplify]: Simplify (+ (/ 1 x) (sqrt (fma (/ 1 x) (/ 1 x) -1))) into (+ (sqrt (fma (/ 1 x) (/ 1 x) -1)) (/ 1 x)) 1554046375.730 * [approximate]: Taking taylor expansion of (+ (sqrt (fma (/ 1 x) (/ 1 x) -1)) (/ 1 x)) in (x) around 0 1554046375.730 * [taylor]: Taking taylor expansion of (+ (sqrt (fma (/ 1 x) (/ 1 x) -1)) (/ 1 x)) in x 1554046375.731 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) -1)) in x 1554046375.731 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1554046375.731 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1554046375.731 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1554046375.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046375.731 * [taylor]: Taking taylor expansion of x in x 1554046375.731 * [backup-simplify]: Simplify 0 into 0 1554046375.731 * [backup-simplify]: Simplify 1 into 1 1554046375.731 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046375.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046375.731 * [taylor]: Taking taylor expansion of x in x 1554046375.731 * [backup-simplify]: Simplify 0 into 0 1554046375.731 * [backup-simplify]: Simplify 1 into 1 1554046375.731 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046375.731 * [taylor]: Taking taylor expansion of -1 in x 1554046375.731 * [backup-simplify]: Simplify -1 into -1 1554046375.731 * [backup-simplify]: Simplify (* 1 1) into 1 1554046375.732 * [backup-simplify]: Simplify (+ 1 0) into 1 1554046375.732 * [backup-simplify]: Simplify (sqrt 1) into 1 1554046375.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554046375.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554046375.733 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554046375.734 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.734 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554046375.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046375.734 * [taylor]: Taking taylor expansion of x in x 1554046375.734 * [backup-simplify]: Simplify 0 into 0 1554046375.734 * [backup-simplify]: Simplify 1 into 1 1554046375.734 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046375.734 * [taylor]: Taking taylor expansion of (+ (sqrt (fma (/ 1 x) (/ 1 x) -1)) (/ 1 x)) in x 1554046375.734 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) -1)) in x 1554046375.734 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1554046375.734 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1554046375.734 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1554046375.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046375.735 * [taylor]: Taking taylor expansion of x in x 1554046375.735 * [backup-simplify]: Simplify 0 into 0 1554046375.735 * [backup-simplify]: Simplify 1 into 1 1554046375.735 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046375.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046375.735 * [taylor]: Taking taylor expansion of x in x 1554046375.735 * [backup-simplify]: Simplify 0 into 0 1554046375.735 * [backup-simplify]: Simplify 1 into 1 1554046375.735 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046375.735 * [taylor]: Taking taylor expansion of -1 in x 1554046375.735 * [backup-simplify]: Simplify -1 into -1 1554046375.735 * [backup-simplify]: Simplify (* 1 1) into 1 1554046375.736 * [backup-simplify]: Simplify (+ 1 0) into 1 1554046375.736 * [backup-simplify]: Simplify (sqrt 1) into 1 1554046375.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554046375.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554046375.738 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554046375.738 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.738 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554046375.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046375.738 * [taylor]: Taking taylor expansion of x in x 1554046375.739 * [backup-simplify]: Simplify 0 into 0 1554046375.739 * [backup-simplify]: Simplify 1 into 1 1554046375.739 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046375.739 * [backup-simplify]: Simplify (+ 1 1) into 2 1554046375.739 * [backup-simplify]: Simplify 2 into 2 1554046375.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554046375.740 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.740 * [backup-simplify]: Simplify 0 into 0 1554046375.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554046375.742 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554046375.742 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1554046375.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.743 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 1554046375.743 * [backup-simplify]: Simplify -1/2 into -1/2 1554046375.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046375.745 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.746 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1554046375.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.748 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.748 * [backup-simplify]: Simplify 0 into 0 1554046375.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046375.751 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.753 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1554046375.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.754 * [backup-simplify]: Simplify (+ -1/8 0) into -1/8 1554046375.754 * [backup-simplify]: Simplify -1/8 into -1/8 1554046375.754 * [backup-simplify]: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 2 (/ 1 (/ 1 x))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1554046375.755 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (sqrt (fma (/ 1 (- x)) (/ 1 (- x)) -1))) into (- (sqrt (fma (/ -1 x) (/ -1 x) -1)) (/ 1 x)) 1554046375.755 * [approximate]: Taking taylor expansion of (- (sqrt (fma (/ -1 x) (/ -1 x) -1)) (/ 1 x)) in (x) around 0 1554046375.755 * [taylor]: Taking taylor expansion of (- (sqrt (fma (/ -1 x) (/ -1 x) -1)) (/ 1 x)) in x 1554046375.755 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) -1)) in x 1554046375.755 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1554046375.755 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1554046375.755 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1554046375.755 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554046375.755 * [taylor]: Taking taylor expansion of -1 in x 1554046375.755 * [backup-simplify]: Simplify -1 into -1 1554046375.755 * [taylor]: Taking taylor expansion of x in x 1554046375.755 * [backup-simplify]: Simplify 0 into 0 1554046375.755 * [backup-simplify]: Simplify 1 into 1 1554046375.755 * [backup-simplify]: Simplify (/ -1 1) into -1 1554046375.755 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554046375.755 * [taylor]: Taking taylor expansion of -1 in x 1554046375.755 * [backup-simplify]: Simplify -1 into -1 1554046375.755 * [taylor]: Taking taylor expansion of x in x 1554046375.756 * [backup-simplify]: Simplify 0 into 0 1554046375.756 * [backup-simplify]: Simplify 1 into 1 1554046375.756 * [backup-simplify]: Simplify (/ -1 1) into -1 1554046375.756 * [taylor]: Taking taylor expansion of -1 in x 1554046375.756 * [backup-simplify]: Simplify -1 into -1 1554046375.756 * [backup-simplify]: Simplify (* -1 -1) into 1 1554046375.757 * [backup-simplify]: Simplify (+ 1 0) into 1 1554046375.757 * [backup-simplify]: Simplify (sqrt 1) into 1 1554046375.758 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554046375.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554046375.759 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 1554046375.760 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.761 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554046375.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046375.761 * [taylor]: Taking taylor expansion of x in x 1554046375.761 * [backup-simplify]: Simplify 0 into 0 1554046375.761 * [backup-simplify]: Simplify 1 into 1 1554046375.761 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046375.761 * [taylor]: Taking taylor expansion of (- (sqrt (fma (/ -1 x) (/ -1 x) -1)) (/ 1 x)) in x 1554046375.761 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) -1)) in x 1554046375.761 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1554046375.761 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1554046375.761 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1554046375.761 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554046375.761 * [taylor]: Taking taylor expansion of -1 in x 1554046375.761 * [backup-simplify]: Simplify -1 into -1 1554046375.761 * [taylor]: Taking taylor expansion of x in x 1554046375.761 * [backup-simplify]: Simplify 0 into 0 1554046375.761 * [backup-simplify]: Simplify 1 into 1 1554046375.762 * [backup-simplify]: Simplify (/ -1 1) into -1 1554046375.762 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554046375.762 * [taylor]: Taking taylor expansion of -1 in x 1554046375.762 * [backup-simplify]: Simplify -1 into -1 1554046375.762 * [taylor]: Taking taylor expansion of x in x 1554046375.762 * [backup-simplify]: Simplify 0 into 0 1554046375.762 * [backup-simplify]: Simplify 1 into 1 1554046375.762 * [backup-simplify]: Simplify (/ -1 1) into -1 1554046375.762 * [taylor]: Taking taylor expansion of -1 in x 1554046375.763 * [backup-simplify]: Simplify -1 into -1 1554046375.763 * [backup-simplify]: Simplify (* -1 -1) into 1 1554046375.763 * [backup-simplify]: Simplify (+ 1 0) into 1 1554046375.764 * [backup-simplify]: Simplify (sqrt 1) into 1 1554046375.765 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554046375.765 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554046375.766 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 1554046375.766 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.767 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554046375.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046375.767 * [taylor]: Taking taylor expansion of x in x 1554046375.767 * [backup-simplify]: Simplify 0 into 0 1554046375.767 * [backup-simplify]: Simplify 1 into 1 1554046375.767 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046375.768 * [backup-simplify]: Simplify (- 1) into -1 1554046375.768 * [backup-simplify]: Simplify (+ 1 -1) into 0 1554046375.768 * [backup-simplify]: Simplify 0 into 0 1554046375.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554046375.769 * [backup-simplify]: Simplify (- 0) into 0 1554046375.770 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.770 * [backup-simplify]: Simplify 0 into 0 1554046375.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.772 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.773 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 1554046375.773 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554046375.774 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1554046375.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.776 * [backup-simplify]: Simplify (- 0) into 0 1554046375.776 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 1554046375.776 * [backup-simplify]: Simplify -1/2 into -1/2 1554046375.777 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.778 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.779 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1554046375.779 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.781 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1554046375.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.782 * [backup-simplify]: Simplify (- 0) into 0 1554046375.782 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.782 * [backup-simplify]: Simplify 0 into 0 1554046375.783 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.785 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.786 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1554046375.786 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.787 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1554046375.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.789 * [backup-simplify]: Simplify (- 0) into 0 1554046375.789 * [backup-simplify]: Simplify (+ -1/8 0) into -1/8 1554046375.789 * [backup-simplify]: Simplify -1/8 into -1/8 1554046375.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.793 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 1554046375.793 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.795 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/8)) (* 2 (* -1/2 0)))) (* 2 1)) into 0 1554046375.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.796 * [backup-simplify]: Simplify (- 0) into 0 1554046375.796 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.796 * [backup-simplify]: Simplify 0 into 0 1554046375.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.798 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.800 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 1554046375.800 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046375.802 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* -1/2 -1/8)))) (* 2 1)) into -1/16 1554046375.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046375.804 * [backup-simplify]: Simplify (- 0) into 0 1554046375.804 * [backup-simplify]: Simplify (+ -1/16 0) into -1/16 1554046375.804 * [backup-simplify]: Simplify -1/16 into -1/16 1554046375.805 * [backup-simplify]: Simplify (+ (* -1/16 (pow (/ 1 (- x)) 5)) (+ (* -1/8 (pow (/ 1 (- x)) 3)) (* -1/2 (/ 1 (- x))))) into (+ (* 1/16 (/ 1 (pow x 5))) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1554046375.805 * * * [progress]: simplifying candidates 1554046375.805 * * * * [progress]: [ 1 / 40 ] simplifiying candidate # 1554046375.805 * * * * [progress]: [ 2 / 40 ] simplifiying candidate # 1554046375.805 * * * * [progress]: [ 3 / 40 ] simplifiying candidate # 1554046375.805 * * * * [progress]: [ 4 / 40 ] simplifiying candidate # 1554046375.805 * * * * [progress]: [ 5 / 40 ] simplifiying candidate # 1554046375.805 * * * * [progress]: [ 6 / 40 ] simplifiying candidate # 1554046375.805 * * * * [progress]: [ 7 / 40 ] simplifiying candidate # 1554046375.805 * * * * [progress]: [ 8 / 40 ] simplifiying candidate # 1554046375.805 * * * * [progress]: [ 9 / 40 ] simplifiying candidate # 1554046375.806 * [simplify]: Simplifying (sqrt (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1554046375.806 * * [simplify]: iters left: 5 (6 enodes) 1554046375.809 * * [simplify]: iters left: 4 (21 enodes) 1554046375.815 * * [simplify]: iters left: 3 (28 enodes) 1554046375.827 * * [simplify]: iters left: 2 (40 enodes) 1554046375.839 * * [simplify]: iters left: 1 (56 enodes) 1554046375.850 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046375.851 * * [simplify]: Extracting #1: cost 4 inf + 0 1554046375.851 * * [simplify]: Extracting #2: cost 7 inf + 0 1554046375.851 * * [simplify]: Extracting #3: cost 17 inf + 0 1554046375.851 * * [simplify]: Extracting #4: cost 24 inf + 3 1554046375.851 * * [simplify]: Extracting #5: cost 7 inf + 1285 1554046375.851 * * [simplify]: Extracting #6: cost 0 inf + 2009 1554046375.852 * [simplify]: Simplified to (fabs (cbrt (fma x x -1))) 1554046375.852 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (fabs (cbrt (fma x x -1))) (sqrt (cbrt (fma x x -1))))))) 1554046375.852 * * * * [progress]: [ 10 / 40 ] simplifiying candidate # 1554046375.852 * [simplify]: Simplifying (sqrt (sqrt (fma x x -1))) 1554046375.852 * * [simplify]: iters left: 3 (5 enodes) 1554046375.854 * * [simplify]: iters left: 2 (17 enodes) 1554046375.856 * * [simplify]: iters left: 1 (24 enodes) 1554046375.860 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046375.860 * * [simplify]: Extracting #1: cost 3 inf + 0 1554046375.860 * * [simplify]: Extracting #2: cost 5 inf + 0 1554046375.861 * * [simplify]: Extracting #3: cost 11 inf + 0 1554046375.861 * * [simplify]: Extracting #4: cost 13 inf + 2 1554046375.861 * * [simplify]: Extracting #5: cost 3 inf + 519 1554046375.861 * * [simplify]: Extracting #6: cost 0 inf + 835 1554046375.861 * [simplify]: Simplified to (sqrt (sqrt (fma x x -1))) 1554046375.861 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (sqrt (fma x x -1))) (sqrt (sqrt (fma x x -1))))))) 1554046375.861 * * * * [progress]: [ 11 / 40 ] simplifiying candidate # 1554046375.861 * [simplify]: Simplifying (sqrt 1) 1554046375.861 * * [simplify]: iters left: 1 (2 enodes) 1554046375.863 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046375.863 * * [simplify]: Extracting #1: cost 0 inf + 1 1554046375.863 * [simplify]: Simplified to 1 1554046375.863 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* 1 (sqrt (fma x x -1)))))) 1554046375.863 * * * * [progress]: [ 12 / 40 ] simplifiying candidate # 1554046375.863 * [simplify]: Simplifying (fma x x -1) 1554046375.863 * * [simplify]: iters left: 1 (3 enodes) 1554046375.864 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046375.864 * * [simplify]: Extracting #1: cost 5 inf + 0 1554046375.864 * * [simplify]: Extracting #2: cost 3 inf + 2 1554046375.864 * * [simplify]: Extracting #3: cost 0 inf + 157 1554046375.864 * [simplify]: Simplified to (fma x x -1) 1554046375.864 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (pow (fma x x -1) (/ 1 2))))) 1554046375.864 * * * * [progress]: [ 13 / 40 ] simplifiying candidate # 1554046375.864 * * * * [progress]: [ 14 / 40 ] simplifiying candidate # 1554046375.865 * [simplify]: Simplifying (sqrt (fma x x -1)) 1554046375.865 * * [simplify]: iters left: 2 (4 enodes) 1554046375.866 * * [simplify]: iters left: 1 (14 enodes) 1554046375.868 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046375.868 * * [simplify]: Extracting #1: cost 3 inf + 0 1554046375.868 * * [simplify]: Extracting #2: cost 9 inf + 0 1554046375.868 * * [simplify]: Extracting #3: cost 8 inf + 43 1554046375.868 * * [simplify]: Extracting #4: cost 0 inf + 477 1554046375.868 * [simplify]: Simplified to (sqrt (fma x x -1)) 1554046375.868 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (fabs (sqrt (fma x x -1)))))) 1554046375.868 * * * * [progress]: [ 15 / 40 ] simplifiying candidate # 1554046375.868 * * * * [progress]: [ 16 / 40 ] simplifiying candidate #real (real->posit16 (sqrt (fma x x -1)))))))> 1554046375.868 * * * * [progress]: [ 17 / 40 ] simplifiying candidate # 1554046375.868 * * * * [progress]: [ 18 / 40 ] simplifiying candidate # 1554046375.868 * * * * [progress]: [ 19 / 40 ] simplifiying candidate # 1554046375.869 * [simplify]: Simplifying (* (cbrt x) (cbrt x)) 1554046375.869 * * [simplify]: iters left: 3 (3 enodes) 1554046375.869 * * [simplify]: iters left: 2 (9 enodes) 1554046375.870 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046375.870 * * [simplify]: Extracting #1: cost 3 inf + 0 1554046375.870 * * [simplify]: Extracting #2: cost 5 inf + 0 1554046375.870 * * [simplify]: Extracting #3: cost 4 inf + 1 1554046375.871 * * [simplify]: Extracting #4: cost 0 inf + 405 1554046375.871 * [simplify]: Simplified to (* (cbrt x) (cbrt x)) 1554046375.871 * [simplify]: Simplified (2 1 1) to (λ (x) (log (fma (* (cbrt x) (cbrt x)) (cbrt x) (sqrt (fma x x -1))))) 1554046375.871 * * * * [progress]: [ 20 / 40 ] simplifiying candidate # 1554046375.871 * [simplify]: Simplifying (sqrt x) 1554046375.871 * * [simplify]: iters left: 1 (2 enodes) 1554046375.871 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046375.871 * * [simplify]: Extracting #1: cost 3 inf + 0 1554046375.871 * * [simplify]: Extracting #2: cost 2 inf + 1 1554046375.871 * * [simplify]: Extracting #3: cost 0 inf + 83 1554046375.871 * [simplify]: Simplified to (sqrt x) 1554046375.871 * [simplify]: Simplified (2 1 1) to (λ (x) (log (fma (sqrt x) (sqrt x) (sqrt (fma x x -1))))) 1554046375.871 * * * * [progress]: [ 21 / 40 ] simplifiying candidate # 1554046375.872 * * * * [progress]: [ 22 / 40 ] simplifiying candidate # 1554046375.872 * [simplify]: Simplifying (* (exp x) (exp (sqrt (fma x x -1)))) 1554046375.872 * * [simplify]: iters left: 5 (7 enodes) 1554046375.874 * * [simplify]: iters left: 4 (26 enodes) 1554046375.882 * * [simplify]: iters left: 3 (37 enodes) 1554046375.893 * * [simplify]: iters left: 2 (49 enodes) 1554046375.907 * * [simplify]: iters left: 1 (65 enodes) 1554046375.929 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046375.929 * * [simplify]: Extracting #1: cost 5 inf + 0 1554046375.929 * * [simplify]: Extracting #2: cost 10 inf + 0 1554046375.929 * * [simplify]: Extracting #3: cost 11 inf + 1 1554046375.929 * * [simplify]: Extracting #4: cost 18 inf + 143 1554046375.930 * * [simplify]: Extracting #5: cost 22 inf + 342 1554046375.930 * * [simplify]: Extracting #6: cost 9 inf + 1242 1554046375.931 * * [simplify]: Extracting #7: cost 0 inf + 2385 1554046375.932 * [simplify]: Simplified to (exp (+ x (sqrt (fma x x -1)))) 1554046375.932 * [simplify]: Simplified (2 1 1) to (λ (x) (log (log (exp (+ x (sqrt (fma x x -1))))))) 1554046375.933 * * * * [progress]: [ 23 / 40 ] simplifiying candidate # 1554046375.933 * * * * [progress]: [ 24 / 40 ] simplifiying candidate # 1554046375.933 * * * * [progress]: [ 25 / 40 ] simplifiying candidate # 1554046375.933 * * * * [progress]: [ 26 / 40 ] simplifiying candidate # 1554046375.933 * * * * [progress]: [ 27 / 40 ] simplifiying candidate # 1554046375.933 * * * * [progress]: [ 28 / 40 ] simplifiying candidate # 1554046375.933 * * * * [progress]: [ 29 / 40 ] simplifiying candidate # 1554046375.933 * * * * [progress]: [ 30 / 40 ] simplifiying candidate # 1554046375.933 * * * * [progress]: [ 31 / 40 ] simplifiying candidate # 1554046375.933 * * * * [progress]: [ 32 / 40 ] simplifiying candidate # 1554046375.933 * [simplify]: Simplifying (+ x (sqrt (fma x x -1))) 1554046375.933 * * [simplify]: iters left: 4 (5 enodes) 1554046375.935 * * [simplify]: iters left: 3 (18 enodes) 1554046375.938 * * [simplify]: iters left: 2 (25 enodes) 1554046375.944 * * [simplify]: iters left: 1 (37 enodes) 1554046375.950 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046375.950 * * [simplify]: Extracting #1: cost 4 inf + 0 1554046375.950 * * [simplify]: Extracting #2: cost 5 inf + 1 1554046375.950 * * [simplify]: Extracting #3: cost 18 inf + 1 1554046375.950 * * [simplify]: Extracting #4: cost 18 inf + 167 1554046375.950 * * [simplify]: Extracting #5: cost 9 inf + 724 1554046375.951 * * [simplify]: Extracting #6: cost 1 inf + 1412 1554046375.951 * * [simplify]: Extracting #7: cost 0 inf + 1495 1554046375.951 * [simplify]: Simplified to (+ (sqrt (fma x x -1)) x) 1554046375.951 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* 1 (+ (sqrt (fma x x -1)) x)))) 1554046375.951 * * * * [progress]: [ 33 / 40 ] simplifiying candidate #real (real->posit16 (+ x (sqrt (fma x x -1)))))))> 1554046375.951 * * * * [progress]: [ 34 / 40 ] simplifiying candidate # 1554046375.951 * * * * [progress]: [ 35 / 40 ] simplifiying candidate # 1554046375.952 * [simplify]: Simplifying (+ (* 1/8 (/ (pow x 4) (sqrt -1))) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 1554046375.952 * * [simplify]: iters left: 6 (15 enodes) 1554046375.958 * * [simplify]: iters left: 5 (65 enodes) 1554046375.980 * * [simplify]: iters left: 4 (99 enodes) 1554046376.009 * * [simplify]: iters left: 3 (136 enodes) 1554046376.047 * * [simplify]: iters left: 2 (177 enodes) 1554046376.101 * * [simplify]: iters left: 1 (255 enodes) 1554046376.183 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046376.183 * * [simplify]: Extracting #1: cost 16 inf + 0 1554046376.183 * * [simplify]: Extracting #2: cost 65 inf + 2 1554046376.184 * * [simplify]: Extracting #3: cost 82 inf + 293 1554046376.186 * * [simplify]: Extracting #4: cost 26 inf + 7612 1554046376.189 * * [simplify]: Extracting #5: cost 0 inf + 11641 1554046376.192 * * [simplify]: Extracting #6: cost 0 inf + 11596 1554046376.197 * [simplify]: Simplified to (+ (sqrt -1) (* (/ (* x x) (sqrt -1)) (+ (* 1/8 (* x x)) 1/2))) 1554046376.197 * [simplify]: Simplified (2 1 2) to (λ (x) (log (+ x (+ (sqrt -1) (* (/ (* x x) (sqrt -1)) (+ (* 1/8 (* x x)) 1/2)))))) 1554046376.197 * * * * [progress]: [ 36 / 40 ] simplifiying candidate # 1554046376.197 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1554046376.198 * * [simplify]: iters left: 6 (12 enodes) 1554046376.202 * * [simplify]: iters left: 5 (58 enodes) 1554046376.217 * * [simplify]: iters left: 4 (101 enodes) 1554046376.242 * * [simplify]: iters left: 3 (174 enodes) 1554046376.274 * * [simplify]: iters left: 2 (319 enodes) 1554046376.378 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046376.378 * * [simplify]: Extracting #1: cost 25 inf + 0 1554046376.379 * * [simplify]: Extracting #2: cost 77 inf + 89 1554046376.380 * * [simplify]: Extracting #3: cost 119 inf + 1116 1554046376.383 * * [simplify]: Extracting #4: cost 76 inf + 7849 1554046376.390 * * [simplify]: Extracting #5: cost 29 inf + 26206 1554046376.398 * * [simplify]: Extracting #6: cost 1 inf + 37223 1554046376.411 * * [simplify]: Extracting #7: cost 0 inf + 37395 1554046376.416 * [simplify]: Simplified to (- (/ (/ -1/8 x) (* x x)) (- (/ 1/2 x) x)) 1554046376.416 * [simplify]: Simplified (2 1 2) to (λ (x) (log (+ x (- (/ (/ -1/8 x) (* x x)) (- (/ 1/2 x) x))))) 1554046376.416 * * * * [progress]: [ 37 / 40 ] simplifiying candidate # 1554046376.416 * [simplify]: Simplifying (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x) 1554046376.417 * * [simplify]: iters left: 6 (12 enodes) 1554046376.422 * * [simplify]: iters left: 5 (58 enodes) 1554046376.434 * * [simplify]: iters left: 4 (104 enodes) 1554046376.458 * * [simplify]: iters left: 3 (158 enodes) 1554046376.493 * * [simplify]: iters left: 2 (242 enodes) 1554046376.546 * * [simplify]: iters left: 1 (475 enodes) 1554046376.785 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046376.785 * * [simplify]: Extracting #1: cost 30 inf + 0 1554046376.786 * * [simplify]: Extracting #2: cost 189 inf + 128 1554046376.787 * * [simplify]: Extracting #3: cost 248 inf + 3800 1554046376.791 * * [simplify]: Extracting #4: cost 218 inf + 8234 1554046376.797 * * [simplify]: Extracting #5: cost 100 inf + 65179 1554046376.820 * * [simplify]: Extracting #6: cost 4 inf + 123976 1554046376.844 * * [simplify]: Extracting #7: cost 0 inf + 125360 1554046376.868 * * [simplify]: Extracting #8: cost 0 inf + 125310 1554046376.893 * [simplify]: Simplified to (- (+ (/ (/ (/ 1/8 x) x) x) (/ 1/2 x)) x) 1554046376.894 * [simplify]: Simplified (2 1 2) to (λ (x) (log (+ x (- (+ (/ (/ (/ 1/8 x) x) x) (/ 1/2 x)) x)))) 1554046376.894 * * * * [progress]: [ 38 / 40 ] simplifiying candidate # 1554046376.894 * [simplify]: Simplifying (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 1554046376.894 * * [simplify]: iters left: 6 (10 enodes) 1554046376.903 * * [simplify]: iters left: 5 (43 enodes) 1554046376.918 * * [simplify]: iters left: 4 (66 enodes) 1554046376.938 * * [simplify]: iters left: 3 (92 enodes) 1554046376.965 * * [simplify]: iters left: 2 (107 enodes) 1554046376.980 * * [simplify]: iters left: 1 (127 enodes) 1554046376.998 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046376.998 * * [simplify]: Extracting #1: cost 12 inf + 0 1554046376.998 * * [simplify]: Extracting #2: cost 29 inf + 2 1554046376.998 * * [simplify]: Extracting #3: cost 32 inf + 292 1554046376.999 * * [simplify]: Extracting #4: cost 8 inf + 2749 1554046377.000 * * [simplify]: Extracting #5: cost 0 inf + 3969 1554046377.002 * [simplify]: Simplified to (+ x (fma (* x (/ x (sqrt -1))) 1/2 (sqrt -1))) 1554046377.002 * [simplify]: Simplified (2 1) to (λ (x) (log (+ x (fma (* x (/ x (sqrt -1))) 1/2 (sqrt -1))))) 1554046377.003 * * * * [progress]: [ 39 / 40 ] simplifiying candidate # 1554046377.003 * [simplify]: Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1554046377.003 * * [simplify]: iters left: 6 (14 enodes) 1554046377.015 * * [simplify]: iters left: 5 (65 enodes) 1554046377.033 * * [simplify]: iters left: 4 (109 enodes) 1554046377.052 * * [simplify]: iters left: 3 (184 enodes) 1554046377.115 * * [simplify]: iters left: 2 (347 enodes) 1554046377.218 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046377.218 * * [simplify]: Extracting #1: cost 27 inf + 0 1554046377.218 * * [simplify]: Extracting #2: cost 79 inf + 6 1554046377.219 * * [simplify]: Extracting #3: cost 112 inf + 1643 1554046377.221 * * [simplify]: Extracting #4: cost 70 inf + 8755 1554046377.225 * * [simplify]: Extracting #5: cost 33 inf + 20381 1554046377.238 * * [simplify]: Extracting #6: cost 1 inf + 33551 1554046377.247 * * [simplify]: Extracting #7: cost 0 inf + 33603 1554046377.256 * [simplify]: Simplified to (+ (fma 2 x (/ -1/2 x)) (/ (/ -1/8 x) (* x x))) 1554046377.257 * [simplify]: Simplified (2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (/ -1/8 x) (* x x))))) 1554046377.257 * * * * [progress]: [ 40 / 40 ] simplifiying candidate # 1554046377.257 * [simplify]: Simplifying (+ (* 1/16 (/ 1 (pow x 5))) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1554046377.257 * * [simplify]: iters left: 6 (17 enodes) 1554046377.269 * * [simplify]: iters left: 5 (80 enodes) 1554046377.300 * * [simplify]: iters left: 4 (137 enodes) 1554046377.342 * * [simplify]: iters left: 3 (227 enodes) 1554046377.390 * * [simplify]: iters left: 2 (373 enodes) 1554046377.510 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046377.511 * * [simplify]: Extracting #1: cost 14 inf + 0 1554046377.511 * * [simplify]: Extracting #2: cost 73 inf + 3 1554046377.512 * * [simplify]: Extracting #3: cost 151 inf + 985 1554046377.514 * * [simplify]: Extracting #4: cost 131 inf + 6358 1554046377.520 * * [simplify]: Extracting #5: cost 64 inf + 32938 1554046377.530 * * [simplify]: Extracting #6: cost 3 inf + 60728 1554046377.541 * * [simplify]: Extracting #7: cost 0 inf + 61828 1554046377.551 * [simplify]: Simplified to (+ (+ (/ 1/16 (pow x 5)) (/ 1/2 x)) (/ (/ 1/8 (* x x)) x)) 1554046377.551 * [simplify]: Simplified (2 1) to (λ (x) (log (+ (+ (/ 1/16 (pow x 5)) (/ 1/2 x)) (/ (/ 1/8 (* x x)) x)))) 1554046377.551 * * * [progress]: adding candidates to table 1554046377.948 * * [progress]: iteration 2 / 4 1554046377.948 * * * [progress]: picking best candidate 1554046377.950 * * * * [pick]: Picked # 1554046377.950 * * * [progress]: localizing error 1554046377.972 * * * [progress]: generating rewritten candidates 1554046377.972 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 1554046377.981 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1554046377.992 * * * [progress]: generating series expansions 1554046377.992 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 1554046377.992 * [backup-simplify]: Simplify (/ (/ -1/8 x) (* x x)) into (/ -1/8 (pow x 3)) 1554046377.992 * [approximate]: Taking taylor expansion of (/ -1/8 (pow x 3)) in (x) around 0 1554046377.992 * [taylor]: Taking taylor expansion of (/ -1/8 (pow x 3)) in x 1554046377.992 * [taylor]: Taking taylor expansion of -1/8 in x 1554046377.992 * [backup-simplify]: Simplify -1/8 into -1/8 1554046377.992 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554046377.993 * [taylor]: Taking taylor expansion of x in x 1554046377.993 * [backup-simplify]: Simplify 0 into 0 1554046377.993 * [backup-simplify]: Simplify 1 into 1 1554046377.993 * [backup-simplify]: Simplify (* 1 1) into 1 1554046377.994 * [backup-simplify]: Simplify (* 1 1) into 1 1554046377.994 * [backup-simplify]: Simplify (/ -1/8 1) into -1/8 1554046377.994 * [taylor]: Taking taylor expansion of (/ -1/8 (pow x 3)) in x 1554046377.994 * [taylor]: Taking taylor expansion of -1/8 in x 1554046377.994 * [backup-simplify]: Simplify -1/8 into -1/8 1554046377.994 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554046377.994 * [taylor]: Taking taylor expansion of x in x 1554046377.994 * [backup-simplify]: Simplify 0 into 0 1554046377.994 * [backup-simplify]: Simplify 1 into 1 1554046377.995 * [backup-simplify]: Simplify (* 1 1) into 1 1554046377.995 * [backup-simplify]: Simplify (* 1 1) into 1 1554046377.995 * [backup-simplify]: Simplify (/ -1/8 1) into -1/8 1554046377.995 * [backup-simplify]: Simplify -1/8 into -1/8 1554046377.996 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554046377.997 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554046377.998 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)))) into 0 1554046377.998 * [backup-simplify]: Simplify 0 into 0 1554046377.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554046378.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554046378.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.001 * [backup-simplify]: Simplify 0 into 0 1554046378.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046378.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046378.004 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.004 * [backup-simplify]: Simplify 0 into 0 1554046378.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046378.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046378.008 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.008 * [backup-simplify]: Simplify 0 into 0 1554046378.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554046378.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554046378.012 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.012 * [backup-simplify]: Simplify 0 into 0 1554046378.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554046378.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554046378.016 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.016 * [backup-simplify]: Simplify 0 into 0 1554046378.016 * [backup-simplify]: Simplify (* -1/8 (pow (/ 1 x) 3)) into (/ -1/8 (pow x 3)) 1554046378.017 * [backup-simplify]: Simplify (/ (/ -1/8 (/ 1 x)) (* (/ 1 x) (/ 1 x))) into (* -1/8 (pow x 3)) 1554046378.017 * [approximate]: Taking taylor expansion of (* -1/8 (pow x 3)) in (x) around 0 1554046378.017 * [taylor]: Taking taylor expansion of (* -1/8 (pow x 3)) in x 1554046378.017 * [taylor]: Taking taylor expansion of -1/8 in x 1554046378.017 * [backup-simplify]: Simplify -1/8 into -1/8 1554046378.017 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554046378.017 * [taylor]: Taking taylor expansion of x in x 1554046378.017 * [backup-simplify]: Simplify 0 into 0 1554046378.017 * [backup-simplify]: Simplify 1 into 1 1554046378.017 * [taylor]: Taking taylor expansion of (* -1/8 (pow x 3)) in x 1554046378.017 * [taylor]: Taking taylor expansion of -1/8 in x 1554046378.017 * [backup-simplify]: Simplify -1/8 into -1/8 1554046378.017 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554046378.017 * [taylor]: Taking taylor expansion of x in x 1554046378.017 * [backup-simplify]: Simplify 0 into 0 1554046378.017 * [backup-simplify]: Simplify 1 into 1 1554046378.017 * [backup-simplify]: Simplify (* 1 1) into 1 1554046378.018 * [backup-simplify]: Simplify (* 1 1) into 1 1554046378.018 * [backup-simplify]: Simplify (* -1/8 1) into -1/8 1554046378.018 * [backup-simplify]: Simplify -1/8 into -1/8 1554046378.019 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554046378.020 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554046378.020 * [backup-simplify]: Simplify (+ (* -1/8 0) (* 0 1)) into 0 1554046378.020 * [backup-simplify]: Simplify 0 into 0 1554046378.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554046378.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554046378.023 * [backup-simplify]: Simplify (+ (* -1/8 0) (+ (* 0 0) (* 0 1))) into 0 1554046378.023 * [backup-simplify]: Simplify 0 into 0 1554046378.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046378.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046378.027 * [backup-simplify]: Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046378.027 * [backup-simplify]: Simplify 0 into 0 1554046378.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046378.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046378.030 * [backup-simplify]: Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046378.030 * [backup-simplify]: Simplify 0 into 0 1554046378.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554046378.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554046378.034 * [backup-simplify]: Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554046378.035 * [backup-simplify]: Simplify 0 into 0 1554046378.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554046378.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554046378.039 * [backup-simplify]: Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554046378.039 * [backup-simplify]: Simplify 0 into 0 1554046378.039 * [backup-simplify]: Simplify (* -1/8 (pow (/ 1 x) 3)) into (/ -1/8 (pow x 3)) 1554046378.039 * [backup-simplify]: Simplify (/ (/ -1/8 (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x)))) into (* 1/8 (pow x 3)) 1554046378.040 * [approximate]: Taking taylor expansion of (* 1/8 (pow x 3)) in (x) around 0 1554046378.040 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 3)) in x 1554046378.040 * [taylor]: Taking taylor expansion of 1/8 in x 1554046378.040 * [backup-simplify]: Simplify 1/8 into 1/8 1554046378.040 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554046378.040 * [taylor]: Taking taylor expansion of x in x 1554046378.040 * [backup-simplify]: Simplify 0 into 0 1554046378.040 * [backup-simplify]: Simplify 1 into 1 1554046378.040 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 3)) in x 1554046378.040 * [taylor]: Taking taylor expansion of 1/8 in x 1554046378.040 * [backup-simplify]: Simplify 1/8 into 1/8 1554046378.040 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554046378.040 * [taylor]: Taking taylor expansion of x in x 1554046378.040 * [backup-simplify]: Simplify 0 into 0 1554046378.040 * [backup-simplify]: Simplify 1 into 1 1554046378.040 * [backup-simplify]: Simplify (* 1 1) into 1 1554046378.041 * [backup-simplify]: Simplify (* 1 1) into 1 1554046378.041 * [backup-simplify]: Simplify (* 1/8 1) into 1/8 1554046378.041 * [backup-simplify]: Simplify 1/8 into 1/8 1554046378.042 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554046378.042 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554046378.043 * [backup-simplify]: Simplify (+ (* 1/8 0) (* 0 1)) into 0 1554046378.043 * [backup-simplify]: Simplify 0 into 0 1554046378.044 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554046378.045 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554046378.046 * [backup-simplify]: Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0 1554046378.046 * [backup-simplify]: Simplify 0 into 0 1554046378.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046378.048 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046378.049 * [backup-simplify]: Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046378.049 * [backup-simplify]: Simplify 0 into 0 1554046378.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046378.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046378.053 * [backup-simplify]: Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046378.053 * [backup-simplify]: Simplify 0 into 0 1554046378.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554046378.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554046378.057 * [backup-simplify]: Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554046378.057 * [backup-simplify]: Simplify 0 into 0 1554046378.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554046378.060 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554046378.061 * [backup-simplify]: Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554046378.061 * [backup-simplify]: Simplify 0 into 0 1554046378.061 * [backup-simplify]: Simplify (* 1/8 (pow (/ 1 (- x)) 3)) into (/ -1/8 (pow x 3)) 1554046378.062 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1554046378.062 * [backup-simplify]: Simplify (+ (fma 2 x (/ -1/2 x)) (/ (/ -1/8 x) (* x x))) into (- (fma 2 x (/ -1/2 x)) (* 1/8 (/ 1 (pow x 3)))) 1554046378.062 * [approximate]: Taking taylor expansion of (- (fma 2 x (/ -1/2 x)) (* 1/8 (/ 1 (pow x 3)))) in (x) around 0 1554046378.062 * [taylor]: Taking taylor expansion of (- (fma 2 x (/ -1/2 x)) (* 1/8 (/ 1 (pow x 3)))) in x 1554046378.062 * [taylor]: Taking taylor expansion of (fma 2 x (/ -1/2 x)) in x 1554046378.062 * [taylor]: Rewrote expression to (+ (* 2 x) (/ -1/2 x)) 1554046378.062 * [taylor]: Taking taylor expansion of (* 2 x) in x 1554046378.062 * [taylor]: Taking taylor expansion of 2 in x 1554046378.062 * [backup-simplify]: Simplify 2 into 2 1554046378.062 * [taylor]: Taking taylor expansion of x in x 1554046378.062 * [backup-simplify]: Simplify 0 into 0 1554046378.062 * [backup-simplify]: Simplify 1 into 1 1554046378.062 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 1554046378.062 * [taylor]: Taking taylor expansion of -1/2 in x 1554046378.062 * [backup-simplify]: Simplify -1/2 into -1/2 1554046378.062 * [taylor]: Taking taylor expansion of x in x 1554046378.062 * [backup-simplify]: Simplify 0 into 0 1554046378.062 * [backup-simplify]: Simplify 1 into 1 1554046378.063 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 1554046378.063 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 3))) in x 1554046378.063 * [taylor]: Taking taylor expansion of 1/8 in x 1554046378.063 * [backup-simplify]: Simplify 1/8 into 1/8 1554046378.063 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1554046378.063 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554046378.063 * [taylor]: Taking taylor expansion of x in x 1554046378.063 * [backup-simplify]: Simplify 0 into 0 1554046378.063 * [backup-simplify]: Simplify 1 into 1 1554046378.063 * [backup-simplify]: Simplify (* 1 1) into 1 1554046378.064 * [backup-simplify]: Simplify (* 1 1) into 1 1554046378.064 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046378.064 * [taylor]: Taking taylor expansion of (- (fma 2 x (/ -1/2 x)) (* 1/8 (/ 1 (pow x 3)))) in x 1554046378.064 * [taylor]: Taking taylor expansion of (fma 2 x (/ -1/2 x)) in x 1554046378.064 * [taylor]: Rewrote expression to (+ (* 2 x) (/ -1/2 x)) 1554046378.064 * [taylor]: Taking taylor expansion of (* 2 x) in x 1554046378.064 * [taylor]: Taking taylor expansion of 2 in x 1554046378.064 * [backup-simplify]: Simplify 2 into 2 1554046378.064 * [taylor]: Taking taylor expansion of x in x 1554046378.064 * [backup-simplify]: Simplify 0 into 0 1554046378.065 * [backup-simplify]: Simplify 1 into 1 1554046378.065 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 1554046378.065 * [taylor]: Taking taylor expansion of -1/2 in x 1554046378.065 * [backup-simplify]: Simplify -1/2 into -1/2 1554046378.065 * [taylor]: Taking taylor expansion of x in x 1554046378.065 * [backup-simplify]: Simplify 0 into 0 1554046378.065 * [backup-simplify]: Simplify 1 into 1 1554046378.069 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 1554046378.069 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 3))) in x 1554046378.069 * [taylor]: Taking taylor expansion of 1/8 in x 1554046378.069 * [backup-simplify]: Simplify 1/8 into 1/8 1554046378.069 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1554046378.069 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554046378.069 * [taylor]: Taking taylor expansion of x in x 1554046378.069 * [backup-simplify]: Simplify 0 into 0 1554046378.069 * [backup-simplify]: Simplify 1 into 1 1554046378.070 * [backup-simplify]: Simplify (* 1 1) into 1 1554046378.070 * [backup-simplify]: Simplify (* 1 1) into 1 1554046378.070 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046378.071 * [backup-simplify]: Simplify (* 1/8 1) into 1/8 1554046378.071 * [backup-simplify]: Simplify (- 1/8) into -1/8 1554046378.072 * [backup-simplify]: Simplify (+ 0 -1/8) into -1/8 1554046378.072 * [backup-simplify]: Simplify -1/8 into -1/8 1554046378.072 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554046378.073 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554046378.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554046378.074 * [backup-simplify]: Simplify (+ (* 1/8 0) (* 0 1)) into 0 1554046378.075 * [backup-simplify]: Simplify (- 0) into 0 1554046378.075 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046378.075 * [backup-simplify]: Simplify 0 into 0 1554046378.075 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1554046378.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554046378.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554046378.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.079 * [backup-simplify]: Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0 1554046378.079 * [backup-simplify]: Simplify (- 0) into 0 1554046378.080 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 1554046378.080 * [backup-simplify]: Simplify -1/2 into -1/2 1554046378.080 * [backup-simplify]: Simplify (* 2 0) into 0 1554046378.081 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0 1554046378.081 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046378.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046378.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046378.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.086 * [backup-simplify]: Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046378.086 * [backup-simplify]: Simplify (- 0) into 0 1554046378.086 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046378.086 * [backup-simplify]: Simplify 0 into 0 1554046378.087 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 1554046378.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.088 * [backup-simplify]: Simplify (+ 2 0) into 2 1554046378.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046378.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046378.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.093 * [backup-simplify]: Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046378.093 * [backup-simplify]: Simplify (- 0) into 0 1554046378.094 * [backup-simplify]: Simplify (+ 2 0) into 2 1554046378.094 * [backup-simplify]: Simplify 2 into 2 1554046378.094 * [backup-simplify]: Simplify (+ (* 2 x) (+ (* -1/2 (/ 1 x)) (* -1/8 (pow (/ 1 x) 3)))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1554046378.094 * [backup-simplify]: Simplify (+ (fma 2 (/ 1 x) (/ -1/2 (/ 1 x))) (/ (/ -1/8 (/ 1 x)) (* (/ 1 x) (/ 1 x)))) into (- (fma 2 (/ 1 x) (* -1/2 x)) (* 1/8 (pow x 3))) 1554046378.094 * [approximate]: Taking taylor expansion of (- (fma 2 (/ 1 x) (* -1/2 x)) (* 1/8 (pow x 3))) in (x) around 0 1554046378.094 * [taylor]: Taking taylor expansion of (- (fma 2 (/ 1 x) (* -1/2 x)) (* 1/8 (pow x 3))) in x 1554046378.094 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 x) (* -1/2 x)) in x 1554046378.095 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 x)) (* -1/2 x)) 1554046378.095 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1554046378.095 * [taylor]: Taking taylor expansion of 2 in x 1554046378.095 * [backup-simplify]: Simplify 2 into 2 1554046378.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046378.095 * [taylor]: Taking taylor expansion of x in x 1554046378.095 * [backup-simplify]: Simplify 0 into 0 1554046378.095 * [backup-simplify]: Simplify 1 into 1 1554046378.095 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046378.095 * [taylor]: Taking taylor expansion of (* -1/2 x) in x 1554046378.095 * [taylor]: Taking taylor expansion of -1/2 in x 1554046378.095 * [backup-simplify]: Simplify -1/2 into -1/2 1554046378.095 * [taylor]: Taking taylor expansion of x in x 1554046378.095 * [backup-simplify]: Simplify 0 into 0 1554046378.095 * [backup-simplify]: Simplify 1 into 1 1554046378.095 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 3)) in x 1554046378.095 * [taylor]: Taking taylor expansion of 1/8 in x 1554046378.095 * [backup-simplify]: Simplify 1/8 into 1/8 1554046378.095 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554046378.095 * [taylor]: Taking taylor expansion of x in x 1554046378.095 * [backup-simplify]: Simplify 0 into 0 1554046378.095 * [backup-simplify]: Simplify 1 into 1 1554046378.095 * [taylor]: Taking taylor expansion of (- (fma 2 (/ 1 x) (* -1/2 x)) (* 1/8 (pow x 3))) in x 1554046378.096 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 x) (* -1/2 x)) in x 1554046378.096 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 x)) (* -1/2 x)) 1554046378.096 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1554046378.096 * [taylor]: Taking taylor expansion of 2 in x 1554046378.096 * [backup-simplify]: Simplify 2 into 2 1554046378.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554046378.096 * [taylor]: Taking taylor expansion of x in x 1554046378.096 * [backup-simplify]: Simplify 0 into 0 1554046378.096 * [backup-simplify]: Simplify 1 into 1 1554046378.096 * [backup-simplify]: Simplify (/ 1 1) into 1 1554046378.096 * [taylor]: Taking taylor expansion of (* -1/2 x) in x 1554046378.096 * [taylor]: Taking taylor expansion of -1/2 in x 1554046378.096 * [backup-simplify]: Simplify -1/2 into -1/2 1554046378.096 * [taylor]: Taking taylor expansion of x in x 1554046378.096 * [backup-simplify]: Simplify 0 into 0 1554046378.096 * [backup-simplify]: Simplify 1 into 1 1554046378.096 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 3)) in x 1554046378.096 * [taylor]: Taking taylor expansion of 1/8 in x 1554046378.096 * [backup-simplify]: Simplify 1/8 into 1/8 1554046378.096 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554046378.096 * [taylor]: Taking taylor expansion of x in x 1554046378.096 * [backup-simplify]: Simplify 0 into 0 1554046378.096 * [backup-simplify]: Simplify 1 into 1 1554046378.097 * [backup-simplify]: Simplify (* 2 1) into 2 1554046378.097 * [backup-simplify]: Simplify (+ 2 0) into 2 1554046378.098 * [backup-simplify]: Simplify (+ 2 0) into 2 1554046378.098 * [backup-simplify]: Simplify 2 into 2 1554046378.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554046378.099 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 1554046378.100 * [backup-simplify]: Simplify (* -1/2 0) into 0 1554046378.100 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046378.100 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046378.100 * [backup-simplify]: Simplify 0 into 0 1554046378.101 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.102 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 1554046378.103 * [backup-simplify]: Simplify (+ (* -1/2 1) (* 0 0)) into -1/2 1554046378.103 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1554046378.104 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 1554046378.104 * [backup-simplify]: Simplify -1/2 into -1/2 1554046378.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.106 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554046378.107 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 0 1) (* 0 0))) into 0 1554046378.107 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046378.107 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046378.107 * [backup-simplify]: Simplify 0 into 0 1554046378.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.110 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554046378.111 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1554046378.111 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046378.111 * [backup-simplify]: Simplify (* 1 1) into 1 1554046378.112 * [backup-simplify]: Simplify (* 1 1) into 1 1554046378.112 * [backup-simplify]: Simplify (* 1/8 1) into 1/8 1554046378.113 * [backup-simplify]: Simplify (- 1/8) into -1/8 1554046378.113 * [backup-simplify]: Simplify (+ 0 -1/8) into -1/8 1554046378.113 * [backup-simplify]: Simplify -1/8 into -1/8 1554046378.113 * [backup-simplify]: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 2 (/ 1 (/ 1 x))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1554046378.114 * [backup-simplify]: Simplify (+ (fma 2 (/ 1 (- x)) (/ -1/2 (/ 1 (- x)))) (/ (/ -1/8 (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x))))) into (+ (* 1/8 (pow x 3)) (fma 2 (/ -1 x) (* 1/2 x))) 1554046378.114 * [approximate]: Taking taylor expansion of (+ (* 1/8 (pow x 3)) (fma 2 (/ -1 x) (* 1/2 x))) in (x) around 0 1554046378.114 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow x 3)) (fma 2 (/ -1 x) (* 1/2 x))) in x 1554046378.114 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 3)) in x 1554046378.114 * [taylor]: Taking taylor expansion of 1/8 in x 1554046378.114 * [backup-simplify]: Simplify 1/8 into 1/8 1554046378.114 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554046378.114 * [taylor]: Taking taylor expansion of x in x 1554046378.114 * [backup-simplify]: Simplify 0 into 0 1554046378.114 * [backup-simplify]: Simplify 1 into 1 1554046378.114 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 x) (* 1/2 x)) in x 1554046378.114 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 x)) (* 1/2 x)) 1554046378.114 * [taylor]: Taking taylor expansion of (* 2 (/ -1 x)) in x 1554046378.114 * [taylor]: Taking taylor expansion of 2 in x 1554046378.114 * [backup-simplify]: Simplify 2 into 2 1554046378.114 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554046378.114 * [taylor]: Taking taylor expansion of -1 in x 1554046378.114 * [backup-simplify]: Simplify -1 into -1 1554046378.114 * [taylor]: Taking taylor expansion of x in x 1554046378.114 * [backup-simplify]: Simplify 0 into 0 1554046378.114 * [backup-simplify]: Simplify 1 into 1 1554046378.115 * [backup-simplify]: Simplify (/ -1 1) into -1 1554046378.115 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 1554046378.115 * [taylor]: Taking taylor expansion of 1/2 in x 1554046378.115 * [backup-simplify]: Simplify 1/2 into 1/2 1554046378.115 * [taylor]: Taking taylor expansion of x in x 1554046378.115 * [backup-simplify]: Simplify 0 into 0 1554046378.115 * [backup-simplify]: Simplify 1 into 1 1554046378.115 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow x 3)) (fma 2 (/ -1 x) (* 1/2 x))) in x 1554046378.115 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 3)) in x 1554046378.115 * [taylor]: Taking taylor expansion of 1/8 in x 1554046378.115 * [backup-simplify]: Simplify 1/8 into 1/8 1554046378.115 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554046378.115 * [taylor]: Taking taylor expansion of x in x 1554046378.115 * [backup-simplify]: Simplify 0 into 0 1554046378.115 * [backup-simplify]: Simplify 1 into 1 1554046378.115 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 x) (* 1/2 x)) in x 1554046378.115 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 x)) (* 1/2 x)) 1554046378.115 * [taylor]: Taking taylor expansion of (* 2 (/ -1 x)) in x 1554046378.115 * [taylor]: Taking taylor expansion of 2 in x 1554046378.115 * [backup-simplify]: Simplify 2 into 2 1554046378.115 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554046378.115 * [taylor]: Taking taylor expansion of -1 in x 1554046378.115 * [backup-simplify]: Simplify -1 into -1 1554046378.115 * [taylor]: Taking taylor expansion of x in x 1554046378.115 * [backup-simplify]: Simplify 0 into 0 1554046378.115 * [backup-simplify]: Simplify 1 into 1 1554046378.116 * [backup-simplify]: Simplify (/ -1 1) into -1 1554046378.116 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 1554046378.116 * [taylor]: Taking taylor expansion of 1/2 in x 1554046378.116 * [backup-simplify]: Simplify 1/2 into 1/2 1554046378.116 * [taylor]: Taking taylor expansion of x in x 1554046378.116 * [backup-simplify]: Simplify 0 into 0 1554046378.116 * [backup-simplify]: Simplify 1 into 1 1554046378.117 * [backup-simplify]: Simplify (* 2 -1) into -2 1554046378.117 * [backup-simplify]: Simplify (+ -2 0) into -2 1554046378.117 * [backup-simplify]: Simplify (+ 0 -2) into -2 1554046378.117 * [backup-simplify]: Simplify -2 into -2 1554046378.118 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554046378.119 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 -1)) into 0 1554046378.119 * [backup-simplify]: Simplify (* 1/2 0) into 0 1554046378.120 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046378.120 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046378.120 * [backup-simplify]: Simplify 0 into 0 1554046378.121 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.122 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 -1))) into 0 1554046378.123 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1554046378.123 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1554046378.124 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1554046378.124 * [backup-simplify]: Simplify 1/2 into 1/2 1554046378.125 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.126 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1554046378.127 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 1554046378.128 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046378.128 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046378.128 * [backup-simplify]: Simplify 0 into 0 1554046378.129 * [backup-simplify]: Simplify (* 1 1) into 1 1554046378.129 * [backup-simplify]: Simplify (* 1 1) into 1 1554046378.130 * [backup-simplify]: Simplify (* 1/8 1) into 1/8 1554046378.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554046378.132 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1554046378.133 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1554046378.133 * [backup-simplify]: Simplify (+ 0 0) into 0 1554046378.134 * [backup-simplify]: Simplify (+ 1/8 0) into 1/8 1554046378.134 * [backup-simplify]: Simplify 1/8 into 1/8 1554046378.134 * [backup-simplify]: Simplify (+ (* 1/8 (pow (/ 1 (- x)) 3)) (+ (* 1/2 (/ 1 (- x))) (* -2 (/ 1 (/ 1 (- x)))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1554046378.134 * * * [progress]: simplifying candidates 1554046378.134 * * * * [progress]: [ 1 / 74 ] simplifiying candidate # 1554046378.134 * * * * [progress]: [ 2 / 74 ] simplifiying candidate # 1554046378.135 * * * * [progress]: [ 3 / 74 ] simplifiying candidate # 1554046378.135 * * * * [progress]: [ 4 / 74 ] simplifiying candidate # 1554046378.135 * [simplify]: Simplifying (- (- (log -1/8) (log x)) (+ (log x) (log x))) 1554046378.135 * * [simplify]: iters left: 5 (7 enodes) 1554046378.139 * * [simplify]: iters left: 4 (29 enodes) 1554046378.149 * * [simplify]: iters left: 3 (54 enodes) 1554046378.165 * * [simplify]: iters left: 2 (81 enodes) 1554046378.177 * * [simplify]: iters left: 1 (101 enodes) 1554046378.194 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046378.194 * * [simplify]: Extracting #1: cost 15 inf + 0 1554046378.194 * * [simplify]: Extracting #2: cost 30 inf + 0 1554046378.195 * * [simplify]: Extracting #3: cost 20 inf + 1112 1554046378.196 * * [simplify]: Extracting #4: cost 3 inf + 4118 1554046378.198 * * [simplify]: Extracting #5: cost 0 inf + 4673 1554046378.199 * [simplify]: Simplified to (- (log -1/8) (+ (log x) (+ (log x) (log x)))) 1554046378.199 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (exp (- (log -1/8) (+ (log x) (+ (log x) (log x)))))))) 1554046378.199 * * * * [progress]: [ 5 / 74 ] simplifiying candidate # 1554046378.200 * [simplify]: Simplifying (- (- (log -1/8) (log x)) (log (* x x))) 1554046378.200 * * [simplify]: iters left: 5 (8 enodes) 1554046378.205 * * [simplify]: iters left: 4 (31 enodes) 1554046378.215 * * [simplify]: iters left: 3 (51 enodes) 1554046378.232 * * [simplify]: iters left: 2 (80 enodes) 1554046378.252 * * [simplify]: iters left: 1 (99 enodes) 1554046378.265 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046378.265 * * [simplify]: Extracting #1: cost 15 inf + 0 1554046378.265 * * [simplify]: Extracting #2: cost 31 inf + 0 1554046378.265 * * [simplify]: Extracting #3: cost 23 inf + 709 1554046378.266 * * [simplify]: Extracting #4: cost 6 inf + 3445 1554046378.267 * * [simplify]: Extracting #5: cost 0 inf + 4755 1554046378.268 * [simplify]: Simplified to (- (- (log -1/8) (+ (log x) (log x))) (log x)) 1554046378.268 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (exp (- (- (log -1/8) (+ (log x) (log x))) (log x)))))) 1554046378.268 * * * * [progress]: [ 6 / 74 ] simplifiying candidate # 1554046378.268 * [simplify]: Simplifying (- (log (/ -1/8 x)) (+ (log x) (log x))) 1554046378.268 * * [simplify]: iters left: 5 (7 enodes) 1554046378.270 * * [simplify]: iters left: 4 (27 enodes) 1554046378.275 * * [simplify]: iters left: 3 (44 enodes) 1554046378.288 * * [simplify]: iters left: 2 (77 enodes) 1554046378.314 * * [simplify]: iters left: 1 (102 enodes) 1554046378.329 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046378.329 * * [simplify]: Extracting #1: cost 14 inf + 0 1554046378.329 * * [simplify]: Extracting #2: cost 30 inf + 0 1554046378.329 * * [simplify]: Extracting #3: cost 29 inf + 2 1554046378.329 * * [simplify]: Extracting #4: cost 18 inf + 1230 1554046378.330 * * [simplify]: Extracting #5: cost 1 inf + 4134 1554046378.331 * * [simplify]: Extracting #6: cost 0 inf + 4325 1554046378.332 * [simplify]: Simplified to (- (- (log (/ -1/8 x)) (log x)) (log x)) 1554046378.332 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (exp (- (- (log (/ -1/8 x)) (log x)) (log x)))))) 1554046378.332 * * * * [progress]: [ 7 / 74 ] simplifiying candidate # 1554046378.332 * [simplify]: Simplifying (- (log (/ -1/8 x)) (log (* x x))) 1554046378.332 * * [simplify]: iters left: 5 (7 enodes) 1554046378.334 * * [simplify]: iters left: 4 (27 enodes) 1554046378.339 * * [simplify]: iters left: 3 (43 enodes) 1554046378.351 * * [simplify]: iters left: 2 (76 enodes) 1554046378.371 * * [simplify]: iters left: 1 (96 enodes) 1554046378.397 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046378.397 * * [simplify]: Extracting #1: cost 14 inf + 0 1554046378.398 * * [simplify]: Extracting #2: cost 31 inf + 0 1554046378.398 * * [simplify]: Extracting #3: cost 30 inf + 73 1554046378.398 * * [simplify]: Extracting #4: cost 20 inf + 1008 1554046378.399 * * [simplify]: Extracting #5: cost 1 inf + 4425 1554046378.403 * * [simplify]: Extracting #6: cost 0 inf + 4687 1554046378.405 * [simplify]: Simplified to (- (log (/ -1/8 x)) (log (* x x))) 1554046378.405 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (exp (- (log (/ -1/8 x)) (log (* x x))))))) 1554046378.405 * * * * [progress]: [ 8 / 74 ] simplifiying candidate # 1554046378.405 * * * * [progress]: [ 9 / 74 ] simplifiying candidate # 1554046378.405 * * * * [progress]: [ 10 / 74 ] simplifiying candidate # 1554046378.406 * [simplify]: Simplifying (/ (/ (* (* -1/8 -1/8) -1/8) (* (* x x) x)) (* (* (* x x) x) (* (* x x) x))) 1554046378.406 * * [simplify]: iters left: 6 (9 enodes) 1554046378.412 * * [simplify]: iters left: 5 (47 enodes) 1554046378.433 * * [simplify]: iters left: 4 (156 enodes) 1554046378.519 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046378.519 * * [simplify]: Extracting #1: cost 67 inf + 0 1554046378.520 * * [simplify]: Extracting #2: cost 139 inf + 2560 1554046378.524 * * [simplify]: Extracting #3: cost 42 inf + 17782 1554046378.531 * * [simplify]: Extracting #4: cost 0 inf + 23358 1554046378.541 * [simplify]: Simplified to (/ (/ -1/512 (* x (* x x))) (* (* x (* x x)) (* x (* x x)))) 1554046378.541 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (cbrt (/ (/ -1/512 (* x (* x x))) (* (* x (* x x)) (* x (* x x)))))))) 1554046378.541 * * * * [progress]: [ 11 / 74 ] simplifiying candidate # 1554046378.542 * [simplify]: Simplifying (/ (/ (* (* -1/8 -1/8) -1/8) (* (* x x) x)) (* (* (* x x) (* x x)) (* x x))) 1554046378.542 * * [simplify]: iters left: 6 (10 enodes) 1554046378.547 * * [simplify]: iters left: 5 (50 enodes) 1554046378.566 * * [simplify]: iters left: 4 (162 enodes) 1554046378.630 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046378.630 * * [simplify]: Extracting #1: cost 70 inf + 0 1554046378.631 * * [simplify]: Extracting #2: cost 158 inf + 2032 1554046378.636 * * [simplify]: Extracting #3: cost 58 inf + 17778 1554046378.648 * * [simplify]: Extracting #4: cost 1 inf + 26028 1554046378.662 * * [simplify]: Extracting #5: cost 0 inf + 26280 1554046378.675 * [simplify]: Simplified to (/ (/ (/ -1/512 (* x (* x x))) (* x (* x x))) (* x (* x x))) 1554046378.675 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (cbrt (/ (/ (/ -1/512 (* x (* x x))) (* x (* x x))) (* x (* x x))))))) 1554046378.675 * * * * [progress]: [ 12 / 74 ] simplifiying candidate # 1554046378.676 * [simplify]: Simplifying (/ (* (* (/ -1/8 x) (/ -1/8 x)) (/ -1/8 x)) (* (* (* x x) x) (* (* x x) x))) 1554046378.676 * * [simplify]: iters left: 6 (9 enodes) 1554046378.681 * * [simplify]: iters left: 5 (48 enodes) 1554046378.706 * * [simplify]: iters left: 4 (159 enodes) 1554046378.807 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046378.807 * * [simplify]: Extracting #1: cost 67 inf + 0 1554046378.808 * * [simplify]: Extracting #2: cost 159 inf + 2 1554046378.810 * * [simplify]: Extracting #3: cost 127 inf + 4883 1554046378.823 * * [simplify]: Extracting #4: cost 15 inf + 25505 1554046378.837 * * [simplify]: Extracting #5: cost 0 inf + 26420 1554046378.851 * * [simplify]: Extracting #6: cost 0 inf + 26140 1554046378.863 * [simplify]: Simplified to (* (* (/ (/ (/ -1/8 x) x) x) (/ (/ (/ -1/8 x) x) x)) (/ (/ (/ -1/8 x) x) x)) 1554046378.863 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (cbrt (* (* (/ (/ (/ -1/8 x) x) x) (/ (/ (/ -1/8 x) x) x)) (/ (/ (/ -1/8 x) x) x)))))) 1554046378.863 * * * * [progress]: [ 13 / 74 ] simplifiying candidate # 1554046378.863 * [simplify]: Simplifying (/ (* (* (/ -1/8 x) (/ -1/8 x)) (/ -1/8 x)) (* (* (* x x) (* x x)) (* x x))) 1554046378.863 * * [simplify]: iters left: 6 (9 enodes) 1554046378.866 * * [simplify]: iters left: 5 (49 enodes) 1554046378.878 * * [simplify]: iters left: 4 (162 enodes) 1554046378.964 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046378.965 * * [simplify]: Extracting #1: cost 69 inf + 0 1554046378.966 * * [simplify]: Extracting #2: cost 158 inf + 3 1554046378.967 * * [simplify]: Extracting #3: cost 128 inf + 4197 1554046378.978 * * [simplify]: Extracting #4: cost 14 inf + 25201 1554046378.993 * * [simplify]: Extracting #5: cost 0 inf + 26432 1554046379.007 * * [simplify]: Extracting #6: cost 0 inf + 26312 1554046379.021 * [simplify]: Simplified to (* (* (/ (/ -1/8 x) (* x x)) (/ (/ -1/8 x) (* x x))) (/ (/ -1/8 x) (* x x))) 1554046379.021 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (cbrt (* (* (/ (/ -1/8 x) (* x x)) (/ (/ -1/8 x) (* x x))) (/ (/ -1/8 x) (* x x))))))) 1554046379.021 * * * * [progress]: [ 14 / 74 ] simplifiying candidate # 1554046379.021 * * * * [progress]: [ 15 / 74 ] simplifiying candidate # 1554046379.021 * * * * [progress]: [ 16 / 74 ] simplifiying candidate # 1554046379.021 * * * * [progress]: [ 17 / 74 ] simplifiying candidate # 1554046379.021 * * * * [progress]: [ 18 / 74 ] simplifiying candidate # 1554046379.022 * [simplify]: Simplifying (/ (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) x) 1554046379.022 * * [simplify]: iters left: 6 (6 enodes) 1554046379.025 * * [simplify]: iters left: 5 (20 enodes) 1554046379.032 * * [simplify]: iters left: 4 (24 enodes) 1554046379.039 * * [simplify]: iters left: 3 (27 enodes) 1554046379.047 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.047 * * [simplify]: Extracting #1: cost 7 inf + 0 1554046379.047 * * [simplify]: Extracting #2: cost 11 inf + 1 1554046379.047 * * [simplify]: Extracting #3: cost 13 inf + 1 1554046379.047 * * [simplify]: Extracting #4: cost 12 inf + 2 1554046379.047 * * [simplify]: Extracting #5: cost 6 inf + 734 1554046379.048 * * [simplify]: Extracting #6: cost 0 inf + 1706 1554046379.048 * [simplify]: Simplified to (* (/ (cbrt (/ -1/8 x)) x) (cbrt (/ -1/8 x))) 1554046379.048 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (* (/ (cbrt (/ -1/8 x)) x) (cbrt (/ -1/8 x))) (/ (cbrt (/ -1/8 x)) x))))) 1554046379.048 * [simplify]: Simplifying (/ (cbrt (/ -1/8 x)) x) 1554046379.049 * * [simplify]: iters left: 5 (5 enodes) 1554046379.051 * * [simplify]: iters left: 4 (15 enodes) 1554046379.059 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.059 * * [simplify]: Extracting #1: cost 4 inf + 0 1554046379.059 * * [simplify]: Extracting #2: cost 5 inf + 1 1554046379.059 * * [simplify]: Extracting #3: cost 7 inf + 1 1554046379.059 * * [simplify]: Extracting #4: cost 6 inf + 2 1554046379.059 * * [simplify]: Extracting #5: cost 0 inf + 654 1554046379.059 * [simplify]: Simplified to (/ (cbrt (/ -1/8 x)) x) 1554046379.059 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (* (/ (cbrt (/ -1/8 x)) x) (cbrt (/ -1/8 x))) (/ (cbrt (/ -1/8 x)) x))))) 1554046379.059 * * * * [progress]: [ 19 / 74 ] simplifiying candidate # 1554046379.060 * [simplify]: Simplifying (/ (sqrt (/ -1/8 x)) x) 1554046379.060 * * [simplify]: iters left: 5 (5 enodes) 1554046379.062 * * [simplify]: iters left: 4 (15 enodes) 1554046379.067 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.067 * * [simplify]: Extracting #1: cost 4 inf + 0 1554046379.067 * * [simplify]: Extracting #2: cost 5 inf + 1 1554046379.067 * * [simplify]: Extracting #3: cost 7 inf + 1 1554046379.067 * * [simplify]: Extracting #4: cost 6 inf + 2 1554046379.067 * * [simplify]: Extracting #5: cost 0 inf + 494 1554046379.067 * [simplify]: Simplified to (/ (sqrt (/ -1/8 x)) x) 1554046379.067 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (sqrt (/ -1/8 x)) x) (/ (sqrt (/ -1/8 x)) x))))) 1554046379.067 * [simplify]: Simplifying (/ (sqrt (/ -1/8 x)) x) 1554046379.068 * * [simplify]: iters left: 5 (5 enodes) 1554046379.070 * * [simplify]: iters left: 4 (15 enodes) 1554046379.075 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.075 * * [simplify]: Extracting #1: cost 4 inf + 0 1554046379.075 * * [simplify]: Extracting #2: cost 5 inf + 1 1554046379.075 * * [simplify]: Extracting #3: cost 7 inf + 1 1554046379.075 * * [simplify]: Extracting #4: cost 6 inf + 2 1554046379.075 * * [simplify]: Extracting #5: cost 0 inf + 494 1554046379.075 * [simplify]: Simplified to (/ (sqrt (/ -1/8 x)) x) 1554046379.075 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (sqrt (/ -1/8 x)) x) (/ (sqrt (/ -1/8 x)) x))))) 1554046379.075 * * * * [progress]: [ 20 / 74 ] simplifiying candidate # 1554046379.076 * [simplify]: Simplifying (/ (/ (* (cbrt -1/8) (cbrt -1/8)) (* (cbrt x) (cbrt x))) x) 1554046379.076 * * [simplify]: iters left: 6 (8 enodes) 1554046379.080 * * [simplify]: iters left: 5 (32 enodes) 1554046379.091 * * [simplify]: iters left: 4 (63 enodes) 1554046379.112 * * [simplify]: iters left: 3 (108 enodes) 1554046379.135 * * [simplify]: iters left: 2 (154 enodes) 1554046379.170 * * [simplify]: iters left: 1 (168 enodes) 1554046379.215 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.215 * * [simplify]: Extracting #1: cost 23 inf + 0 1554046379.215 * * [simplify]: Extracting #2: cost 43 inf + 1 1554046379.216 * * [simplify]: Extracting #3: cost 35 inf + 851 1554046379.217 * * [simplify]: Extracting #4: cost 6 inf + 6942 1554046379.220 * * [simplify]: Extracting #5: cost 0 inf + 8154 1554046379.223 * [simplify]: Simplified to (* (/ (/ (cbrt -1/8) (cbrt x)) x) (/ (cbrt -1/8) (cbrt x))) 1554046379.223 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (* (/ (/ (cbrt -1/8) (cbrt x)) x) (/ (cbrt -1/8) (cbrt x))) (/ (/ (cbrt -1/8) (cbrt x)) x))))) 1554046379.224 * [simplify]: Simplifying (/ (/ (cbrt -1/8) (cbrt x)) x) 1554046379.224 * * [simplify]: iters left: 5 (6 enodes) 1554046379.227 * * [simplify]: iters left: 4 (20 enodes) 1554046379.233 * * [simplify]: iters left: 3 (25 enodes) 1554046379.240 * * [simplify]: iters left: 2 (27 enodes) 1554046379.248 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.248 * * [simplify]: Extracting #1: cost 8 inf + 0 1554046379.248 * * [simplify]: Extracting #2: cost 11 inf + 203 1554046379.249 * * [simplify]: Extracting #3: cost 8 inf + 406 1554046379.249 * * [simplify]: Extracting #4: cost 5 inf + 851 1554046379.249 * * [simplify]: Extracting #5: cost 0 inf + 1700 1554046379.249 * [simplify]: Simplified to (/ (/ (cbrt -1/8) x) (cbrt x)) 1554046379.250 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (* (/ (/ (cbrt -1/8) (cbrt x)) x) (/ (cbrt -1/8) (cbrt x))) (/ (/ (cbrt -1/8) x) (cbrt x)))))) 1554046379.250 * * * * [progress]: [ 21 / 74 ] simplifiying candidate # 1554046379.250 * [simplify]: Simplifying (/ (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)) x) 1554046379.250 * * [simplify]: iters left: 6 (7 enodes) 1554046379.254 * * [simplify]: iters left: 5 (25 enodes) 1554046379.262 * * [simplify]: iters left: 4 (40 enodes) 1554046379.269 * * [simplify]: iters left: 3 (62 enodes) 1554046379.279 * * [simplify]: iters left: 2 (73 enodes) 1554046379.291 * * [simplify]: iters left: 1 (74 enodes) 1554046379.311 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.311 * * [simplify]: Extracting #1: cost 15 inf + 0 1554046379.311 * * [simplify]: Extracting #2: cost 27 inf + 1 1554046379.311 * * [simplify]: Extracting #3: cost 23 inf + 205 1554046379.312 * * [simplify]: Extracting #4: cost 5 inf + 2916 1554046379.313 * * [simplify]: Extracting #5: cost 0 inf + 3806 1554046379.314 * [simplify]: Simplified to (/ (* (cbrt -1/8) (cbrt -1/8)) (* x (sqrt x))) 1554046379.314 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (* (cbrt -1/8) (cbrt -1/8)) (* x (sqrt x))) (/ (/ (cbrt -1/8) (sqrt x)) x))))) 1554046379.314 * [simplify]: Simplifying (/ (/ (cbrt -1/8) (sqrt x)) x) 1554046379.314 * * [simplify]: iters left: 5 (6 enodes) 1554046379.316 * * [simplify]: iters left: 4 (20 enodes) 1554046379.319 * * [simplify]: iters left: 3 (25 enodes) 1554046379.324 * * [simplify]: iters left: 2 (27 enodes) 1554046379.328 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.328 * * [simplify]: Extracting #1: cost 8 inf + 0 1554046379.328 * * [simplify]: Extracting #2: cost 11 inf + 123 1554046379.328 * * [simplify]: Extracting #3: cost 8 inf + 246 1554046379.329 * * [simplify]: Extracting #4: cost 5 inf + 651 1554046379.329 * * [simplify]: Extracting #5: cost 0 inf + 1380 1554046379.329 * [simplify]: Simplified to (/ (/ (cbrt -1/8) x) (sqrt x)) 1554046379.329 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)) x) (/ (/ (cbrt -1/8) x) (sqrt x)))))) 1554046379.329 * * * * [progress]: [ 22 / 74 ] simplifiying candidate # 1554046379.329 * [simplify]: Simplifying (/ (/ (* (cbrt -1/8) (cbrt -1/8)) 1) x) 1554046379.329 * * [simplify]: iters left: 6 (7 enodes) 1554046379.332 * * [simplify]: iters left: 5 (25 enodes) 1554046379.337 * * [simplify]: iters left: 4 (41 enodes) 1554046379.346 * * [simplify]: iters left: 3 (49 enodes) 1554046379.361 * * [simplify]: iters left: 2 (55 enodes) 1554046379.376 * * [simplify]: iters left: 1 (59 enodes) 1554046379.390 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.390 * * [simplify]: Extracting #1: cost 10 inf + 0 1554046379.390 * * [simplify]: Extracting #2: cost 14 inf + 2 1554046379.390 * * [simplify]: Extracting #3: cost 13 inf + 3 1554046379.390 * * [simplify]: Extracting #4: cost 9 inf + 409 1554046379.391 * * [simplify]: Extracting #5: cost 2 inf + 1343 1554046379.391 * * [simplify]: Extracting #6: cost 0 inf + 1626 1554046379.391 * [simplify]: Simplified to (/ (cbrt -1/8) (/ x (cbrt -1/8))) 1554046379.391 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (cbrt -1/8) (/ x (cbrt -1/8))) (/ (/ (cbrt -1/8) x) x))))) 1554046379.391 * [simplify]: Simplifying (/ (/ (cbrt -1/8) x) x) 1554046379.391 * * [simplify]: iters left: 5 (5 enodes) 1554046379.393 * * [simplify]: iters left: 4 (17 enodes) 1554046379.397 * * [simplify]: iters left: 3 (19 enodes) 1554046379.400 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.400 * * [simplify]: Extracting #1: cost 6 inf + 0 1554046379.400 * * [simplify]: Extracting #2: cost 9 inf + 1 1554046379.400 * * [simplify]: Extracting #3: cost 6 inf + 84 1554046379.401 * * [simplify]: Extracting #4: cost 0 inf + 814 1554046379.401 * [simplify]: Simplified to (/ (cbrt -1/8) (* x x)) 1554046379.401 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (cbrt -1/8) (/ x (cbrt -1/8))) (/ (cbrt -1/8) (* x x)))))) 1554046379.401 * * * * [progress]: [ 23 / 74 ] simplifiying candidate # 1554046379.401 * [simplify]: Simplifying (/ (/ (sqrt -1/8) (* (cbrt x) (cbrt x))) x) 1554046379.401 * * [simplify]: iters left: 6 (7 enodes) 1554046379.403 * * [simplify]: iters left: 5 (25 enodes) 1554046379.408 * * [simplify]: iters left: 4 (35 enodes) 1554046379.413 * * [simplify]: iters left: 3 (47 enodes) 1554046379.423 * * [simplify]: iters left: 2 (49 enodes) 1554046379.435 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.435 * * [simplify]: Extracting #1: cost 12 inf + 0 1554046379.435 * * [simplify]: Extracting #2: cost 21 inf + 1 1554046379.435 * * [simplify]: Extracting #3: cost 18 inf + 164 1554046379.435 * * [simplify]: Extracting #4: cost 7 inf + 1700 1554046379.436 * * [simplify]: Extracting #5: cost 1 inf + 2590 1554046379.436 * * [simplify]: Extracting #6: cost 0 inf + 2832 1554046379.436 * [simplify]: Simplified to (/ (sqrt -1/8) (* (cbrt x) (* x (cbrt x)))) 1554046379.437 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (sqrt -1/8) (* (cbrt x) (* x (cbrt x)))) (/ (/ (sqrt -1/8) (cbrt x)) x))))) 1554046379.437 * [simplify]: Simplifying (/ (/ (sqrt -1/8) (cbrt x)) x) 1554046379.437 * * [simplify]: iters left: 5 (6 enodes) 1554046379.439 * * [simplify]: iters left: 4 (20 enodes) 1554046379.442 * * [simplify]: iters left: 3 (25 enodes) 1554046379.446 * * [simplify]: iters left: 2 (27 enodes) 1554046379.450 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.450 * * [simplify]: Extracting #1: cost 8 inf + 0 1554046379.450 * * [simplify]: Extracting #2: cost 11 inf + 203 1554046379.450 * * [simplify]: Extracting #3: cost 8 inf + 406 1554046379.450 * * [simplify]: Extracting #4: cost 5 inf + 731 1554046379.450 * * [simplify]: Extracting #5: cost 0 inf + 1380 1554046379.450 * [simplify]: Simplified to (/ (/ (sqrt -1/8) x) (cbrt x)) 1554046379.450 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (/ (sqrt -1/8) (* (cbrt x) (cbrt x))) x) (/ (/ (sqrt -1/8) x) (cbrt x)))))) 1554046379.450 * * * * [progress]: [ 24 / 74 ] simplifiying candidate # 1554046379.451 * [simplify]: Simplifying (/ (/ (sqrt -1/8) (sqrt x)) x) 1554046379.451 * * [simplify]: iters left: 5 (6 enodes) 1554046379.453 * * [simplify]: iters left: 4 (20 enodes) 1554046379.456 * * [simplify]: iters left: 3 (25 enodes) 1554046379.460 * * [simplify]: iters left: 2 (27 enodes) 1554046379.467 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.467 * * [simplify]: Extracting #1: cost 8 inf + 0 1554046379.467 * * [simplify]: Extracting #2: cost 11 inf + 123 1554046379.467 * * [simplify]: Extracting #3: cost 8 inf + 246 1554046379.467 * * [simplify]: Extracting #4: cost 5 inf + 531 1554046379.467 * * [simplify]: Extracting #5: cost 0 inf + 1060 1554046379.468 * [simplify]: Simplified to (/ (/ (sqrt -1/8) x) (sqrt x)) 1554046379.468 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (/ (sqrt -1/8) x) (sqrt x)) (/ (/ (sqrt -1/8) (sqrt x)) x))))) 1554046379.468 * [simplify]: Simplifying (/ (/ (sqrt -1/8) (sqrt x)) x) 1554046379.468 * * [simplify]: iters left: 5 (6 enodes) 1554046379.472 * * [simplify]: iters left: 4 (20 enodes) 1554046379.477 * * [simplify]: iters left: 3 (25 enodes) 1554046379.481 * * [simplify]: iters left: 2 (27 enodes) 1554046379.485 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.486 * * [simplify]: Extracting #1: cost 8 inf + 0 1554046379.486 * * [simplify]: Extracting #2: cost 11 inf + 123 1554046379.486 * * [simplify]: Extracting #3: cost 8 inf + 246 1554046379.486 * * [simplify]: Extracting #4: cost 5 inf + 531 1554046379.486 * * [simplify]: Extracting #5: cost 0 inf + 1060 1554046379.486 * [simplify]: Simplified to (/ (/ (sqrt -1/8) x) (sqrt x)) 1554046379.486 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (/ (sqrt -1/8) (sqrt x)) x) (/ (/ (sqrt -1/8) x) (sqrt x)))))) 1554046379.486 * * * * [progress]: [ 25 / 74 ] simplifiying candidate # 1554046379.486 * [simplify]: Simplifying (/ (/ (sqrt -1/8) 1) x) 1554046379.487 * * [simplify]: iters left: 5 (6 enodes) 1554046379.488 * * [simplify]: iters left: 4 (20 enodes) 1554046379.493 * * [simplify]: iters left: 3 (22 enodes) 1554046379.497 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.497 * * [simplify]: Extracting #1: cost 4 inf + 0 1554046379.497 * * [simplify]: Extracting #2: cost 6 inf + 1 1554046379.497 * * [simplify]: Extracting #3: cost 4 inf + 3 1554046379.497 * * [simplify]: Extracting #4: cost 1 inf + 167 1554046379.497 * * [simplify]: Extracting #5: cost 0 inf + 249 1554046379.497 * [simplify]: Simplified to (/ (sqrt -1/8) x) 1554046379.497 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (sqrt -1/8) x) (/ (/ (sqrt -1/8) x) x))))) 1554046379.497 * [simplify]: Simplifying (/ (/ (sqrt -1/8) x) x) 1554046379.497 * * [simplify]: iters left: 5 (5 enodes) 1554046379.499 * * [simplify]: iters left: 4 (17 enodes) 1554046379.501 * * [simplify]: iters left: 3 (19 enodes) 1554046379.504 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.504 * * [simplify]: Extracting #1: cost 6 inf + 0 1554046379.504 * * [simplify]: Extracting #2: cost 9 inf + 1 1554046379.504 * * [simplify]: Extracting #3: cost 6 inf + 84 1554046379.505 * * [simplify]: Extracting #4: cost 0 inf + 574 1554046379.505 * [simplify]: Simplified to (/ (sqrt -1/8) (* x x)) 1554046379.505 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (sqrt -1/8) x) (/ (sqrt -1/8) (* x x)))))) 1554046379.505 * * * * [progress]: [ 26 / 74 ] simplifiying candidate # 1554046379.505 * [simplify]: Simplifying (/ (/ 1 (* (cbrt x) (cbrt x))) x) 1554046379.505 * * [simplify]: iters left: 6 (6 enodes) 1554046379.507 * * [simplify]: iters left: 5 (24 enodes) 1554046379.511 * * [simplify]: iters left: 4 (36 enodes) 1554046379.516 * * [simplify]: iters left: 3 (48 enodes) 1554046379.523 * * [simplify]: iters left: 2 (50 enodes) 1554046379.533 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.533 * * [simplify]: Extracting #1: cost 12 inf + 0 1554046379.533 * * [simplify]: Extracting #2: cost 15 inf + 287 1554046379.534 * * [simplify]: Extracting #3: cost 7 inf + 1260 1554046379.534 * * [simplify]: Extracting #4: cost 0 inf + 2350 1554046379.535 * [simplify]: Simplified to (/ (/ 1 x) (* (cbrt x) (cbrt x))) 1554046379.535 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (/ 1 x) (* (cbrt x) (cbrt x))) (/ (/ -1/8 (cbrt x)) x))))) 1554046379.536 * [simplify]: Simplifying (/ (/ -1/8 (cbrt x)) x) 1554046379.536 * * [simplify]: iters left: 5 (5 enodes) 1554046379.539 * * [simplify]: iters left: 4 (17 enodes) 1554046379.544 * * [simplify]: iters left: 3 (22 enodes) 1554046379.551 * * [simplify]: iters left: 2 (24 enodes) 1554046379.558 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.558 * * [simplify]: Extracting #1: cost 8 inf + 0 1554046379.558 * * [simplify]: Extracting #2: cost 10 inf + 2 1554046379.558 * * [simplify]: Extracting #3: cost 0 inf + 1058 1554046379.558 * [simplify]: Simplified to (/ (/ -1/8 x) (cbrt x)) 1554046379.558 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (/ 1 (* (cbrt x) (cbrt x))) x) (/ (/ -1/8 x) (cbrt x)))))) 1554046379.559 * * * * [progress]: [ 27 / 74 ] simplifiying candidate # 1554046379.559 * [simplify]: Simplifying (/ (/ 1 (sqrt x)) x) 1554046379.559 * * [simplify]: iters left: 5 (5 enodes) 1554046379.562 * * [simplify]: iters left: 4 (19 enodes) 1554046379.568 * * [simplify]: iters left: 3 (26 enodes) 1554046379.576 * * [simplify]: iters left: 2 (28 enodes) 1554046379.584 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.584 * * [simplify]: Extracting #1: cost 8 inf + 0 1554046379.584 * * [simplify]: Extracting #2: cost 8 inf + 124 1554046379.584 * * [simplify]: Extracting #3: cost 0 inf + 738 1554046379.584 * [simplify]: Simplified to (/ (/ 1 x) (sqrt x)) 1554046379.584 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (/ 1 x) (sqrt x)) (/ (/ -1/8 (sqrt x)) x))))) 1554046379.585 * [simplify]: Simplifying (/ (/ -1/8 (sqrt x)) x) 1554046379.585 * * [simplify]: iters left: 5 (5 enodes) 1554046379.588 * * [simplify]: iters left: 4 (17 enodes) 1554046379.593 * * [simplify]: iters left: 3 (22 enodes) 1554046379.599 * * [simplify]: iters left: 2 (24 enodes) 1554046379.606 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.606 * * [simplify]: Extracting #1: cost 8 inf + 0 1554046379.606 * * [simplify]: Extracting #2: cost 10 inf + 2 1554046379.607 * * [simplify]: Extracting #3: cost 0 inf + 738 1554046379.607 * [simplify]: Simplified to (/ (/ -1/8 x) (sqrt x)) 1554046379.607 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ (/ 1 (sqrt x)) x) (/ (/ -1/8 x) (sqrt x)))))) 1554046379.607 * * * * [progress]: [ 28 / 74 ] simplifiying candidate # 1554046379.608 * [simplify]: Simplifying (/ (/ 1 1) x) 1554046379.608 * * [simplify]: iters left: 4 (4 enodes) 1554046379.610 * * [simplify]: iters left: 3 (12 enodes) 1554046379.614 * * [simplify]: iters left: 2 (14 enodes) 1554046379.620 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.620 * * [simplify]: Extracting #1: cost 4 inf + 0 1554046379.620 * * [simplify]: Extracting #2: cost 0 inf + 86 1554046379.620 * [simplify]: Simplified to (/ 1 x) 1554046379.620 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ 1 x) (/ (/ -1/8 x) x))))) 1554046379.621 * [simplify]: Simplifying (/ (/ -1/8 x) x) 1554046379.621 * * [simplify]: iters left: 4 (4 enodes) 1554046379.623 * * [simplify]: iters left: 3 (14 enodes) 1554046379.628 * * [simplify]: iters left: 2 (16 enodes) 1554046379.633 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.633 * * [simplify]: Extracting #1: cost 6 inf + 0 1554046379.633 * * [simplify]: Extracting #2: cost 5 inf + 43 1554046379.633 * * [simplify]: Extracting #3: cost 0 inf + 332 1554046379.633 * [simplify]: Simplified to (/ (/ -1/8 x) x) 1554046379.633 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ 1 x) (/ (/ -1/8 x) x))))) 1554046379.633 * * * * [progress]: [ 29 / 74 ] simplifiying candidate # 1554046379.634 * [simplify]: Simplifying (/ 1 x) 1554046379.634 * * [simplify]: iters left: 2 (3 enodes) 1554046379.636 * * [simplify]: iters left: 1 (11 enodes) 1554046379.640 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.640 * * [simplify]: Extracting #1: cost 4 inf + 0 1554046379.640 * * [simplify]: Extracting #2: cost 2 inf + 2 1554046379.640 * * [simplify]: Extracting #3: cost 0 inf + 86 1554046379.640 * [simplify]: Simplified to (/ 1 x) 1554046379.640 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ 1 x) (/ (/ -1/8 x) x))))) 1554046379.640 * [simplify]: Simplifying (/ (/ -1/8 x) x) 1554046379.640 * * [simplify]: iters left: 4 (4 enodes) 1554046379.643 * * [simplify]: iters left: 3 (14 enodes) 1554046379.648 * * [simplify]: iters left: 2 (16 enodes) 1554046379.653 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.653 * * [simplify]: Extracting #1: cost 6 inf + 0 1554046379.653 * * [simplify]: Extracting #2: cost 5 inf + 43 1554046379.653 * * [simplify]: Extracting #3: cost 0 inf + 332 1554046379.653 * [simplify]: Simplified to (/ (/ -1/8 x) x) 1554046379.653 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ 1 x) (/ (/ -1/8 x) x))))) 1554046379.653 * * * * [progress]: [ 30 / 74 ] simplifiying candidate # 1554046379.654 * [simplify]: Simplifying (/ -1/8 x) 1554046379.654 * * [simplify]: iters left: 2 (3 enodes) 1554046379.655 * * [simplify]: iters left: 1 (9 enodes) 1554046379.658 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.658 * * [simplify]: Extracting #1: cost 4 inf + 0 1554046379.659 * * [simplify]: Extracting #2: cost 2 inf + 2 1554046379.659 * * [simplify]: Extracting #3: cost 0 inf + 86 1554046379.659 * [simplify]: Simplified to (/ -1/8 x) 1554046379.659 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ -1/8 x) (/ (/ 1 x) x))))) 1554046379.659 * [simplify]: Simplifying (/ (/ 1 x) x) 1554046379.659 * * [simplify]: iters left: 4 (4 enodes) 1554046379.661 * * [simplify]: iters left: 3 (16 enodes) 1554046379.667 * * [simplify]: iters left: 2 (20 enodes) 1554046379.673 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.673 * * [simplify]: Extracting #1: cost 6 inf + 0 1554046379.673 * * [simplify]: Extracting #2: cost 5 inf + 43 1554046379.673 * * [simplify]: Extracting #3: cost 0 inf + 332 1554046379.674 * [simplify]: Simplified to (/ (/ 1 x) x) 1554046379.674 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (* (/ -1/8 x) (/ (/ 1 x) x))))) 1554046379.674 * * * * [progress]: [ 31 / 74 ] simplifiying candidate # 1554046379.674 * * * * [progress]: [ 32 / 74 ] simplifiying candidate # 1554046379.674 * * * * [progress]: [ 33 / 74 ] simplifiying candidate # 1554046379.674 * * * * [progress]: [ 34 / 74 ] simplifiying candidate # 1554046379.674 * * * * [progress]: [ 35 / 74 ] simplifiying candidate # 1554046379.674 * [simplify]: Simplifying (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) 1554046379.674 * * [simplify]: iters left: 5 (5 enodes) 1554046379.677 * * [simplify]: iters left: 4 (15 enodes) 1554046379.682 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.682 * * [simplify]: Extracting #1: cost 3 inf + 0 1554046379.682 * * [simplify]: Extracting #2: cost 5 inf + 0 1554046379.682 * * [simplify]: Extracting #3: cost 8 inf + 0 1554046379.682 * * [simplify]: Extracting #4: cost 6 inf + 2 1554046379.682 * * [simplify]: Extracting #5: cost 0 inf + 654 1554046379.682 * [simplify]: Simplified to (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) 1554046379.682 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (/ (* x x) (cbrt (/ -1/8 x))))))) 1554046379.682 * * * * [progress]: [ 36 / 74 ] simplifiying candidate # 1554046379.683 * [simplify]: Simplifying (sqrt (/ -1/8 x)) 1554046379.683 * * [simplify]: iters left: 3 (4 enodes) 1554046379.685 * * [simplify]: iters left: 2 (12 enodes) 1554046379.689 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.689 * * [simplify]: Extracting #1: cost 3 inf + 0 1554046379.689 * * [simplify]: Extracting #2: cost 6 inf + 0 1554046379.689 * * [simplify]: Extracting #3: cost 4 inf + 2 1554046379.689 * * [simplify]: Extracting #4: cost 0 inf + 250 1554046379.689 * [simplify]: Simplified to (sqrt (/ -1/8 x)) 1554046379.689 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (sqrt (/ -1/8 x)) (/ (* x x) (sqrt (/ -1/8 x))))))) 1554046379.689 * * * * [progress]: [ 37 / 74 ] simplifiying candidate # 1554046379.690 * [simplify]: Simplifying (/ (* (cbrt -1/8) (cbrt -1/8)) (* (cbrt x) (cbrt x))) 1554046379.690 * * [simplify]: iters left: 5 (7 enodes) 1554046379.694 * * [simplify]: iters left: 4 (27 enodes) 1554046379.702 * * [simplify]: iters left: 3 (42 enodes) 1554046379.716 * * [simplify]: iters left: 2 (49 enodes) 1554046379.729 * * [simplify]: iters left: 1 (52 enodes) 1554046379.743 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.744 * * [simplify]: Extracting #1: cost 11 inf + 0 1554046379.744 * * [simplify]: Extracting #2: cost 22 inf + 0 1554046379.744 * * [simplify]: Extracting #3: cost 18 inf + 164 1554046379.744 * * [simplify]: Extracting #4: cost 9 inf + 1617 1554046379.745 * * [simplify]: Extracting #5: cost 0 inf + 3554 1554046379.746 * [simplify]: Simplified to (* (/ (cbrt -1/8) (cbrt x)) (/ (cbrt -1/8) (cbrt x))) 1554046379.746 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (* (/ (cbrt -1/8) (cbrt x)) (/ (cbrt -1/8) (cbrt x))) (/ (* x x) (/ (cbrt -1/8) (cbrt x))))))) 1554046379.746 * * * * [progress]: [ 38 / 74 ] simplifiying candidate # 1554046379.746 * [simplify]: Simplifying (/ (* (cbrt -1/8) (cbrt -1/8)) (sqrt x)) 1554046379.747 * * [simplify]: iters left: 5 (6 enodes) 1554046379.750 * * [simplify]: iters left: 4 (20 enodes) 1554046379.755 * * [simplify]: iters left: 3 (24 enodes) 1554046379.759 * * [simplify]: iters left: 2 (27 enodes) 1554046379.765 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.765 * * [simplify]: Extracting #1: cost 7 inf + 0 1554046379.765 * * [simplify]: Extracting #2: cost 14 inf + 0 1554046379.765 * * [simplify]: Extracting #3: cost 12 inf + 2 1554046379.765 * * [simplify]: Extracting #4: cost 6 inf + 691 1554046379.765 * * [simplify]: Extracting #5: cost 0 inf + 1540 1554046379.765 * [simplify]: Simplified to (* (cbrt -1/8) (/ (cbrt -1/8) (sqrt x))) 1554046379.765 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (* (cbrt -1/8) (/ (cbrt -1/8) (sqrt x))) (/ (* x x) (/ (cbrt -1/8) (sqrt x))))))) 1554046379.766 * * * * [progress]: [ 39 / 74 ] simplifiying candidate # 1554046379.766 * [simplify]: Simplifying (/ (* (cbrt -1/8) (cbrt -1/8)) 1) 1554046379.766 * * [simplify]: iters left: 5 (5 enodes) 1554046379.768 * * [simplify]: iters left: 4 (17 enodes) 1554046379.771 * * [simplify]: iters left: 3 (27 enodes) 1554046379.776 * * [simplify]: iters left: 2 (28 enodes) 1554046379.780 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.780 * * [simplify]: Extracting #1: cost 5 inf + 0 1554046379.780 * * [simplify]: Extracting #2: cost 7 inf + 1 1554046379.780 * * [simplify]: Extracting #3: cost 6 inf + 2 1554046379.780 * * [simplify]: Extracting #4: cost 1 inf + 528 1554046379.780 * * [simplify]: Extracting #5: cost 0 inf + 650 1554046379.780 * [simplify]: Simplified to (* (cbrt -1/8) (cbrt -1/8)) 1554046379.780 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (* (cbrt -1/8) (cbrt -1/8)) (/ (* x x) (/ (cbrt -1/8) x)))))) 1554046379.780 * * * * [progress]: [ 40 / 74 ] simplifiying candidate # 1554046379.780 * [simplify]: Simplifying (/ (sqrt -1/8) (* (cbrt x) (cbrt x))) 1554046379.781 * * [simplify]: iters left: 5 (6 enodes) 1554046379.784 * * [simplify]: iters left: 4 (20 enodes) 1554046379.790 * * [simplify]: iters left: 3 (22 enodes) 1554046379.797 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.797 * * [simplify]: Extracting #1: cost 6 inf + 0 1554046379.797 * * [simplify]: Extracting #2: cost 12 inf + 0 1554046379.797 * * [simplify]: Extracting #3: cost 10 inf + 2 1554046379.797 * * [simplify]: Extracting #4: cost 0 inf + 1216 1554046379.798 * [simplify]: Simplified to (/ (sqrt -1/8) (* (cbrt x) (cbrt x))) 1554046379.798 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (/ (sqrt -1/8) (* (cbrt x) (cbrt x))) (/ (* x x) (/ (sqrt -1/8) (cbrt x))))))) 1554046379.798 * * * * [progress]: [ 41 / 74 ] simplifiying candidate # 1554046379.798 * [simplify]: Simplifying (/ (sqrt -1/8) (sqrt x)) 1554046379.798 * * [simplify]: iters left: 3 (5 enodes) 1554046379.801 * * [simplify]: iters left: 2 (15 enodes) 1554046379.807 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.807 * * [simplify]: Extracting #1: cost 4 inf + 0 1554046379.807 * * [simplify]: Extracting #2: cost 8 inf + 0 1554046379.807 * * [simplify]: Extracting #3: cost 4 inf + 84 1554046379.807 * * [simplify]: Extracting #4: cost 0 inf + 410 1554046379.807 * [simplify]: Simplified to (/ (sqrt -1/8) (sqrt x)) 1554046379.807 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (/ (sqrt -1/8) (sqrt x)) (/ (* x x) (/ (sqrt -1/8) (sqrt x))))))) 1554046379.807 * * * * [progress]: [ 42 / 74 ] simplifiying candidate # 1554046379.808 * [simplify]: Simplifying (/ (sqrt -1/8) 1) 1554046379.808 * * [simplify]: iters left: 3 (4 enodes) 1554046379.811 * * [simplify]: iters left: 2 (12 enodes) 1554046379.816 * * [simplify]: iters left: 1 (14 enodes) 1554046379.820 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.820 * * [simplify]: Extracting #1: cost 4 inf + 0 1554046379.821 * * [simplify]: Extracting #2: cost 0 inf + 84 1554046379.821 * [simplify]: Simplified to (sqrt -1/8) 1554046379.821 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (sqrt -1/8) (/ (* x x) (/ (sqrt -1/8) x)))))) 1554046379.821 * * * * [progress]: [ 43 / 74 ] simplifiying candidate # 1554046379.821 * [simplify]: Simplifying (/ 1 (* (cbrt x) (cbrt x))) 1554046379.821 * * [simplify]: iters left: 5 (5 enodes) 1554046379.824 * * [simplify]: iters left: 4 (19 enodes) 1554046379.830 * * [simplify]: iters left: 3 (23 enodes) 1554046379.837 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.837 * * [simplify]: Extracting #1: cost 6 inf + 0 1554046379.837 * * [simplify]: Extracting #2: cost 9 inf + 1 1554046379.837 * * [simplify]: Extracting #3: cost 1 inf + 852 1554046379.838 * * [simplify]: Extracting #4: cost 0 inf + 974 1554046379.838 * [simplify]: Simplified to (/ 1 (* (cbrt x) (cbrt x))) 1554046379.838 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (/ 1 (* (cbrt x) (cbrt x))) (/ (* x x) (/ -1/8 (cbrt x))))))) 1554046379.838 * * * * [progress]: [ 44 / 74 ] simplifiying candidate # 1554046379.838 * [simplify]: Simplifying (/ 1 (sqrt x)) 1554046379.838 * * [simplify]: iters left: 3 (4 enodes) 1554046379.841 * * [simplify]: iters left: 2 (14 enodes) 1554046379.845 * * [simplify]: iters left: 1 (16 enodes) 1554046379.850 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.850 * * [simplify]: Extracting #1: cost 4 inf + 0 1554046379.850 * * [simplify]: Extracting #2: cost 5 inf + 1 1554046379.850 * * [simplify]: Extracting #3: cost 3 inf + 43 1554046379.850 * * [simplify]: Extracting #4: cost 1 inf + 166 1554046379.850 * * [simplify]: Extracting #5: cost 0 inf + 248 1554046379.851 * [simplify]: Simplified to (/ 1 (sqrt x)) 1554046379.851 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (/ 1 (sqrt x)) (/ (* x x) (/ -1/8 (sqrt x))))))) 1554046379.851 * * * * [progress]: [ 45 / 74 ] simplifiying candidate # 1554046379.851 * [simplify]: Simplifying (/ 1 1) 1554046379.851 * * [simplify]: iters left: 2 (2 enodes) 1554046379.852 * * [simplify]: iters left: 1 (6 enodes) 1554046379.855 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.855 * * [simplify]: Extracting #1: cost 0 inf + 1 1554046379.855 * [simplify]: Simplified to 1 1554046379.855 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ 1 (/ (* x x) (/ -1/8 x)))))) 1554046379.855 * * * * [progress]: [ 46 / 74 ] simplifiying candidate # 1554046379.855 * * * * [progress]: [ 47 / 74 ] simplifiying candidate # 1554046379.855 * * * * [progress]: [ 48 / 74 ] simplifiying candidate # 1554046379.855 * * * * [progress]: [ 49 / 74 ] simplifiying candidate #real (real->posit16 (/ (/ -1/8 x) (* x x)))))))> 1554046379.855 * * * * [progress]: [ 50 / 74 ] simplifiying candidate # 1554046379.855 * * * * [progress]: [ 51 / 74 ] simplifiying candidate # 1554046379.855 * * * * [progress]: [ 52 / 74 ] simplifiying candidate # 1554046379.856 * [simplify]: Simplifying (* (cbrt (fma 2 x (/ -1/2 x))) (cbrt (fma 2 x (/ -1/2 x)))) 1554046379.856 * * [simplify]: iters left: 6 (7 enodes) 1554046379.860 * * [simplify]: iters left: 5 (23 enodes) 1554046379.868 * * [simplify]: iters left: 4 (27 enodes) 1554046379.876 * * [simplify]: iters left: 3 (28 enodes) 1554046379.884 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.884 * * [simplify]: Extracting #1: cost 3 inf + 0 1554046379.884 * * [simplify]: Extracting #2: cost 5 inf + 0 1554046379.884 * * [simplify]: Extracting #3: cost 10 inf + 0 1554046379.884 * * [simplify]: Extracting #4: cost 11 inf + 2 1554046379.885 * * [simplify]: Extracting #5: cost 7 inf + 129 1554046379.885 * * [simplify]: Extracting #6: cost 3 inf + 545 1554046379.885 * * [simplify]: Extracting #7: cost 1 inf + 941 1554046379.886 * * [simplify]: Extracting #8: cost 0 inf + 1159 1554046379.886 * [simplify]: Simplified to (* (cbrt (fma x 2 (/ -1/2 x))) (cbrt (fma x 2 (/ -1/2 x)))) 1554046379.886 * [simplify]: Simplified (2 1 1) to (λ (x) (log (fma (* (cbrt (fma x 2 (/ -1/2 x))) (cbrt (fma x 2 (/ -1/2 x)))) (cbrt (fma 2 x (/ -1/2 x))) (/ (/ -1/8 x) (* x x))))) 1554046379.886 * * * * [progress]: [ 53 / 74 ] simplifiying candidate # 1554046379.887 * [simplify]: Simplifying (sqrt (fma 2 x (/ -1/2 x))) 1554046379.887 * * [simplify]: iters left: 4 (6 enodes) 1554046379.890 * * [simplify]: iters left: 3 (20 enodes) 1554046379.896 * * [simplify]: iters left: 2 (24 enodes) 1554046379.906 * * [simplify]: iters left: 1 (25 enodes) 1554046379.914 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046379.914 * * [simplify]: Extracting #1: cost 3 inf + 0 1554046379.914 * * [simplify]: Extracting #2: cost 8 inf + 0 1554046379.914 * * [simplify]: Extracting #3: cost 8 inf + 44 1554046379.914 * * [simplify]: Extracting #4: cost 6 inf + 87 1554046379.914 * * [simplify]: Extracting #5: cost 0 inf + 643 1554046379.915 * [simplify]: Simplified to (sqrt (fma x 2 (/ -1/2 x))) 1554046379.915 * [simplify]: Simplified (2 1 1) to (λ (x) (log (fma (sqrt (fma x 2 (/ -1/2 x))) (sqrt (fma 2 x (/ -1/2 x))) (/ (/ -1/8 x) (* x x))))) 1554046379.915 * * * * [progress]: [ 54 / 74 ] simplifiying candidate # 1554046379.915 * * * * [progress]: [ 55 / 74 ] simplifiying candidate # 1554046379.915 * [simplify]: Simplifying (* (exp (fma 2 x (/ -1/2 x))) (exp (/ (/ -1/8 x) (* x x)))) 1554046379.915 * * [simplify]: iters left: 6 (12 enodes) 1554046379.922 * * [simplify]: iters left: 5 (45 enodes) 1554046379.937 * * [simplify]: iters left: 4 (65 enodes) 1554046379.951 * * [simplify]: iters left: 3 (92 enodes) 1554046379.966 * * [simplify]: iters left: 2 (135 enodes) 1554046379.999 * * [simplify]: iters left: 1 (215 enodes) 1554046380.079 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046380.079 * * [simplify]: Extracting #1: cost 22 inf + 0 1554046380.079 * * [simplify]: Extracting #2: cost 70 inf + 0 1554046380.079 * * [simplify]: Extracting #3: cost 94 inf + 3 1554046380.080 * * [simplify]: Extracting #4: cost 79 inf + 1884 1554046380.082 * * [simplify]: Extracting #5: cost 29 inf + 13306 1554046380.085 * * [simplify]: Extracting #6: cost 7 inf + 22799 1554046380.090 * * [simplify]: Extracting #7: cost 5 inf + 23393 1554046380.094 * * [simplify]: Extracting #8: cost 2 inf + 23858 1554046380.098 * * [simplify]: Extracting #9: cost 0 inf + 24282 1554046380.102 * [simplify]: Simplified to (exp (+ (/ -1/2 x) (fma 2 x (/ -1/8 (* (* x x) x))))) 1554046380.102 * [simplify]: Simplified (2 1 1) to (λ (x) (log (log (exp (+ (/ -1/2 x) (fma 2 x (/ -1/8 (* (* x x) x)))))))) 1554046380.102 * * * * [progress]: [ 56 / 74 ] simplifiying candidate # 1554046380.102 * * * * [progress]: [ 57 / 74 ] simplifiying candidate # 1554046380.102 * * * * [progress]: [ 58 / 74 ] simplifiying candidate # 1554046380.102 * * * * [progress]: [ 59 / 74 ] simplifiying candidate # 1554046380.102 * * * * [progress]: [ 60 / 74 ] simplifiying candidate # 1554046380.102 * * * * [progress]: [ 61 / 74 ] simplifiying candidate # 1554046380.102 * * * * [progress]: [ 62 / 74 ] simplifiying candidate # 1554046380.102 * * * * [progress]: [ 63 / 74 ] simplifiying candidate # 1554046380.102 * * * * [progress]: [ 64 / 74 ] simplifiying candidate # 1554046380.102 * * * * [progress]: [ 65 / 74 ] simplifiying candidate # 1554046380.102 * [simplify]: Simplifying (+ (fma 2 x (/ -1/2 x)) (/ (/ -1/8 x) (* x x))) 1554046380.102 * * [simplify]: iters left: 6 (10 enodes) 1554046380.106 * * [simplify]: iters left: 5 (37 enodes) 1554046380.114 * * [simplify]: iters left: 4 (52 enodes) 1554046380.130 * * [simplify]: iters left: 3 (65 enodes) 1554046380.153 * * [simplify]: iters left: 2 (73 enodes) 1554046380.170 * * [simplify]: iters left: 1 (85 enodes) 1554046380.183 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046380.183 * * [simplify]: Extracting #1: cost 10 inf + 0 1554046380.183 * * [simplify]: Extracting #2: cost 19 inf + 44 1554046380.184 * * [simplify]: Extracting #3: cost 20 inf + 213 1554046380.184 * * [simplify]: Extracting #4: cost 11 inf + 1524 1554046380.184 * * [simplify]: Extracting #5: cost 7 inf + 2386 1554046380.185 * * [simplify]: Extracting #6: cost 4 inf + 3023 1554046380.186 * * [simplify]: Extracting #7: cost 1 inf + 3488 1554046380.186 * * [simplify]: Extracting #8: cost 0 inf + 3700 1554046380.187 * [simplify]: Simplified to (+ (/ (/ -1/8 x) (* x x)) (fma x 2 (/ -1/2 x))) 1554046380.187 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* 1 (+ (/ (/ -1/8 x) (* x x)) (fma x 2 (/ -1/2 x)))))) 1554046380.187 * * * * [progress]: [ 66 / 74 ] simplifiying candidate # 1554046380.187 * [simplify]: Simplifying (* 2 x) 1554046380.187 * * [simplify]: iters left: 2 (3 enodes) 1554046380.188 * * [simplify]: iters left: 1 (10 enodes) 1554046380.190 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046380.190 * * [simplify]: Extracting #1: cost 4 inf + 0 1554046380.190 * * [simplify]: Extracting #2: cost 2 inf + 2 1554046380.190 * * [simplify]: Extracting #3: cost 0 inf + 86 1554046380.190 * [simplify]: Simplified to (* 2 x) 1554046380.190 * [simplify]: Simplified (2 1 1) to (λ (x) (log (+ (* 2 x) (+ (/ -1/2 x) (/ (/ -1/8 x) (* x x)))))) 1554046380.190 * * * * [progress]: [ 67 / 74 ] simplifiying candidate #real (real->posit16 (+ (fma 2 x (/ -1/2 x)) (/ (/ -1/8 x) (* x x)))))))> 1554046380.190 * * * * [progress]: [ 68 / 74 ] simplifiying candidate # 1554046380.190 * * * * [progress]: [ 69 / 74 ] simplifiying candidate # 1554046380.190 * [simplify]: Simplifying (/ -1/8 (pow x 3)) 1554046380.190 * * [simplify]: iters left: 3 (5 enodes) 1554046380.192 * * [simplify]: iters left: 2 (23 enodes) 1554046380.198 * * [simplify]: iters left: 1 (45 enodes) 1554046380.214 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046380.214 * * [simplify]: Extracting #1: cost 10 inf + 0 1554046380.215 * * [simplify]: Extracting #2: cost 16 inf + 167 1554046380.215 * * [simplify]: Extracting #3: cost 11 inf + 659 1554046380.215 * * [simplify]: Extracting #4: cost 3 inf + 2347 1554046380.216 * * [simplify]: Extracting #5: cost 1 inf + 2601 1554046380.216 * * [simplify]: Extracting #6: cost 0 inf + 2813 1554046380.217 * [simplify]: Simplified to (/ (/ (/ -1/8 x) x) x) 1554046380.217 * [simplify]: Simplified (2 1 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (/ (/ -1/8 x) x) x)))) 1554046380.217 * * * * [progress]: [ 70 / 74 ] simplifiying candidate # 1554046380.217 * [simplify]: Simplifying (/ -1/8 (pow x 3)) 1554046380.218 * * [simplify]: iters left: 3 (5 enodes) 1554046380.221 * * [simplify]: iters left: 2 (23 enodes) 1554046380.231 * * [simplify]: iters left: 1 (45 enodes) 1554046380.245 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046380.245 * * [simplify]: Extracting #1: cost 10 inf + 0 1554046380.245 * * [simplify]: Extracting #2: cost 16 inf + 167 1554046380.245 * * [simplify]: Extracting #3: cost 11 inf + 659 1554046380.246 * * [simplify]: Extracting #4: cost 3 inf + 2347 1554046380.246 * * [simplify]: Extracting #5: cost 1 inf + 2601 1554046380.246 * * [simplify]: Extracting #6: cost 0 inf + 2813 1554046380.246 * [simplify]: Simplified to (/ (/ (/ -1/8 x) x) x) 1554046380.246 * [simplify]: Simplified (2 1 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (/ (/ -1/8 x) x) x)))) 1554046380.247 * * * * [progress]: [ 71 / 74 ] simplifiying candidate # 1554046380.247 * [simplify]: Simplifying (/ -1/8 (pow x 3)) 1554046380.247 * * [simplify]: iters left: 3 (5 enodes) 1554046380.250 * * [simplify]: iters left: 2 (23 enodes) 1554046380.255 * * [simplify]: iters left: 1 (45 enodes) 1554046380.265 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046380.265 * * [simplify]: Extracting #1: cost 10 inf + 0 1554046380.265 * * [simplify]: Extracting #2: cost 16 inf + 167 1554046380.265 * * [simplify]: Extracting #3: cost 11 inf + 659 1554046380.265 * * [simplify]: Extracting #4: cost 3 inf + 2347 1554046380.266 * * [simplify]: Extracting #5: cost 1 inf + 2601 1554046380.266 * * [simplify]: Extracting #6: cost 0 inf + 2813 1554046380.266 * [simplify]: Simplified to (/ (/ (/ -1/8 x) x) x) 1554046380.266 * [simplify]: Simplified (2 1 2) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (/ (/ -1/8 x) x) x)))) 1554046380.266 * * * * [progress]: [ 72 / 74 ] simplifiying candidate # 1554046380.266 * [simplify]: Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1554046380.267 * * [simplify]: iters left: 6 (14 enodes) 1554046380.272 * * [simplify]: iters left: 5 (65 enodes) 1554046380.290 * * [simplify]: iters left: 4 (109 enodes) 1554046380.326 * * [simplify]: iters left: 3 (184 enodes) 1554046380.374 * * [simplify]: iters left: 2 (347 enodes) 1554046380.456 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046380.456 * * [simplify]: Extracting #1: cost 27 inf + 0 1554046380.456 * * [simplify]: Extracting #2: cost 79 inf + 6 1554046380.457 * * [simplify]: Extracting #3: cost 112 inf + 1643 1554046380.459 * * [simplify]: Extracting #4: cost 70 inf + 8755 1554046380.463 * * [simplify]: Extracting #5: cost 33 inf + 20381 1554046380.468 * * [simplify]: Extracting #6: cost 1 inf + 33551 1554046380.475 * * [simplify]: Extracting #7: cost 0 inf + 33603 1554046380.483 * [simplify]: Simplified to (+ (fma 2 x (/ -1/2 x)) (/ (/ -1/8 x) (* x x))) 1554046380.483 * [simplify]: Simplified (2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (/ -1/8 x) (* x x))))) 1554046380.484 * * * * [progress]: [ 73 / 74 ] simplifiying candidate # 1554046380.484 * [simplify]: Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1554046380.484 * * [simplify]: iters left: 6 (14 enodes) 1554046380.493 * * [simplify]: iters left: 5 (65 enodes) 1554046380.516 * * [simplify]: iters left: 4 (109 enodes) 1554046380.552 * * [simplify]: iters left: 3 (184 enodes) 1554046380.601 * * [simplify]: iters left: 2 (347 enodes) 1554046380.664 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046380.664 * * [simplify]: Extracting #1: cost 27 inf + 0 1554046380.664 * * [simplify]: Extracting #2: cost 79 inf + 6 1554046380.665 * * [simplify]: Extracting #3: cost 112 inf + 1643 1554046380.667 * * [simplify]: Extracting #4: cost 70 inf + 8755 1554046380.671 * * [simplify]: Extracting #5: cost 33 inf + 20381 1554046380.675 * * [simplify]: Extracting #6: cost 1 inf + 33551 1554046380.680 * * [simplify]: Extracting #7: cost 0 inf + 33603 1554046380.685 * [simplify]: Simplified to (+ (fma 2 x (/ -1/2 x)) (/ (/ -1/8 x) (* x x))) 1554046380.685 * [simplify]: Simplified (2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (/ -1/8 x) (* x x))))) 1554046380.685 * * * * [progress]: [ 74 / 74 ] simplifiying candidate # 1554046380.685 * [simplify]: Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1554046380.685 * * [simplify]: iters left: 6 (14 enodes) 1554046380.691 * * [simplify]: iters left: 5 (65 enodes) 1554046380.704 * * [simplify]: iters left: 4 (109 enodes) 1554046380.739 * * [simplify]: iters left: 3 (184 enodes) 1554046380.807 * * [simplify]: iters left: 2 (347 enodes) 1554046380.895 * * [simplify]: Extracting #0: cost 1 inf + 0 1554046380.895 * * [simplify]: Extracting #1: cost 27 inf + 0 1554046380.896 * * [simplify]: Extracting #2: cost 79 inf + 6 1554046380.897 * * [simplify]: Extracting #3: cost 112 inf + 1643 1554046380.902 * * [simplify]: Extracting #4: cost 70 inf + 8755 1554046380.907 * * [simplify]: Extracting #5: cost 33 inf + 20381 1554046380.912 * * [simplify]: Extracting #6: cost 1 inf + 33551 1554046380.917 * * [simplify]: Extracting #7: cost 0 inf + 33603 1554046380.922 * [simplify]: Simplified to (+ (fma 2 x (/ -1/2 x)) (/ (/ -1/8 x) (* x x))) 1554046380.922 * [simplify]: Simplified (2 1) to (λ (x) (log (+ (fma 2 x (/ -1/2 x)) (/ (/ -1/8 x) (* x x))))) 1554046380.923 * * * [progress]: adding candidates to table 1554046381.534 * [progress]: [Phase 3 of 3] Extracting. 1554046381.534 * * [regime]: Finding splitpoints for: (# #) 1554046381.535 * * * [regime-changes]: Trying 1 branch expressions: (x) 1554046381.535 * * * * [regimes]: Trying to branch on x from (# #) 1554046381.568 * * * [regime]: Found split indices: #