43.666 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.030 * * * [progress]: [2/2] Setting up program. 0.048 * [progress]: [Phase 2 of 3] Improving. 0.048 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.048 * [simplify]: Simplifying: (+ (+ (+ (+ (+ x y) y) x) z) x) 0.048 * * [simplify]: iteration 0: 8 enodes 0.053 * * [simplify]: iteration 1: 20 enodes 0.065 * * [simplify]: iteration 2: 53 enodes 0.136 * * [simplify]: iteration 3: 147 enodes 0.258 * * [simplify]: iteration 4: 260 enodes 0.438 * * [simplify]: iteration 5: 297 enodes 0.620 * * [simplify]: iteration 6: 299 enodes 0.686 * * [simplify]: iteration complete: 299 enodes 0.686 * * [simplify]: Extracting #0: cost 1 inf + 0 0.686 * * [simplify]: Extracting #1: cost 25 inf + 0 0.687 * * [simplify]: Extracting #2: cost 18 inf + 121 0.687 * * [simplify]: Extracting #3: cost 0 inf + 1377 0.689 * [simplify]: Simplified to: (fma 2 y (fma 3 x z)) 0.709 * * [progress]: iteration 1 / 4 0.709 * * * [progress]: picking best candidate 0.719 * * * * [pick]: Picked # 0.719 * * * [progress]: localizing error 0.737 * * * [progress]: generating rewritten candidates 0.737 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 0.739 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.742 * * * [progress]: generating series expansions 0.742 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 0.742 * [backup-simplify]: Simplify (fma 3 x z) into (fma 3 x z) 0.742 * [approximate]: Taking taylor expansion of (fma 3 x z) in (x z) around 0 0.742 * [taylor]: Taking taylor expansion of (fma 3 x z) in z 0.743 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.743 * [taylor]: Taking taylor expansion of (* 3 x) in z 0.743 * [taylor]: Taking taylor expansion of 3 in z 0.743 * [backup-simplify]: Simplify 3 into 3 0.743 * [taylor]: Taking taylor expansion of x in z 0.743 * [backup-simplify]: Simplify x into x 0.743 * [taylor]: Taking taylor expansion of z in z 0.743 * [backup-simplify]: Simplify 0 into 0 0.743 * [backup-simplify]: Simplify 1 into 1 0.743 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 0.743 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.743 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.743 * [taylor]: Taking taylor expansion of 3 in x 0.743 * [backup-simplify]: Simplify 3 into 3 0.743 * [taylor]: Taking taylor expansion of x in x 0.743 * [backup-simplify]: Simplify 0 into 0 0.743 * [backup-simplify]: Simplify 1 into 1 0.743 * [taylor]: Taking taylor expansion of z in x 0.743 * [backup-simplify]: Simplify z into z 0.743 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 0.744 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.744 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.744 * [taylor]: Taking taylor expansion of 3 in x 0.744 * [backup-simplify]: Simplify 3 into 3 0.744 * [taylor]: Taking taylor expansion of x in x 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [backup-simplify]: Simplify 1 into 1 0.744 * [taylor]: Taking taylor expansion of z in x 0.744 * [backup-simplify]: Simplify z into z 0.745 * [backup-simplify]: Simplify (* 3 0) into 0 0.745 * [backup-simplify]: Simplify (+ 0 z) into z 0.745 * [taylor]: Taking taylor expansion of z in z 0.745 * [backup-simplify]: Simplify 0 into 0 0.745 * [backup-simplify]: Simplify 1 into 1 0.745 * [backup-simplify]: Simplify 0 into 0 0.746 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 0.746 * [backup-simplify]: Simplify (+ 3 0) into 3 0.746 * [taylor]: Taking taylor expansion of 3 in z 0.747 * [backup-simplify]: Simplify 3 into 3 0.747 * [backup-simplify]: Simplify 3 into 3 0.747 * [backup-simplify]: Simplify 1 into 1 0.748 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 0.748 * [backup-simplify]: Simplify (+ 0 0) into 0 0.748 * [taylor]: Taking taylor expansion of 0 in z 0.748 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.750 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.751 * [backup-simplify]: Simplify (+ 0 0) into 0 0.751 * [taylor]: Taking taylor expansion of 0 in z 0.751 * [backup-simplify]: Simplify 0 into 0 0.751 * [backup-simplify]: Simplify 0 into 0 0.751 * [backup-simplify]: Simplify 0 into 0 0.751 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z) 0.752 * [backup-simplify]: Simplify (fma 3 (/ 1 x) (/ 1 z)) into (fma 3 (/ 1 x) (/ 1 z)) 0.752 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in (x z) around 0 0.752 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z 0.752 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.752 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 0.752 * [taylor]: Taking taylor expansion of 3 in z 0.752 * [backup-simplify]: Simplify 3 into 3 0.753 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.753 * [taylor]: Taking taylor expansion of x in z 0.753 * [backup-simplify]: Simplify x into x 0.753 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.753 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.753 * [taylor]: Taking taylor expansion of z in z 0.753 * [backup-simplify]: Simplify 0 into 0 0.753 * [backup-simplify]: Simplify 1 into 1 0.753 * [backup-simplify]: Simplify (/ 1 1) into 1 0.753 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 0.754 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.754 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.754 * [taylor]: Taking taylor expansion of 3 in x 0.754 * [backup-simplify]: Simplify 3 into 3 0.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.754 * [taylor]: Taking taylor expansion of x in x 0.754 * [backup-simplify]: Simplify 0 into 0 0.754 * [backup-simplify]: Simplify 1 into 1 0.754 * [backup-simplify]: Simplify (/ 1 1) into 1 0.754 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.754 * [taylor]: Taking taylor expansion of z in x 0.754 * [backup-simplify]: Simplify z into z 0.754 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.754 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 0.755 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.755 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.755 * [taylor]: Taking taylor expansion of 3 in x 0.755 * [backup-simplify]: Simplify 3 into 3 0.755 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.755 * [taylor]: Taking taylor expansion of x in x 0.755 * [backup-simplify]: Simplify 0 into 0 0.755 * [backup-simplify]: Simplify 1 into 1 0.755 * [backup-simplify]: Simplify (/ 1 1) into 1 0.755 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.755 * [taylor]: Taking taylor expansion of z in x 0.755 * [backup-simplify]: Simplify z into z 0.756 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.756 * [backup-simplify]: Simplify (* 3 1) into 3 0.757 * [backup-simplify]: Simplify (+ 3 0) into 3 0.757 * [taylor]: Taking taylor expansion of 3 in z 0.757 * [backup-simplify]: Simplify 3 into 3 0.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.758 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.759 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 0.759 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.759 * [taylor]: Taking taylor expansion of z in z 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify 1 into 1 0.759 * [backup-simplify]: Simplify (/ 1 1) into 1 0.759 * [backup-simplify]: Simplify 1 into 1 0.759 * [backup-simplify]: Simplify 3 into 3 0.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.767 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 0.768 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.768 * [backup-simplify]: Simplify (+ 0 0) into 0 0.768 * [taylor]: Taking taylor expansion of 0 in z 0.768 * [backup-simplify]: Simplify 0 into 0 0.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.769 * [backup-simplify]: Simplify 0 into 0 0.769 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.772 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.773 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.773 * [backup-simplify]: Simplify (+ 0 0) into 0 0.773 * [taylor]: Taking taylor expansion of 0 in z 0.773 * [backup-simplify]: Simplify 0 into 0 0.773 * [backup-simplify]: Simplify 0 into 0 0.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.775 * [backup-simplify]: Simplify 0 into 0 0.775 * [backup-simplify]: Simplify 0 into 0 0.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.778 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.778 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.779 * [backup-simplify]: Simplify (+ 0 0) into 0 0.779 * [taylor]: Taking taylor expansion of 0 in z 0.779 * [backup-simplify]: Simplify 0 into 0 0.779 * [backup-simplify]: Simplify 0 into 0 0.779 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z) 0.780 * [backup-simplify]: Simplify (fma 3 (/ 1 (- x)) (/ 1 (- z))) into (fma 3 (/ -1 x) (/ -1 z)) 0.780 * [approximate]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in (x z) around 0 0.780 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z 0.780 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.780 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 0.780 * [taylor]: Taking taylor expansion of 3 in z 0.780 * [backup-simplify]: Simplify 3 into 3 0.780 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.781 * [taylor]: Taking taylor expansion of -1 in z 0.781 * [backup-simplify]: Simplify -1 into -1 0.781 * [taylor]: Taking taylor expansion of x in z 0.781 * [backup-simplify]: Simplify x into x 0.781 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.781 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.781 * [taylor]: Taking taylor expansion of -1 in z 0.781 * [backup-simplify]: Simplify -1 into -1 0.781 * [taylor]: Taking taylor expansion of z in z 0.781 * [backup-simplify]: Simplify 0 into 0 0.781 * [backup-simplify]: Simplify 1 into 1 0.781 * [backup-simplify]: Simplify (/ -1 1) into -1 0.782 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 0.782 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.782 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 0.782 * [taylor]: Taking taylor expansion of 3 in x 0.782 * [backup-simplify]: Simplify 3 into 3 0.782 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.782 * [taylor]: Taking taylor expansion of -1 in x 0.782 * [backup-simplify]: Simplify -1 into -1 0.782 * [taylor]: Taking taylor expansion of x in x 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 1 into 1 0.783 * [backup-simplify]: Simplify (/ -1 1) into -1 0.783 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.783 * [taylor]: Taking taylor expansion of -1 in x 0.783 * [backup-simplify]: Simplify -1 into -1 0.783 * [taylor]: Taking taylor expansion of z in x 0.783 * [backup-simplify]: Simplify z into z 0.783 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.783 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 0.783 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.783 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 0.783 * [taylor]: Taking taylor expansion of 3 in x 0.783 * [backup-simplify]: Simplify 3 into 3 0.783 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.783 * [taylor]: Taking taylor expansion of -1 in x 0.783 * [backup-simplify]: Simplify -1 into -1 0.783 * [taylor]: Taking taylor expansion of x in x 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify 1 into 1 0.784 * [backup-simplify]: Simplify (/ -1 1) into -1 0.784 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.784 * [taylor]: Taking taylor expansion of -1 in x 0.784 * [backup-simplify]: Simplify -1 into -1 0.784 * [taylor]: Taking taylor expansion of z in x 0.784 * [backup-simplify]: Simplify z into z 0.784 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.785 * [backup-simplify]: Simplify (* 3 -1) into -3 0.785 * [backup-simplify]: Simplify (+ -3 0) into -3 0.785 * [taylor]: Taking taylor expansion of -3 in z 0.786 * [backup-simplify]: Simplify -3 into -3 0.787 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.787 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0 0.787 * [backup-simplify]: Simplify (+ 0 (/ -1 z)) into (- (/ 1 z)) 0.788 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.788 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.788 * [taylor]: Taking taylor expansion of z in z 0.788 * [backup-simplify]: Simplify 0 into 0 0.788 * [backup-simplify]: Simplify 1 into 1 0.788 * [backup-simplify]: Simplify (/ 1 1) into 1 0.788 * [backup-simplify]: Simplify (- 1) into -1 0.788 * [backup-simplify]: Simplify -1 into -1 0.789 * [backup-simplify]: Simplify -3 into -3 0.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.791 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 -1))) into 0 0.791 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.792 * [backup-simplify]: Simplify (+ 0 0) into 0 0.792 * [taylor]: Taking taylor expansion of 0 in z 0.792 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.793 * [backup-simplify]: Simplify (- 0) into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.796 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 0.796 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.797 * [backup-simplify]: Simplify (+ 0 0) into 0 0.797 * [taylor]: Taking taylor expansion of 0 in z 0.797 * [backup-simplify]: Simplify 0 into 0 0.797 * [backup-simplify]: Simplify 0 into 0 0.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.798 * [backup-simplify]: Simplify (- 0) into 0 0.798 * [backup-simplify]: Simplify 0 into 0 0.798 * [backup-simplify]: Simplify 0 into 0 0.800 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.801 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 0.802 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.802 * [backup-simplify]: Simplify (+ 0 0) into 0 0.802 * [taylor]: Taking taylor expansion of 0 in z 0.802 * [backup-simplify]: Simplify 0 into 0 0.803 * [backup-simplify]: Simplify 0 into 0 0.803 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z) 0.803 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.804 * [backup-simplify]: Simplify (fma 2 y (fma 3 x z)) into (fma 2 y (fma 3 x z)) 0.804 * [approximate]: Taking taylor expansion of (fma 2 y (fma 3 x z)) in (y x z) around 0 0.804 * [taylor]: Taking taylor expansion of (fma 2 y (fma 3 x z)) in z 0.804 * [taylor]: Rewrote expression to (+ (* 2 y) (fma 3 x z)) 0.804 * [taylor]: Taking taylor expansion of (* 2 y) in z 0.804 * [taylor]: Taking taylor expansion of 2 in z 0.804 * [backup-simplify]: Simplify 2 into 2 0.804 * [taylor]: Taking taylor expansion of y in z 0.805 * [backup-simplify]: Simplify y into y 0.805 * [taylor]: Taking taylor expansion of (fma 3 x z) in z 0.805 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.805 * [taylor]: Taking taylor expansion of (* 3 x) in z 0.805 * [taylor]: Taking taylor expansion of 3 in z 0.805 * [backup-simplify]: Simplify 3 into 3 0.805 * [taylor]: Taking taylor expansion of x in z 0.805 * [backup-simplify]: Simplify x into x 0.805 * [taylor]: Taking taylor expansion of z in z 0.805 * [backup-simplify]: Simplify 0 into 0 0.805 * [backup-simplify]: Simplify 1 into 1 0.805 * [taylor]: Taking taylor expansion of (fma 2 y (fma 3 x z)) in x 0.805 * [taylor]: Rewrote expression to (+ (* 2 y) (fma 3 x z)) 0.805 * [taylor]: Taking taylor expansion of (* 2 y) in x 0.805 * [taylor]: Taking taylor expansion of 2 in x 0.805 * [backup-simplify]: Simplify 2 into 2 0.805 * [taylor]: Taking taylor expansion of y in x 0.805 * [backup-simplify]: Simplify y into y 0.805 * [taylor]: Taking taylor expansion of (fma 3 x z) in x 0.806 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.806 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.806 * [taylor]: Taking taylor expansion of 3 in x 0.806 * [backup-simplify]: Simplify 3 into 3 0.806 * [taylor]: Taking taylor expansion of x in x 0.806 * [backup-simplify]: Simplify 0 into 0 0.806 * [backup-simplify]: Simplify 1 into 1 0.806 * [taylor]: Taking taylor expansion of z in x 0.806 * [backup-simplify]: Simplify z into z 0.806 * [taylor]: Taking taylor expansion of (fma 2 y (fma 3 x z)) in y 0.806 * [taylor]: Rewrote expression to (+ (* 2 y) (fma 3 x z)) 0.806 * [taylor]: Taking taylor expansion of (* 2 y) in y 0.806 * [taylor]: Taking taylor expansion of 2 in y 0.806 * [backup-simplify]: Simplify 2 into 2 0.806 * [taylor]: Taking taylor expansion of y in y 0.806 * [backup-simplify]: Simplify 0 into 0 0.806 * [backup-simplify]: Simplify 1 into 1 0.806 * [taylor]: Taking taylor expansion of (fma 3 x z) in y 0.806 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.807 * [taylor]: Taking taylor expansion of (* 3 x) in y 0.807 * [taylor]: Taking taylor expansion of 3 in y 0.807 * [backup-simplify]: Simplify 3 into 3 0.807 * [taylor]: Taking taylor expansion of x in y 0.807 * [backup-simplify]: Simplify x into x 0.807 * [taylor]: Taking taylor expansion of z in y 0.807 * [backup-simplify]: Simplify z into z 0.807 * [taylor]: Taking taylor expansion of (fma 2 y (fma 3 x z)) in y 0.807 * [taylor]: Rewrote expression to (+ (* 2 y) (fma 3 x z)) 0.807 * [taylor]: Taking taylor expansion of (* 2 y) in y 0.807 * [taylor]: Taking taylor expansion of 2 in y 0.807 * [backup-simplify]: Simplify 2 into 2 0.807 * [taylor]: Taking taylor expansion of y in y 0.807 * [backup-simplify]: Simplify 0 into 0 0.807 * [backup-simplify]: Simplify 1 into 1 0.807 * [taylor]: Taking taylor expansion of (fma 3 x z) in y 0.807 * [taylor]: Rewrote expression to (+ (* 3 x) z) 0.807 * [taylor]: Taking taylor expansion of (* 3 x) in y 0.807 * [taylor]: Taking taylor expansion of 3 in y 0.807 * [backup-simplify]: Simplify 3 into 3 0.807 * [taylor]: Taking taylor expansion of x in y 0.807 * [backup-simplify]: Simplify x into x 0.808 * [taylor]: Taking taylor expansion of z in y 0.808 * [backup-simplify]: Simplify z into z 0.808 * [backup-simplify]: Simplify (* 2 0) into 0 0.808 * [backup-simplify]: Simplify (* 3 x) into (* 3 x) 0.809 * [backup-simplify]: Simplify (+ (* 3 x) z) into (+ (* 3 x) z) 0.809 * [backup-simplify]: Simplify (+ 0 (+ (* 3 x) z)) into (+ (* 3 x) z) 0.809 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x 0.809 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.809 * [taylor]: Taking taylor expansion of 3 in x 0.809 * [backup-simplify]: Simplify 3 into 3 0.809 * [taylor]: Taking taylor expansion of x in x 0.809 * [backup-simplify]: Simplify 0 into 0 0.809 * [backup-simplify]: Simplify 1 into 1 0.809 * [taylor]: Taking taylor expansion of z in x 0.809 * [backup-simplify]: Simplify z into z 0.810 * [backup-simplify]: Simplify (* 3 0) into 0 0.810 * [backup-simplify]: Simplify (+ 0 z) into z 0.810 * [taylor]: Taking taylor expansion of z in z 0.810 * [backup-simplify]: Simplify 0 into 0 0.810 * [backup-simplify]: Simplify 1 into 1 0.810 * [backup-simplify]: Simplify 0 into 0 0.812 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 0.812 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x)) into 0 0.813 * [backup-simplify]: Simplify (+ 0 0) into 0 0.813 * [backup-simplify]: Simplify (+ 2 0) into 2 0.813 * [taylor]: Taking taylor expansion of 2 in x 0.813 * [backup-simplify]: Simplify 2 into 2 0.814 * [taylor]: Taking taylor expansion of 2 in z 0.814 * [backup-simplify]: Simplify 2 into 2 0.814 * [backup-simplify]: Simplify 2 into 2 0.815 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 0.815 * [backup-simplify]: Simplify (+ 3 0) into 3 0.815 * [taylor]: Taking taylor expansion of 3 in z 0.815 * [backup-simplify]: Simplify 3 into 3 0.815 * [backup-simplify]: Simplify 3 into 3 0.815 * [backup-simplify]: Simplify 1 into 1 0.817 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 3 (* 1 (* x 1))) (* 2 (* 1 (* 1 y))))) into (+ (* 3 x) (+ z (* 2 y))) 0.817 * [backup-simplify]: Simplify (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z))) into (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z))) 0.817 * [approximate]: Taking taylor expansion of (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z))) in (y x z) around 0 0.818 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z))) in z 0.818 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (fma 3 (/ 1 x) (/ 1 z))) 0.818 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z 0.818 * [taylor]: Taking taylor expansion of 2 in z 0.818 * [backup-simplify]: Simplify 2 into 2 0.818 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.818 * [taylor]: Taking taylor expansion of y in z 0.818 * [backup-simplify]: Simplify y into y 0.818 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.818 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z 0.818 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.818 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 0.818 * [taylor]: Taking taylor expansion of 3 in z 0.818 * [backup-simplify]: Simplify 3 into 3 0.818 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.818 * [taylor]: Taking taylor expansion of x in z 0.819 * [backup-simplify]: Simplify x into x 0.819 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.819 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.819 * [taylor]: Taking taylor expansion of z in z 0.819 * [backup-simplify]: Simplify 0 into 0 0.819 * [backup-simplify]: Simplify 1 into 1 0.819 * [backup-simplify]: Simplify (/ 1 1) into 1 0.819 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z))) in x 0.819 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (fma 3 (/ 1 x) (/ 1 z))) 0.820 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 0.820 * [taylor]: Taking taylor expansion of 2 in x 0.820 * [backup-simplify]: Simplify 2 into 2 0.820 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.820 * [taylor]: Taking taylor expansion of y in x 0.820 * [backup-simplify]: Simplify y into y 0.820 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.820 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x 0.820 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.820 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.820 * [taylor]: Taking taylor expansion of 3 in x 0.820 * [backup-simplify]: Simplify 3 into 3 0.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.820 * [backup-simplify]: Simplify 0 into 0 0.820 * [backup-simplify]: Simplify 1 into 1 0.821 * [backup-simplify]: Simplify (/ 1 1) into 1 0.821 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.821 * [taylor]: Taking taylor expansion of z in x 0.821 * [backup-simplify]: Simplify z into z 0.821 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.821 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z))) in y 0.821 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (fma 3 (/ 1 x) (/ 1 z))) 0.821 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.821 * [taylor]: Taking taylor expansion of 2 in y 0.821 * [backup-simplify]: Simplify 2 into 2 0.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.821 * [taylor]: Taking taylor expansion of y in y 0.821 * [backup-simplify]: Simplify 0 into 0 0.821 * [backup-simplify]: Simplify 1 into 1 0.822 * [backup-simplify]: Simplify (/ 1 1) into 1 0.822 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in y 0.822 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.822 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 0.822 * [taylor]: Taking taylor expansion of 3 in y 0.822 * [backup-simplify]: Simplify 3 into 3 0.822 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.822 * [taylor]: Taking taylor expansion of x in y 0.822 * [backup-simplify]: Simplify x into x 0.822 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.822 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.822 * [taylor]: Taking taylor expansion of z in y 0.822 * [backup-simplify]: Simplify z into z 0.823 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.823 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z))) in y 0.823 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (fma 3 (/ 1 x) (/ 1 z))) 0.823 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.823 * [taylor]: Taking taylor expansion of 2 in y 0.823 * [backup-simplify]: Simplify 2 into 2 0.823 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.823 * [taylor]: Taking taylor expansion of y in y 0.823 * [backup-simplify]: Simplify 0 into 0 0.823 * [backup-simplify]: Simplify 1 into 1 0.823 * [backup-simplify]: Simplify (/ 1 1) into 1 0.823 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in y 0.824 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z)) 0.824 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 0.824 * [taylor]: Taking taylor expansion of 3 in y 0.824 * [backup-simplify]: Simplify 3 into 3 0.824 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.824 * [taylor]: Taking taylor expansion of x in y 0.824 * [backup-simplify]: Simplify x into x 0.824 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.824 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.824 * [taylor]: Taking taylor expansion of z in y 0.824 * [backup-simplify]: Simplify z into z 0.824 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.825 * [backup-simplify]: Simplify (* 2 1) into 2 0.825 * [backup-simplify]: Simplify (+ 2 0) into 2 0.825 * [taylor]: Taking taylor expansion of 2 in x 0.825 * [backup-simplify]: Simplify 2 into 2 0.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.827 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 0.827 * [backup-simplify]: Simplify (* 3 (/ 1 x)) into (/ 3 x) 0.827 * [backup-simplify]: Simplify (+ (/ 3 x) (/ 1 z)) into (+ (* 3 (/ 1 x)) (/ 1 z)) 0.828 * [backup-simplify]: Simplify (+ 0 (+ (* 3 (/ 1 x)) (/ 1 z))) into (+ (* 3 (/ 1 x)) (/ 1 z)) 0.828 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x 0.828 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.828 * [taylor]: Taking taylor expansion of 3 in x 0.828 * [backup-simplify]: Simplify 3 into 3 0.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.828 * [taylor]: Taking taylor expansion of x in x 0.828 * [backup-simplify]: Simplify 0 into 0 0.828 * [backup-simplify]: Simplify 1 into 1 0.829 * [backup-simplify]: Simplify (/ 1 1) into 1 0.829 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.829 * [taylor]: Taking taylor expansion of z in x 0.829 * [backup-simplify]: Simplify z into z 0.829 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.829 * [backup-simplify]: Simplify (* 3 1) into 3 0.830 * [backup-simplify]: Simplify (+ 3 0) into 3 0.830 * [taylor]: Taking taylor expansion of 3 in z 0.830 * [backup-simplify]: Simplify 3 into 3 0.830 * [taylor]: Taking taylor expansion of 2 in z 0.830 * [backup-simplify]: Simplify 2 into 2 0.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.832 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 0.832 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.833 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 x))) into 0 0.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.834 * [backup-simplify]: Simplify (+ 0 0) into 0 0.834 * [backup-simplify]: Simplify (+ 0 0) into 0 0.834 * [taylor]: Taking taylor expansion of 0 in x 0.834 * [backup-simplify]: Simplify 0 into 0 0.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.836 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.836 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 0.836 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.836 * [taylor]: Taking taylor expansion of z in z 0.836 * [backup-simplify]: Simplify 0 into 0 0.836 * [backup-simplify]: Simplify 1 into 1 0.837 * [backup-simplify]: Simplify (/ 1 1) into 1 0.837 * [backup-simplify]: Simplify 1 into 1 0.837 * [taylor]: Taking taylor expansion of 0 in z 0.837 * [backup-simplify]: Simplify 0 into 0 0.837 * [backup-simplify]: Simplify 3 into 3 0.837 * [backup-simplify]: Simplify 2 into 2 0.839 * [backup-simplify]: Simplify (+ (* 2 (* 1 (* 1 (/ 1 (/ 1 y))))) (+ (* 3 (* 1 (* (/ 1 (/ 1 x)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 0.839 * [backup-simplify]: Simplify (fma 2 (/ 1 (- y)) (fma 3 (/ 1 (- x)) (/ 1 (- z)))) into (fma 2 (/ -1 y) (fma 3 (/ -1 x) (/ -1 z))) 0.839 * [approximate]: Taking taylor expansion of (fma 2 (/ -1 y) (fma 3 (/ -1 x) (/ -1 z))) in (y x z) around 0 0.839 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (fma 3 (/ -1 x) (/ -1 z))) in z 0.839 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (fma 3 (/ -1 x) (/ -1 z))) 0.839 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in z 0.839 * [taylor]: Taking taylor expansion of 2 in z 0.839 * [backup-simplify]: Simplify 2 into 2 0.839 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.839 * [taylor]: Taking taylor expansion of -1 in z 0.839 * [backup-simplify]: Simplify -1 into -1 0.839 * [taylor]: Taking taylor expansion of y in z 0.839 * [backup-simplify]: Simplify y into y 0.839 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.839 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z 0.840 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.840 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 0.840 * [taylor]: Taking taylor expansion of 3 in z 0.840 * [backup-simplify]: Simplify 3 into 3 0.840 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.840 * [taylor]: Taking taylor expansion of -1 in z 0.840 * [backup-simplify]: Simplify -1 into -1 0.840 * [taylor]: Taking taylor expansion of x in z 0.840 * [backup-simplify]: Simplify x into x 0.840 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.840 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.840 * [taylor]: Taking taylor expansion of -1 in z 0.840 * [backup-simplify]: Simplify -1 into -1 0.840 * [taylor]: Taking taylor expansion of z in z 0.840 * [backup-simplify]: Simplify 0 into 0 0.840 * [backup-simplify]: Simplify 1 into 1 0.840 * [backup-simplify]: Simplify (/ -1 1) into -1 0.840 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (fma 3 (/ -1 x) (/ -1 z))) in x 0.840 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (fma 3 (/ -1 x) (/ -1 z))) 0.840 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in x 0.840 * [taylor]: Taking taylor expansion of 2 in x 0.840 * [backup-simplify]: Simplify 2 into 2 0.840 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.841 * [taylor]: Taking taylor expansion of -1 in x 0.841 * [backup-simplify]: Simplify -1 into -1 0.841 * [taylor]: Taking taylor expansion of y in x 0.841 * [backup-simplify]: Simplify y into y 0.841 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.841 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x 0.841 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.841 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 0.841 * [taylor]: Taking taylor expansion of 3 in x 0.841 * [backup-simplify]: Simplify 3 into 3 0.841 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.841 * [taylor]: Taking taylor expansion of -1 in x 0.841 * [backup-simplify]: Simplify -1 into -1 0.841 * [taylor]: Taking taylor expansion of x in x 0.841 * [backup-simplify]: Simplify 0 into 0 0.841 * [backup-simplify]: Simplify 1 into 1 0.841 * [backup-simplify]: Simplify (/ -1 1) into -1 0.841 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.841 * [taylor]: Taking taylor expansion of -1 in x 0.841 * [backup-simplify]: Simplify -1 into -1 0.841 * [taylor]: Taking taylor expansion of z in x 0.841 * [backup-simplify]: Simplify z into z 0.841 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.841 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (fma 3 (/ -1 x) (/ -1 z))) in y 0.842 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (fma 3 (/ -1 x) (/ -1 z))) 0.842 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in y 0.842 * [taylor]: Taking taylor expansion of 2 in y 0.842 * [backup-simplify]: Simplify 2 into 2 0.842 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.842 * [taylor]: Taking taylor expansion of -1 in y 0.842 * [backup-simplify]: Simplify -1 into -1 0.842 * [taylor]: Taking taylor expansion of y in y 0.842 * [backup-simplify]: Simplify 0 into 0 0.842 * [backup-simplify]: Simplify 1 into 1 0.842 * [backup-simplify]: Simplify (/ -1 1) into -1 0.842 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in y 0.842 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.842 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in y 0.842 * [taylor]: Taking taylor expansion of 3 in y 0.842 * [backup-simplify]: Simplify 3 into 3 0.842 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.842 * [taylor]: Taking taylor expansion of -1 in y 0.842 * [backup-simplify]: Simplify -1 into -1 0.842 * [taylor]: Taking taylor expansion of x in y 0.842 * [backup-simplify]: Simplify x into x 0.842 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.842 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.842 * [taylor]: Taking taylor expansion of -1 in y 0.842 * [backup-simplify]: Simplify -1 into -1 0.842 * [taylor]: Taking taylor expansion of z in y 0.842 * [backup-simplify]: Simplify z into z 0.843 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.843 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (fma 3 (/ -1 x) (/ -1 z))) in y 0.843 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (fma 3 (/ -1 x) (/ -1 z))) 0.843 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in y 0.843 * [taylor]: Taking taylor expansion of 2 in y 0.843 * [backup-simplify]: Simplify 2 into 2 0.843 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.843 * [taylor]: Taking taylor expansion of -1 in y 0.843 * [backup-simplify]: Simplify -1 into -1 0.843 * [taylor]: Taking taylor expansion of y in y 0.843 * [backup-simplify]: Simplify 0 into 0 0.843 * [backup-simplify]: Simplify 1 into 1 0.843 * [backup-simplify]: Simplify (/ -1 1) into -1 0.843 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in y 0.843 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z)) 0.843 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in y 0.843 * [taylor]: Taking taylor expansion of 3 in y 0.843 * [backup-simplify]: Simplify 3 into 3 0.843 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.843 * [taylor]: Taking taylor expansion of -1 in y 0.843 * [backup-simplify]: Simplify -1 into -1 0.843 * [taylor]: Taking taylor expansion of x in y 0.843 * [backup-simplify]: Simplify x into x 0.843 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.844 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.844 * [taylor]: Taking taylor expansion of -1 in y 0.844 * [backup-simplify]: Simplify -1 into -1 0.844 * [taylor]: Taking taylor expansion of z in y 0.844 * [backup-simplify]: Simplify z into z 0.844 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.844 * [backup-simplify]: Simplify (* 2 -1) into -2 0.844 * [backup-simplify]: Simplify (+ -2 0) into -2 0.844 * [taylor]: Taking taylor expansion of -2 in x 0.844 * [backup-simplify]: Simplify -2 into -2 0.845 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.846 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 -1)) into 0 0.846 * [backup-simplify]: Simplify (* 3 (/ -1 x)) into (/ -3 x) 0.846 * [backup-simplify]: Simplify (+ (/ -3 x) (/ -1 z)) into (- (+ (* 3 (/ 1 x)) (/ 1 z))) 0.846 * [backup-simplify]: Simplify (+ 0 (- (+ (* 3 (/ 1 x)) (/ 1 z)))) into (- (+ (* 3 (/ 1 x)) (/ 1 z))) 0.846 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 x)) (/ 1 z))) in x 0.846 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x 0.846 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.846 * [taylor]: Taking taylor expansion of 3 in x 0.846 * [backup-simplify]: Simplify 3 into 3 0.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.846 * [taylor]: Taking taylor expansion of x in x 0.846 * [backup-simplify]: Simplify 0 into 0 0.846 * [backup-simplify]: Simplify 1 into 1 0.847 * [backup-simplify]: Simplify (/ 1 1) into 1 0.847 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.847 * [taylor]: Taking taylor expansion of z in x 0.847 * [backup-simplify]: Simplify z into z 0.847 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.847 * [backup-simplify]: Simplify (* 3 1) into 3 0.847 * [backup-simplify]: Simplify (+ 3 0) into 3 0.848 * [backup-simplify]: Simplify (- 3) into -3 0.848 * [taylor]: Taking taylor expansion of -3 in z 0.848 * [backup-simplify]: Simplify -3 into -3 0.848 * [taylor]: Taking taylor expansion of -2 in z 0.848 * [backup-simplify]: Simplify -2 into -2 0.848 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.849 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 -1))) into 0 0.849 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 0.850 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ -1 x))) into 0 0.850 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.850 * [backup-simplify]: Simplify (+ 0 0) into 0 0.850 * [backup-simplify]: Simplify (+ 0 0) into 0 0.850 * [taylor]: Taking taylor expansion of 0 in x 0.851 * [backup-simplify]: Simplify 0 into 0 0.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.852 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.852 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 0.852 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 0.852 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.852 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.852 * [taylor]: Taking taylor expansion of z in z 0.852 * [backup-simplify]: Simplify 0 into 0 0.852 * [backup-simplify]: Simplify 1 into 1 0.853 * [backup-simplify]: Simplify (/ 1 1) into 1 0.853 * [backup-simplify]: Simplify (- 1) into -1 0.853 * [backup-simplify]: Simplify -1 into -1 0.853 * [taylor]: Taking taylor expansion of 0 in z 0.853 * [backup-simplify]: Simplify 0 into 0 0.853 * [backup-simplify]: Simplify -3 into -3 0.853 * [backup-simplify]: Simplify -2 into -2 0.854 * [backup-simplify]: Simplify (+ (* -2 (* 1 (* 1 (/ 1 (/ 1 (- y)))))) (+ (* -3 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 0.855 * * * [progress]: simplifying candidates 0.855 * * * * [progress]: [ 1 / 28 ] simplifiying candidate #real (real->posit16 (fma 3 x z)))))> 0.855 * * * * [progress]: [ 2 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 3 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 4 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 5 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 6 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 7 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 8 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 9 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 10 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 11 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 12 / 28 ] simplifiying candidate #real (real->posit16 (fma 2 y (fma 3 x z)))))> 0.855 * * * * [progress]: [ 13 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 14 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 15 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 16 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 17 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 18 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 19 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 20 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 21 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 22 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 23 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 24 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 25 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 26 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 27 / 28 ] simplifiying candidate # 0.855 * * * * [progress]: [ 28 / 28 ] simplifiying candidate # 0.856 * [simplify]: Simplifying: (real->posit16 (fma 3 x z)) (expm1 (fma 3 x z)) (log1p (fma 3 x z)) (* 3 x) (log (fma 3 x z)) (exp (fma 3 x z)) (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z))) (cbrt (fma 3 x z)) (* (* (fma 3 x z) (fma 3 x z)) (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (real->posit16 (fma 2 y (fma 3 x z))) (expm1 (fma 2 y (fma 3 x z))) (log1p (fma 2 y (fma 3 x z))) (* 2 y) (log (fma 2 y (fma 3 x z))) (exp (fma 2 y (fma 3 x z))) (* (cbrt (fma 2 y (fma 3 x z))) (cbrt (fma 2 y (fma 3 x z)))) (cbrt (fma 2 y (fma 3 x z))) (* (* (fma 2 y (fma 3 x z)) (fma 2 y (fma 3 x z))) (fma 2 y (fma 3 x z))) (sqrt (fma 2 y (fma 3 x z))) (sqrt (fma 2 y (fma 3 x z))) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) 0.856 * * [simplify]: iteration 0: 32 enodes 0.881 * * [simplify]: iteration 1: 45 enodes 0.915 * * [simplify]: iteration 2: 99 enodes 1.039 * * [simplify]: iteration 3: 385 enodes 1.806 * * [simplify]: iteration 4: 2010 enodes 4.504 * * [simplify]: iteration complete: 5006 enodes 4.504 * * [simplify]: Extracting #0: cost 22 inf + 0 4.504 * * [simplify]: Extracting #1: cost 156 inf + 0 4.508 * * [simplify]: Extracting #2: cost 860 inf + 744 4.517 * * [simplify]: Extracting #3: cost 804 inf + 30392 4.581 * * [simplify]: Extracting #4: cost 176 inf + 179104 4.669 * * [simplify]: Extracting #5: cost 5 inf + 227638 4.778 * * [simplify]: Extracting #6: cost 0 inf + 229168 4.875 * [simplify]: Simplified to: (real->posit16 (fma x 3 z)) (expm1 (fma x 3 z)) (log1p (fma x 3 z)) (* 3 x) (log (fma x 3 z)) (exp (fma x 3 z)) (* (cbrt (fma x 3 z)) (cbrt (fma x 3 z))) (cbrt (fma x 3 z)) (* (fma x 3 z) (* (fma x 3 z) (fma x 3 z))) (sqrt (fma x 3 z)) (sqrt (fma x 3 z)) (real->posit16 (fma 3 x (fma y 2 z))) (expm1 (fma 3 x (fma y 2 z))) (log1p (fma 3 x (fma y 2 z))) (* 2 y) (log (fma 3 x (fma y 2 z))) (exp (fma 3 x (fma y 2 z))) (* (cbrt (fma 3 x (fma y 2 z))) (cbrt (fma 3 x (fma y 2 z)))) (cbrt (fma 3 x (fma y 2 z))) (* (fma 3 x (fma y 2 z)) (* (fma 3 x (fma y 2 z)) (fma 3 x (fma y 2 z)))) (sqrt (fma 3 x (fma y 2 z))) (sqrt (fma 3 x (fma y 2 z))) (fma x 3 z) (fma x 3 z) (fma x 3 z) (fma 3 x (fma y 2 z)) (fma 3 x (fma y 2 z)) (fma 3 x (fma y 2 z)) 4.876 * * * [progress]: adding candidates to table 5.223 * * [progress]: iteration 2 / 4 5.223 * * * [progress]: picking best candidate 5.240 * * * * [pick]: Picked # 5.240 * * * [progress]: localizing error 5.252 * * * [progress]: generating rewritten candidates 5.253 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.254 * * * [progress]: generating series expansions 5.254 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.254 * [backup-simplify]: Simplify (fma 3 x (fma y 2 z)) into (fma 3 x (fma y 2 z)) 5.254 * [approximate]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in (x y z) around 0 5.254 * [taylor]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in z 5.254 * [taylor]: Rewrote expression to (+ (* 3 x) (fma y 2 z)) 5.254 * [taylor]: Taking taylor expansion of (* 3 x) in z 5.254 * [taylor]: Taking taylor expansion of 3 in z 5.254 * [backup-simplify]: Simplify 3 into 3 5.255 * [taylor]: Taking taylor expansion of x in z 5.255 * [backup-simplify]: Simplify x into x 5.255 * [taylor]: Taking taylor expansion of (fma y 2 z) in z 5.255 * [taylor]: Rewrote expression to (+ (* y 2) z) 5.255 * [taylor]: Taking taylor expansion of (* y 2) in z 5.255 * [taylor]: Taking taylor expansion of y in z 5.255 * [backup-simplify]: Simplify y into y 5.255 * [taylor]: Taking taylor expansion of 2 in z 5.255 * [backup-simplify]: Simplify 2 into 2 5.255 * [taylor]: Taking taylor expansion of z in z 5.255 * [backup-simplify]: Simplify 0 into 0 5.255 * [backup-simplify]: Simplify 1 into 1 5.255 * [taylor]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in y 5.255 * [taylor]: Rewrote expression to (+ (* 3 x) (fma y 2 z)) 5.255 * [taylor]: Taking taylor expansion of (* 3 x) in y 5.255 * [taylor]: Taking taylor expansion of 3 in y 5.255 * [backup-simplify]: Simplify 3 into 3 5.255 * [taylor]: Taking taylor expansion of x in y 5.255 * [backup-simplify]: Simplify x into x 5.255 * [taylor]: Taking taylor expansion of (fma y 2 z) in y 5.255 * [taylor]: Rewrote expression to (+ (* y 2) z) 5.255 * [taylor]: Taking taylor expansion of (* y 2) in y 5.255 * [taylor]: Taking taylor expansion of y in y 5.255 * [backup-simplify]: Simplify 0 into 0 5.255 * [backup-simplify]: Simplify 1 into 1 5.255 * [taylor]: Taking taylor expansion of 2 in y 5.255 * [backup-simplify]: Simplify 2 into 2 5.255 * [taylor]: Taking taylor expansion of z in y 5.255 * [backup-simplify]: Simplify z into z 5.255 * [taylor]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in x 5.255 * [taylor]: Rewrote expression to (+ (* 3 x) (fma y 2 z)) 5.255 * [taylor]: Taking taylor expansion of (* 3 x) in x 5.255 * [taylor]: Taking taylor expansion of 3 in x 5.255 * [backup-simplify]: Simplify 3 into 3 5.256 * [taylor]: Taking taylor expansion of x in x 5.256 * [backup-simplify]: Simplify 0 into 0 5.256 * [backup-simplify]: Simplify 1 into 1 5.256 * [taylor]: Taking taylor expansion of (fma y 2 z) in x 5.256 * [taylor]: Rewrote expression to (+ (* y 2) z) 5.256 * [taylor]: Taking taylor expansion of (* y 2) in x 5.256 * [taylor]: Taking taylor expansion of y in x 5.256 * [backup-simplify]: Simplify y into y 5.256 * [taylor]: Taking taylor expansion of 2 in x 5.256 * [backup-simplify]: Simplify 2 into 2 5.256 * [taylor]: Taking taylor expansion of z in x 5.256 * [backup-simplify]: Simplify z into z 5.256 * [taylor]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in x 5.256 * [taylor]: Rewrote expression to (+ (* 3 x) (fma y 2 z)) 5.256 * [taylor]: Taking taylor expansion of (* 3 x) in x 5.256 * [taylor]: Taking taylor expansion of 3 in x 5.256 * [backup-simplify]: Simplify 3 into 3 5.256 * [taylor]: Taking taylor expansion of x in x 5.256 * [backup-simplify]: Simplify 0 into 0 5.256 * [backup-simplify]: Simplify 1 into 1 5.256 * [taylor]: Taking taylor expansion of (fma y 2 z) in x 5.256 * [taylor]: Rewrote expression to (+ (* y 2) z) 5.256 * [taylor]: Taking taylor expansion of (* y 2) in x 5.256 * [taylor]: Taking taylor expansion of y in x 5.256 * [backup-simplify]: Simplify y into y 5.256 * [taylor]: Taking taylor expansion of 2 in x 5.256 * [backup-simplify]: Simplify 2 into 2 5.256 * [taylor]: Taking taylor expansion of z in x 5.256 * [backup-simplify]: Simplify z into z 5.257 * [backup-simplify]: Simplify (* 3 0) into 0 5.257 * [backup-simplify]: Simplify (* y 2) into (* 2 y) 5.257 * [backup-simplify]: Simplify (+ (* 2 y) z) into (+ z (* 2 y)) 5.257 * [backup-simplify]: Simplify (+ 0 (+ z (* 2 y))) into (+ z (* 2 y)) 5.257 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in y 5.257 * [taylor]: Taking taylor expansion of z in y 5.257 * [backup-simplify]: Simplify z into z 5.257 * [taylor]: Taking taylor expansion of (* 2 y) in y 5.257 * [taylor]: Taking taylor expansion of 2 in y 5.257 * [backup-simplify]: Simplify 2 into 2 5.257 * [taylor]: Taking taylor expansion of y in y 5.257 * [backup-simplify]: Simplify 0 into 0 5.257 * [backup-simplify]: Simplify 1 into 1 5.258 * [backup-simplify]: Simplify (* 2 0) into 0 5.258 * [backup-simplify]: Simplify (+ z 0) into z 5.258 * [taylor]: Taking taylor expansion of z in z 5.258 * [backup-simplify]: Simplify 0 into 0 5.258 * [backup-simplify]: Simplify 1 into 1 5.258 * [backup-simplify]: Simplify 0 into 0 5.258 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 5.259 * [backup-simplify]: Simplify (+ (* y 0) (* 0 2)) into 0 5.259 * [backup-simplify]: Simplify (+ 0 0) into 0 5.259 * [backup-simplify]: Simplify (+ 3 0) into 3 5.259 * [taylor]: Taking taylor expansion of 3 in y 5.259 * [backup-simplify]: Simplify 3 into 3 5.259 * [taylor]: Taking taylor expansion of 3 in z 5.259 * [backup-simplify]: Simplify 3 into 3 5.259 * [backup-simplify]: Simplify 3 into 3 5.260 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 5.260 * [backup-simplify]: Simplify (+ 0 2) into 2 5.260 * [taylor]: Taking taylor expansion of 2 in z 5.260 * [backup-simplify]: Simplify 2 into 2 5.260 * [backup-simplify]: Simplify 2 into 2 5.260 * [backup-simplify]: Simplify 1 into 1 5.261 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 2 (* 1 (* y 1))) (* 3 (* 1 (* 1 x))))) into (+ (* 3 x) (+ z (* 2 y))) 5.261 * [backup-simplify]: Simplify (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) into (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) 5.261 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in (x y z) around 0 5.262 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in z 5.262 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (fma (/ 1 y) 2 (/ 1 z))) 5.262 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 5.262 * [taylor]: Taking taylor expansion of 3 in z 5.262 * [backup-simplify]: Simplify 3 into 3 5.262 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.262 * [taylor]: Taking taylor expansion of x in z 5.262 * [backup-simplify]: Simplify x into x 5.262 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.262 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in z 5.262 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z)) 5.262 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in z 5.262 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.262 * [taylor]: Taking taylor expansion of y in z 5.262 * [backup-simplify]: Simplify y into y 5.262 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.262 * [taylor]: Taking taylor expansion of 2 in z 5.262 * [backup-simplify]: Simplify 2 into 2 5.262 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.262 * [taylor]: Taking taylor expansion of z in z 5.262 * [backup-simplify]: Simplify 0 into 0 5.262 * [backup-simplify]: Simplify 1 into 1 5.263 * [backup-simplify]: Simplify (/ 1 1) into 1 5.263 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in y 5.263 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (fma (/ 1 y) 2 (/ 1 z))) 5.263 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 5.263 * [taylor]: Taking taylor expansion of 3 in y 5.263 * [backup-simplify]: Simplify 3 into 3 5.263 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.263 * [taylor]: Taking taylor expansion of x in y 5.263 * [backup-simplify]: Simplify x into x 5.263 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.263 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in y 5.263 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z)) 5.263 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y 5.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.263 * [taylor]: Taking taylor expansion of y in y 5.263 * [backup-simplify]: Simplify 0 into 0 5.263 * [backup-simplify]: Simplify 1 into 1 5.263 * [backup-simplify]: Simplify (/ 1 1) into 1 5.263 * [taylor]: Taking taylor expansion of 2 in y 5.263 * [backup-simplify]: Simplify 2 into 2 5.263 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.263 * [taylor]: Taking taylor expansion of z in y 5.263 * [backup-simplify]: Simplify z into z 5.264 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.264 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in x 5.264 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (fma (/ 1 y) 2 (/ 1 z))) 5.264 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 5.264 * [taylor]: Taking taylor expansion of 3 in x 5.264 * [backup-simplify]: Simplify 3 into 3 5.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.264 * [taylor]: Taking taylor expansion of x in x 5.264 * [backup-simplify]: Simplify 0 into 0 5.264 * [backup-simplify]: Simplify 1 into 1 5.264 * [backup-simplify]: Simplify (/ 1 1) into 1 5.264 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in x 5.264 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z)) 5.264 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in x 5.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.264 * [taylor]: Taking taylor expansion of y in x 5.264 * [backup-simplify]: Simplify y into y 5.264 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.264 * [taylor]: Taking taylor expansion of 2 in x 5.264 * [backup-simplify]: Simplify 2 into 2 5.264 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.264 * [taylor]: Taking taylor expansion of z in x 5.264 * [backup-simplify]: Simplify z into z 5.264 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.265 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in x 5.265 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (fma (/ 1 y) 2 (/ 1 z))) 5.265 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 5.265 * [taylor]: Taking taylor expansion of 3 in x 5.265 * [backup-simplify]: Simplify 3 into 3 5.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.265 * [taylor]: Taking taylor expansion of x in x 5.265 * [backup-simplify]: Simplify 0 into 0 5.265 * [backup-simplify]: Simplify 1 into 1 5.265 * [backup-simplify]: Simplify (/ 1 1) into 1 5.265 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in x 5.265 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z)) 5.265 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in x 5.265 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.265 * [taylor]: Taking taylor expansion of y in x 5.265 * [backup-simplify]: Simplify y into y 5.265 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.265 * [taylor]: Taking taylor expansion of 2 in x 5.265 * [backup-simplify]: Simplify 2 into 2 5.265 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.265 * [taylor]: Taking taylor expansion of z in x 5.265 * [backup-simplify]: Simplify z into z 5.265 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.266 * [backup-simplify]: Simplify (* 3 1) into 3 5.266 * [backup-simplify]: Simplify (+ 3 0) into 3 5.266 * [taylor]: Taking taylor expansion of 3 in y 5.266 * [backup-simplify]: Simplify 3 into 3 5.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.268 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 5.268 * [backup-simplify]: Simplify (* (/ 1 y) 2) into (/ 2 y) 5.268 * [backup-simplify]: Simplify (+ (/ 2 y) (/ 1 z)) into (+ (/ 1 z) (* 2 (/ 1 y))) 5.269 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 z) (* 2 (/ 1 y)))) into (+ (/ 1 z) (* 2 (/ 1 y))) 5.269 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 2 (/ 1 y))) in y 5.269 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.269 * [taylor]: Taking taylor expansion of z in y 5.269 * [backup-simplify]: Simplify z into z 5.269 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.269 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 5.269 * [taylor]: Taking taylor expansion of 2 in y 5.269 * [backup-simplify]: Simplify 2 into 2 5.269 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.269 * [taylor]: Taking taylor expansion of y in y 5.269 * [backup-simplify]: Simplify 0 into 0 5.269 * [backup-simplify]: Simplify 1 into 1 5.270 * [backup-simplify]: Simplify (/ 1 1) into 1 5.270 * [backup-simplify]: Simplify (* 2 1) into 2 5.271 * [backup-simplify]: Simplify (+ 0 2) into 2 5.271 * [taylor]: Taking taylor expansion of 2 in z 5.271 * [backup-simplify]: Simplify 2 into 2 5.271 * [taylor]: Taking taylor expansion of 3 in z 5.271 * [backup-simplify]: Simplify 3 into 3 5.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.273 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 5.274 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.274 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 2)) into 0 5.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.275 * [backup-simplify]: Simplify (+ 0 0) into 0 5.275 * [backup-simplify]: Simplify (+ 0 0) into 0 5.276 * [taylor]: Taking taylor expansion of 0 in y 5.276 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.277 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 5.277 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 5.277 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.278 * [taylor]: Taking taylor expansion of z in z 5.278 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify 1 into 1 5.278 * [backup-simplify]: Simplify (/ 1 1) into 1 5.278 * [backup-simplify]: Simplify 1 into 1 5.278 * [taylor]: Taking taylor expansion of 0 in z 5.278 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify 2 into 2 5.278 * [backup-simplify]: Simplify 3 into 3 5.280 * [backup-simplify]: Simplify (+ (* 3 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 2 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 5.281 * [backup-simplify]: Simplify (fma 3 (/ 1 (- x)) (fma (/ 1 (- y)) 2 (/ 1 (- z)))) into (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) 5.281 * [approximate]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in (x y z) around 0 5.281 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in z 5.281 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (fma (/ -1 y) 2 (/ -1 z))) 5.281 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z 5.281 * [taylor]: Taking taylor expansion of 3 in z 5.281 * [backup-simplify]: Simplify 3 into 3 5.281 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.282 * [taylor]: Taking taylor expansion of -1 in z 5.282 * [backup-simplify]: Simplify -1 into -1 5.282 * [taylor]: Taking taylor expansion of x in z 5.282 * [backup-simplify]: Simplify x into x 5.282 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 5.282 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in z 5.282 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z)) 5.282 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in z 5.282 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.282 * [taylor]: Taking taylor expansion of -1 in z 5.282 * [backup-simplify]: Simplify -1 into -1 5.282 * [taylor]: Taking taylor expansion of y in z 5.282 * [backup-simplify]: Simplify y into y 5.282 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.282 * [taylor]: Taking taylor expansion of 2 in z 5.282 * [backup-simplify]: Simplify 2 into 2 5.282 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.282 * [taylor]: Taking taylor expansion of -1 in z 5.282 * [backup-simplify]: Simplify -1 into -1 5.283 * [taylor]: Taking taylor expansion of z in z 5.283 * [backup-simplify]: Simplify 0 into 0 5.283 * [backup-simplify]: Simplify 1 into 1 5.283 * [backup-simplify]: Simplify (/ -1 1) into -1 5.283 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in y 5.283 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (fma (/ -1 y) 2 (/ -1 z))) 5.283 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in y 5.283 * [taylor]: Taking taylor expansion of 3 in y 5.283 * [backup-simplify]: Simplify 3 into 3 5.283 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.284 * [taylor]: Taking taylor expansion of -1 in y 5.284 * [backup-simplify]: Simplify -1 into -1 5.284 * [taylor]: Taking taylor expansion of x in y 5.284 * [backup-simplify]: Simplify x into x 5.284 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 5.284 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in y 5.284 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z)) 5.284 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y 5.284 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.284 * [taylor]: Taking taylor expansion of -1 in y 5.284 * [backup-simplify]: Simplify -1 into -1 5.284 * [taylor]: Taking taylor expansion of y in y 5.284 * [backup-simplify]: Simplify 0 into 0 5.284 * [backup-simplify]: Simplify 1 into 1 5.285 * [backup-simplify]: Simplify (/ -1 1) into -1 5.285 * [taylor]: Taking taylor expansion of 2 in y 5.285 * [backup-simplify]: Simplify 2 into 2 5.285 * [taylor]: Taking taylor expansion of (/ -1 z) in y 5.285 * [taylor]: Taking taylor expansion of -1 in y 5.285 * [backup-simplify]: Simplify -1 into -1 5.285 * [taylor]: Taking taylor expansion of z in y 5.285 * [backup-simplify]: Simplify z into z 5.285 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 5.285 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in x 5.285 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (fma (/ -1 y) 2 (/ -1 z))) 5.285 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 5.285 * [taylor]: Taking taylor expansion of 3 in x 5.285 * [backup-simplify]: Simplify 3 into 3 5.285 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.285 * [taylor]: Taking taylor expansion of -1 in x 5.286 * [backup-simplify]: Simplify -1 into -1 5.286 * [taylor]: Taking taylor expansion of x in x 5.286 * [backup-simplify]: Simplify 0 into 0 5.286 * [backup-simplify]: Simplify 1 into 1 5.290 * [backup-simplify]: Simplify (/ -1 1) into -1 5.290 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in x 5.291 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z)) 5.291 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in x 5.291 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.291 * [taylor]: Taking taylor expansion of -1 in x 5.291 * [backup-simplify]: Simplify -1 into -1 5.291 * [taylor]: Taking taylor expansion of y in x 5.291 * [backup-simplify]: Simplify y into y 5.291 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.291 * [taylor]: Taking taylor expansion of 2 in x 5.291 * [backup-simplify]: Simplify 2 into 2 5.291 * [taylor]: Taking taylor expansion of (/ -1 z) in x 5.291 * [taylor]: Taking taylor expansion of -1 in x 5.291 * [backup-simplify]: Simplify -1 into -1 5.291 * [taylor]: Taking taylor expansion of z in x 5.291 * [backup-simplify]: Simplify z into z 5.291 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 5.291 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in x 5.292 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (fma (/ -1 y) 2 (/ -1 z))) 5.292 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x 5.292 * [taylor]: Taking taylor expansion of 3 in x 5.292 * [backup-simplify]: Simplify 3 into 3 5.292 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.292 * [taylor]: Taking taylor expansion of -1 in x 5.292 * [backup-simplify]: Simplify -1 into -1 5.292 * [taylor]: Taking taylor expansion of x in x 5.292 * [backup-simplify]: Simplify 0 into 0 5.292 * [backup-simplify]: Simplify 1 into 1 5.293 * [backup-simplify]: Simplify (/ -1 1) into -1 5.293 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in x 5.293 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z)) 5.293 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in x 5.293 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.293 * [taylor]: Taking taylor expansion of -1 in x 5.293 * [backup-simplify]: Simplify -1 into -1 5.293 * [taylor]: Taking taylor expansion of y in x 5.293 * [backup-simplify]: Simplify y into y 5.293 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.293 * [taylor]: Taking taylor expansion of 2 in x 5.293 * [backup-simplify]: Simplify 2 into 2 5.293 * [taylor]: Taking taylor expansion of (/ -1 z) in x 5.293 * [taylor]: Taking taylor expansion of -1 in x 5.293 * [backup-simplify]: Simplify -1 into -1 5.293 * [taylor]: Taking taylor expansion of z in x 5.293 * [backup-simplify]: Simplify z into z 5.293 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 5.294 * [backup-simplify]: Simplify (* 3 -1) into -3 5.294 * [backup-simplify]: Simplify (+ -3 0) into -3 5.294 * [taylor]: Taking taylor expansion of -3 in y 5.295 * [backup-simplify]: Simplify -3 into -3 5.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.296 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0 5.297 * [backup-simplify]: Simplify (* (/ -1 y) 2) into (/ -2 y) 5.297 * [backup-simplify]: Simplify (+ (/ -2 y) (/ -1 z)) into (- (+ (/ 1 z) (* 2 (/ 1 y)))) 5.297 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 z) (* 2 (/ 1 y))))) into (- (+ (* 2 (/ 1 y)) (/ 1 z))) 5.297 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 z))) in y 5.297 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 z)) in y 5.298 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 5.298 * [taylor]: Taking taylor expansion of 2 in y 5.298 * [backup-simplify]: Simplify 2 into 2 5.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.298 * [taylor]: Taking taylor expansion of y in y 5.298 * [backup-simplify]: Simplify 0 into 0 5.298 * [backup-simplify]: Simplify 1 into 1 5.299 * [backup-simplify]: Simplify (/ 1 1) into 1 5.299 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.299 * [taylor]: Taking taylor expansion of z in y 5.299 * [backup-simplify]: Simplify z into z 5.299 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.299 * [backup-simplify]: Simplify (* 2 1) into 2 5.300 * [backup-simplify]: Simplify (+ 2 0) into 2 5.301 * [backup-simplify]: Simplify (- 2) into -2 5.301 * [taylor]: Taking taylor expansion of -2 in z 5.301 * [backup-simplify]: Simplify -2 into -2 5.301 * [taylor]: Taking taylor expansion of -3 in z 5.301 * [backup-simplify]: Simplify -3 into -3 5.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.303 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 -1))) into 0 5.304 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 5.304 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 2)) into 0 5.305 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 5.305 * [backup-simplify]: Simplify (+ 0 0) into 0 5.306 * [backup-simplify]: Simplify (+ 0 0) into 0 5.306 * [taylor]: Taking taylor expansion of 0 in y 5.306 * [backup-simplify]: Simplify 0 into 0 5.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.307 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 5.308 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 5.308 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 5.308 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.308 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.308 * [taylor]: Taking taylor expansion of z in z 5.308 * [backup-simplify]: Simplify 0 into 0 5.308 * [backup-simplify]: Simplify 1 into 1 5.308 * [backup-simplify]: Simplify (/ 1 1) into 1 5.309 * [backup-simplify]: Simplify (- 1) into -1 5.309 * [backup-simplify]: Simplify -1 into -1 5.309 * [taylor]: Taking taylor expansion of 0 in z 5.309 * [backup-simplify]: Simplify 0 into 0 5.309 * [backup-simplify]: Simplify -2 into -2 5.309 * [backup-simplify]: Simplify -3 into -3 5.311 * [backup-simplify]: Simplify (+ (* -3 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -2 (* 1 (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 5.311 * * * [progress]: simplifying candidates 5.311 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #real (real->posit16 (fma 3 x (fma y 2 z)))))> 5.311 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 5.311 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 5.311 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 5.311 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 5.312 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 5.312 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 5.312 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 5.312 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 5.312 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 5.312 * * * * [progress]: [ 11 / 14 ] simplifiying candidate # 5.312 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 5.312 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 5.312 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 5.312 * [simplify]: Simplifying: (real->posit16 (fma 3 x (fma y 2 z))) (expm1 (fma 3 x (fma y 2 z))) (log1p (fma 3 x (fma y 2 z))) (* 3 x) (log (fma 3 x (fma y 2 z))) (exp (fma 3 x (fma y 2 z))) (* (cbrt (fma 3 x (fma y 2 z))) (cbrt (fma 3 x (fma y 2 z)))) (cbrt (fma 3 x (fma y 2 z))) (* (* (fma 3 x (fma y 2 z)) (fma 3 x (fma y 2 z))) (fma 3 x (fma y 2 z))) (sqrt (fma 3 x (fma y 2 z))) (sqrt (fma 3 x (fma y 2 z))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) 5.313 * * [simplify]: iteration 0: 21 enodes 5.338 * * [simplify]: iteration 1: 32 enodes 5.373 * * [simplify]: iteration 2: 84 enodes 5.507 * * [simplify]: iteration 3: 437 enodes 6.973 * * [simplify]: iteration 4: 3006 enodes 10.209 * * [simplify]: iteration complete: 5000 enodes 10.209 * * [simplify]: Extracting #0: cost 11 inf + 0 10.209 * * [simplify]: Extracting #1: cost 98 inf + 0 10.211 * * [simplify]: Extracting #2: cost 459 inf + 63 10.226 * * [simplify]: Extracting #3: cost 512 inf + 22920 10.312 * * [simplify]: Extracting #4: cost 52 inf + 130929 10.414 * * [simplify]: Extracting #5: cost 0 inf + 144486 10.517 * [simplify]: Simplified to: (real->posit16 (fma x 3 (fma y 2 z))) (expm1 (fma x 3 (fma y 2 z))) (log1p (fma x 3 (fma y 2 z))) (* 3 x) (log (fma x 3 (fma y 2 z))) (exp (fma x 3 (fma y 2 z))) (* (cbrt (fma x 3 (fma y 2 z))) (cbrt (fma x 3 (fma y 2 z)))) (cbrt (fma x 3 (fma y 2 z))) (* (* (fma x 3 (fma y 2 z)) (fma x 3 (fma y 2 z))) (fma x 3 (fma y 2 z))) (sqrt (fma x 3 (fma y 2 z))) (sqrt (fma x 3 (fma y 2 z))) (fma x 3 (fma y 2 z)) (fma x 3 (fma y 2 z)) (fma x 3 (fma y 2 z)) 10.518 * * * [progress]: adding candidates to table 10.716 * [progress]: [Phase 3 of 3] Extracting. 10.725 * [simplify]: Simplifying: (fma 3 x (fma y 2 z)) 10.725 * * [simplify]: iteration 0: 7 enodes 10.726 * * [simplify]: iteration complete: 7 enodes 10.726 * * [simplify]: Extracting #0: cost 1 inf + 0 10.726 * * [simplify]: Extracting #1: cost 4 inf + 0 10.726 * * [simplify]: Extracting #2: cost 5 inf + 2 10.726 * * [simplify]: Extracting #3: cost 0 inf + 178 10.727 * [simplify]: Simplified to: (fma 3 x (fma y 2 z)) 13.295 * [regime-testing]: Baseline error score: 0.0006250781347668458 13.342 * [regime-testing]: Oracle error score: 0.0006250781347668458 13.342 * [regime-testing]: End program error score: 0.0006250781347668458