34.222 * [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.017 * * * * [points]: Setting MPFR precision to 64 0.019 * * * * [points]: Setting MPFR precision to 320 0.022 * * * * [points]: Setting MPFR precision to 576 0.024 * * * * [points]: Setting MPFR precision to 832 0.026 * * * * [points]: Setting MPFR precision to 1088 0.029 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.126 * * * * [points]: Setting MPFR precision to 832 0.130 * * * * [points]: Setting MPFR precision to 1088 0.135 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.251 * * * * [points]: Setting MPFR precision to 832 0.262 * * * * [points]: Setting MPFR precision to 1088 0.269 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.371 * * * * [points]: Setting MPFR precision to 832 0.395 * * * * [points]: Setting MPFR precision to 1088 0.421 * * * * [points]: Computing exacts for 256 points 0.531 * * * * [points]: Setting MPFR precision to 832 0.599 * * * * [points]: Setting MPFR precision to 1088 0.646 * * * * [points]: Filtering points with unrepresentable outputs 0.647 * * * * [points]: Sampled 256 points with exact outputs 0.647 * * * [progress]: [2/2] Setting up program. 0.658 * [progress]: [Phase 2 of 3] Improving. 0.658 * [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.658 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.658 * * [simplify]: Extracting # 1 : cost 2 inf + 0 0.659 * * [simplify]: Extracting # 2 : cost 4 inf + 0 0.659 * * [simplify]: Extracting # 3 : cost 8 inf + 0 0.659 * * [simplify]: Extracting # 4 : cost 9 inf + 4 0.659 * * [simplify]: Extracting # 5 : cost 15 inf + 4 0.659 * * [simplify]: Extracting # 6 : cost 19 inf + 7 0.659 * * [simplify]: Extracting # 7 : cost 23 inf + 8 0.659 * * [simplify]: Extracting # 8 : cost 19 inf + 93 0.659 * * [simplify]: Extracting # 9 : cost 12 inf + 2678 0.660 * * [simplify]: Extracting # 10 : cost 8 inf + 4689 0.661 * * [simplify]: Extracting # 11 : cost 5 inf + 7221 0.662 * * [simplify]: Extracting # 12 : cost 4 inf + 9425 0.664 * * [simplify]: Extracting # 13 : cost 1 inf + 19083 0.666 * * [simplify]: Extracting # 14 : cost 0 inf + 22490 0.669 * * [simplify]: iteration 0 : 31 enodes (cost 3407 ) 0.688 * * [simplify]: Extracting # 0 : cost 0 inf + 22490 0.691 * * [simplify]: Extracting # 1 : cost 13 inf + 21850 0.695 * * [simplify]: Extracting # 2 : cost 20 inf + 26153 0.700 * * [simplify]: Extracting # 3 : cost 7 inf + 27828 0.705 * * [simplify]: Extracting # 4 : cost 0 inf + 29339 0.712 * * [simplify]: Extracting # 5 : cost 0 inf + 27419 0.719 * * [simplify]: Extracting # 6 : cost 0 inf + 24059 0.727 * * [simplify]: iteration 1 : 81 enodes (cost 2127 ) 0.798 * * [simplify]: Extracting # 0 : cost 0 inf + 24059 0.804 * * [simplify]: Extracting # 1 : cost 75 inf + 23804 0.813 * * [simplify]: Extracting # 2 : cost 58 inf + 54557 0.826 * * [simplify]: Extracting # 3 : cost 14 inf + 66932 0.845 * * [simplify]: Extracting # 4 : cost 0 inf + 73488 0.876 * * [simplify]: Extracting # 5 : cost 0 inf + 73168 0.908 * * [simplify]: iteration 2 : 303 enodes (cost 1757 ) 1.452 * * [simplify]: Extracting # 0 : cost 0 inf + 73168 1.501 * * [simplify]: Extracting # 1 : cost 286 inf + 72053 1.579 * * [simplify]: Extracting # 2 : cost 30 inf + 188372 1.673 * * [simplify]: Extracting # 3 : cost 8 inf + 199918 1.797 * * [simplify]: Extracting # 4 : cost 0 inf + 205830 1.882 * * [simplify]: iteration 3 : 1159 enodes (cost 1437 ) 2.431 * * [simplify]: Extracting # 0 : cost 0 inf + 205830 2.580 * * [simplify]: Extracting # 1 : cost 1859 inf + 203790 3.102 * * [simplify]: Extracting # 2 : cost 176 inf + 1441557 3.830 * * [simplify]: Extracting # 3 : cost 38 inf + 1505348 4.461 * * [simplify]: Extracting # 4 : cost 0 inf + 1534967 5.130 * * [simplify]: Extracting # 5 : cost 0 inf + 1533027 5.814 * * [simplify]: Extracting # 6 : cost 0 inf + 1532322 6.522 * * [simplify]: Extracting # 7 : cost 0 inf + 1532262 7.190 * * [simplify]: iteration complete: 5002 enodes (cost 1407 ) 7.191 * [simplify]: Simplified to: (re (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex 5.0 0.0) (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 4.0 0.0))) (complex 7.0 0.0))) 7.203 * * [progress]: iteration 1 / 4 7.203 * * * [progress]: picking best candidate 7.215 * * * * [pick]: Picked # 7.215 * * * [progress]: localizing error 7.303 * * * [progress]: generating rewritten candidates 7.303 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2 1 2 2 1 2) 7.403 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 2 1 2 2 2 2) 7.550 * * * [progress]: generating series expansions 7.550 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2 1 2 2 1 2) 7.550 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 2 1 2 2 2 2) 7.550 * * * [progress]: simplifying candidates 7.553 * [simplify]: Simplifying: (expm1 (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (log1p (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (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)) (expm1 (* (/ (sqrt 3.0) 2.0) (+ (/ (- 1.0) 2.0) (- 2.0)))) (log1p (* (/ (sqrt 3.0) 2.0) (+ (/ (- 1.0) 2.0) (- 2.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) 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 (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex 5.0 0.0) (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 4.0 0.0))) (complex 7.0 0.0))) (re (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex 5.0 0.0) (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 4.0 0.0))) (complex 7.0 0.0))) 7.557 * * [simplify]: Extracting # 0 : cost 86 inf + 0 7.557 * * [simplify]: Extracting # 1 : cost 133 inf + 0 7.558 * * [simplify]: Extracting # 2 : cost 156 inf + 44 7.558 * * [simplify]: Extracting # 3 : cost 145 inf + 2422 7.561 * * [simplify]: Extracting # 4 : cost 81 inf + 15343 7.565 * * [simplify]: Extracting # 5 : cost 49 inf + 24102 7.573 * * [simplify]: Extracting # 6 : cost 18 inf + 35294 7.579 * * [simplify]: Extracting # 7 : cost 11 inf + 39403 7.585 * * [simplify]: Extracting # 8 : cost 12 inf + 39404 7.592 * * [simplify]: Extracting # 9 : cost 8 inf + 40256 7.599 * * [simplify]: Extracting # 10 : cost 6 inf + 41184 7.608 * * [simplify]: Extracting # 11 : cost 1 inf + 46453 7.617 * * [simplify]: Extracting # 12 : cost 0 inf + 47860 7.624 * * [simplify]: iteration 0 : 180 enodes (cost 38181 ) 7.667 * * [simplify]: Extracting # 0 : cost 0 inf + 47860 7.673 * * [simplify]: Extracting # 1 : cost 262 inf + 45694 7.699 * * [simplify]: Extracting # 2 : cost 6 inf + 104524 7.717 * * [simplify]: Extracting # 3 : cost 0 inf + 104351 7.731 * * [simplify]: Extracting # 4 : cost 0 inf + 103711 7.748 * * [simplify]: Extracting # 5 : cost 0 inf + 103591 7.763 * * [simplify]: iteration 1 : 756 enodes (cost 34252 ) 8.217 * * [simplify]: Extracting # 0 : cost 0 inf + 103591 8.264 * * [simplify]: Extracting # 1 : cost 654 inf + 102529 8.359 * * [simplify]: Extracting # 2 : cost 54 inf + 242934 8.466 * * [simplify]: Extracting # 3 : cost 10 inf + 255396 8.543 * * [simplify]: Extracting # 4 : cost 0 inf + 259852 8.641 * * [simplify]: Extracting # 5 : cost 0 inf + 259212 8.754 * * [simplify]: Extracting # 6 : cost 0 inf + 258972 8.836 * * [simplify]: Extracting # 7 : cost 0 inf + 258892 8.946 * * [simplify]: iteration 2 : 2911 enodes (cost 33645 ) 10.335 * * [simplify]: Extracting # 0 : cost 0 inf + 258892 10.468 * * [simplify]: Extracting # 1 : cost 586 inf + 253006 10.579 * * [simplify]: Extracting # 2 : cost 131 inf + 377120 10.746 * * [simplify]: Extracting # 3 : cost 30 inf + 417610 10.908 * * [simplify]: Extracting # 4 : cost 0 inf + 432708 11.111 * * [simplify]: iteration complete: 5000 enodes (cost 33180 ) 11.112 * [simplify]: Simplified to: (expm1 (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (log1p (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (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))) (* (fma (* 0.0 0.0) 0.0 (* (/ (sqrt 3.0) 2.0) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)))) (sqrt 3.0)) (* (fma (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0) (* 0.0 (- 0.0 (/ (sqrt 3.0) 2.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) (* 0.0 (/ (sqrt 3.0) 2.0)) (/ (/ 3.0 2.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) (/ (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) (* (fma (* 0.0 0.0) 0.0 (* (/ (sqrt 3.0) 2.0) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.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))) (* (sqrt 3.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (expm1 (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt 3.0) 2.0))) (log1p (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt 3.0) 2.0))) (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt 3.0) 2.0)) (log (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt 3.0) 2.0))) (log (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt 3.0) 2.0))) (log (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt 3.0) 2.0))) (exp (* (- (/ (- 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))) (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt 3.0) 2.0))) (* (cbrt (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt 3.0) 2.0))) (cbrt (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt 3.0) 2.0)))) (cbrt (* (- (/ (- 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))) (sqrt (* (- (/ (- 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) (fma (* 2.0 2.0) (- 2.0) (* (/ (- 1.0) 2.0) (* (/ (- 1.0) 2.0) (/ (- 1.0) 2.0))))) (* (fma (/ (- 1.0) 2.0) (/ (- 1.0) 2.0) (* 2.0 (+ 2.0 (/ (- 1.0) 2.0)))) 2.0) (* (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (* 2.0 2.0)) (sqrt 3.0)) (* 2.0 (+ 2.0 (/ (- 1.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 (- (/ (- 1.0) 2.0) 2.0)) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.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)) (- (/ (- 1.0) 2.0) 2.0)) (cbrt 2.0)) (/ (* (cbrt (sqrt 3.0)) (- (/ (- 1.0) 2.0) 2.0)) (sqrt 2.0)) (/ (* (cbrt (sqrt 3.0)) (- (/ (- 1.0) 2.0) 2.0)) 2.0) (* (/ (sqrt (cbrt 3.0)) (cbrt 2.0)) (- (/ (- 1.0) 2.0) 2.0)) (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt (cbrt 3.0)) (sqrt 2.0))) (* (/ (sqrt (cbrt 3.0)) 2.0) (- (/ (- 1.0) 2.0) 2.0)) (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt (sqrt 3.0)) (cbrt 2.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (- (/ (- 1.0) 2.0) 2.0)) (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt (sqrt 3.0)) 2.0)) (* (/ (sqrt 3.0) (cbrt 2.0)) (- (/ (- 1.0) 2.0) 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))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (- (/ (- 1.0) 2.0) 2.0)) (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt (sqrt 3.0)) 2.0)) (* (/ (sqrt 3.0) (cbrt 2.0)) (- (/ (- 1.0) 2.0) 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) 2.0) (* (fma (* 2.0 2.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)) (* 2.0 2.0))) (* (- (/ (- 1.0) 2.0) 2.0) (sqrt 3.0)) (re (+.c (complex 7.0 0.0) (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex 4.0 0.0) (complex (- (* (+ 5.0 (- (* (/ (- 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)) (* (+ 0.0 (fma (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0) (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt 3.0) 2.0)))) (/ (sqrt 3.0) 2.0))) (fma (+ 5.0 (- (* (/ (- 1.0) 2.0) (- (/ (- 1.0) 2.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))) (/ (sqrt 3.0) 2.0) (* (+ 0.0 (fma (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0) (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt 3.0) 2.0)))) (/ (- 1.0) 2.0)))))))) (re (+.c (complex 7.0 0.0) (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex 4.0 0.0) (complex (- (* (+ 5.0 (- (* (/ (- 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)) (* (+ 0.0 (fma (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0) (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt 3.0) 2.0)))) (/ (sqrt 3.0) 2.0))) (fma (+ 5.0 (- (* (/ (- 1.0) 2.0) (- (/ (- 1.0) 2.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))) (/ (sqrt 3.0) 2.0) (* (+ 0.0 (fma (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0) (* (- (/ (- 1.0) 2.0) 2.0) (/ (sqrt 3.0) 2.0)))) (/ (- 1.0) 2.0)))))))) 11.145 * * * [progress]: adding candidates to table 11.950 * [progress]: [Phase 3 of 3] Extracting. 11.957 * [simplify]: Simplifying: (re (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex 5.0 0.0) (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 4.0 0.0))) (complex 7.0 0.0))) 11.957 * * [simplify]: Extracting # 0 : cost 1 inf + 0 11.957 * * [simplify]: Extracting # 1 : cost 2 inf + 0 11.957 * * [simplify]: Extracting # 2 : cost 4 inf + 0 11.957 * * [simplify]: Extracting # 3 : cost 8 inf + 0 11.957 * * [simplify]: Extracting # 4 : cost 9 inf + 4 11.957 * * [simplify]: Extracting # 5 : cost 14 inf + 4 11.957 * * [simplify]: Extracting # 6 : cost 15 inf + 8 11.958 * * [simplify]: Extracting # 7 : cost 15 inf + 51 11.958 * * [simplify]: Extracting # 8 : cost 16 inf + 175 11.958 * * [simplify]: Extracting # 9 : cost 15 inf + 422 11.958 * * [simplify]: Extracting # 10 : cost 13 inf + 952 11.958 * * [simplify]: Extracting # 11 : cost 10 inf + 1357 11.958 * * [simplify]: Extracting # 12 : cost 8 inf + 2044 11.959 * * [simplify]: Extracting # 13 : cost 6 inf + 2972 11.959 * * [simplify]: Extracting # 14 : cost 5 inf + 3577 11.960 * * [simplify]: Extracting # 15 : cost 3 inf + 5508 11.961 * * [simplify]: Extracting # 16 : cost 1 inf + 8241 11.962 * * [simplify]: Extracting # 17 : cost 0 inf + 9648 11.964 * * [simplify]: iteration 0 : 31 enodes (cost 1407 ) 11.967 * * [simplify]: Extracting # 0 : cost 0 inf + 9648 11.968 * * [simplify]: Extracting # 1 : cost 1 inf + 9648 11.970 * * [simplify]: Extracting # 2 : cost 0 inf + 9690 11.971 * * [simplify]: iteration 1 : 45 enodes (cost 1407 ) 11.974 * * [simplify]: Extracting # 0 : cost 0 inf + 9690 11.976 * * [simplify]: Extracting # 1 : cost 6 inf + 9690 11.978 * * [simplify]: Extracting # 2 : cost 0 inf + 10626 11.979 * * [simplify]: Extracting # 3 : cost 0 inf + 10506 11.981 * * [simplify]: iteration 2 : 57 enodes (cost 1407 ) 11.988 * * [simplify]: Extracting # 0 : cost 0 inf + 10506 11.991 * * [simplify]: Extracting # 1 : cost 7 inf + 10506 11.995 * * [simplify]: Extracting # 2 : cost 0 inf + 11683 11.998 * * [simplify]: iteration 3 : 83 enodes (cost 1407 ) 12.007 * * [simplify]: Extracting # 0 : cost 0 inf + 11683 12.010 * * [simplify]: Extracting # 1 : cost 9 inf + 11403 12.014 * * [simplify]: Extracting # 2 : cost 0 inf + 12783 12.019 * * [simplify]: Extracting # 3 : cost 0 inf + 12703 12.023 * * [simplify]: Extracting # 4 : cost 0 inf + 12663 12.028 * * [simplify]: iteration 4 : 116 enodes (cost 1407 ) 12.037 * * [simplify]: Extracting # 0 : cost 0 inf + 12663 12.042 * * [simplify]: Extracting # 1 : cost 7 inf + 12503 12.046 * * [simplify]: Extracting # 2 : cost 0 inf + 13678 12.053 * * [simplify]: iteration 5 : 139 enodes (cost 1407 ) 12.064 * * [simplify]: Extracting # 0 : cost 0 inf + 13678 12.069 * * [simplify]: Extracting # 1 : cost 1 inf + 13518 12.074 * * [simplify]: Extracting # 2 : cost 0 inf + 13680 12.079 * * [simplify]: iteration 6 : 145 enodes (cost 1407 ) 12.088 * * [simplify]: Extracting # 0 : cost 0 inf + 13680 12.094 * * [simplify]: Extracting # 1 : cost 2 inf + 13600 12.099 * * [simplify]: Extracting # 2 : cost 0 inf + 13924 12.104 * * [simplify]: iteration 7 : 152 enodes (cost 1407 ) 12.112 * * [simplify]: Extracting # 0 : cost 0 inf + 13924 12.117 * * [simplify]: Extracting # 1 : cost 3 inf + 13844 12.122 * * [simplify]: Extracting # 2 : cost 0 inf + 14453 12.128 * * [simplify]: iteration 8 : 159 enodes (cost 1407 ) 12.133 * * [simplify]: Extracting # 0 : cost 0 inf + 14453 12.136 * * [simplify]: Extracting # 1 : cost 1 inf + 14373 12.140 * * [simplify]: Extracting # 2 : cost 0 inf + 14454 12.143 * * [simplify]: iteration 9 : 165 enodes (cost 1407 ) 12.147 * * [simplify]: Extracting # 0 : cost 0 inf + 14454 12.150 * * [simplify]: Extracting # 1 : cost 0 inf + 14374 12.154 * * [simplify]: iteration 10 : 167 enodes (cost 1407 ) 12.157 * * [simplify]: Extracting # 0 : cost 0 inf + 14374 12.161 * * [simplify]: iteration complete: 167 enodes (cost 1407 ) 12.161 * [simplify]: Simplified to: (re (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex 5.0 0.0) (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 4.0 0.0))) (complex 7.0 0.0))) 12.161 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 12.165 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 12.297 * * * * [points]: Setting MPFR precision to 832 12.300 * * * * [points]: Setting MPFR precision to 1088 12.302 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 12.399 * * * * [points]: Setting MPFR precision to 832 12.408 * * * * [points]: Setting MPFR precision to 1088 12.417 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 12.517 * * * * [points]: Setting MPFR precision to 832 12.526 * * * * [points]: Setting MPFR precision to 1088 12.536 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 12.665 * * * * [points]: Setting MPFR precision to 832 12.692 * * * * [points]: Setting MPFR precision to 1088 12.725 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 12.859 * * * * [points]: Setting MPFR precision to 832 12.934 * * * * [points]: Setting MPFR precision to 1088 12.987 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 13.140 * * * * [points]: Setting MPFR precision to 832 13.254 * * * * [points]: Setting MPFR precision to 1088 13.405 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 13.526 * * * * [points]: Setting MPFR precision to 832 14.224 * * * * [points]: Setting MPFR precision to 1088 14.577 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 14.731 * * * * [points]: Setting MPFR precision to 832 15.317 * * * * [points]: Setting MPFR precision to 1088 16.543 * * * * [points]: Computing exacts for 8000 points 16.687 * * * * [points]: Setting MPFR precision to 832 19.433 * * * * [points]: Setting MPFR precision to 1088 23.036 * * * * [points]: Filtering points with unrepresentable outputs 23.046 * * * * [points]: Sampled 8000 points with exact outputs 23.862 * [regime-testing]: Baseline error score: 0 23.878 * [regime-testing]: Oracle error score: 0 23.878 * [regime-testing]: End program error score: 0