34.065 * [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.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.027 * * * * [points]: Setting MPFR precision to 64
0.042 * * * * [points]: Setting MPFR precision to 320
0.046 * * * * [points]: Setting MPFR precision to 576
0.050 * * * * [points]: Setting MPFR precision to 832
0.055 * * * * [points]: Setting MPFR precision to 1088
0.062 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.177 * * * * [points]: Setting MPFR precision to 832
0.182 * * * * [points]: Setting MPFR precision to 1088
0.186 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.310 * * * * [points]: Setting MPFR precision to 832
0.318 * * * * [points]: Setting MPFR precision to 1088
0.325 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.438 * * * * [points]: Setting MPFR precision to 832
0.450 * * * * [points]: Setting MPFR precision to 1088
0.480 * * * * [points]: Computing exacts for 256 points
0.585 * * * * [points]: Setting MPFR precision to 832
0.623 * * * * [points]: Setting MPFR precision to 1088
0.725 * * * * [points]: Filtering points with unrepresentable outputs
0.726 * * * * [points]: Sampled 256 points with exact outputs
0.726 * * * [progress]: [2/2] Setting up program.
0.737 * [progress]: [Phase 2 of 3] Improving.
0.738 * [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)))
0.738 * * [simplify]: iteration 0: 31 enodes
0.748 * * [simplify]: iteration 1: 81 enodes
0.774 * * [simplify]: iteration 2: 295 enodes
0.919 * * [simplify]: iteration 3: 1221 enodes
1.381 * * [simplify]: iteration complete: 5000 enodes
1.381 * * [simplify]: Extracting #0: cost 1 inf + 0
1.381 * * [simplify]: Extracting #1: cost 2 inf + 0
1.381 * * [simplify]: Extracting #2: cost 75 inf + 0
1.383 * * [simplify]: Extracting #3: cost 959 inf + 0
1.387 * * [simplify]: Extracting #4: cost 1492 inf + 2
1.393 * * [simplify]: Extracting #5: cost 1939 inf + 91
1.401 * * [simplify]: Extracting #6: cost 2249 inf + 2969
1.419 * * [simplify]: Extracting #7: cost 2229 inf + 36164
1.487 * * [simplify]: Extracting #8: cost 1437 inf + 340682
1.773 * * [simplify]: Extracting #9: cost 611 inf + 1021237
2.309 * * [simplify]: Extracting #10: cost 123 inf + 1642321
2.898 * * [simplify]: Extracting #11: cost 1 inf + 1804885
3.454 * * [simplify]: Extracting #12: cost 0 inf + 1799930
4.034 * * [simplify]: Extracting #13: cost 0 inf + 1799690
4.609 * [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)))
4.616 * * [progress]: iteration 1 / 4
4.616 * * * [progress]: picking best candidate
4.622 * * * * [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))))>
4.622 * * * [progress]: localizing error
4.700 * * * [progress]: generating rewritten candidates
4.700 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2 2 2 1 1 2)
4.797 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 2 2 2 1 2 2)
4.913 * * * [progress]: generating series expansions
4.913 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2 2 2 1 1 2)
4.913 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 2 2 2 1 2 2)
4.913 * * * [progress]: simplifying candidates
4.916 * [simplify]: Simplifying:
  (* (/ (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))
  (* (/ (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)))
  (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)))
4.920 * * [simplify]: iteration 0: 191 enodes
5.017 * * [simplify]: iteration 1: 710 enodes
5.329 * * [simplify]: iteration 2: 2671 enodes
6.395 * * [simplify]: iteration complete: 5004 enodes
6.395 * * [simplify]: Extracting #0: cost 76 inf + 0
6.397 * * [simplify]: Extracting #1: cost 723 inf + 0
6.401 * * [simplify]: Extracting #2: cost 1328 inf + 1833
6.433 * * [simplify]: Extracting #3: cost 1228 inf + 66975
6.476 * * [simplify]: Extracting #4: cost 616 inf + 258840
6.561 * * [simplify]: Extracting #5: cost 287 inf + 375708
6.650 * * [simplify]: Extracting #6: cost 245 inf + 399000
6.768 * * [simplify]: Extracting #7: cost 152 inf + 451462
6.872 * * [simplify]: Extracting #8: cost 54 inf + 509422
7.012 * * [simplify]: Extracting #9: cost 1 inf + 541268
7.165 * * [simplify]: Extracting #10: cost 0 inf + 539912
7.318 * * [simplify]: Extracting #11: cost 0 inf + 539752
7.473 * [simplify]: Simplified to:
  (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (log (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))
  (log (* (/ (sqrt 3.0) 2.0) (+ (/ (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) 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))))
  (* (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)))
  (+ (* (* 0.0 (* 0.0 0.0)) (sqrt 3.0)) (* (/ 3.0 2.0) (/ (/ 3.0 2.0) 2.0)))
  (* 2.0 (+ (/ (/ 3.0 2.0) 2.0) (* 0.0 (- 0.0 (/ (sqrt 3.0) 2.0)))))
  (* (* (sqrt 3.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (- (/ (sqrt 3.0) 2.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) 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 (/ 2.0 (sqrt 3.0)))
  (/ (/ 3.0 2.0) 2.0)
  (/ 0.0 (/ 2.0 (sqrt 3.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)
  (* (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 3.0) 2.0) 0.0) (/ (sqrt (sqrt 3.0)) (cbrt 2.0)))
  (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (/ (* (+ (/ (sqrt 3.0) 2.0) 0.0) (sqrt (sqrt 3.0))) 2.0)
  (/ (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (cbrt 2.0) (sqrt 3.0)))
  (/ (* (sqrt 3.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (sqrt 2.0))
  (* (/ (sqrt 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 (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (/ (* (+ (/ (sqrt 3.0) 2.0) 0.0) (sqrt (sqrt 3.0))) 2.0)
  (/ (+ (/ (sqrt 3.0) 2.0) 0.0) (/ (cbrt 2.0) (sqrt 3.0)))
  (/ (* (sqrt 3.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (sqrt 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) 0.0) 2.0)
  (+ (/ (* (* 0.0 (* 0.0 0.0)) (sqrt 3.0)) 2.0) (* (/ (/ 3.0 2.0) 2.0) (/ (/ 3.0 2.0) 2.0)))
  (* (+ (/ (sqrt 3.0) 2.0) 0.0) (* (- (/ (sqrt 3.0) 2.0) 0.0) (/ (sqrt 3.0) 2.0)))
  (* (sqrt 3.0) (+ (/ (sqrt 3.0) 2.0) 0.0))
  (- (* (/ (sqrt 3.0) 2.0) (+ 2.0 (/ 1.0 2.0))))
  (log (- (* (/ (sqrt 3.0) 2.0) (+ 2.0 (/ 1.0 2.0)))))
  (log (- (* (/ (sqrt 3.0) 2.0) (+ 2.0 (/ 1.0 2.0)))))
  (log (- (* (/ (sqrt 3.0) 2.0) (+ 2.0 (/ 1.0 2.0)))))
  (exp (- (* (/ (sqrt 3.0) 2.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 (/ (sqrt 3.0) 2.0)) (* (/ 1.0 2.0) (/ (sqrt 3.0) 2.0))) (+ (* 2.0 (/ (sqrt 3.0) 2.0)) (* (/ 1.0 2.0) (/ (sqrt 3.0) 2.0)))))
  (* (- (+ (* 2.0 (/ (sqrt 3.0) 2.0)) (* (/ 1.0 2.0) (/ (sqrt 3.0) 2.0)))) (* (+ (* 2.0 (/ (sqrt 3.0) 2.0)) (* (/ 1.0 2.0) (/ (sqrt 3.0) 2.0))) (+ (* 2.0 (/ (sqrt 3.0) 2.0)) (* (/ 1.0 2.0) (/ (sqrt 3.0) 2.0)))))
  (* (cbrt (- (* (/ (sqrt 3.0) 2.0) (+ 2.0 (/ 1.0 2.0))))) (cbrt (- (* (/ (sqrt 3.0) 2.0) (+ 2.0 (/ 1.0 2.0))))))
  (cbrt (- (* (/ (sqrt 3.0) 2.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 (/ (sqrt 3.0) 2.0)) (* (/ 1.0 2.0) (/ (sqrt 3.0) 2.0))) (+ (* 2.0 (/ (sqrt 3.0) 2.0)) (* (/ 1.0 2.0) (/ (sqrt 3.0) 2.0)))))
  (sqrt (- (* (/ (sqrt 3.0) 2.0) (+ 2.0 (/ 1.0 2.0)))))
  (sqrt (- (* (/ (sqrt 3.0) 2.0) (+ 2.0 (/ 1.0 2.0)))))
  (* (sqrt 3.0) (- (- (* (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 1.0 2.0))) (* 2.0 (* 2.0 2.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 (/ (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 (- (+ (/ 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 3.0) 2.0) (+ 2.0 (/ 1.0 2.0)))
  (* (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0))
  (* (- 2.0) (/ (sqrt 3.0) 2.0))
  (* (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.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))
  (- (* (cbrt (+ 2.0 (/ 1.0 2.0))) (* (cbrt (+ 2.0 (/ 1.0 2.0))) (/ (sqrt 3.0) 2.0))))
  (* (- (/ (sqrt 3.0) 2.0)) (sqrt (+ 2.0 (/ 1.0 2.0))))
  (- (/ (sqrt 3.0) 2.0))
  (- (/ (sqrt 3.0) 2.0))
  (* (cbrt (+ 2.0 (/ 1.0 2.0))) (* (cbrt (+ 2.0 (/ 1.0 2.0))) (/ (sqrt 3.0) 2.0)))
  (* (/ (sqrt 3.0) 2.0) (sqrt (+ 2.0 (/ 1.0 2.0))))
  (/ (sqrt 3.0) 2.0)
  (/ (sqrt 3.0) 2.0)
  (* (- (cbrt (/ (sqrt 3.0) 2.0))) (+ 2.0 (/ 1.0 2.0)))
  (* (- (sqrt (/ (sqrt 3.0) 2.0))) (+ 2.0 (/ 1.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))
  (* (- (+ (/ 1.0 2.0) 2.0)) (/ (sqrt (cbrt 3.0)) (cbrt 2.0)))
  (* (+ 2.0 (/ 1.0 2.0)) (- (/ (sqrt (cbrt 3.0)) (sqrt 2.0))))
  (* (- (/ (sqrt (cbrt 3.0)) 2.0)) (+ 2.0 (/ 1.0 2.0)))
  (* (- (+ (/ 1.0 2.0) 2.0)) (/ (sqrt (sqrt 3.0)) (cbrt 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))) (+ 2.0 (/ 1.0 2.0)))
  (* (- (/ (sqrt 3.0) (sqrt 2.0))) (+ 2.0 (/ 1.0 2.0)))
  (- (* (/ (sqrt 3.0) 2.0) (+ 2.0 (/ 1.0 2.0))))
  (* (- (+ (/ 1.0 2.0) 2.0)) (/ (sqrt (sqrt 3.0)) (cbrt 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))) (+ 2.0 (/ 1.0 2.0)))
  (* (- (/ (sqrt 3.0) (sqrt 2.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 (/ 1.0 2.0))))
  (/ (- (+ (/ 1.0 2.0) 2.0)) 2.0)
  (* (- (/ (sqrt 3.0) 2.0)) (+ (* (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 1.0 2.0)) (* 2.0 (* 2.0 2.0))))
  (- (* (/ (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)))
  (re (+.c (*.c (+.c (complex 4.0 0.0) (complex (- (* (+ 5.0 (- (* (+ 2.0 (/ 1.0 2.0)) (/ 1.0 2.0)) (* (/ (sqrt 3.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))) (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ 1.0 2.0)))) 0.0) (/ (sqrt 3.0) 2.0))) (+ (* (+ 5.0 (- (* (+ 2.0 (/ 1.0 2.0)) (/ 1.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) (+ 2.0 (/ 1.0 2.0))) (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ 1.0 2.0)))) 0.0) (- (/ 1.0 2.0)))))) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0))) (complex 7.0 0.0)))
  (re (+.c (*.c (+.c (complex 4.0 0.0) (complex (- (* (+ 5.0 (- (* (+ 2.0 (/ 1.0 2.0)) (/ 1.0 2.0)) (* (/ (sqrt 3.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))) (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ 1.0 2.0)))) 0.0) (/ (sqrt 3.0) 2.0))) (+ (* (+ 5.0 (- (* (+ 2.0 (/ 1.0 2.0)) (/ 1.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) (+ 2.0 (/ 1.0 2.0))) (* (+ (/ (sqrt 3.0) 2.0) 0.0) (/ 1.0 2.0)))) 0.0) (- (/ 1.0 2.0)))))) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0))) (complex 7.0 0.0)))
7.511 * * * [progress]: adding candidates to table
8.434 * [progress]: [Phase 3 of 3] Extracting.
8.440 * [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)))
8.441 * * [simplify]: iteration 0: 32 enodes
8.445 * * [simplify]: iteration 1: 51 enodes
8.448 * * [simplify]: iteration 2: 69 enodes
8.453 * * [simplify]: iteration 3: 114 enodes
8.462 * * [simplify]: iteration 4: 143 enodes
8.474 * * [simplify]: iteration 5: 158 enodes
8.484 * * [simplify]: iteration 6: 167 enodes
8.493 * * [simplify]: iteration 7: 180 enodes
8.503 * * [simplify]: iteration 8: 194 enodes
8.514 * * [simplify]: iteration 9: 195 enodes
8.522 * * [simplify]: iteration complete: 195 enodes
8.522 * * [simplify]: Extracting #0: cost 1 inf + 0
8.522 * * [simplify]: Extracting #1: cost 2 inf + 0
8.522 * * [simplify]: Extracting #2: cost 4 inf + 0
8.522 * * [simplify]: Extracting #3: cost 8 inf + 0
8.522 * * [simplify]: Extracting #4: cost 10 inf + 4
8.522 * * [simplify]: Extracting #5: cost 16 inf + 45
8.523 * * [simplify]: Extracting #6: cost 19 inf + 49
8.523 * * [simplify]: Extracting #7: cost 16 inf + 255
8.523 * * [simplify]: Extracting #8: cost 15 inf + 747
8.524 * * [simplify]: Extracting #9: cost 22 inf + 749
8.524 * * [simplify]: Extracting #10: cost 15 inf + 1849
8.526 * * [simplify]: Extracting #11: cost 7 inf + 3835
8.529 * * [simplify]: Extracting #12: cost 5 inf + 4924
8.531 * * [simplify]: Extracting #13: cost 4 inf + 5769
8.534 * * [simplify]: Extracting #14: cost 3 inf + 6775
8.538 * * [simplify]: Extracting #15: cost 1 inf + 9508
8.542 * * [simplify]: Extracting #16: cost 0 inf + 10915
8.546 * [simplify]: Simplified to:
  (re (+.c (complex 7.0 0.0) (*.c (+.c (complex 4.0 0.0) (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex 5.0 0.0) (complex (- (* (+ (/ 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)) (+ (/ 1.0 2.0) 2.0)) (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (- (/ 1.0 2.0)))))))) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)))))
8.546 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
8.556 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
8.637 * * * * [points]: Setting MPFR precision to 832
8.641 * * * * [points]: Setting MPFR precision to 1088
8.646 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
8.781 * * * * [points]: Setting MPFR precision to 832
8.787 * * * * [points]: Setting MPFR precision to 1088
8.791 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
8.923 * * * * [points]: Setting MPFR precision to 832
8.938 * * * * [points]: Setting MPFR precision to 1088
8.957 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
9.099 * * * * [points]: Setting MPFR precision to 832
9.131 * * * * [points]: Setting MPFR precision to 1088
9.155 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
9.302 * * * * [points]: Setting MPFR precision to 832
9.339 * * * * [points]: Setting MPFR precision to 1088
9.404 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
9.840 * * * * [points]: Setting MPFR precision to 832
9.994 * * * * [points]: Setting MPFR precision to 1088
10.132 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
10.286 * * * * [points]: Setting MPFR precision to 832
10.579 * * * * [points]: Setting MPFR precision to 1088
10.995 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
11.132 * * * * [points]: Setting MPFR precision to 832
12.182 * * * * [points]: Setting MPFR precision to 1088
12.943 * * * * [points]: Computing exacts for 8000 points
13.592 * * * * [points]: Setting MPFR precision to 832
16.653 * * * * [points]: Setting MPFR precision to 1088
20.498 * * * * [points]: Filtering points with unrepresentable outputs
20.508 * * * * [points]: Sampled 8000 points with exact outputs
20.767 * [regime-testing]: Baseline error score: 0
20.777 * [regime-testing]: Oracle error score: 0
20.777 * [regime-testing]: End program error score: 0