* [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 (85 enodes) * * [misc]simplify: iters left: 4 (300 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 30 inf + 0 * * [misc]simplify: Extracting #3: cost 172 inf + 0 * * [misc]simplify: Extracting #4: cost 315 inf + 10 * * [misc]simplify: Extracting #5: cost 408 inf + 21 * * [misc]simplify: Extracting #6: cost 468 inf + 25 * * [misc]simplify: Extracting #7: cost 432 inf + 4003 * * [misc]simplify: Extracting #8: cost 222 inf + 68394 * * [misc]simplify: Extracting #9: cost 76 inf + 119209 * * [misc]simplify: Extracting #10: cost 12 inf + 139298 * * [misc]simplify: Extracting #11: cost 1 inf + 141882 * * [misc]simplify: Extracting #12: cost 0 inf + 142169 * [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 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 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 / 4 ] rewriting at (2 1 2 2 2 1 2) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 2 1 2 2) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 2 2 1 2) * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 1 2) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 2 1 2 2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqrt 3) 2) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 3 inf + 0 * * [misc]simplify: Extracting #2: cost 3 inf + 1 * * [misc]simplify: Extracting #3: cost 2 inf + 2 * * [misc]simplify: Extracting #4: cost 0 inf + 125 * [exit]simplify: Simplified to (/ (sqrt 3) 2) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (pow (/ (sqrt 3) 2) (+ 1 1))) (- (/ (sqrt 3) 2)))))))) * [enter]simplify: Simplifying (+ 1 1) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 2 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (pow (/ (sqrt 3) 2) 2)) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 2 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (15 enodes) * * [misc]simplify: iters left: 2 (19 enodes) * * [misc]simplify: iters left: 1 (27 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 3/4 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (pow 3/4 1)) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 3 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 4 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqrt 3) 2) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 3 inf + 0 * * [misc]simplify: Extracting #2: cost 3 inf + 1 * * [misc]simplify: Extracting #3: cost 2 inf + 2 * * [misc]simplify: Extracting #4: cost 0 inf + 125 * [exit]simplify: Simplified to (/ (sqrt 3) 2) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (pow (/ (sqrt 3) 2) (+ 1 1))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 5 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 6 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (log (/ (sqrt 3) 2)) (log (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (9 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (28 enodes) * * [misc]simplify: iters left: 2 (53 enodes) * * [misc]simplify: iters left: 1 (72 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 23 inf + 0 * * [misc]simplify: Extracting #2: cost 41 inf + 0 * * [misc]simplify: Extracting #3: cost 40 inf + 72 * * [misc]simplify: Extracting #4: cost 27 inf + 1988 * * [misc]simplify: Extracting #5: cost 1 inf + 8115 * * [misc]simplify: Extracting #6: cost 0 inf + 8277 * * [misc]simplify: Extracting #7: cost 0 inf + 8247 * [exit]simplify: Simplified to (+ (log (/ (sqrt 3) 2)) (log (/ (sqrt 3) 2))) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (exp (+ (log (/ (sqrt 3) 2)) (log (/ (sqrt 3) 2))))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 7 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2)) (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (59 enodes) * * [misc]simplify: iters left: 3 (158 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 27/64 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (cbrt 27/64)) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 10 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 13 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt 3) (sqrt 3)) * * [misc]simplify: iters left: 3 (3 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 3 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (/ 3 (* 2 2))) (- (/ (sqrt 3) 2)))))))) * [enter]simplify: Simplifying (* 2 2) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (3 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 4 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (/ 3 4)) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 14 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 4 inf + 0 * * [misc]simplify: Extracting #3: cost 4 inf + 1 * * [misc]simplify: Extracting #4: cost 3 inf + 2 * * [misc]simplify: Extracting #5: cost 0 inf + 287 * [exit]simplify: Simplified to (cbrt (/ (sqrt 3) 2)) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (* (/ (sqrt 3) 2) (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2)))) (cbrt (/ (sqrt 3) 2)))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 16 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 4 inf + 0 * * [misc]simplify: Extracting #3: cost 4 inf + 1 * * [misc]simplify: Extracting #4: cost 3 inf + 2 * * [misc]simplify: Extracting #5: cost 0 inf + 247 * [exit]simplify: Simplified to (sqrt (/ (sqrt 3) 2)) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (* (/ (sqrt 3) 2) (sqrt (/ (sqrt 3) 2))) (sqrt (/ (sqrt 3) 2)))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 17 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqrt 3) 2) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 3 inf + 0 * * [misc]simplify: Extracting #2: cost 3 inf + 1 * * [misc]simplify: Extracting #3: cost 2 inf + 2 * * [misc]simplify: Extracting #4: cost 0 inf + 125 * [exit]simplify: Simplified to (/ (sqrt 3) 2) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (* (/ (sqrt 3) 2) 1) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 18 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 2) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (6 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 1/2 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (* (/ (sqrt 3) 2) (sqrt 3)) 1/2)) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 19 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 3 inf + 0 * * [misc]simplify: Extracting #3: cost 5 inf + 0 * * [misc]simplify: Extracting #4: cost 5 inf + 1 * * [misc]simplify: Extracting #5: cost 4 inf + 2 * * [misc]simplify: Extracting #6: cost 0 inf + 489 * [exit]simplify: Simplified to (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2))) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2))) (* (cbrt (/ (sqrt 3) 2)) (/ (sqrt 3) 2)))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 20 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 4 inf + 0 * * [misc]simplify: Extracting #3: cost 4 inf + 1 * * [misc]simplify: Extracting #4: cost 3 inf + 2 * * [misc]simplify: Extracting #5: cost 0 inf + 247 * [exit]simplify: Simplified to (sqrt (/ (sqrt 3) 2)) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (sqrt (/ (sqrt 3) 2)) (* (sqrt (/ (sqrt 3) 2)) (/ (sqrt 3) 2)))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 21 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 22 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt 3) * * [misc]simplify: iters left: 1 (2 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 1 inf + 1 * * [misc]simplify: Extracting #3: cost 0 inf + 42 * [exit]simplify: Simplified to (sqrt 3) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (sqrt 3) (* (/ 1 2) (/ (sqrt 3) 2)))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 23 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 24 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt 3) (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 3/2 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (/ 3/2 2)) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 25 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 26 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqrt 3) 2) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 3 inf + 0 * * [misc]simplify: Extracting #2: cost 3 inf + 1 * * [misc]simplify: Extracting #3: cost 2 inf + 2 * * [misc]simplify: Extracting #4: cost 0 inf + 125 * [exit]simplify: Simplified to (/ (sqrt 3) 2) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * [enter]simplify: Simplifying (+ 1 1) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 2 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 27 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (15 enodes) * * [misc]simplify: iters left: 2 (19 enodes) * * [misc]simplify: iters left: 1 (27 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 3/4 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 28 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 29 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqrt 3) 2) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 3 inf + 0 * * [misc]simplify: Extracting #2: cost 3 inf + 1 * * [misc]simplify: Extracting #3: cost 2 inf + 2 * * [misc]simplify: Extracting #4: cost 0 inf + 125 * [exit]simplify: Simplified to (/ (sqrt 3) 2) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 30 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 31 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (log (/ (sqrt 3) 2)) (log (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (9 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (28 enodes) * * [misc]simplify: iters left: 2 (53 enodes) * * [misc]simplify: iters left: 1 (72 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 23 inf + 0 * * [misc]simplify: Extracting #2: cost 41 inf + 0 * * [misc]simplify: Extracting #3: cost 40 inf + 72 * * [misc]simplify: Extracting #4: cost 27 inf + 1988 * * [misc]simplify: Extracting #5: cost 1 inf + 8115 * * [misc]simplify: Extracting #6: cost 0 inf + 8277 * * [misc]simplify: Extracting #7: cost 0 inf + 8247 * [exit]simplify: Simplified to (+ (log (/ (sqrt 3) 2)) (log (/ (sqrt 3) 2))) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 32 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 33 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 34 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2)) (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (59 enodes) * * [misc]simplify: iters left: 3 (158 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 27/64 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 35 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 36 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 37 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 38 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt 3) (sqrt 3)) * * [misc]simplify: iters left: 3 (3 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 3 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * [enter]simplify: Simplifying (* 2 2) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (3 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 4 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 39 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 40 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 4 inf + 0 * * [misc]simplify: Extracting #3: cost 4 inf + 1 * * [misc]simplify: Extracting #4: cost 3 inf + 2 * * [misc]simplify: Extracting #5: cost 0 inf + 287 * [exit]simplify: Simplified to (cbrt (/ (sqrt 3) 2)) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 41 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 4 inf + 0 * * [misc]simplify: Extracting #3: cost 4 inf + 1 * * [misc]simplify: Extracting #4: cost 3 inf + 2 * * [misc]simplify: Extracting #5: cost 0 inf + 247 * [exit]simplify: Simplified to (sqrt (/ (sqrt 3) 2)) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 42 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (sqrt 3) 2) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 3 inf + 0 * * [misc]simplify: Extracting #2: cost 3 inf + 1 * * [misc]simplify: Extracting #3: cost 2 inf + 2 * * [misc]simplify: Extracting #4: cost 0 inf + 125 * [exit]simplify: Simplified to (/ (sqrt 3) 2) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 43 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 2) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (6 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 1/2 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 44 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 3 inf + 0 * * [misc]simplify: Extracting #3: cost 5 inf + 0 * * [misc]simplify: Extracting #4: cost 5 inf + 1 * * [misc]simplify: Extracting #5: cost 4 inf + 2 * * [misc]simplify: Extracting #6: cost 0 inf + 489 * [exit]simplify: Simplified to (* (cbrt (/ (sqrt 3) 2)) (cbrt (/ (sqrt 3) 2))) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 45 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 4 inf + 0 * * [misc]simplify: Extracting #3: cost 4 inf + 1 * * [misc]simplify: Extracting #4: cost 3 inf + 2 * * [misc]simplify: Extracting #5: cost 0 inf + 247 * [exit]simplify: Simplified to (sqrt (/ (sqrt 3) 2)) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 46 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 47 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt 3) * * [misc]simplify: iters left: 1 (2 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 1 inf + 1 * * [misc]simplify: Extracting #3: cost 0 inf + 42 * [exit]simplify: Simplified to (sqrt 3) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 48 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 49 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt 3) (/ (sqrt 3) 2)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 3/2 * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 50 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 51 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 52 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 53 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 54 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 55 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 56 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 57 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 58 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 59 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 60 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 61 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (/ 2 (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 4 inf + 0 * * [misc]simplify: Extracting #3: cost 4 inf + 1 * * [misc]simplify: Extracting #4: cost 0 inf + 287 * [exit]simplify: Simplified to (cbrt (/ 2 (sqrt 3))) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 62 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ 2 (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 4 inf + 0 * * [misc]simplify: Extracting #3: cost 4 inf + 1 * * [misc]simplify: Extracting #4: cost 0 inf + 247 * [exit]simplify: Simplified to (sqrt (/ 2 (sqrt 3))) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 63 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 2 (sqrt 3)) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 3 inf + 0 * * [misc]simplify: Extracting #2: cost 3 inf + 1 * * [misc]simplify: Extracting #3: cost 0 inf + 125 * [exit]simplify: Simplified to (/ 2 (sqrt 3)) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 64 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 (sqrt 3)) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 3 inf + 0 * * [misc]simplify: Extracting #2: cost 3 inf + 1 * * [misc]simplify: Extracting #3: cost 0 inf + 125 * [exit]simplify: Simplified to (/ 1 (sqrt 3)) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 65 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt 3) * * [misc]simplify: iters left: 1 (2 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 1 inf + 1 * * [misc]simplify: Extracting #3: cost 0 inf + 42 * [exit]simplify: Simplified to (sqrt 3) * [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))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 66 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 67 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 68 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 69 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 70 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 71 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 72 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 73 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 74 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 75 / 82 ] simplifiying candidate # * * * * [misc]progress: [ 76 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (sqrt 3)) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 3 inf + 0 * * [misc]simplify: Extracting #3: cost 2 inf + 1 * * [misc]simplify: Extracting #4: cost 0 inf + 163 * [exit]simplify: Simplified to (cbrt (sqrt 3)) * [misc]simplify: Simplified (2 1 2 2 1 2 2 2) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2))) (+.c (complex 6 (/ -2 (/ (/ 2 (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 77 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (sqrt 3)) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 3 inf + 0 * * [misc]simplify: Extracting #3: cost 2 inf + 1 * * [misc]simplify: Extracting #4: cost 0 inf + 123 * [exit]simplify: Simplified to (sqrt (sqrt 3)) * [misc]simplify: Simplified (2 1 2 2 1 2 2 2) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2))) (+.c (complex 6 (/ -2 (/ (/ 2 (sqrt (sqrt 3))) (sqrt (sqrt 3))))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 78 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt 3) * * [misc]simplify: iters left: 1 (2 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 2 inf + 0 * * [misc]simplify: Extracting #2: cost 1 inf + 1 * * [misc]simplify: Extracting #3: cost 0 inf + 42 * [exit]simplify: Simplified to (sqrt 3) * [misc]simplify: Simplified (2 1 2 2 1 2 2 2) to (λ () (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2))) (+.c (complex 6 (/ -2 (/ (/ 2 1) (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2)))))))) * * * * [misc]progress: [ 79 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2))))))) * * [misc]simplify: iters left: 6 (22 enodes) * * [misc]simplify: iters left: 5 (46 enodes) * * [misc]simplify: iters left: 4 (112 enodes) * * [misc]simplify: iters left: 3 (333 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 9 inf + 0 * * [misc]simplify: Extracting #2: cost 26 inf + 46 * * [misc]simplify: Extracting #3: cost 67 inf + 130 * * [misc]simplify: Extracting #4: cost 200 inf + 132 * * [misc]simplify: Extracting #5: cost 244 inf + 563 * * [misc]simplify: Extracting #6: cost 171 inf + 7121 * * [misc]simplify: Extracting #7: cost 39 inf + 31880 * * [misc]simplify: Extracting #8: cost 1 inf + 40873 * * [misc]simplify: Extracting #9: cost 0 inf + 41147 * [exit]simplify: Simplified to (- -11/4 -11/4) * [misc]simplify: Simplified (2) to (λ () (- -11/4 -11/4)) * * * * [misc]progress: [ 80 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2))))))) * * [misc]simplify: iters left: 6 (22 enodes) * * [misc]simplify: iters left: 5 (46 enodes) * * [misc]simplify: iters left: 4 (112 enodes) * * [misc]simplify: iters left: 3 (333 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 9 inf + 0 * * [misc]simplify: Extracting #2: cost 26 inf + 46 * * [misc]simplify: Extracting #3: cost 67 inf + 130 * * [misc]simplify: Extracting #4: cost 200 inf + 132 * * [misc]simplify: Extracting #5: cost 244 inf + 563 * * [misc]simplify: Extracting #6: cost 171 inf + 7121 * * [misc]simplify: Extracting #7: cost 39 inf + 31880 * * [misc]simplify: Extracting #8: cost 1 inf + 40873 * * [misc]simplify: Extracting #9: cost 0 inf + 41147 * [exit]simplify: Simplified to (- -11/4 -11/4) * [misc]simplify: Simplified (2) to (λ () (- -11/4 -11/4)) * * * * [misc]progress: [ 81 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2))))))) * * [misc]simplify: iters left: 6 (22 enodes) * * [misc]simplify: iters left: 5 (46 enodes) * * [misc]simplify: iters left: 4 (112 enodes) * * [misc]simplify: iters left: 3 (333 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 9 inf + 0 * * [misc]simplify: Extracting #2: cost 26 inf + 46 * * [misc]simplify: Extracting #3: cost 67 inf + 130 * * [misc]simplify: Extracting #4: cost 200 inf + 132 * * [misc]simplify: Extracting #5: cost 244 inf + 563 * * [misc]simplify: Extracting #6: cost 171 inf + 7121 * * [misc]simplify: Extracting #7: cost 39 inf + 31880 * * [misc]simplify: Extracting #8: cost 1 inf + 40873 * * [misc]simplify: Extracting #9: cost 0 inf + 41147 * [exit]simplify: Simplified to (- -11/4 -11/4) * [misc]simplify: Simplified (2) to (λ () (- -11/4 -11/4)) * * * * [misc]progress: [ 82 / 82 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+.c (complex 5 (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2))) (+.c (complex 6 (/ -2 (/ 2 (sqrt 3)))) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (/ (sqrt 3) 2))))))) * * [misc]simplify: iters left: 6 (22 enodes) * * [misc]simplify: iters left: 5 (46 enodes) * * [misc]simplify: iters left: 4 (112 enodes) * * [misc]simplify: iters left: 3 (333 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 9 inf + 0 * * [misc]simplify: Extracting #2: cost 26 inf + 46 * * [misc]simplify: Extracting #3: cost 67 inf + 130 * * [misc]simplify: Extracting #4: cost 200 inf + 132 * * [misc]simplify: Extracting #5: cost 244 inf + 563 * * [misc]simplify: Extracting #6: cost 171 inf + 7121 * * [misc]simplify: Extracting #7: cost 39 inf + 31880 * * [misc]simplify: Extracting #8: cost 1 inf + 40873 * * [misc]simplify: Extracting #9: cost 0 inf + 41147 * [exit]simplify: Simplified to (- -11/4 -11/4) * [misc]simplify: Simplified (2) to (λ () (- -11/4 -11/4)) * * * [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: generating series expansions * * * [misc]progress: simplifying candidates * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * [enter]simplify: Simplifying (- -11/4 -11/4) * * [misc]simplify: iters left: 2 (2 enodes) * * [misc]simplify: iters left: 1 (3 enodes) * * [misc]simplify: Extracting #0: cost 1 inf + 0 * * [misc]simplify: Extracting #1: cost 0 inf + 1 * [exit]simplify: Simplified to 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