1545818801.825 * [misc]progress: [Phase 1 of 3] Setting up. 1545818801.825 * * * [misc]progress: [1/2] Preparing points 1545818801.825 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545818801.825 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1545818801.835 * * * * [misc]points: Setting MPFR precision to 64 1545818801.840 * * * * [misc]points: Setting MPFR precision to 320 1545818801.850 * * * * [misc]points: Setting MPFR precision to 576 1545818801.855 * * * * [misc]points: Setting MPFR precision to 832 1545818801.861 * * * * [misc]points: Setting MPFR precision to 1088 1545818801.866 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1545818801.878 * * * * [misc]points: Setting MPFR precision to 832 1545818801.888 * * * * [misc]points: Setting MPFR precision to 1088 1545818801.898 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1545818801.908 * * * * [misc]points: Setting MPFR precision to 832 1545818801.926 * * * * [misc]points: Setting MPFR precision to 1088 1545818801.942 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1545818801.947 * * * * [misc]points: Setting MPFR precision to 832 1545818801.961 * * * * [misc]points: Setting MPFR precision to 1088 1545818801.984 * * * * [misc]points: Computing exacts for 256 points 1545818802.041 * * * * [misc]points: Setting MPFR precision to 832 1545818802.130 * * * * [misc]points: Setting MPFR precision to 1088 1545818802.225 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818802.225 * * * * [exit]points: Sampled 256 points with exact outputs 1545818802.225 * * * [misc]progress: [2/2] Setting up program. 1545818802.234 * [misc]progress: [Phase 2 of 3] Improving. 1545818802.234 * [enter]simplify: Simplifying (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) 1545818802.234 * * [misc]simplify: iters left: 6 (31 enodes) 1545818802.249 * * [misc]simplify: iters left: 5 (85 enodes) 1545818802.369 * * [misc]simplify: iters left: 4 (304 enodes) 1545818802.668 * [exit]simplify: Simplified to (im (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))) 1545818802.682 * * [misc]progress: iteration 1 / 4 1545818802.682 * * * [misc]progress: picking best candidate 1545818802.696 * * * * [misc]pick: Picked # 1545818802.697 * * * [misc]progress: localizing error 1545818803.353 * * * [misc]progress: generating rewritten candidates 1545818803.353 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1 1) 1545818803.355 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1545818803.360 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1) 1545818803.362 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1545818803.364 * * * [misc]progress: generating series expansions 1545818803.364 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1 1) 1545818803.364 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1545818803.364 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1) 1545818803.364 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 2) 1545818803.364 * * * [misc]progress: simplifying candidates 1545818803.364 * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate # 1545818803.365 * [enter]simplify: Simplifying (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) 1545818803.365 * * [misc]simplify: iters left: 6 (10 enodes) 1545818803.368 * * [misc]simplify: iters left: 5 (30 enodes) 1545818803.380 * * [misc]simplify: iters left: 4 (68 enodes) 1545818803.390 * * [misc]simplify: iters left: 3 (98 enodes) 1545818803.421 * * [misc]simplify: iters left: 2 (141 enodes) 1545818803.441 * * [misc]simplify: iters left: 1 (185 enodes) 1545818803.457 * [exit]simplify: Simplified to -1/2 1545818803.457 * [misc]simplify: Simplified (2 1 1 1 1 1 1 1 1) to (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (complex -1/2 (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1545818803.457 * [enter]simplify: Simplifying (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) 1545818803.457 * * [misc]simplify: iters left: 6 (10 enodes) 1545818803.462 * * [misc]simplify: iters left: 5 (27 enodes) 1545818803.472 * * [misc]simplify: iters left: 4 (47 enodes) 1545818803.480 * * [misc]simplify: iters left: 3 (61 enodes) 1545818803.486 * * [misc]simplify: iters left: 2 (72 enodes) 1545818803.497 * * [misc]simplify: iters left: 1 (86 enodes) 1545818803.513 * [exit]simplify: Simplified to (* (sqrt 3) -1/2) 1545818803.513 * [misc]simplify: Simplified (2 1 1 1 1 1 1 1 2) to (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (complex -1/2 (* (sqrt 3) -1/2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1545818803.513 * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate # 1545818803.513 * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate # 1545818803.513 * [enter]simplify: Simplifying (+ (+ (- (* (- (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (- 1) 2))) (/ (sqrt 3) 2))) (- (* (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) (/ (sqrt 3) 2)))) (- (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2)))) 1545818803.514 * * [misc]simplify: iters left: 6 (49 enodes) 1545818803.534 * * [misc]simplify: iters left: 5 (177 enodes) 1545818803.655 * * [misc]simplify: iters left: 4 (422 enodes) 1545818804.325 * [exit]simplify: Simplified to (+ (+ (+ (* -1/2 3/4) -1/8) (fma (* 5/2 (sqrt 3)) (/ (sqrt 3) -2) 5/4)) (fma (fma (/ (sqrt 3) -2) -1/2 (* -1/4 (sqrt 3))) (/ (sqrt 3) -2) -2)) 1545818804.325 * [misc]simplify: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (complex (+ (+ (+ (* -1/2 3/4) -1/8) (fma (* 5/2 (sqrt 3)) (/ (sqrt 3) -2) 5/4)) (fma (fma (/ (sqrt 3) -2) -1/2 (* -1/4 (sqrt 3))) (/ (sqrt 3) -2) -2)) (+ (+ (+ (* (- (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (- 1) 2))) (/ (- 1) 2))) (+ (* (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) (/ (- 1) 2)))) (+ (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1545818804.325 * [enter]simplify: Simplifying (+ (+ (+ (* (- (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (- 1) 2))) (/ (- 1) 2))) (+ (* (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) (/ (- 1) 2)))) (+ (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2)))) 1545818804.326 * * [misc]simplify: iters left: 6 (49 enodes) 1545818804.366 * * [misc]simplify: iters left: 5 (175 enodes) 1545818804.508 * * [misc]simplify: iters left: 4 (396 enodes) 1545818805.032 * [exit]simplify: Simplified to (+ (fma (fma (* 1/2 (sqrt 3)) (- 1/4 3/4) (/ (/ (sqrt 3) -2) -2)) -1/2 (fma (* 1/2 (sqrt 3)) (fma -1/2 (- 1/4 3/4) 3/4) (* 1/2 (sqrt 3)))) (+ (+ (/ (sqrt 3) -2) (/ (* 5/2 (sqrt 3)) -2)) (/ (* 5/2 (sqrt 3)) -2))) 1545818805.032 * [misc]simplify: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (complex (+ (+ (+ (* -1/2 3/4) -1/8) (fma (* 5/2 (sqrt 3)) (/ (sqrt 3) -2) 5/4)) (fma (fma (/ (sqrt 3) -2) -1/2 (* -1/4 (sqrt 3))) (/ (sqrt 3) -2) -2)) (+ (fma (fma (* 1/2 (sqrt 3)) (- 1/4 3/4) (/ (/ (sqrt 3) -2) -2)) -1/2 (fma (* 1/2 (sqrt 3)) (fma -1/2 (- 1/4 3/4) 3/4) (* 1/2 (sqrt 3)))) (+ (+ (/ (sqrt 3) -2) (/ (* 5/2 (sqrt 3)) -2)) (/ (* 5/2 (sqrt 3)) -2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1545818805.032 * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate # 1545818805.033 * [enter]simplify: Simplifying (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) 1545818805.033 * * [misc]simplify: iters left: 6 (11 enodes) 1545818805.036 * * [misc]simplify: iters left: 5 (27 enodes) 1545818805.049 * * [misc]simplify: iters left: 4 (84 enodes) 1545818805.076 * * [misc]simplify: iters left: 3 (174 enodes) 1545818805.219 * * [misc]simplify: iters left: 2 (483 enodes) 1545818806.758 * [exit]simplify: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1545818806.758 * [misc]simplify: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (+.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1545818806.758 * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate # 1545818806.758 * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate # 1545818806.758 * [enter]simplify: Simplifying (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) 1545818806.758 * * [misc]simplify: iters left: 6 (18 enodes) 1545818806.766 * * [misc]simplify: iters left: 5 (49 enodes) 1545818806.786 * * [misc]simplify: iters left: 4 (75 enodes) 1545818806.819 * * [misc]simplify: iters left: 3 (175 enodes) 1545818807.029 * * [misc]simplify: iters left: 2 (323 enodes) 1545818807.768 * [exit]simplify: Simplified to (+ 3/2 -1/2) 1545818807.769 * [misc]simplify: Simplified (2 1 1 1 1 2 1 1) to (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (complex (+ 3/2 -1/2) (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1545818807.769 * [enter]simplify: Simplifying (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) 1545818807.770 * * [misc]simplify: iters left: 6 (18 enodes) 1545818807.778 * * [misc]simplify: iters left: 5 (48 enodes) 1545818807.795 * * [misc]simplify: iters left: 4 (69 enodes) 1545818807.855 * * [misc]simplify: iters left: 3 (124 enodes) 1545818808.114 * * [misc]simplify: iters left: 2 (303 enodes) 1545818809.952 * [exit]simplify: Simplified to (sqrt 3) 1545818809.952 * [misc]simplify: Simplified (2 1 1 1 1 2 1 2) to (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (complex (+ 3/2 -1/2) (sqrt 3)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1545818809.952 * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate # 1545818809.952 * [enter]simplify: Simplifying (complex (- 2) 0) 1545818809.952 * * [misc]simplify: iters left: 3 (4 enodes) 1545818809.954 * * [misc]simplify: iters left: 2 (5 enodes) 1545818809.955 * [exit]simplify: Simplified to (complex -2 0) 1545818809.955 * [misc]simplify: Simplified (2 1 1 1 1 2 1 1) to (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex -2 0) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1545818809.955 * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate # 1545818809.955 * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate # 1545818809.956 * [enter]simplify: Simplifying (- (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) 1545818809.956 * * [misc]simplify: iters left: 6 (18 enodes) 1545818809.971 * * [misc]simplify: iters left: 5 (46 enodes) 1545818809.987 * * [misc]simplify: iters left: 4 (69 enodes) 1545818810.010 * * [misc]simplify: iters left: 3 (142 enodes) 1545818810.156 * * [misc]simplify: iters left: 2 (309 enodes) 1545818810.409 * * [misc]simplify: iters left: 1 (499 enodes) 1545818810.630 * [exit]simplify: Simplified to -5/2 1545818810.630 * [misc]simplify: Simplified (2 1 1 1 2 1) to (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex -5/2 (+ (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1545818810.630 * [enter]simplify: Simplifying (+ (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) 1545818810.631 * * [misc]simplify: iters left: 6 (18 enodes) 1545818810.641 * * [misc]simplify: iters left: 5 (45 enodes) 1545818810.648 * * [misc]simplify: iters left: 4 (60 enodes) 1545818810.672 * * [misc]simplify: iters left: 3 (95 enodes) 1545818810.707 * * [misc]simplify: iters left: 2 (166 enodes) 1545818810.808 * * [misc]simplify: iters left: 1 (284 enodes) 1545818811.021 * [exit]simplify: Simplified to (/ (sqrt 3) -2/5) 1545818811.021 * [misc]simplify: Simplified (2 1 1 1 2 2) to (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex -5/2 (/ (sqrt 3) -2/5))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1545818811.021 * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate # 1545818811.021 * [enter]simplify: Simplifying (complex 5 0) 1545818811.021 * * [misc]simplify: iters left: 1 (3 enodes) 1545818811.023 * [exit]simplify: Simplified to (complex 5 0) 1545818811.023 * [misc]simplify: Simplified (2 1 1 1 2 1) to (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1545818811.023 * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate # 1545818811.023 * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate # 1545818811.024 * [enter]simplify: Simplifying (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) 1545818811.024 * * [misc]simplify: iters left: 6 (31 enodes) 1545818811.041 * * [misc]simplify: iters left: 5 (85 enodes) 1545818811.124 * * [misc]simplify: iters left: 4 (304 enodes) 1545818811.336 * [exit]simplify: Simplified to (im (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))) 1545818811.336 * [misc]simplify: Simplified (2) to (λ () (im (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2)))))))) 1545818811.336 * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate # 1545818811.336 * [enter]simplify: Simplifying (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) 1545818811.337 * * [misc]simplify: iters left: 6 (31 enodes) 1545818811.345 * * [misc]simplify: iters left: 5 (85 enodes) 1545818811.456 * * [misc]simplify: iters left: 4 (304 enodes) 1545818811.662 * [exit]simplify: Simplified to (im (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))) 1545818811.662 * [misc]simplify: Simplified (2) to (λ () (im (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2)))))))) 1545818811.662 * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate # 1545818811.662 * [enter]simplify: Simplifying (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) 1545818811.662 * * [misc]simplify: iters left: 6 (31 enodes) 1545818811.672 * * [misc]simplify: iters left: 5 (85 enodes) 1545818811.779 * * [misc]simplify: iters left: 4 (304 enodes) 1545818811.992 * [exit]simplify: Simplified to (im (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))) 1545818811.992 * [misc]simplify: Simplified (2) to (λ () (im (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2)))))))) 1545818811.992 * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate # 1545818811.992 * [enter]simplify: Simplifying (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) 1545818811.992 * * [misc]simplify: iters left: 6 (31 enodes) 1545818812.004 * * [misc]simplify: iters left: 5 (85 enodes) 1545818812.089 * * [misc]simplify: iters left: 4 (304 enodes) 1545818812.389 * [exit]simplify: Simplified to (im (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))) 1545818812.390 * [misc]simplify: Simplified (2) to (λ () (im (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2)))))))) 1545818812.390 * * * [misc]progress: adding candidates to table 1545818812.739 * [misc]progress: [Phase 3 of 3] Extracting. 1545818812.747 * [enter]simplify: Simplifying (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) 1545818812.747 * * [misc]simplify: iters left: 6 (31 enodes) 1545818812.752 * * [misc]simplify: iters left: 5 (49 enodes) 1545818812.756 * * [misc]simplify: iters left: 4 (50 enodes) 1545818812.764 * [exit]simplify: Simplified to (im (+.c (+.c (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex -1/2 (/ (sqrt 3) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (*.c (complex -2 0) (complex -1/2 (/ (sqrt 3) 2)))))) (*.c (*.c (complex 5 0) (complex -1/2 (/ (sqrt 3) 2))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex 4 0))) (complex 7 0))) 1545818812.764 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545818812.768 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1545818812.778 * * * * [misc]points: Setting MPFR precision to 832 1545818812.783 * * * * [misc]points: Setting MPFR precision to 1088 1545818812.792 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1545818812.798 * * * * [misc]points: Setting MPFR precision to 832 1545818812.803 * * * * [misc]points: Setting MPFR precision to 1088 1545818812.808 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1545818812.814 * * * * [misc]points: Setting MPFR precision to 832 1545818812.831 * * * * [misc]points: Setting MPFR precision to 1088 1545818812.851 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1545818812.861 * * * * [misc]points: Setting MPFR precision to 832 1545818812.903 * * * * [misc]points: Setting MPFR precision to 1088 1545818812.979 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1545818812.986 * * * * [misc]points: Setting MPFR precision to 832 1545818813.053 * * * * [misc]points: Setting MPFR precision to 1088 1545818813.171 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1545818813.180 * * * * [misc]points: Setting MPFR precision to 832 1545818813.366 * * * * [misc]points: Setting MPFR precision to 1088 1545818813.552 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1545818813.562 * * * * [misc]points: Setting MPFR precision to 832 1545818814.332 * * * * [misc]points: Setting MPFR precision to 1088 1545818814.722 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1545818814.730 * * * * [misc]points: Setting MPFR precision to 832 1545818815.429 * * * * [misc]points: Setting MPFR precision to 1088 1545818816.665 * * * * [misc]points: Computing exacts for 8000 points 1545818816.672 * * * * [misc]points: Setting MPFR precision to 832 1545818820.431 * * * * [misc]points: Setting MPFR precision to 1088 1545818824.200 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818824.202 * * * * [exit]points: Sampled 8000 points with exact outputs 1545818824.645 * [misc]regime-testing: Baseline error score: 0 1545818824.646 * [misc]regime-testing: Oracle error score: 0 1545818824.646 * [misc]regime-testing: End program error score: 0