1539342195.541 * [misc]progress: [Phase 1 of 3] Setting up. 1539342195.541 * * * [misc]progress: [1/2] Preparing points 1539342195.541 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539342195.543 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539342195.545 * * * * [misc]points: Setting MPFR precision to 64 1539342195.545 * * * * [misc]points: Setting MPFR precision to 320 1539342195.546 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539342195.547 * * * * [misc]points: Setting MPFR precision to 64 1539342195.548 * * * * [misc]points: Setting MPFR precision to 320 1539342195.548 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539342195.549 * * * * [misc]points: Setting MPFR precision to 64 1539342195.551 * * * * [misc]points: Setting MPFR precision to 320 1539342195.553 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539342195.554 * * * * [misc]points: Setting MPFR precision to 64 1539342195.556 * * * * [misc]points: Setting MPFR precision to 320 1539342195.559 * * * * [misc]points: Computing exacts for 256 points 1539342195.560 * * * * [misc]points: Setting MPFR precision to 64 1539342195.568 * * * * [misc]points: Setting MPFR precision to 320 1539342195.576 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342195.576 * * * * [misc]points: Sampling 129 additional inputs, on iter 1 have 127 / 256 1539342195.577 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1539342195.578 * * * * [misc]points: Setting MPFR precision to 64 1539342195.579 * * * * [misc]points: Setting MPFR precision to 320 1539342195.579 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1539342195.580 * * * * [misc]points: Setting MPFR precision to 64 1539342195.581 * * * * [misc]points: Setting MPFR precision to 320 1539342195.582 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1539342195.583 * * * * [misc]points: Setting MPFR precision to 64 1539342195.584 * * * * [misc]points: Setting MPFR precision to 320 1539342195.585 * * * * [misc]points: Computing exacts for 129 points 1539342195.587 * * * * [misc]points: Setting MPFR precision to 64 1539342195.591 * * * * [misc]points: Setting MPFR precision to 320 1539342195.594 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342195.595 * * * * [misc]points: Sampling 59 additional inputs, on iter 2 have 197 / 256 1539342195.595 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision 1539342195.596 * * * * [misc]points: Setting MPFR precision to 64 1539342195.597 * * * * [misc]points: Setting MPFR precision to 320 1539342195.598 * * * * [misc]points: Computing exacts for 59 points 1539342195.598 * * * * [misc]points: Setting MPFR precision to 64 1539342195.600 * * * * [misc]points: Setting MPFR precision to 320 1539342195.602 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342195.603 * * * * [misc]points: Sampling 27 additional inputs, on iter 3 have 229 / 256 1539342195.603 * * * * [misc]points: Computing exacts for 27 points 1539342195.604 * * * * [misc]points: Setting MPFR precision to 64 1539342195.621 * * * * [misc]points: Setting MPFR precision to 320 1539342195.622 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342195.622 * * * * [misc]points: Sampling 14 additional inputs, on iter 4 have 242 / 256 1539342195.622 * * * * [misc]points: Computing exacts for 14 points 1539342195.623 * * * * [misc]points: Setting MPFR precision to 64 1539342195.624 * * * * [misc]points: Setting MPFR precision to 320 1539342195.625 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342195.625 * * * * [misc]points: Sampling 8 additional inputs, on iter 5 have 248 / 256 1539342195.625 * * * * [misc]points: Computing exacts for 8 points 1539342195.626 * * * * [misc]points: Setting MPFR precision to 64 1539342195.626 * * * * [misc]points: Setting MPFR precision to 320 1539342195.627 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342195.627 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1539342195.627 * * * * [misc]points: Computing exacts for 4 points 1539342195.628 * * * * [misc]points: Setting MPFR precision to 64 1539342195.628 * * * * [misc]points: Setting MPFR precision to 320 1539342195.628 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342195.628 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 255 / 256 1539342195.628 * * * * [misc]points: Computing exacts for 4 points 1539342195.629 * * * * [misc]points: Setting MPFR precision to 64 1539342195.629 * * * * [misc]points: Setting MPFR precision to 320 1539342195.630 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342195.630 * * * * [exit]points: Sampled 256 points with exact outputs 1539342195.630 * * * [misc]progress: [2/2] Setting up program. 1539342195.635 * [misc]progress: [Phase 2 of 3] Improving. 1539342195.635 * [enter]simplify: Simplifying (- (* a a) (* b b)) 1539342195.635 * * [misc]simplify: iters left: 4 (5 enodes) 1539342195.637 * * [misc]simplify: iters left: 3 (10 enodes) 1539342195.641 * * [misc]simplify: iters left: 2 (17 enodes) 1539342195.646 * * [misc]simplify: iters left: 1 (32 enodes) 1539342195.657 * [exit]simplify: Simplified to (* (+ a b) (- a b)) 1539342195.665 * * [misc]progress: iteration 1 / 4 1539342195.665 * * * [misc]progress: picking best candidate 1539342195.669 * * * * [misc]pick: Picked # 1539342195.669 * * * [misc]progress: localizing error 1539342195.686 * * * [misc]progress: generating rewritten candidates 1539342195.686 * * * [misc]progress: generating series expansions 1539342195.686 * * * [misc]progress: simplifying candidates 1539342195.686 * * * [misc]progress: adding candidates to table 1539342195.686 * [misc]progress: [Phase 3 of 3] Extracting. 1539342195.690 * [enter]simplify: Simplifying (* (+ a b) (- a b)) 1539342195.690 * * [misc]simplify: iters left: 4 (5 enodes) 1539342195.690 * * [misc]simplify: iters left: 3 (7 enodes) 1539342195.691 * [exit]simplify: Simplified to (* (+ b a) (- a b)) 1539342195.691 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539342195.755 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539342195.756 * * * * [misc]points: Setting MPFR precision to 64 1539342195.756 * * * * [misc]points: Setting MPFR precision to 320 1539342195.757 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539342195.757 * * * * [misc]points: Setting MPFR precision to 64 1539342195.758 * * * * [misc]points: Setting MPFR precision to 320 1539342195.758 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539342195.759 * * * * [misc]points: Setting MPFR precision to 64 1539342195.760 * * * * [misc]points: Setting MPFR precision to 320 1539342195.761 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539342195.762 * * * * [misc]points: Setting MPFR precision to 64 1539342195.764 * * * * [misc]points: Setting MPFR precision to 320 1539342195.766 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539342195.767 * * * * [misc]points: Setting MPFR precision to 64 1539342195.771 * * * * [misc]points: Setting MPFR precision to 320 1539342195.775 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539342195.776 * * * * [misc]points: Setting MPFR precision to 64 1539342195.791 * * * * [misc]points: Setting MPFR precision to 320 1539342195.807 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539342195.808 * * * * [misc]points: Setting MPFR precision to 64 1539342195.823 * * * * [misc]points: Setting MPFR precision to 320 1539342195.884 * * * * [misc]points: Setting MPFR precision to 576 1539342195.899 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539342195.900 * * * * [misc]points: Setting MPFR precision to 320 1539342195.956 * * * * [misc]points: Setting MPFR precision to 576 1539342196.065 * * * * [misc]points: Computing exacts for 8000 points 1539342196.067 * * * * [misc]points: Setting MPFR precision to 320 1539342196.356 * * * * [misc]points: Setting MPFR precision to 576 1539342196.905 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342196.908 * * * * [misc]points: Sampling 3612 additional inputs, on iter 1 have 4388 / 8000 1539342196.949 * * * * [misc]points: Computing exacts on every 225 of 3612 points to ramp up precision 1539342196.950 * * * * [misc]points: Setting MPFR precision to 320 1539342196.950 * * * * [misc]points: Setting MPFR precision to 576 1539342196.951 * * * * [misc]points: Computing exacts on every 112 of 3612 points to ramp up precision 1539342196.951 * * * * [misc]points: Setting MPFR precision to 320 1539342196.952 * * * * [misc]points: Setting MPFR precision to 576 1539342196.953 * * * * [misc]points: Computing exacts on every 56 of 3612 points to ramp up precision 1539342196.954 * * * * [misc]points: Setting MPFR precision to 320 1539342196.956 * * * * [misc]points: Setting MPFR precision to 576 1539342196.958 * * * * [misc]points: Computing exacts on every 28 of 3612 points to ramp up precision 1539342196.959 * * * * [misc]points: Setting MPFR precision to 320 1539342196.963 * * * * [misc]points: Setting MPFR precision to 576 1539342196.966 * * * * [misc]points: Computing exacts on every 14 of 3612 points to ramp up precision 1539342196.967 * * * * [misc]points: Setting MPFR precision to 320 1539342196.974 * * * * [misc]points: Setting MPFR precision to 576 1539342196.981 * * * * [misc]points: Computing exacts on every 7 of 3612 points to ramp up precision 1539342196.982 * * * * [misc]points: Setting MPFR precision to 320 1539342196.995 * * * * [misc]points: Setting MPFR precision to 576 1539342197.009 * * * * [misc]points: Computing exacts on every 3 of 3612 points to ramp up precision 1539342197.010 * * * * [misc]points: Setting MPFR precision to 320 1539342197.048 * * * * [misc]points: Setting MPFR precision to 576 1539342197.078 * * * * [misc]points: Computing exacts for 3612 points 1539342197.079 * * * * [misc]points: Setting MPFR precision to 320 1539342197.151 * * * * [misc]points: Setting MPFR precision to 576 1539342197.275 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342197.276 * * * * [misc]points: Sampling 1579 additional inputs, on iter 2 have 6421 / 8000 1539342197.289 * * * * [misc]points: Computing exacts on every 98 of 1579 points to ramp up precision 1539342197.291 * * * * [misc]points: Setting MPFR precision to 320 1539342197.318 * * * * [misc]points: Setting MPFR precision to 576 1539342197.318 * * * * [misc]points: Computing exacts on every 49 of 1579 points to ramp up precision 1539342197.319 * * * * [misc]points: Setting MPFR precision to 320 1539342197.320 * * * * [misc]points: Setting MPFR precision to 576 1539342197.321 * * * * [misc]points: Computing exacts on every 24 of 1579 points to ramp up precision 1539342197.322 * * * * [misc]points: Setting MPFR precision to 320 1539342197.324 * * * * [misc]points: Setting MPFR precision to 576 1539342197.327 * * * * [misc]points: Computing exacts on every 12 of 1579 points to ramp up precision 1539342197.331 * * * * [misc]points: Setting MPFR precision to 320 1539342197.335 * * * * [misc]points: Setting MPFR precision to 576 1539342197.339 * * * * [misc]points: Computing exacts on every 6 of 1579 points to ramp up precision 1539342197.340 * * * * [misc]points: Setting MPFR precision to 320 1539342197.344 * * * * [misc]points: Setting MPFR precision to 576 1539342197.347 * * * * [misc]points: Computing exacts on every 3 of 1579 points to ramp up precision 1539342197.348 * * * * [misc]points: Setting MPFR precision to 320 1539342197.354 * * * * [misc]points: Setting MPFR precision to 576 1539342197.361 * * * * [misc]points: Computing exacts for 1579 points 1539342197.363 * * * * [misc]points: Setting MPFR precision to 320 1539342197.393 * * * * [misc]points: Setting MPFR precision to 576 1539342197.473 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342197.473 * * * * [misc]points: Sampling 700 additional inputs, on iter 3 have 7300 / 8000 1539342197.476 * * * * [misc]points: Computing exacts on every 43 of 700 points to ramp up precision 1539342197.477 * * * * [misc]points: Setting MPFR precision to 320 1539342197.477 * * * * [misc]points: Setting MPFR precision to 576 1539342197.480 * * * * [misc]points: Computing exacts on every 21 of 700 points to ramp up precision 1539342197.481 * * * * [misc]points: Setting MPFR precision to 320 1539342197.481 * * * * [misc]points: Setting MPFR precision to 576 1539342197.482 * * * * [misc]points: Computing exacts on every 10 of 700 points to ramp up precision 1539342197.482 * * * * [misc]points: Setting MPFR precision to 320 1539342197.483 * * * * [misc]points: Setting MPFR precision to 576 1539342197.484 * * * * [misc]points: Computing exacts on every 5 of 700 points to ramp up precision 1539342197.485 * * * * [misc]points: Setting MPFR precision to 320 1539342197.487 * * * * [misc]points: Setting MPFR precision to 576 1539342197.488 * * * * [misc]points: Computing exacts on every 2 of 700 points to ramp up precision 1539342197.489 * * * * [misc]points: Setting MPFR precision to 320 1539342197.493 * * * * [misc]points: Setting MPFR precision to 576 1539342197.496 * * * * [misc]points: Computing exacts for 700 points 1539342197.497 * * * * [misc]points: Setting MPFR precision to 320 1539342197.507 * * * * [misc]points: Setting MPFR precision to 576 1539342197.519 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342197.519 * * * * [misc]points: Sampling 299 additional inputs, on iter 4 have 7701 / 8000 1539342197.520 * * * * [misc]points: Computing exacts on every 18 of 299 points to ramp up precision 1539342197.521 * * * * [misc]points: Setting MPFR precision to 320 1539342197.521 * * * * [misc]points: Setting MPFR precision to 576 1539342197.521 * * * * [misc]points: Computing exacts on every 9 of 299 points to ramp up precision 1539342197.522 * * * * [misc]points: Setting MPFR precision to 320 1539342197.522 * * * * [misc]points: Setting MPFR precision to 576 1539342197.523 * * * * [misc]points: Computing exacts on every 4 of 299 points to ramp up precision 1539342197.523 * * * * [misc]points: Setting MPFR precision to 320 1539342197.524 * * * * [misc]points: Setting MPFR precision to 576 1539342197.525 * * * * [misc]points: Computing exacts on every 2 of 299 points to ramp up precision 1539342197.526 * * * * [misc]points: Setting MPFR precision to 320 1539342197.527 * * * * [misc]points: Setting MPFR precision to 576 1539342197.529 * * * * [misc]points: Computing exacts for 299 points 1539342197.530 * * * * [misc]points: Setting MPFR precision to 320 1539342197.534 * * * * [misc]points: Setting MPFR precision to 576 1539342197.563 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342197.563 * * * * [misc]points: Sampling 140 additional inputs, on iter 5 have 7860 / 8000 1539342197.564 * * * * [misc]points: Computing exacts on every 8 of 140 points to ramp up precision 1539342197.565 * * * * [misc]points: Setting MPFR precision to 320 1539342197.565 * * * * [misc]points: Setting MPFR precision to 576 1539342197.565 * * * * [misc]points: Computing exacts on every 4 of 140 points to ramp up precision 1539342197.566 * * * * [misc]points: Setting MPFR precision to 320 1539342197.566 * * * * [misc]points: Setting MPFR precision to 576 1539342197.567 * * * * [misc]points: Computing exacts on every 2 of 140 points to ramp up precision 1539342197.567 * * * * [misc]points: Setting MPFR precision to 320 1539342197.568 * * * * [misc]points: Setting MPFR precision to 576 1539342197.569 * * * * [misc]points: Computing exacts for 140 points 1539342197.569 * * * * [misc]points: Setting MPFR precision to 320 1539342197.573 * * * * [misc]points: Setting MPFR precision to 576 1539342197.576 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342197.576 * * * * [misc]points: Sampling 52 additional inputs, on iter 6 have 7948 / 8000 1539342197.576 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1539342197.577 * * * * [misc]points: Setting MPFR precision to 320 1539342197.577 * * * * [misc]points: Setting MPFR precision to 576 1539342197.577 * * * * [misc]points: Computing exacts for 52 points 1539342197.578 * * * * [misc]points: Setting MPFR precision to 320 1539342197.579 * * * * [misc]points: Setting MPFR precision to 576 1539342197.579 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342197.579 * * * * [misc]points: Sampling 22 additional inputs, on iter 7 have 7978 / 8000 1539342197.580 * * * * [misc]points: Computing exacts for 22 points 1539342197.580 * * * * [misc]points: Setting MPFR precision to 320 1539342197.580 * * * * [misc]points: Setting MPFR precision to 576 1539342197.581 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342197.581 * * * * [misc]points: Sampling 10 additional inputs, on iter 8 have 7990 / 8000 1539342197.581 * * * * [misc]points: Computing exacts for 10 points 1539342197.581 * * * * [misc]points: Setting MPFR precision to 320 1539342197.582 * * * * [misc]points: Setting MPFR precision to 576 1539342197.582 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342197.582 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 7996 / 8000 1539342197.582 * * * * [misc]points: Computing exacts for 4 points 1539342197.583 * * * * [misc]points: Setting MPFR precision to 320 1539342197.583 * * * * [misc]points: Setting MPFR precision to 576 1539342197.583 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342197.583 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7998 / 8000 1539342197.583 * * * * [misc]points: Computing exacts for 4 points 1539342197.584 * * * * [misc]points: Setting MPFR precision to 320 1539342197.584 * * * * [misc]points: Setting MPFR precision to 576 1539342197.584 * * * * [misc]points: Filtering points with unrepresentable outputs 1539342197.584 * * * * [exit]points: Sampled 8000 points with exact outputs 1539342197.697 * [misc]regime-testing: Baseline error score: 0.001 1539342197.697 * [misc]regime-testing: End program error score: 0.001 1539342197.698 * [misc]regime-testing: Oracle error score: 0.001 1539342197.732 * [misc]regime-testing: Target error score: 0.001