1550838591.784 * [misc]progress: [Phase 1 of 3] Setting up. 1550838591.784 * * * [misc]progress: [1/2] Preparing points 1550838591.819 * * * [misc]progress: [2/2] Setting up program. 1550838591.823 * [misc]progress: [Phase 2 of 3] Improving. 1550838591.823 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550838591.823 * [enter]simplify: Simplifying (* (+ a b) (+ a b)) 1550838591.823 * * [misc]simplify: iters left: 4 (4 enodes) 1550838591.825 * * [misc]simplify: iters left: 3 (19 enodes) 1550838591.832 * * [misc]simplify: iters left: 2 (41 enodes) 1550838591.846 * * [misc]simplify: iters left: 1 (77 enodes) 1550838591.866 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838591.866 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550838591.866 * * [misc]simplify: Extracting #2: cost 29 inf + 0 1550838591.866 * * [misc]simplify: Extracting #3: cost 24 inf + 127 1550838591.866 * * [misc]simplify: Extracting #4: cost 4 inf + 1844 1550838591.867 * * [misc]simplify: Extracting #5: cost 0 inf + 2332 1550838591.868 * * [misc]simplify: Extracting #6: cost 0 inf + 2292 1550838591.868 * [exit]simplify: Simplified to (* (+ b a) (+ b a)) 1550838591.868 * [misc]simplify: Simplified (2) to (λ (a b) (* (+ b a) (+ b a))) 1550838591.870 * * [misc]progress: iteration 1 / 4 1550838591.871 * * * [misc]progress: picking best candidate 1550838591.872 * * * * [misc]pick: Picked # 1550838591.872 * * * [misc]progress: localizing error 1550838591.884 * * * [misc]progress: generating rewritten candidates 1550838591.884 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1550838591.889 * * * [misc]progress: generating series expansions 1550838591.889 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1550838591.889 * [misc]backup-simplify: Simplify (* (+ a b) (+ a b)) into (pow (+ a b) 2) 1550838591.889 * [misc]approximate: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0 1550838591.889 * [misc]taylor: Taking taylor expansion of (pow (+ a b) 2) in b 1550838591.889 * [misc]taylor: Taking taylor expansion of (+ a b) in b 1550838591.889 * [misc]taylor: Taking taylor expansion of a in b 1550838591.889 * [misc]backup-simplify: Simplify a into a 1550838591.889 * [misc]taylor: Taking taylor expansion of b in b 1550838591.889 * [misc]backup-simplify: Simplify 0 into 0 1550838591.889 * [misc]backup-simplify: Simplify 1 into 1 1550838591.889 * [misc]backup-simplify: Simplify (+ a 0) into a 1550838591.889 * [misc]taylor: Taking taylor expansion of (pow (+ a b) 2) in a 1550838591.889 * [misc]taylor: Taking taylor expansion of (+ a b) in a 1550838591.889 * [misc]taylor: Taking taylor expansion of a in a 1550838591.889 * [misc]backup-simplify: Simplify 0 into 0 1550838591.889 * [misc]backup-simplify: Simplify 1 into 1 1550838591.889 * [misc]taylor: Taking taylor expansion of b in a 1550838591.889 * [misc]backup-simplify: Simplify b into b 1550838591.889 * [misc]backup-simplify: Simplify (+ 0 b) into b 1550838591.889 * [misc]taylor: Taking taylor expansion of (pow (+ a b) 2) in a 1550838591.889 * [misc]taylor: Taking taylor expansion of (+ a b) in a 1550838591.889 * [misc]taylor: Taking taylor expansion of a in a 1550838591.889 * [misc]backup-simplify: Simplify 0 into 0 1550838591.889 * [misc]backup-simplify: Simplify 1 into 1 1550838591.889 * [misc]taylor: Taking taylor expansion of b in a 1550838591.889 * [misc]backup-simplify: Simplify b into b 1550838591.889 * [misc]backup-simplify: Simplify (+ 0 b) into b 1550838591.890 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1550838591.890 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1550838591.890 * [misc]taylor: Taking taylor expansion of b in b 1550838591.890 * [misc]backup-simplify: Simplify 0 into 0 1550838591.890 * [misc]backup-simplify: Simplify 1 into 1 1550838591.890 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550838591.890 * [misc]backup-simplify: Simplify (+ (* b 1) (* 1 b)) into (* 2 b) 1550838591.890 * [misc]taylor: Taking taylor expansion of (* 2 b) in b 1550838591.890 * [misc]taylor: Taking taylor expansion of 2 in b 1550838591.890 * [misc]backup-simplify: Simplify 2 into 2 1550838591.890 * [misc]taylor: Taking taylor expansion of b in b 1550838591.890 * [misc]backup-simplify: Simplify 0 into 0 1550838591.890 * [misc]backup-simplify: Simplify 1 into 1 1550838591.890 * [misc]backup-simplify: Simplify (* 2 0) into 0 1550838591.890 * [misc]backup-simplify: Simplify 0 into 0 1550838591.890 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550838591.891 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1 1550838591.891 * [misc]taylor: Taking taylor expansion of 1 in b 1550838591.891 * [misc]backup-simplify: Simplify 1 into 1 1550838591.891 * [misc]backup-simplify: Simplify 1 into 1 1550838591.891 * [misc]backup-simplify: Simplify (+ (* 2 1) (* 0 0)) into 2 1550838591.891 * [misc]backup-simplify: Simplify 2 into 2 1550838591.891 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550838591.891 * [misc]backup-simplify: Simplify 1 into 1 1550838591.891 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 1550838591.891 * [misc]backup-simplify: Simplify (* (+ (/ 1 a) (/ 1 b)) (+ (/ 1 a) (/ 1 b))) into (pow (+ (/ 1 a) (/ 1 b)) 2) 1550838591.891 * [misc]approximate: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0 1550838591.891 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b 1550838591.891 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1550838591.891 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1550838591.891 * [misc]taylor: Taking taylor expansion of a in b 1550838591.891 * [misc]backup-simplify: Simplify a into a 1550838591.891 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1550838591.891 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1550838591.891 * [misc]taylor: Taking taylor expansion of b in b 1550838591.891 * [misc]backup-simplify: Simplify 0 into 0 1550838591.892 * [misc]backup-simplify: Simplify 1 into 1 1550838591.892 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838591.892 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550838591.892 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a 1550838591.892 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1550838591.892 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550838591.892 * [misc]taylor: Taking taylor expansion of a in a 1550838591.892 * [misc]backup-simplify: Simplify 0 into 0 1550838591.892 * [misc]backup-simplify: Simplify 1 into 1 1550838591.892 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838591.892 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1550838591.892 * [misc]taylor: Taking taylor expansion of b in a 1550838591.892 * [misc]backup-simplify: Simplify b into b 1550838591.892 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1550838591.892 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550838591.892 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a 1550838591.892 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1550838591.892 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550838591.892 * [misc]taylor: Taking taylor expansion of a in a 1550838591.892 * [misc]backup-simplify: Simplify 0 into 0 1550838591.892 * [misc]backup-simplify: Simplify 1 into 1 1550838591.892 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838591.893 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1550838591.893 * [misc]taylor: Taking taylor expansion of b in a 1550838591.893 * [misc]backup-simplify: Simplify b into b 1550838591.893 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1550838591.893 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550838591.893 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550838591.893 * [misc]taylor: Taking taylor expansion of 1 in b 1550838591.893 * [misc]backup-simplify: Simplify 1 into 1 1550838591.893 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550838591.893 * [misc]backup-simplify: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 1550838591.894 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b)) 1550838591.894 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 b)) in b 1550838591.894 * [misc]taylor: Taking taylor expansion of 2 in b 1550838591.894 * [misc]backup-simplify: Simplify 2 into 2 1550838591.894 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1550838591.894 * [misc]taylor: Taking taylor expansion of b in b 1550838591.894 * [misc]backup-simplify: Simplify 0 into 0 1550838591.894 * [misc]backup-simplify: Simplify 1 into 1 1550838591.894 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838591.894 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838591.894 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1550838591.895 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550838591.895 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 1550838591.895 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1550838591.895 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1550838591.895 * [misc]taylor: Taking taylor expansion of b in b 1550838591.895 * [misc]backup-simplify: Simplify 0 into 0 1550838591.895 * [misc]backup-simplify: Simplify 1 into 1 1550838591.895 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550838591.895 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838591.895 * [misc]backup-simplify: Simplify 1 into 1 1550838591.896 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550838591.896 * [misc]backup-simplify: Simplify 2 into 2 1550838591.896 * [misc]backup-simplify: Simplify 1 into 1 1550838591.896 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 1550838591.897 * [misc]backup-simplify: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (+ (/ 1 (- a)) (/ 1 (- b)))) into (pow (+ (/ 1 a) (/ 1 b)) 2) 1550838591.897 * [misc]approximate: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0 1550838591.897 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b 1550838591.897 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1550838591.897 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1550838591.897 * [misc]taylor: Taking taylor expansion of a in b 1550838591.897 * [misc]backup-simplify: Simplify a into a 1550838591.897 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1550838591.897 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1550838591.897 * [misc]taylor: Taking taylor expansion of b in b 1550838591.897 * [misc]backup-simplify: Simplify 0 into 0 1550838591.897 * [misc]backup-simplify: Simplify 1 into 1 1550838591.897 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838591.897 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550838591.897 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a 1550838591.897 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1550838591.897 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550838591.897 * [misc]taylor: Taking taylor expansion of a in a 1550838591.897 * [misc]backup-simplify: Simplify 0 into 0 1550838591.898 * [misc]backup-simplify: Simplify 1 into 1 1550838591.898 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838591.898 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1550838591.898 * [misc]taylor: Taking taylor expansion of b in a 1550838591.898 * [misc]backup-simplify: Simplify b into b 1550838591.898 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1550838591.898 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550838591.898 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a 1550838591.898 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1550838591.898 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550838591.898 * [misc]taylor: Taking taylor expansion of a in a 1550838591.898 * [misc]backup-simplify: Simplify 0 into 0 1550838591.898 * [misc]backup-simplify: Simplify 1 into 1 1550838591.898 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838591.898 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1550838591.898 * [misc]taylor: Taking taylor expansion of b in a 1550838591.898 * [misc]backup-simplify: Simplify b into b 1550838591.898 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1550838591.899 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550838591.899 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550838591.899 * [misc]taylor: Taking taylor expansion of 1 in b 1550838591.899 * [misc]backup-simplify: Simplify 1 into 1 1550838591.899 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550838591.899 * [misc]backup-simplify: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 1550838591.899 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b)) 1550838591.899 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 b)) in b 1550838591.899 * [misc]taylor: Taking taylor expansion of 2 in b 1550838591.899 * [misc]backup-simplify: Simplify 2 into 2 1550838591.899 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1550838591.900 * [misc]taylor: Taking taylor expansion of b in b 1550838591.900 * [misc]backup-simplify: Simplify 0 into 0 1550838591.900 * [misc]backup-simplify: Simplify 1 into 1 1550838591.900 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838591.900 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838591.900 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1550838591.900 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550838591.901 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 1550838591.901 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1550838591.901 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1550838591.901 * [misc]taylor: Taking taylor expansion of b in b 1550838591.901 * [misc]backup-simplify: Simplify 0 into 0 1550838591.901 * [misc]backup-simplify: Simplify 1 into 1 1550838591.901 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550838591.901 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838591.901 * [misc]backup-simplify: Simplify 1 into 1 1550838591.901 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550838591.901 * [misc]backup-simplify: Simplify 2 into 2 1550838591.901 * [misc]backup-simplify: Simplify 1 into 1 1550838591.902 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 1550838591.902 * * * [misc]progress: simplifying candidates 1550838591.902 * * * * [misc]progress: [ 1 / 34 ] simplifiying candidate # 1550838591.903 * [enter]simplify: Simplifying (+ a b) 1550838591.903 * * [misc]simplify: iters left: 2 (3 enodes) 1550838591.904 * * [misc]simplify: iters left: 1 (10 enodes) 1550838591.907 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838591.907 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550838591.907 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1550838591.907 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1550838591.907 * [exit]simplify: Simplified to (+ b a) 1550838591.907 * [misc]simplify: Simplified (2 1) to (λ (a b) (pow (+ b a) (+ 1 1))) 1550838591.908 * [enter]simplify: Simplifying (+ 1 1) 1550838591.908 * * [misc]simplify: iters left: 2 (2 enodes) 1550838591.910 * * [misc]simplify: iters left: 1 (9 enodes) 1550838591.912 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838591.912 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550838591.912 * [exit]simplify: Simplified to 2 1550838591.912 * [misc]simplify: Simplified (2 2) to (λ (a b) (pow (+ a b) 2)) 1550838591.912 * * * * [misc]progress: [ 2 / 34 ] simplifiying candidate # 1550838591.913 * [enter]simplify: Simplifying (* (+ a b) (+ a b)) 1550838591.913 * * [misc]simplify: iters left: 4 (4 enodes) 1550838591.914 * * [misc]simplify: iters left: 3 (19 enodes) 1550838591.917 * * [misc]simplify: iters left: 2 (41 enodes) 1550838591.924 * * [misc]simplify: iters left: 1 (77 enodes) 1550838591.936 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838591.936 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550838591.936 * * [misc]simplify: Extracting #2: cost 29 inf + 0 1550838591.936 * * [misc]simplify: Extracting #3: cost 24 inf + 127 1550838591.937 * * [misc]simplify: Extracting #4: cost 4 inf + 1844 1550838591.938 * * [misc]simplify: Extracting #5: cost 0 inf + 2332 1550838591.939 * * [misc]simplify: Extracting #6: cost 0 inf + 2292 1550838591.940 * [exit]simplify: Simplified to (* (+ b a) (+ b a)) 1550838591.940 * [misc]simplify: Simplified (2 1) to (λ (a b) (pow (* (+ b a) (+ b a)) 1)) 1550838591.941 * * * * [misc]progress: [ 3 / 34 ] simplifiying candidate # 1550838591.941 * * * * [misc]progress: [ 4 / 34 ] simplifiying candidate # 1550838591.941 * [enter]simplify: Simplifying (+ a b) 1550838591.941 * * [misc]simplify: iters left: 2 (3 enodes) 1550838591.942 * * [misc]simplify: iters left: 1 (10 enodes) 1550838591.945 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838591.945 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550838591.945 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1550838591.945 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1550838591.945 * [exit]simplify: Simplified to (+ b a) 1550838591.945 * [misc]simplify: Simplified (2 1) to (λ (a b) (pow (+ b a) (+ 1 1))) 1550838591.945 * * * * [misc]progress: [ 5 / 34 ] simplifiying candidate # 1550838591.945 * * * * [misc]progress: [ 6 / 34 ] simplifiying candidate # 1550838591.946 * [enter]simplify: Simplifying (+ (log (+ a b)) (log (+ a b))) 1550838591.946 * * [misc]simplify: iters left: 5 (5 enodes) 1550838591.948 * * [misc]simplify: iters left: 4 (16 enodes) 1550838591.952 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838591.953 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550838591.953 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550838591.953 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550838591.953 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1550838591.953 * * [misc]simplify: Extracting #5: cost 0 inf + 614 1550838591.953 * [exit]simplify: Simplified to (+ (log (+ b a)) (log (+ b a))) 1550838591.953 * [misc]simplify: Simplified (2 1) to (λ (a b) (exp (+ (log (+ b a)) (log (+ b a))))) 1550838591.953 * * * * [misc]progress: [ 7 / 34 ] simplifiying candidate # 1550838591.953 * * * * [misc]progress: [ 8 / 34 ] simplifiying candidate # 1550838591.953 * * * * [misc]progress: [ 9 / 34 ] simplifiying candidate # 1550838591.954 * [enter]simplify: Simplifying (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b))) 1550838591.954 * * [misc]simplify: iters left: 6 (6 enodes) 1550838591.957 * * [misc]simplify: iters left: 5 (36 enodes) 1550838591.979 * * [misc]simplify: iters left: 4 (161 enodes) 1550838592.064 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838592.064 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550838592.064 * * [misc]simplify: Extracting #2: cost 97 inf + 1 1550838592.065 * * [misc]simplify: Extracting #3: cost 169 inf + 2158 1550838592.069 * * [misc]simplify: Extracting #4: cost 67 inf + 18076 1550838592.077 * * [misc]simplify: Extracting #5: cost 0 inf + 30330 1550838592.084 * [exit]simplify: Simplified to (* (* (* (+ b a) (+ b a)) (* (+ b a) (+ b a))) (* (+ b a) (+ b a))) 1550838592.085 * [misc]simplify: Simplified (2 1) to (λ (a b) (cbrt (* (* (* (+ b a) (+ b a)) (* (+ b a) (+ b a))) (* (+ b a) (+ b a))))) 1550838592.085 * * * * [misc]progress: [ 10 / 34 ] simplifiying candidate # 1550838592.085 * * * * [misc]progress: [ 11 / 34 ] simplifiying candidate # 1550838592.085 * * * * [misc]progress: [ 12 / 34 ] simplifiying candidate # 1550838592.085 * * * * [misc]progress: [ 13 / 34 ] simplifiying candidate # 1550838592.085 * [enter]simplify: Simplifying (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) 1550838592.085 * * [misc]simplify: iters left: 5 (7 enodes) 1550838592.087 * * [misc]simplify: iters left: 4 (34 enodes) 1550838592.095 * * [misc]simplify: iters left: 3 (76 enodes) 1550838592.111 * * [misc]simplify: iters left: 2 (181 enodes) 1550838592.165 * * [misc]simplify: iters left: 1 (341 enodes) 1550838592.251 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838592.251 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550838592.251 * * [misc]simplify: Extracting #2: cost 77 inf + 0 1550838592.252 * * [misc]simplify: Extracting #3: cost 132 inf + 86 1550838592.254 * * [misc]simplify: Extracting #4: cost 89 inf + 6525 1550838592.261 * * [misc]simplify: Extracting #5: cost 14 inf + 25050 1550838592.272 * * [misc]simplify: Extracting #6: cost 0 inf + 26156 1550838592.283 * * [misc]simplify: Extracting #7: cost 0 inf + 25563 1550838592.294 * * [misc]simplify: Extracting #8: cost 0 inf + 25483 1550838592.305 * [exit]simplify: Simplified to (* (+ (* (* a a) a) (* b (* b b))) (+ (* (* a a) a) (* b (* b b)))) 1550838592.305 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (+ (* (* a a) a) (* b (* b b))) (+ (* (* a a) a) (* b (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))))) 1550838592.306 * [enter]simplify: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))) 1550838592.306 * * [misc]simplify: iters left: 6 (8 enodes) 1550838592.310 * * [misc]simplify: iters left: 5 (38 enodes) 1550838592.326 * * [misc]simplify: iters left: 4 (95 enodes) 1550838592.371 * * [misc]simplify: iters left: 3 (322 enodes) 1550838592.602 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838592.602 * * [misc]simplify: Extracting #1: cost 36 inf + 0 1550838592.603 * * [misc]simplify: Extracting #2: cost 201 inf + 0 1550838592.606 * * [misc]simplify: Extracting #3: cost 178 inf + 16106 1550838592.619 * * [misc]simplify: Extracting #4: cost 13 inf + 52907 1550838592.637 * * [misc]simplify: Extracting #5: cost 0 inf + 55253 1550838592.672 * [exit]simplify: Simplified to (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a)))) 1550838592.672 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (* (+ (* (* a a) a) (* b (* b b))) (+ (* (* a a) a) (* b (* b b)))) (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a)))))) 1550838592.672 * * * * [misc]progress: [ 14 / 34 ] simplifiying candidate # 1550838592.672 * [enter]simplify: Simplifying (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) 1550838592.672 * * [misc]simplify: iters left: 6 (10 enodes) 1550838592.678 * * [misc]simplify: iters left: 5 (41 enodes) 1550838592.687 * * [misc]simplify: iters left: 4 (72 enodes) 1550838592.703 * * [misc]simplify: iters left: 3 (201 enodes) 1550838592.848 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838592.849 * * [misc]simplify: Extracting #1: cost 47 inf + 0 1550838592.849 * * [misc]simplify: Extracting #2: cost 155 inf + 0 1550838592.851 * * [misc]simplify: Extracting #3: cost 212 inf + 206 1550838592.856 * * [misc]simplify: Extracting #4: cost 150 inf + 9676 1550838592.873 * * [misc]simplify: Extracting #5: cost 7 inf + 39628 1550838592.892 * * [misc]simplify: Extracting #6: cost 0 inf + 40882 1550838592.904 * [exit]simplify: Simplified to (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b)))) 1550838592.904 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (- a b)))) 1550838592.905 * [enter]simplify: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (- a b)) 1550838592.905 * * [misc]simplify: iters left: 6 (9 enodes) 1550838592.907 * * [misc]simplify: iters left: 5 (38 enodes) 1550838592.914 * * [misc]simplify: iters left: 4 (75 enodes) 1550838592.933 * * [misc]simplify: iters left: 3 (184 enodes) 1550838593.005 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838593.005 * * [misc]simplify: Extracting #1: cost 46 inf + 0 1550838593.006 * * [misc]simplify: Extracting #2: cost 114 inf + 0 1550838593.006 * * [misc]simplify: Extracting #3: cost 110 inf + 1429 1550838593.009 * * [misc]simplify: Extracting #4: cost 35 inf + 12966 1550838593.014 * * [misc]simplify: Extracting #5: cost 0 inf + 20274 1550838593.019 * * [misc]simplify: Extracting #6: cost 0 inf + 20194 1550838593.024 * [exit]simplify: Simplified to (* (- a b) (+ (* (- a b) a) (* b b))) 1550838593.024 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b)))) (* (- a b) (+ (* (- a b) a) (* b b))))) 1550838593.024 * * * * [misc]progress: [ 15 / 34 ] simplifiying candidate # 1550838593.025 * [enter]simplify: Simplifying (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))) 1550838593.025 * * [misc]simplify: iters left: 6 (10 enodes) 1550838593.028 * * [misc]simplify: iters left: 5 (47 enodes) 1550838593.039 * * [misc]simplify: iters left: 4 (116 enodes) 1550838593.099 * * [misc]simplify: iters left: 3 (392 enodes) 1550838593.343 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838593.343 * * [misc]simplify: Extracting #1: cost 53 inf + 0 1550838593.344 * * [misc]simplify: Extracting #2: cost 200 inf + 0 1550838593.348 * * [misc]simplify: Extracting #3: cost 230 inf + 6115 1550838593.367 * * [misc]simplify: Extracting #4: cost 46 inf + 42102 1550838593.395 * * [misc]simplify: Extracting #5: cost 0 inf + 54594 1550838593.423 * * [misc]simplify: Extracting #6: cost 0 inf + 54554 1550838593.448 * [exit]simplify: Simplified to (* (- (* a a) (* b b)) (+ (* b (* b b)) (* a (* a a)))) 1550838593.448 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* b (* b b)) (* a (* a a)))) (* (- a b) (+ (* a a) (- (* b b) (* a b)))))) 1550838593.449 * [enter]simplify: Simplifying (* (- a b) (+ (* a a) (- (* b b) (* a b)))) 1550838593.449 * * [misc]simplify: iters left: 6 (9 enodes) 1550838593.451 * * [misc]simplify: iters left: 5 (44 enodes) 1550838593.460 * * [misc]simplify: iters left: 4 (109 enodes) 1550838593.497 * * [misc]simplify: iters left: 3 (298 enodes) 1550838593.638 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838593.638 * * [misc]simplify: Extracting #1: cost 39 inf + 0 1550838593.639 * * [misc]simplify: Extracting #2: cost 147 inf + 0 1550838593.641 * * [misc]simplify: Extracting #3: cost 148 inf + 2019 1550838593.650 * * [misc]simplify: Extracting #4: cost 41 inf + 21271 1550838593.664 * * [misc]simplify: Extracting #5: cost 1 inf + 29380 1550838593.678 * * [misc]simplify: Extracting #6: cost 0 inf + 29080 1550838593.691 * [exit]simplify: Simplified to (* (+ (* b b) (* a (- a b))) (- a b)) 1550838593.692 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* b (* b b)) (* a (* a a)))) (* (+ (* b b) (* a (- a b))) (- a b)))) 1550838593.692 * * * * [misc]progress: [ 16 / 34 ] simplifiying candidate # 1550838593.692 * [enter]simplify: Simplifying (* (- (* a a) (* b b)) (- (* a a) (* b b))) 1550838593.692 * * [misc]simplify: iters left: 6 (6 enodes) 1550838593.694 * * [misc]simplify: iters left: 5 (23 enodes) 1550838593.698 * * [misc]simplify: iters left: 4 (46 enodes) 1550838593.709 * * [misc]simplify: iters left: 3 (143 enodes) 1550838593.801 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838593.801 * * [misc]simplify: Extracting #1: cost 37 inf + 0 1550838593.801 * * [misc]simplify: Extracting #2: cost 154 inf + 0 1550838593.802 * * [misc]simplify: Extracting #3: cost 170 inf + 1469 1550838593.806 * * [misc]simplify: Extracting #4: cost 59 inf + 18239 1550838593.820 * * [misc]simplify: Extracting #5: cost 0 inf + 28836 1550838593.834 * * [misc]simplify: Extracting #6: cost 0 inf + 28796 1550838593.848 * [exit]simplify: Simplified to (* (- (* a a) (* b b)) (- (* a a) (* b b))) 1550838593.848 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b)))) 1550838593.848 * [enter]simplify: Simplifying (* (- a b) (- a b)) 1550838593.848 * * [misc]simplify: iters left: 4 (4 enodes) 1550838593.850 * * [misc]simplify: iters left: 3 (14 enodes) 1550838593.853 * * [misc]simplify: iters left: 2 (23 enodes) 1550838593.858 * * [misc]simplify: iters left: 1 (49 enodes) 1550838593.869 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838593.869 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550838593.869 * * [misc]simplify: Extracting #2: cost 32 inf + 0 1550838593.869 * * [misc]simplify: Extracting #3: cost 30 inf + 43 1550838593.869 * * [misc]simplify: Extracting #4: cost 7 inf + 2364 1550838593.870 * * [misc]simplify: Extracting #5: cost 0 inf + 3176 1550838593.871 * [exit]simplify: Simplified to (* (- a b) (- a b)) 1550838593.871 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b)))) 1550838593.871 * * * * [misc]progress: [ 17 / 34 ] simplifiying candidate # 1550838593.871 * * * * [misc]progress: [ 18 / 34 ] simplifiying candidate # 1550838593.871 * [enter]simplify: Simplifying (* (+ a b) b) 1550838593.871 * * [misc]simplify: iters left: 4 (4 enodes) 1550838593.872 * * [misc]simplify: iters left: 3 (14 enodes) 1550838593.874 * * [misc]simplify: iters left: 2 (21 enodes) 1550838593.878 * * [misc]simplify: iters left: 1 (27 enodes) 1550838593.881 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838593.881 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550838593.881 * * [misc]simplify: Extracting #2: cost 8 inf + 42 1550838593.881 * * [misc]simplify: Extracting #3: cost 6 inf + 84 1550838593.881 * * [misc]simplify: Extracting #4: cost 0 inf + 416 1550838593.882 * [exit]simplify: Simplified to (* (+ b a) b) 1550838593.882 * [misc]simplify: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ b a) b))) 1550838593.882 * * * * [misc]progress: [ 19 / 34 ] simplifiying candidate # 1550838593.882 * [enter]simplify: Simplifying (* b (+ a b)) 1550838593.882 * * [misc]simplify: iters left: 4 (4 enodes) 1550838593.883 * * [misc]simplify: iters left: 3 (19 enodes) 1550838593.887 * * [misc]simplify: iters left: 2 (27 enodes) 1550838593.890 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838593.890 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550838593.890 * * [misc]simplify: Extracting #2: cost 9 inf + 1 1550838593.890 * * [misc]simplify: Extracting #3: cost 0 inf + 416 1550838593.890 * [exit]simplify: Simplified to (* b (+ a b)) 1550838593.890 * [misc]simplify: Simplified (2 2) to (λ (a b) (+ (* a (+ a b)) (* b (+ a b)))) 1550838593.890 * * * * [misc]progress: [ 20 / 34 ] simplifiying candidate # 1550838593.891 * [enter]simplify: Simplifying (cbrt (+ a b)) 1550838593.891 * * [misc]simplify: iters left: 3 (4 enodes) 1550838593.891 * * [misc]simplify: iters left: 2 (13 enodes) 1550838593.894 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838593.894 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550838593.894 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550838593.894 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550838593.894 * * [misc]simplify: Extracting #4: cost 0 inf + 330 1550838593.894 * [exit]simplify: Simplified to (cbrt (+ b a)) 1550838593.894 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (cbrt (+ b a)))) 1550838593.894 * * * * [misc]progress: [ 21 / 34 ] simplifiying candidate # 1550838593.895 * [enter]simplify: Simplifying (sqrt (+ a b)) 1550838593.895 * * [misc]simplify: iters left: 3 (4 enodes) 1550838593.896 * * [misc]simplify: iters left: 2 (13 enodes) 1550838593.898 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838593.898 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550838593.898 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550838593.898 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550838593.898 * * [misc]simplify: Extracting #4: cost 0 inf + 250 1550838593.898 * [exit]simplify: Simplified to (sqrt (+ b a)) 1550838593.898 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (+ a b) (sqrt (+ a b))) (sqrt (+ b a)))) 1550838593.898 * * * * [misc]progress: [ 22 / 34 ] simplifiying candidate # 1550838593.898 * [enter]simplify: Simplifying (+ a b) 1550838593.898 * * [misc]simplify: iters left: 2 (3 enodes) 1550838593.899 * * [misc]simplify: iters left: 1 (10 enodes) 1550838593.900 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838593.900 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550838593.900 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1550838593.900 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1550838593.900 * [exit]simplify: Simplified to (+ b a) 1550838593.900 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (+ a b) 1) (+ b a))) 1550838593.900 * * * * [misc]progress: [ 23 / 34 ] simplifiying candidate # 1550838593.901 * [enter]simplify: Simplifying (* (cbrt (+ a b)) (cbrt (+ a b))) 1550838593.901 * * [misc]simplify: iters left: 5 (5 enodes) 1550838593.902 * * [misc]simplify: iters left: 4 (16 enodes) 1550838593.904 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838593.904 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550838593.904 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550838593.904 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550838593.904 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1550838593.905 * * [misc]simplify: Extracting #5: cost 0 inf + 654 1550838593.905 * [exit]simplify: Simplified to (* (cbrt (+ b a)) (cbrt (+ b a))) 1550838593.905 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (cbrt (+ b a)) (cbrt (+ b a))) (* (cbrt (+ a b)) (+ a b)))) 1550838593.905 * * * * [misc]progress: [ 24 / 34 ] simplifiying candidate # 1550838593.905 * [enter]simplify: Simplifying (sqrt (+ a b)) 1550838593.905 * * [misc]simplify: iters left: 3 (4 enodes) 1550838593.907 * * [misc]simplify: iters left: 2 (13 enodes) 1550838593.910 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838593.911 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550838593.911 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550838593.911 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550838593.911 * * [misc]simplify: Extracting #4: cost 0 inf + 250 1550838593.911 * [exit]simplify: Simplified to (sqrt (+ b a)) 1550838593.911 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (+ b a)) (* (sqrt (+ a b)) (+ a b)))) 1550838593.911 * * * * [misc]progress: [ 25 / 34 ] simplifiying candidate # 1550838593.911 * * * * [misc]progress: [ 26 / 34 ] simplifiying candidate # 1550838593.911 * [enter]simplify: Simplifying (+ (* a a) (- (* b b) (* a b))) 1550838593.912 * * [misc]simplify: iters left: 6 (7 enodes) 1550838593.915 * * [misc]simplify: iters left: 5 (29 enodes) 1550838593.925 * * [misc]simplify: iters left: 4 (50 enodes) 1550838593.942 * * [misc]simplify: iters left: 3 (69 enodes) 1550838593.963 * * [misc]simplify: iters left: 2 (85 enodes) 1550838593.989 * * [misc]simplify: iters left: 1 (105 enodes) 1550838594.024 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838594.024 * * [misc]simplify: Extracting #1: cost 13 inf + 0 1550838594.024 * * [misc]simplify: Extracting #2: cost 33 inf + 0 1550838594.024 * * [misc]simplify: Extracting #3: cost 24 inf + 779 1550838594.026 * * [misc]simplify: Extracting #4: cost 4 inf + 2455 1550838594.027 * * [misc]simplify: Extracting #5: cost 0 inf + 2702 1550838594.029 * [exit]simplify: Simplified to (+ (* a (- a b)) (* b b)) 1550838594.029 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (* (+ a b) (+ (pow a 3) (pow b 3))) (+ (* a (- a b)) (* b b)))) 1550838594.029 * * * * [misc]progress: [ 27 / 34 ] simplifiying candidate # 1550838594.029 * [enter]simplify: Simplifying (- a b) 1550838594.029 * * [misc]simplify: iters left: 2 (3 enodes) 1550838594.031 * * [misc]simplify: iters left: 1 (11 enodes) 1550838594.034 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838594.034 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550838594.034 * * [misc]simplify: Extracting #2: cost 3 inf + 43 1550838594.034 * * [misc]simplify: Extracting #3: cost 0 inf + 168 1550838594.035 * [exit]simplify: Simplified to (- a b) 1550838594.035 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (* (+ a b) (- (* a a) (* b b))) (- a b))) 1550838594.035 * * * * [misc]progress: [ 28 / 34 ] simplifiying candidate # 1550838594.035 * [enter]simplify: Simplifying (* (+ (pow a 3) (pow b 3)) (+ a b)) 1550838594.035 * * [misc]simplify: iters left: 5 (8 enodes) 1550838594.040 * * [misc]simplify: iters left: 4 (39 enodes) 1550838594.056 * * [misc]simplify: iters left: 3 (77 enodes) 1550838594.085 * * [misc]simplify: iters left: 2 (174 enodes) 1550838594.151 * * [misc]simplify: iters left: 1 (319 enodes) 1550838594.250 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838594.250 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1550838594.250 * * [misc]simplify: Extracting #2: cost 92 inf + 0 1550838594.250 * * [misc]simplify: Extracting #3: cost 105 inf + 247 1550838594.252 * * [misc]simplify: Extracting #4: cost 34 inf + 10700 1550838594.256 * * [misc]simplify: Extracting #5: cost 3 inf + 17402 1550838594.260 * * [misc]simplify: Extracting #6: cost 0 inf + 17968 1550838594.267 * * [misc]simplify: Extracting #7: cost 0 inf + 17928 1550838594.275 * [exit]simplify: Simplified to (* (+ (* a (* a a)) (* (* b b) b)) (+ b a)) 1550838594.275 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (+ (* a (* a a)) (* (* b b) b)) (+ b a)) (+ (* a a) (- (* b b) (* a b))))) 1550838594.275 * * * * [misc]progress: [ 29 / 34 ] simplifiying candidate # 1550838594.276 * [enter]simplify: Simplifying (* (- (* a a) (* b b)) (+ a b)) 1550838594.276 * * [misc]simplify: iters left: 6 (7 enodes) 1550838594.279 * * [misc]simplify: iters left: 5 (33 enodes) 1550838594.288 * * [misc]simplify: iters left: 4 (82 enodes) 1550838594.307 * * [misc]simplify: iters left: 3 (222 enodes) 1550838594.419 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838594.419 * * [misc]simplify: Extracting #1: cost 31 inf + 0 1550838594.420 * * [misc]simplify: Extracting #2: cost 117 inf + 0 1550838594.421 * * [misc]simplify: Extracting #3: cost 109 inf + 1352 1550838594.426 * * [misc]simplify: Extracting #4: cost 28 inf + 13706 1550838594.435 * * [misc]simplify: Extracting #5: cost 0 inf + 18960 1550838594.444 * * [misc]simplify: Extracting #6: cost 0 inf + 18920 1550838594.453 * [exit]simplify: Simplified to (* (* (+ a b) (+ a b)) (- a b)) 1550838594.453 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (* (+ a b) (+ a b)) (- a b)) (- a b))) 1550838594.453 * * * * [misc]progress: [ 30 / 34 ] simplifiying candidate #real (real->posit16 (* (+ a b) (+ a b)))))> 1550838594.453 * * * * [misc]progress: [ 31 / 34 ] simplifiying candidate # 1550838594.453 * * * * [misc]progress: [ 32 / 34 ] simplifiying candidate # 1550838594.453 * [enter]simplify: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 1550838594.453 * * [misc]simplify: iters left: 6 (9 enodes) 1550838594.456 * * [misc]simplify: iters left: 5 (37 enodes) 1550838594.462 * * [misc]simplify: iters left: 4 (57 enodes) 1550838594.475 * * [misc]simplify: iters left: 3 (84 enodes) 1550838594.492 * * [misc]simplify: iters left: 2 (106 enodes) 1550838594.517 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838594.517 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550838594.517 * * [misc]simplify: Extracting #2: cost 23 inf + 0 1550838594.518 * * [misc]simplify: Extracting #3: cost 25 inf + 45 1550838594.518 * * [misc]simplify: Extracting #4: cost 12 inf + 1233 1550838594.519 * * [misc]simplify: Extracting #5: cost 2 inf + 2020 1550838594.520 * * [misc]simplify: Extracting #6: cost 0 inf + 2225 1550838594.521 * [exit]simplify: Simplified to (+ (* b (+ b (* a 2))) (* a a)) 1550838594.521 * [misc]simplify: Simplified (2) to (λ (a b) (+ (* b (+ b (* a 2))) (* a a))) 1550838594.522 * * * * [misc]progress: [ 33 / 34 ] simplifiying candidate # 1550838594.522 * [enter]simplify: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 1550838594.522 * * [misc]simplify: iters left: 6 (9 enodes) 1550838594.527 * * [misc]simplify: iters left: 5 (37 enodes) 1550838594.540 * * [misc]simplify: iters left: 4 (57 enodes) 1550838594.559 * * [misc]simplify: iters left: 3 (84 enodes) 1550838594.583 * * [misc]simplify: iters left: 2 (106 enodes) 1550838594.599 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838594.599 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550838594.599 * * [misc]simplify: Extracting #2: cost 23 inf + 0 1550838594.599 * * [misc]simplify: Extracting #3: cost 25 inf + 45 1550838594.599 * * [misc]simplify: Extracting #4: cost 12 inf + 1233 1550838594.600 * * [misc]simplify: Extracting #5: cost 2 inf + 2020 1550838594.601 * * [misc]simplify: Extracting #6: cost 0 inf + 2225 1550838594.601 * [exit]simplify: Simplified to (+ (* b (+ b (* a 2))) (* a a)) 1550838594.601 * [misc]simplify: Simplified (2) to (λ (a b) (+ (* b (+ b (* a 2))) (* a a))) 1550838594.601 * * * * [misc]progress: [ 34 / 34 ] simplifiying candidate # 1550838594.601 * [enter]simplify: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 1550838594.601 * * [misc]simplify: iters left: 6 (9 enodes) 1550838594.604 * * [misc]simplify: iters left: 5 (37 enodes) 1550838594.611 * * [misc]simplify: iters left: 4 (57 enodes) 1550838594.621 * * [misc]simplify: iters left: 3 (84 enodes) 1550838594.634 * * [misc]simplify: iters left: 2 (106 enodes) 1550838594.648 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838594.649 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550838594.649 * * [misc]simplify: Extracting #2: cost 23 inf + 0 1550838594.649 * * [misc]simplify: Extracting #3: cost 25 inf + 45 1550838594.649 * * [misc]simplify: Extracting #4: cost 12 inf + 1233 1550838594.649 * * [misc]simplify: Extracting #5: cost 2 inf + 2020 1550838594.650 * * [misc]simplify: Extracting #6: cost 0 inf + 2225 1550838594.651 * [exit]simplify: Simplified to (+ (* b (+ b (* a 2))) (* a a)) 1550838594.651 * [misc]simplify: Simplified (2) to (λ (a b) (+ (* b (+ b (* a 2))) (* a a))) 1550838594.651 * * * [misc]progress: adding candidates to table 1550838594.870 * * [misc]progress: iteration 2 / 4 1550838594.870 * * * [misc]progress: picking best candidate 1550838594.873 * * * * [misc]pick: Picked # 1550838594.873 * * * [misc]progress: localizing error 1550838594.887 * * * [misc]progress: generating rewritten candidates 1550838594.887 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1) 1550838594.888 * * * [misc]progress: generating series expansions 1550838594.888 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1) 1550838594.888 * [misc]backup-simplify: Simplify (* b (+ b (* a 2))) into (* (+ (* 2 a) b) b) 1550838594.888 * [misc]approximate: Taking taylor expansion of (* (+ (* 2 a) b) b) in (b a) around 0 1550838594.888 * [misc]taylor: Taking taylor expansion of (* (+ (* 2 a) b) b) in a 1550838594.888 * [misc]taylor: Taking taylor expansion of (+ (* 2 a) b) in a 1550838594.888 * [misc]taylor: Taking taylor expansion of (* 2 a) in a 1550838594.888 * [misc]taylor: Taking taylor expansion of 2 in a 1550838594.888 * [misc]backup-simplify: Simplify 2 into 2 1550838594.888 * [misc]taylor: Taking taylor expansion of a in a 1550838594.888 * [misc]backup-simplify: Simplify 0 into 0 1550838594.888 * [misc]backup-simplify: Simplify 1 into 1 1550838594.888 * [misc]taylor: Taking taylor expansion of b in a 1550838594.888 * [misc]backup-simplify: Simplify b into b 1550838594.889 * [misc]taylor: Taking taylor expansion of b in a 1550838594.889 * [misc]backup-simplify: Simplify b into b 1550838594.889 * [misc]taylor: Taking taylor expansion of (* (+ (* 2 a) b) b) in b 1550838594.889 * [misc]taylor: Taking taylor expansion of (+ (* 2 a) b) in b 1550838594.889 * [misc]taylor: Taking taylor expansion of (* 2 a) in b 1550838594.889 * [misc]taylor: Taking taylor expansion of 2 in b 1550838594.889 * [misc]backup-simplify: Simplify 2 into 2 1550838594.889 * [misc]taylor: Taking taylor expansion of a in b 1550838594.889 * [misc]backup-simplify: Simplify a into a 1550838594.889 * [misc]taylor: Taking taylor expansion of b in b 1550838594.889 * [misc]backup-simplify: Simplify 0 into 0 1550838594.889 * [misc]backup-simplify: Simplify 1 into 1 1550838594.889 * [misc]taylor: Taking taylor expansion of b in b 1550838594.889 * [misc]backup-simplify: Simplify 0 into 0 1550838594.889 * [misc]backup-simplify: Simplify 1 into 1 1550838594.889 * [misc]taylor: Taking taylor expansion of (* (+ (* 2 a) b) b) in b 1550838594.889 * [misc]taylor: Taking taylor expansion of (+ (* 2 a) b) in b 1550838594.889 * [misc]taylor: Taking taylor expansion of (* 2 a) in b 1550838594.889 * [misc]taylor: Taking taylor expansion of 2 in b 1550838594.889 * [misc]backup-simplify: Simplify 2 into 2 1550838594.889 * [misc]taylor: Taking taylor expansion of a in b 1550838594.889 * [misc]backup-simplify: Simplify a into a 1550838594.889 * [misc]taylor: Taking taylor expansion of b in b 1550838594.889 * [misc]backup-simplify: Simplify 0 into 0 1550838594.889 * [misc]backup-simplify: Simplify 1 into 1 1550838594.889 * [misc]taylor: Taking taylor expansion of b in b 1550838594.889 * [misc]backup-simplify: Simplify 0 into 0 1550838594.889 * [misc]backup-simplify: Simplify 1 into 1 1550838594.889 * [misc]backup-simplify: Simplify (* 2 a) into (* 2 a) 1550838594.889 * [misc]backup-simplify: Simplify (+ (* 2 a) 0) into (* 2 a) 1550838594.889 * [misc]backup-simplify: Simplify (* (* 2 a) 0) into 0 1550838594.889 * [misc]taylor: Taking taylor expansion of 0 in a 1550838594.889 * [misc]backup-simplify: Simplify 0 into 0 1550838594.889 * [misc]backup-simplify: Simplify 0 into 0 1550838594.889 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 a)) into 0 1550838594.890 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550838594.890 * [misc]backup-simplify: Simplify (+ (* (* 2 a) 1) (* 1 0)) into (* 2 a) 1550838594.890 * [misc]taylor: Taking taylor expansion of (* 2 a) in a 1550838594.890 * [misc]taylor: Taking taylor expansion of 2 in a 1550838594.890 * [misc]backup-simplify: Simplify 2 into 2 1550838594.890 * [misc]taylor: Taking taylor expansion of a in a 1550838594.890 * [misc]backup-simplify: Simplify 0 into 0 1550838594.890 * [misc]backup-simplify: Simplify 1 into 1 1550838594.890 * [misc]backup-simplify: Simplify (* 2 0) into 0 1550838594.890 * [misc]backup-simplify: Simplify 0 into 0 1550838594.890 * [misc]backup-simplify: Simplify 0 into 0 1550838594.890 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 a))) into 0 1550838594.890 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550838594.890 * [misc]backup-simplify: Simplify (+ (* (* 2 a) 0) (+ (* 1 1) (* 0 0))) into 1 1550838594.890 * [misc]taylor: Taking taylor expansion of 1 in a 1550838594.890 * [misc]backup-simplify: Simplify 1 into 1 1550838594.890 * [misc]backup-simplify: Simplify 1 into 1 1550838594.891 * [misc]backup-simplify: Simplify (+ (* 2 1) (* 0 0)) into 2 1550838594.891 * [misc]backup-simplify: Simplify 2 into 2 1550838594.891 * [misc]backup-simplify: Simplify 0 into 0 1550838594.891 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1550838594.891 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550838594.891 * [misc]backup-simplify: Simplify (+ (* (* 2 a) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1550838594.891 * [misc]taylor: Taking taylor expansion of 0 in a 1550838594.891 * [misc]backup-simplify: Simplify 0 into 0 1550838594.891 * [misc]backup-simplify: Simplify 0 into 0 1550838594.891 * [misc]backup-simplify: Simplify 0 into 0 1550838594.891 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 1550838594.892 * [misc]backup-simplify: Simplify 0 into 0 1550838594.892 * [misc]backup-simplify: Simplify 0 into 0 1550838594.892 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1550838594.892 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550838594.892 * [misc]backup-simplify: Simplify (+ (* (* 2 a) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1550838594.892 * [misc]taylor: Taking taylor expansion of 0 in a 1550838594.892 * [misc]backup-simplify: Simplify 0 into 0 1550838594.892 * [misc]backup-simplify: Simplify 0 into 0 1550838594.892 * [misc]backup-simplify: Simplify (+ (* 2 (* a b)) (* 1 (pow (* 1 b) 2))) into (+ (pow b 2) (* 2 (* a b))) 1550838594.893 * [misc]backup-simplify: Simplify (* (/ 1 b) (+ (/ 1 b) (* (/ 1 a) 2))) into (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) 1550838594.893 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in (b a) around 0 1550838594.893 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in a 1550838594.893 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a 1550838594.893 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1550838594.893 * [misc]taylor: Taking taylor expansion of b in a 1550838594.893 * [misc]backup-simplify: Simplify b into b 1550838594.893 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1550838594.893 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 a)) in a 1550838594.893 * [misc]taylor: Taking taylor expansion of 2 in a 1550838594.893 * [misc]backup-simplify: Simplify 2 into 2 1550838594.893 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550838594.893 * [misc]taylor: Taking taylor expansion of a in a 1550838594.893 * [misc]backup-simplify: Simplify 0 into 0 1550838594.893 * [misc]backup-simplify: Simplify 1 into 1 1550838594.893 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838594.893 * [misc]taylor: Taking taylor expansion of b in a 1550838594.893 * [misc]backup-simplify: Simplify b into b 1550838594.893 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550838594.893 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550838594.893 * [misc]backup-simplify: Simplify (/ 2 b) into (/ 2 b) 1550838594.893 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 1550838594.893 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 1550838594.893 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1550838594.893 * [misc]taylor: Taking taylor expansion of b in b 1550838594.893 * [misc]backup-simplify: Simplify 0 into 0 1550838594.893 * [misc]backup-simplify: Simplify 1 into 1 1550838594.893 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838594.893 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 a)) in b 1550838594.893 * [misc]taylor: Taking taylor expansion of 2 in b 1550838594.893 * [misc]backup-simplify: Simplify 2 into 2 1550838594.893 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1550838594.893 * [misc]taylor: Taking taylor expansion of a in b 1550838594.893 * [misc]backup-simplify: Simplify a into a 1550838594.893 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1550838594.893 * [misc]taylor: Taking taylor expansion of b in b 1550838594.894 * [misc]backup-simplify: Simplify 0 into 0 1550838594.894 * [misc]backup-simplify: Simplify 1 into 1 1550838594.894 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550838594.894 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838594.894 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 1550838594.894 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 1550838594.894 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1550838594.894 * [misc]taylor: Taking taylor expansion of b in b 1550838594.894 * [misc]backup-simplify: Simplify 0 into 0 1550838594.894 * [misc]backup-simplify: Simplify 1 into 1 1550838594.894 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838594.894 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 a)) in b 1550838594.894 * [misc]taylor: Taking taylor expansion of 2 in b 1550838594.894 * [misc]backup-simplify: Simplify 2 into 2 1550838594.894 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1550838594.894 * [misc]taylor: Taking taylor expansion of a in b 1550838594.894 * [misc]backup-simplify: Simplify a into a 1550838594.894 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1550838594.894 * [misc]taylor: Taking taylor expansion of b in b 1550838594.894 * [misc]backup-simplify: Simplify 0 into 0 1550838594.894 * [misc]backup-simplify: Simplify 1 into 1 1550838594.894 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550838594.894 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838594.894 * [misc]taylor: Taking taylor expansion of 1 in a 1550838594.894 * [misc]backup-simplify: Simplify 1 into 1 1550838594.894 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550838594.895 * [misc]backup-simplify: Simplify (* 2 (/ 1 a)) into (/ 2 a) 1550838594.895 * [misc]backup-simplify: Simplify (+ 0 (/ 2 a)) into (* 2 (/ 1 a)) 1550838594.895 * [misc]backup-simplify: Simplify (- (/ (* 2 (/ 1 a)) 1) (+ (* 1 (/ 0 1)))) into (* 2 (/ 1 a)) 1550838594.895 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 a)) in a 1550838594.895 * [misc]taylor: Taking taylor expansion of 2 in a 1550838594.895 * [misc]backup-simplify: Simplify 2 into 2 1550838594.895 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550838594.895 * [misc]taylor: Taking taylor expansion of a in a 1550838594.895 * [misc]backup-simplify: Simplify 0 into 0 1550838594.895 * [misc]backup-simplify: Simplify 1 into 1 1550838594.895 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838594.895 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550838594.895 * [misc]backup-simplify: Simplify 2 into 2 1550838594.895 * [misc]backup-simplify: Simplify 1 into 1 1550838594.895 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838594.895 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1550838594.896 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0 1550838594.896 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550838594.896 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)))) into 0 1550838594.896 * [misc]taylor: Taking taylor expansion of 0 in a 1550838594.896 * [misc]backup-simplify: Simplify 0 into 0 1550838594.896 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550838594.896 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 1)) into 0 1550838594.896 * [misc]backup-simplify: Simplify 0 into 0 1550838594.896 * [misc]backup-simplify: Simplify 0 into 0 1550838594.897 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838594.897 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1550838594.897 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0 1550838594.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550838594.898 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838594.898 * [misc]taylor: Taking taylor expansion of 0 in a 1550838594.898 * [misc]backup-simplify: Simplify 0 into 0 1550838594.898 * [misc]backup-simplify: Simplify 0 into 0 1550838594.899 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838594.899 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 1550838594.899 * [misc]backup-simplify: Simplify 0 into 0 1550838594.899 * [misc]backup-simplify: Simplify 0 into 0 1550838594.899 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838594.900 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1550838594.900 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0 1550838594.900 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550838594.901 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838594.901 * [misc]taylor: Taking taylor expansion of 0 in a 1550838594.901 * [misc]backup-simplify: Simplify 0 into 0 1550838594.901 * [misc]backup-simplify: Simplify 0 into 0 1550838594.902 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 2)) (* 2 (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b))))) into (+ (pow b 2) (* 2 (* a b))) 1550838594.902 * [misc]backup-simplify: Simplify (* (/ 1 (- b)) (+ (/ 1 (- b)) (* (/ 1 (- a)) 2))) into (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) 1550838594.902 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in (b a) around 0 1550838594.902 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in a 1550838594.902 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a 1550838594.902 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1550838594.902 * [misc]taylor: Taking taylor expansion of b in a 1550838594.902 * [misc]backup-simplify: Simplify b into b 1550838594.902 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1550838594.902 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 a)) in a 1550838594.902 * [misc]taylor: Taking taylor expansion of 2 in a 1550838594.902 * [misc]backup-simplify: Simplify 2 into 2 1550838594.902 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550838594.902 * [misc]taylor: Taking taylor expansion of a in a 1550838594.902 * [misc]backup-simplify: Simplify 0 into 0 1550838594.902 * [misc]backup-simplify: Simplify 1 into 1 1550838594.902 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838594.902 * [misc]taylor: Taking taylor expansion of b in a 1550838594.903 * [misc]backup-simplify: Simplify b into b 1550838594.903 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550838594.903 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550838594.903 * [misc]backup-simplify: Simplify (/ 2 b) into (/ 2 b) 1550838594.903 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 1550838594.903 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 1550838594.903 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1550838594.903 * [misc]taylor: Taking taylor expansion of b in b 1550838594.903 * [misc]backup-simplify: Simplify 0 into 0 1550838594.903 * [misc]backup-simplify: Simplify 1 into 1 1550838594.903 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838594.903 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 a)) in b 1550838594.903 * [misc]taylor: Taking taylor expansion of 2 in b 1550838594.903 * [misc]backup-simplify: Simplify 2 into 2 1550838594.903 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1550838594.903 * [misc]taylor: Taking taylor expansion of a in b 1550838594.903 * [misc]backup-simplify: Simplify a into a 1550838594.903 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1550838594.904 * [misc]taylor: Taking taylor expansion of b in b 1550838594.904 * [misc]backup-simplify: Simplify 0 into 0 1550838594.904 * [misc]backup-simplify: Simplify 1 into 1 1550838594.904 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550838594.904 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838594.904 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 1550838594.904 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 1550838594.904 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1550838594.904 * [misc]taylor: Taking taylor expansion of b in b 1550838594.904 * [misc]backup-simplify: Simplify 0 into 0 1550838594.904 * [misc]backup-simplify: Simplify 1 into 1 1550838594.904 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838594.904 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 a)) in b 1550838594.904 * [misc]taylor: Taking taylor expansion of 2 in b 1550838594.904 * [misc]backup-simplify: Simplify 2 into 2 1550838594.904 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1550838594.904 * [misc]taylor: Taking taylor expansion of a in b 1550838594.904 * [misc]backup-simplify: Simplify a into a 1550838594.904 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1550838594.905 * [misc]taylor: Taking taylor expansion of b in b 1550838594.905 * [misc]backup-simplify: Simplify 0 into 0 1550838594.905 * [misc]backup-simplify: Simplify 1 into 1 1550838594.905 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550838594.905 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838594.905 * [misc]taylor: Taking taylor expansion of 1 in a 1550838594.905 * [misc]backup-simplify: Simplify 1 into 1 1550838594.905 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550838594.905 * [misc]backup-simplify: Simplify (* 2 (/ 1 a)) into (/ 2 a) 1550838594.905 * [misc]backup-simplify: Simplify (+ 0 (/ 2 a)) into (* 2 (/ 1 a)) 1550838594.906 * [misc]backup-simplify: Simplify (- (/ (* 2 (/ 1 a)) 1) (+ (* 1 (/ 0 1)))) into (* 2 (/ 1 a)) 1550838594.906 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 a)) in a 1550838594.906 * [misc]taylor: Taking taylor expansion of 2 in a 1550838594.906 * [misc]backup-simplify: Simplify 2 into 2 1550838594.906 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550838594.906 * [misc]taylor: Taking taylor expansion of a in a 1550838594.906 * [misc]backup-simplify: Simplify 0 into 0 1550838594.906 * [misc]backup-simplify: Simplify 1 into 1 1550838594.906 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550838594.906 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550838594.906 * [misc]backup-simplify: Simplify 2 into 2 1550838594.906 * [misc]backup-simplify: Simplify 1 into 1 1550838594.907 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838594.907 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1550838594.907 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0 1550838594.907 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550838594.908 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)))) into 0 1550838594.908 * [misc]taylor: Taking taylor expansion of 0 in a 1550838594.908 * [misc]backup-simplify: Simplify 0 into 0 1550838594.908 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550838594.908 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 1)) into 0 1550838594.908 * [misc]backup-simplify: Simplify 0 into 0 1550838594.908 * [misc]backup-simplify: Simplify 0 into 0 1550838594.909 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838594.909 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1550838594.909 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0 1550838594.909 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550838594.910 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838594.910 * [misc]taylor: Taking taylor expansion of 0 in a 1550838594.910 * [misc]backup-simplify: Simplify 0 into 0 1550838594.910 * [misc]backup-simplify: Simplify 0 into 0 1550838594.910 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838594.911 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 1550838594.911 * [misc]backup-simplify: Simplify 0 into 0 1550838594.911 * [misc]backup-simplify: Simplify 0 into 0 1550838594.911 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838594.911 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1550838594.912 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0 1550838594.912 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550838594.913 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550838594.913 * [misc]taylor: Taking taylor expansion of 0 in a 1550838594.913 * [misc]backup-simplify: Simplify 0 into 0 1550838594.913 * [misc]backup-simplify: Simplify 0 into 0 1550838594.913 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (* 2 (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b)))))) into (+ (pow b 2) (* 2 (* a b))) 1550838594.914 * * * [misc]progress: simplifying candidates 1550838594.914 * * * * [misc]progress: [ 1 / 19 ] simplifiying candidate # 1550838594.914 * * * * [misc]progress: [ 2 / 19 ] simplifiying candidate # 1550838594.914 * * * * [misc]progress: [ 3 / 19 ] simplifiying candidate # 1550838594.914 * * * * [misc]progress: [ 4 / 19 ] simplifiying candidate # 1550838594.914 * * * * [misc]progress: [ 5 / 19 ] simplifiying candidate # 1550838594.914 * * * * [misc]progress: [ 6 / 19 ] simplifiying candidate # 1550838594.914 * * * * [misc]progress: [ 7 / 19 ] simplifiying candidate # 1550838594.914 * * * * [misc]progress: [ 8 / 19 ] simplifiying candidate # 1550838594.914 * [enter]simplify: Simplifying (* b (* a 2)) 1550838594.914 * * [misc]simplify: iters left: 4 (5 enodes) 1550838594.917 * * [misc]simplify: iters left: 3 (19 enodes) 1550838594.924 * * [misc]simplify: iters left: 2 (27 enodes) 1550838594.928 * * [misc]simplify: iters left: 1 (32 enodes) 1550838594.933 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838594.933 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550838594.933 * * [misc]simplify: Extracting #2: cost 7 inf + 45 1550838594.933 * * [misc]simplify: Extracting #3: cost 0 inf + 421 1550838594.934 * [exit]simplify: Simplified to (* (* 2 a) b) 1550838594.934 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (+ (+ (* b b) (* (* 2 a) b)) (* a a))) 1550838594.934 * * * * [misc]progress: [ 9 / 19 ] simplifiying candidate # 1550838594.934 * [enter]simplify: Simplifying (* (* a 2) b) 1550838594.934 * * [misc]simplify: iters left: 4 (5 enodes) 1550838594.935 * * [misc]simplify: iters left: 3 (19 enodes) 1550838594.939 * * [misc]simplify: iters left: 2 (27 enodes) 1550838594.943 * * [misc]simplify: iters left: 1 (32 enodes) 1550838594.948 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838594.948 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550838594.948 * * [misc]simplify: Extracting #2: cost 7 inf + 45 1550838594.948 * * [misc]simplify: Extracting #3: cost 0 inf + 421 1550838594.948 * [exit]simplify: Simplified to (* (* a 2) b) 1550838594.948 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (+ (+ (* b b) (* (* a 2) b)) (* a a))) 1550838594.948 * * * * [misc]progress: [ 10 / 19 ] simplifiying candidate # 1550838594.948 * [enter]simplify: Simplifying (cbrt (+ b (* a 2))) 1550838594.948 * * [misc]simplify: iters left: 5 (6 enodes) 1550838594.951 * * [misc]simplify: iters left: 4 (20 enodes) 1550838594.955 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838594.955 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550838594.955 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550838594.955 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1550838594.955 * * [misc]simplify: Extracting #4: cost 0 inf + 579 1550838594.955 * [exit]simplify: Simplified to (cbrt (+ (* 2 a) b)) 1550838594.955 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (+ (* (* b (* (cbrt (+ b (* a 2))) (cbrt (+ b (* a 2))))) (cbrt (+ (* 2 a) b))) (* a a))) 1550838594.955 * * * * [misc]progress: [ 11 / 19 ] simplifiying candidate # 1550838594.955 * [enter]simplify: Simplifying (sqrt (+ b (* a 2))) 1550838594.955 * * [misc]simplify: iters left: 5 (6 enodes) 1550838594.957 * * [misc]simplify: iters left: 4 (20 enodes) 1550838594.960 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838594.960 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550838594.961 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550838594.961 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1550838594.961 * * [misc]simplify: Extracting #4: cost 0 inf + 499 1550838594.961 * [exit]simplify: Simplified to (sqrt (+ (* 2 a) b)) 1550838594.961 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (+ (* (* b (sqrt (+ b (* a 2)))) (sqrt (+ (* 2 a) b))) (* a a))) 1550838594.961 * * * * [misc]progress: [ 12 / 19 ] simplifiying candidate # 1550838594.961 * [enter]simplify: Simplifying (+ b (* a 2)) 1550838594.961 * * [misc]simplify: iters left: 4 (5 enodes) 1550838594.963 * * [misc]simplify: iters left: 3 (17 enodes) 1550838594.966 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838594.966 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550838594.966 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550838594.966 * * [misc]simplify: Extracting #3: cost 0 inf + 253 1550838594.966 * [exit]simplify: Simplified to (+ (* 2 a) b) 1550838594.966 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (+ (* (* b 1) (+ (* 2 a) b)) (* a a))) 1550838594.966 * * * * [misc]progress: [ 13 / 19 ] simplifiying candidate # 1550838594.966 * [enter]simplify: Simplifying (+ (* b b) (- (* (* a 2) (* a 2)) (* b (* a 2)))) 1550838594.966 * * [misc]simplify: iters left: 6 (9 enodes) 1550838594.969 * * [misc]simplify: iters left: 5 (42 enodes) 1550838594.978 * * [misc]simplify: iters left: 4 (95 enodes) 1550838595.000 * * [misc]simplify: iters left: 3 (173 enodes) 1550838595.053 * * [misc]simplify: iters left: 2 (199 enodes) 1550838595.108 * * [misc]simplify: iters left: 1 (219 enodes) 1550838595.140 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838595.140 * * [misc]simplify: Extracting #1: cost 13 inf + 0 1550838595.140 * * [misc]simplify: Extracting #2: cost 49 inf + 0 1550838595.141 * * [misc]simplify: Extracting #3: cost 47 inf + 868 1550838595.142 * * [misc]simplify: Extracting #4: cost 3 inf + 5219 1550838595.144 * * [misc]simplify: Extracting #5: cost 0 inf + 5505 1550838595.145 * [exit]simplify: Simplified to (- (* (* a 2) (* a 2)) (* (- (* a 2) b) b)) 1550838595.145 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (+ (/ (* b (+ (pow b 3) (pow (* a 2) 3))) (- (* (* a 2) (* a 2)) (* (- (* a 2) b) b))) (* a a))) 1550838595.145 * * * * [misc]progress: [ 14 / 19 ] simplifiying candidate # 1550838595.145 * [enter]simplify: Simplifying (- b (* a 2)) 1550838595.146 * * [misc]simplify: iters left: 4 (5 enodes) 1550838595.147 * * [misc]simplify: iters left: 3 (18 enodes) 1550838595.151 * * [misc]simplify: iters left: 2 (28 enodes) 1550838595.159 * * [misc]simplify: iters left: 1 (32 enodes) 1550838595.166 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838595.166 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550838595.166 * * [misc]simplify: Extracting #2: cost 10 inf + 1 1550838595.167 * * [misc]simplify: Extracting #3: cost 1 inf + 459 1550838595.167 * * [misc]simplify: Extracting #4: cost 0 inf + 420 1550838595.167 * [exit]simplify: Simplified to (- b (* 2 a)) 1550838595.167 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (+ (/ (* b (- (* b b) (* (* a 2) (* a 2)))) (- b (* 2 a))) (* a a))) 1550838595.167 * * * * [misc]progress: [ 15 / 19 ] simplifiying candidate #real (real->posit16 (* b (+ b (* a 2))))) (* a a)))> 1550838595.167 * * * * [misc]progress: [ 16 / 19 ] simplifiying candidate # 1550838595.167 * * * * [misc]progress: [ 17 / 19 ] simplifiying candidate # 1550838595.168 * [enter]simplify: Simplifying (+ (pow b 2) (* 2 (* a b))) 1550838595.168 * * [misc]simplify: iters left: 6 (7 enodes) 1550838595.171 * * [misc]simplify: iters left: 5 (27 enodes) 1550838595.179 * * [misc]simplify: iters left: 4 (39 enodes) 1550838595.190 * * [misc]simplify: iters left: 3 (53 enodes) 1550838595.202 * * [misc]simplify: iters left: 2 (57 enodes) 1550838595.211 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838595.211 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550838595.211 * * [misc]simplify: Extracting #2: cost 15 inf + 1 1550838595.211 * * [misc]simplify: Extracting #3: cost 14 inf + 85 1550838595.211 * * [misc]simplify: Extracting #4: cost 5 inf + 627 1550838595.211 * * [misc]simplify: Extracting #5: cost 0 inf + 1081 1550838595.212 * [exit]simplify: Simplified to (* b (+ b (* a 2))) 1550838595.212 * [misc]simplify: Simplified (2 1) to (λ (a b) (+ (* b (+ b (* a 2))) (* a a))) 1550838595.212 * * * * [misc]progress: [ 18 / 19 ] simplifiying candidate # 1550838595.212 * [enter]simplify: Simplifying (+ (pow b 2) (* 2 (* a b))) 1550838595.212 * * [misc]simplify: iters left: 6 (7 enodes) 1550838595.214 * * [misc]simplify: iters left: 5 (27 enodes) 1550838595.219 * * [misc]simplify: iters left: 4 (39 enodes) 1550838595.226 * * [misc]simplify: iters left: 3 (53 enodes) 1550838595.233 * * [misc]simplify: iters left: 2 (57 enodes) 1550838595.240 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838595.240 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550838595.240 * * [misc]simplify: Extracting #2: cost 15 inf + 1 1550838595.241 * * [misc]simplify: Extracting #3: cost 14 inf + 85 1550838595.241 * * [misc]simplify: Extracting #4: cost 5 inf + 627 1550838595.241 * * [misc]simplify: Extracting #5: cost 0 inf + 1081 1550838595.241 * [exit]simplify: Simplified to (* b (+ b (* a 2))) 1550838595.241 * [misc]simplify: Simplified (2 1) to (λ (a b) (+ (* b (+ b (* a 2))) (* a a))) 1550838595.241 * * * * [misc]progress: [ 19 / 19 ] simplifiying candidate # 1550838595.242 * [enter]simplify: Simplifying (+ (pow b 2) (* 2 (* a b))) 1550838595.242 * * [misc]simplify: iters left: 6 (7 enodes) 1550838595.244 * * [misc]simplify: iters left: 5 (27 enodes) 1550838595.252 * * [misc]simplify: iters left: 4 (39 enodes) 1550838595.263 * * [misc]simplify: iters left: 3 (53 enodes) 1550838595.270 * * [misc]simplify: iters left: 2 (57 enodes) 1550838595.277 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838595.277 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550838595.277 * * [misc]simplify: Extracting #2: cost 15 inf + 1 1550838595.277 * * [misc]simplify: Extracting #3: cost 14 inf + 85 1550838595.277 * * [misc]simplify: Extracting #4: cost 5 inf + 627 1550838595.278 * * [misc]simplify: Extracting #5: cost 0 inf + 1081 1550838595.278 * [exit]simplify: Simplified to (* b (+ b (* a 2))) 1550838595.278 * [misc]simplify: Simplified (2 1) to (λ (a b) (+ (* b (+ b (* a 2))) (* a a))) 1550838595.278 * * * [misc]progress: adding candidates to table 1550838595.412 * [misc]progress: [Phase 3 of 3] Extracting. 1550838595.414 * [enter]simplify: Simplifying (+ (* b (+ b (* a 2))) (* a a)) 1550838595.414 * * [misc]simplify: iters left: 6 (8 enodes) 1550838595.414 * * [misc]simplify: iters left: 5 (12 enodes) 1550838595.415 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550838595.415 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550838595.415 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550838595.415 * * [misc]simplify: Extracting #3: cost 4 inf + 43 1550838595.415 * * [misc]simplify: Extracting #4: cost 5 inf + 43 1550838595.415 * * [misc]simplify: Extracting #5: cost 0 inf + 495 1550838595.415 * [exit]simplify: Simplified to (+ (* (+ (* 2 a) b) b) (* a a)) 1550838596.447 * [misc]regime-testing: Baseline error score: 0.013876734591823979 1550838596.448 * [misc]regime-testing: Oracle error score: 0.013876734591823979 1550838596.448 * [misc]regime-testing: End program error score: 0.013876734591823979 1550838596.496 * [misc]regime-testing: Target error score: 0.013876734591823979