1550836646.018 * [misc]progress: [Phase 1 of 3] Setting up. 1550836646.018 * * * [misc]progress: [1/2] Preparing points 1550836646.018 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1550836646.018 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1550836646.042 * * * * [misc]points: Setting MPFR precision to 64 1550836646.045 * * * * [misc]points: Setting MPFR precision to 320 1550836646.047 * * * * [misc]points: Setting MPFR precision to 576 1550836646.050 * * * * [misc]points: Setting MPFR precision to 832 1550836646.052 * * * * [misc]points: Setting MPFR precision to 1088 1550836646.054 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1550836646.191 * * * * [misc]points: Setting MPFR precision to 832 1550836646.203 * * * * [misc]points: Setting MPFR precision to 1088 1550836646.208 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1550836646.320 * * * * [misc]points: Setting MPFR precision to 832 1550836646.328 * * * * [misc]points: Setting MPFR precision to 1088 1550836646.336 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1550836646.460 * * * * [misc]points: Setting MPFR precision to 832 1550836646.475 * * * * [misc]points: Setting MPFR precision to 1088 1550836646.500 * * * * [misc]points: Computing exacts for 256 points 1550836646.615 * * * * [misc]points: Setting MPFR precision to 832 1550836646.719 * * * * [misc]points: Setting MPFR precision to 1088 1550836646.782 * * * * [misc]points: Filtering points with unrepresentable outputs 1550836646.783 * * * * [exit]points: Sampled 256 points with exact outputs 1550836646.783 * * * [misc]progress: [2/2] Setting up program. 1550836646.788 * [misc]progress: [Phase 2 of 3] Improving. 1550836646.788 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550836646.788 * [enter]simplify: Simplifying (re (+.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))) 1550836646.788 * * [misc]simplify: iters left: 6 (31 enodes) 1550836646.800 * * [misc]simplify: iters left: 5 (113 enodes) 1550836646.889 * * [misc]simplify: iters left: 4 (349 enodes) 1550836647.043 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.043 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.043 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1550836647.044 * * [misc]simplify: Extracting #3: cost 148 inf + 0 1550836647.045 * * [misc]simplify: Extracting #4: cost 258 inf + 4 1550836647.047 * * [misc]simplify: Extracting #5: cost 326 inf + 21 1550836647.049 * * [misc]simplify: Extracting #6: cost 365 inf + 25 1550836647.056 * * [misc]simplify: Extracting #7: cost 281 inf + 34025 1550836647.074 * * [misc]simplify: Extracting #8: cost 115 inf + 84959 1550836647.112 * * [misc]simplify: Extracting #9: cost 15 inf + 106264 1550836647.149 * * [misc]simplify: Extracting #10: cost 0 inf + 109493 1550836647.196 * * [misc]simplify: Extracting #11: cost 0 inf + 109492 1550836647.226 * [exit]simplify: Simplified to (re (+.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)))))) 1550836647.226 * [misc]simplify: Simplified (2) to (λ () (re (+.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))))))) 1550836647.233 * * [misc]progress: iteration 1 / 4 1550836647.233 * * * [misc]progress: picking best candidate 1550836647.236 * * * * [misc]pick: Picked # 1550836647.236 * * * [misc]progress: localizing error 1550836647.295 * * * [misc]progress: generating rewritten candidates 1550836647.295 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 2 2 1 2) 1550836647.305 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 1550836647.313 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1550836647.313 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 2) 1550836647.315 * * * [misc]progress: generating series expansions 1550836647.315 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 2 2 1 2) 1550836647.315 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 1550836647.315 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1550836647.315 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 2) 1550836647.315 * * * [misc]progress: simplifying candidates 1550836647.315 * * * * [misc]progress: [ 1 / 86 ] simplifiying candidate # 1550836647.315 * [enter]simplify: Simplifying (/ (sqrt 3) 2) 1550836647.315 * * [misc]simplify: iters left: 3 (4 enodes) 1550836647.317 * * [misc]simplify: iters left: 2 (12 enodes) 1550836647.319 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.319 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836647.319 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836647.319 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550836647.320 * * [misc]simplify: Extracting #4: cost 0 inf + 248 1550836647.320 * [exit]simplify: Simplified to (/ (sqrt 3) 2) 1550836647.320 * [misc]simplify: Simplified (2 1 2 2 2 1 2 1) to (λ () (re (+.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 (pow (/ (sqrt 3) 2) (+ 1 1))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.320 * [enter]simplify: Simplifying (+ 1 1) 1550836647.320 * * [misc]simplify: iters left: 2 (2 enodes) 1550836647.321 * * [misc]simplify: iters left: 1 (9 enodes) 1550836647.323 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.323 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.323 * [exit]simplify: Simplified to 2 1550836647.323 * [misc]simplify: Simplified (2 1 2 2 2 1 2 2) to (λ () (re (+.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 (pow (/ (sqrt 3) 2) 2)) (* (/ (sqrt 3) 2) -1))))))) 1550836647.323 * * * * [misc]progress: [ 2 / 86 ] simplifiying candidate # 1550836647.323 * [enter]simplify: Simplifying (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) 1550836647.323 * * [misc]simplify: iters left: 5 (5 enodes) 1550836647.326 * * [misc]simplify: iters left: 4 (19 enodes) 1550836647.329 * * [misc]simplify: iters left: 3 (27 enodes) 1550836647.335 * * [misc]simplify: iters left: 2 (36 enodes) 1550836647.346 * * [misc]simplify: iters left: 1 (43 enodes) 1550836647.352 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.352 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.352 * [exit]simplify: Simplified to 3/4 1550836647.352 * [misc]simplify: Simplified (2 1 2 2 2 1 2 1) to (λ () (re (+.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 (pow 3/4 1)) (* (/ (sqrt 3) 2) -1))))))) 1550836647.352 * * * * [misc]progress: [ 3 / 86 ] simplifiying candidate # 1550836647.352 * * * * [misc]progress: [ 4 / 86 ] simplifiying candidate # 1550836647.353 * [enter]simplify: Simplifying (/ (sqrt 3) 2) 1550836647.353 * * [misc]simplify: iters left: 3 (4 enodes) 1550836647.354 * * [misc]simplify: iters left: 2 (12 enodes) 1550836647.356 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.357 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836647.357 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836647.357 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550836647.357 * * [misc]simplify: Extracting #4: cost 0 inf + 248 1550836647.357 * [exit]simplify: Simplified to (/ (sqrt 3) 2) 1550836647.357 * [misc]simplify: Simplified (2 1 2 2 2 1 2 1) to (λ () (re (+.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 (pow (/ (sqrt 3) 2) (+ 1 1))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.357 * * * * [misc]progress: [ 5 / 86 ] simplifiying candidate # 1550836647.357 * * * * [misc]progress: [ 6 / 86 ] simplifiying candidate # 1550836647.357 * [enter]simplify: Simplifying (+ (log (/ (sqrt 3) 2)) (log (/ (sqrt 3) 2))) 1550836647.357 * * [misc]simplify: iters left: 6 (6 enodes) 1550836647.360 * * [misc]simplify: iters left: 5 (21 enodes) 1550836647.364 * * [misc]simplify: iters left: 4 (31 enodes) 1550836647.369 * * [misc]simplify: iters left: 3 (50 enodes) 1550836647.378 * * [misc]simplify: iters left: 2 (84 enodes) 1550836647.395 * * [misc]simplify: iters left: 1 (114 enodes) 1550836647.416 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.416 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1550836647.416 * * [misc]simplify: Extracting #2: cost 30 inf + 0 1550836647.416 * * [misc]simplify: Extracting #3: cost 25 inf + 778 1550836647.416 * * [misc]simplify: Extracting #4: cost 21 inf + 972 1550836647.417 * * [misc]simplify: Extracting #5: cost 7 inf + 3465 1550836647.418 * * [misc]simplify: Extracting #6: cost 0 inf + 4838 1550836647.419 * [exit]simplify: Simplified to (+ (log (/ (sqrt 3) 2)) (log (/ (sqrt 3) 2))) 1550836647.419 * [misc]simplify: Simplified (2 1 2 2 2 1 2 1) to (λ () (re (+.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 (exp (+ (log (/ (sqrt 3) 2)) (log (/ (sqrt 3) 2))))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.419 * * * * [misc]progress: [ 7 / 86 ] simplifiying candidate # 1550836647.419 * * * * [misc]progress: [ 8 / 86 ] simplifiying candidate # 1550836647.419 * * * * [misc]progress: [ 9 / 86 ] simplifiying candidate # 1550836647.419 * [enter]simplify: Simplifying (* (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2)) (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2))) 1550836647.419 * * [misc]simplify: iters left: 6 (7 enodes) 1550836647.422 * * [misc]simplify: iters left: 5 (32 enodes) 1550836647.431 * * [misc]simplify: iters left: 4 (87 enodes) 1550836647.463 * * [misc]simplify: iters left: 3 (206 enodes) 1550836647.577 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.577 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.577 * [exit]simplify: Simplified to 27/64 1550836647.577 * [misc]simplify: Simplified (2 1 2 2 2 1 2 1) to (λ () (re (+.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 (cbrt 27/64)) (* (/ (sqrt 3) 2) -1))))))) 1550836647.577 * * * * [misc]progress: [ 10 / 86 ] simplifiying candidate # 1550836647.577 * * * * [misc]progress: [ 11 / 86 ] simplifiying candidate # 1550836647.577 * * * * [misc]progress: [ 12 / 86 ] simplifiying candidate # 1550836647.577 * * * * [misc]progress: [ 13 / 86 ] simplifiying candidate # 1550836647.578 * [enter]simplify: Simplifying (* (sqrt 3) (sqrt 3)) 1550836647.578 * * [misc]simplify: iters left: 3 (3 enodes) 1550836647.579 * * [misc]simplify: iters left: 2 (7 enodes) 1550836647.580 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.580 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.580 * [exit]simplify: Simplified to 3 1550836647.580 * [misc]simplify: Simplified (2 1 2 2 2 1 2 1) to (λ () (re (+.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 (/ 3 (* 2 2))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.580 * [enter]simplify: Simplifying (* 2 2) 1550836647.580 * * [misc]simplify: iters left: 2 (2 enodes) 1550836647.582 * * [misc]simplify: iters left: 1 (7 enodes) 1550836647.583 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.583 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.583 * [exit]simplify: Simplified to 4 1550836647.583 * [misc]simplify: Simplified (2 1 2 2 2 1 2 2) to (λ () (re (+.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 (/ 3 4)) (* (/ (sqrt 3) 2) -1))))))) 1550836647.583 * * * * [misc]progress: [ 14 / 86 ] simplifiying candidate # 1550836647.583 * * * * [misc]progress: [ 15 / 86 ] simplifiying candidate # 1550836647.583 * [enter]simplify: Simplifying (cbrt (/ (sqrt 3) 2)) 1550836647.583 * * [misc]simplify: iters left: 4 (5 enodes) 1550836647.586 * * [misc]simplify: iters left: 3 (15 enodes) 1550836647.590 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.590 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.590 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550836647.590 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550836647.590 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1550836647.591 * * [misc]simplify: Extracting #5: cost 0 inf + 572 1550836647.591 * [exit]simplify: Simplified to (cbrt (/ (sqrt 3) 2)) 1550836647.591 * [misc]simplify: Simplified (2 1 2 2 2 1 2 2) to (λ () (re (+.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) (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2)))) (cbrt (/ (sqrt 3) 2)))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.591 * * * * [misc]progress: [ 16 / 86 ] simplifiying candidate # 1550836647.591 * [enter]simplify: Simplifying (sqrt (/ (sqrt 3) 2)) 1550836647.592 * * [misc]simplify: iters left: 4 (5 enodes) 1550836647.594 * * [misc]simplify: iters left: 3 (15 enodes) 1550836647.599 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.599 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.599 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550836647.599 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550836647.599 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1550836647.599 * * [misc]simplify: Extracting #5: cost 0 inf + 492 1550836647.599 * [exit]simplify: Simplified to (sqrt (/ (sqrt 3) 2)) 1550836647.599 * [misc]simplify: Simplified (2 1 2 2 2 1 2 2) to (λ () (re (+.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 (/ (sqrt 3) 2))) (sqrt (/ (sqrt 3) 2)))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.600 * * * * [misc]progress: [ 17 / 86 ] simplifiying candidate # 1550836647.600 * [enter]simplify: Simplifying (/ (sqrt 3) 2) 1550836647.600 * * [misc]simplify: iters left: 3 (4 enodes) 1550836647.603 * * [misc]simplify: iters left: 2 (12 enodes) 1550836647.606 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.606 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836647.607 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836647.607 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550836647.607 * * [misc]simplify: Extracting #4: cost 0 inf + 248 1550836647.607 * [exit]simplify: Simplified to (/ (sqrt 3) 2) 1550836647.607 * [misc]simplify: Simplified (2 1 2 2 2 1 2 2) to (λ () (re (+.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) 1) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.607 * * * * [misc]progress: [ 18 / 86 ] simplifiying candidate # 1550836647.607 * [enter]simplify: Simplifying (/ 1 2) 1550836647.608 * * [misc]simplify: iters left: 2 (3 enodes) 1550836647.611 * * [misc]simplify: iters left: 1 (12 enodes) 1550836647.615 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.615 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.615 * [exit]simplify: Simplified to 1/2 1550836647.615 * [misc]simplify: Simplified (2 1 2 2 2 1 2 2) to (λ () (re (+.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)) 1/2)) (* (/ (sqrt 3) 2) -1))))))) 1550836647.615 * * * * [misc]progress: [ 19 / 86 ] simplifiying candidate # 1550836647.616 * [enter]simplify: Simplifying (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2))) 1550836647.616 * * [misc]simplify: iters left: 6 (6 enodes) 1550836647.622 * * [misc]simplify: iters left: 5 (18 enodes) 1550836647.627 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.627 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.627 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836647.627 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550836647.627 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550836647.627 * * [misc]simplify: Extracting #5: cost 8 inf + 2 1550836647.627 * * [misc]simplify: Extracting #6: cost 0 inf + 976 1550836647.627 * [exit]simplify: Simplified to (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2))) 1550836647.627 * [misc]simplify: Simplified (2 1 2 2 2 1 2 1) to (λ () (re (+.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 (* (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2))) (* (cbrt (/ (sqrt 3) 2)) (/ (sqrt 3) 2)))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.627 * * * * [misc]progress: [ 20 / 86 ] simplifiying candidate # 1550836647.628 * [enter]simplify: Simplifying (sqrt (/ (sqrt 3) 2)) 1550836647.628 * * [misc]simplify: iters left: 4 (5 enodes) 1550836647.629 * * [misc]simplify: iters left: 3 (15 enodes) 1550836647.632 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.632 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.632 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550836647.632 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550836647.632 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1550836647.632 * * [misc]simplify: Extracting #5: cost 0 inf + 492 1550836647.632 * [exit]simplify: Simplified to (sqrt (/ (sqrt 3) 2)) 1550836647.632 * [misc]simplify: Simplified (2 1 2 2 2 1 2 1) to (λ () (re (+.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 (/ (sqrt 3) 2)) (* (sqrt (/ (sqrt 3) 2)) (/ (sqrt 3) 2)))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.633 * * * * [misc]progress: [ 21 / 86 ] simplifiying candidate # 1550836647.633 * * * * [misc]progress: [ 22 / 86 ] simplifiying candidate # 1550836647.633 * [enter]simplify: Simplifying (sqrt 3) 1550836647.633 * * [misc]simplify: iters left: 1 (2 enodes) 1550836647.634 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.634 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.634 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550836647.634 * * [misc]simplify: Extracting #3: cost 0 inf + 83 1550836647.634 * [exit]simplify: Simplified to (sqrt 3) 1550836647.634 * [misc]simplify: Simplified (2 1 2 2 2 1 2 1) to (λ () (re (+.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) (* (/ 1 2) (/ (sqrt 3) 2)))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.634 * * * * [misc]progress: [ 23 / 86 ] simplifiying candidate # 1550836647.634 * * * * [misc]progress: [ 24 / 86 ] simplifiying candidate # 1550836647.635 * [enter]simplify: Simplifying (* (sqrt 3) (/ (sqrt 3) 2)) 1550836647.635 * * [misc]simplify: iters left: 5 (5 enodes) 1550836647.636 * * [misc]simplify: iters left: 4 (18 enodes) 1550836647.640 * * [misc]simplify: iters left: 3 (19 enodes) 1550836647.643 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.643 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.643 * [exit]simplify: Simplified to 3/2 1550836647.643 * [misc]simplify: Simplified (2 1 2 2 2 1 2 1) to (λ () (re (+.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 (/ 3/2 2)) (* (/ (sqrt 3) 2) -1))))))) 1550836647.643 * * * * [misc]progress: [ 25 / 86 ] simplifiying candidate #real (real->posit16 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))))) (* (/ (sqrt 3) 2) -1)))))))> 1550836647.643 * * * * [misc]progress: [ 26 / 86 ] simplifiying candidate # 1550836647.643 * * * * [misc]progress: [ 27 / 86 ] simplifiying candidate # 1550836647.643 * [enter]simplify: Simplifying (/ (sqrt 3) 2) 1550836647.643 * * [misc]simplify: iters left: 3 (4 enodes) 1550836647.645 * * [misc]simplify: iters left: 2 (12 enodes) 1550836647.649 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.649 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836647.649 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836647.650 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550836647.650 * * [misc]simplify: Extracting #4: cost 0 inf + 248 1550836647.650 * [exit]simplify: Simplified to (/ (sqrt 3) 2) 1550836647.650 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (pow (/ (sqrt 3) 2) (+ 1 1))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.650 * [enter]simplify: Simplifying (+ 1 1) 1550836647.650 * * [misc]simplify: iters left: 2 (2 enodes) 1550836647.652 * * [misc]simplify: iters left: 1 (9 enodes) 1550836647.655 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.655 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.655 * [exit]simplify: Simplified to 2 1550836647.655 * [misc]simplify: Simplified (2 1 2 1 1 2 2) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (pow (/ (sqrt 3) 2) 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))))))) 1550836647.655 * * * * [misc]progress: [ 28 / 86 ] simplifiying candidate # 1550836647.656 * [enter]simplify: Simplifying (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) 1550836647.656 * * [misc]simplify: iters left: 5 (5 enodes) 1550836647.659 * * [misc]simplify: iters left: 4 (19 enodes) 1550836647.666 * * [misc]simplify: iters left: 3 (27 enodes) 1550836647.672 * * [misc]simplify: iters left: 2 (36 enodes) 1550836647.679 * * [misc]simplify: iters left: 1 (43 enodes) 1550836647.687 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.687 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.687 * [exit]simplify: Simplified to 3/4 1550836647.687 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (pow 3/4 1)) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.687 * * * * [misc]progress: [ 29 / 86 ] simplifiying candidate # 1550836647.687 * * * * [misc]progress: [ 30 / 86 ] simplifiying candidate # 1550836647.688 * [enter]simplify: Simplifying (/ (sqrt 3) 2) 1550836647.688 * * [misc]simplify: iters left: 3 (4 enodes) 1550836647.689 * * [misc]simplify: iters left: 2 (12 enodes) 1550836647.692 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.692 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836647.692 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836647.692 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550836647.692 * * [misc]simplify: Extracting #4: cost 0 inf + 248 1550836647.692 * [exit]simplify: Simplified to (/ (sqrt 3) 2) 1550836647.692 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (pow (/ (sqrt 3) 2) (+ 1 1))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.692 * * * * [misc]progress: [ 31 / 86 ] simplifiying candidate # 1550836647.692 * * * * [misc]progress: [ 32 / 86 ] simplifiying candidate # 1550836647.692 * [enter]simplify: Simplifying (+ (log (/ (sqrt 3) 2)) (log (/ (sqrt 3) 2))) 1550836647.692 * * [misc]simplify: iters left: 6 (6 enodes) 1550836647.695 * * [misc]simplify: iters left: 5 (21 enodes) 1550836647.698 * * [misc]simplify: iters left: 4 (31 enodes) 1550836647.707 * * [misc]simplify: iters left: 3 (50 enodes) 1550836647.721 * * [misc]simplify: iters left: 2 (84 enodes) 1550836647.738 * * [misc]simplify: iters left: 1 (114 enodes) 1550836647.763 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.763 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1550836647.763 * * [misc]simplify: Extracting #2: cost 30 inf + 0 1550836647.763 * * [misc]simplify: Extracting #3: cost 25 inf + 778 1550836647.764 * * [misc]simplify: Extracting #4: cost 21 inf + 972 1550836647.765 * * [misc]simplify: Extracting #5: cost 7 inf + 3465 1550836647.766 * * [misc]simplify: Extracting #6: cost 0 inf + 4838 1550836647.768 * [exit]simplify: Simplified to (+ (log (/ (sqrt 3) 2)) (log (/ (sqrt 3) 2))) 1550836647.768 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (exp (+ (log (/ (sqrt 3) 2)) (log (/ (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))))))) 1550836647.769 * * * * [misc]progress: [ 33 / 86 ] simplifiying candidate # 1550836647.769 * * * * [misc]progress: [ 34 / 86 ] simplifiying candidate # 1550836647.769 * * * * [misc]progress: [ 35 / 86 ] simplifiying candidate # 1550836647.769 * [enter]simplify: Simplifying (* (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2)) (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2))) 1550836647.769 * * [misc]simplify: iters left: 6 (7 enodes) 1550836647.774 * * [misc]simplify: iters left: 5 (32 enodes) 1550836647.782 * * [misc]simplify: iters left: 4 (87 enodes) 1550836647.806 * * [misc]simplify: iters left: 3 (206 enodes) 1550836647.897 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.897 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.897 * [exit]simplify: Simplified to 27/64 1550836647.897 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (cbrt 27/64)) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.898 * * * * [misc]progress: [ 36 / 86 ] simplifiying candidate # 1550836647.898 * * * * [misc]progress: [ 37 / 86 ] simplifiying candidate # 1550836647.898 * * * * [misc]progress: [ 38 / 86 ] simplifiying candidate # 1550836647.898 * * * * [misc]progress: [ 39 / 86 ] simplifiying candidate # 1550836647.898 * [enter]simplify: Simplifying (* (sqrt 3) (sqrt 3)) 1550836647.898 * * [misc]simplify: iters left: 3 (3 enodes) 1550836647.899 * * [misc]simplify: iters left: 2 (7 enodes) 1550836647.901 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.901 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.901 * [exit]simplify: Simplified to 3 1550836647.901 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (/ 3 (* 2 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))))))) 1550836647.901 * [enter]simplify: Simplifying (* 2 2) 1550836647.901 * * [misc]simplify: iters left: 2 (2 enodes) 1550836647.903 * * [misc]simplify: iters left: 1 (7 enodes) 1550836647.906 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.906 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.906 * [exit]simplify: Simplified to 4 1550836647.906 * [misc]simplify: Simplified (2 1 2 1 1 2 2) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (/ 3 4)) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (* (/ (sqrt 3) 2) -2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1))))))) 1550836647.906 * * * * [misc]progress: [ 40 / 86 ] simplifiying candidate # 1550836647.906 * * * * [misc]progress: [ 41 / 86 ] simplifiying candidate # 1550836647.906 * [enter]simplify: Simplifying (cbrt (/ (sqrt 3) 2)) 1550836647.906 * * [misc]simplify: iters left: 4 (5 enodes) 1550836647.910 * * [misc]simplify: iters left: 3 (15 enodes) 1550836647.915 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.915 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.915 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550836647.915 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550836647.915 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1550836647.916 * * [misc]simplify: Extracting #5: cost 0 inf + 572 1550836647.916 * [exit]simplify: Simplified to (cbrt (/ (sqrt 3) 2)) 1550836647.916 * [misc]simplify: Simplified (2 1 2 1 1 2 2) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (* (/ (sqrt 3) 2) (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2)))) (cbrt (/ (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))))))) 1550836647.916 * * * * [misc]progress: [ 42 / 86 ] simplifiying candidate # 1550836647.916 * [enter]simplify: Simplifying (sqrt (/ (sqrt 3) 2)) 1550836647.916 * * [misc]simplify: iters left: 4 (5 enodes) 1550836647.918 * * [misc]simplify: iters left: 3 (15 enodes) 1550836647.921 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.921 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.921 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550836647.921 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550836647.921 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1550836647.921 * * [misc]simplify: Extracting #5: cost 0 inf + 492 1550836647.921 * [exit]simplify: Simplified to (sqrt (/ (sqrt 3) 2)) 1550836647.921 * [misc]simplify: Simplified (2 1 2 1 1 2 2) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (* (/ (sqrt 3) 2) (sqrt (/ (sqrt 3) 2))) (sqrt (/ (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))))))) 1550836647.922 * * * * [misc]progress: [ 43 / 86 ] simplifiying candidate # 1550836647.922 * [enter]simplify: Simplifying (/ (sqrt 3) 2) 1550836647.922 * * [misc]simplify: iters left: 3 (4 enodes) 1550836647.924 * * [misc]simplify: iters left: 2 (12 enodes) 1550836647.926 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.926 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836647.926 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836647.926 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550836647.926 * * [misc]simplify: Extracting #4: cost 0 inf + 248 1550836647.926 * [exit]simplify: Simplified to (/ (sqrt 3) 2) 1550836647.926 * [misc]simplify: Simplified (2 1 2 1 1 2 2) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (* (/ (sqrt 3) 2) 1) (/ (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))))))) 1550836647.926 * * * * [misc]progress: [ 44 / 86 ] simplifiying candidate # 1550836647.927 * [enter]simplify: Simplifying (/ 1 2) 1550836647.927 * * [misc]simplify: iters left: 2 (3 enodes) 1550836647.929 * * [misc]simplify: iters left: 1 (12 enodes) 1550836647.932 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.932 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.932 * [exit]simplify: Simplified to 1/2 1550836647.932 * [misc]simplify: Simplified (2 1 2 1 1 2 2) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (* (/ (sqrt 3) 2) (sqrt 3)) 1/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))))))) 1550836647.932 * * * * [misc]progress: [ 45 / 86 ] simplifiying candidate # 1550836647.932 * [enter]simplify: Simplifying (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2))) 1550836647.932 * * [misc]simplify: iters left: 6 (6 enodes) 1550836647.934 * * [misc]simplify: iters left: 5 (18 enodes) 1550836647.938 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.938 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.938 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836647.938 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550836647.938 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550836647.938 * * [misc]simplify: Extracting #5: cost 8 inf + 2 1550836647.938 * * [misc]simplify: Extracting #6: cost 0 inf + 976 1550836647.938 * [exit]simplify: Simplified to (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2))) 1550836647.938 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2))) (* (cbrt (/ (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))))))) 1550836647.938 * * * * [misc]progress: [ 46 / 86 ] simplifiying candidate # 1550836647.938 * [enter]simplify: Simplifying (sqrt (/ (sqrt 3) 2)) 1550836647.938 * * [misc]simplify: iters left: 4 (5 enodes) 1550836647.940 * * [misc]simplify: iters left: 3 (15 enodes) 1550836647.943 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.943 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.943 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550836647.943 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550836647.943 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1550836647.944 * * [misc]simplify: Extracting #5: cost 0 inf + 492 1550836647.944 * [exit]simplify: Simplified to (sqrt (/ (sqrt 3) 2)) 1550836647.944 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (sqrt (/ (sqrt 3) 2)) (* (sqrt (/ (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))))))) 1550836647.944 * * * * [misc]progress: [ 47 / 86 ] simplifiying candidate # 1550836647.944 * * * * [misc]progress: [ 48 / 86 ] simplifiying candidate # 1550836647.944 * [enter]simplify: Simplifying (sqrt 3) 1550836647.944 * * [misc]simplify: iters left: 1 (2 enodes) 1550836647.945 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.945 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.945 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550836647.945 * * [misc]simplify: Extracting #3: cost 0 inf + 83 1550836647.946 * [exit]simplify: Simplified to (sqrt 3) 1550836647.946 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (sqrt 3) (* (/ 1 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))))))) 1550836647.946 * * * * [misc]progress: [ 49 / 86 ] simplifiying candidate # 1550836647.946 * * * * [misc]progress: [ 50 / 86 ] simplifiying candidate # 1550836647.946 * [enter]simplify: Simplifying (* (sqrt 3) (/ (sqrt 3) 2)) 1550836647.946 * * [misc]simplify: iters left: 5 (5 enodes) 1550836647.948 * * [misc]simplify: iters left: 4 (18 enodes) 1550836647.952 * * [misc]simplify: iters left: 3 (19 enodes) 1550836647.955 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.955 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836647.955 * [exit]simplify: Simplified to 3/2 1550836647.955 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (/ 3/2 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))))))) 1550836647.955 * * * * [misc]progress: [ 51 / 86 ] simplifiying candidate #real (real->posit16 (* (/ (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)))))))> 1550836647.955 * * * * [misc]progress: [ 52 / 86 ] simplifiying candidate # 1550836647.955 * * * * [misc]progress: [ 53 / 86 ] simplifiying candidate # 1550836647.955 * * * * [misc]progress: [ 54 / 86 ] simplifiying candidate # 1550836647.955 * * * * [misc]progress: [ 55 / 86 ] simplifiying candidate # 1550836647.955 * * * * [misc]progress: [ 56 / 86 ] simplifiying candidate # 1550836647.955 * * * * [misc]progress: [ 57 / 86 ] simplifiying candidate # 1550836647.955 * * * * [misc]progress: [ 58 / 86 ] simplifiying candidate # 1550836647.955 * * * * [misc]progress: [ 59 / 86 ] simplifiying candidate # 1550836647.955 * * * * [misc]progress: [ 60 / 86 ] simplifiying candidate # 1550836647.955 * * * * [misc]progress: [ 61 / 86 ] simplifiying candidate # 1550836647.955 * * * * [misc]progress: [ 62 / 86 ] simplifiying candidate # 1550836647.955 * * * * [misc]progress: [ 63 / 86 ] simplifiying candidate # 1550836647.956 * [enter]simplify: Simplifying (cbrt (/ 2 (sqrt 3))) 1550836647.956 * * [misc]simplify: iters left: 4 (5 enodes) 1550836647.957 * * [misc]simplify: iters left: 3 (15 enodes) 1550836647.960 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.960 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.960 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550836647.960 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550836647.960 * * [misc]simplify: Extracting #4: cost 0 inf + 572 1550836647.960 * [exit]simplify: Simplified to (cbrt (/ 2 (sqrt 3))) 1550836647.960 * [misc]simplify: Simplified (2 1 1 2 2) to (λ () (re (+.c (complex 5 (/ (/ 4 (* (cbrt (/ 2 (sqrt 3))) (cbrt (/ 2 (sqrt 3))))) (cbrt (/ 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))))))) 1550836647.961 * * * * [misc]progress: [ 64 / 86 ] simplifiying candidate # 1550836647.961 * [enter]simplify: Simplifying (sqrt (/ 2 (sqrt 3))) 1550836647.961 * * [misc]simplify: iters left: 4 (5 enodes) 1550836647.963 * * [misc]simplify: iters left: 3 (15 enodes) 1550836647.965 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.965 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.965 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550836647.966 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550836647.966 * * [misc]simplify: Extracting #4: cost 0 inf + 492 1550836647.966 * [exit]simplify: Simplified to (sqrt (/ 2 (sqrt 3))) 1550836647.966 * [misc]simplify: Simplified (2 1 1 2 2) to (λ () (re (+.c (complex 5 (/ (/ 4 (sqrt (/ 2 (sqrt 3)))) (sqrt (/ 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))))))) 1550836647.966 * * * * [misc]progress: [ 65 / 86 ] simplifiying candidate # 1550836647.966 * [enter]simplify: Simplifying (/ 2 (sqrt 3)) 1550836647.966 * * [misc]simplify: iters left: 3 (4 enodes) 1550836647.968 * * [misc]simplify: iters left: 2 (12 enodes) 1550836647.970 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.970 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836647.970 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836647.970 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550836647.970 * * [misc]simplify: Extracting #4: cost 0 inf + 248 1550836647.970 * [exit]simplify: Simplified to (/ 2 (sqrt 3)) 1550836647.970 * [misc]simplify: Simplified (2 1 1 2 2) to (λ () (re (+.c (complex 5 (/ (/ 4 1) (/ 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))))))) 1550836647.970 * * * * [misc]progress: [ 66 / 86 ] simplifiying candidate # 1550836647.970 * [enter]simplify: Simplifying (/ 1 (sqrt 3)) 1550836647.970 * * [misc]simplify: iters left: 3 (4 enodes) 1550836647.972 * * [misc]simplify: iters left: 2 (14 enodes) 1550836647.975 * * [misc]simplify: iters left: 1 (16 enodes) 1550836647.980 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.980 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836647.980 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836647.980 * * [misc]simplify: Extracting #3: cost 3 inf + 43 1550836647.980 * * [misc]simplify: Extracting #4: cost 1 inf + 166 1550836647.980 * * [misc]simplify: Extracting #5: cost 0 inf + 248 1550836647.980 * [exit]simplify: Simplified to (/ 1 (sqrt 3)) 1550836647.980 * [misc]simplify: Simplified (2 1 1 2 2) to (λ () (re (+.c (complex 5 (/ (/ 4 2) (/ 1 (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))))))) 1550836647.981 * * * * [misc]progress: [ 67 / 86 ] simplifiying candidate # 1550836647.981 * [enter]simplify: Simplifying (sqrt 3) 1550836647.981 * * [misc]simplify: iters left: 1 (2 enodes) 1550836647.982 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.982 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.982 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550836647.982 * * [misc]simplify: Extracting #3: cost 0 inf + 83 1550836647.982 * [exit]simplify: Simplified to (sqrt 3) 1550836647.982 * [misc]simplify: Simplified (2 1 1 2 2) to (λ () (re (+.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))))))) 1550836647.982 * * * * [misc]progress: [ 68 / 86 ] simplifiying candidate #real (real->posit16 (/ 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)))))))> 1550836647.982 * * * * [misc]progress: [ 69 / 86 ] simplifiying candidate # 1550836647.982 * * * * [misc]progress: [ 70 / 86 ] simplifiying candidate # 1550836647.982 * * * * [misc]progress: [ 71 / 86 ] simplifiying candidate # 1550836647.982 * * * * [misc]progress: [ 72 / 86 ] simplifiying candidate # 1550836647.982 * * * * [misc]progress: [ 73 / 86 ] simplifiying candidate # 1550836647.982 * * * * [misc]progress: [ 74 / 86 ] simplifiying candidate # 1550836647.983 * * * * [misc]progress: [ 75 / 86 ] simplifiying candidate # 1550836647.983 * * * * [misc]progress: [ 76 / 86 ] simplifiying candidate # 1550836647.983 * * * * [misc]progress: [ 77 / 86 ] simplifiying candidate # 1550836647.983 * * * * [misc]progress: [ 78 / 86 ] simplifiying candidate # 1550836647.983 * * * * [misc]progress: [ 79 / 86 ] simplifiying candidate # 1550836647.983 * [enter]simplify: Simplifying (cbrt (sqrt 3)) 1550836647.983 * * [misc]simplify: iters left: 2 (3 enodes) 1550836647.984 * * [misc]simplify: iters left: 1 (9 enodes) 1550836647.987 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.987 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.987 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836647.987 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550836647.987 * * [misc]simplify: Extracting #4: cost 0 inf + 325 1550836647.987 * [exit]simplify: Simplified to (cbrt (sqrt 3)) 1550836647.987 * [misc]simplify: Simplified (2 1 1 2 2 2) to (λ () (re (+.c (complex 5 (/ 4 (/ (/ 2 (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (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))))))) 1550836647.988 * * * * [misc]progress: [ 80 / 86 ] simplifiying candidate # 1550836647.988 * [enter]simplify: Simplifying (sqrt (sqrt 3)) 1550836647.988 * * [misc]simplify: iters left: 2 (3 enodes) 1550836647.990 * * [misc]simplify: iters left: 1 (9 enodes) 1550836647.993 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.993 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.993 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836647.993 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550836647.993 * * [misc]simplify: Extracting #4: cost 0 inf + 245 1550836647.994 * [exit]simplify: Simplified to (sqrt (sqrt 3)) 1550836647.994 * [misc]simplify: Simplified (2 1 1 2 2 2) to (λ () (re (+.c (complex 5 (/ 4 (/ (/ 2 (sqrt (sqrt 3))) (sqrt (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))))))) 1550836647.994 * * * * [misc]progress: [ 81 / 86 ] simplifiying candidate # 1550836647.994 * [enter]simplify: Simplifying (sqrt 3) 1550836647.994 * * [misc]simplify: iters left: 1 (2 enodes) 1550836647.996 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836647.996 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836647.996 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550836647.996 * * [misc]simplify: Extracting #3: cost 0 inf + 83 1550836647.996 * [exit]simplify: Simplified to (sqrt 3) 1550836647.996 * [misc]simplify: Simplified (2 1 1 2 2 2) to (λ () (re (+.c (complex 5 (/ 4 (/ (/ 2 1) (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))))))) 1550836647.996 * * * * [misc]progress: [ 82 / 86 ] simplifiying candidate #real (real->posit16 (/ 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)))))))> 1550836647.996 * * * * [misc]progress: [ 83 / 86 ] simplifiying candidate # 1550836647.997 * [enter]simplify: Simplifying (re (+.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)))))) 1550836647.997 * * [misc]simplify: iters left: 6 (23 enodes) 1550836648.009 * * [misc]simplify: iters left: 5 (82 enodes) 1550836648.040 * * [misc]simplify: iters left: 4 (169 enodes) 1550836648.112 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836648.112 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836648.112 * * [misc]simplify: Extracting #2: cost 13 inf + 0 1550836648.112 * * [misc]simplify: Extracting #3: cost 32 inf + 0 1550836648.112 * * [misc]simplify: Extracting #4: cost 55 inf + 44 1550836648.113 * * [misc]simplify: Extracting #5: cost 136 inf + 90 1550836648.113 * * [misc]simplify: Extracting #6: cost 111 inf + 1096 1550836648.115 * * [misc]simplify: Extracting #7: cost 46 inf + 8388 1550836648.121 * * [misc]simplify: Extracting #8: cost 3 inf + 18366 1550836648.129 * * [misc]simplify: Extracting #9: cost 0 inf + 18993 1550836648.138 * * [misc]simplify: Extracting #10: cost 0 inf + 18755 1550836648.147 * [exit]simplify: Simplified to (re (complex (+ 5 (- (* 11/2 -1/2) (+ 3/4 (* -3/4 -2)))) (+ (* 2 (sqrt 3)) (+ (* 11/2 (/ (sqrt 3) -2)) (* -1/2 (* (/ (sqrt 3) 2) -3)))))) 1550836648.147 * [misc]simplify: Simplified (2) to (λ () (re (complex (+ 5 (- (* 11/2 -1/2) (+ 3/4 (* -3/4 -2)))) (+ (* 2 (sqrt 3)) (+ (* 11/2 (/ (sqrt 3) -2)) (* -1/2 (* (/ (sqrt 3) 2) -3))))))) 1550836648.147 * * * * [misc]progress: [ 84 / 86 ] simplifiying candidate # 1550836648.147 * [enter]simplify: Simplifying (re (+.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)))))) 1550836648.148 * * [misc]simplify: iters left: 6 (23 enodes) 1550836648.161 * * [misc]simplify: iters left: 5 (82 enodes) 1550836648.192 * * [misc]simplify: iters left: 4 (169 enodes) 1550836648.300 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836648.300 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836648.300 * * [misc]simplify: Extracting #2: cost 13 inf + 0 1550836648.300 * * [misc]simplify: Extracting #3: cost 32 inf + 0 1550836648.300 * * [misc]simplify: Extracting #4: cost 55 inf + 44 1550836648.301 * * [misc]simplify: Extracting #5: cost 136 inf + 90 1550836648.302 * * [misc]simplify: Extracting #6: cost 111 inf + 1096 1550836648.305 * * [misc]simplify: Extracting #7: cost 46 inf + 8388 1550836648.312 * * [misc]simplify: Extracting #8: cost 3 inf + 18366 1550836648.321 * * [misc]simplify: Extracting #9: cost 0 inf + 18993 1550836648.327 * * [misc]simplify: Extracting #10: cost 0 inf + 18755 1550836648.332 * [exit]simplify: Simplified to (re (complex (+ 5 (- (* 11/2 -1/2) (+ 3/4 (* -3/4 -2)))) (+ (* 2 (sqrt 3)) (+ (* 11/2 (/ (sqrt 3) -2)) (* -1/2 (* (/ (sqrt 3) 2) -3)))))) 1550836648.332 * [misc]simplify: Simplified (2) to (λ () (re (complex (+ 5 (- (* 11/2 -1/2) (+ 3/4 (* -3/4 -2)))) (+ (* 2 (sqrt 3)) (+ (* 11/2 (/ (sqrt 3) -2)) (* -1/2 (* (/ (sqrt 3) 2) -3))))))) 1550836648.332 * * * * [misc]progress: [ 85 / 86 ] simplifiying candidate # 1550836648.332 * [enter]simplify: Simplifying (re (+.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)))))) 1550836648.332 * * [misc]simplify: iters left: 6 (23 enodes) 1550836648.339 * * [misc]simplify: iters left: 5 (82 enodes) 1550836648.363 * * [misc]simplify: iters left: 4 (169 enodes) 1550836648.466 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836648.466 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836648.466 * * [misc]simplify: Extracting #2: cost 13 inf + 0 1550836648.466 * * [misc]simplify: Extracting #3: cost 32 inf + 0 1550836648.466 * * [misc]simplify: Extracting #4: cost 55 inf + 44 1550836648.467 * * [misc]simplify: Extracting #5: cost 136 inf + 90 1550836648.467 * * [misc]simplify: Extracting #6: cost 111 inf + 1096 1550836648.474 * * [misc]simplify: Extracting #7: cost 46 inf + 8388 1550836648.482 * * [misc]simplify: Extracting #8: cost 3 inf + 18366 1550836648.490 * * [misc]simplify: Extracting #9: cost 0 inf + 18993 1550836648.499 * * [misc]simplify: Extracting #10: cost 0 inf + 18755 1550836648.508 * [exit]simplify: Simplified to (re (complex (+ 5 (- (* 11/2 -1/2) (+ 3/4 (* -3/4 -2)))) (+ (* 2 (sqrt 3)) (+ (* 11/2 (/ (sqrt 3) -2)) (* -1/2 (* (/ (sqrt 3) 2) -3)))))) 1550836648.508 * [misc]simplify: Simplified (2) to (λ () (re (complex (+ 5 (- (* 11/2 -1/2) (+ 3/4 (* -3/4 -2)))) (+ (* 2 (sqrt 3)) (+ (* 11/2 (/ (sqrt 3) -2)) (* -1/2 (* (/ (sqrt 3) 2) -3))))))) 1550836648.508 * * * * [misc]progress: [ 86 / 86 ] simplifiying candidate # 1550836648.508 * [enter]simplify: Simplifying (re (+.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)))))) 1550836648.509 * * [misc]simplify: iters left: 6 (23 enodes) 1550836648.522 * * [misc]simplify: iters left: 5 (82 enodes) 1550836648.548 * * [misc]simplify: iters left: 4 (169 enodes) 1550836648.616 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836648.617 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836648.617 * * [misc]simplify: Extracting #2: cost 13 inf + 0 1550836648.617 * * [misc]simplify: Extracting #3: cost 32 inf + 0 1550836648.617 * * [misc]simplify: Extracting #4: cost 55 inf + 44 1550836648.617 * * [misc]simplify: Extracting #5: cost 136 inf + 90 1550836648.618 * * [misc]simplify: Extracting #6: cost 111 inf + 1096 1550836648.619 * * [misc]simplify: Extracting #7: cost 46 inf + 8388 1550836648.623 * * [misc]simplify: Extracting #8: cost 3 inf + 18366 1550836648.627 * * [misc]simplify: Extracting #9: cost 0 inf + 18993 1550836648.632 * * [misc]simplify: Extracting #10: cost 0 inf + 18755 1550836648.637 * [exit]simplify: Simplified to (re (complex (+ 5 (- (* 11/2 -1/2) (+ 3/4 (* -3/4 -2)))) (+ (* 2 (sqrt 3)) (+ (* 11/2 (/ (sqrt 3) -2)) (* -1/2 (* (/ (sqrt 3) 2) -3)))))) 1550836648.637 * [misc]simplify: Simplified (2) to (λ () (re (complex (+ 5 (- (* 11/2 -1/2) (+ 3/4 (* -3/4 -2)))) (+ (* 2 (sqrt 3)) (+ (* 11/2 (/ (sqrt 3) -2)) (* -1/2 (* (/ (sqrt 3) 2) -3))))))) 1550836648.637 * * * [misc]progress: adding candidates to table 1550836649.716 * [misc]progress: [Phase 3 of 3] Extracting. 1550836649.723 * [enter]simplify: Simplifying (re (+.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)))))) 1550836649.723 * * [misc]simplify: iters left: 6 (23 enodes) 1550836649.725 * * [misc]simplify: iters left: 5 (28 enodes) 1550836649.728 * * [misc]simplify: iters left: 4 (29 enodes) 1550836649.730 * * [misc]simplify: iters left: 3 (31 enodes) 1550836649.732 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836649.732 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550836649.732 * * [misc]simplify: Extracting #2: cost 4 inf + 0 1550836649.732 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550836649.732 * * [misc]simplify: Extracting #4: cost 12 inf + 1 1550836649.732 * * [misc]simplify: Extracting #5: cost 20 inf + 2 1550836649.732 * * [misc]simplify: Extracting #6: cost 18 inf + 6 1550836649.733 * * [misc]simplify: Extracting #7: cost 11 inf + 416 1550836649.733 * * [misc]simplify: Extracting #8: cost 6 inf + 1071 1550836649.733 * * [misc]simplify: Extracting #9: cost 4 inf + 1398 1550836649.734 * * [misc]simplify: Extracting #10: cost 2 inf + 2368 1550836649.735 * * [misc]simplify: Extracting #11: cost 1 inf + 3175 1550836649.736 * * [misc]simplify: Extracting #12: cost 0 inf + 3982 1550836649.737 * [exit]simplify: Simplified to (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2))) (+.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2))) (complex 6 (* (/ (sqrt 3) 2) -2)))))) 1550836649.737 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1550836649.748 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1550836649.882 * * * * [misc]points: Setting MPFR precision to 832 1550836649.887 * * * * [misc]points: Setting MPFR precision to 1088 1550836649.891 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1550836650.044 * * * * [misc]points: Setting MPFR precision to 832 1550836650.049 * * * * [misc]points: Setting MPFR precision to 1088 1550836650.055 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1550836650.192 * * * * [misc]points: Setting MPFR precision to 832 1550836650.212 * * * * [misc]points: Setting MPFR precision to 1088 1550836650.228 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1550836650.351 * * * * [misc]points: Setting MPFR precision to 832 1550836650.381 * * * * [misc]points: Setting MPFR precision to 1088 1550836650.423 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1550836650.627 * * * * [misc]points: Setting MPFR precision to 832 1550836650.696 * * * * [misc]points: Setting MPFR precision to 1088 1550836650.771 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1550836651.370 * * * * [misc]points: Setting MPFR precision to 832 1550836651.496 * * * * [misc]points: Setting MPFR precision to 1088 1550836651.672 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1550836651.812 * * * * [misc]points: Setting MPFR precision to 832 1550836652.134 * * * * [misc]points: Setting MPFR precision to 1088 1550836652.550 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1550836652.709 * * * * [misc]points: Setting MPFR precision to 832 1550836653.605 * * * * [misc]points: Setting MPFR precision to 1088 1550836654.340 * * * * [misc]points: Computing exacts for 8000 points 1550836654.477 * * * * [misc]points: Setting MPFR precision to 832 1550836658.072 * * * * [misc]points: Setting MPFR precision to 1088 1550836661.872 * * * * [misc]points: Filtering points with unrepresentable outputs 1550836661.874 * * * * [exit]points: Sampled 8000 points with exact outputs 1550836662.015 * [misc]regime-testing: Baseline error score: 0 1550836662.017 * [misc]regime-testing: Oracle error score: 0 1550836662.017 * [misc]regime-testing: End program error score: 0