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.031 * * * * [points]: Setting MPFR precision to 64
0.037 * * * * [points]: Setting MPFR precision to 320
0.041 * * * * [points]: Setting MPFR precision to 576
0.046 * * * * [points]: Setting MPFR precision to 832
0.050 * * * * [points]: Setting MPFR precision to 1088
0.056 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.196 * * * * [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.364 * * * * [points]: Setting MPFR precision to 832
0.385 * * * * [points]: Setting MPFR precision to 1088
0.395 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.500 * * * * [points]: Setting MPFR precision to 832
0.534 * * * * [points]: Setting MPFR precision to 1088
0.557 * * * * [points]: Computing exacts for 256 points
0.666 * * * * [points]: Setting MPFR precision to 832
0.707 * * * * [points]: Setting MPFR precision to 1088
0.758 * * * * [points]: Filtering points with unrepresentable outputs
0.758 * * * * [points]: Sampled 256 points with exact outputs
0.758 * * * [progress]: [2/2] Setting up program.
0.797 * [progress]: [Phase 2 of 3] Improving.
0.797 * * * * [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))))>
0.798 * [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)))
0.798 * * [simplify]: iteration 1: (31 enodes)
0.817 * * [simplify]: iteration 2: (113 enodes)
0.862 * * [simplify]: iteration 3: (355 enodes)
1.070 * * [simplify]: iteration 4: (1370 enodes)
4.062 * * [simplify]: Extracting #0: cost 1 inf + 0
4.062 * * [simplify]: Extracting #1: cost 3 inf + 0
4.062 * * [simplify]: Extracting #2: cost 58 inf + 0
4.066 * * [simplify]: Extracting #3: cost 748 inf + 0
4.075 * * [simplify]: Extracting #4: cost 1221 inf + 223
4.091 * * [simplify]: Extracting #5: cost 1568 inf + 3209
4.105 * * [simplify]: Extracting #6: cost 1362 inf + 30475
4.179 * * [simplify]: Extracting #7: cost 482 inf + 202960
4.318 * * [simplify]: Extracting #8: cost 63 inf + 327279
4.494 * * [simplify]: Extracting #9: cost 0 inf + 348666
4.691 * [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)))))
4.704 * * [progress]: iteration 1 / 4
4.705 * * * [progress]: picking best candidate
4.711 * * * * [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))))))>
4.712 * * * [progress]: localizing error
4.764 * * * [progress]: generating rewritten candidates
4.764 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1 2)
4.820 * * * [progress]: generating series expansions
4.820 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1 2)
4.820 * * * [progress]: simplifying candidates
4.820 * * * * [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))))))>
4.820 * * * * [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))))))>
4.820 * * * * [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))))))>
4.820 * * * * [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))))))>
4.820 * * * * [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))))))>
4.820 * * * * [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))))))>
4.821 * * * * [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))))))>
4.821 * * * * [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))))))>
4.821 * * * * [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))))))>
4.821 * * * * [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))))))>
4.821 * * * * [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))))))>
4.821 * * * * [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))))))>
4.821 * * * * [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))))))>
4.821 * * * * [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))))))>
4.821 * * * * [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))))))>
4.821 * * * * [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))))))>
4.821 * * * * [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))))))>
4.821 * * * * [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))))))>
4.821 * * * * [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))))))>
4.822 * * * * [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))))))>
4.822 * * * * [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))))))>
4.822 * * * * [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))))))>
4.822 * * * * [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))))))>
4.822 * * * * [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))))))>
4.822 * * * * [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))))))>
4.822 * * * * [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))))))>
4.822 * * * * [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))))))>
4.822 * * * * [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))))))>
4.822 * * * * [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))))))>
4.822 * * * * [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))))))>
4.822 * * * * [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))))))>
4.823 * * * * [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))))))>
4.823 * * * * [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))))))>
4.823 * * * * [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))))))>
4.823 * * * * [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))))))>
4.823 * * * * [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))))))>
4.823 * * * * [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))))))>
4.823 * * * * [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))))))>
4.823 * * * * [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))))))>
4.823 * * * * [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))))))>
4.823 * * * * [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))))))>
4.823 * * * * [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))))))>
4.823 * * * * [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))))))>
4.823 * * * * [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))))))>
4.824 * * * * [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))))))>
4.824 * * * * [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))))))>
4.824 * [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)))))
4.826 * * [simplify]: iteration 1: (80 enodes)
4.886 * * [simplify]: iteration 2: (335 enodes)
5.040 * * [simplify]: iteration 3: (865 enodes)
5.766 * * [simplify]: Extracting #0: cost 21 inf + 0
5.767 * * [simplify]: Extracting #1: cost 156 inf + 3
5.776 * * [simplify]: Extracting #2: cost 545 inf + 397
5.792 * * [simplify]: Extracting #3: cost 360 inf + 33595
5.820 * * [simplify]: Extracting #4: cost 49 inf + 89557
5.844 * * [simplify]: Extracting #5: cost 1 inf + 102265
5.870 * * [simplify]: Extracting #6: cost 0 inf + 102666
5.894 * [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
5.900 * * * [progress]: adding candidates to table
6.384 * [progress]: [Phase 3 of 3] Extracting.
6.387 * [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.387 * * [simplify]: iteration 1: (23 enodes)
6.390 * * [simplify]: iteration 2: (39 enodes)
6.392 * * [simplify]: iteration 3: (46 enodes)
6.395 * * [simplify]: iteration 4: (47 enodes)
6.397 * * [simplify]: Extracting #0: cost 1 inf + 0
6.397 * * [simplify]: Extracting #1: cost 2 inf + 0
6.397 * * [simplify]: Extracting #2: cost 4 inf + 0
6.397 * * [simplify]: Extracting #3: cost 8 inf + 0
6.397 * * [simplify]: Extracting #4: cost 12 inf + 2
6.397 * * [simplify]: Extracting #5: cost 19 inf + 4
6.397 * * [simplify]: Extracting #6: cost 20 inf + 8
6.397 * * [simplify]: Extracting #7: cost 12 inf + 379
6.398 * * [simplify]: Extracting #8: cost 5 inf + 1276
6.398 * * [simplify]: Extracting #9: cost 2 inf + 1807
6.398 * * [simplify]: Extracting #10: cost 1 inf + 2214
6.399 * * [simplify]: Extracting #11: cost 0 inf + 2621
6.399 * [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.399 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
6.403 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
6.522 * * * * [points]: Setting MPFR precision to 832
6.527 * * * * [points]: Setting MPFR precision to 1088
6.532 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
6.639 * * * * [points]: Setting MPFR precision to 832
6.648 * * * * [points]: Setting MPFR precision to 1088
6.657 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
6.757 * * * * [points]: Setting MPFR precision to 832
6.772 * * * * [points]: Setting MPFR precision to 1088
6.783 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
6.879 * * * * [points]: Setting MPFR precision to 832
6.904 * * * * [points]: Setting MPFR precision to 1088
6.937 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
7.076 * * * * [points]: Setting MPFR precision to 832
7.140 * * * * [points]: Setting MPFR precision to 1088
7.246 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
7.744 * * * * [points]: Setting MPFR precision to 832
7.913 * * * * [points]: Setting MPFR precision to 1088
8.127 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
8.262 * * * * [points]: Setting MPFR precision to 832
8.526 * * * * [points]: Setting MPFR precision to 1088
8.924 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
9.027 * * * * [points]: Setting MPFR precision to 832
10.056 * * * * [points]: Setting MPFR precision to 1088
10.821 * * * * [points]: Computing exacts for 8000 points
11.029 * * * * [points]: Setting MPFR precision to 832
14.720 * * * * [points]: Setting MPFR precision to 1088
18.696 * * * * [points]: Filtering points with unrepresentable outputs
18.701 * * * * [points]: Sampled 8000 points with exact outputs
18.818 * [regime-testing]: Baseline error score: 0
18.820 * [regime-testing]: Oracle error score: 0
18.820 * [regime-testing]: End program error score: 0