* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts for 256 points * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 256 points with exact outputs * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * [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))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (82 enodes) * * [misc]simplify: iters left: 4 (292 enodes) * [exit]simplify: Simplified to (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* 5 (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * * [misc]progress: iteration 1 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1 1 2) * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 2 2) * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 2 2 1 2) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1 1 2) * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 2 2) * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 2 2 1 2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 20 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (27 enodes) * * [misc]simplify: iters left: 4 (63 enodes) * * [misc]simplify: iters left: 3 (132 enodes) * * [misc]simplify: iters left: 2 (255 enodes) * [exit]simplify: Simplified to (- (/ (/ 1 2) 2) (/ (/ 3 2) 2)) * [misc]simplify: Simplified (2 1 1 1 2 1) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (complex (- (/ (/ 1 2) 2) (/ (/ 3 2) 2)) (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* 5 (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))))) * [enter]simplify: Simplifying (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (23 enodes) * * [misc]simplify: iters left: 4 (51 enodes) * * [misc]simplify: iters left: 3 (134 enodes) * * [misc]simplify: iters left: 2 (309 enodes) * [exit]simplify: Simplified to (* (/ (- 1) (* 2 2)) (+ (sqrt 3) (sqrt 3))) * [misc]simplify: Simplified (2 1 1 1 2 2) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (complex (- (/ (/ 1 2) 2) (/ (/ 3 2) 2)) (* (/ (- 1) (* 2 2)) (+ (sqrt 3) (sqrt 3))))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* 5 (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 2 / 20 ] simplifiying candidate # * * * * [misc]progress: [ 3 / 20 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (+ (* (- 5) (/ 1 2)) 4) (/ (- 1) 2)) (* (* 5 (/ (sqrt 3) 2)) (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (17 enodes) * * [misc]simplify: iters left: 5 (39 enodes) * * [misc]simplify: iters left: 4 (97 enodes) * * [misc]simplify: iters left: 3 (259 enodes) * [exit]simplify: Simplified to (- (* (- 5) (/ (/ 3 2) 2)) (/ (- 4 (/ 5 2)) 2)) * [misc]simplify: Simplified (2 1 2 2 1) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (complex (- (* (- 5) (/ (/ 3 2) 2)) (/ (- 4 (/ 5 2)) 2)) (+ (* (+ (* (- 5) (/ 1 2)) 4) (/ (sqrt 3) 2)) (* (* 5 (/ (sqrt 3) 2)) (/ (- 1) 2)))))))) * [enter]simplify: Simplifying (+ (* (+ (* (- 5) (/ 1 2)) 4) (/ (sqrt 3) 2)) (* (* 5 (/ (sqrt 3) 2)) (/ (- 1) 2))) * * [misc]simplify: iters left: 6 (17 enodes) * * [misc]simplify: iters left: 5 (38 enodes) * * [misc]simplify: iters left: 4 (92 enodes) * * [misc]simplify: iters left: 3 (213 enodes) * [exit]simplify: Simplified to (* (/ (sqrt 3) 2) (- (- 4 (/ 5 2)) (/ 5 2))) * [misc]simplify: Simplified (2 1 2 2 2) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (complex (- (* (- 5) (/ (/ 3 2) 2)) (/ (- 4 (/ 5 2)) 2)) (* (/ (sqrt 3) 2) (- (- 4 (/ 5 2)) (/ 5 2)))))))) * * * * [misc]progress: [ 4 / 20 ] simplifiying candidate # * * * * [misc]progress: [ 5 / 20 ] simplifiying candidate # * * * * [misc]progress: [ 6 / 20 ] simplifiying candidate # * * * * [misc]progress: [ 7 / 20 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 20 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 20 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 20 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 20 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 20 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (cbrt (/ (sqrt 3) 2)) * [misc]simplify: Simplified (2 1 2 2 1 2 2) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* (* 5 (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2)))) (cbrt (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 13 / 20 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (sqrt (/ (sqrt 3) 2)) * [misc]simplify: Simplified (2 1 2 2 1 2 2) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* (* 5 (sqrt (/ (sqrt 3) 2))) (sqrt (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 14 / 20 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqrt 3) 2) * * [misc]simplify: iters left: 3 (4 enodes) * [exit]simplify: Simplified to (/ (sqrt 3) 2) * [misc]simplify: Simplified (2 1 2 2 1 2 2) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* (* 5 1) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 15 / 20 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 2) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to (/ 1 2) * [misc]simplify: Simplified (2 1 2 2 1 2 2) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* (* 5 (sqrt 3)) (/ 1 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 16 / 20 ] simplifiying candidate # * * * * [misc]progress: [ 17 / 20 ] simplifiying candidate # * * * * [misc]progress: [ 18 / 20 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* 5 (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (71 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (re (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- 4 (/ 5 2)) (* (/ 5 2) (sqrt 3)))) (complex 7 0)) (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- (- 2) (/ 1 2)) (/ (sqrt 3) 2))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * [misc]simplify: Simplified (2) to (λ () (re (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- 4 (/ 5 2)) (* (/ 5 2) (sqrt 3)))) (complex 7 0)) (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- (- 2) (/ 1 2)) (/ (sqrt 3) 2))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 19 / 20 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* 5 (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (71 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (re (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- 4 (/ 5 2)) (* (/ 5 2) (sqrt 3)))) (complex 7 0)) (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- (- 2) (/ 1 2)) (/ (sqrt 3) 2))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * [misc]simplify: Simplified (2) to (λ () (re (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- 4 (/ 5 2)) (* (/ 5 2) (sqrt 3)))) (complex 7 0)) (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- (- 2) (/ 1 2)) (/ (sqrt 3) 2))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 20 / 20 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* 5 (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * * [misc]simplify: iters left: 6 (30 enodes) * * [misc]simplify: iters left: 5 (71 enodes) * * [misc]simplify: iters left: 4 (241 enodes) * [exit]simplify: Simplified to (re (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- 4 (/ 5 2)) (* (/ 5 2) (sqrt 3)))) (complex 7 0)) (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- (- 2) (/ 1 2)) (/ (sqrt 3) 2))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * [misc]simplify: Simplified (2) to (λ () (re (+.c (+.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- 4 (/ 5 2)) (* (/ 5 2) (sqrt 3)))) (complex 7 0)) (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- (- 2) (/ 1 2)) (/ (sqrt 3) 2))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))))) * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 2 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 2 2) * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1 2 2 1 2) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 2 2) * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1 2 2 1 2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 17 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (+ (* (- 5) (/ 1 2)) 4) (/ (- 1) 2)) (* (* 5 (/ (sqrt 3) 2)) (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (17 enodes) * * [misc]simplify: iters left: 5 (39 enodes) * * [misc]simplify: iters left: 4 (97 enodes) * * [misc]simplify: iters left: 3 (259 enodes) * [exit]simplify: Simplified to (- (* (- 5) (/ (/ 3 2) 2)) (/ (- 4 (/ 5 2)) 2)) * [misc]simplify: Simplified (2 1 2 2 1) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (complex (- (/ (/ 1 2) 2) (/ (/ 3 2) 2)) (* (/ (- 1) (* 2 2)) (+ (sqrt 3) (sqrt 3))))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (complex (- (* (- 5) (/ (/ 3 2) 2)) (/ (- 4 (/ 5 2)) 2)) (+ (* (+ (* (- 5) (/ 1 2)) 4) (/ (sqrt 3) 2)) (* (* 5 (/ (sqrt 3) 2)) (/ (- 1) 2)))))))) * [enter]simplify: Simplifying (+ (* (+ (* (- 5) (/ 1 2)) 4) (/ (sqrt 3) 2)) (* (* 5 (/ (sqrt 3) 2)) (/ (- 1) 2))) * * [misc]simplify: iters left: 6 (17 enodes) * * [misc]simplify: iters left: 5 (38 enodes) * * [misc]simplify: iters left: 4 (92 enodes) * * [misc]simplify: iters left: 3 (213 enodes) * [exit]simplify: Simplified to (* (/ (sqrt 3) 2) (- (- 4 (/ 5 2)) (/ 5 2))) * [misc]simplify: Simplified (2 1 2 2 2) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (complex (- (/ (/ 1 2) 2) (/ (/ 3 2) 2)) (* (/ (- 1) (* 2 2)) (+ (sqrt 3) (sqrt 3))))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (complex (- (* (- 5) (/ (/ 3 2) 2)) (/ (- 4 (/ 5 2)) 2)) (* (/ (sqrt 3) 2) (- (- 4 (/ 5 2)) (/ 5 2)))))))) * * * * [misc]progress: [ 2 / 17 ] simplifiying candidate # * * * * [misc]progress: [ 3 / 17 ] simplifiying candidate # * * * * [misc]progress: [ 4 / 17 ] simplifiying candidate # * * * * [misc]progress: [ 5 / 17 ] simplifiying candidate # * * * * [misc]progress: [ 6 / 17 ] simplifiying candidate # * * * * [misc]progress: [ 7 / 17 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 17 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 17 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 17 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (cbrt (/ (sqrt 3) 2)) * [misc]simplify: Simplified (2 1 2 2 1 2 2) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (complex (- (/ (/ 1 2) 2) (/ (/ 3 2) 2)) (* (/ (- 1) (* 2 2)) (+ (sqrt 3) (sqrt 3))))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* (* 5 (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2)))) (cbrt (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 11 / 17 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 4 (5 enodes) * [exit]simplify: Simplified to (sqrt (/ (sqrt 3) 2)) * [misc]simplify: Simplified (2 1 2 2 1 2 2) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (complex (- (/ (/ 1 2) 2) (/ (/ 3 2) 2)) (* (/ (- 1) (* 2 2)) (+ (sqrt 3) (sqrt 3))))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* (* 5 (sqrt (/ (sqrt 3) 2))) (sqrt (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 12 / 17 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqrt 3) 2) * * [misc]simplify: iters left: 3 (4 enodes) * [exit]simplify: Simplified to (/ (sqrt 3) 2) * [misc]simplify: Simplified (2 1 2 2 1 2 2) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (complex (- (/ (/ 1 2) 2) (/ (/ 3 2) 2)) (* (/ (- 1) (* 2 2)) (+ (sqrt 3) (sqrt 3))))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* (* 5 1) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 13 / 17 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 2) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to (/ 1 2) * [misc]simplify: Simplified (2 1 2 2 1 2 2) to (λ () (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (complex (- (/ (/ 1 2) 2) (/ (/ 3 2) 2)) (* (/ (- 1) (* 2 2)) (+ (sqrt 3) (sqrt 3))))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* (* 5 (sqrt 3)) (/ 1 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 14 / 17 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 17 ] simplifiying candidate # * * * * [misc]progress: [ 16 / 17 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (complex (- (/ (/ 1 2) 2) (/ (/ 3 2) 2)) (* (/ (- 1) (* 2 2)) (+ (sqrt 3) (sqrt 3))))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* 5 (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * * [misc]simplify: iters left: 6 (38 enodes) * * [misc]simplify: iters left: 5 (90 enodes) * * [misc]simplify: iters left: 4 (306 enodes) * [exit]simplify: Simplified to (re (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- (- 2) (/ 1 2)) (/ (sqrt 3) 2))) (complex (- (/ (/ 1 2) 2) (/ 3 (* 2 2))) (* (+ (sqrt 3) (sqrt 3)) (/ (- 1) (* 2 2))))) (+.c (*.c (complex (- 4 (/ 5 2)) (* (/ 5 2) (sqrt 3))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex 7 0)))) * [misc]simplify: Simplified (2) to (λ () (re (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- (- 2) (/ 1 2)) (/ (sqrt 3) 2))) (complex (- (/ (/ 1 2) 2) (/ 3 (* 2 2))) (* (+ (sqrt 3) (sqrt 3)) (/ (- 1) (* 2 2))))) (+.c (*.c (complex (- 4 (/ 5 2)) (* (/ 5 2) (sqrt 3))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex 7 0))))) * * * * [misc]progress: [ 17 / 17 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (complex (- (/ (/ 1 2) 2) (/ (/ 3 2) 2)) (* (/ (- 1) (* 2 2)) (+ (sqrt 3) (sqrt 3))))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* 5 (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * * [misc]simplify: iters left: 6 (38 enodes) * * [misc]simplify: iters left: 5 (90 enodes) * * [misc]simplify: iters left: 4 (306 enodes) * [exit]simplify: Simplified to (re (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- (- 2) (/ 1 2)) (/ (sqrt 3) 2))) (complex (- (/ (/ 1 2) 2) (/ 3 (* 2 2))) (* (+ (sqrt 3) (sqrt 3)) (/ (- 1) (* 2 2))))) (+.c (*.c (complex (- 4 (/ 5 2)) (* (/ 5 2) (sqrt 3))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex 7 0)))) * [misc]simplify: Simplified (2) to (λ () (re (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (- (- 2) (/ 1 2)) (/ (sqrt 3) 2))) (complex (- (/ (/ 1 2) 2) (/ 3 (* 2 2))) (* (+ (sqrt 3) (sqrt 3)) (/ (- 1) (* 2 2))))) (+.c (*.c (complex (- 4 (/ 5 2)) (* (/ 5 2) (sqrt 3))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex 7 0))))) * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * [enter]simplify: Simplifying (re (+.c (*.c (*.c (complex (+ (/ (- 1) 2) (- 2)) (+ (/ (sqrt 3) 2) 0)) (complex (- (/ (/ 1 2) 2) (/ (/ 3 2) 2)) (* (/ (- 1) (* 2 2)) (+ (sqrt 3) (sqrt 3))))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 7 0) (*.c (complex (+ (* (- 5) (/ 1 2)) 4) (* 5 (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * * [misc]simplify: iters left: 6 (38 enodes) * * [misc]simplify: iters left: 5 (55 enodes) * * [misc]simplify: iters left: 4 (66 enodes) * * [misc]simplify: iters left: 3 (70 enodes) * * [misc]simplify: iters left: 2 (72 enodes) * [exit]simplify: Simplified to (re (+.c (*.c (*.c (complex (- (+ (/ 1 2) 2)) (/ (sqrt 3) 2)) (complex (- (/ (/ 1 2) 2) (/ (/ 3 2) 2)) (* (/ (- 1) (* 2 2)) (+ (sqrt 3) (sqrt 3))))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (*.c (complex (+ (* (/ 1 2) (- 5)) 4) (* (/ (sqrt 3) 2) 5)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex 7 0)))) * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts for 8000 points * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 8000 points with exact outputs