135.357 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [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.046 * * * * [points]: Setting MPFR precision to 64
0.067 * * * * [points]: Setting MPFR precision to 320
0.072 * * * * [points]: Setting MPFR precision to 576
0.076 * * * * [points]: Setting MPFR precision to 832
0.082 * * * * [points]: Setting MPFR precision to 1088
0.092 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.567 * * * * [points]: Setting MPFR precision to 832
0.576 * * * * [points]: Setting MPFR precision to 1088
0.584 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.958 * * * * [points]: Setting MPFR precision to 832
0.984 * * * * [points]: Setting MPFR precision to 1088
1.001 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1.216 * * * * [points]: Setting MPFR precision to 832
1.243 * * * * [points]: Setting MPFR precision to 1088
1.275 * * * * [points]: Computing exacts for 256 points
4.150 * * * * [points]: Setting MPFR precision to 832
4.327 * * * * [points]: Setting MPFR precision to 1088
4.870 * * * * [points]: Filtering points with unrepresentable outputs
4.873 * * * * [points]: Sampled 256 points with exact outputs
4.873 * * * [progress]: [2/2] Setting up program.
4.885 * [progress]: [Phase 2 of 3] Improving.
4.887 * [simplify]: Simplifying:
  (re (+.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)))
4.887 * * [simplify]: iteration 0: 31 enodes
4.905 * * [simplify]: iteration 1: 81 enodes
4.946 * * [simplify]: iteration 2: 295 enodes
5.651 * * [simplify]: iteration 3: 1231 enodes
8.345 * * [simplify]: iteration complete: 5002 enodes
8.345 * * [simplify]: Extracting #0: cost 1 inf + 0
8.345 * * [simplify]: Extracting #1: cost 2 inf + 0
8.345 * * [simplify]: Extracting #2: cost 76 inf + 0
8.354 * * [simplify]: Extracting #3: cost 957 inf + 0
8.363 * * [simplify]: Extracting #4: cost 1500 inf + 2
8.373 * * [simplify]: Extracting #5: cost 1944 inf + 91
8.387 * * [simplify]: Extracting #6: cost 2236 inf + 2931
8.409 * * [simplify]: Extracting #7: cost 2308 inf + 15986
8.436 * * [simplify]: Extracting #8: cost 2135 inf + 51132
8.685 * * [simplify]: Extracting #9: cost 1418 inf + 334371
9.176 * * [simplify]: Extracting #10: cost 674 inf + 931238
9.985 * * [simplify]: Extracting #11: cost 82 inf + 1653786
11.200 * * [simplify]: Extracting #12: cost 0 inf + 1746691
12.303 * * [simplify]: Extracting #13: cost 0 inf + 1744851
13.753 * [simplify]: Simplified to:
  (re (+.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)))
13.773 * * [progress]: iteration 1 / 4
13.773 * * * [progress]: picking best candidate
13.785 * * * * [pick]: Picked  #<alt (λ () (re (+.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))))>
13.785 * * * [progress]: localizing error
13.917 * * * [progress]: generating rewritten candidates
13.917 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2 2 2 1 2 2)
14.396 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 2 2 2 1 1 2)
14.736 * * * [progress]: generating series expansions
14.737 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2 2 2 1 2 2)
14.737 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 2 2 2 1 1 2)
14.737 * * * [progress]: simplifying candidates
14.740 * [simplify]: Simplifying:
  (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))
  (+ (- (log (sqrt 3.0)) (log 2.0)) (log (- (+ (/ 1.0 2.0) 2.0))))
  (+ (log (/ (sqrt 3.0) 2.0)) (log (- (+ (/ 1.0 2.0) 2.0))))
  (log (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))
  (exp (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))
  (* (/ (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* 2.0 2.0) 2.0)) (* (* (- (+ (/ 1.0 2.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (- (+ (/ 1.0 2.0) 2.0))))
  (* (* (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* (* (- (+ (/ 1.0 2.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (- (+ (/ 1.0 2.0) 2.0))))
  (* (cbrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (cbrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))))
  (cbrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))
  (* (* (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))
  (sqrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))
  (sqrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))
  (* (sqrt 3.0) (- (+ (pow (/ 1.0 2.0) 3) (pow 2.0 3))))
  (* 2.0 (+ (* (/ 1.0 2.0) (/ 1.0 2.0)) (- (* 2.0 2.0) (* (/ 1.0 2.0) 2.0))))
  (* (sqrt 3.0) (- (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (* 2.0 2.0))))
  (* 2.0 (- (/ 1.0 2.0) 2.0))
  (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0))))
  (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0))))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0))))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0))))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0))))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0))))
  (* (/ (sqrt 3.0) 2.0) (+ (/ 1.0 2.0) 2.0))
  (* (/ (sqrt 3.0) 2.0) (- (/ 1.0 2.0)))
  (* (/ (sqrt 3.0) 2.0) (- 2.0))
  (* (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0))
  (* (- 2.0) (/ (sqrt 3.0) 2.0))
  (* (/ (sqrt 3.0) 2.0) (* (cbrt (- (+ (/ 1.0 2.0) 2.0))) (cbrt (- (+ (/ 1.0 2.0) 2.0)))))
  (* (/ (sqrt 3.0) 2.0) (sqrt (- (+ (/ 1.0 2.0) 2.0))))
  (* (/ (sqrt 3.0) 2.0) 1)
  (* (/ (sqrt 3.0) 2.0) -1)
  (* (/ (sqrt 3.0) 2.0) (- (* (cbrt (+ (/ 1.0 2.0) 2.0)) (cbrt (+ (/ 1.0 2.0) 2.0)))))
  (* (/ (sqrt 3.0) 2.0) (- (sqrt (+ (/ 1.0 2.0) 2.0))))
  (* (/ (sqrt 3.0) 2.0) (- 1))
  (* (/ (sqrt 3.0) 2.0) (- 1))
  (* (/ (sqrt 3.0) 2.0) (* (cbrt (+ (/ 1.0 2.0) 2.0)) (cbrt (+ (/ 1.0 2.0) 2.0))))
  (* (/ (sqrt 3.0) 2.0) (sqrt (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt 3.0) 2.0) 1)
  (* (/ (sqrt 3.0) 2.0) 1)
  (* (cbrt (/ (sqrt 3.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (sqrt (/ (sqrt 3.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (cbrt (sqrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (cbrt (sqrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (cbrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt (cbrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt (cbrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt (cbrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt 3.0) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt 3.0) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt 3.0) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt 3.0) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ 1 2.0) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt 3.0) 2.0) (- (+ (pow (/ 1.0 2.0) 3) (pow 2.0 3))))
  (* (/ (sqrt 3.0) 2.0) (- (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (* 2.0 2.0))))
  (* (sqrt 3.0) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (+ (- (log (sqrt 3.0)) (log 2.0)) (log (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (+ (log (/ (sqrt 3.0) 2.0)) (log (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (log (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (exp (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (/ (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* 2.0 2.0) 2.0)) (* (* (+ (/ (sqrt 3.0) 2.0) 0.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (* (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* (* (+ (/ (sqrt 3.0) 2.0) 0.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (cbrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (cbrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))))
  (cbrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (* (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (sqrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (sqrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (sqrt 3.0) (+ (pow (/ (sqrt 3.0) 2.0) 3) (pow 0.0 3)))
  (* 2.0 (+ (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (- (* 0.0 0.0) (* (/ (sqrt 3.0) 2.0) 0.0))))
  (* (sqrt 3.0) (- (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 0.0)))
  (* 2.0 (- (/ (sqrt 3.0) 2.0) 0.0))
  (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0))
  (* (/ (sqrt 3.0) 2.0) 0.0)
  (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0))
  (* 0.0 (/ (sqrt 3.0) 2.0))
  (* (/ (sqrt 3.0) 2.0) (* (cbrt (+ (/ (sqrt 3.0) 2.0) 0.0)) (cbrt (+ (/ (sqrt 3.0) 2.0) 0.0))))
  (* (/ (sqrt 3.0) 2.0) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (/ (sqrt 3.0) 2.0) 1)
  (* (/ (sqrt 3.0) 2.0) 1)
  (* (cbrt (/ (sqrt 3.0) 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (sqrt (/ (sqrt 3.0) 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (cbrt (sqrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (cbrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (cbrt (sqrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt (cbrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt (cbrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt (cbrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt (sqrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt 3.0) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt 3.0) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt (sqrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt 3.0) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt 3.0) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ 1 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (sqrt 3.0) 2.0) (+ (pow (/ (sqrt 3.0) 2.0) 3) (pow 0.0 3)))
  (* (/ (sqrt 3.0) 2.0) (- (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 0.0)))
  (* (sqrt 3.0) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (re (+.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)))
  (re (+.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)))
14.770 * * [simplify]: iteration 0: 189 enodes
15.269 * * [simplify]: iteration 1: 710 enodes
17.306 * * [simplify]: iteration 2: 2801 enodes
24.494 * * [simplify]: iteration complete: 5049 enodes
24.499 * * [simplify]: Extracting #0: cost 76 inf + 0
24.512 * * [simplify]: Extracting #1: cost 794 inf + 0
24.526 * * [simplify]: Extracting #2: cost 1438 inf + 1223
24.551 * * [simplify]: Extracting #3: cost 1372 inf + 52377
24.784 * * [simplify]: Extracting #4: cost 873 inf + 204674
24.981 * * [simplify]: Extracting #5: cost 342 inf + 372637
25.382 * * [simplify]: Extracting #6: cost 248 inf + 408573
25.765 * * [simplify]: Extracting #7: cost 167 inf + 464665
26.377 * * [simplify]: Extracting #8: cost 49 inf + 522992
26.896 * * [simplify]: Extracting #9: cost 1 inf + 554893
27.402 * * [simplify]: Extracting #10: cost 0 inf + 555377
27.894 * [simplify]: Simplified to:
  (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0))
  (log (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0)))
  (log (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0)))
  (log (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0)))
  (exp (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0)))
  (* (* (* (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* (+ (/ 1.0 2.0) 2.0) (+ (/ 1.0 2.0) 2.0))) (- (+ (/ 1.0 2.0) 2.0)))
  (* (* (* (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* (+ (/ 1.0 2.0) 2.0) (+ (/ 1.0 2.0) 2.0))) (- (+ (/ 1.0 2.0) 2.0)))
  (* (cbrt (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0))) (cbrt (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0))))
  (cbrt (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0)))
  (* (* (* (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* (+ (/ 1.0 2.0) 2.0) (+ (/ 1.0 2.0) 2.0))) (- (+ (/ 1.0 2.0) 2.0)))
  (sqrt (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0)))
  (sqrt (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0)))
  (* (+ (* 2.0 (* 2.0 2.0)) (* (/ 1.0 2.0) (* (/ 1.0 2.0) (/ 1.0 2.0)))) (- (sqrt 3.0)))
  (* 2.0 (+ (* (- 2.0 (/ 1.0 2.0)) 2.0) (* (/ 1.0 2.0) (/ 1.0 2.0))))
  (- (* (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (* 2.0 2.0)) (sqrt 3.0)))
  (* 2.0 (- (/ 1.0 2.0) 2.0))
  (* (sqrt (- (+ (/ 1.0 2.0) 2.0))) (sqrt (/ (sqrt 3.0) 2.0)))
  (* (sqrt (- (+ (/ 1.0 2.0) 2.0))) (sqrt (/ (sqrt 3.0) 2.0)))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0))))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0))))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0))))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0))))
  (* (+ (/ 1.0 2.0) 2.0) (/ (sqrt 3.0) 2.0))
  (/ (- (* (/ (sqrt 3.0) 2.0) 1.0)) 2.0)
  (/ (* 2.0 (- (sqrt 3.0))) 2.0)
  (/ (- (* (/ (sqrt 3.0) 2.0) 1.0)) 2.0)
  (/ (* 2.0 (- (sqrt 3.0))) 2.0)
  (* (* (/ (sqrt 3.0) 2.0) (cbrt (- (+ (/ 1.0 2.0) 2.0)))) (cbrt (- (+ (/ 1.0 2.0) 2.0))))
  (* (sqrt (- (+ (/ 1.0 2.0) 2.0))) (/ (sqrt 3.0) 2.0))
  (/ (sqrt 3.0) 2.0)
  (- (/ (sqrt 3.0) 2.0))
  (* (* (cbrt (+ (/ 1.0 2.0) 2.0)) (cbrt (+ (/ 1.0 2.0) 2.0))) (- (/ (sqrt 3.0) 2.0)))
  (* (- (sqrt (+ (/ 1.0 2.0) 2.0))) (/ (sqrt 3.0) 2.0))
  (- (/ (sqrt 3.0) 2.0))
  (- (/ (sqrt 3.0) 2.0))
  (* (/ (sqrt 3.0) 2.0) (* (cbrt (+ (/ 1.0 2.0) 2.0)) (cbrt (+ (/ 1.0 2.0) 2.0))))
  (/ (sqrt 3.0) (/ 2.0 (sqrt (+ (/ 1.0 2.0) 2.0))))
  (/ (sqrt 3.0) 2.0)
  (/ (sqrt 3.0) 2.0)
  (* (+ (/ 1.0 2.0) 2.0) (- (cbrt (/ (sqrt 3.0) 2.0))))
  (- (* (+ (/ 1.0 2.0) 2.0) (sqrt (/ (sqrt 3.0) 2.0))))
  (* (+ (/ 1.0 2.0) 2.0) (- (/ (cbrt (sqrt 3.0)) (cbrt 2.0))))
  (- (* (/ (cbrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ 1.0 2.0) 2.0)))
  (* (- (+ (/ 1.0 2.0) 2.0)) (/ (cbrt (sqrt 3.0)) 2.0))
  (/ (* (- (sqrt (cbrt 3.0))) (+ (/ 1.0 2.0) 2.0)) (cbrt 2.0))
  (* (- (+ (/ 1.0 2.0) 2.0)) (/ (sqrt (cbrt 3.0)) (sqrt 2.0)))
  (* (/ (sqrt (cbrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0)))
  (* (/ (- (sqrt (sqrt 3.0))) (cbrt 2.0)) (+ (/ 1.0 2.0) 2.0))
  (- (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0)))
  (/ (* (- (sqrt 3.0)) (+ (/ 1.0 2.0) 2.0)) (cbrt 2.0))
  (/ (* (- (sqrt 3.0)) (+ (/ 1.0 2.0) 2.0)) (sqrt 2.0))
  (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0))
  (* (/ (- (sqrt (sqrt 3.0))) (cbrt 2.0)) (+ (/ 1.0 2.0) 2.0))
  (- (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ 1.0 2.0) 2.0)))
  (* (/ (sqrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0)))
  (/ (* (- (sqrt 3.0)) (+ (/ 1.0 2.0) 2.0)) (cbrt 2.0))
  (/ (* (- (sqrt 3.0)) (+ (/ 1.0 2.0) 2.0)) (sqrt 2.0))
  (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0))
  (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0))
  (/ (- (+ (/ 1.0 2.0) 2.0)) 2.0)
  (- (/ (+ (* 2.0 (* 2.0 2.0)) (* (/ 1.0 2.0) (* (/ 1.0 2.0) (/ 1.0 2.0)))) (/ 2.0 (sqrt 3.0))))
  (/ (- (* (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (* 2.0 2.0)) (sqrt 3.0))) 2.0)
  (* (- (sqrt 3.0)) (+ (/ 1.0 2.0) 2.0))
  (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0))
  (log (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)))
  (log (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)))
  (log (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)))
  (exp (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)))
  (* (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)) (* (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)) (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0))))
  (* (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)) (* (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)) (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0))))
  (* (cbrt (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0))) (cbrt (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0))))
  (cbrt (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)))
  (* (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)) (* (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)) (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0))))
  (sqrt (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)))
  (sqrt (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)))
  (* (sqrt 3.0) (+ (* (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* 0.0 (* 0.0 0.0))))
  (* 2.0 (+ (* (- 0.0 (/ (sqrt 3.0) 2.0)) 0.0) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0))))
  (* (sqrt 3.0) (- (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 0.0)))
  (* (- (/ (sqrt 3.0) 2.0) 0.0) 2.0)
  (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (* (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)) (/ (sqrt (sqrt 3.0)) (sqrt 2.0)))
  (* (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)) (/ (sqrt (sqrt 3.0)) (sqrt 2.0)))
  (* (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)) (/ (sqrt (sqrt 3.0)) (sqrt 2.0)))
  (* (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)) (/ (sqrt (sqrt 3.0)) (sqrt 2.0)))
  (/ (/ 3.0 2.0) 2.0)
  (/ (* 0.0 (sqrt 3.0)) 2.0)
  (/ (/ 3.0 2.0) 2.0)
  (/ (* 0.0 (sqrt 3.0)) 2.0)
  (* (* (cbrt (+ (/ (sqrt 3.0) 2.0) 0.0)) (cbrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (/ (sqrt 3.0) 2.0))
  (* (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0)) (/ (sqrt 3.0) 2.0))
  (/ (sqrt 3.0) 2.0)
  (/ (sqrt 3.0) 2.0)
  (* (+ (/ (sqrt 3.0) 2.0) 0.0) (cbrt (/ (sqrt 3.0) 2.0)))
  (* (sqrt (/ (sqrt 3.0) 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (cbrt (sqrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (/ (cbrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (cbrt (sqrt 3.0)) 2.0))
  (* (/ (sqrt (cbrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (/ (sqrt (cbrt 3.0)) (/ (sqrt 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (/ (sqrt (cbrt 3.0)) (/ 2.0 (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (/ (* (+ (/ (sqrt 3.0) 2.0) 0.0) (sqrt (sqrt 3.0))) (cbrt 2.0))
  (/ (* (+ (/ (sqrt 3.0) 2.0) 0.0) (sqrt (sqrt 3.0))) (sqrt 2.0))
  (/ (* (+ (/ (sqrt 3.0) 2.0) 0.0) (sqrt (sqrt 3.0))) 2.0)
  (/ (+ (/ 3.0 2.0) (* 0.0 (sqrt 3.0))) (cbrt 2.0))
  (/ (+ (/ 3.0 2.0) (* 0.0 (sqrt 3.0))) (sqrt 2.0))
  (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0))
  (/ (* (+ (/ (sqrt 3.0) 2.0) 0.0) (sqrt (sqrt 3.0))) (cbrt 2.0))
  (/ (* (+ (/ (sqrt 3.0) 2.0) 0.0) (sqrt (sqrt 3.0))) (sqrt 2.0))
  (/ (* (+ (/ (sqrt 3.0) 2.0) 0.0) (sqrt (sqrt 3.0))) 2.0)
  (/ (+ (/ 3.0 2.0) (* 0.0 (sqrt 3.0))) (cbrt 2.0))
  (/ (+ (/ 3.0 2.0) (* 0.0 (sqrt 3.0))) (sqrt 2.0))
  (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0))
  (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0))
  (/ (+ (/ (sqrt 3.0) 2.0) 0.0) 2.0)
  (+ (* (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (* 0.0 (* 0.0 0.0))))
  (* (+ (/ (sqrt 3.0) 2.0) 0.0) (* (- (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)))
  (+ (/ 3.0 2.0) (* 0.0 (sqrt 3.0)))
  (re (+.c (complex 7.0 0.0) (*.c (complex (+ (- (* (- (/ 1.0 2.0)) (+ 5.0 (- (* (/ 1.0 2.0) (+ (/ 1.0 2.0) 2.0)) (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0))))) (* (/ (sqrt 3.0) 2.0) (+ (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0)) (+ (* (- (/ 1.0 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) 0.0)))) 4.0) (+ (+ (* (- (/ 1.0 2.0)) (+ (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0)) (+ (* (- (/ 1.0 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) 0.0))) (* (/ (sqrt 3.0) 2.0) (+ 5.0 (- (* (/ 1.0 2.0) (+ (/ 1.0 2.0) 2.0)) (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)))))) 0.0)) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)))))
  (re (+.c (complex 7.0 0.0) (*.c (complex (+ (- (* (- (/ 1.0 2.0)) (+ 5.0 (- (* (/ 1.0 2.0) (+ (/ 1.0 2.0) 2.0)) (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0))))) (* (/ (sqrt 3.0) 2.0) (+ (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0)) (+ (* (- (/ 1.0 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) 0.0)))) 4.0) (+ (+ (* (- (/ 1.0 2.0)) (+ (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0)) (+ (* (- (/ 1.0 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) 0.0))) (* (/ (sqrt 3.0) 2.0) (+ 5.0 (- (* (/ 1.0 2.0) (+ (/ 1.0 2.0) 2.0)) (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)))))) 0.0)) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)))))
28.106 * * * [progress]: adding candidates to table
30.685 * [progress]: [Phase 3 of 3] Extracting.
30.703 * [simplify]: Simplifying:
  (re (+.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)))
30.703 * * [simplify]: iteration 0: 31 enodes
30.710 * * [simplify]: iteration 1: 55 enodes
30.722 * * [simplify]: iteration 2: 78 enodes
30.735 * * [simplify]: iteration 3: 122 enodes
30.758 * * [simplify]: iteration 4: 153 enodes
30.780 * * [simplify]: iteration 5: 179 enodes
30.801 * * [simplify]: iteration 6: 186 enodes
30.942 * * [simplify]: iteration 7: 196 enodes
30.974 * * [simplify]: iteration 8: 199 enodes
30.993 * * [simplify]: iteration complete: 199 enodes
30.993 * * [simplify]: Extracting #0: cost 1 inf + 0
30.993 * * [simplify]: Extracting #1: cost 2 inf + 0
30.993 * * [simplify]: Extracting #2: cost 4 inf + 0
30.994 * * [simplify]: Extracting #3: cost 8 inf + 0
30.994 * * [simplify]: Extracting #4: cost 11 inf + 2
30.994 * * [simplify]: Extracting #5: cost 16 inf + 45
30.994 * * [simplify]: Extracting #6: cost 19 inf + 49
30.994 * * [simplify]: Extracting #7: cost 16 inf + 257
30.995 * * [simplify]: Extracting #8: cost 17 inf + 502
30.995 * * [simplify]: Extracting #9: cost 22 inf + 749
30.996 * * [simplify]: Extracting #10: cost 11 inf + 2742
30.999 * * [simplify]: Extracting #11: cost 6 inf + 4279
31.001 * * [simplify]: Extracting #12: cost 4 inf + 5769
31.011 * * [simplify]: Extracting #13: cost 2 inf + 8101
31.015 * * [simplify]: Extracting #14: cost 1 inf + 9508
31.022 * * [simplify]: Extracting #15: cost 0 inf + 10915
31.027 * [simplify]: Simplified to:
  (re (+.c (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (*.c (+.c (complex (- (* (/ 1.0 2.0) (+ 2.0 (/ 1.0 2.0))) (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.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))))) (complex 5.0 0.0)) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0))) (complex 4.0 0.0))) (complex 7.0 0.0)))
31.027 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
31.052 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
31.646 * * * * [points]: Setting MPFR precision to 832
31.702 * * * * [points]: Setting MPFR precision to 1088
31.707 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
32.614 * * * * [points]: Setting MPFR precision to 832
32.663 * * * * [points]: Setting MPFR precision to 1088
32.685 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
33.420 * * * * [points]: Setting MPFR precision to 832
33.496 * * * * [points]: Setting MPFR precision to 1088
33.519 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
34.848 * * * * [points]: Setting MPFR precision to 832
34.930 * * * * [points]: Setting MPFR precision to 1088
35.004 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
35.893 * * * * [points]: Setting MPFR precision to 832
36.027 * * * * [points]: Setting MPFR precision to 1088
36.653 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
36.995 * * * * [points]: Setting MPFR precision to 832
37.444 * * * * [points]: Setting MPFR precision to 1088
38.523 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
41.430 * * * * [points]: Setting MPFR precision to 832
43.412 * * * * [points]: Setting MPFR precision to 1088
44.274 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
44.908 * * * * [points]: Setting MPFR precision to 832
47.467 * * * * [points]: Setting MPFR precision to 1088
55.053 * * * * [points]: Computing exacts for 8000 points
55.879 * * * * [points]: Setting MPFR precision to 832
75.346 * * * * [points]: Setting MPFR precision to 1088
95.301 * * * * [points]: Filtering points with unrepresentable outputs
95.320 * * * * [points]: Sampled 8000 points with exact outputs
96.262 * [regime-testing]: Baseline error score: 0
96.279 * [regime-testing]: Oracle error score: 0
96.279 * [regime-testing]: End program error score: 0