39.945 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.032 * * * * [points]: Setting MPFR precision to 64
0.037 * * * * [points]: Setting MPFR precision to 320
0.041 * * * * [points]: Setting MPFR precision to 576
0.045 * * * * [points]: Setting MPFR precision to 832
0.049 * * * * [points]: Setting MPFR precision to 1088
0.054 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.187 * * * * [points]: Setting MPFR precision to 832
0.195 * * * * [points]: Setting MPFR precision to 1088
0.203 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.325 * * * * [points]: Setting MPFR precision to 832
0.333 * * * * [points]: Setting MPFR precision to 1088
0.341 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.447 * * * * [points]: Setting MPFR precision to 832
0.465 * * * * [points]: Setting MPFR precision to 1088
0.480 * * * * [points]: Computing exacts for 256 points
0.631 * * * * [points]: Setting MPFR precision to 832
0.674 * * * * [points]: Setting MPFR precision to 1088
0.743 * * * * [points]: Filtering points with unrepresentable outputs
0.743 * * * * [points]: Sampled 256 points with exact outputs
0.743 * * * [progress]: [2/2] Setting up program.
0.749 * [progress]: [Phase 2 of 3] Improving.
0.749 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
0.749 * [simplify]: Simplifying:
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))
0.750 * * [simplify]: iteration 1: (31 enodes)
0.760 * * [simplify]: iteration 2: (85 enodes)
0.881 * * [simplify]: iteration 3: (300 enodes)
1.184 * * [simplify]: iteration 4: (1151 enodes)
7.812 * * [simplify]: Extracting #0: cost 1 inf + 0
7.812 * * [simplify]: Extracting #1: cost 2 inf + 0
7.812 * * [simplify]: Extracting #2: cost 54 inf + 0
7.814 * * [simplify]: Extracting #3: cost 480 inf + 0
7.818 * * [simplify]: Extracting #4: cost 799 inf + 1110
7.832 * * [simplify]: Extracting #5: cost 923 inf + 7793
7.850 * * [simplify]: Extracting #6: cost 829 inf + 19962
7.872 * * [simplify]: Extracting #7: cost 405 inf + 95652
7.928 * * [simplify]: Extracting #8: cost 64 inf + 184187
8.005 * * [simplify]: Extracting #9: cost 0 inf + 204619
8.101 * * [simplify]: Extracting #10: cost 0 inf + 203964
8.229 * [simplify]: Simplified to:
  (im (+.c (complex (- -3 3/2) (+ (/ (sqrt 3) 2) (* (/ (sqrt 3) -2) 6))) (complex 9/2 (+ (* (/ (sqrt 3) -2) -1) (* 2 (sqrt 3))))))
8.233 * * [progress]: iteration 1 / 4
8.233 * * * [progress]: picking best candidate
8.238 * * * * [pick]: Picked  #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.238 * * * [progress]: localizing error
8.449 * * * [progress]: generating rewritten candidates
8.449 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
8.466 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
8.479 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1)
8.483 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
8.489 * * * [progress]: generating series expansions
8.489 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1 1)
8.489 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
8.489 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1)
8.489 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
8.489 * * * [progress]: simplifying candidates
8.489 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (complex (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.489 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.489 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (complex (+ (+ (- (* (- (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (- 1) 2))) (/ (sqrt 3) 2))) (- (* (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) (/ (sqrt 3) 2)))) (- (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2)))) (+ (+ (+ (* (- (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (- 1) 2))) (/ (- 1) 2))) (+ (* (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) (/ (- 1) 2)))) (+ (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.490 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ () (im (+.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 (*.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))))>
8.490 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.490 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (complex (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.490 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.490 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.490 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex (- (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) (+ (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.490 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 5 0) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.490 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.490 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.490 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.491 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.491 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
8.491 * [simplify]: Simplifying:
  (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)))
  (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2)))
  (+ (+ (- (* (- (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (- 1) 2))) (/ (sqrt 3) 2))) (- (* (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) (/ (sqrt 3) 2)))) (- (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))))
  (+ (+ (+ (* (- (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (- 1) 2))) (/ (- 1) 2))) (+ (* (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) (/ (- 1) 2)))) (+ (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))))
  (+.c (*.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))))
  (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2)))
  (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2)))
  (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))
  (- (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2)))
  (+ (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2)))
  (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))
8.493 * * [simplify]: iteration 1: (82 enodes)
8.540 * * [simplify]: iteration 2: (265 enodes)
8.805 * * [simplify]: iteration 3: (830 enodes)
16.473 * * [simplify]: Extracting #0: cost 11 inf + 0
16.474 * * [simplify]: Extracting #1: cost 170 inf + 2
16.478 * * [simplify]: Extracting #2: cost 749 inf + 55
16.484 * * [simplify]: Extracting #3: cost 990 inf + 1542
16.493 * * [simplify]: Extracting #4: cost 1024 inf + 2551
16.504 * * [simplify]: Extracting #5: cost 997 inf + 11383
16.536 * * [simplify]: Extracting #6: cost 461 inf + 110977
16.619 * * [simplify]: Extracting #7: cost 38 inf + 227916
16.711 * * [simplify]: Extracting #8: cost 0 inf + 238429
16.790 * * [simplify]: Extracting #9: cost 0 inf + 237663
16.850 * [simplify]: Simplified to:
  -1/2
  (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4))
  (+ (- 5/4 (* (* 1/2 (sqrt 3)) (/ (sqrt 3) 2/5))) (- -17/8 (* (* 1/2 (sqrt 3)) (* (* 1/2 (sqrt 3)) 1/2))))
  (+ (+ (* -1/2 (+ (* (/ (sqrt 3) -4) -1) (/ (sqrt 3) -4))) (+ (+ (* 1/2 (sqrt 3)) (+ (* 1/2 (sqrt 3)) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (* -5/4 (sqrt 3)))) (* -5/4 (sqrt 3)))
  (+.c (complex -2 (+ (* 1/2 (sqrt 3)) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))) (complex -5/2 (- (/ (sqrt 3) 2/5))))
  1
  (/ 2 (/ 2 (sqrt 3)))
  (complex -1/2 (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))
  (- 5/4 (* (* 1/2 (sqrt 3)) (/ (sqrt 3) 2/5)))
  (+ (* -5/4 (sqrt 3)) (* -5/4 (sqrt 3)))
  (complex -1/2 (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))
  (im (+.c (complex 5/2 (+ (- (/ (sqrt 3) 2/5)) (/ 4 (/ 2 (sqrt 3))))) (complex -5/2 (+ (* 1/2 (sqrt 3)) (+ (* 1/2 (sqrt 3)) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))))))
  (im (+.c (complex 5/2 (+ (- (/ (sqrt 3) 2/5)) (/ 4 (/ 2 (sqrt 3))))) (complex -5/2 (+ (* 1/2 (sqrt 3)) (+ (* 1/2 (sqrt 3)) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))))))
  (im (+.c (complex 5/2 (+ (- (/ (sqrt 3) 2/5)) (/ 4 (/ 2 (sqrt 3))))) (complex -5/2 (+ (* 1/2 (sqrt 3)) (+ (* 1/2 (sqrt 3)) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))))))
  (im (+.c (complex 5/2 (+ (- (/ (sqrt 3) 2/5)) (/ 4 (/ 2 (sqrt 3))))) (complex -5/2 (+ (* 1/2 (sqrt 3)) (+ (* 1/2 (sqrt 3)) (+ (/ (sqrt 3) -4) (/ (sqrt 3) -4)))))))
16.854 * * * [progress]: adding candidates to table
17.044 * [progress]: [Phase 3 of 3] Extracting.
17.050 * [simplify]: Simplifying:
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))
17.050 * * [simplify]: iteration 1: (31 enodes)
17.054 * * [simplify]: iteration 2: (49 enodes)
17.057 * * [simplify]: iteration 3: (50 enodes)
17.060 * * [simplify]: Extracting #0: cost 1 inf + 0
17.060 * * [simplify]: Extracting #1: cost 2 inf + 0
17.060 * * [simplify]: Extracting #2: cost 4 inf + 0
17.060 * * [simplify]: Extracting #3: cost 8 inf + 0
17.060 * * [simplify]: Extracting #4: cost 9 inf + 4
17.060 * * [simplify]: Extracting #5: cost 15 inf + 4
17.060 * * [simplify]: Extracting #6: cost 17 inf + 8
17.060 * * [simplify]: Extracting #7: cost 20 inf + 9
17.060 * * [simplify]: Extracting #8: cost 18 inf + 52
17.060 * * [simplify]: Extracting #9: cost 12 inf + 2155
17.061 * * [simplify]: Extracting #10: cost 8 inf + 3926
17.061 * * [simplify]: Extracting #11: cost 5 inf + 6101
17.061 * * [simplify]: Extracting #12: cost 4 inf + 8186
17.062 * * [simplify]: Extracting #13: cost 1 inf + 17487
17.064 * * [simplify]: Extracting #14: cost 0 inf + 20775
17.065 * [simplify]: Simplified to:
  (im (+.c (+.c (+.c (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex -1/2 (/ (sqrt 3) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (*.c (complex -2 0) (complex -1/2 (/ (sqrt 3) 2)))))) (*.c (*.c (complex 5 0) (complex -1/2 (/ (sqrt 3) 2))) (complex -1/2 (/ (sqrt 3) 2)))) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex 4 0))) (complex 7 0)))
17.065 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
17.069 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
17.169 * * * * [points]: Setting MPFR precision to 832
17.172 * * * * [points]: Setting MPFR precision to 1088
17.175 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
17.286 * * * * [points]: Setting MPFR precision to 832
17.291 * * * * [points]: Setting MPFR precision to 1088
17.297 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
17.383 * * * * [points]: Setting MPFR precision to 832
17.393 * * * * [points]: Setting MPFR precision to 1088
17.408 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
17.586 * * * * [points]: Setting MPFR precision to 832
17.615 * * * * [points]: Setting MPFR precision to 1088
17.647 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
17.801 * * * * [points]: Setting MPFR precision to 832
17.842 * * * * [points]: Setting MPFR precision to 1088
17.972 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
18.122 * * * * [points]: Setting MPFR precision to 832
18.214 * * * * [points]: Setting MPFR precision to 1088
18.476 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
18.646 * * * * [points]: Setting MPFR precision to 832
18.975 * * * * [points]: Setting MPFR precision to 1088
19.801 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
19.968 * * * * [points]: Setting MPFR precision to 832
20.637 * * * * [points]: Setting MPFR precision to 1088
21.730 * * * * [points]: Computing exacts for 8000 points
21.861 * * * * [points]: Setting MPFR precision to 832
24.742 * * * * [points]: Setting MPFR precision to 1088
28.549 * * * * [points]: Filtering points with unrepresentable outputs
28.554 * * * * [points]: Sampled 8000 points with exact outputs
28.755 * [regime-testing]: Baseline error score: 0
28.759 * [regime-testing]: Oracle error score: 0
28.760 * [regime-testing]: End program error score: 0