0.003 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.028 * * * * [points]: Setting MPFR precision to 64
0.034 * * * * [points]: Setting MPFR precision to 320
0.038 * * * * [points]: Setting MPFR precision to 576
0.043 * * * * [points]: Setting MPFR precision to 832
0.047 * * * * [points]: Setting MPFR precision to 1088
0.052 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.192 * * * * [points]: Setting MPFR precision to 832
0.200 * * * * [points]: Setting MPFR precision to 1088
0.210 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.299 * * * * [points]: Setting MPFR precision to 832
0.311 * * * * [points]: Setting MPFR precision to 1088
0.327 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.802 * * * * [points]: Setting MPFR precision to 832
0.819 * * * * [points]: Setting MPFR precision to 1088
0.842 * * * * [points]: Computing exacts for 256 points
0.996 * * * * [points]: Setting MPFR precision to 832
1.055 * * * * [points]: Setting MPFR precision to 1088
1.105 * * * * [points]: Filtering points with unrepresentable outputs
1.105 * * * * [points]: Sampled 256 points with exact outputs
1.106 * * * [progress]: [2/2] Setting up program.
1.111 * [progress]: [Phase 2 of 3] Improving.
1.111 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ () (re (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))))>
1.112 * [simplify]: Simplifying:
  (re (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))
1.112 * * [simplify]: iteration 1: (31 enodes)
1.124 * * [simplify]: iteration 2: (113 enodes)
1.201 * * [simplify]: iteration 3: (355 enodes)
1.425 * * [simplify]: iteration 4: (1370 enodes)
4.614 * * [simplify]: Extracting #0: cost 1 inf + 0
4.614 * * [simplify]: Extracting #1: cost 3 inf + 0
4.614 * * [simplify]: Extracting #2: cost 58 inf + 0
4.616 * * [simplify]: Extracting #3: cost 748 inf + 0
4.621 * * [simplify]: Extracting #4: cost 1221 inf + 223
4.630 * * [simplify]: Extracting #5: cost 1568 inf + 3209
4.653 * * [simplify]: Extracting #6: cost 1362 inf + 30475
4.727 * * [simplify]: Extracting #7: cost 482 inf + 202960
4.853 * * [simplify]: Extracting #8: cost 63 inf + 327279
5.002 * * [simplify]: Extracting #9: cost 0 inf + 348666
5.166 * [simplify]: Simplified to:
  (re (+.c (complex 9/2 (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2)))))
5.174 * * [progress]: iteration 1 / 4
5.174 * * * [progress]: picking best candidate
5.177 * * * * [pick]: Picked  #<alt (λ () (re (+.c (complex 9/2 (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.177 * * * [progress]: localizing error
5.226 * * * [progress]: generating rewritten candidates
5.226 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1 2)
5.255 * * * [progress]: generating series expansions
5.255 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1 2)
5.255 * * * [progress]: simplifying candidates
5.255 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (log1p (expm1 (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (expm1 (log1p (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma (* (cbrt (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3))))) (cbrt (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))))) (cbrt (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3))))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma (sqrt (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3))))) (sqrt (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3))))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma 1 (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma (* (cbrt (- (* -1/4 (sqrt 3)))) (cbrt (- (* -1/4 (sqrt 3))))) (+ (cbrt (- (* -1/4 (sqrt 3)))) (cbrt (- (* -1/4 (sqrt 3))))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma (sqrt (- (* -1/4 (sqrt 3)))) (+ (sqrt (- (* -1/4 (sqrt 3)))) (sqrt (- (* -1/4 (sqrt 3))))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma 1 (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma -1 (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma (- -1/4) (+ (sqrt 3) (sqrt 3)) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma -1/4 (+ (- (sqrt 3)) (- (sqrt 3))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma (cbrt (- (* -1/4 (sqrt 3)))) (+ (* (cbrt (- (* -1/4 (sqrt 3)))) (cbrt (- (* -1/4 (sqrt 3))))) (* (cbrt (- (* -1/4 (sqrt 3)))) (cbrt (- (* -1/4 (sqrt 3)))))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma (sqrt (- (* -1/4 (sqrt 3)))) (+ (sqrt (- (* -1/4 (sqrt 3)))) (sqrt (- (* -1/4 (sqrt 3))))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma (- (* -1/4 (sqrt 3))) (+ 1 1) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.256 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma (* -1/4 (sqrt 3)) (+ -1 -1) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma (sqrt 3) (+ (- -1/4) (- -1/4)) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma (- (sqrt 3)) (+ -1/4 -1/4) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma (+ 1 1) (- (* -1/4 (sqrt 3))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (fma (+ 1 1) (- (* -1/4 (sqrt 3))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 20 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (log (* (* (/ 1 (exp (* -1/4 (sqrt 3)))) (/ 1 (exp (* -1/4 (sqrt 3))))) (exp (/ (sqrt 3) 1/2))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (log (* (* (/ 1 (exp (* -1/4 (sqrt 3)))) (exp (- (* -1/4 (sqrt 3))))) (exp (/ (sqrt 3) 1/2))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (log (* (* (exp (- (* -1/4 (sqrt 3)))) (/ 1 (exp (* -1/4 (sqrt 3))))) (exp (/ (sqrt 3) 1/2))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (log (* (* (exp (- (* -1/4 (sqrt 3)))) (exp (- (* -1/4 (sqrt 3))))) (exp (/ (sqrt 3) 1/2))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (log (* (exp (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3))))) (exp (/ (sqrt 3) 1/2))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (pow (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)) 1)) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (exp (log (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (log (exp (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (* (* (cbrt (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))) (cbrt (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))) (cbrt (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (cbrt (* (* (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)) (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))) (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (* (sqrt (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))) (sqrt (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.257 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (/ (+ (* (+ (pow (- (* -1/4 (sqrt 3))) 3) (pow (- (* -1/4 (sqrt 3))) 3)) 1/2) (* (+ (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (- (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))))) (sqrt 3))) (* (+ (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (- (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))))) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (/ (+ (* (- (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3))))) 1/2) (* (- (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (sqrt 3))) (* (- (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (/ (+ (pow (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) 3) (pow (/ (sqrt 3) 1/2) 3)) (+ (* (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3))))) (- (* (/ (sqrt 3) 1/2) (/ (sqrt 3) 1/2)) (* (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (* 1 (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (/ (- (* (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3))))) (* (/ (sqrt 3) 1/2) (/ (sqrt 3) 1/2))) (- (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (* 1 (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (* 1 (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (* (sqrt 3) (+ (+ (- -1/4) (- -1/4)) (/ 1 1/2)))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (+ (- (* -1/4 (sqrt 3))) (+ (- (* -1/4 (sqrt 3))) (/ (sqrt 3) 1/2)))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (- (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)) (/ (sqrt 3) 1/2)))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (- (+ (- (* -1/4 (sqrt 3))) 0) (- (* -1/4 (sqrt 3)) (/ (sqrt 3) 1/2)))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (- 0 (- (- (* -1/4 (sqrt 3)) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (- (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)) (/ (sqrt 3) 1/2)))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (posit16->real (real->posit16 (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (+ (/ (sqrt 3) 1/2) (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.258 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ () (re (+.c (complex 9/2 (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2))))))>
5.259 * [simplify]: Simplifying:
  (expm1 (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))
  (log1p (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))
  (* (* (/ 1 (exp (* -1/4 (sqrt 3)))) (/ 1 (exp (* -1/4 (sqrt 3))))) (exp (/ (sqrt 3) 1/2)))
  (* (* (/ 1 (exp (* -1/4 (sqrt 3)))) (exp (- (* -1/4 (sqrt 3))))) (exp (/ (sqrt 3) 1/2)))
  (* (* (exp (- (* -1/4 (sqrt 3)))) (/ 1 (exp (* -1/4 (sqrt 3))))) (exp (/ (sqrt 3) 1/2)))
  (* (* (exp (- (* -1/4 (sqrt 3)))) (exp (- (* -1/4 (sqrt 3))))) (exp (/ (sqrt 3) 1/2)))
  (* (exp (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3))))) (exp (/ (sqrt 3) 1/2)))
  (log (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))
  (exp (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))
  (* (cbrt (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))) (cbrt (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))))
  (cbrt (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))
  (* (* (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)) (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))) (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))
  (sqrt (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))
  (sqrt (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))
  (+ (* (+ (pow (- (* -1/4 (sqrt 3))) 3) (pow (- (* -1/4 (sqrt 3))) 3)) 1/2) (* (+ (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (- (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))))) (sqrt 3)))
  (* (+ (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (- (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))))) 1/2)
  (+ (* (- (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (* (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3))))) 1/2) (* (- (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (sqrt 3)))
  (* (- (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) 1/2)
  (+ (pow (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) 3) (pow (/ (sqrt 3) 1/2) 3))
  (+ (* (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3))))) (- (* (/ (sqrt 3) 1/2) (/ (sqrt 3) 1/2)) (* (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))))
  (- (* (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3))))) (* (/ (sqrt 3) 1/2) (/ (sqrt 3) 1/2)))
  (- (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))
  (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))
  (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))
  (+ (+ (- -1/4) (- -1/4)) (/ 1 1/2))
  (+ (- (* -1/4 (sqrt 3))) (/ (sqrt 3) 1/2))
  (- (* -1/4 (sqrt 3)) (/ (sqrt 3) 1/2))
  (- (* -1/4 (sqrt 3)) (/ (sqrt 3) 1/2))
  (- (- (* -1/4 (sqrt 3)) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))
  (- (* -1/4 (sqrt 3)) (/ (sqrt 3) 1/2))
  (real->posit16 (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2)))
  (re (+.c (complex 9/2 (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2)))))
5.259 * * [simplify]: iteration 1: (80 enodes)
5.292 * * [simplify]: iteration 2: (335 enodes)
5.456 * * [simplify]: iteration 3: (865 enodes)
6.239 * * [simplify]: Extracting #0: cost 21 inf + 0
6.240 * * [simplify]: Extracting #1: cost 156 inf + 3
6.242 * * [simplify]: Extracting #2: cost 545 inf + 397
6.257 * * [simplify]: Extracting #3: cost 360 inf + 33595
6.296 * * [simplify]: Extracting #4: cost 49 inf + 89557
6.319 * * [simplify]: Extracting #5: cost 1 inf + 102265
6.345 * * [simplify]: Extracting #6: cost 0 inf + 102666
6.385 * [simplify]: Simplified to:
  (expm1 (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  (log1p (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  (exp (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  (exp (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  (exp (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  (exp (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  (exp (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  (log (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  (exp (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  (* (cbrt (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2))) (cbrt (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2))))
  (cbrt (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  (* (+ (+ (+ 12 3) 3) 3/4) (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  (sqrt (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  (sqrt (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  (fma 3/16 (sqrt 3) (+ (* 3/16 (* (sqrt 3) 1/8)) (* 3/16 (* (sqrt 3) 1/8))))
  (* -1/8 -3/4)
  0
  0
  (- (/ (* 3 (sqrt 3)) 1/8) (* (sqrt 3) -3/8))
  (- 12 9/4)
  -45/4
  (- (* (sqrt 3) 1/2) (/ (sqrt 3) 1/2))
  (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2))
  (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2))
  5/2
  (fma (sqrt 3) 1/4 (/ (sqrt 3) 1/2))
  (- (* -1/4 (sqrt 3)) (/ (sqrt 3) 1/2))
  (- (* -1/4 (sqrt 3)) (/ (sqrt 3) 1/2))
  (- (* (sqrt 3) -1/2) (/ (sqrt 3) 1/2))
  (- (* -1/4 (sqrt 3)) (/ (sqrt 3) 1/2))
  (real->posit16 (fma (sqrt 3) 1/2 (/ (sqrt 3) 1/2)))
  0
6.391 * * * [progress]: adding candidates to table
6.946 * [progress]: [Phase 3 of 3] Extracting.
6.950 * [simplify]: Simplifying:
  (re (+.c (complex 9/2 (+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))) (complex (- -3 3/2) (+ (* 6 (- (/ (sqrt 3) 2))) (/ (sqrt 3) 2)))))
6.950 * * [simplify]: iteration 1: (23 enodes)
6.952 * * [simplify]: iteration 2: (39 enodes)
6.954 * * [simplify]: iteration 3: (46 enodes)
6.957 * * [simplify]: iteration 4: (47 enodes)
6.960 * * [simplify]: Extracting #0: cost 1 inf + 0
6.960 * * [simplify]: Extracting #1: cost 2 inf + 0
6.960 * * [simplify]: Extracting #2: cost 4 inf + 0
6.960 * * [simplify]: Extracting #3: cost 8 inf + 0
6.960 * * [simplify]: Extracting #4: cost 12 inf + 2
6.960 * * [simplify]: Extracting #5: cost 19 inf + 4
6.960 * * [simplify]: Extracting #6: cost 20 inf + 8
6.960 * * [simplify]: Extracting #7: cost 12 inf + 379
6.960 * * [simplify]: Extracting #8: cost 5 inf + 1276
6.961 * * [simplify]: Extracting #9: cost 2 inf + 1807
6.961 * * [simplify]: Extracting #10: cost 1 inf + 2214
6.961 * * [simplify]: Extracting #11: cost 0 inf + 2621
6.962 * [simplify]: Simplified to:
  (re (+.c (complex 9/2 (+ (/ (sqrt 3) 1/2) (+ (* (sqrt 3) 1/4) (* (sqrt 3) 1/4)))) (complex -9/2 (+ (* -6 (/ (sqrt 3) 2)) (/ (sqrt 3) 2)))))
6.962 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
6.966 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
7.053 * * * * [points]: Setting MPFR precision to 832
7.055 * * * * [points]: Setting MPFR precision to 1088
7.057 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
7.188 * * * * [points]: Setting MPFR precision to 832
7.196 * * * * [points]: Setting MPFR precision to 1088
7.201 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
7.284 * * * * [points]: Setting MPFR precision to 832
7.294 * * * * [points]: Setting MPFR precision to 1088
7.310 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
7.426 * * * * [points]: Setting MPFR precision to 832
7.478 * * * * [points]: Setting MPFR precision to 1088
7.497 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
7.607 * * * * [points]: Setting MPFR precision to 832
7.656 * * * * [points]: Setting MPFR precision to 1088
7.735 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
7.849 * * * * [points]: Setting MPFR precision to 832
7.995 * * * * [points]: Setting MPFR precision to 1088
8.190 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
8.745 * * * * [points]: Setting MPFR precision to 832
9.073 * * * * [points]: Setting MPFR precision to 1088
9.452 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
9.599 * * * * [points]: Setting MPFR precision to 832
10.363 * * * * [points]: Setting MPFR precision to 1088
11.558 * * * * [points]: Computing exacts for 8000 points
11.701 * * * * [points]: Setting MPFR precision to 832
14.981 * * * * [points]: Setting MPFR precision to 1088
18.976 * * * * [points]: Filtering points with unrepresentable outputs
18.978 * * * * [points]: Sampled 8000 points with exact outputs
19.192 * [regime-testing]: Baseline error score: 0
19.197 * [regime-testing]: Oracle error score: 0
19.197 * [regime-testing]: End program error score: 0