1553845589.745 * [progress]: [Phase 1 of 3] Setting up. 1553845589.746 * * * [progress]: [1/2] Preparing points 1553845589.746 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1553845589.747 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1553845589.771 * * * * [points]: Setting MPFR precision to 64 1553845589.776 * * * * [points]: Setting MPFR precision to 320 1553845589.781 * * * * [points]: Setting MPFR precision to 576 1553845589.786 * * * * [points]: Setting MPFR precision to 832 1553845589.791 * * * * [points]: Setting MPFR precision to 1088 1553845589.796 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1553845589.939 * * * * [points]: Setting MPFR precision to 832 1553845589.943 * * * * [points]: Setting MPFR precision to 1088 1553845589.948 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1553845590.068 * * * * [points]: Setting MPFR precision to 832 1553845590.084 * * * * [points]: Setting MPFR precision to 1088 1553845590.100 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1553845590.215 * * * * [points]: Setting MPFR precision to 832 1553845590.228 * * * * [points]: Setting MPFR precision to 1088 1553845590.247 * * * * [points]: Computing exacts for 256 points 1553845590.340 * * * * [points]: Setting MPFR precision to 832 1553845590.407 * * * * [points]: Setting MPFR precision to 1088 1553845590.451 * * * * [points]: Filtering points with unrepresentable outputs 1553845590.451 * * * * [points]: Sampled 256 points with exact outputs 1553845590.451 * * * [progress]: [2/2] Setting up program. 1553845590.460 * [progress]: [Phase 2 of 3] Improving. 1553845590.460 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553845590.461 * [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))) 1553845590.461 * * [simplify]: iters left: 6 (31 enodes) 1553845590.479 * * [simplify]: iters left: 5 (113 enodes) 1553845590.568 * * [simplify]: iters left: 4 (349 enodes) 1553845590.727 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845590.727 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845590.727 * * [simplify]: Extracting #2: cost 31 inf + 0 1553845590.728 * * [simplify]: Extracting #3: cost 148 inf + 0 1553845590.729 * * [simplify]: Extracting #4: cost 258 inf + 4 1553845590.732 * * [simplify]: Extracting #5: cost 326 inf + 21 1553845590.734 * * [simplify]: Extracting #6: cost 365 inf + 25 1553845590.738 * * [simplify]: Extracting #7: cost 281 inf + 34025 1553845590.752 * * [simplify]: Extracting #8: cost 115 inf + 84959 1553845590.776 * * [simplify]: Extracting #9: cost 15 inf + 106264 1553845590.806 * * [simplify]: Extracting #10: cost 0 inf + 109493 1553845590.838 * * [simplify]: Extracting #11: cost 0 inf + 109492 1553845590.887 * [simplify]: Simplified to (im (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)))))) 1553845590.887 * [simplify]: Simplified (2) to (λ () (im (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1))))))) 1553845590.895 * * [progress]: iteration 1 / 4 1553845590.895 * * * [progress]: picking best candidate 1553845590.904 * * * * [pick]: Picked # 1553845590.904 * * * [progress]: localizing error 1553845591.153 * * * [progress]: generating rewritten candidates 1553845591.153 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1 1) 1553845591.157 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1553845591.227 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1) 1553845591.231 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1553845591.236 * * * [progress]: generating series expansions 1553845591.236 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1 1) 1553845591.236 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1553845591.236 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1) 1553845591.236 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2) 1553845591.236 * * * [progress]: simplifying candidates 1553845591.236 * * * * [progress]: [ 1 / 44 ] simplifiying candidate # 1553845591.236 * [simplify]: Simplifying (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) 1553845591.236 * * [simplify]: iters left: 6 (10 enodes) 1553845591.241 * * [simplify]: iters left: 5 (49 enodes) 1553845591.262 * * [simplify]: iters left: 4 (110 enodes) 1553845591.290 * * [simplify]: iters left: 3 (165 enodes) 1553845591.309 * * [simplify]: iters left: 2 (222 enodes) 1553845591.351 * * [simplify]: iters left: 1 (284 enodes) 1553845591.397 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845591.397 * * [simplify]: Extracting #1: cost 0 inf + 1 1553845591.397 * [simplify]: Simplified to -1/2 1553845591.397 * [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)))) 1553845591.398 * [simplify]: Simplifying (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) 1553845591.398 * * [simplify]: iters left: 6 (10 enodes) 1553845591.406 * * [simplify]: iters left: 5 (45 enodes) 1553845591.427 * * [simplify]: iters left: 4 (95 enodes) 1553845591.465 * * [simplify]: iters left: 3 (149 enodes) 1553845591.510 * * [simplify]: iters left: 2 (240 enodes) 1553845591.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845591.650 * * [simplify]: Extracting #1: cost 41 inf + 0 1553845591.651 * * [simplify]: Extracting #2: cost 101 inf + 7 1553845591.652 * * [simplify]: Extracting #3: cost 90 inf + 585 1553845591.656 * * [simplify]: Extracting #4: cost 24 inf + 8258 1553845591.661 * * [simplify]: Extracting #5: cost 1 inf + 11435 1553845591.664 * * [simplify]: Extracting #6: cost 0 inf + 11637 1553845591.667 * [simplify]: Simplified to (* -1/2 (sqrt 3)) 1553845591.667 * [simplify]: Simplified (2 1 1 1 1 1 1 1 2) to (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (complex -1/2 (* -1/2 (sqrt 3))) (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)))) 1553845591.668 * * * * [progress]: [ 2 / 44 ] simplifiying candidate # 1553845591.668 * * * * [progress]: [ 3 / 44 ] simplifiying candidate # 1553845591.668 * [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)))) 1553845591.669 * * [simplify]: iters left: 6 (49 enodes) 1553845591.693 * * [simplify]: iters left: 5 (261 enodes) 1553845591.836 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845591.836 * * [simplify]: Extracting #1: cost 25 inf + 0 1553845591.836 * * [simplify]: Extracting #2: cost 75 inf + 1 1553845591.836 * * [simplify]: Extracting #3: cost 110 inf + 4 1553845591.837 * * [simplify]: Extracting #4: cost 145 inf + 8 1553845591.838 * * [simplify]: Extracting #5: cost 176 inf + 543 1553845591.840 * * [simplify]: Extracting #6: cost 135 inf + 9674 1553845591.845 * * [simplify]: Extracting #7: cost 56 inf + 26516 1553845591.853 * * [simplify]: Extracting #8: cost 21 inf + 41525 1553845591.873 * * [simplify]: Extracting #9: cost 3 inf + 56086 1553845591.903 * * [simplify]: Extracting #10: cost 0 inf + 59231 1553845591.933 * [simplify]: Simplified to (- (* -1/2 (- (* -1/2 (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)))) (* (/ (sqrt 3) 2) (* (/ (sqrt 3) 2) -1)))) (- (* (+ (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (* (/ (sqrt 3) 2) -1) -1/2)) (/ (sqrt 3) 2)) (- (* (- -1/2 (* (* -2 (/ (sqrt 3) 2)) (/ (sqrt 3) 2))) -1/2) (- (* (+ (/ (* -2 (/ (sqrt 3) 2)) -2) (* (/ (sqrt 3) 2) 1)) (/ (sqrt 3) 2)) (- 5/4 (* (/ (sqrt 3) 2) (* (/ (sqrt 3) 2) 5))))))) 1553845591.934 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (complex (- (* -1/2 (- (* -1/2 (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)))) (* (/ (sqrt 3) 2) (* (/ (sqrt 3) 2) -1)))) (- (* (+ (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (* (/ (sqrt 3) 2) -1) -1/2)) (/ (sqrt 3) 2)) (- (* (- -1/2 (* (* -2 (/ (sqrt 3) 2)) (/ (sqrt 3) 2))) -1/2) (- (* (+ (/ (* -2 (/ (sqrt 3) 2)) -2) (* (/ (sqrt 3) 2) 1)) (/ (sqrt 3) 2)) (- 5/4 (* (/ (sqrt 3) 2) (* (/ (sqrt 3) 2) 5))))))) (+ (+ (+ (* (- (* (- (* (/ (- 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)))) 1553845591.935 * [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)))) 1553845591.936 * * [simplify]: iters left: 6 (49 enodes) 1553845591.965 * * [simplify]: iters left: 5 (258 enodes) 1553845592.116 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845592.116 * * [simplify]: Extracting #1: cost 25 inf + 0 1553845592.116 * * [simplify]: Extracting #2: cost 89 inf + 0 1553845592.117 * * [simplify]: Extracting #3: cost 113 inf + 4 1553845592.118 * * [simplify]: Extracting #4: cost 171 inf + 7 1553845592.119 * * [simplify]: Extracting #5: cost 196 inf + 11 1553845592.121 * * [simplify]: Extracting #6: cost 165 inf + 4463 1553845592.125 * * [simplify]: Extracting #7: cost 91 inf + 17047 1553845592.130 * * [simplify]: Extracting #8: cost 45 inf + 29306 1553845592.140 * * [simplify]: Extracting #9: cost 15 inf + 50056 1553845592.157 * * [simplify]: Extracting #10: cost 0 inf + 61765 1553845592.172 * * [simplify]: Extracting #11: cost 0 inf + 61525 1553845592.186 * [simplify]: Simplified to (+ (+ (/ (* (/ (sqrt 3) 2) 5) -2) (* (/ (sqrt 3) 2) -5/2)) (+ (+ (* (- -1/2 (* (* (/ (sqrt 3) 2) -2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (+ (/ (+ (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (/ (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)) -2)) -2) (* (- (* -1/2 (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)))) (* (/ (sqrt 3) 2) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (/ (sqrt 3) 2)))) (/ (+ (/ (* (/ (sqrt 3) 2) -2) -2) (/ (* (sqrt 3) 1) 2)) -2))) 1553845592.186 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (complex (+ (+ (- (* (- (* (- (* (/ (- 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)))) (+ (+ (/ (* (/ (sqrt 3) 2) 5) -2) (* (/ (sqrt 3) 2) -5/2)) (+ (+ (* (- -1/2 (* (* (/ (sqrt 3) 2) -2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (+ (/ (+ (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (/ (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)) -2)) -2) (* (- (* -1/2 (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)))) (* (/ (sqrt 3) 2) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (/ (sqrt 3) 2)))) (/ (+ (/ (* (/ (sqrt 3) 2) -2) -2) (/ (* (sqrt 3) 1) 2)) -2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845592.187 * * * * [progress]: [ 4 / 44 ] simplifiying candidate # 1553845592.187 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845592.187 * * [simplify]: iters left: 5 (8 enodes) 1553845592.191 * * [simplify]: iters left: 4 (29 enodes) 1553845592.197 * * [simplify]: iters left: 3 (33 enodes) 1553845592.203 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845592.203 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845592.203 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845592.203 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845592.203 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845592.203 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845592.203 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845592.203 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845592.203 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845592.204 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845592.204 * * [simplify]: iters left: 6 (20 enodes) 1553845592.217 * * [simplify]: iters left: 5 (78 enodes) 1553845592.261 * * [simplify]: iters left: 4 (210 enodes) 1553845592.357 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845592.357 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845592.358 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845592.358 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845592.359 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845592.361 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845592.366 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845592.382 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845592.391 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845592.400 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845592.408 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845592.408 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845592.409 * * * * [progress]: [ 5 / 44 ] simplifiying candidate # 1553845592.409 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845592.409 * * [simplify]: iters left: 5 (8 enodes) 1553845592.413 * * [simplify]: iters left: 4 (29 enodes) 1553845592.418 * * [simplify]: iters left: 3 (33 enodes) 1553845592.429 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845592.429 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845592.429 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845592.429 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845592.429 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845592.429 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845592.429 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845592.429 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845592.429 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845592.430 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845592.431 * * [simplify]: iters left: 6 (20 enodes) 1553845592.446 * * [simplify]: iters left: 5 (78 enodes) 1553845592.489 * * [simplify]: iters left: 4 (210 enodes) 1553845592.609 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845592.609 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845592.609 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845592.610 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845592.611 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845592.612 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845592.618 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845592.630 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845592.650 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845592.667 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845592.681 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845592.681 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845592.681 * * * * [progress]: [ 6 / 44 ] simplifiying candidate # 1553845592.681 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845592.681 * * [simplify]: iters left: 5 (8 enodes) 1553845592.686 * * [simplify]: iters left: 4 (29 enodes) 1553845592.691 * * [simplify]: iters left: 3 (33 enodes) 1553845592.698 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845592.698 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845592.698 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845592.698 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845592.698 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845592.698 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845592.698 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845592.698 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845592.698 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845592.698 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845592.699 * * [simplify]: iters left: 6 (20 enodes) 1553845592.710 * * [simplify]: iters left: 5 (78 enodes) 1553845592.740 * * [simplify]: iters left: 4 (210 enodes) 1553845592.825 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845592.825 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845592.825 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845592.825 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845592.826 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845592.827 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845592.831 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845592.843 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845592.860 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845592.882 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845592.899 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845592.899 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845592.900 * * * * [progress]: [ 7 / 44 ] simplifiying candidate # 1553845592.900 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845592.900 * * [simplify]: iters left: 5 (8 enodes) 1553845592.907 * * [simplify]: iters left: 4 (29 enodes) 1553845592.917 * * [simplify]: iters left: 3 (33 enodes) 1553845592.927 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845592.927 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845592.927 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845592.927 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845592.927 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845592.927 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845592.927 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845592.927 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845592.927 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845592.928 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845592.928 * * [simplify]: iters left: 6 (20 enodes) 1553845592.937 * * [simplify]: iters left: 5 (78 enodes) 1553845592.967 * * [simplify]: iters left: 4 (210 enodes) 1553845593.040 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845593.040 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845593.041 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845593.041 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845593.042 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845593.043 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845593.046 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845593.052 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845593.060 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845593.071 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845593.080 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845593.080 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845593.080 * * * * [progress]: [ 8 / 44 ] simplifiying candidate # 1553845593.080 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845593.080 * * [simplify]: iters left: 5 (8 enodes) 1553845593.085 * * [simplify]: iters left: 4 (29 enodes) 1553845593.090 * * [simplify]: iters left: 3 (33 enodes) 1553845593.096 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845593.096 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845593.097 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845593.097 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845593.097 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845593.097 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845593.097 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845593.097 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845593.097 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845593.097 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845593.097 * * [simplify]: iters left: 6 (20 enodes) 1553845593.107 * * [simplify]: iters left: 5 (78 enodes) 1553845593.150 * * [simplify]: iters left: 4 (210 enodes) 1553845593.248 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845593.248 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845593.248 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845593.249 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845593.250 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845593.251 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845593.257 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845593.269 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845593.286 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845593.298 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845593.310 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845593.310 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845593.310 * * * * [progress]: [ 9 / 44 ] simplifiying candidate # 1553845593.310 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845593.310 * * [simplify]: iters left: 5 (8 enodes) 1553845593.314 * * [simplify]: iters left: 4 (29 enodes) 1553845593.319 * * [simplify]: iters left: 3 (33 enodes) 1553845593.328 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845593.328 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845593.328 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845593.328 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845593.328 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845593.329 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845593.329 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845593.329 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845593.329 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845593.330 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845593.330 * * [simplify]: iters left: 6 (20 enodes) 1553845593.346 * * [simplify]: iters left: 5 (78 enodes) 1553845593.383 * * [simplify]: iters left: 4 (210 enodes) 1553845593.488 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845593.488 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845593.489 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845593.489 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845593.490 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845593.492 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845593.498 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845593.511 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845593.520 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845593.529 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845593.537 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845593.538 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845593.538 * * * * [progress]: [ 10 / 44 ] simplifiying candidate # 1553845593.538 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845593.538 * * [simplify]: iters left: 5 (8 enodes) 1553845593.546 * * [simplify]: iters left: 4 (29 enodes) 1553845593.556 * * [simplify]: iters left: 3 (33 enodes) 1553845593.562 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845593.562 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845593.562 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845593.562 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845593.562 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845593.562 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845593.562 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845593.562 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845593.562 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845593.563 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845593.563 * * [simplify]: iters left: 6 (20 enodes) 1553845593.572 * * [simplify]: iters left: 5 (78 enodes) 1553845593.601 * * [simplify]: iters left: 4 (210 enodes) 1553845593.682 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845593.682 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845593.682 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845593.683 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845593.683 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845593.684 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845593.687 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845593.693 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845593.701 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845593.719 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845593.736 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845593.736 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845593.736 * * * * [progress]: [ 11 / 44 ] simplifiying candidate # 1553845593.737 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845593.737 * * [simplify]: iters left: 5 (8 enodes) 1553845593.743 * * [simplify]: iters left: 4 (29 enodes) 1553845593.757 * * [simplify]: iters left: 3 (33 enodes) 1553845593.768 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845593.768 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845593.768 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845593.768 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845593.768 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845593.769 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845593.769 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845593.769 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845593.769 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845593.770 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845593.770 * * [simplify]: iters left: 6 (20 enodes) 1553845593.784 * * [simplify]: iters left: 5 (78 enodes) 1553845593.808 * * [simplify]: iters left: 4 (210 enodes) 1553845593.882 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845593.882 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845593.882 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845593.882 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845593.883 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845593.883 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845593.887 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845593.900 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845593.910 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845593.919 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845593.927 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845593.927 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845593.928 * * * * [progress]: [ 12 / 44 ] simplifiying candidate # 1553845593.928 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845593.928 * * [simplify]: iters left: 5 (8 enodes) 1553845593.932 * * [simplify]: iters left: 4 (29 enodes) 1553845593.937 * * [simplify]: iters left: 3 (33 enodes) 1553845593.943 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845593.943 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845593.943 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845593.943 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845593.943 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845593.943 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845593.943 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845593.943 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845593.943 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845593.946 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845593.947 * * [simplify]: iters left: 6 (20 enodes) 1553845593.957 * * [simplify]: iters left: 5 (78 enodes) 1553845594.002 * * [simplify]: iters left: 4 (210 enodes) 1553845594.103 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845594.103 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845594.103 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845594.104 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845594.105 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845594.106 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845594.108 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845594.115 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845594.123 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845594.131 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845594.140 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845594.140 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845594.140 * * * * [progress]: [ 13 / 44 ] simplifiying candidate # 1553845594.140 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845594.141 * * [simplify]: iters left: 5 (8 enodes) 1553845594.147 * * [simplify]: iters left: 4 (29 enodes) 1553845594.158 * * [simplify]: iters left: 3 (33 enodes) 1553845594.169 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845594.169 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845594.169 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845594.169 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845594.169 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845594.169 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845594.169 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845594.170 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845594.170 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845594.170 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845594.171 * * [simplify]: iters left: 6 (20 enodes) 1553845594.191 * * [simplify]: iters left: 5 (78 enodes) 1553845594.235 * * [simplify]: iters left: 4 (210 enodes) 1553845594.317 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845594.317 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845594.317 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845594.317 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845594.318 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845594.319 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845594.322 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845594.335 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845594.352 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845594.369 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845594.386 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845594.387 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845594.387 * * * * [progress]: [ 14 / 44 ] simplifiying candidate # 1553845594.387 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845594.387 * * [simplify]: iters left: 5 (8 enodes) 1553845594.395 * * [simplify]: iters left: 4 (29 enodes) 1553845594.405 * * [simplify]: iters left: 3 (33 enodes) 1553845594.416 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845594.416 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845594.416 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845594.416 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845594.416 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845594.416 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845594.416 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845594.416 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845594.416 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845594.417 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845594.417 * * [simplify]: iters left: 6 (20 enodes) 1553845594.437 * * [simplify]: iters left: 5 (78 enodes) 1553845594.480 * * [simplify]: iters left: 4 (210 enodes) 1553845594.582 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845594.582 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845594.582 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845594.582 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845594.583 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845594.583 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845594.586 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845594.592 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845594.600 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845594.614 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845594.628 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845594.628 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845594.628 * * * * [progress]: [ 15 / 44 ] simplifiying candidate # 1553845594.628 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845594.629 * * [simplify]: iters left: 5 (8 enodes) 1553845594.633 * * [simplify]: iters left: 4 (29 enodes) 1553845594.638 * * [simplify]: iters left: 3 (33 enodes) 1553845594.643 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845594.643 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845594.643 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845594.644 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845594.644 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845594.644 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845594.644 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845594.644 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845594.644 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845594.644 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845594.644 * * [simplify]: iters left: 6 (20 enodes) 1553845594.657 * * [simplify]: iters left: 5 (78 enodes) 1553845594.688 * * [simplify]: iters left: 4 (210 enodes) 1553845594.777 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845594.777 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845594.777 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845594.778 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845594.779 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845594.780 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845594.785 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845594.795 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845594.804 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845594.812 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845594.821 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845594.821 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845594.821 * * * * [progress]: [ 16 / 44 ] simplifiying candidate # 1553845594.821 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845594.821 * * [simplify]: iters left: 5 (8 enodes) 1553845594.825 * * [simplify]: iters left: 4 (29 enodes) 1553845594.835 * * [simplify]: iters left: 3 (33 enodes) 1553845594.845 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845594.845 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845594.845 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845594.846 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845594.846 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845594.846 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845594.846 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845594.846 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845594.846 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845594.847 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845594.847 * * [simplify]: iters left: 6 (20 enodes) 1553845594.857 * * [simplify]: iters left: 5 (78 enodes) 1553845594.884 * * [simplify]: iters left: 4 (210 enodes) 1553845594.966 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845594.966 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845594.966 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845594.967 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845594.967 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845594.968 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845594.971 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845594.977 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845594.993 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845595.011 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845595.028 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845595.028 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845595.029 * * * * [progress]: [ 17 / 44 ] simplifiying candidate # 1553845595.029 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845595.029 * * [simplify]: iters left: 5 (8 enodes) 1553845595.037 * * [simplify]: iters left: 4 (29 enodes) 1553845595.046 * * [simplify]: iters left: 3 (33 enodes) 1553845595.052 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845595.052 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845595.052 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845595.052 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845595.052 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845595.052 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845595.052 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845595.052 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845595.052 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845595.053 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845595.053 * * [simplify]: iters left: 6 (20 enodes) 1553845595.062 * * [simplify]: iters left: 5 (78 enodes) 1553845595.089 * * [simplify]: iters left: 4 (210 enodes) 1553845595.199 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845595.199 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845595.200 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845595.200 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845595.201 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845595.206 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845595.212 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845595.224 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845595.241 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845595.258 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845595.275 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845595.275 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845595.276 * * * * [progress]: [ 18 / 44 ] simplifiying candidate # 1553845595.276 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845595.276 * * [simplify]: iters left: 5 (8 enodes) 1553845595.283 * * [simplify]: iters left: 4 (29 enodes) 1553845595.293 * * [simplify]: iters left: 3 (33 enodes) 1553845595.300 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845595.300 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845595.300 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845595.300 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845595.300 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845595.300 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845595.301 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845595.301 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845595.301 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845595.301 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845595.301 * * [simplify]: iters left: 6 (20 enodes) 1553845595.310 * * [simplify]: iters left: 5 (78 enodes) 1553845595.345 * * [simplify]: iters left: 4 (210 enodes) 1553845595.461 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845595.462 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845595.462 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845595.463 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845595.463 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845595.465 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845595.475 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845595.488 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845595.505 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845595.522 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845595.539 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845595.539 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845595.539 * * * * [progress]: [ 19 / 44 ] simplifiying candidate # 1553845595.540 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845595.540 * * [simplify]: iters left: 5 (8 enodes) 1553845595.547 * * [simplify]: iters left: 4 (29 enodes) 1553845595.557 * * [simplify]: iters left: 3 (33 enodes) 1553845595.568 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845595.568 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845595.568 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845595.568 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845595.568 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845595.568 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845595.568 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845595.568 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845595.568 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845595.569 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845595.569 * * [simplify]: iters left: 6 (20 enodes) 1553845595.585 * * [simplify]: iters left: 5 (78 enodes) 1553845595.629 * * [simplify]: iters left: 4 (210 enodes) 1553845595.746 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845595.746 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845595.746 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845595.746 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845595.747 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845595.747 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845595.750 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845595.759 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845595.767 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845595.776 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845595.785 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845595.785 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845595.785 * * * * [progress]: [ 20 / 44 ] simplifiying candidate # 1553845595.785 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845595.785 * * [simplify]: iters left: 5 (8 enodes) 1553845595.789 * * [simplify]: iters left: 4 (29 enodes) 1553845595.794 * * [simplify]: iters left: 3 (33 enodes) 1553845595.802 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845595.802 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845595.803 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845595.803 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845595.803 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845595.803 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845595.803 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845595.803 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845595.803 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845595.804 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845595.804 * * [simplify]: iters left: 6 (20 enodes) 1553845595.821 * * [simplify]: iters left: 5 (78 enodes) 1553845595.848 * * [simplify]: iters left: 4 (210 enodes) 1553845595.961 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845595.961 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845595.961 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845595.962 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845595.963 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845595.964 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845595.970 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845595.982 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845596.003 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845596.020 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845596.038 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845596.038 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845596.038 * * * * [progress]: [ 21 / 44 ] simplifiying candidate # 1553845596.039 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845596.039 * * [simplify]: iters left: 5 (8 enodes) 1553845596.046 * * [simplify]: iters left: 4 (29 enodes) 1553845596.056 * * [simplify]: iters left: 3 (33 enodes) 1553845596.067 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845596.067 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845596.067 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845596.067 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845596.067 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845596.067 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845596.067 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845596.068 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845596.068 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845596.068 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845596.069 * * [simplify]: iters left: 6 (20 enodes) 1553845596.085 * * [simplify]: iters left: 5 (78 enodes) 1553845596.128 * * [simplify]: iters left: 4 (210 enodes) 1553845596.226 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845596.226 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845596.226 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845596.226 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845596.227 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845596.228 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845596.230 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845596.236 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845596.244 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845596.256 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845596.265 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845596.265 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845596.265 * * * * [progress]: [ 22 / 44 ] simplifiying candidate # 1553845596.265 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845596.266 * * [simplify]: iters left: 5 (8 enodes) 1553845596.270 * * [simplify]: iters left: 4 (29 enodes) 1553845596.275 * * [simplify]: iters left: 3 (33 enodes) 1553845596.281 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845596.281 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845596.281 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845596.281 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845596.282 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845596.282 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845596.282 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845596.282 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845596.282 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845596.283 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845596.283 * * [simplify]: iters left: 6 (20 enodes) 1553845596.299 * * [simplify]: iters left: 5 (78 enodes) 1553845596.342 * * [simplify]: iters left: 4 (210 enodes) 1553845596.448 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845596.448 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845596.448 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845596.449 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845596.449 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845596.450 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845596.454 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845596.466 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845596.483 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845596.501 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845596.523 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845596.523 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845596.523 * * * * [progress]: [ 23 / 44 ] simplifiying candidate # 1553845596.524 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845596.524 * * [simplify]: iters left: 5 (8 enodes) 1553845596.531 * * [simplify]: iters left: 4 (29 enodes) 1553845596.541 * * [simplify]: iters left: 3 (33 enodes) 1553845596.552 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845596.552 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845596.552 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845596.552 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845596.552 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845596.552 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845596.552 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845596.553 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845596.553 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845596.553 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845596.554 * * [simplify]: iters left: 6 (20 enodes) 1553845596.571 * * [simplify]: iters left: 5 (78 enodes) 1553845596.615 * * [simplify]: iters left: 4 (210 enodes) 1553845596.711 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845596.711 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845596.711 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845596.712 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845596.713 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845596.714 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845596.718 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845596.725 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845596.733 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845596.741 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845596.760 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845596.760 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845596.760 * * * * [progress]: [ 24 / 44 ] simplifiying candidate # 1553845596.761 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845596.761 * * [simplify]: iters left: 5 (8 enodes) 1553845596.768 * * [simplify]: iters left: 4 (29 enodes) 1553845596.774 * * [simplify]: iters left: 3 (33 enodes) 1553845596.779 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845596.779 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845596.779 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845596.780 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845596.780 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845596.780 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845596.780 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845596.780 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845596.780 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845596.780 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845596.780 * * [simplify]: iters left: 6 (20 enodes) 1553845596.790 * * [simplify]: iters left: 5 (78 enodes) 1553845596.823 * * [simplify]: iters left: 4 (210 enodes) 1553845596.901 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845596.901 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845596.901 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845596.902 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845596.903 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845596.904 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845596.910 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845596.923 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845596.940 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845596.953 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845596.961 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845596.961 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845596.962 * * * * [progress]: [ 25 / 44 ] simplifiying candidate # 1553845596.962 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845596.962 * * [simplify]: iters left: 5 (8 enodes) 1553845596.966 * * [simplify]: iters left: 4 (29 enodes) 1553845596.975 * * [simplify]: iters left: 3 (33 enodes) 1553845596.982 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845596.982 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845596.982 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845596.982 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845596.982 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845596.982 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845596.982 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845596.982 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845596.982 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845596.983 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845596.983 * * [simplify]: iters left: 6 (20 enodes) 1553845596.997 * * [simplify]: iters left: 5 (78 enodes) 1553845597.041 * * [simplify]: iters left: 4 (210 enodes) 1553845597.140 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845597.140 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845597.140 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845597.141 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845597.142 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845597.143 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845597.149 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845597.161 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845597.178 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845597.196 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845597.214 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845597.214 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845597.214 * * * * [progress]: [ 26 / 44 ] simplifiying candidate # 1553845597.214 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845597.215 * * [simplify]: iters left: 5 (8 enodes) 1553845597.221 * * [simplify]: iters left: 4 (29 enodes) 1553845597.227 * * [simplify]: iters left: 3 (33 enodes) 1553845597.236 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845597.236 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845597.236 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845597.236 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845597.236 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845597.236 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845597.236 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845597.236 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845597.236 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845597.237 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845597.237 * * [simplify]: iters left: 6 (20 enodes) 1553845597.247 * * [simplify]: iters left: 5 (78 enodes) 1553845597.282 * * [simplify]: iters left: 4 (210 enodes) 1553845597.377 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845597.377 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845597.377 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845597.378 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845597.379 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845597.380 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845597.386 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845597.399 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845597.415 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845597.433 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845597.447 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845597.448 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845597.448 * * * * [progress]: [ 27 / 44 ] simplifiying candidate # 1553845597.448 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845597.448 * * [simplify]: iters left: 5 (8 enodes) 1553845597.452 * * [simplify]: iters left: 4 (29 enodes) 1553845597.458 * * [simplify]: iters left: 3 (33 enodes) 1553845597.464 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845597.464 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845597.464 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845597.464 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845597.464 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845597.464 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845597.464 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845597.464 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845597.464 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845597.465 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845597.465 * * [simplify]: iters left: 6 (20 enodes) 1553845597.480 * * [simplify]: iters left: 5 (78 enodes) 1553845597.511 * * [simplify]: iters left: 4 (210 enodes) 1553845597.591 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845597.591 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845597.591 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845597.591 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845597.592 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845597.592 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845597.595 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845597.602 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845597.618 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845597.626 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845597.635 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845597.635 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845597.635 * * * * [progress]: [ 28 / 44 ] simplifiying candidate # 1553845597.635 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845597.635 * * [simplify]: iters left: 5 (8 enodes) 1553845597.640 * * [simplify]: iters left: 4 (29 enodes) 1553845597.645 * * [simplify]: iters left: 3 (33 enodes) 1553845597.653 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845597.653 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845597.653 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845597.653 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845597.653 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845597.653 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845597.653 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845597.654 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845597.654 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845597.654 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845597.655 * * [simplify]: iters left: 6 (20 enodes) 1553845597.676 * * [simplify]: iters left: 5 (78 enodes) 1553845597.718 * * [simplify]: iters left: 4 (210 enodes) 1553845597.813 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845597.814 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845597.814 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845597.814 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845597.815 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845597.817 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845597.823 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845597.835 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845597.852 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845597.869 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845597.878 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845597.878 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845597.879 * * * * [progress]: [ 29 / 44 ] simplifiying candidate # 1553845597.879 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845597.879 * * [simplify]: iters left: 5 (8 enodes) 1553845597.883 * * [simplify]: iters left: 4 (29 enodes) 1553845597.889 * * [simplify]: iters left: 3 (33 enodes) 1553845597.894 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845597.894 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845597.894 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845597.894 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845597.894 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845597.895 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845597.895 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845597.895 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845597.895 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845597.895 * [simplify]: Simplifying (+.c (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) 1553845597.895 * * [simplify]: iters left: 6 (20 enodes) 1553845597.910 * * [simplify]: iters left: 5 (78 enodes) 1553845597.956 * * [simplify]: iters left: 4 (210 enodes) 1553845598.034 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845598.034 * * [simplify]: Extracting #1: cost 9 inf + 0 1553845598.034 * * [simplify]: Extracting #2: cost 63 inf + 0 1553845598.034 * * [simplify]: Extracting #3: cost 114 inf + 2 1553845598.035 * * [simplify]: Extracting #4: cost 156 inf + 8 1553845598.036 * * [simplify]: Extracting #5: cost 143 inf + 1610 1553845598.039 * * [simplify]: Extracting #6: cost 71 inf + 17855 1553845598.045 * * [simplify]: Extracting #7: cost 13 inf + 32084 1553845598.053 * * [simplify]: Extracting #8: cost 1 inf + 35045 1553845598.062 * * [simplify]: Extracting #9: cost 0 inf + 35373 1553845598.070 * [simplify]: Simplified to (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2))) 1553845598.070 * [simplify]: Simplified (2 1 1 1 2) to (λ () (im (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (+.c (complex 6 (* -2 (/ (sqrt 3) 2))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845598.071 * * * * [progress]: [ 30 / 44 ] simplifiying candidate # 1553845598.071 * [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))) 1553845598.071 * * [simplify]: iters left: 6 (11 enodes) 1553845598.076 * * [simplify]: iters left: 5 (41 enodes) 1553845598.093 * * [simplify]: iters left: 4 (111 enodes) 1553845598.123 * * [simplify]: iters left: 3 (340 enodes) 1553845598.323 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845598.323 * * [simplify]: Extracting #1: cost 15 inf + 0 1553845598.323 * * [simplify]: Extracting #2: cost 64 inf + 0 1553845598.324 * * [simplify]: Extracting #3: cost 159 inf + 3 1553845598.325 * * [simplify]: Extracting #4: cost 236 inf + 344 1553845598.327 * * [simplify]: Extracting #5: cost 159 inf + 10775 1553845598.334 * * [simplify]: Extracting #6: cost 12 inf + 36823 1553845598.341 * * [simplify]: Extracting #7: cost 0 inf + 38818 1553845598.358 * [simplify]: Simplified to (complex (- (* (- 1/4 3/4) (- 1/4 3/4)) 3/4) (* (/ (sqrt 3) -2) (+ (- 1/4 3/4) (- 1/4 3/4)))) 1553845598.358 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (+.c (complex (- (* (- 1/4 3/4) (- 1/4 3/4)) 3/4) (* (/ (sqrt 3) -2) (+ (- 1/4 3/4) (- 1/4 3/4)))) (+.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)))) 1553845598.359 * * * * [progress]: [ 31 / 44 ] simplifiying candidate # 1553845598.359 * [simplify]: Simplifying (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) 1553845598.359 * * [simplify]: iters left: 6 (14 enodes) 1553845598.369 * * [simplify]: iters left: 5 (51 enodes) 1553845598.390 * * [simplify]: iters left: 4 (113 enodes) 1553845598.436 * * [simplify]: iters left: 3 (336 enodes) 1553845598.584 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845598.584 * * [simplify]: Extracting #1: cost 57 inf + 0 1553845598.584 * * [simplify]: Extracting #2: cost 176 inf + 0 1553845598.585 * * [simplify]: Extracting #3: cost 327 inf + 90 1553845598.586 * * [simplify]: Extracting #4: cost 393 inf + 93 1553845598.589 * * [simplify]: Extracting #5: cost 295 inf + 14345 1553845598.597 * * [simplify]: Extracting #6: cost 131 inf + 49398 1553845598.617 * * [simplify]: Extracting #7: cost 33 inf + 78067 1553845598.634 * * [simplify]: Extracting #8: cost 4 inf + 90194 1553845598.658 * * [simplify]: Extracting #9: cost 0 inf + 92099 1553845598.693 * [simplify]: Simplified to (complex (- (* (- -1/2 (* (/ (sqrt 3) 2) (* -1 (sqrt 3)))) -1/2) (* (+ (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2))) (+ (* (+ (/ (sqrt 3) 2) (/ (sqrt 3) 2)) -1/2) (* (/ (sqrt 3) 2) (- -1/2 (* (/ (sqrt 3) 2) (* -1 (sqrt 3))))))) 1553845598.693 * [simplify]: Simplified (2 1 1 1 1) to (λ () (im (+.c (+.c (+.c (complex (- (* (- -1/2 (* (/ (sqrt 3) 2) (* -1 (sqrt 3)))) -1/2) (* (+ (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2))) (+ (* (+ (/ (sqrt 3) 2) (/ (sqrt 3) 2)) -1/2) (* (/ (sqrt 3) 2) (- -1/2 (* (/ (sqrt 3) 2) (* -1 (sqrt 3))))))) (+.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 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)))) 1553845598.693 * * * * [progress]: [ 32 / 44 ] simplifiying candidate # 1553845598.693 * * * * [progress]: [ 33 / 44 ] simplifiying candidate # 1553845598.694 * [simplify]: Simplifying (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) 1553845598.694 * * [simplify]: iters left: 6 (18 enodes) 1553845598.707 * * [simplify]: iters left: 5 (78 enodes) 1553845598.730 * * [simplify]: iters left: 4 (124 enodes) 1553845598.764 * * [simplify]: iters left: 3 (230 enodes) 1553845598.828 * * [simplify]: iters left: 2 (366 enodes) 1553845599.018 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845599.018 * * [simplify]: Extracting #1: cost 0 inf + 1 1553845599.018 * [simplify]: Simplified to 1 1553845599.018 * [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 1 (+ (* (- (* (- 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)))) 1553845599.020 * [simplify]: Simplifying (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) 1553845599.020 * * [simplify]: iters left: 6 (18 enodes) 1553845599.034 * * [simplify]: iters left: 5 (77 enodes) 1553845599.076 * * [simplify]: iters left: 4 (113 enodes) 1553845599.121 * * [simplify]: iters left: 3 (188 enodes) 1553845599.297 * * [simplify]: iters left: 2 (387 enodes) 1553845599.932 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845599.932 * * [simplify]: Extracting #1: cost 30 inf + 0 1553845599.933 * * [simplify]: Extracting #2: cost 55 inf + 10 1553845599.935 * * [simplify]: Extracting #3: cost 24 inf + 2915 1553845599.940 * * [simplify]: Extracting #4: cost 0 inf + 5726 1553845599.945 * * [simplify]: Extracting #5: cost 0 inf + 5486 1553845599.950 * [simplify]: Simplified to (sqrt 3) 1553845599.950 * [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 1 (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)))) 1553845599.950 * * * * [progress]: [ 34 / 44 ] simplifiying candidate # 1553845599.951 * [simplify]: Simplifying (complex (- 2) 0) 1553845599.951 * * [simplify]: iters left: 3 (4 enodes) 1553845599.955 * * [simplify]: iters left: 2 (11 enodes) 1553845599.959 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845599.959 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845599.959 * * [simplify]: Extracting #2: cost 1 inf + 2 1553845599.959 * * [simplify]: Extracting #3: cost 0 inf + 4 1553845599.959 * [simplify]: Simplified to (complex -2 0) 1553845599.959 * [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)))) 1553845599.960 * * * * [progress]: [ 35 / 44 ] simplifiying candidate # 1553845599.960 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845599.960 * * [simplify]: iters left: 5 (8 enodes) 1553845599.966 * * [simplify]: iters left: 4 (29 enodes) 1553845599.976 * * [simplify]: iters left: 3 (33 enodes) 1553845599.986 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845599.986 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845599.986 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845599.986 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845599.986 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845599.986 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845599.986 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845599.986 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845599.986 * [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 -1/2 (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (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)))) 1553845599.986 * * * * [progress]: [ 36 / 44 ] simplifiying candidate # 1553845599.987 * * * * [progress]: [ 37 / 44 ] simplifiying candidate # 1553845599.987 * [simplify]: Simplifying (- (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) 1553845599.987 * * [simplify]: iters left: 6 (18 enodes) 1553845599.996 * * [simplify]: iters left: 5 (75 enodes) 1553845600.011 * * [simplify]: iters left: 4 (109 enodes) 1553845600.036 * * [simplify]: iters left: 3 (188 enodes) 1553845600.086 * * [simplify]: iters left: 2 (338 enodes) 1553845600.241 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845600.241 * * [simplify]: Extracting #1: cost 0 inf + 1 1553845600.241 * [simplify]: Simplified to -5/2 1553845600.241 * [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)))) 1553845600.242 * [simplify]: Simplifying (+ (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) 1553845600.242 * * [simplify]: iters left: 6 (18 enodes) 1553845600.258 * * [simplify]: iters left: 5 (74 enodes) 1553845600.280 * * [simplify]: iters left: 4 (98 enodes) 1553845600.301 * * [simplify]: iters left: 3 (150 enodes) 1553845600.359 * * [simplify]: iters left: 2 (247 enodes) 1553845600.437 * * [simplify]: iters left: 1 (387 enodes) 1553845600.632 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845600.632 * * [simplify]: Extracting #1: cost 45 inf + 0 1553845600.633 * * [simplify]: Extracting #2: cost 73 inf + 17 1553845600.633 * * [simplify]: Extracting #3: cost 62 inf + 676 1553845600.635 * * [simplify]: Extracting #4: cost 6 inf + 6561 1553845600.637 * * [simplify]: Extracting #5: cost 0 inf + 7134 1553845600.639 * [simplify]: Simplified to (* -5/2 (sqrt 3)) 1553845600.639 * [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 (* -5/2 (sqrt 3)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845600.639 * * * * [progress]: [ 38 / 44 ] simplifiying candidate # 1553845600.640 * [simplify]: Simplifying (complex 5 0) 1553845600.640 * * [simplify]: iters left: 1 (3 enodes) 1553845600.641 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845600.641 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845600.641 * * [simplify]: Extracting #2: cost 1 inf + 2 1553845600.641 * * [simplify]: Extracting #3: cost 0 inf + 4 1553845600.641 * [simplify]: Simplified to (complex 5 0) 1553845600.641 * [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)))) 1553845600.642 * * * * [progress]: [ 39 / 44 ] simplifiying candidate # 1553845600.642 * [simplify]: Simplifying (complex (/ (- 1) 2) (/ (sqrt 3) 2)) 1553845600.642 * * [simplify]: iters left: 5 (8 enodes) 1553845600.646 * * [simplify]: iters left: 4 (29 enodes) 1553845600.651 * * [simplify]: iters left: 3 (33 enodes) 1553845600.660 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845600.660 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845600.660 * * [simplify]: Extracting #2: cost 5 inf + 1 1553845600.660 * * [simplify]: Extracting #3: cost 6 inf + 2 1553845600.660 * * [simplify]: Extracting #4: cost 5 inf + 3 1553845600.660 * * [simplify]: Extracting #5: cost 3 inf + 126 1553845600.661 * * [simplify]: Extracting #6: cost 0 inf + 332 1553845600.661 * [simplify]: Simplified to (complex -1/2 (/ (sqrt 3) 2)) 1553845600.661 * [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 -1/2 (/ (sqrt 3) 2)) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))) 1553845600.661 * * * * [progress]: [ 40 / 44 ] simplifiying candidate # 1553845600.661 * * * * [progress]: [ 41 / 44 ] simplifiying candidate # 1553845600.662 * [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))) 1553845600.662 * * [simplify]: iters left: 6 (31 enodes) 1553845600.685 * * [simplify]: iters left: 5 (113 enodes) 1553845600.751 * * [simplify]: iters left: 4 (349 enodes) 1553845600.963 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845600.963 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845600.964 * * [simplify]: Extracting #2: cost 31 inf + 0 1553845600.964 * * [simplify]: Extracting #3: cost 148 inf + 0 1553845600.966 * * [simplify]: Extracting #4: cost 258 inf + 4 1553845600.968 * * [simplify]: Extracting #5: cost 326 inf + 21 1553845600.971 * * [simplify]: Extracting #6: cost 365 inf + 25 1553845600.978 * * [simplify]: Extracting #7: cost 281 inf + 34025 1553845601.007 * * [simplify]: Extracting #8: cost 115 inf + 84959 1553845601.055 * * [simplify]: Extracting #9: cost 15 inf + 106264 1553845601.109 * * [simplify]: Extracting #10: cost 0 inf + 109493 1553845601.145 * * [simplify]: Extracting #11: cost 0 inf + 109492 1553845601.179 * [simplify]: Simplified to (im (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)))))) 1553845601.179 * [simplify]: Simplified (2) to (λ () (im (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1))))))) 1553845601.179 * * * * [progress]: [ 42 / 44 ] simplifiying candidate # 1553845601.179 * [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))) 1553845601.180 * * [simplify]: iters left: 6 (31 enodes) 1553845601.192 * * [simplify]: iters left: 5 (113 enodes) 1553845601.272 * * [simplify]: iters left: 4 (349 enodes) 1553845601.474 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845601.474 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845601.474 * * [simplify]: Extracting #2: cost 31 inf + 0 1553845601.475 * * [simplify]: Extracting #3: cost 148 inf + 0 1553845601.475 * * [simplify]: Extracting #4: cost 258 inf + 4 1553845601.477 * * [simplify]: Extracting #5: cost 326 inf + 21 1553845601.478 * * [simplify]: Extracting #6: cost 365 inf + 25 1553845601.483 * * [simplify]: Extracting #7: cost 281 inf + 34025 1553845601.508 * * [simplify]: Extracting #8: cost 115 inf + 84959 1553845601.532 * * [simplify]: Extracting #9: cost 15 inf + 106264 1553845601.573 * * [simplify]: Extracting #10: cost 0 inf + 109493 1553845601.603 * * [simplify]: Extracting #11: cost 0 inf + 109492 1553845601.646 * [simplify]: Simplified to (im (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)))))) 1553845601.647 * [simplify]: Simplified (2) to (λ () (im (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1))))))) 1553845601.647 * * * * [progress]: [ 43 / 44 ] simplifiying candidate # 1553845601.647 * [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))) 1553845601.647 * * [simplify]: iters left: 6 (31 enodes) 1553845601.660 * * [simplify]: iters left: 5 (113 enodes) 1553845601.725 * * [simplify]: iters left: 4 (349 enodes) 1553845601.940 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845601.941 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845601.941 * * [simplify]: Extracting #2: cost 31 inf + 0 1553845601.941 * * [simplify]: Extracting #3: cost 148 inf + 0 1553845601.942 * * [simplify]: Extracting #4: cost 258 inf + 4 1553845601.943 * * [simplify]: Extracting #5: cost 326 inf + 21 1553845601.945 * * [simplify]: Extracting #6: cost 365 inf + 25 1553845601.949 * * [simplify]: Extracting #7: cost 281 inf + 34025 1553845601.965 * * [simplify]: Extracting #8: cost 115 inf + 84959 1553845602.010 * * [simplify]: Extracting #9: cost 15 inf + 106264 1553845602.046 * * [simplify]: Extracting #10: cost 0 inf + 109493 1553845602.104 * * [simplify]: Extracting #11: cost 0 inf + 109492 1553845602.150 * [simplify]: Simplified to (im (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)))))) 1553845602.150 * [simplify]: Simplified (2) to (λ () (im (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1))))))) 1553845602.150 * * * * [progress]: [ 44 / 44 ] simplifiying candidate # 1553845602.150 * [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))) 1553845602.150 * * [simplify]: iters left: 6 (31 enodes) 1553845602.163 * * [simplify]: iters left: 5 (113 enodes) 1553845602.240 * * [simplify]: iters left: 4 (349 enodes) 1553845602.457 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845602.457 * * [simplify]: Extracting #1: cost 3 inf + 0 1553845602.457 * * [simplify]: Extracting #2: cost 31 inf + 0 1553845602.457 * * [simplify]: Extracting #3: cost 148 inf + 0 1553845602.458 * * [simplify]: Extracting #4: cost 258 inf + 4 1553845602.459 * * [simplify]: Extracting #5: cost 326 inf + 21 1553845602.460 * * [simplify]: Extracting #6: cost 365 inf + 25 1553845602.465 * * [simplify]: Extracting #7: cost 281 inf + 34025 1553845602.482 * * [simplify]: Extracting #8: cost 115 inf + 84959 1553845602.529 * * [simplify]: Extracting #9: cost 15 inf + 106264 1553845602.578 * * [simplify]: Extracting #10: cost 0 inf + 109493 1553845602.611 * * [simplify]: Extracting #11: cost 0 inf + 109492 1553845602.667 * [simplify]: Simplified to (im (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)))))) 1553845602.667 * [simplify]: Simplified (2) to (λ () (im (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1))))))) 1553845602.667 * * * [progress]: adding candidates to table 1553845603.683 * [progress]: [Phase 3 of 3] Extracting. 1553845603.692 * [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))) 1553845603.693 * * [simplify]: iters left: 6 (31 enodes) 1553845603.696 * * [simplify]: iters left: 5 (49 enodes) 1553845603.699 * * [simplify]: iters left: 4 (50 enodes) 1553845603.703 * * [simplify]: Extracting #0: cost 1 inf + 0 1553845603.704 * * [simplify]: Extracting #1: cost 2 inf + 0 1553845603.704 * * [simplify]: Extracting #2: cost 4 inf + 0 1553845603.704 * * [simplify]: Extracting #3: cost 8 inf + 0 1553845603.704 * * [simplify]: Extracting #4: cost 9 inf + 4 1553845603.704 * * [simplify]: Extracting #5: cost 15 inf + 4 1553845603.704 * * [simplify]: Extracting #6: cost 17 inf + 8 1553845603.704 * * [simplify]: Extracting #7: cost 20 inf + 9 1553845603.704 * * [simplify]: Extracting #8: cost 18 inf + 52 1553845603.704 * * [simplify]: Extracting #9: cost 12 inf + 2155 1553845603.704 * * [simplify]: Extracting #10: cost 8 inf + 3926 1553845603.705 * * [simplify]: Extracting #11: cost 5 inf + 6101 1553845603.705 * * [simplify]: Extracting #12: cost 4 inf + 8186 1553845603.706 * * [simplify]: Extracting #13: cost 1 inf + 17487 1553845603.707 * * [simplify]: Extracting #14: cost 0 inf + 20775 1553845603.709 * [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))) 1553845603.709 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1553845603.713 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1553845603.827 * * * * [points]: Setting MPFR precision to 832 1553845603.832 * * * * [points]: Setting MPFR precision to 1088 1553845603.837 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1553845603.958 * * * * [points]: Setting MPFR precision to 832 1553845603.968 * * * * [points]: Setting MPFR precision to 1088 1553845603.985 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1553845604.098 * * * * [points]: Setting MPFR precision to 832 1553845604.118 * * * * [points]: Setting MPFR precision to 1088 1553845604.150 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1553845604.242 * * * * [points]: Setting MPFR precision to 832 1553845604.275 * * * * [points]: Setting MPFR precision to 1088 1553845604.298 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1553845604.448 * * * * [points]: Setting MPFR precision to 832 1553845604.495 * * * * [points]: Setting MPFR precision to 1088 1553845604.585 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1553845604.706 * * * * [points]: Setting MPFR precision to 832 1553845604.801 * * * * [points]: Setting MPFR precision to 1088 1553845605.021 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1553845605.165 * * * * [points]: Setting MPFR precision to 832 1553845605.427 * * * * [points]: Setting MPFR precision to 1088 1553845606.214 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1553845606.388 * * * * [points]: Setting MPFR precision to 832 1553845606.978 * * * * [points]: Setting MPFR precision to 1088 1553845607.636 * * * * [points]: Computing exacts for 8000 points 1553845608.173 * * * * [points]: Setting MPFR precision to 832 1553845611.236 * * * * [points]: Setting MPFR precision to 1088 1553845614.687 * * * * [points]: Filtering points with unrepresentable outputs 1553845614.690 * * * * [points]: Sampled 8000 points with exact outputs 1553845614.894 * [regime-testing]: Baseline error score: 0 1553845614.895 * [regime-testing]: Oracle error score: 0 1553845614.895 * [regime-testing]: End program error score: 0