164.081 * [progress]: [Phase 1 of 3] Setting up.
0.038 * * * [progress]: [1/2] Preparing points
0.046 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.053 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.205 * * * * [points]: Setting MPFR precision to 64
0.239 * * * * [points]: Setting MPFR precision to 320
0.272 * * * * [points]: Setting MPFR precision to 576
0.276 * * * * [points]: Setting MPFR precision to 832
0.280 * * * * [points]: Setting MPFR precision to 1088
0.304 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1.086 * * * * [points]: Setting MPFR precision to 832
1.094 * * * * [points]: Setting MPFR precision to 1088
1.101 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1.589 * * * * [points]: Setting MPFR precision to 832
1.606 * * * * [points]: Setting MPFR precision to 1088
1.615 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
2.484 * * * * [points]: Setting MPFR precision to 832
2.647 * * * * [points]: Setting MPFR precision to 1088
2.691 * * * * [points]: Computing exacts for 256 points
3.508 * * * * [points]: Setting MPFR precision to 832
3.641 * * * * [points]: Setting MPFR precision to 1088
3.878 * * * * [points]: Filtering points with unrepresentable outputs
3.879 * * * * [points]: Sampled 256 points with exact outputs
3.889 * * * [progress]: [2/2] Setting up program.
3.966 * [progress]: [Phase 2 of 3] Improving.
3.979 * [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)))
3.979 * * [simplify]: iteration 0: 31 enodes
4.087 * * [simplify]: iteration 1: 81 enodes
4.164 * * [simplify]: iteration 2: 295 enodes
4.505 * * [simplify]: iteration 3: 1231 enodes
6.132 * * [simplify]: iteration complete: 5002 enodes
6.133 * * [simplify]: Extracting #0: cost 1 inf + 0
6.133 * * [simplify]: Extracting #1: cost 2 inf + 0
6.133 * * [simplify]: Extracting #2: cost 76 inf + 0
6.136 * * [simplify]: Extracting #3: cost 957 inf + 0
6.143 * * [simplify]: Extracting #4: cost 1500 inf + 2
6.153 * * [simplify]: Extracting #5: cost 1944 inf + 91
6.167 * * [simplify]: Extracting #6: cost 2236 inf + 2931
6.187 * * [simplify]: Extracting #7: cost 2308 inf + 15986
6.214 * * [simplify]: Extracting #8: cost 2135 inf + 51132
6.460 * * [simplify]: Extracting #9: cost 1418 inf + 334371
6.939 * * [simplify]: Extracting #10: cost 674 inf + 931238
7.787 * * [simplify]: Extracting #11: cost 82 inf + 1653786
8.950 * * [simplify]: Extracting #12: cost 0 inf + 1746691
10.133 * * [simplify]: Extracting #13: cost 0 inf + 1744851
11.186 * [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 (complex (- (* (- (/ 1.0 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (+ (* (- (/ 1.0 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))) (complex 5.0 0.0))))) (complex 7.0 0.0)))
11.211 * * [progress]: iteration 1 / 4
11.215 * * * [progress]: picking best candidate
11.225 * * * * [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))))>
11.226 * * * [progress]: localizing error
12.155 * * * [progress]: generating rewritten candidates
12.171 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
12.207 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
12.239 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1)
12.253 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
12.277 * * * [progress]: generating series expansions
12.277 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1 1)
12.277 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
12.277 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1)
12.277 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
12.277 * * * [progress]: simplifying candidates
12.312 * [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)))
12.316 * * [simplify]: iteration 0: 82 enodes
12.406 * * [simplify]: iteration 1: 262 enodes
13.024 * * [simplify]: iteration 2: 933 enodes
17.186 * * [simplify]: iteration 3: 4655 enodes
22.851 * * [simplify]: iteration complete: 5003 enodes
22.851 * * [simplify]: Extracting #0: cost 11 inf + 0
22.856 * * [simplify]: Extracting #1: cost 194 inf + 0
22.866 * * [simplify]: Extracting #2: cost 880 inf + 2
22.898 * * [simplify]: Extracting #3: cost 1408 inf + 458
22.913 * * [simplify]: Extracting #4: cost 1502 inf + 12844
22.980 * * [simplify]: Extracting #5: cost 1082 inf + 134846
23.471 * * [simplify]: Extracting #6: cost 508 inf + 502734
24.238 * * [simplify]: Extracting #7: cost 77 inf + 1033191
25.273 * * [simplify]: Extracting #8: cost 0 inf + 1109430
26.349 * * [simplify]: Extracting #9: cost 0 inf + 1102230
27.361 * [simplify]: Simplified to:
  (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ (/ 3.0 2.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)) (/ (/ 3.0 2.0) 2.0)) (* (/ 1.0 2.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))))) (* (/ (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)) (/ (/ 3.0 2.0) 2.0)) (/ (/ 3.0 2.0) 2.0))) (* (- (* (/ 5.0 2.0) (- 1.0)) (* (/ (sqrt 3.0) 2.0) 0.0)) (/ 1.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) (+ (* (* (/ 1.0 2.0) (/ 1.0 2.0)) 0.0) (/ (/ (* 2.0 1.0) 2.0) (/ 2.0 (sqrt 3.0)))))) (* (* (/ (sqrt 3.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) (+ (* (* (/ 1.0 2.0) (/ 1.0 2.0)) 0.0) (/ (/ (* 2.0 1.0) 2.0) (/ 2.0 (sqrt 3.0))))))) (* (* (/ (- 1.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0))) (* 5.0 (/ (/ 3.0 2.0) 2.0)))
  (+ (+ (* (* (/ 5.0 2.0) (- 1.0)) (/ (sqrt 3.0) 2.0)) (+ (* (* (/ 1.0 2.0) (/ 1.0 2.0)) 0.0) (* (- (* (/ 5.0 2.0) (- 1.0)) (* (/ (sqrt 3.0) 2.0) 0.0)) (/ (sqrt 3.0) 2.0)))) (+ (+ (+ (* (+ (* (/ (sqrt 3.0) 2.0) (- (/ (* 2.0 1.0) 2.0) (* (/ (sqrt 3.0) 2.0) 0.0))) (* (- (+ (/ (* 0.0 1.0) 2.0) (/ (* (sqrt 3.0) 2.0) 2.0))) (- (/ 1.0 2.0)))) (- (/ 1.0 2.0))) (/ (* (/ (sqrt 3.0) 2.0) (- (/ (* 2.0 1.0) 2.0) (* (/ (sqrt 3.0) 2.0) 0.0))) (/ 2.0 (- 1.0)))) (* (- (+ (/ (* 0.0 1.0) 2.0) (/ (* (sqrt 3.0) 2.0) 2.0))) (/ (- (/ 3.0 2.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)) (/ (/ 3.0 2.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) (/ 1.0 2.0)) (/ (/ 3.0 2.0) 2.0))))))))
  (*.c (complex (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ (/ 3.0 2.0) 2.0)) (* (+ (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (- 1.0) 2.0))) (complex (+ (- (/ (* 2.0 1.0) 2.0) (* (/ (sqrt 3.0) 2.0) 0.0)) 5.0) (+ (- (+ (/ (* 0.0 1.0) 2.0) (/ (* (sqrt 3.0) 2.0) 2.0))) 0.0)))
  (- (- (* (+ (* 2.0 (/ (- 1.0) 2.0)) (* (/ (sqrt 3.0) 2.0) 0.0)) (/ (- 1.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ (* 0.0 1.0) 2.0) (/ (* (sqrt 3.0) 2.0) 2.0)))))
  (+ (+ (* (/ (sqrt 3.0) 2.0) (- (/ (* 2.0 1.0) 2.0) (* (/ (sqrt 3.0) 2.0) 0.0))) (* (* (/ 1.0 2.0) (/ 1.0 2.0)) 0.0)) (/ (/ (* 2.0 1.0) 2.0) (/ 2.0 (sqrt 3.0))))
  (complex (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ (/ 3.0 2.0) 2.0)) (* (+ (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (- 1.0) 2.0)))
  (- (* (/ 5.0 2.0) (- 1.0)) (* (/ (sqrt 3.0) 2.0) 0.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 (*.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 (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 5.0 0.0))) (complex 4.0 0.0))) (complex 7.0 0.0)))
  (im (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (*.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 (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 5.0 0.0))) (complex 4.0 0.0))) (complex 7.0 0.0)))
  (im (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (*.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 (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 5.0 0.0))) (complex 4.0 0.0))) (complex 7.0 0.0)))
  (im (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (*.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 (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 5.0 0.0))) (complex 4.0 0.0))) (complex 7.0 0.0)))
27.408 * * * [progress]: adding candidates to table
27.782 * [progress]: [Phase 3 of 3] Extracting.
27.808 * [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)))
27.809 * * [simplify]: iteration 0: 31 enodes
27.832 * * [simplify]: iteration 1: 45 enodes
27.884 * * [simplify]: iteration complete: 45 enodes
27.885 * * [simplify]: Extracting #0: cost 1 inf + 0
27.885 * * [simplify]: Extracting #1: cost 2 inf + 0
27.885 * * [simplify]: Extracting #2: cost 4 inf + 0
27.885 * * [simplify]: Extracting #3: cost 8 inf + 0
27.885 * * [simplify]: Extracting #4: cost 9 inf + 4
27.885 * * [simplify]: Extracting #5: cost 15 inf + 4
27.885 * * [simplify]: Extracting #6: cost 20 inf + 7
27.885 * * [simplify]: Extracting #7: cost 24 inf + 8
27.885 * * [simplify]: Extracting #8: cost 20 inf + 93
27.885 * * [simplify]: Extracting #9: cost 12 inf + 2720
27.886 * * [simplify]: Extracting #10: cost 8 inf + 4731
27.889 * * [simplify]: Extracting #11: cost 5 inf + 7263
27.890 * * [simplify]: Extracting #12: cost 4 inf + 9467
27.893 * * [simplify]: Extracting #13: cost 1 inf + 19125
27.895 * * [simplify]: Extracting #14: cost 0 inf + 22532
27.898 * [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)))
27.906 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
28.049 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
28.656 * * * * [points]: Setting MPFR precision to 832
28.660 * * * * [points]: Setting MPFR precision to 1088
28.665 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
29.402 * * * * [points]: Setting MPFR precision to 832
29.479 * * * * [points]: Setting MPFR precision to 1088
29.588 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
30.029 * * * * [points]: Setting MPFR precision to 832
30.098 * * * * [points]: Setting MPFR precision to 1088
30.316 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
30.882 * * * * [points]: Setting MPFR precision to 832
31.009 * * * * [points]: Setting MPFR precision to 1088
31.692 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
31.975 * * * * [points]: Setting MPFR precision to 832
32.169 * * * * [points]: Setting MPFR precision to 1088
32.511 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
33.530 * * * * [points]: Setting MPFR precision to 832
34.156 * * * * [points]: Setting MPFR precision to 1088
35.052 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
37.611 * * * * [points]: Setting MPFR precision to 832
38.363 * * * * [points]: Setting MPFR precision to 1088
39.699 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
40.214 * * * * [points]: Setting MPFR precision to 832
43.037 * * * * [points]: Setting MPFR precision to 1088
46.387 * * * * [points]: Computing exacts for 8000 points
47.014 * * * * [points]: Setting MPFR precision to 832
67.877 * * * * [points]: Setting MPFR precision to 1088
83.758 * * * * [points]: Filtering points with unrepresentable outputs
83.779 * * * * [points]: Sampled 8000 points with exact outputs
84.573 * [regime-testing]: Baseline error score: 0
84.591 * [regime-testing]: Oracle error score: 0
84.591 * [regime-testing]: End program error score: 0