122.379 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [points]: Setting MPFR precision to 576
0.039 * * * * [points]: Setting MPFR precision to 832
0.043 * * * * [points]: Setting MPFR precision to 1088
0.048 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.219 * * * * [points]: Setting MPFR precision to 832
0.227 * * * * [points]: Setting MPFR precision to 1088
0.235 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.405 * * * * [points]: Setting MPFR precision to 832
0.424 * * * * [points]: Setting MPFR precision to 1088
0.439 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.623 * * * * [points]: Setting MPFR precision to 832
0.643 * * * * [points]: Setting MPFR precision to 1088
0.675 * * * * [points]: Computing exacts for 256 points
0.879 * * * * [points]: Setting MPFR precision to 832
0.943 * * * * [points]: Setting MPFR precision to 1088
1.092 * * * * [points]: Filtering points with unrepresentable outputs
1.093 * * * * [points]: Sampled 256 points with exact outputs
1.093 * * * [progress]: [2/2] Setting up program.
1.106 * [progress]: [Phase 2 of 3] Improving.
1.106 * [simplify]: Simplifying:
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (*.c (*.c (*.c (complex (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (*.c (complex 5.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (complex 4.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 7.0 0.0)))
1.107 * * [simplify]: iteration 0: 31 enodes
1.119 * * [simplify]: iteration 1: 81 enodes
1.159 * * [simplify]: iteration 2: 303 enodes
1.807 * * [simplify]: iteration 3: 1157 enodes
4.597 * * [simplify]: iteration complete: 5001 enodes
4.597 * * [simplify]: Extracting #0: cost 1 inf + 0
4.597 * * [simplify]: Extracting #1: cost 2 inf + 0
4.598 * * [simplify]: Extracting #2: cost 77 inf + 0
4.601 * * [simplify]: Extracting #3: cost 964 inf + 0
4.608 * * [simplify]: Extracting #4: cost 1515 inf + 2
4.619 * * [simplify]: Extracting #5: cost 1942 inf + 91
4.633 * * [simplify]: Extracting #6: cost 2188 inf + 3278
4.656 * * [simplify]: Extracting #7: cost 2178 inf + 31065
4.761 * * [simplify]: Extracting #8: cost 1410 inf + 325124
5.210 * * [simplify]: Extracting #9: cost 608 inf + 938422
6.083 * * [simplify]: Extracting #10: cost 56 inf + 1560387
6.921 * * [simplify]: Extracting #11: cost 0 inf + 1614804
7.736 * * [simplify]: Extracting #12: cost 0 inf + 1610319
8.726 * * [simplify]: Extracting #13: cost 0 inf + 1610099
9.592 * [simplify]: Simplified to:
  (im (+.c (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex 4.0 0.0) (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (complex (- 2.0) 0.0))) (complex 5.0 0.0))))) (complex 7.0 0.0)))
9.605 * * [progress]: iteration 1 / 4
9.606 * * * [progress]: picking best candidate
9.615 * * * * [pick]: Picked  #<alt (λ () (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (*.c (*.c (*.c (complex (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (*.c (complex 5.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (complex 4.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 7.0 0.0))))>
9.615 * * * [progress]: localizing error
10.208 * * * [progress]: generating rewritten candidates
10.208 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
10.211 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
10.541 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1)
10.555 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
10.563 * * * [progress]: generating series expansions
10.563 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1 1)
10.563 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
10.563 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1)
10.563 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
10.563 * * * [progress]: simplifying candidates
10.565 * [simplify]: Simplifying:
  (- (* (/ (- 1.0) 2.0) (/ (- 1.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)))
  (+ (* (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (- 1.0) 2.0)))
  (+ (+ (- (* (- (* (- (* (/ (- 1.0) 2.0) (/ (- 1.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (- (* (/ (- 1.0) 2.0) (/ (- 1.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0))) (- (* (- (* (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0)))) (- (* (- (* 5.0 (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* 5.0 (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0))))
  (+ (+ (+ (* (- (* (- (* (/ (- 1.0) 2.0) (/ (- 1.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (- (* (/ (- 1.0) 2.0) (/ (- 1.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0))) (+ (* (- (* (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0)))) (+ (* (- (* 5.0 (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* 5.0 (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0))))
  (+.c (*.c (*.c (*.c (complex (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (*.c (*.c (complex 5.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))))
  (- (* (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0)))
  (+ (* (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0)))
  (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))
  (- (* 5.0 (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0)))
  (+ (* 5.0 (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0)))
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (*.c (*.c (*.c (complex (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (*.c (complex 5.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (complex 4.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 7.0 0.0)))
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (*.c (*.c (*.c (complex (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (*.c (complex 5.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (complex 4.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 7.0 0.0)))
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (*.c (*.c (*.c (complex (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (*.c (complex 5.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (complex 4.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 7.0 0.0)))
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (*.c (*.c (*.c (complex (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (*.c (complex 5.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (complex 4.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 7.0 0.0)))
10.572 * * [simplify]: iteration 0: 82 enodes
10.670 * * [simplify]: iteration 1: 278 enodes
10.964 * * [simplify]: iteration 2: 972 enodes
12.915 * * [simplify]: iteration 3: 4860 enodes
18.383 * * [simplify]: iteration complete: 5067 enodes
18.387 * * [simplify]: Extracting #0: cost 11 inf + 0
18.388 * * [simplify]: Extracting #1: cost 205 inf + 0
18.408 * * [simplify]: Extracting #2: cost 902 inf + 45
18.614 * * [simplify]: Extracting #3: cost 1374 inf + 4909
18.655 * * [simplify]: Extracting #4: cost 1152 inf + 77546
18.858 * * [simplify]: Extracting #5: cost 679 inf + 306729
19.309 * * [simplify]: Extracting #6: cost 257 inf + 638481
19.858 * * [simplify]: Extracting #7: cost 14 inf + 922890
20.562 * * [simplify]: Extracting #8: cost 0 inf + 938417
21.409 * * [simplify]: Extracting #9: cost 0 inf + 938062
22.603 * [simplify]: Simplified to:
  (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 3.0 (* 2.0 2.0)))
  (+ (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0)))) (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0)))))
  (+ (- (- (- (* 5.0 (* (/ 1.0 2.0) (/ 1.0 2.0))) (* (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0)))) 0.0)) (* (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0)))) 0.0)) (* 5.0 (/ 3.0 (* 2.0 2.0)))) (- (+ (- (* (* (/ 1.0 2.0) (/ 1.0 2.0)) (- (* 2.0 (/ 1.0 2.0)) (* (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt 3.0) 2.0) (+ (* (/ (sqrt 3.0) 2.0) (* 2.0 (/ 1.0 2.0))) (* (* (/ 1.0 2.0) (/ 1.0 2.0)) 0.0)))) (- (* (- (/ 1.0 2.0)) (- (* (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 3.0 (* 2.0 2.0))) (- (/ 1.0 2.0))) (* (/ 3.0 (* 2.0 2.0)) (+ (- (/ 1.0 2.0)) (- (/ 1.0 2.0)))))) (+ (* (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 3.0 (* 2.0 2.0))) (/ 3.0 (* 2.0 2.0))) (* (* (/ 3.0 (* 2.0 2.0)) (+ (- (/ 1.0 2.0)) (- (/ 1.0 2.0)))) (- (/ 1.0 2.0)))))) (* (fma (- (* 2.0 (/ 1.0 2.0)) (* (/ (sqrt 3.0) 2.0) 0.0)) (/ (sqrt 3.0) 2.0) (+ (* (/ (sqrt 3.0) 2.0) (* 2.0 (/ 1.0 2.0))) (* (* (/ 1.0 2.0) (/ 1.0 2.0)) 0.0))) (/ (sqrt 3.0) 2.0))))
  (+ (+ (+ (+ (fma (- (/ 1.0 2.0)) (fma (- (* 2.0 (/ 1.0 2.0)) (* (/ (sqrt 3.0) 2.0) 0.0)) (/ (sqrt 3.0) 2.0) (+ (* (/ (sqrt 3.0) 2.0) (* 2.0 (/ 1.0 2.0))) (* (* (/ 1.0 2.0) (/ 1.0 2.0)) 0.0))) (fma (- (/ 1.0 2.0)) (fma (/ (sqrt 3.0) 2.0) (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 3.0 (* 2.0 2.0))) (* (* (/ 1.0 2.0) (/ 1.0 2.0)) (+ (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (+ (- (* (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 3.0 (* 2.0 2.0))) (- (/ 1.0 2.0))) (* (/ 3.0 (* 2.0 2.0)) (+ (- (/ 1.0 2.0)) (- (/ 1.0 2.0))))) (- (- (- (* 2.0 (* (/ 1.0 2.0) (- (/ 1.0 2.0)))) (* (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0)))) 0.0)) (* (- 2.0) (/ 3.0 (* 2.0 2.0)))) (* (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0)))) 0.0)))))) (* 5.0 (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0)))))) (* (- 0.0) (/ 3.0 (* 2.0 2.0)))) (* (* (/ 1.0 2.0) (/ 1.0 2.0)) 0.0)) (* 5.0 (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0))))))
  (*.c (complex (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 3.0 (* 2.0 2.0))) (+ (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0)))) (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0)))))) (+.c (complex 5.0 0.0) (-.c (complex (* 2.0 (/ 1.0 2.0)) (/ (* (- 0.0) 1.0) 2.0)) (complex (* (/ (sqrt 3.0) 2.0) 0.0) (/ 2.0 (/ 2.0 (sqrt 3.0)))))))
  (- (- (- (* 2.0 (* (/ 1.0 2.0) (- (/ 1.0 2.0)))) (* (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0)))) 0.0)) (* (- 2.0) (/ 3.0 (* 2.0 2.0)))) (* (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0)))) 0.0))
  (fma (- (* 2.0 (/ 1.0 2.0)) (* (/ (sqrt 3.0) 2.0) 0.0)) (/ (sqrt 3.0) 2.0) (+ (* (/ (sqrt 3.0) 2.0) (* 2.0 (/ 1.0 2.0))) (* (* (/ 1.0 2.0) (/ 1.0 2.0)) 0.0)))
  (complex (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 3.0 (* 2.0 2.0))) (+ (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0)))) (/ (sqrt 3.0) (/ 2.0 (- (/ 1.0 2.0))))))
  (- (- (* (/ (sqrt 3.0) 2.0) 0.0)) (/ (* 5.0 1.0) 2.0))
  (- (/ 5.0 (/ 2.0 (sqrt 3.0))) (/ (* 0.0 1.0) 2.0))
  (im (+.c (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex 4.0 0.0) (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex 5.0 0.0) (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex (- 2.0) 0.0) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)))))))) (complex 7.0 0.0)))
  (im (+.c (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex 4.0 0.0) (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex 5.0 0.0) (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex (- 2.0) 0.0) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)))))))) (complex 7.0 0.0)))
  (im (+.c (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex 4.0 0.0) (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex 5.0 0.0) (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex (- 2.0) 0.0) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)))))))) (complex 7.0 0.0)))
  (im (+.c (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex 4.0 0.0) (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex 5.0 0.0) (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex (- 2.0) 0.0) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)))))))) (complex 7.0 0.0)))
22.686 * * * [progress]: adding candidates to table
23.118 * [progress]: [Phase 3 of 3] Extracting.
23.129 * [simplify]: Simplifying:
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (*.c (*.c (*.c (complex (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (*.c (complex 5.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (complex 4.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 7.0 0.0)))
23.130 * * [simplify]: iteration 0: 31 enodes
23.159 * * [simplify]: iteration 1: 45 enodes
23.177 * * [simplify]: iteration complete: 45 enodes
23.177 * * [simplify]: Extracting #0: cost 1 inf + 0
23.177 * * [simplify]: Extracting #1: cost 2 inf + 0
23.177 * * [simplify]: Extracting #2: cost 4 inf + 0
23.178 * * [simplify]: Extracting #3: cost 8 inf + 0
23.178 * * [simplify]: Extracting #4: cost 9 inf + 4
23.178 * * [simplify]: Extracting #5: cost 15 inf + 4
23.178 * * [simplify]: Extracting #6: cost 20 inf + 7
23.178 * * [simplify]: Extracting #7: cost 24 inf + 8
23.178 * * [simplify]: Extracting #8: cost 20 inf + 93
23.179 * * [simplify]: Extracting #9: cost 12 inf + 2720
23.179 * * [simplify]: Extracting #10: cost 8 inf + 4731
23.181 * * [simplify]: Extracting #11: cost 5 inf + 7263
23.182 * * [simplify]: Extracting #12: cost 4 inf + 9467
23.241 * * [simplify]: Extracting #13: cost 1 inf + 19125
23.244 * * [simplify]: Extracting #14: cost 0 inf + 22532
23.254 * [simplify]: Simplified to:
  (im (+.c (+.c (*.c (complex 4.0 0.0) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0))) (+.c (+.c (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (*.c (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (complex (- 2.0) 0.0)) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)))) (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (*.c (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0))) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0))))) (*.c (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (complex 5.0 0.0)) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0))))) (complex 7.0 0.0)))
23.254 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
23.275 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
23.466 * * * * [points]: Setting MPFR precision to 832
23.470 * * * * [points]: Setting MPFR precision to 1088
23.474 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
24.099 * * * * [points]: Setting MPFR precision to 832
24.264 * * * * [points]: Setting MPFR precision to 1088
24.300 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
24.467 * * * * [points]: Setting MPFR precision to 832
24.481 * * * * [points]: Setting MPFR precision to 1088
24.496 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
25.135 * * * * [points]: Setting MPFR precision to 832
25.332 * * * * [points]: Setting MPFR precision to 1088
25.877 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
26.177 * * * * [points]: Setting MPFR precision to 832
26.265 * * * * [points]: Setting MPFR precision to 1088
26.759 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
28.564 * * * * [points]: Setting MPFR precision to 832
28.870 * * * * [points]: Setting MPFR precision to 1088
29.105 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
29.292 * * * * [points]: Setting MPFR precision to 832
30.106 * * * * [points]: Setting MPFR precision to 1088
32.558 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
32.759 * * * * [points]: Setting MPFR precision to 832
37.116 * * * * [points]: Setting MPFR precision to 1088
43.139 * * * * [points]: Computing exacts for 8000 points
43.850 * * * * [points]: Setting MPFR precision to 832
64.867 * * * * [points]: Setting MPFR precision to 1088
91.666 * * * * [points]: Filtering points with unrepresentable outputs
91.712 * * * * [points]: Sampled 8000 points with exact outputs
92.351 * [regime-testing]: Baseline error score: 0
92.372 * [regime-testing]: Oracle error score: 0
92.372 * [regime-testing]: End program error score: 0