1554304080.797 * [misc]progress: [Phase 1 of 3] Setting up. 1554304080.797 * * * [misc]progress: [1/2] Preparing points 1554304080.822 * * * [misc]progress: [2/2] Setting up program. 1554304080.825 * [misc]progress: [Phase 2 of 3] Improving. 1554304080.825 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1554304080.825 * [enter]simplify: Simplifying (+ (* x (* x x)) (* x x)) 1554304080.825 * * [misc]simplify: iters left: 6 (4 enodes) 1554304080.827 * * [misc]simplify: iters left: 5 (22 enodes) 1554304080.835 * * [misc]simplify: iters left: 4 (41 enodes) 1554304080.846 * * [misc]simplify: iters left: 3 (52 enodes) 1554304080.861 * * [misc]simplify: iters left: 2 (66 enodes) 1554304080.885 * * [misc]simplify: iters left: 1 (87 enodes) 1554304080.901 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304080.901 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1554304080.901 * * [misc]simplify: Extracting #2: cost 14 inf + 2 1554304080.901 * * [misc]simplify: Extracting #3: cost 7 inf + 321 1554304080.902 * * [misc]simplify: Extracting #4: cost 0 inf + 976 1554304080.903 * [exit]simplify: Simplified to (fma (* x x) x (* x x)) 1554304080.903 * [misc]simplify: Simplified (2) to (λ (x) (fma (* x x) x (* x x))) 1554304080.909 * * [misc]progress: iteration 1 / 4 1554304080.910 * * * [misc]progress: picking best candidate 1554304080.913 * * * * [misc]pick: Picked # 1554304080.913 * * * [misc]progress: localizing error 1554304080.921 * * * [misc]progress: generating rewritten candidates 1554304080.921 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1554304080.922 * * * [misc]progress: generating series expansions 1554304080.922 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1554304080.922 * [misc]backup-simplify: Simplify (fma (* x x) x (* x x)) into (fma (pow x 2) x (pow x 2)) 1554304080.922 * [misc]approximate: Taking taylor expansion of (fma (pow x 2) x (pow x 2)) in (x) around 0 1554304080.922 * [misc]taylor: Taking taylor expansion of (fma (pow x 2) x (pow x 2)) in x 1554304080.922 * [misc]taylor: Rewrote expression to (+ (* (pow x 2) x) (pow x 2)) 1554304080.922 * [misc]taylor: Taking taylor expansion of (* (pow x 2) x) in x 1554304080.922 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554304080.922 * [misc]taylor: Taking taylor expansion of x in x 1554304080.922 * [misc]backup-simplify: Simplify 0 into 0 1554304080.922 * [misc]backup-simplify: Simplify 1 into 1 1554304080.922 * [misc]taylor: Taking taylor expansion of x in x 1554304080.922 * [misc]backup-simplify: Simplify 0 into 0 1554304080.922 * [misc]backup-simplify: Simplify 1 into 1 1554304080.922 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554304080.922 * [misc]taylor: Taking taylor expansion of x in x 1554304080.922 * [misc]backup-simplify: Simplify 0 into 0 1554304080.922 * [misc]backup-simplify: Simplify 1 into 1 1554304080.922 * [misc]taylor: Taking taylor expansion of (fma (pow x 2) x (pow x 2)) in x 1554304080.922 * [misc]taylor: Rewrote expression to (+ (* (pow x 2) x) (pow x 2)) 1554304080.922 * [misc]taylor: Taking taylor expansion of (* (pow x 2) x) in x 1554304080.922 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554304080.922 * [misc]taylor: Taking taylor expansion of x in x 1554304080.922 * [misc]backup-simplify: Simplify 0 into 0 1554304080.922 * [misc]backup-simplify: Simplify 1 into 1 1554304080.922 * [misc]taylor: Taking taylor expansion of x in x 1554304080.922 * [misc]backup-simplify: Simplify 0 into 0 1554304080.922 * [misc]backup-simplify: Simplify 1 into 1 1554304080.922 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554304080.922 * [misc]taylor: Taking taylor expansion of x in x 1554304080.922 * [misc]backup-simplify: Simplify 0 into 0 1554304080.922 * [misc]backup-simplify: Simplify 1 into 1 1554304080.922 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554304080.923 * [misc]backup-simplify: Simplify (* 1 0) into 0 1554304080.923 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554304080.923 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554304080.923 * [misc]backup-simplify: Simplify 1 into 1 1554304080.923 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554304080.923 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 0 0)) into 1 1554304080.923 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554304080.923 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554304080.923 * [misc]backup-simplify: Simplify 1 into 1 1554304080.923 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554304080.924 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1) (* 0 0))) into 0 1554304080.924 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554304080.924 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.924 * [misc]backup-simplify: Simplify 0 into 0 1554304080.924 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554304080.924 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1554304080.925 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554304080.925 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.925 * [misc]backup-simplify: Simplify 0 into 0 1554304080.925 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554304080.925 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1554304080.925 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554304080.925 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.925 * [misc]backup-simplify: Simplify 0 into 0 1554304080.926 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554304080.926 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1554304080.926 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554304080.926 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.926 * [misc]backup-simplify: Simplify 0 into 0 1554304080.927 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554304080.927 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1554304080.927 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554304080.927 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.927 * [misc]backup-simplify: Simplify 0 into 0 1554304080.928 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554304080.928 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1554304080.928 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554304080.928 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.928 * [misc]backup-simplify: Simplify 0 into 0 1554304080.928 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 3)) (* 1 (pow x 2))) into (+ (pow x 3) (pow x 2)) 1554304080.929 * [misc]backup-simplify: Simplify (fma (* (/ 1 x) (/ 1 x)) (/ 1 x) (* (/ 1 x) (/ 1 x))) into (fma (/ 1 (pow x 2)) (/ 1 x) (/ 1 (pow x 2))) 1554304080.929 * [misc]approximate: Taking taylor expansion of (fma (/ 1 (pow x 2)) (/ 1 x) (/ 1 (pow x 2))) in (x) around 0 1554304080.929 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (pow x 2)) (/ 1 x) (/ 1 (pow x 2))) in x 1554304080.929 * [misc]taylor: Rewrote expression to (+ (* (/ 1 (pow x 2)) (/ 1 x)) (/ 1 (pow x 2))) 1554304080.929 * [misc]taylor: Taking taylor expansion of (* (/ 1 (pow x 2)) (/ 1 x)) in x 1554304080.929 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554304080.929 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554304080.929 * [misc]taylor: Taking taylor expansion of x in x 1554304080.929 * [misc]backup-simplify: Simplify 0 into 0 1554304080.929 * [misc]backup-simplify: Simplify 1 into 1 1554304080.929 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554304080.929 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554304080.929 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554304080.929 * [misc]taylor: Taking taylor expansion of x in x 1554304080.929 * [misc]backup-simplify: Simplify 0 into 0 1554304080.929 * [misc]backup-simplify: Simplify 1 into 1 1554304080.929 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554304080.929 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554304080.929 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554304080.929 * [misc]taylor: Taking taylor expansion of x in x 1554304080.929 * [misc]backup-simplify: Simplify 0 into 0 1554304080.929 * [misc]backup-simplify: Simplify 1 into 1 1554304080.929 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554304080.930 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554304080.930 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (pow x 2)) (/ 1 x) (/ 1 (pow x 2))) in x 1554304080.930 * [misc]taylor: Rewrote expression to (+ (* (/ 1 (pow x 2)) (/ 1 x)) (/ 1 (pow x 2))) 1554304080.930 * [misc]taylor: Taking taylor expansion of (* (/ 1 (pow x 2)) (/ 1 x)) in x 1554304080.930 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554304080.930 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554304080.930 * [misc]taylor: Taking taylor expansion of x in x 1554304080.930 * [misc]backup-simplify: Simplify 0 into 0 1554304080.930 * [misc]backup-simplify: Simplify 1 into 1 1554304080.930 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554304080.930 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554304080.930 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554304080.930 * [misc]taylor: Taking taylor expansion of x in x 1554304080.930 * [misc]backup-simplify: Simplify 0 into 0 1554304080.930 * [misc]backup-simplify: Simplify 1 into 1 1554304080.930 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554304080.930 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554304080.930 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554304080.930 * [misc]taylor: Taking taylor expansion of x in x 1554304080.930 * [misc]backup-simplify: Simplify 0 into 0 1554304080.930 * [misc]backup-simplify: Simplify 1 into 1 1554304080.930 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554304080.930 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554304080.931 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554304080.931 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554304080.931 * [misc]backup-simplify: Simplify 1 into 1 1554304080.931 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554304080.931 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554304080.931 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554304080.931 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554304080.931 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554304080.931 * [misc]backup-simplify: Simplify 1 into 1 1554304080.932 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.932 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554304080.932 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.932 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554304080.932 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554304080.932 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554304080.932 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.932 * [misc]backup-simplify: Simplify 0 into 0 1554304080.933 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.933 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554304080.933 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.933 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554304080.933 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554304080.934 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.934 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.934 * [misc]backup-simplify: Simplify 0 into 0 1554304080.934 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.934 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554304080.934 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.935 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554304080.935 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554304080.935 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.935 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.935 * [misc]backup-simplify: Simplify 0 into 0 1554304080.935 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.936 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554304080.936 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.936 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554304080.936 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554304080.937 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.937 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.937 * [misc]backup-simplify: Simplify 0 into 0 1554304080.937 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.937 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554304080.938 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.938 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554304080.938 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554304080.939 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.939 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.939 * [misc]backup-simplify: Simplify 0 into 0 1554304080.939 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.939 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554304080.940 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.940 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554304080.940 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554304080.941 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.941 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.941 * [misc]backup-simplify: Simplify 0 into 0 1554304080.941 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 (/ 1 x)) 2)) (* 1 (pow (/ 1 (/ 1 x)) 3))) into (+ (pow x 3) (pow x 2)) 1554304080.941 * [misc]backup-simplify: Simplify (fma (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- x)))) into (fma (/ 1 (pow x 2)) (/ -1 x) (/ 1 (pow x 2))) 1554304080.941 * [misc]approximate: Taking taylor expansion of (fma (/ 1 (pow x 2)) (/ -1 x) (/ 1 (pow x 2))) in (x) around 0 1554304080.941 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (pow x 2)) (/ -1 x) (/ 1 (pow x 2))) in x 1554304080.941 * [misc]taylor: Rewrote expression to (+ (* (/ 1 (pow x 2)) (/ -1 x)) (/ 1 (pow x 2))) 1554304080.941 * [misc]taylor: Taking taylor expansion of (* (/ 1 (pow x 2)) (/ -1 x)) in x 1554304080.941 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554304080.941 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554304080.941 * [misc]taylor: Taking taylor expansion of x in x 1554304080.941 * [misc]backup-simplify: Simplify 0 into 0 1554304080.941 * [misc]backup-simplify: Simplify 1 into 1 1554304080.941 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554304080.942 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554304080.942 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554304080.942 * [misc]taylor: Taking taylor expansion of -1 in x 1554304080.942 * [misc]backup-simplify: Simplify -1 into -1 1554304080.942 * [misc]taylor: Taking taylor expansion of x in x 1554304080.942 * [misc]backup-simplify: Simplify 0 into 0 1554304080.942 * [misc]backup-simplify: Simplify 1 into 1 1554304080.942 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554304080.942 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554304080.942 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554304080.942 * [misc]taylor: Taking taylor expansion of x in x 1554304080.942 * [misc]backup-simplify: Simplify 0 into 0 1554304080.942 * [misc]backup-simplify: Simplify 1 into 1 1554304080.942 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554304080.942 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554304080.942 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (pow x 2)) (/ -1 x) (/ 1 (pow x 2))) in x 1554304080.942 * [misc]taylor: Rewrote expression to (+ (* (/ 1 (pow x 2)) (/ -1 x)) (/ 1 (pow x 2))) 1554304080.942 * [misc]taylor: Taking taylor expansion of (* (/ 1 (pow x 2)) (/ -1 x)) in x 1554304080.942 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554304080.942 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554304080.942 * [misc]taylor: Taking taylor expansion of x in x 1554304080.942 * [misc]backup-simplify: Simplify 0 into 0 1554304080.942 * [misc]backup-simplify: Simplify 1 into 1 1554304080.942 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554304080.942 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554304080.942 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554304080.942 * [misc]taylor: Taking taylor expansion of -1 in x 1554304080.942 * [misc]backup-simplify: Simplify -1 into -1 1554304080.942 * [misc]taylor: Taking taylor expansion of x in x 1554304080.942 * [misc]backup-simplify: Simplify 0 into 0 1554304080.942 * [misc]backup-simplify: Simplify 1 into 1 1554304080.943 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554304080.943 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554304080.943 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554304080.943 * [misc]taylor: Taking taylor expansion of x in x 1554304080.943 * [misc]backup-simplify: Simplify 0 into 0 1554304080.943 * [misc]backup-simplify: Simplify 1 into 1 1554304080.943 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554304080.943 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554304080.943 * [misc]backup-simplify: Simplify (* 1 -1) into -1 1554304080.943 * [misc]backup-simplify: Simplify (+ -1 0) into -1 1554304080.943 * [misc]backup-simplify: Simplify -1 into -1 1554304080.943 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554304080.943 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554304080.944 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554304080.944 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 -1)) into 0 1554304080.944 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554304080.944 * [misc]backup-simplify: Simplify 1 into 1 1554304080.944 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.944 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554304080.944 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.945 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 -1))) into 0 1554304080.945 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554304080.945 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554304080.945 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.945 * [misc]backup-simplify: Simplify 0 into 0 1554304080.945 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.945 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554304080.946 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.946 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1554304080.946 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554304080.946 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.947 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.947 * [misc]backup-simplify: Simplify 0 into 0 1554304080.947 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.947 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554304080.948 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.948 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1554304080.948 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554304080.949 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.949 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.949 * [misc]backup-simplify: Simplify 0 into 0 1554304080.949 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.950 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554304080.950 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.951 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 1554304080.951 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554304080.952 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.952 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.952 * [misc]backup-simplify: Simplify 0 into 0 1554304080.952 * [misc]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 1554304080.953 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554304080.953 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.953 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 1554304080.954 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554304080.954 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.954 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.954 * [misc]backup-simplify: Simplify 0 into 0 1554304080.954 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.955 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554304080.955 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.955 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0 1554304080.956 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554304080.956 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554304080.956 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554304080.956 * [misc]backup-simplify: Simplify 0 into 0 1554304080.956 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 (/ 1 (- x))) 2)) (* -1 (pow (/ 1 (/ 1 (- x))) 3))) into (+ (pow x 3) (pow x 2)) 1554304080.956 * * * [misc]progress: simplifying candidates 1554304080.956 * * * * [misc]progress: [ 1 / 14 ] simplifiying candidate # 1554304080.957 * * * * [misc]progress: [ 2 / 14 ] simplifiying candidate # 1554304080.957 * * * * [misc]progress: [ 3 / 14 ] simplifiying candidate # 1554304080.957 * * * * [misc]progress: [ 4 / 14 ] simplifiying candidate # 1554304080.957 * * * * [misc]progress: [ 5 / 14 ] simplifiying candidate # 1554304080.957 * * * * [misc]progress: [ 6 / 14 ] simplifiying candidate # 1554304080.957 * * * * [misc]progress: [ 7 / 14 ] simplifiying candidate # 1554304080.957 * * * * [misc]progress: [ 8 / 14 ] simplifiying candidate # 1554304080.957 * * * * [misc]progress: [ 9 / 14 ] simplifiying candidate # 1554304080.957 * * * * [misc]progress: [ 10 / 14 ] simplifiying candidate # 1554304080.957 * * * * [misc]progress: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (fma (* x x) x (* x x)))))> 1554304080.957 * * * * [misc]progress: [ 12 / 14 ] simplifiying candidate # 1554304080.957 * [enter]simplify: Simplifying (+ (pow x 3) (pow x 2)) 1554304080.957 * * [misc]simplify: iters left: 3 (6 enodes) 1554304080.959 * * [misc]simplify: iters left: 2 (22 enodes) 1554304080.963 * * [misc]simplify: iters left: 1 (34 enodes) 1554304080.969 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304080.969 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1554304080.969 * * [misc]simplify: Extracting #2: cost 10 inf + 194 1554304080.970 * * [misc]simplify: Extracting #3: cost 2 inf + 552 1554304080.970 * * [misc]simplify: Extracting #4: cost 0 inf + 636 1554304080.970 * [exit]simplify: Simplified to (fma (* x x) x (* x x)) 1554304080.970 * [misc]simplify: Simplified (2) to (λ (x) (fma (* x x) x (* x x))) 1554304080.970 * * * * [misc]progress: [ 13 / 14 ] simplifiying candidate # 1554304080.970 * [enter]simplify: Simplifying (+ (pow x 3) (pow x 2)) 1554304080.970 * * [misc]simplify: iters left: 3 (6 enodes) 1554304080.972 * * [misc]simplify: iters left: 2 (22 enodes) 1554304080.981 * * [misc]simplify: iters left: 1 (34 enodes) 1554304080.986 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304080.986 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1554304080.986 * * [misc]simplify: Extracting #2: cost 10 inf + 194 1554304080.987 * * [misc]simplify: Extracting #3: cost 2 inf + 552 1554304080.987 * * [misc]simplify: Extracting #4: cost 0 inf + 636 1554304080.987 * [exit]simplify: Simplified to (fma (* x x) x (* x x)) 1554304080.987 * [misc]simplify: Simplified (2) to (λ (x) (fma (* x x) x (* x x))) 1554304080.987 * * * * [misc]progress: [ 14 / 14 ] simplifiying candidate # 1554304080.987 * [enter]simplify: Simplifying (+ (pow x 3) (pow x 2)) 1554304080.987 * * [misc]simplify: iters left: 3 (6 enodes) 1554304080.989 * * [misc]simplify: iters left: 2 (22 enodes) 1554304080.993 * * [misc]simplify: iters left: 1 (34 enodes) 1554304080.999 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304080.999 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1554304080.999 * * [misc]simplify: Extracting #2: cost 10 inf + 194 1554304080.999 * * [misc]simplify: Extracting #3: cost 2 inf + 552 1554304080.999 * * [misc]simplify: Extracting #4: cost 0 inf + 636 1554304080.999 * [exit]simplify: Simplified to (fma (* x x) x (* x x)) 1554304080.999 * [misc]simplify: Simplified (2) to (λ (x) (fma (* x x) x (* x x))) 1554304080.999 * * * [misc]progress: adding candidates to table 1554304081.070 * [misc]progress: [Phase 3 of 3] Extracting. 1554304081.071 * [enter]simplify: Simplifying (fma (* x x) x (* x x)) 1554304081.072 * * [misc]simplify: iters left: 3 (3 enodes) 1554304081.072 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304081.072 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304081.072 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1554304081.072 * * [misc]simplify: Extracting #3: cost 0 inf + 138 1554304081.072 * [exit]simplify: Simplified to (fma (* x x) x (* x x)) 1554304082.009 * [misc]regime-testing: Baseline error score: 0.014251781472684086 1554304082.010 * [misc]regime-testing: Oracle error score: 0.014251781472684086 1554304082.010 * [misc]regime-testing: End program error score: 0.014251781472684086 1554304082.045 * [misc]regime-testing: Target error score: 0.02474369452476632