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.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.045 * * * * [points]: Setting MPFR precision to 64
0.050 * * * * [points]: Setting MPFR precision to 320
0.054 * * * * [points]: Setting MPFR precision to 576
0.059 * * * * [points]: Setting MPFR precision to 832
0.064 * * * * [points]: Setting MPFR precision to 1088
0.068 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.197 * * * * [points]: Setting MPFR precision to 832
0.201 * * * * [points]: Setting MPFR precision to 1088
0.205 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.387 * * * * [points]: Setting MPFR precision to 832
0.401 * * * * [points]: Setting MPFR precision to 1088
0.415 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.578 * * * * [points]: Setting MPFR precision to 832
0.604 * * * * [points]: Setting MPFR precision to 1088
0.631 * * * * [points]: Computing exacts for 256 points
0.756 * * * * [points]: Setting MPFR precision to 832
0.812 * * * * [points]: Setting MPFR precision to 1088
0.875 * * * * [points]: Filtering points with unrepresentable outputs
0.876 * * * * [points]: Sampled 256 points with exact outputs
0.876 * * * [progress]: [2/2] Setting up program.
0.884 * [progress]: [Phase 2 of 3] Improving.
0.884 * * * * [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.884 * [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.884 * * [simplify]: iteration 1: (31 enodes)
0.906 * * [simplify]: iteration 2: (113 enodes)
1.018 * * [simplify]: iteration 3: (355 enodes)
1.627 * * [simplify]: iteration 4: (1370 enodes)
4.998 * * [simplify]: Extracting #0: cost 1 inf + 0
4.998 * * [simplify]: Extracting #1: cost 3 inf + 0
4.998 * * [simplify]: Extracting #2: cost 58 inf + 0
5.002 * * [simplify]: Extracting #3: cost 748 inf + 0
5.022 * * [simplify]: Extracting #4: cost 1221 inf + 223
5.039 * * [simplify]: Extracting #5: cost 1568 inf + 3209
5.064 * * [simplify]: Extracting #6: cost 1362 inf + 30475
5.121 * * [simplify]: Extracting #7: cost 482 inf + 202960
5.307 * * [simplify]: Extracting #8: cost 63 inf + 327279
5.471 * * [simplify]: Extracting #9: cost 0 inf + 348666
5.615 * [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.626 * * [progress]: iteration 1 / 4
5.626 * * * [progress]: picking best candidate
5.629 * * * * [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.629 * * * [progress]: localizing error
5.689 * * * [progress]: generating rewritten candidates
5.689 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1 2)
5.752 * * * [progress]: generating series expansions
5.752 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1 2)
5.752 * * * [progress]: simplifying candidates
5.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.752 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.753 * * * * [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.754 * * * * [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.754 * * * * [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.754 * * * * [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.754 * * * * [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.754 * [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.755 * * [simplify]: iteration 1: (80 enodes)
5.790 * * [simplify]: iteration 2: (335 enodes)
5.920 * * [simplify]: iteration 3: (865 enodes)
6.688 * * [simplify]: Extracting #0: cost 21 inf + 0
6.688 * * [simplify]: Extracting #1: cost 156 inf + 3
6.690 * * [simplify]: Extracting #2: cost 545 inf + 397
6.702 * * [simplify]: Extracting #3: cost 360 inf + 33595
6.724 * * [simplify]: Extracting #4: cost 49 inf + 89557
6.759 * * [simplify]: Extracting #5: cost 1 inf + 102265
6.807 * * [simplify]: Extracting #6: cost 0 inf + 102666
6.855 * [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.861 * * * [progress]: adding candidates to table
7.362 * [progress]: [Phase 3 of 3] Extracting.
7.369 * [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)))))
7.369 * * [simplify]: iteration 1: (23 enodes)
7.373 * * [simplify]: iteration 2: (39 enodes)
7.377 * * [simplify]: iteration 3: (46 enodes)
7.380 * * [simplify]: iteration 4: (47 enodes)
7.386 * * [simplify]: Extracting #0: cost 1 inf + 0
7.386 * * [simplify]: Extracting #1: cost 2 inf + 0
7.387 * * [simplify]: Extracting #2: cost 4 inf + 0
7.387 * * [simplify]: Extracting #3: cost 8 inf + 0
7.387 * * [simplify]: Extracting #4: cost 12 inf + 2
7.387 * * [simplify]: Extracting #5: cost 19 inf + 4
7.387 * * [simplify]: Extracting #6: cost 20 inf + 8
7.387 * * [simplify]: Extracting #7: cost 12 inf + 379
7.387 * * [simplify]: Extracting #8: cost 5 inf + 1276
7.387 * * [simplify]: Extracting #9: cost 2 inf + 1807
7.388 * * [simplify]: Extracting #10: cost 1 inf + 2214
7.388 * * [simplify]: Extracting #11: cost 0 inf + 2621
7.389 * [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)))))
7.389 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
7.393 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
7.509 * * * * [points]: Setting MPFR precision to 832
7.512 * * * * [points]: Setting MPFR precision to 1088
7.514 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
7.648 * * * * [points]: Setting MPFR precision to 832
7.658 * * * * [points]: Setting MPFR precision to 1088
7.668 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
7.813 * * * * [points]: Setting MPFR precision to 832
7.822 * * * * [points]: Setting MPFR precision to 1088
7.832 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
7.947 * * * * [points]: Setting MPFR precision to 832
7.981 * * * * [points]: Setting MPFR precision to 1088
8.015 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
8.180 * * * * [points]: Setting MPFR precision to 832
8.227 * * * * [points]: Setting MPFR precision to 1088
8.326 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
8.457 * * * * [points]: Setting MPFR precision to 832
8.578 * * * * [points]: Setting MPFR precision to 1088
8.730 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
9.174 * * * * [points]: Setting MPFR precision to 832
9.457 * * * * [points]: Setting MPFR precision to 1088
9.849 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
10.002 * * * * [points]: Setting MPFR precision to 832
10.543 * * * * [points]: Setting MPFR precision to 1088
11.427 * * * * [points]: Computing exacts for 8000 points
11.567 * * * * [points]: Setting MPFR precision to 832
15.129 * * * * [points]: Setting MPFR precision to 1088
18.757 * * * * [points]: Filtering points with unrepresentable outputs
18.760 * * * * [points]: Sampled 8000 points with exact outputs
18.893 * [regime-testing]: Baseline error score: 0
18.896 * [regime-testing]: Oracle error score: 0
18.896 * [regime-testing]: End program error score: 0