36.975 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [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.023 * * * * [points]: Setting MPFR precision to 64 0.027 * * * * [points]: Setting MPFR precision to 320 0.031 * * * * [points]: Setting MPFR precision to 576 0.035 * * * * [points]: Setting MPFR precision to 832 0.038 * * * * [points]: Setting MPFR precision to 1088 0.042 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.171 * * * * [points]: Setting MPFR precision to 832 0.178 * * * * [points]: Setting MPFR precision to 1088 0.186 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.298 * * * * [points]: Setting MPFR precision to 832 0.313 * * * * [points]: Setting MPFR precision to 1088 0.328 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.410 * * * * [points]: Setting MPFR precision to 832 0.427 * * * * [points]: Setting MPFR precision to 1088 0.449 * * * * [points]: Computing exacts for 256 points 0.608 * * * * [points]: Setting MPFR precision to 832 0.701 * * * * [points]: Setting MPFR precision to 1088 0.754 * * * * [points]: Filtering points with unrepresentable outputs 0.755 * * * * [points]: Sampled 256 points with exact outputs 0.755 * * * [progress]: [2/2] Setting up program. 0.767 * [progress]: [Phase 2 of 3] Improving. 0.768 * [simplify]: Simplifying: (re (+.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.768 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.768 * * [simplify]: Extracting # 1 : cost 2 inf + 0 0.768 * * [simplify]: Extracting # 2 : cost 4 inf + 0 0.768 * * [simplify]: Extracting # 3 : cost 8 inf + 0 0.768 * * [simplify]: Extracting # 4 : cost 9 inf + 4 0.768 * * [simplify]: Extracting # 5 : cost 15 inf + 4 0.769 * * [simplify]: Extracting # 6 : cost 19 inf + 7 0.769 * * [simplify]: Extracting # 7 : cost 23 inf + 8 0.769 * * [simplify]: Extracting # 8 : cost 19 inf + 93 0.769 * * [simplify]: Extracting # 9 : cost 12 inf + 2678 0.770 * * [simplify]: Extracting # 10 : cost 8 inf + 4689 0.771 * * [simplify]: Extracting # 11 : cost 5 inf + 7221 0.772 * * [simplify]: Extracting # 12 : cost 4 inf + 9425 0.773 * * [simplify]: Extracting # 13 : cost 1 inf + 19083 0.776 * * [simplify]: Extracting # 14 : cost 0 inf + 22490 0.779 * * [simplify]: iteration 0 : 31 enodes (cost 3407 ) 0.790 * * [simplify]: Extracting # 0 : cost 0 inf + 22490 0.793 * * [simplify]: Extracting # 1 : cost 13 inf + 21850 0.797 * * [simplify]: Extracting # 2 : cost 20 inf + 26153 0.802 * * [simplify]: Extracting # 3 : cost 7 inf + 27828 0.808 * * [simplify]: Extracting # 4 : cost 0 inf + 29339 0.815 * * [simplify]: Extracting # 5 : cost 0 inf + 27419 0.823 * * [simplify]: Extracting # 6 : cost 0 inf + 24059 0.831 * * [simplify]: iteration 1 : 81 enodes (cost 2127 ) 0.905 * * [simplify]: Extracting # 0 : cost 0 inf + 24059 0.915 * * [simplify]: Extracting # 1 : cost 75 inf + 23979 0.935 * * [simplify]: Extracting # 2 : cost 58 inf + 55947 0.961 * * [simplify]: Extracting # 3 : cost 13 inf + 68601 0.994 * * [simplify]: Extracting # 4 : cost 0 inf + 75373 1.023 * * [simplify]: Extracting # 5 : cost 0 inf + 74893 1.052 * * [simplify]: iteration 2 : 295 enodes (cost 1807 ) 1.159 * * [simplify]: Extracting # 0 : cost 0 inf + 74893 1.196 * * [simplify]: Extracting # 1 : cost 347 inf + 73893 1.257 * * [simplify]: Extracting # 2 : cost 30 inf + 210961 1.347 * * [simplify]: Extracting # 3 : cost 6 inf + 223455 1.458 * * [simplify]: Extracting # 4 : cost 0 inf + 228159 1.541 * * [simplify]: iteration 3 : 1221 enodes (cost 1487 ) 2.044 * * [simplify]: Extracting # 0 : cost 0 inf + 228159 2.188 * * [simplify]: Extracting # 1 : cost 1911 inf + 226399 2.685 * * [simplify]: Extracting # 2 : cost 176 inf + 1528920 3.382 * * [simplify]: Extracting # 3 : cost 34 inf + 1616591 4.076 * * [simplify]: Extracting # 4 : cost 0 inf + 1642780 4.860 * * [simplify]: Extracting # 5 : cost 0 inf + 1641060 5.565 * * [simplify]: Extracting # 6 : cost 0 inf + 1640820 6.316 * * [simplify]: Extracting # 7 : cost 0 inf + 1640740 7.031 * * [simplify]: iteration complete: 5000 enodes (cost 1447 ) 7.031 * [simplify]: Simplified to: (re (+.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))) 7.046 * * [progress]: iteration 1 / 4 7.046 * * * [progress]: picking best candidate 7.057 * * * * [pick]: Picked # 7.057 * * * [progress]: localizing error 7.168 * * * [progress]: generating rewritten candidates 7.168 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2 2 2 1 1 2) 7.277 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 2 2 2 1 2 2) 7.405 * * * [progress]: generating series expansions 7.405 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2 2 2 1 1 2) 7.405 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 2 2 2 1 2 2) 7.405 * * * [progress]: simplifying candidates 7.406 * [simplify]: Simplifying: (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (+ (- (log (sqrt 3.0)) (log 2.0)) (log (+ (/ (sqrt 3.0) 2.0) 0.0))) (+ (log (/ (sqrt 3.0) 2.0)) (log (+ (/ (sqrt 3.0) 2.0) 0.0))) (log (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (exp (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* 2.0 2.0) 2.0)) (* (* (+ (/ (sqrt 3.0) 2.0) 0.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (* (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* (* (+ (/ (sqrt 3.0) 2.0) 0.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (cbrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (cbrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))) (cbrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (* (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (sqrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (sqrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (sqrt 3.0) (+ (pow (/ (sqrt 3.0) 2.0) 3) (pow 0.0 3))) (* 2.0 (+ (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (- (* 0.0 0.0) (* (/ (sqrt 3.0) 2.0) 0.0)))) (* (sqrt 3.0) (- (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 0.0))) (* 2.0 (- (/ (sqrt 3.0) 2.0) 0.0)) (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) 0.0) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (* (cbrt (+ (/ (sqrt 3.0) 2.0) 0.0)) (cbrt (+ (/ (sqrt 3.0) 2.0) 0.0)))) (* (/ (sqrt 3.0) 2.0) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt 3.0) 2.0) 1) (* (/ (sqrt 3.0) 2.0) 1) (* (cbrt (/ (sqrt 3.0) 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (sqrt (/ (sqrt 3.0) 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (cbrt (sqrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (cbrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (cbrt (sqrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (cbrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (cbrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (cbrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ 1 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (pow (/ (sqrt 3.0) 2.0) 3) (pow 0.0 3))) (* (/ (sqrt 3.0) 2.0) (- (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 0.0))) (* (sqrt 3.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (+ (- (log (sqrt 3.0)) (log 2.0)) (log (- (+ (/ 1.0 2.0) 2.0)))) (+ (log (/ (sqrt 3.0) 2.0)) (log (- (+ (/ 1.0 2.0) 2.0)))) (log (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (exp (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* 2.0 2.0) 2.0)) (* (* (- (+ (/ 1.0 2.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (- (+ (/ 1.0 2.0) 2.0)))) (* (* (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* (* (- (+ (/ 1.0 2.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (- (+ (/ 1.0 2.0) 2.0)))) (* (cbrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (cbrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))) (cbrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (* (* (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (sqrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (sqrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (* (sqrt 3.0) (- (+ (pow (/ 1.0 2.0) 3) (pow 2.0 3)))) (* 2.0 (+ (* (/ 1.0 2.0) (/ 1.0 2.0)) (- (* 2.0 2.0) (* (/ 1.0 2.0) 2.0)))) (* (sqrt 3.0) (- (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (* 2.0 2.0)))) (* 2.0 (- (/ 1.0 2.0) 2.0)) (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (+ (/ 1.0 2.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (- (/ 1.0 2.0))) (* (/ (sqrt 3.0) 2.0) (- 2.0)) (* (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (* (cbrt (- (+ (/ 1.0 2.0) 2.0))) (cbrt (- (+ (/ 1.0 2.0) 2.0))))) (* (/ (sqrt 3.0) 2.0) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) 1) (* (/ (sqrt 3.0) 2.0) -1) (* (/ (sqrt 3.0) 2.0) (- (* (cbrt (+ (/ 1.0 2.0) 2.0)) (cbrt (+ (/ 1.0 2.0) 2.0))))) (* (/ (sqrt 3.0) 2.0) (- (sqrt (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (- 1)) (* (/ (sqrt 3.0) 2.0) (- 1)) (* (/ (sqrt 3.0) 2.0) (* (cbrt (+ (/ 1.0 2.0) 2.0)) (cbrt (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (sqrt (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) 1) (* (/ (sqrt 3.0) 2.0) 1) (* (cbrt (/ (sqrt 3.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (sqrt (/ (sqrt 3.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (cbrt (sqrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (cbrt (sqrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (cbrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (cbrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (cbrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (cbrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ 1 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (pow (/ 1.0 2.0) 3) (pow 2.0 3)))) (* (/ (sqrt 3.0) 2.0) (- (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (* 2.0 2.0)))) (* (sqrt 3.0) (- (+ (/ 1.0 2.0) 2.0))) (re (+.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))) (re (+.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))) 7.408 * * [simplify]: Extracting # 0 : cost 88 inf + 0 7.408 * * [simplify]: Extracting # 1 : cost 141 inf + 0 7.409 * * [simplify]: Extracting # 2 : cost 163 inf + 4 7.409 * * [simplify]: Extracting # 3 : cost 150 inf + 2410 7.410 * * [simplify]: Extracting # 4 : cost 101 inf + 12429 7.412 * * [simplify]: Extracting # 5 : cost 78 inf + 19115 7.415 * * [simplify]: Extracting # 6 : cost 41 inf + 28457 7.418 * * [simplify]: Extracting # 7 : cost 19 inf + 35642 7.423 * * [simplify]: Extracting # 8 : cost 12 inf + 38928 7.429 * * [simplify]: Extracting # 9 : cost 9 inf + 39416 7.436 * * [simplify]: Extracting # 10 : cost 7 inf + 40304 7.444 * * [simplify]: Extracting # 11 : cost 6 inf + 40868 7.451 * * [simplify]: Extracting # 12 : cost 4 inf + 42478 7.459 * * [simplify]: Extracting # 13 : cost 3 inf + 43524 7.467 * * [simplify]: Extracting # 14 : cost 1 inf + 46337 7.472 * * [simplify]: Extracting # 15 : cost 0 inf + 47784 7.478 * * [simplify]: iteration 0 : 191 enodes (cost 36670 ) 7.531 * * [simplify]: Extracting # 0 : cost 0 inf + 47784 7.538 * * [simplify]: Extracting # 1 : cost 218 inf + 46351 7.562 * * [simplify]: Extracting # 2 : cost 6 inf + 95465 7.578 * * [simplify]: Extracting # 3 : cost 2 inf + 94311 7.596 * * [simplify]: Extracting # 4 : cost 0 inf + 94736 7.621 * * [simplify]: iteration 1 : 710 enodes (cost 34721 ) 7.982 * * [simplify]: Extracting # 0 : cost 0 inf + 94736 8.024 * * [simplify]: Extracting # 1 : cost 596 inf + 93075 8.112 * * [simplify]: Extracting # 2 : cost 53 inf + 228089 8.216 * * [simplify]: Extracting # 3 : cost 10 inf + 243167 8.299 * * [simplify]: Extracting # 4 : cost 0 inf + 246964 8.397 * * [simplify]: Extracting # 5 : cost 0 inf + 246604 8.483 * * [simplify]: Extracting # 6 : cost 0 inf + 246524 8.596 * * [simplify]: iteration 2 : 2671 enodes (cost 34356 ) 9.556 * * [simplify]: Extracting # 0 : cost 0 inf + 246524 9.690 * * [simplify]: Extracting # 1 : cost 1050 inf + 242597 9.853 * * [simplify]: Extracting # 2 : cost 126 inf + 528006 10.054 * * [simplify]: Extracting # 3 : cost 28 inf + 568538 10.302 * * [simplify]: Extracting # 4 : cost 0 inf + 583598 10.487 * * [simplify]: Extracting # 5 : cost 0 inf + 581758 10.706 * * [simplify]: Extracting # 6 : cost 0 inf + 581478 10.956 * * [simplify]: iteration complete: 5004 enodes (cost 34156 ) 10.957 * [simplify]: Simplified to: (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (log (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (log (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (log (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (exp (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))) (* (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))) (* (cbrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (cbrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))) (cbrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))) (sqrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (sqrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (+ (* (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* 0.0 (* 0.0 0.0))) (sqrt 3.0)) (* 2.0 (+ (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (- 0.0 (/ (sqrt 3.0) 2.0))))) (* (sqrt 3.0) (- (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 0.0))) (* 2.0 (- (/ (sqrt 3.0) 2.0) 0.0)) (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (/ 3.0 (* 2.0 2.0)) (* (/ (sqrt 3.0) 2.0) 0.0) (/ 3.0 (* 2.0 2.0)) (* (/ (sqrt 3.0) 2.0) 0.0) (* (/ (sqrt 3.0) 2.0) (* (cbrt (+ (/ (sqrt 3.0) 2.0) 0.0)) (cbrt (+ (/ (sqrt 3.0) 2.0) 0.0)))) (* (/ (sqrt 3.0) 2.0) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0) (* (cbrt (/ (sqrt 3.0) 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (sqrt (/ (sqrt 3.0) 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (cbrt (sqrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (cbrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (cbrt (sqrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (cbrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (cbrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (cbrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (/ (+ (/ (sqrt 3.0) 2.0) 0.0) 2.0) (* (/ (sqrt 3.0) 2.0) (+ (* (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* 0.0 (* 0.0 0.0)))) (* (/ (sqrt 3.0) 2.0) (- (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 0.0))) (* (sqrt 3.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (log (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (log (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (log (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (exp (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (* (- (+ (/ 1.0 2.0) 2.0)) (* (* (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (/ (sqrt 3.0) 2.0))) (* (- (+ (/ 1.0 2.0) 2.0)) (* (* (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (/ (sqrt 3.0) 2.0))) (* (cbrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (cbrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))) (cbrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (* (- (+ (/ 1.0 2.0) 2.0)) (* (* (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (/ (sqrt 3.0) 2.0))) (sqrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (sqrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (* (sqrt 3.0) (- (+ (* (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 1.0 2.0)) (* 2.0 (* 2.0 2.0))))) (* 2.0 (+ (* 2.0 (- 2.0 (/ 1.0 2.0))) (* (/ 1.0 2.0) (/ 1.0 2.0)))) (* (sqrt 3.0) (- (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (* 2.0 2.0)))) (* 2.0 (- (/ 1.0 2.0) 2.0)) (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (+ (/ 1.0 2.0) 2.0)) (* (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (* (cbrt (- (+ (/ 1.0 2.0) 2.0))) (cbrt (- (+ (/ 1.0 2.0) 2.0))))) (* (/ (sqrt 3.0) 2.0) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (/ (sqrt 3.0) 2.0) (- (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (- (* (cbrt (+ (/ 1.0 2.0) 2.0)) (cbrt (+ (/ 1.0 2.0) 2.0))))) (* (/ (sqrt 3.0) 2.0) (- (sqrt (+ (/ 1.0 2.0) 2.0)))) (- (/ (sqrt 3.0) 2.0)) (- (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (* (cbrt (+ (/ 1.0 2.0) 2.0)) (cbrt (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (sqrt (+ (/ 1.0 2.0) 2.0))) (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0) (* (cbrt (/ (sqrt 3.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (sqrt (/ (sqrt 3.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (cbrt (sqrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (cbrt (sqrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (cbrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (cbrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (cbrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (cbrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (/ (- (+ (/ 1.0 2.0) 2.0)) 2.0) (* (/ (sqrt 3.0) 2.0) (- (+ (* (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 1.0 2.0)) (* 2.0 (* 2.0 2.0))))) (* (/ (sqrt 3.0) 2.0) (- (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (* 2.0 2.0)))) (* (sqrt 3.0) (- (+ (/ 1.0 2.0) 2.0))) (re (+.c (*.c (+.c (complex 4.0 0.0) (complex (- (* (/ (- 1.0) 2.0) (- (- (* (- (+ (/ 1.0 2.0) 2.0)) (/ 1.0 2.0))) (- (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) 5.0))) (* (/ (sqrt 3.0) 2.0) (+ (+ (* (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) 0.0))) (+ (* (/ (- 1.0) 2.0) (+ (+ (* (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (- (* (- (+ (/ 1.0 2.0) 2.0)) (/ 1.0 2.0))) (- (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) 5.0)))))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex 7.0 0.0))) (re (+.c (*.c (+.c (complex 4.0 0.0) (complex (- (* (/ (- 1.0) 2.0) (- (- (* (- (+ (/ 1.0 2.0) 2.0)) (/ 1.0 2.0))) (- (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) 5.0))) (* (/ (sqrt 3.0) 2.0) (+ (+ (* (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) 0.0))) (+ (* (/ (- 1.0) 2.0) (+ (+ (* (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (- (* (- (+ (/ 1.0 2.0) 2.0)) (/ 1.0 2.0))) (- (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) 5.0)))))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex 7.0 0.0))) 10.984 * * * [progress]: adding candidates to table 11.877 * [progress]: [Phase 3 of 3] Extracting. 11.890 * [simplify]: Simplifying: (re (+.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))) 11.890 * * [simplify]: Extracting # 0 : cost 1 inf + 0 11.890 * * [simplify]: Extracting # 1 : cost 2 inf + 0 11.890 * * [simplify]: Extracting # 2 : cost 4 inf + 0 11.890 * * [simplify]: Extracting # 3 : cost 8 inf + 0 11.891 * * [simplify]: Extracting # 4 : cost 9 inf + 4 11.891 * * [simplify]: Extracting # 5 : cost 14 inf + 4 11.891 * * [simplify]: Extracting # 6 : cost 15 inf + 8 11.891 * * [simplify]: Extracting # 7 : cost 15 inf + 51 11.891 * * [simplify]: Extracting # 8 : cost 16 inf + 175 11.891 * * [simplify]: Extracting # 9 : cost 15 inf + 422 11.891 * * [simplify]: Extracting # 10 : cost 14 inf + 708 11.892 * * [simplify]: Extracting # 11 : cost 14 inf + 952 11.892 * * [simplify]: Extracting # 12 : cost 11 inf + 1198 11.893 * * [simplify]: Extracting # 13 : cost 7 inf + 2571 11.894 * * [simplify]: Extracting # 14 : cost 5 inf + 3780 11.895 * * [simplify]: Extracting # 15 : cost 4 inf + 4745 11.895 * * [simplify]: Extracting # 16 : cost 3 inf + 5791 11.896 * * [simplify]: Extracting # 17 : cost 1 inf + 8604 11.898 * * [simplify]: Extracting # 18 : cost 0 inf + 10051 11.899 * * [simplify]: iteration 0 : 32 enodes (cost 1447 ) 11.903 * * [simplify]: Extracting # 0 : cost 0 inf + 10051 11.905 * * [simplify]: Extracting # 1 : cost 3 inf + 10051 11.907 * * [simplify]: Extracting # 2 : cost 0 inf + 10497 11.909 * * [simplify]: iteration 1 : 51 enodes (cost 1447 ) 11.912 * * [simplify]: Extracting # 0 : cost 0 inf + 10497 11.914 * * [simplify]: Extracting # 1 : cost 7 inf + 10497 11.916 * * [simplify]: Extracting # 2 : cost 0 inf + 11595 11.921 * * [simplify]: Extracting # 3 : cost 0 inf + 11475 11.923 * * [simplify]: iteration 2 : 69 enodes (cost 1447 ) 11.928 * * [simplify]: Extracting # 0 : cost 0 inf + 11475 11.930 * * [simplify]: Extracting # 1 : cost 17 inf + 11235 11.933 * * [simplify]: Extracting # 2 : cost 0 inf + 13998 11.936 * * [simplify]: Extracting # 3 : cost 0 inf + 13838 11.940 * * [simplify]: iteration 3 : 114 enodes (cost 1447 ) 11.954 * * [simplify]: Extracting # 0 : cost 0 inf + 13838 11.959 * * [simplify]: Extracting # 1 : cost 9 inf + 13678 11.964 * * [simplify]: Extracting # 2 : cost 0 inf + 14900 11.969 * * [simplify]: iteration 4 : 143 enodes (cost 1447 ) 11.982 * * [simplify]: Extracting # 0 : cost 0 inf + 14900 11.988 * * [simplify]: Extracting # 1 : cost 1 inf + 14740 11.994 * * [simplify]: Extracting # 2 : cost 0 inf + 14943 12.001 * * [simplify]: iteration 5 : 158 enodes (cost 1447 ) 12.011 * * [simplify]: Extracting # 0 : cost 0 inf + 14943 12.017 * * [simplify]: Extracting # 1 : cost 2 inf + 14863 12.024 * * [simplify]: Extracting # 2 : cost 0 inf + 15106 12.031 * * [simplify]: iteration 6 : 167 enodes (cost 1447 ) 12.041 * * [simplify]: Extracting # 0 : cost 0 inf + 15106 12.047 * * [simplify]: Extracting # 1 : cost 6 inf + 14946 12.054 * * [simplify]: Extracting # 2 : cost 0 inf + 16081 12.061 * * [simplify]: iteration 7 : 180 enodes (cost 1447 ) 12.072 * * [simplify]: Extracting # 0 : cost 0 inf + 16081 12.082 * * [simplify]: Extracting # 1 : cost 4 inf + 16001 12.088 * * [simplify]: Extracting # 2 : cost 0 inf + 16691 12.091 * * [simplify]: iteration 8 : 194 enodes (cost 1447 ) 12.098 * * [simplify]: Extracting # 0 : cost 0 inf + 16691 12.101 * * [simplify]: Extracting # 1 : cost 0 inf + 16611 12.107 * * [simplify]: iteration 9 : 195 enodes (cost 1447 ) 12.116 * * [simplify]: Extracting # 0 : cost 0 inf + 16611 12.124 * * [simplify]: iteration complete: 195 enodes (cost 1447 ) 12.124 * [simplify]: Simplified to: (re (+.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))) 12.124 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 12.132 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 12.240 * * * * [points]: Setting MPFR precision to 832 12.243 * * * * [points]: Setting MPFR precision to 1088 12.245 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 12.367 * * * * [points]: Setting MPFR precision to 832 12.372 * * * * [points]: Setting MPFR precision to 1088 12.377 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 12.488 * * * * [points]: Setting MPFR precision to 832 12.498 * * * * [points]: Setting MPFR precision to 1088 12.508 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 12.625 * * * * [points]: Setting MPFR precision to 832 12.649 * * * * [points]: Setting MPFR precision to 1088 12.684 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 12.852 * * * * [points]: Setting MPFR precision to 832 12.906 * * * * [points]: Setting MPFR precision to 1088 13.010 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 13.441 * * * * [points]: Setting MPFR precision to 832 13.594 * * * * [points]: Setting MPFR precision to 1088 13.740 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 13.841 * * * * [points]: Setting MPFR precision to 832 14.115 * * * * [points]: Setting MPFR precision to 1088 14.537 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 14.628 * * * * [points]: Setting MPFR precision to 832 15.694 * * * * [points]: Setting MPFR precision to 1088 16.425 * * * * [points]: Computing exacts for 8000 points 16.538 * * * * [points]: Setting MPFR precision to 832 20.149 * * * * [points]: Setting MPFR precision to 1088 23.853 * * * * [points]: Filtering points with unrepresentable outputs 23.863 * * * * [points]: Sampled 8000 points with exact outputs 24.164 * [regime-testing]: Baseline error score: 0 24.181 * [regime-testing]: Oracle error score: 0 24.181 * [regime-testing]: End program error score: 0