36.949 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.034 * * * * [points]: Setting MPFR precision to 64
0.039 * * * * [points]: Setting MPFR precision to 320
0.043 * * * * [points]: Setting MPFR precision to 576
0.047 * * * * [points]: Setting MPFR precision to 832
0.052 * * * * [points]: Setting MPFR precision to 1088
0.057 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.175 * * * * [points]: Setting MPFR precision to 832
0.180 * * * * [points]: Setting MPFR precision to 1088
0.184 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.288 * * * * [points]: Setting MPFR precision to 832
0.297 * * * * [points]: Setting MPFR precision to 1088
0.305 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.450 * * * * [points]: Setting MPFR precision to 832
0.476 * * * * [points]: Setting MPFR precision to 1088
0.504 * * * * [points]: Computing exacts for 256 points
0.625 * * * * [points]: Setting MPFR precision to 832
0.672 * * * * [points]: Setting MPFR precision to 1088
0.739 * * * * [points]: Filtering points with unrepresentable outputs
0.740 * * * * [points]: Sampled 256 points with exact outputs
0.740 * * * [progress]: [2/2] Setting up program.
0.750 * [progress]: [Phase 2 of 3] Improving.
0.751 * [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)))
0.751 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.751 * * [simplify]: Extracting # 1 : cost  2  inf +  0
0.751 * * [simplify]: Extracting # 2 : cost  4  inf +  0
0.751 * * [simplify]: Extracting # 3 : cost  8  inf +  0
0.751 * * [simplify]: Extracting # 4 : cost  9  inf +  4
0.751 * * [simplify]: Extracting # 5 : cost  15  inf +  4
0.751 * * [simplify]: Extracting # 6 : cost  19  inf +  7
0.752 * * [simplify]: Extracting # 7 : cost  23  inf +  8
0.752 * * [simplify]: Extracting # 8 : cost  19  inf +  93
0.752 * * [simplify]: Extracting # 9 : cost  12  inf +  2678
0.753 * * [simplify]: Extracting # 10 : cost  8  inf +  4689
0.753 * * [simplify]: Extracting # 11 : cost  5  inf +  7221
0.754 * * [simplify]: Extracting # 12 : cost  4  inf +  9425
0.756 * * [simplify]: Extracting # 13 : cost  1  inf +  19083
0.758 * * [simplify]: Extracting # 14 : cost  0  inf +  22490
0.760 * * [simplify]: iteration  0 :  31  enodes  (cost  3407 )
0.769 * * [simplify]: Extracting # 0 : cost  0  inf +  22490
0.772 * * [simplify]: Extracting # 1 : cost  13  inf +  21850
0.776 * * [simplify]: Extracting # 2 : cost  20  inf +  26153
0.780 * * [simplify]: Extracting # 3 : cost  7  inf +  27828
0.785 * * [simplify]: Extracting # 4 : cost  0  inf +  29339
0.791 * * [simplify]: Extracting # 5 : cost  0  inf +  27419
0.798 * * [simplify]: Extracting # 6 : cost  0  inf +  24059
0.804 * * [simplify]: iteration  1 :  81  enodes  (cost  2127 )
0.846 * * [simplify]: Extracting # 0 : cost  0  inf +  24059
0.851 * * [simplify]: Extracting # 1 : cost  75  inf +  23979
0.870 * * [simplify]: Extracting # 2 : cost  58  inf +  55947
0.892 * * [simplify]: Extracting # 3 : cost  13  inf +  68601
0.909 * * [simplify]: Extracting # 4 : cost  0  inf +  75373
0.925 * * [simplify]: Extracting # 5 : cost  0  inf +  74893
0.952 * * [simplify]: iteration  2 :  295  enodes  (cost  1807 )
1.091 * * [simplify]: Extracting # 0 : cost  0  inf +  74893
1.116 * * [simplify]: Extracting # 1 : cost  347  inf +  73893
1.223 * * [simplify]: Extracting # 2 : cost  30  inf +  210961
1.318 * * [simplify]: Extracting # 3 : cost  6  inf +  223455
1.425 * * [simplify]: Extracting # 4 : cost  0  inf +  228159
1.531 * * [simplify]: iteration  3 :  1221  enodes  (cost  1487 )
2.005 * * [simplify]: Extracting # 0 : cost  0  inf +  228159
2.159 * * [simplify]: Extracting # 1 : cost  1911  inf +  226399
2.644 * * [simplify]: Extracting # 2 : cost  176  inf +  1528920
3.255 * * [simplify]: Extracting # 3 : cost  34  inf +  1616591
3.975 * * [simplify]: Extracting # 4 : cost  0  inf +  1642780
4.666 * * [simplify]: Extracting # 5 : cost  0  inf +  1641060
5.384 * * [simplify]: Extracting # 6 : cost  0  inf +  1640820
6.077 * * [simplify]: Extracting # 7 : cost  0  inf +  1640740
6.723 * * [simplify]: iteration complete:  5000  enodes  (cost  1447 )
6.723 * [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 (complex (- (* (/ (- 1.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (+ (* (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))) (complex 5.0 0.0))))) (complex 7.0 0.0)))
6.732 * * [progress]: iteration 1 / 4
6.732 * * * [progress]: picking best candidate
6.738 * * * * [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))))>
6.738 * * * [progress]: localizing error
6.888 * * * [progress]: generating rewritten candidates
6.888 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
6.889 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1)
6.892 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
6.904 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
6.912 * * * [progress]: generating series expansions
6.912 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1 1)
6.912 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1)
6.912 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
6.912 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
6.912 * * * [progress]: simplifying candidates
6.913 * [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)))
  (- (* (- (* (- 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)))
  (+ (+ (- (* (- (* (- (* (/ (- 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))) (/ (- 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)))
  (+ (* (- (* (- (* (- 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)))
  (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.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)))
6.916 * * [simplify]: Extracting # 0 : cost  11  inf +  0
6.916 * * [simplify]: Extracting # 1 : cost  31  inf +  0
6.916 * * [simplify]: Extracting # 2 : cost  45  inf +  0
6.916 * * [simplify]: Extracting # 3 : cost  64  inf +  0
6.916 * * [simplify]: Extracting # 4 : cost  72  inf +  3
6.917 * * [simplify]: Extracting # 5 : cost  67  inf +  500
6.918 * * [simplify]: Extracting # 6 : cost  52  inf +  3186
6.920 * * [simplify]: Extracting # 7 : cost  31  inf +  11108
6.924 * * [simplify]: Extracting # 8 : cost  15  inf +  23088
6.929 * * [simplify]: Extracting # 9 : cost  8  inf +  34277
6.937 * * [simplify]: Extracting # 10 : cost  3  inf +  42501
6.947 * * [simplify]: Extracting # 11 : cost  0  inf +  49117
6.957 * * [simplify]: iteration  0 :  82  enodes  (cost  23311 )
6.974 * * [simplify]: Extracting # 0 : cost  0  inf +  49117
6.982 * * [simplify]: Extracting # 1 : cost  60  inf +  46997
7.005 * * [simplify]: Extracting # 2 : cost  4  inf +  71878
7.034 * * [simplify]: Extracting # 3 : cost  1  inf +  69809
7.062 * * [simplify]: Extracting # 4 : cost  0  inf +  69334
7.078 * * [simplify]: Extracting # 5 : cost  0  inf +  69014
7.102 * * [simplify]: Extracting # 6 : cost  0  inf +  68854
7.132 * * [simplify]: iteration  1 :  262  enodes  (cost  17151 )
7.235 * * [simplify]: Extracting # 0 : cost  0  inf +  68854
7.263 * * [simplify]: Extracting # 1 : cost  251  inf +  68414
7.328 * * [simplify]: Extracting # 2 : cost  22  inf +  199302
7.417 * * [simplify]: Extracting # 3 : cost  4  inf +  201888
7.509 * * [simplify]: Extracting # 4 : cost  0  inf +  203984
7.582 * * [simplify]: Extracting # 5 : cost  0  inf +  203744
7.661 * * [simplify]: Extracting # 6 : cost  0  inf +  203704
7.740 * * [simplify]: iteration  2 :  931  enodes  (cost  15511 )
8.372 * * [simplify]: Extracting # 0 : cost  0  inf +  203704
8.531 * * [simplify]: Extracting # 1 : cost  1107  inf +  200664
8.931 * * [simplify]: Extracting # 2 : cost  24  inf +  791308
9.504 * * [simplify]: Extracting # 3 : cost  5  inf +  790700
9.982 * * [simplify]: Extracting # 4 : cost  0  inf +  788920
10.439 * * [simplify]: Extracting # 5 : cost  0  inf +  786680
10.900 * * [simplify]: iteration  3 :  4664  enodes  (cost  14111 )
12.062 * * [simplify]: Extracting # 0 : cost  0  inf +  786680
12.517 * * [simplify]: Extracting # 1 : cost  240  inf +  786680
13.101 * * [simplify]: Extracting # 2 : cost  0  inf +  1070202
13.742 * * [simplify]: iteration complete:  5024  enodes  (cost  14111 )
13.742 * [simplify]: Simplified to:
  (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ (/ 3.0 2.0) 2.0))
  (+ (* (/ (- 1.0) 2.0) (/ (sqrt 3.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)))
  (+ (* (* 2.0 (/ (sqrt 3.0) 2.0)) (/ 1.0 2.0)) (+ (* (* (/ 1.0 2.0) (/ 1.0 2.0)) 0.0) (* (- (* 2.0 (/ 1.0 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0))))
  (complex (- (* (/ (- 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) (/ (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)) (* (/ (- 1.0) 2.0) (/ (sqrt 3.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)) (* (/ (- 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))) (/ (- 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)))))
  (+ (* (- (* 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)) (* (/ (- 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)) (* (/ (- 1.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)) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0))) (/ (- 1.0) 2.0)) (* (+ (* (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.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))) (/ (- 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))) (/ (- 1.0) 2.0)))))
  (*.c (complex (- (* (/ (- 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) (/ (sqrt 3.0) 2.0)))) (+.c (complex 5.0 0.0) (complex (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.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))) (/ (- 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)))
  (+ (* (- (* (- (* (- 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)))
  (complex (- (* (/ (- 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) (/ (sqrt 3.0) 2.0))))
  (im (+.c (*.c (complex (- (* (/ (- 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) (/ (sqrt 3.0) 2.0)))) (+.c (+.c (complex (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0)))) (complex 5.0 0.0)) (complex (- (* (/ (- 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) (/ (sqrt 3.0) 2.0)))))) (+.c (complex (- (* 4.0 (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (+ (* 4.0 (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0)))) (complex 7.0 0.0))))
  (im (+.c (*.c (complex (- (* (/ (- 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) (/ (sqrt 3.0) 2.0)))) (+.c (+.c (complex (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0)))) (complex 5.0 0.0)) (complex (- (* (/ (- 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) (/ (sqrt 3.0) 2.0)))))) (+.c (complex (- (* 4.0 (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (+ (* 4.0 (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0)))) (complex 7.0 0.0))))
  (im (+.c (*.c (complex (- (* (/ (- 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) (/ (sqrt 3.0) 2.0)))) (+.c (+.c (complex (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0)))) (complex 5.0 0.0)) (complex (- (* (/ (- 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) (/ (sqrt 3.0) 2.0)))))) (+.c (complex (- (* 4.0 (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (+ (* 4.0 (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0)))) (complex 7.0 0.0))))
  (im (+.c (*.c (complex (- (* (/ (- 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) (/ (sqrt 3.0) 2.0)))) (+.c (+.c (complex (- (* (- 2.0) (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (+ (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0)))) (complex 5.0 0.0)) (complex (- (* (/ (- 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) (/ (sqrt 3.0) 2.0)))))) (+.c (complex (- (* 4.0 (/ (- 1.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0))) (+ (* 4.0 (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (- 1.0) 2.0)))) (complex 7.0 0.0))))
13.748 * * * [progress]: adding candidates to table
13.858 * [progress]: [Phase 3 of 3] Extracting.
13.865 * [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)))
13.865 * * [simplify]: Extracting # 0 : cost  1  inf +  0
13.865 * * [simplify]: Extracting # 1 : cost  2  inf +  0
13.865 * * [simplify]: Extracting # 2 : cost  4  inf +  0
13.865 * * [simplify]: Extracting # 3 : cost  8  inf +  0
13.865 * * [simplify]: Extracting # 4 : cost  9  inf +  4
13.865 * * [simplify]: Extracting # 5 : cost  15  inf +  4
13.865 * * [simplify]: Extracting # 6 : cost  19  inf +  7
13.865 * * [simplify]: Extracting # 7 : cost  23  inf +  8
13.865 * * [simplify]: Extracting # 8 : cost  19  inf +  93
13.866 * * [simplify]: Extracting # 9 : cost  12  inf +  2678
13.866 * * [simplify]: Extracting # 10 : cost  8  inf +  4689
13.866 * * [simplify]: Extracting # 11 : cost  5  inf +  7221
13.867 * * [simplify]: Extracting # 12 : cost  4  inf +  9425
13.868 * * [simplify]: Extracting # 13 : cost  1  inf +  19083
13.869 * * [simplify]: Extracting # 14 : cost  0  inf +  22490
13.871 * * [simplify]: iteration  0 :  31  enodes  (cost  3407 )
13.873 * * [simplify]: Extracting # 0 : cost  0  inf +  22490
13.875 * * [simplify]: Extracting # 1 : cost  1  inf +  22490
13.877 * * [simplify]: Extracting # 2 : cost  0  inf +  22532
13.878 * * [simplify]: iteration  1 :  45  enodes  (cost  3407 )
13.881 * * [simplify]: Extracting # 0 : cost  0  inf +  22532
13.883 * * [simplify]: iteration complete:  45  enodes  (cost  3407 )
13.883 * [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)))
13.883 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
13.887 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
13.985 * * * * [points]: Setting MPFR precision to 832
13.987 * * * * [points]: Setting MPFR precision to 1088
13.990 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
14.079 * * * * [points]: Setting MPFR precision to 832
14.086 * * * * [points]: Setting MPFR precision to 1088
14.095 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
14.242 * * * * [points]: Setting MPFR precision to 832
14.254 * * * * [points]: Setting MPFR precision to 1088
14.271 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
14.836 * * * * [points]: Setting MPFR precision to 832
14.865 * * * * [points]: Setting MPFR precision to 1088
14.884 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
14.973 * * * * [points]: Setting MPFR precision to 832
15.011 * * * * [points]: Setting MPFR precision to 1088
15.115 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
15.266 * * * * [points]: Setting MPFR precision to 832
15.417 * * * * [points]: Setting MPFR precision to 1088
15.628 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
15.758 * * * * [points]: Setting MPFR precision to 832
16.069 * * * * [points]: Setting MPFR precision to 1088
16.885 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
16.999 * * * * [points]: Setting MPFR precision to 832
17.637 * * * * [points]: Setting MPFR precision to 1088
18.491 * * * * [points]: Computing exacts for 8000 points
19.015 * * * * [points]: Setting MPFR precision to 832
22.179 * * * * [points]: Setting MPFR precision to 1088
25.588 * * * * [points]: Filtering points with unrepresentable outputs
25.608 * * * * [points]: Sampled 8000 points with exact outputs
26.297 * [regime-testing]: Baseline error score: 0
26.314 * [regime-testing]: Oracle error score: 0
26.314 * [regime-testing]: End program error score: 0