32.075 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.026 * * * * [points]: Setting MPFR precision to 64
0.031 * * * * [points]: Setting MPFR precision to 320
0.034 * * * * [points]: Setting MPFR precision to 576
0.038 * * * * [points]: Setting MPFR precision to 832
0.041 * * * * [points]: Setting MPFR precision to 1088
0.045 * * * * [points]: Setting MPFR precision to 1344
0.048 * * * * [points]: Setting MPFR precision to 1600
0.052 * * * * [points]: Setting MPFR precision to 1856
0.055 * * * * [points]: Setting MPFR precision to 2112
0.059 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.305 * * * * [points]: Setting MPFR precision to 1856
0.309 * * * * [points]: Setting MPFR precision to 2112
0.312 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.522 * * * * [points]: Setting MPFR precision to 1856
0.529 * * * * [points]: Setting MPFR precision to 2112
0.543 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.779 * * * * [points]: Setting MPFR precision to 1856
0.789 * * * * [points]: Setting MPFR precision to 2112
0.805 * * * * [points]: Computing exacts for 256 points
1.043 * * * * [points]: Setting MPFR precision to 1856
1.081 * * * * [points]: Setting MPFR precision to 2112
1.117 * * * * [points]: Filtering points with unrepresentable outputs
1.118 * * * * [points]: Sampled 256 points with exact outputs
1.118 * * * [progress]: [2/2] Setting up program.
1.127 * [progress]: [Phase 2 of 3] Improving.
1.127 * [simplify]: Simplifying:
  (im (+.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)))
1.128 * * [simplify]: Extracting # 0 : cost  0
1.128 * * [simplify]: Extracting # 1 : cost  0
1.128 * * [simplify]: Extracting # 2 : cost  0
1.128 * * [simplify]: Extracting # 3 : cost  0
1.128 * * [simplify]: Extracting # 4 : cost  0
1.128 * * [simplify]: Extracting # 5 : cost  0
1.128 * * [simplify]: Extracting # 6 : cost  0
1.128 * * [simplify]: Extracting # 7 : cost  0
1.128 * * [simplify]: Extracting # 8 : cost  0
1.129 * * [simplify]: Extracting # 9 : cost  0
1.129 * * [simplify]: Extracting # 10 : cost  0
1.129 * * [simplify]: Extracting # 11 : cost  0
1.129 * * [simplify]: Extracting # 12 : cost  0
1.129 * * [simplify]: Extracting # 13 : cost  0
1.129 * * [simplify]: Extracting # 14 : cost  0
1.129 * * [simplify]: iteration  0 :  31  enodes  (cost  117 )
1.139 * * [simplify]: Extracting # 0 : cost  0
1.139 * * [simplify]: Extracting # 1 : cost  0
1.140 * * [simplify]: Extracting # 2 : cost  0
1.140 * * [simplify]: Extracting # 3 : cost  0
1.140 * * [simplify]: Extracting # 4 : cost  0
1.140 * * [simplify]: iteration  1 :  81  enodes  (cost  107 )
1.164 * * [simplify]: Extracting # 0 : cost  0
1.165 * * [simplify]: Extracting # 1 : cost  0
1.165 * * [simplify]: Extracting # 2 : cost  0
1.166 * * [simplify]: Extracting # 3 : cost  0
1.166 * * [simplify]: Extracting # 4 : cost  0
1.167 * * [simplify]: iteration  2 :  306  enodes  (cost  77 )
1.315 * * [simplify]: Extracting # 0 : cost  0
1.317 * * [simplify]: Extracting # 1 : cost  0
1.320 * * [simplify]: Extracting # 2 : cost  0
1.322 * * [simplify]: Extracting # 3 : cost  0
1.324 * * [simplify]: Extracting # 4 : cost  0
1.325 * * [simplify]: Extracting # 5 : cost  0
1.327 * * [simplify]: iteration  3 :  1241  enodes  (cost  57 )
1.821 * * [simplify]: Extracting # 0 : cost  0
1.831 * * [simplify]: Extracting # 1 : cost  0
1.845 * * [simplify]: Extracting # 2 : cost  0
1.859 * * [simplify]: Extracting # 3 : cost  0
1.868 * * [simplify]: Extracting # 4 : cost  0
1.875 * * [simplify]: Extracting # 5 : cost  0
1.882 * * [simplify]: Extracting # 6 : cost  0
1.890 * * [simplify]: iteration done:  5000  enodes  (cost  56 )
1.890 * [simplify]: Simplified to:
  (im (+.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 (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (- (+ (/ 1.0 2.0) 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))) (complex 5.0 0.0))))) (complex 7.0 0.0)))
1.894 * * [progress]: iteration 1 / 4
1.894 * * * [progress]: picking best candidate
1.898 * * * * [pick]: Picked  #<alt (λ () (im (+.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))))>
1.898 * * * [progress]: localizing error
1.964 * * * [progress]: generating rewritten candidates
1.964 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
1.966 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.979 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1)
1.984 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
1.988 * * * [progress]: generating series expansions
1.988 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1 1)
1.988 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.988 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1)
1.988 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
1.988 * * * [progress]: simplifying candidates
1.989 * [simplify]: Simplifying:
  (- (* (/ (- 1.0) 2.0) (/ (- 1.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)))
  (+ (* (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (- 1.0) 2.0)))
  (+ (+ (- (* (- (* (- (* (/ (- 1.0) 2.0) (/ (- 1.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (- (* (/ (- 1.0) 2.0) (/ (- 1.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0))) (- (* (- (* (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0)))) (- (* (- (* 5.0 (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* 5.0 (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0))))
  (+ (+ (+ (* (- (* (- (* (/ (- 1.0) 2.0) (/ (- 1.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (- (* (/ (- 1.0) 2.0) (/ (- 1.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0))) (+ (* (- (* (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0)))) (+ (* (- (* 5.0 (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* 5.0 (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0))))
  (+.c (*.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))))
  (- (* (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.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)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (* (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0)))
  (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))
  (- (* 5.0 (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0)))
  (+ (* 5.0 (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0)))
  (im (+.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)))
  (im (+.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)))
  (im (+.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)))
  (im (+.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)))
1.992 * * [simplify]: Extracting # 0 : cost  0
1.993 * * [simplify]: Extracting # 1 : cost  0
1.993 * * [simplify]: Extracting # 2 : cost  0
1.993 * * [simplify]: Extracting # 3 : cost  0
1.993 * * [simplify]: Extracting # 4 : cost  0
1.993 * * [simplify]: Extracting # 5 : cost  0
1.994 * * [simplify]: Extracting # 6 : cost  0
1.994 * * [simplify]: Extracting # 7 : cost  0
1.994 * * [simplify]: Extracting # 8 : cost  0
1.994 * * [simplify]: Extracting # 9 : cost  0
1.994 * * [simplify]: Extracting # 10 : cost  0
1.995 * * [simplify]: Extracting # 11 : cost  0
1.995 * * [simplify]: iteration  0 :  82  enodes  (cost  1161 )
2.029 * * [simplify]: Extracting # 0 : cost  0
2.030 * * [simplify]: Extracting # 1 : cost  0
2.030 * * [simplify]: Extracting # 2 : cost  0
2.030 * * [simplify]: Extracting # 3 : cost  0
2.031 * * [simplify]: Extracting # 4 : cost  0
2.031 * * [simplify]: Extracting # 5 : cost  0
2.031 * * [simplify]: Extracting # 6 : cost  0
2.031 * * [simplify]: iteration  1 :  278  enodes  (cost  1089 )
2.144 * * [simplify]: Extracting # 0 : cost  0
2.146 * * [simplify]: Extracting # 1 : cost  0
2.148 * * [simplify]: Extracting # 2 : cost  0
2.151 * * [simplify]: Extracting # 3 : cost  0
2.153 * * [simplify]: Extracting # 4 : cost  0
2.155 * * [simplify]: iteration  2 :  978  enodes  (cost  928 )
2.930 * * [simplify]: Extracting # 0 : cost  0
2.940 * * [simplify]: Extracting # 1 : cost  0
2.952 * * [simplify]: Extracting # 2 : cost  0
2.964 * * [simplify]: Extracting # 3 : cost  0
2.975 * * [simplify]: Extracting # 4 : cost  0
2.994 * * [simplify]: Extracting # 5 : cost  0
3.004 * * [simplify]: Extracting # 6 : cost  0
3.009 * * [simplify]: iteration  3 :  4826  enodes  (cost  777 )
4.607 * * [simplify]: Extracting # 0 : cost  0
4.616 * * [simplify]: Extracting # 1 : cost  0
4.627 * * [simplify]: Extracting # 2 : cost  0
4.638 * * [simplify]: iteration done:  5000  enodes  (cost  777 )
4.639 * [simplify]: Simplified to:
  (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ (/ 3.0 2.0) 2.0))
  (* (/ (sqrt 3.0) 2.0) (* 2 (/ (- 1.0) 2.0)))
  (fma (- (- (pow (/ (- 1.0) 2.0) 3) (/ (/ 3.0 2.0) (/ 2.0 (/ (- 1.0) 2.0)))) (* 2 (/ (/ 3.0 2.0) (/ 2.0 (/ (- 1.0) 2.0))))) (/ (- 1.0) 2.0) (fma (fma (/ (sqrt 3.0) 2.0) (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ (/ 3.0 2.0) 2.0)) (* 2 (/ (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 2.0 (sqrt 3.0))))) (- (/ (sqrt 3.0) 2.0)) (fma (fma (/ (- 1.0) 2.0) (fma (- 0.0) (/ (sqrt 3.0) 2.0) (* 2.0 (/ 1.0 2.0))) (- (* (/ (sqrt 3.0) 2.0) (fma (- 2.0) (/ (sqrt 3.0) 2.0) (* 0.0 (/ (- 1.0) 2.0)))))) (/ (- 1.0) 2.0) (fma (- (- (* (/ (sqrt 3.0) 2.0) (fma (- 0.0) (/ (sqrt 3.0) 2.0) (* 2.0 (/ 1.0 2.0)))) (* (fma (- 2.0) (/ (sqrt 3.0) 2.0) (* 0.0 (/ (- 1.0) 2.0))) (/ 1.0 2.0)))) (/ (sqrt 3.0) 2.0) (- (* (- (* 5.0 (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (fma 5.0 (/ (sqrt 3.0) 2.0) (* 0.0 (/ (- 1.0) 2.0)))))))))
  (fma (fma 5.0 (/ (sqrt 3.0) 2.0) (* 0.0 (/ (- 1.0) 2.0))) (/ (- 1.0) 2.0) (fma (- (* 5.0 (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0) (+ (* (/ (- 1.0) 2.0) (+ (fma (/ (sqrt 3.0) 2.0) (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ (/ 3.0 2.0) 2.0)) (* 2 (/ (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 2.0 (sqrt 3.0))))) (- (* (/ (sqrt 3.0) 2.0) (fma (- 0.0) (/ (sqrt 3.0) 2.0) (* 2.0 (/ 1.0 2.0)))) (* (fma (- 2.0) (/ (sqrt 3.0) 2.0) (* 0.0 (/ (- 1.0) 2.0))) (/ 1.0 2.0))))) (* (/ (sqrt 3.0) 2.0) (+ (- (- (pow (/ (- 1.0) 2.0) 3) (/ (/ 3.0 2.0) (/ 2.0 (/ (- 1.0) 2.0)))) (* 2 (/ (/ 3.0 2.0) (/ 2.0 (/ (- 1.0) 2.0))))) (fma (/ (- 1.0) 2.0) (fma (- 0.0) (/ (sqrt 3.0) 2.0) (* 2.0 (/ 1.0 2.0))) (- (* (/ (sqrt 3.0) 2.0) (fma (- 2.0) (/ (sqrt 3.0) 2.0) (* 0.0 (/ (- 1.0) 2.0)))))))))))
  (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (*.c (complex (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex 5.0 0.0))))
  (fma (/ (- 1.0) 2.0) (fma (- 0.0) (/ (sqrt 3.0) 2.0) (* 2.0 (/ 1.0 2.0))) (- (* (/ (sqrt 3.0) 2.0) (fma (- 2.0) (/ (sqrt 3.0) 2.0) (* 0.0 (/ (- 1.0) 2.0))))))
  (- (* (/ (sqrt 3.0) 2.0) (fma (- 0.0) (/ (sqrt 3.0) 2.0) (* 2.0 (/ 1.0 2.0)))) (* (fma (- 2.0) (/ (sqrt 3.0) 2.0) (* 0.0 (/ (- 1.0) 2.0))) (/ 1.0 2.0)))
  (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))
  (- (* 5.0 (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0)))
  (fma 5.0 (/ (sqrt 3.0) 2.0) (* 0.0 (/ (- 1.0) 2.0)))
  (im (+.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 5.0 0.0) (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (- 2.0) 0.0))))))) (complex 7.0 0.0)))
  (im (+.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 5.0 0.0) (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (- 2.0) 0.0))))))) (complex 7.0 0.0)))
  (im (+.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 5.0 0.0) (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (- 2.0) 0.0))))))) (complex 7.0 0.0)))
  (im (+.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 5.0 0.0) (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (- 2.0) 0.0))))))) (complex 7.0 0.0)))
4.640 * * * [progress]: adding candidates to table
4.731 * [progress]: [Phase 3 of 3] Extracting.
4.736 * [simplify]: Simplifying:
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (*.c (*.c (*.c (complex (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (*.c (complex 5.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (complex 4.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 7.0 0.0)))
4.736 * * [simplify]: Extracting # 0 : cost  0
4.736 * * [simplify]: Extracting # 1 : cost  0
4.736 * * [simplify]: Extracting # 2 : cost  0
4.736 * * [simplify]: Extracting # 3 : cost  0
4.736 * * [simplify]: Extracting # 4 : cost  0
4.736 * * [simplify]: Extracting # 5 : cost  0
4.736 * * [simplify]: Extracting # 6 : cost  0
4.736 * * [simplify]: Extracting # 7 : cost  0
4.737 * * [simplify]: Extracting # 8 : cost  0
4.737 * * [simplify]: Extracting # 9 : cost  0
4.737 * * [simplify]: Extracting # 10 : cost  0
4.737 * * [simplify]: Extracting # 11 : cost  0
4.737 * * [simplify]: Extracting # 12 : cost  0
4.737 * * [simplify]: Extracting # 13 : cost  0
4.737 * * [simplify]: Extracting # 14 : cost  0
4.737 * * [simplify]: iteration  0 :  31  enodes  (cost  117 )
4.739 * * [simplify]: Extracting # 0 : cost  0
4.740 * * [simplify]: Extracting # 1 : cost  0
4.740 * * [simplify]: Extracting # 2 : cost  0
4.740 * * [simplify]: iteration  1 :  45  enodes  (cost  117 )
4.742 * * [simplify]: Extracting # 0 : cost  0
4.742 * * [simplify]: iteration done:  45  enodes  (cost  117 )
4.742 * [simplify]: Simplified to:
  (im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (*.c (*.c (*.c (complex (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (*.c (complex 5.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (complex 4.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 7.0 0.0)))
4.742 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
4.751 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
4.988 * * * * [points]: Setting MPFR precision to 1856
4.992 * * * * [points]: Setting MPFR precision to 2112
4.994 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
5.172 * * * * [points]: Setting MPFR precision to 1856
5.180 * * * * [points]: Setting MPFR precision to 2112
5.187 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
5.434 * * * * [points]: Setting MPFR precision to 1856
5.449 * * * * [points]: Setting MPFR precision to 2112
5.466 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
5.729 * * * * [points]: Setting MPFR precision to 1856
5.748 * * * * [points]: Setting MPFR precision to 2112
5.765 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
5.944 * * * * [points]: Setting MPFR precision to 1856
5.980 * * * * [points]: Setting MPFR precision to 2112
6.032 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
6.324 * * * * [points]: Setting MPFR precision to 1856
6.407 * * * * [points]: Setting MPFR precision to 2112
6.497 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
6.723 * * * * [points]: Setting MPFR precision to 1856
6.910 * * * * [points]: Setting MPFR precision to 2112
7.050 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
7.279 * * * * [points]: Setting MPFR precision to 1856
7.633 * * * * [points]: Setting MPFR precision to 2112
7.993 * * * * [points]: Computing exacts for 8000 points
8.210 * * * * [points]: Setting MPFR precision to 1856
9.732 * * * * [points]: Setting MPFR precision to 2112
11.209 * * * * [points]: Filtering points with unrepresentable outputs
11.216 * * * * [points]: Sampled 8000 points with exact outputs
11.364 * [regime-testing]: End program error score: 0