0.083 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.001 * * * * [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.004 * * * * [points]: Setting MPFR precision to 64 0.005 * * * * [points]: Setting MPFR precision to 320 0.006 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.009 * * * * [points]: Setting MPFR precision to 64 0.011 * * * * [points]: Setting MPFR precision to 320 0.013 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.016 * * * * [points]: Setting MPFR precision to 64 0.019 * * * * [points]: Setting MPFR precision to 320 0.022 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.025 * * * * [points]: Setting MPFR precision to 64 0.030 * * * * [points]: Setting MPFR precision to 320 0.036 * * * * [points]: Computing exacts for 256 points 0.039 * * * * [points]: Setting MPFR precision to 64 0.054 * * * * [points]: Setting MPFR precision to 320 0.083 * * * * [points]: Filtering points with unrepresentable outputs 0.084 * * * * [points]: Sampling 226 additional inputs, on iter 1 have 30 / 256 0.084 * * * * [points]: Computing exacts on every 14 of 226 points to ramp up precision 0.088 * * * * [points]: Setting MPFR precision to 64 0.089 * * * * [points]: Setting MPFR precision to 320 0.090 * * * * [points]: Computing exacts on every 7 of 226 points to ramp up precision 0.094 * * * * [points]: Setting MPFR precision to 64 0.096 * * * * [points]: Setting MPFR precision to 320 0.098 * * * * [points]: Computing exacts on every 3 of 226 points to ramp up precision 0.101 * * * * [points]: Setting MPFR precision to 64 0.104 * * * * [points]: Setting MPFR precision to 320 0.107 * * * * [points]: Computing exacts for 226 points 0.110 * * * * [points]: Setting MPFR precision to 64 0.124 * * * * [points]: Setting MPFR precision to 320 0.138 * * * * [points]: Filtering points with unrepresentable outputs 0.139 * * * * [points]: Sampling 201 additional inputs, on iter 2 have 55 / 256 0.139 * * * * [points]: Computing exacts on every 12 of 201 points to ramp up precision 0.142 * * * * [points]: Setting MPFR precision to 64 0.143 * * * * [points]: Setting MPFR precision to 320 0.144 * * * * [points]: Computing exacts on every 6 of 201 points to ramp up precision 0.147 * * * * [points]: Setting MPFR precision to 64 0.149 * * * * [points]: Setting MPFR precision to 320 0.151 * * * * [points]: Computing exacts on every 3 of 201 points to ramp up precision 0.154 * * * * [points]: Setting MPFR precision to 64 0.157 * * * * [points]: Setting MPFR precision to 320 0.160 * * * * [points]: Computing exacts for 201 points 0.177 * * * * [points]: Setting MPFR precision to 64 0.191 * * * * [points]: Setting MPFR precision to 320 0.203 * * * * [points]: Filtering points with unrepresentable outputs 0.204 * * * * [points]: Sampling 174 additional inputs, on iter 3 have 82 / 256 0.204 * * * * [points]: Computing exacts on every 10 of 174 points to ramp up precision 0.207 * * * * [points]: Setting MPFR precision to 64 0.208 * * * * [points]: Setting MPFR precision to 320 0.209 * * * * [points]: Computing exacts on every 5 of 174 points to ramp up precision 0.212 * * * * [points]: Setting MPFR precision to 64 0.214 * * * * [points]: Setting MPFR precision to 320 0.216 * * * * [points]: Computing exacts on every 2 of 174 points to ramp up precision 0.219 * * * * [points]: Setting MPFR precision to 64 0.222 * * * * [points]: Setting MPFR precision to 320 0.226 * * * * [points]: Computing exacts for 174 points 0.229 * * * * [points]: Setting MPFR precision to 64 0.240 * * * * [points]: Setting MPFR precision to 320 0.250 * * * * [points]: Filtering points with unrepresentable outputs 0.251 * * * * [points]: Sampling 156 additional inputs, on iter 4 have 100 / 256 0.251 * * * * [points]: Computing exacts on every 9 of 156 points to ramp up precision 0.254 * * * * [points]: Setting MPFR precision to 64 0.255 * * * * [points]: Setting MPFR precision to 320 0.256 * * * * [points]: Computing exacts on every 4 of 156 points to ramp up precision 0.512 * * * * [points]: Setting MPFR precision to 64 0.514 * * * * [points]: Setting MPFR precision to 320 0.516 * * * * [points]: Computing exacts on every 2 of 156 points to ramp up precision 0.519 * * * * [points]: Setting MPFR precision to 64 0.524 * * * * [points]: Setting MPFR precision to 320 0.527 * * * * [points]: Computing exacts for 156 points 0.531 * * * * [points]: Setting MPFR precision to 64 0.540 * * * * [points]: Setting MPFR precision to 320 0.550 * * * * [points]: Filtering points with unrepresentable outputs 0.550 * * * * [points]: Sampling 135 additional inputs, on iter 5 have 121 / 256 0.551 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision 0.554 * * * * [points]: Setting MPFR precision to 64 0.555 * * * * [points]: Setting MPFR precision to 320 0.556 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision 0.559 * * * * [points]: Setting MPFR precision to 64 0.560 * * * * [points]: Setting MPFR precision to 320 0.562 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision 0.565 * * * * [points]: Setting MPFR precision to 64 0.568 * * * * [points]: Setting MPFR precision to 320 0.571 * * * * [points]: Computing exacts for 135 points 0.574 * * * * [points]: Setting MPFR precision to 64 0.582 * * * * [points]: Setting MPFR precision to 320 0.591 * * * * [points]: Filtering points with unrepresentable outputs 0.591 * * * * [points]: Sampling 116 additional inputs, on iter 6 have 140 / 256 0.591 * * * * [points]: Computing exacts on every 7 of 116 points to ramp up precision 0.610 * * * * [points]: Setting MPFR precision to 64 0.612 * * * * [points]: Setting MPFR precision to 320 0.613 * * * * [points]: Computing exacts on every 3 of 116 points to ramp up precision 0.616 * * * * [points]: Setting MPFR precision to 64 0.618 * * * * [points]: Setting MPFR precision to 320 0.620 * * * * [points]: Computing exacts for 116 points 0.623 * * * * [points]: Setting MPFR precision to 64 0.630 * * * * [points]: Setting MPFR precision to 320 0.637 * * * * [points]: Filtering points with unrepresentable outputs 0.637 * * * * [points]: Sampling 101 additional inputs, on iter 7 have 155 / 256 0.638 * * * * [points]: Computing exacts on every 6 of 101 points to ramp up precision 0.641 * * * * [points]: Setting MPFR precision to 64 0.642 * * * * [points]: Setting MPFR precision to 320 0.643 * * * * [points]: Computing exacts on every 3 of 101 points to ramp up precision 0.646 * * * * [points]: Setting MPFR precision to 64 0.647 * * * * [points]: Setting MPFR precision to 320 0.649 * * * * [points]: Computing exacts for 101 points 0.652 * * * * [points]: Setting MPFR precision to 64 0.658 * * * * [points]: Setting MPFR precision to 320 0.664 * * * * [points]: Filtering points with unrepresentable outputs 0.665 * * * * [points]: Sampling 84 additional inputs, on iter 8 have 172 / 256 0.665 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision 0.668 * * * * [points]: Setting MPFR precision to 64 0.669 * * * * [points]: Setting MPFR precision to 320 0.670 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision 0.673 * * * * [points]: Setting MPFR precision to 64 0.674 * * * * [points]: Setting MPFR precision to 320 0.676 * * * * [points]: Computing exacts for 84 points 0.679 * * * * [points]: Setting MPFR precision to 64 0.684 * * * * [points]: Setting MPFR precision to 320 0.704 * * * * [points]: Filtering points with unrepresentable outputs 0.705 * * * * [points]: Sampling 71 additional inputs, on iter 9 have 185 / 256 0.705 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision 0.708 * * * * [points]: Setting MPFR precision to 64 0.709 * * * * [points]: Setting MPFR precision to 320 0.710 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision 0.713 * * * * [points]: Setting MPFR precision to 64 0.714 * * * * [points]: Setting MPFR precision to 320 0.716 * * * * [points]: Computing exacts for 71 points 0.719 * * * * [points]: Setting MPFR precision to 64 0.723 * * * * [points]: Setting MPFR precision to 320 0.728 * * * * [points]: Filtering points with unrepresentable outputs 0.728 * * * * [points]: Sampling 64 additional inputs, on iter 10 have 192 / 256 0.728 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision 0.731 * * * * [points]: Setting MPFR precision to 64 0.732 * * * * [points]: Setting MPFR precision to 320 0.733 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision 0.736 * * * * [points]: Setting MPFR precision to 64 0.737 * * * * [points]: Setting MPFR precision to 320 0.738 * * * * [points]: Computing exacts for 64 points 0.741 * * * * [points]: Setting MPFR precision to 64 0.745 * * * * [points]: Setting MPFR precision to 320 0.749 * * * * [points]: Filtering points with unrepresentable outputs 0.749 * * * * [points]: Sampling 57 additional inputs, on iter 11 have 199 / 256 0.750 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision 0.752 * * * * [points]: Setting MPFR precision to 64 0.753 * * * * [points]: Setting MPFR precision to 320 0.754 * * * * [points]: Computing exacts for 57 points 0.757 * * * * [points]: Setting MPFR precision to 64 0.761 * * * * [points]: Setting MPFR precision to 320 0.764 * * * * [points]: Filtering points with unrepresentable outputs 0.765 * * * * [points]: Sampling 47 additional inputs, on iter 12 have 209 / 256 0.765 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision 0.768 * * * * [points]: Setting MPFR precision to 64 0.769 * * * * [points]: Setting MPFR precision to 320 0.770 * * * * [points]: Computing exacts for 47 points 0.773 * * * * [points]: Setting MPFR precision to 64 0.776 * * * * [points]: Setting MPFR precision to 320 0.790 * * * * [points]: Filtering points with unrepresentable outputs 0.790 * * * * [points]: Sampling 40 additional inputs, on iter 13 have 216 / 256 0.791 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision 0.795 * * * * [points]: Setting MPFR precision to 64 0.796 * * * * [points]: Setting MPFR precision to 320 0.797 * * * * [points]: Computing exacts for 40 points 0.800 * * * * [points]: Setting MPFR precision to 64 0.802 * * * * [points]: Setting MPFR precision to 320 0.805 * * * * [points]: Filtering points with unrepresentable outputs 0.805 * * * * [points]: Sampling 39 additional inputs, on iter 14 have 217 / 256 0.805 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision 0.808 * * * * [points]: Setting MPFR precision to 64 0.809 * * * * [points]: Setting MPFR precision to 320 0.810 * * * * [points]: Computing exacts for 39 points 0.813 * * * * [points]: Setting MPFR precision to 64 0.815 * * * * [points]: Setting MPFR precision to 320 0.818 * * * * [points]: Filtering points with unrepresentable outputs 0.818 * * * * [points]: Sampling 35 additional inputs, on iter 15 have 221 / 256 0.818 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision 0.821 * * * * [points]: Setting MPFR precision to 64 0.821 * * * * [points]: Setting MPFR precision to 320 0.822 * * * * [points]: Computing exacts for 35 points 0.825 * * * * [points]: Setting MPFR precision to 64 0.827 * * * * [points]: Setting MPFR precision to 320 0.830 * * * * [points]: Filtering points with unrepresentable outputs 0.830 * * * * [points]: Sampling 33 additional inputs, on iter 16 have 223 / 256 0.830 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 0.833 * * * * [points]: Setting MPFR precision to 64 0.834 * * * * [points]: Setting MPFR precision to 320 0.834 * * * * [points]: Computing exacts for 33 points 0.837 * * * * [points]: Setting MPFR precision to 64 0.839 * * * * [points]: Setting MPFR precision to 320 0.841 * * * * [points]: Filtering points with unrepresentable outputs 0.841 * * * * [points]: Sampling 27 additional inputs, on iter 17 have 229 / 256 0.842 * * * * [points]: Computing exacts for 27 points 0.845 * * * * [points]: Setting MPFR precision to 64 0.846 * * * * [points]: Setting MPFR precision to 320 0.848 * * * * [points]: Filtering points with unrepresentable outputs 0.848 * * * * [points]: Sampling 22 additional inputs, on iter 18 have 234 / 256 0.848 * * * * [points]: Computing exacts for 22 points 0.851 * * * * [points]: Setting MPFR precision to 64 0.853 * * * * [points]: Setting MPFR precision to 320 0.854 * * * * [points]: Filtering points with unrepresentable outputs 0.854 * * * * [points]: Sampling 18 additional inputs, on iter 19 have 238 / 256 0.854 * * * * [points]: Computing exacts for 18 points 0.857 * * * * [points]: Setting MPFR precision to 64 0.858 * * * * [points]: Setting MPFR precision to 320 0.859 * * * * [points]: Filtering points with unrepresentable outputs 0.859 * * * * [points]: Sampling 16 additional inputs, on iter 20 have 240 / 256 0.859 * * * * [points]: Computing exacts for 16 points 0.874 * * * * [points]: Setting MPFR precision to 64 0.875 * * * * [points]: Setting MPFR precision to 320 0.876 * * * * [points]: Filtering points with unrepresentable outputs 0.876 * * * * [points]: Sampling 15 additional inputs, on iter 21 have 241 / 256 0.876 * * * * [points]: Computing exacts for 15 points 0.879 * * * * [points]: Setting MPFR precision to 64 0.880 * * * * [points]: Setting MPFR precision to 320 0.881 * * * * [points]: Filtering points with unrepresentable outputs 0.881 * * * * [points]: Sampling 12 additional inputs, on iter 22 have 244 / 256 0.881 * * * * [points]: Computing exacts for 12 points 0.884 * * * * [points]: Setting MPFR precision to 64 0.885 * * * * [points]: Setting MPFR precision to 320 0.886 * * * * [points]: Filtering points with unrepresentable outputs 0.886 * * * * [points]: Sampling 9 additional inputs, on iter 23 have 247 / 256 0.886 * * * * [points]: Computing exacts for 9 points 0.889 * * * * [points]: Setting MPFR precision to 64 0.890 * * * * [points]: Setting MPFR precision to 320 0.890 * * * * [points]: Filtering points with unrepresentable outputs 0.890 * * * * [points]: Sampling 8 additional inputs, on iter 24 have 248 / 256 0.890 * * * * [points]: Computing exacts for 8 points 0.893 * * * * [points]: Setting MPFR precision to 64 0.894 * * * * [points]: Setting MPFR precision to 320 0.894 * * * * [points]: Filtering points with unrepresentable outputs 0.894 * * * * [points]: Sampling 6 additional inputs, on iter 25 have 250 / 256 0.894 * * * * [points]: Computing exacts for 6 points 0.897 * * * * [points]: Setting MPFR precision to 64 0.898 * * * * [points]: Setting MPFR precision to 320 0.898 * * * * [points]: Filtering points with unrepresentable outputs 0.898 * * * * [points]: Sampling 6 additional inputs, on iter 26 have 250 / 256 0.898 * * * * [points]: Computing exacts for 6 points 0.901 * * * * [points]: Setting MPFR precision to 64 0.902 * * * * [points]: Setting MPFR precision to 320 0.902 * * * * [points]: Filtering points with unrepresentable outputs 0.902 * * * * [points]: Sampling 6 additional inputs, on iter 27 have 250 / 256 0.902 * * * * [points]: Computing exacts for 6 points 0.905 * * * * [points]: Setting MPFR precision to 64 0.906 * * * * [points]: Setting MPFR precision to 320 0.906 * * * * [points]: Filtering points with unrepresentable outputs 0.906 * * * * [points]: Sampling 5 additional inputs, on iter 28 have 251 / 256 0.906 * * * * [points]: Computing exacts for 5 points 0.909 * * * * [points]: Setting MPFR precision to 64 0.909 * * * * [points]: Setting MPFR precision to 320 0.910 * * * * [points]: Filtering points with unrepresentable outputs 0.910 * * * * [points]: Sampling 5 additional inputs, on iter 29 have 251 / 256 0.910 * * * * [points]: Computing exacts for 5 points 0.913 * * * * [points]: Setting MPFR precision to 64 0.913 * * * * [points]: Setting MPFR precision to 320 0.914 * * * * [points]: Filtering points with unrepresentable outputs 0.914 * * * * [points]: Sampling 5 additional inputs, on iter 30 have 251 / 256 0.914 * * * * [points]: Computing exacts for 5 points 0.917 * * * * [points]: Setting MPFR precision to 64 0.917 * * * * [points]: Setting MPFR precision to 320 0.917 * * * * [points]: Filtering points with unrepresentable outputs 0.917 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 253 / 256 0.917 * * * * [points]: Computing exacts for 4 points 0.920 * * * * [points]: Setting MPFR precision to 64 0.921 * * * * [points]: Setting MPFR precision to 320 0.921 * * * * [points]: Filtering points with unrepresentable outputs 0.921 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256 0.921 * * * * [points]: Computing exacts for 4 points 0.924 * * * * [points]: Setting MPFR precision to 64 0.924 * * * * [points]: Setting MPFR precision to 320 0.925 * * * * [points]: Filtering points with unrepresentable outputs 0.925 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 253 / 256 0.925 * * * * [points]: Computing exacts for 4 points 0.928 * * * * [points]: Setting MPFR precision to 64 0.928 * * * * [points]: Setting MPFR precision to 320 0.928 * * * * [points]: Filtering points with unrepresentable outputs 0.928 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 253 / 256 0.928 * * * * [points]: Computing exacts for 4 points 0.931 * * * * [points]: Setting MPFR precision to 64 0.932 * * * * [points]: Setting MPFR precision to 320 0.932 * * * * [points]: Filtering points with unrepresentable outputs 0.932 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 253 / 256 0.932 * * * * [points]: Computing exacts for 4 points 0.941 * * * * [points]: Setting MPFR precision to 64 0.942 * * * * [points]: Setting MPFR precision to 320 0.942 * * * * [points]: Filtering points with unrepresentable outputs 0.942 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 253 / 256 0.942 * * * * [points]: Computing exacts for 4 points 0.946 * * * * [points]: Setting MPFR precision to 64 0.947 * * * * [points]: Setting MPFR precision to 320 0.947 * * * * [points]: Filtering points with unrepresentable outputs 0.947 * * * * [points]: Sampling 4 additional inputs, on iter 37 have 253 / 256 0.947 * * * * [points]: Computing exacts for 4 points 0.950 * * * * [points]: Setting MPFR precision to 64 0.950 * * * * [points]: Setting MPFR precision to 320 0.951 * * * * [points]: Filtering points with unrepresentable outputs 0.951 * * * * [points]: Sampling 4 additional inputs, on iter 38 have 254 / 256 0.951 * * * * [points]: Computing exacts for 4 points 0.954 * * * * [points]: Setting MPFR precision to 64 0.954 * * * * [points]: Setting MPFR precision to 320 0.954 * * * * [points]: Filtering points with unrepresentable outputs 0.954 * * * * [points]: Sampling 4 additional inputs, on iter 39 have 254 / 256 0.954 * * * * [points]: Computing exacts for 4 points 0.957 * * * * [points]: Setting MPFR precision to 64 0.958 * * * * [points]: Setting MPFR precision to 320 0.958 * * * * [points]: Filtering points with unrepresentable outputs 0.958 * * * * [points]: Sampling 4 additional inputs, on iter 40 have 254 / 256 0.958 * * * * [points]: Computing exacts for 4 points 0.961 * * * * [points]: Setting MPFR precision to 64 0.961 * * * * [points]: Setting MPFR precision to 320 0.961 * * * * [points]: Filtering points with unrepresentable outputs 0.961 * * * * [points]: Sampling 4 additional inputs, on iter 41 have 255 / 256 0.962 * * * * [points]: Computing exacts for 4 points 0.964 * * * * [points]: Setting MPFR precision to 64 0.965 * * * * [points]: Setting MPFR precision to 320 0.965 * * * * [points]: Filtering points with unrepresentable outputs 0.965 * * * * [points]: Sampling 4 additional inputs, on iter 42 have 255 / 256 0.965 * * * * [points]: Computing exacts for 4 points 0.968 * * * * [points]: Setting MPFR precision to 64 0.968 * * * * [points]: Setting MPFR precision to 320 0.969 * * * * [points]: Filtering points with unrepresentable outputs 0.969 * * * * [points]: Sampling 4 additional inputs, on iter 43 have 255 / 256 0.969 * * * * [points]: Computing exacts for 4 points 0.972 * * * * [points]: Setting MPFR precision to 64 0.972 * * * * [points]: Setting MPFR precision to 320 0.972 * * * * [points]: Filtering points with unrepresentable outputs 0.972 * * * * [points]: Sampled 256 points with exact outputs 0.972 * * * [progress]: [2/2] Setting up program. 0.979 * [progress]: [Phase 2 of 3] Improving. 0.979 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) #) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) #) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) #) c))))> 0.980 * [simplify]: Simplifying: (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) #) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) #) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) #) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) #) c))) 0.980 * * [simplify]: iteration 0: 20 enodes 0.993 * * [simplify]: iteration 1: 39 enodes 1.021 * * [simplify]: iteration 2: 116 enodes 1.126 * * [simplify]: iteration 3: 636 enodes 1.986 * * [simplify]: iteration 4: 4015 enodes 3.379 * * [simplify]: iteration complete: 5002 enodes 3.379 * * [simplify]: Extracting #0: cost 1 inf + 0 3.380 * * [simplify]: Extracting #1: cost 2 inf + 0 3.380 * * [simplify]: Extracting #2: cost 75 inf + 0 3.381 * * [simplify]: Extracting #3: cost 606 inf + 1 3.387 * * [simplify]: Extracting #4: cost 1211 inf + 79458 3.427 * * [simplify]: Extracting #5: cost 828 inf + 1197484 3.523 * * [simplify]: Extracting #6: cost 84 inf + 2645563 3.640 * * [simplify]: Extracting #7: cost 0 inf + 2833211 3.759 * [simplify]: Simplified to: (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) #) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) #) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) #) a) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) #) b))))