0.367 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.077 * * * * [points]: Setting MPFR precision to 64 0.079 * * * * [points]: Setting MPFR precision to 320 0.082 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.084 * * * * [points]: Setting MPFR precision to 64 0.086 * * * * [points]: Setting MPFR precision to 320 0.089 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.091 * * * * [points]: Setting MPFR precision to 64 0.096 * * * * [points]: Setting MPFR precision to 320 0.101 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.102 * * * * [points]: Setting MPFR precision to 64 0.110 * * * * [points]: Setting MPFR precision to 320 0.118 * * * * [points]: Computing exacts for 256 points 0.120 * * * * [points]: Setting MPFR precision to 64 0.144 * * * * [points]: Setting MPFR precision to 320 0.171 * * * * [points]: Filtering points with unrepresentable outputs 0.172 * * * * [points]: Sampling 142 additional inputs, on iter 1 have 114 / 256 0.173 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision 0.175 * * * * [points]: Setting MPFR precision to 64 0.176 * * * * [points]: Setting MPFR precision to 320 0.178 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision 0.179 * * * * [points]: Setting MPFR precision to 64 0.182 * * * * [points]: Setting MPFR precision to 320 0.185 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision 0.187 * * * * [points]: Setting MPFR precision to 64 0.223 * * * * [points]: Setting MPFR precision to 320 0.228 * * * * [points]: Computing exacts for 142 points 0.230 * * * * [points]: Setting MPFR precision to 64 0.245 * * * * [points]: Setting MPFR precision to 320 0.260 * * * * [points]: Filtering points with unrepresentable outputs 0.261 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256 0.261 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision 0.263 * * * * [points]: Setting MPFR precision to 64 0.264 * * * * [points]: Setting MPFR precision to 320 0.266 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision 0.267 * * * * [points]: Setting MPFR precision to 64 0.270 * * * * [points]: Setting MPFR precision to 320 0.272 * * * * [points]: Computing exacts for 67 points 0.274 * * * * [points]: Setting MPFR precision to 64 0.280 * * * * [points]: Setting MPFR precision to 320 0.288 * * * * [points]: Filtering points with unrepresentable outputs 0.288 * * * * [points]: Sampling 35 additional inputs, on iter 3 have 221 / 256 0.288 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision 0.290 * * * * [points]: Setting MPFR precision to 64 0.291 * * * * [points]: Setting MPFR precision to 320 0.292 * * * * [points]: Computing exacts for 35 points 0.294 * * * * [points]: Setting MPFR precision to 64 0.297 * * * * [points]: Setting MPFR precision to 320 0.300 * * * * [points]: Filtering points with unrepresentable outputs 0.300 * * * * [points]: Sampling 21 additional inputs, on iter 4 have 235 / 256 0.300 * * * * [points]: Computing exacts for 21 points 0.302 * * * * [points]: Setting MPFR precision to 64 0.304 * * * * [points]: Setting MPFR precision to 320 0.306 * * * * [points]: Filtering points with unrepresentable outputs 0.307 * * * * [points]: Sampling 13 additional inputs, on iter 5 have 243 / 256 0.307 * * * * [points]: Computing exacts for 13 points 0.308 * * * * [points]: Setting MPFR precision to 64 0.310 * * * * [points]: Setting MPFR precision to 320 0.311 * * * * [points]: Filtering points with unrepresentable outputs 0.311 * * * * [points]: Sampling 7 additional inputs, on iter 6 have 249 / 256 0.311 * * * * [points]: Computing exacts for 7 points 0.313 * * * * [points]: Setting MPFR precision to 64 0.314 * * * * [points]: Setting MPFR precision to 320 0.314 * * * * [points]: Filtering points with unrepresentable outputs 0.314 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256 0.315 * * * * [points]: Computing exacts for 4 points 0.316 * * * * [points]: Setting MPFR precision to 64 0.317 * * * * [points]: Setting MPFR precision to 320 0.317 * * * * [points]: Filtering points with unrepresentable outputs 0.317 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256 0.317 * * * * [points]: Computing exacts for 4 points 0.319 * * * * [points]: Setting MPFR precision to 64 0.319 * * * * [points]: Setting MPFR precision to 320 0.320 * * * * [points]: Filtering points with unrepresentable outputs 0.320 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256 0.320 * * * * [points]: Computing exacts for 4 points 0.321 * * * * [points]: Setting MPFR precision to 64 0.322 * * * * [points]: Setting MPFR precision to 320 0.322 * * * * [points]: Filtering points with unrepresentable outputs 0.323 * * * * [points]: Sampled 257 points with exact outputs 0.323 * * * [progress]: [2/2] Setting up program. 0.365 * [progress]: [Phase 2 of 3] Improving. 0.367 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.368 * * [simplify]: iteration 0: 12 enodes 0.372 * * [simplify]: iteration 1: 16 enodes 0.374 * * [simplify]: iteration complete: 16 enodes 0.374 * * [simplify]: Extracting #0: cost 1 inf + 0 0.374 * * [simplify]: Extracting #1: cost 2 inf + 0 0.374 * * [simplify]: Extracting #2: cost 4 inf + 0 0.374 * * [simplify]: Extracting #3: cost 8 inf + 0 0.374 * * [simplify]: Extracting #4: cost 7 inf + 4 0.374 * * [simplify]: Extracting #5: cost 11 inf + 4 0.374 * * [simplify]: Extracting #6: cost 8 inf + 47 0.375 * * [simplify]: Extracting #7: cost 3 inf + 396 0.377 * * [simplify]: Extracting #8: cost 0 inf + 2186 0.377 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 0.379 * * [progress]: iteration 1 / 4 0.379 * * * [progress]: picking best candidate 0.383 * * * * [pick]: Picked # 0.383 * * * [progress]: localizing error 0.426 * * * [progress]: generating rewritten candidates 0.426 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.429 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2) 0.429 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 0.430 * * * [progress]: generating series expansions 0.430 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.430 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2) 0.430 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 0.430 * * * [progress]: simplifying candidates 0.431 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.431 * * [simplify]: iteration 0: 12 enodes 0.432 * * [simplify]: iteration 1: 16 enodes 0.434 * * [simplify]: iteration complete: 16 enodes 0.434 * * [simplify]: Extracting #0: cost 1 inf + 0 0.434 * * [simplify]: Extracting #1: cost 2 inf + 0 0.434 * * [simplify]: Extracting #2: cost 4 inf + 0 0.434 * * [simplify]: Extracting #3: cost 8 inf + 0 0.434 * * [simplify]: Extracting #4: cost 7 inf + 4 0.434 * * [simplify]: Extracting #5: cost 11 inf + 4 0.434 * * [simplify]: Extracting #6: cost 8 inf + 47 0.434 * * [simplify]: Extracting #7: cost 3 inf + 396 0.434 * * [simplify]: Extracting #8: cost 0 inf + 2186 0.434 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 0.435 * * * [progress]: adding candidates to table 0.440 * [progress]: [Phase 3 of 3] Extracting. 0.444 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.444 * * [simplify]: iteration 0: 12 enodes 0.888 * * [simplify]: iteration 1: 13 enodes 0.890 * * [simplify]: iteration complete: 13 enodes 0.890 * * [simplify]: Extracting #0: cost 1 inf + 0 0.890 * * [simplify]: Extracting #1: cost 2 inf + 0 0.890 * * [simplify]: Extracting #2: cost 4 inf + 0 0.890 * * [simplify]: Extracting #3: cost 8 inf + 0 0.890 * * [simplify]: Extracting #4: cost 7 inf + 4 0.890 * * [simplify]: Extracting #5: cost 9 inf + 4 0.890 * * [simplify]: Extracting #6: cost 7 inf + 6 0.890 * * [simplify]: Extracting #7: cost 0 inf + 2104 0.891 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 0.891 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.004 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.007 * * * * [points]: Setting MPFR precision to 64 1.011 * * * * [points]: Setting MPFR precision to 320 1.014 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.017 * * * * [points]: Setting MPFR precision to 64 1.022 * * * * [points]: Setting MPFR precision to 320 1.025 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.026 * * * * [points]: Setting MPFR precision to 64 1.032 * * * * [points]: Setting MPFR precision to 320 1.038 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.040 * * * * [points]: Setting MPFR precision to 64 1.051 * * * * [points]: Setting MPFR precision to 320 1.072 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.073 * * * * [points]: Setting MPFR precision to 64 1.095 * * * * [points]: Setting MPFR precision to 320 1.127 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.129 * * * * [points]: Setting MPFR precision to 64 1.240 * * * * [points]: Setting MPFR precision to 320 1.300 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.303 * * * * [points]: Setting MPFR precision to 64 1.511 * * * * [points]: Setting MPFR precision to 320 1.721 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1.724 * * * * [points]: Setting MPFR precision to 64 2.120 * * * * [points]: Setting MPFR precision to 320 2.516 * * * * [points]: Computing exacts for 8000 points 2.524 * * * * [points]: Setting MPFR precision to 64 4.403 * * * * [points]: Setting MPFR precision to 320 6.283 * * * * [points]: Filtering points with unrepresentable outputs 6.315 * * * * [points]: Sampling 3988 additional inputs, on iter 1 have 4012 / 8000 6.405 * * * * [points]: Computing exacts on every 249 of 3988 points to ramp up precision 6.408 * * * * [points]: Setting MPFR precision to 64 6.411 * * * * [points]: Setting MPFR precision to 320 6.415 * * * * [points]: Computing exacts on every 124 of 3988 points to ramp up precision 6.417 * * * * [points]: Setting MPFR precision to 64 6.423 * * * * [points]: Setting MPFR precision to 320 6.427 * * * * [points]: Computing exacts on every 62 of 3988 points to ramp up precision 6.428 * * * * [points]: Setting MPFR precision to 64 6.434 * * * * [points]: Setting MPFR precision to 320 6.440 * * * * [points]: Computing exacts on every 31 of 3988 points to ramp up precision 6.442 * * * * [points]: Setting MPFR precision to 64 6.462 * * * * [points]: Setting MPFR precision to 320 6.476 * * * * [points]: Computing exacts on every 15 of 3988 points to ramp up precision 6.479 * * * * [points]: Setting MPFR precision to 64 6.540 * * * * [points]: Setting MPFR precision to 320 6.593 * * * * [points]: Computing exacts on every 7 of 3988 points to ramp up precision 6.596 * * * * [points]: Setting MPFR precision to 64 6.686 * * * * [points]: Setting MPFR precision to 320 6.801 * * * * [points]: Computing exacts on every 3 of 3988 points to ramp up precision 6.804 * * * * [points]: Setting MPFR precision to 64 6.959 * * * * [points]: Setting MPFR precision to 320 7.164 * * * * [points]: Computing exacts for 3988 points 7.167 * * * * [points]: Setting MPFR precision to 64 7.919 * * * * [points]: Setting MPFR precision to 320 9.026 * * * * [points]: Filtering points with unrepresentable outputs 9.042 * * * * [points]: Sampling 1996 additional inputs, on iter 2 have 6004 / 8000 9.116 * * * * [points]: Computing exacts on every 124 of 1996 points to ramp up precision 9.119 * * * * [points]: Setting MPFR precision to 64 9.122 * * * * [points]: Setting MPFR precision to 320 9.125 * * * * [points]: Computing exacts on every 62 of 1996 points to ramp up precision 9.128 * * * * [points]: Setting MPFR precision to 64 9.134 * * * * [points]: Setting MPFR precision to 320 9.140 * * * * [points]: Computing exacts on every 31 of 1996 points to ramp up precision 9.143 * * * * [points]: Setting MPFR precision to 64 9.154 * * * * [points]: Setting MPFR precision to 320 9.165 * * * * [points]: Computing exacts on every 15 of 1996 points to ramp up precision 9.166 * * * * [points]: Setting MPFR precision to 64 9.177 * * * * [points]: Setting MPFR precision to 320 9.189 * * * * [points]: Computing exacts on every 7 of 1996 points to ramp up precision 9.191 * * * * [points]: Setting MPFR precision to 64 9.229 * * * * [points]: Setting MPFR precision to 320 9.326 * * * * [points]: Computing exacts on every 3 of 1996 points to ramp up precision 9.333 * * * * [points]: Setting MPFR precision to 64 9.408 * * * * [points]: Setting MPFR precision to 320 9.474 * * * * [points]: Computing exacts for 1996 points 9.477 * * * * [points]: Setting MPFR precision to 64 9.863 * * * * [points]: Setting MPFR precision to 320 10.257 * * * * [points]: Filtering points with unrepresentable outputs 10.261 * * * * [points]: Sampling 972 additional inputs, on iter 3 have 7028 / 8000 10.269 * * * * [points]: Computing exacts on every 60 of 972 points to ramp up precision 10.270 * * * * [points]: Setting MPFR precision to 64 10.272 * * * * [points]: Setting MPFR precision to 320 10.274 * * * * [points]: Computing exacts on every 30 of 972 points to ramp up precision 10.275 * * * * [points]: Setting MPFR precision to 64 10.278 * * * * [points]: Setting MPFR precision to 320 10.282 * * * * [points]: Computing exacts on every 15 of 972 points to ramp up precision 10.284 * * * * [points]: Setting MPFR precision to 64 10.291 * * * * [points]: Setting MPFR precision to 320 10.300 * * * * [points]: Computing exacts on every 7 of 972 points to ramp up precision 10.303 * * * * [points]: Setting MPFR precision to 64 10.323 * * * * [points]: Setting MPFR precision to 320 10.394 * * * * [points]: Computing exacts on every 3 of 972 points to ramp up precision 10.397 * * * * [points]: Setting MPFR precision to 64 10.440 * * * * [points]: Setting MPFR precision to 320 10.465 * * * * [points]: Computing exacts for 972 points 10.468 * * * * [points]: Setting MPFR precision to 64 10.698 * * * * [points]: Setting MPFR precision to 320 11.233 * * * * [points]: Filtering points with unrepresentable outputs 11.234 * * * * [points]: Sampling 499 additional inputs, on iter 4 have 7501 / 8000 11.238 * * * * [points]: Computing exacts on every 31 of 499 points to ramp up precision 11.240 * * * * [points]: Setting MPFR precision to 64 11.241 * * * * [points]: Setting MPFR precision to 320 11.243 * * * * [points]: Computing exacts on every 15 of 499 points to ramp up precision 11.244 * * * * [points]: Setting MPFR precision to 64 11.247 * * * * [points]: Setting MPFR precision to 320 11.250 * * * * [points]: Computing exacts on every 7 of 499 points to ramp up precision 11.251 * * * * [points]: Setting MPFR precision to 64 11.257 * * * * [points]: Setting MPFR precision to 320 11.268 * * * * [points]: Computing exacts on every 3 of 499 points to ramp up precision 11.271 * * * * [points]: Setting MPFR precision to 64 11.292 * * * * [points]: Setting MPFR precision to 320 11.316 * * * * [points]: Computing exacts for 499 points 11.319 * * * * [points]: Setting MPFR precision to 64 11.430 * * * * [points]: Setting MPFR precision to 320 11.488 * * * * [points]: Filtering points with unrepresentable outputs 11.489 * * * * [points]: Sampling 249 additional inputs, on iter 5 have 7751 / 8000 11.491 * * * * [points]: Computing exacts on every 15 of 249 points to ramp up precision 11.494 * * * * [points]: Setting MPFR precision to 64 11.496 * * * * [points]: Setting MPFR precision to 320 11.499 * * * * [points]: Computing exacts on every 7 of 249 points to ramp up precision 11.501 * * * * [points]: Setting MPFR precision to 64 11.504 * * * * [points]: Setting MPFR precision to 320 11.507 * * * * [points]: Computing exacts on every 3 of 249 points to ramp up precision 11.509 * * * * [points]: Setting MPFR precision to 64 11.514 * * * * [points]: Setting MPFR precision to 320 11.520 * * * * [points]: Computing exacts for 249 points 11.522 * * * * [points]: Setting MPFR precision to 64 11.597 * * * * [points]: Setting MPFR precision to 320 11.621 * * * * [points]: Filtering points with unrepresentable outputs 11.622 * * * * [points]: Sampling 137 additional inputs, on iter 6 have 7863 / 8000 11.623 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision 11.624 * * * * [points]: Setting MPFR precision to 64 11.626 * * * * [points]: Setting MPFR precision to 320 11.628 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision 11.629 * * * * [points]: Setting MPFR precision to 64 11.632 * * * * [points]: Setting MPFR precision to 320 11.635 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision 11.636 * * * * [points]: Setting MPFR precision to 64 11.641 * * * * [points]: Setting MPFR precision to 320 11.646 * * * * [points]: Computing exacts for 137 points 11.647 * * * * [points]: Setting MPFR precision to 64 11.665 * * * * [points]: Setting MPFR precision to 320 11.690 * * * * [points]: Filtering points with unrepresentable outputs 11.691 * * * * [points]: Sampling 66 additional inputs, on iter 7 have 7934 / 8000 11.692 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision 11.693 * * * * [points]: Setting MPFR precision to 64 11.695 * * * * [points]: Setting MPFR precision to 320 11.696 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision 11.698 * * * * [points]: Setting MPFR precision to 64 11.700 * * * * [points]: Setting MPFR precision to 320 11.702 * * * * [points]: Computing exacts for 66 points 11.703 * * * * [points]: Setting MPFR precision to 64 11.752 * * * * [points]: Setting MPFR precision to 320 11.769 * * * * [points]: Filtering points with unrepresentable outputs 11.769 * * * * [points]: Sampling 34 additional inputs, on iter 8 have 7966 / 8000 11.770 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision 11.773 * * * * [points]: Setting MPFR precision to 64 11.775 * * * * [points]: Setting MPFR precision to 320 11.777 * * * * [points]: Computing exacts for 34 points 11.780 * * * * [points]: Setting MPFR precision to 64 11.786 * * * * [points]: Setting MPFR precision to 320 11.793 * * * * [points]: Filtering points with unrepresentable outputs 11.793 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 7983 / 8000 11.794 * * * * [points]: Computing exacts for 17 points 11.796 * * * * [points]: Setting MPFR precision to 64 11.799 * * * * [points]: Setting MPFR precision to 320 11.803 * * * * [points]: Filtering points with unrepresentable outputs 11.803 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 11.803 * * * * [points]: Computing exacts for 8 points 11.806 * * * * [points]: Setting MPFR precision to 64 11.807 * * * * [points]: Setting MPFR precision to 320 11.809 * * * * [points]: Filtering points with unrepresentable outputs 11.809 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 11.809 * * * * [points]: Computing exacts for 4 points 11.811 * * * * [points]: Setting MPFR precision to 64 11.812 * * * * [points]: Setting MPFR precision to 320 11.813 * * * * [points]: Filtering points with unrepresentable outputs 11.813 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 11.813 * * * * [points]: Computing exacts for 4 points 11.816 * * * * [points]: Setting MPFR precision to 64 11.816 * * * * [points]: Setting MPFR precision to 320 11.817 * * * * [points]: Filtering points with unrepresentable outputs 11.817 * * * * [points]: Sampled 8000 points with exact outputs 12.120 * [regime-testing]: Baseline error score: 0.012448120312590145 12.128 * [regime-testing]: Oracle error score: 0.012448120312590145 12.129 * [regime-testing]: End program error score: 0.012448120312590145