18.814 * [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.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.005 * * * * [points]: Setting MPFR precision to 64 0.007 * * * * [points]: Setting MPFR precision to 320 0.009 * * * * [points]: Setting MPFR precision to 576 0.010 * * * * [points]: Setting MPFR precision to 832 0.012 * * * * [points]: Setting MPFR precision to 1088 0.015 * * * * [points]: Setting MPFR precision to 1344 0.018 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.020 * * * * [points]: Setting MPFR precision to 1088 0.025 * * * * [points]: Setting MPFR precision to 1344 0.032 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.034 * * * * [points]: Setting MPFR precision to 1088 0.043 * * * * [points]: Setting MPFR precision to 1344 0.054 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.056 * * * * [points]: Setting MPFR precision to 1088 0.071 * * * * [points]: Setting MPFR precision to 1344 0.091 * * * * [points]: Computing exacts for 256 points 0.093 * * * * [points]: Setting MPFR precision to 1088 0.144 * * * * [points]: Setting MPFR precision to 1344 0.203 * * * * [points]: Filtering points with unrepresentable outputs 0.204 * * * * [points]: Sampling 120 additional inputs, on iter 1 have 136 / 256 0.205 * * * * [points]: Computing exacts on every 7 of 120 points to ramp up precision 0.207 * * * * [points]: Setting MPFR precision to 1088 0.210 * * * * [points]: Setting MPFR precision to 1344 0.214 * * * * [points]: Computing exacts on every 3 of 120 points to ramp up precision 0.216 * * * * [points]: Setting MPFR precision to 1088 0.222 * * * * [points]: Setting MPFR precision to 1344 0.230 * * * * [points]: Computing exacts for 120 points 0.232 * * * * [points]: Setting MPFR precision to 1088 0.253 * * * * [points]: Setting MPFR precision to 1344 0.280 * * * * [points]: Filtering points with unrepresentable outputs 0.280 * * * * [points]: Sampling 65 additional inputs, on iter 2 have 191 / 256 0.280 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision 0.282 * * * * [points]: Setting MPFR precision to 1088 0.285 * * * * [points]: Setting MPFR precision to 1344 0.288 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision 0.290 * * * * [points]: Setting MPFR precision to 1088 0.293 * * * * [points]: Setting MPFR precision to 1344 0.297 * * * * [points]: Computing exacts for 65 points 0.299 * * * * [points]: Setting MPFR precision to 1088 0.311 * * * * [points]: Setting MPFR precision to 1344 0.324 * * * * [points]: Filtering points with unrepresentable outputs 0.324 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256 0.325 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 0.327 * * * * [points]: Setting MPFR precision to 1088 0.330 * * * * [points]: Setting MPFR precision to 1344 0.333 * * * * [points]: Computing exacts for 33 points 0.335 * * * * [points]: Setting MPFR precision to 1088 0.342 * * * * [points]: Setting MPFR precision to 1344 0.350 * * * * [points]: Filtering points with unrepresentable outputs 0.350 * * * * [points]: Sampling 16 additional inputs, on iter 4 have 240 / 256 0.350 * * * * [points]: Computing exacts for 16 points 0.352 * * * * [points]: Setting MPFR precision to 1088 0.355 * * * * [points]: Setting MPFR precision to 1344 0.358 * * * * [points]: Filtering points with unrepresentable outputs 0.358 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256 0.358 * * * * [points]: Computing exacts for 9 points 0.360 * * * * [points]: Setting MPFR precision to 1088 0.362 * * * * [points]: Setting MPFR precision to 1344 0.363 * * * * [points]: Filtering points with unrepresentable outputs 0.363 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256 0.363 * * * * [points]: Computing exacts for 6 points 0.365 * * * * [points]: Setting MPFR precision to 1088 0.366 * * * * [points]: Setting MPFR precision to 1344 0.368 * * * * [points]: Filtering points with unrepresentable outputs 0.368 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256 0.368 * * * * [points]: Computing exacts for 4 points 0.370 * * * * [points]: Setting MPFR precision to 1088 0.370 * * * * [points]: Setting MPFR precision to 1344 0.371 * * * * [points]: Filtering points with unrepresentable outputs 0.371 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256 0.371 * * * * [points]: Computing exacts for 4 points 0.373 * * * * [points]: Setting MPFR precision to 1088 0.374 * * * * [points]: Setting MPFR precision to 1344 0.375 * * * * [points]: Filtering points with unrepresentable outputs 0.375 * * * * [points]: Sampled 257 points with exact outputs 0.375 * * * [progress]: [2/2] Setting up program. 0.377 * [progress]: [Phase 2 of 3] Improving. 0.377 * [simplify]: Simplifying using # : (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.378 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.379 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 0.380 * * [simplify]: iteration done : 16 enodes (cost 15 ) 0.380 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.381 * * [progress]: iteration 1 / 4 0.381 * * * [progress]: picking best candidate 0.382 * * * * [pick]: Picked # 0.382 * * * [progress]: localizing error 0.458 * * * [progress]: generating rewritten candidates 0.458 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.459 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2) 0.459 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 0.459 * * * [progress]: generating series expansions 0.459 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.459 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2) 0.459 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 0.459 * * * [progress]: simplifying candidates 0.459 * [simplify]: Simplifying using # : (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.460 * * [simplify]: iteration 0 : 12 enodes (cost 45 ) 0.461 * * [simplify]: iteration 1 : 16 enodes (cost 45 ) 0.462 * * [simplify]: iteration done : 16 enodes (cost 45 ) 0.462 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.462 * * * [progress]: adding candidates to table 0.465 * [progress]: [Phase 3 of 3] Extracting. 0.467 * [simplify]: Simplifying using # : (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.467 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.468 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 0.468 * * [simplify]: iteration done : 13 enodes (cost 15 ) 0.468 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.468 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.540 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.543 * * * * [points]: Setting MPFR precision to 1088 0.545 * * * * [points]: Setting MPFR precision to 1344 0.548 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.550 * * * * [points]: Setting MPFR precision to 1088 0.556 * * * * [points]: Setting MPFR precision to 1344 0.564 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.566 * * * * [points]: Setting MPFR precision to 1088 0.576 * * * * [points]: Setting MPFR precision to 1344 0.591 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.597 * * * * [points]: Setting MPFR precision to 1088 0.620 * * * * [points]: Setting MPFR precision to 1344 0.650 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 0.652 * * * * [points]: Setting MPFR precision to 1088 0.696 * * * * [points]: Setting MPFR precision to 1344 0.755 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 0.757 * * * * [points]: Setting MPFR precision to 1088 0.846 * * * * [points]: Setting MPFR precision to 1344 0.962 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 0.965 * * * * [points]: Setting MPFR precision to 1088 1.144 * * * * [points]: Setting MPFR precision to 1344 1.377 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1.379 * * * * [points]: Setting MPFR precision to 1088 1.734 * * * * [points]: Setting MPFR precision to 1344 2.196 * * * * [points]: Computing exacts for 8000 points 2.199 * * * * [points]: Setting MPFR precision to 1088 3.647 * * * * [points]: Setting MPFR precision to 1344 5.524 * * * * [points]: Filtering points with unrepresentable outputs 5.531 * * * * [points]: Sampling 4013 additional inputs, on iter 1 have 3987 / 8000 5.569 * * * * [points]: Computing exacts on every 250 of 4013 points to ramp up precision 5.572 * * * * [points]: Setting MPFR precision to 1088 5.575 * * * * [points]: Setting MPFR precision to 1344 5.579 * * * * [points]: Computing exacts on every 125 of 4013 points to ramp up precision 5.581 * * * * [points]: Setting MPFR precision to 1088 5.587 * * * * [points]: Setting MPFR precision to 1344 5.595 * * * * [points]: Computing exacts on every 62 of 4013 points to ramp up precision 5.597 * * * * [points]: Setting MPFR precision to 1088 5.609 * * * * [points]: Setting MPFR precision to 1344 5.623 * * * * [points]: Computing exacts on every 31 of 4013 points to ramp up precision 5.625 * * * * [points]: Setting MPFR precision to 1088 5.648 * * * * [points]: Setting MPFR precision to 1344 5.678 * * * * [points]: Computing exacts on every 15 of 4013 points to ramp up precision 5.681 * * * * [points]: Setting MPFR precision to 1088 5.727 * * * * [points]: Setting MPFR precision to 1344 5.790 * * * * [points]: Computing exacts on every 7 of 4013 points to ramp up precision 5.793 * * * * [points]: Setting MPFR precision to 1088 5.881 * * * * [points]: Setting MPFR precision to 1344 6.003 * * * * [points]: Computing exacts on every 3 of 4013 points to ramp up precision 6.005 * * * * [points]: Setting MPFR precision to 1088 6.189 * * * * [points]: Setting MPFR precision to 1344 6.432 * * * * [points]: Computing exacts for 4013 points 6.435 * * * * [points]: Setting MPFR precision to 1088 7.154 * * * * [points]: Setting MPFR precision to 1344 8.103 * * * * [points]: Filtering points with unrepresentable outputs 8.107 * * * * [points]: Sampling 2020 additional inputs, on iter 2 have 5980 / 8000 8.124 * * * * [points]: Computing exacts on every 126 of 2020 points to ramp up precision 8.126 * * * * [points]: Setting MPFR precision to 1088 8.129 * * * * [points]: Setting MPFR precision to 1344 8.133 * * * * [points]: Computing exacts on every 63 of 2020 points to ramp up precision 8.136 * * * * [points]: Setting MPFR precision to 1088 8.142 * * * * [points]: Setting MPFR precision to 1344 8.150 * * * * [points]: Computing exacts on every 31 of 2020 points to ramp up precision 8.152 * * * * [points]: Setting MPFR precision to 1088 8.165 * * * * [points]: Setting MPFR precision to 1344 8.180 * * * * [points]: Computing exacts on every 15 of 2020 points to ramp up precision 8.182 * * * * [points]: Setting MPFR precision to 1088 8.208 * * * * [points]: Setting MPFR precision to 1344 8.238 * * * * [points]: Computing exacts on every 7 of 2020 points to ramp up precision 8.240 * * * * [points]: Setting MPFR precision to 1088 8.284 * * * * [points]: Setting MPFR precision to 1344 8.341 * * * * [points]: Computing exacts on every 3 of 2020 points to ramp up precision 8.343 * * * * [points]: Setting MPFR precision to 1088 8.433 * * * * [points]: Setting MPFR precision to 1344 8.551 * * * * [points]: Computing exacts for 2020 points 8.553 * * * * [points]: Setting MPFR precision to 1088 8.914 * * * * [points]: Setting MPFR precision to 1344 9.381 * * * * [points]: Filtering points with unrepresentable outputs 9.383 * * * * [points]: Sampling 969 additional inputs, on iter 3 have 7031 / 8000 9.391 * * * * [points]: Computing exacts on every 60 of 969 points to ramp up precision 9.395 * * * * [points]: Setting MPFR precision to 1088 9.398 * * * * [points]: Setting MPFR precision to 1344 9.401 * * * * [points]: Computing exacts on every 30 of 969 points to ramp up precision 9.403 * * * * [points]: Setting MPFR precision to 1088 9.409 * * * * [points]: Setting MPFR precision to 1344 9.417 * * * * [points]: Computing exacts on every 15 of 969 points to ramp up precision 9.419 * * * * [points]: Setting MPFR precision to 1088 9.430 * * * * [points]: Setting MPFR precision to 1344 9.445 * * * * [points]: Computing exacts on every 7 of 969 points to ramp up precision 9.447 * * * * [points]: Setting MPFR precision to 1088 9.469 * * * * [points]: Setting MPFR precision to 1344 9.497 * * * * [points]: Computing exacts on every 3 of 969 points to ramp up precision 9.499 * * * * [points]: Setting MPFR precision to 1088 9.543 * * * * [points]: Setting MPFR precision to 1344 9.599 * * * * [points]: Computing exacts for 969 points 9.602 * * * * [points]: Setting MPFR precision to 1088 9.774 * * * * [points]: Setting MPFR precision to 1344 9.999 * * * * [points]: Filtering points with unrepresentable outputs 10.000 * * * * [points]: Sampling 480 additional inputs, on iter 4 have 7520 / 8000 10.004 * * * * [points]: Computing exacts on every 30 of 480 points to ramp up precision 10.006 * * * * [points]: Setting MPFR precision to 1088 10.009 * * * * [points]: Setting MPFR precision to 1344 10.012 * * * * [points]: Computing exacts on every 15 of 480 points to ramp up precision 10.014 * * * * [points]: Setting MPFR precision to 1088 10.019 * * * * [points]: Setting MPFR precision to 1344 10.026 * * * * [points]: Computing exacts on every 7 of 480 points to ramp up precision 10.028 * * * * [points]: Setting MPFR precision to 1088 10.039 * * * * [points]: Setting MPFR precision to 1344 10.053 * * * * [points]: Computing exacts on every 3 of 480 points to ramp up precision 10.055 * * * * [points]: Setting MPFR precision to 1088 10.077 * * * * [points]: Setting MPFR precision to 1344 10.104 * * * * [points]: Computing exacts for 480 points 10.106 * * * * [points]: Setting MPFR precision to 1088 10.195 * * * * [points]: Setting MPFR precision to 1344 10.310 * * * * [points]: Filtering points with unrepresentable outputs 10.310 * * * * [points]: Sampling 244 additional inputs, on iter 5 have 7756 / 8000 10.313 * * * * [points]: Computing exacts on every 15 of 244 points to ramp up precision 10.315 * * * * [points]: Setting MPFR precision to 1088 10.318 * * * * [points]: Setting MPFR precision to 1344 10.321 * * * * [points]: Computing exacts on every 7 of 244 points to ramp up precision 10.323 * * * * [points]: Setting MPFR precision to 1088 10.328 * * * * [points]: Setting MPFR precision to 1344 10.333 * * * * [points]: Computing exacts on every 3 of 244 points to ramp up precision 10.336 * * * * [points]: Setting MPFR precision to 1088 10.346 * * * * [points]: Setting MPFR precision to 1344 10.357 * * * * [points]: Computing exacts for 244 points 10.359 * * * * [points]: Setting MPFR precision to 1088 10.400 * * * * [points]: Setting MPFR precision to 1344 10.455 * * * * [points]: Filtering points with unrepresentable outputs 10.455 * * * * [points]: Sampling 130 additional inputs, on iter 6 have 7870 / 8000 10.456 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision 10.458 * * * * [points]: Setting MPFR precision to 1088 10.461 * * * * [points]: Setting MPFR precision to 1344 10.464 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision 10.466 * * * * [points]: Setting MPFR precision to 1088 10.471 * * * * [points]: Setting MPFR precision to 1344 10.476 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision 10.478 * * * * [points]: Setting MPFR precision to 1088 10.486 * * * * [points]: Setting MPFR precision to 1344 10.496 * * * * [points]: Computing exacts for 130 points 10.499 * * * * [points]: Setting MPFR precision to 1088 10.521 * * * * [points]: Setting MPFR precision to 1344 10.550 * * * * [points]: Filtering points with unrepresentable outputs 10.550 * * * * [points]: Sampling 71 additional inputs, on iter 7 have 7929 / 8000 10.551 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision 10.553 * * * * [points]: Setting MPFR precision to 1088 10.556 * * * * [points]: Setting MPFR precision to 1344 10.559 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision 10.561 * * * * [points]: Setting MPFR precision to 1088 10.566 * * * * [points]: Setting MPFR precision to 1344 10.571 * * * * [points]: Computing exacts for 71 points 10.573 * * * * [points]: Setting MPFR precision to 1088 10.585 * * * * [points]: Setting MPFR precision to 1344 10.602 * * * * [points]: Filtering points with unrepresentable outputs 10.602 * * * * [points]: Sampling 36 additional inputs, on iter 8 have 7964 / 8000 10.602 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision 10.605 * * * * [points]: Setting MPFR precision to 1088 10.607 * * * * [points]: Setting MPFR precision to 1344 10.610 * * * * [points]: Computing exacts for 36 points 10.615 * * * * [points]: Setting MPFR precision to 1088 10.622 * * * * [points]: Setting MPFR precision to 1344 10.631 * * * * [points]: Filtering points with unrepresentable outputs 10.631 * * * * [points]: Sampling 14 additional inputs, on iter 9 have 7986 / 8000 10.631 * * * * [points]: Computing exacts for 14 points 10.633 * * * * [points]: Setting MPFR precision to 1088 10.636 * * * * [points]: Setting MPFR precision to 1344 10.640 * * * * [points]: Filtering points with unrepresentable outputs 10.640 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 10.640 * * * * [points]: Computing exacts for 10 points 10.642 * * * * [points]: Setting MPFR precision to 1088 10.644 * * * * [points]: Setting MPFR precision to 1344 10.647 * * * * [points]: Filtering points with unrepresentable outputs 10.647 * * * * [points]: Sampling 6 additional inputs, on iter 11 have 7994 / 8000 10.647 * * * * [points]: Computing exacts for 6 points 10.649 * * * * [points]: Setting MPFR precision to 1088 10.650 * * * * [points]: Setting MPFR precision to 1344 10.651 * * * * [points]: Filtering points with unrepresentable outputs 10.651 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7996 / 8000 10.651 * * * * [points]: Computing exacts for 4 points 10.653 * * * * [points]: Setting MPFR precision to 1088 10.655 * * * * [points]: Setting MPFR precision to 1344 10.656 * * * * [points]: Filtering points with unrepresentable outputs 10.656 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 10.656 * * * * [points]: Computing exacts for 4 points 10.658 * * * * [points]: Setting MPFR precision to 1088 10.659 * * * * [points]: Setting MPFR precision to 1344 10.660 * * * * [points]: Filtering points with unrepresentable outputs 10.660 * * * * [points]: Sampled 8001 points with exact outputs 10.729 * [regime-testing]: End program error score: 43.48446984715398