1536754036.489 * [misc]progress: [Phase 1 of 3] Setting up. 1536754036.490 * * * [misc]progress: [1/2] Preparing points 1536754036.490 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536754036.491 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536754036.492 * * * * [misc]points: Setting MPFR precision to 64 1536754036.493 * * * * [misc]points: Setting MPFR precision to 320 1536754036.494 * * * * [misc]points: Setting MPFR precision to 576 1536754036.495 * * * * [misc]points: Setting MPFR precision to 832 1536754036.497 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.499 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.502 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536754036.504 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.508 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.512 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536754036.515 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.521 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.528 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536754036.531 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.541 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.551 * * * * [misc]points: Computing exacts for 256 points 1536754036.553 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.586 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.620 * * * * [misc]points: Filtering points with unrepresentable outputs 1536754036.621 * * * * [misc]points: Sampling 58 additional inputs, on iter 1 have 198 / 256 1536754036.621 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1536754036.623 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.625 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.627 * * * * [misc]points: Computing exacts for 58 points 1536754036.629 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.636 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.642 * * * * [misc]points: Filtering points with unrepresentable outputs 1536754036.642 * * * * [misc]points: Sampling 14 additional inputs, on iter 2 have 242 / 256 1536754036.642 * * * * [misc]points: Computing exacts for 14 points 1536754036.645 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.646 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.648 * * * * [misc]points: Filtering points with unrepresentable outputs 1536754036.648 * * * * [misc]points: Sampling 4 additional inputs, on iter 3 have 253 / 256 1536754036.648 * * * * [misc]points: Computing exacts for 4 points 1536754036.651 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.652 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.652 * * * * [misc]points: Filtering points with unrepresentable outputs 1536754036.652 * * * * [exit]points: Sampled 257 points with exact outputs 1536754036.653 * * * [misc]progress: [2/2] Setting up program. 1536754036.657 * [misc]progress: [Phase 2 of 3] Improving. 1536754036.658 * [enter]simplify: Simplifying (log (+ 1 x)) 1536754036.658 * * [misc]simplify: iters left: 3 (4 enodes) 1536754036.660 * * [misc]simplify: iters left: 2 (8 enodes) 1536754036.662 * [exit]simplify: Simplified to (log1p x) 1536754036.674 * * [misc]progress: iteration 1 / 4 1536754036.674 * * * [misc]progress: picking best candidate 1536754036.678 * * * * [misc]pick: Picked # 1536754036.678 * * * [misc]progress: localizing error 1536754036.726 * * * [misc]progress: generating rewritten candidates 1536754036.726 * * * [misc]progress: generating series expansions 1536754036.726 * * * [misc]progress: simplifying candidates 1536754036.726 * * * [misc]progress: adding candidates to table 1536754036.726 * [misc]progress: [Phase 3 of 3] Extracting. 1536754036.728 * [enter]simplify: Simplifying (log1p x) 1536754036.729 * * [misc]simplify: iters left: 1 (2 enodes) 1536754036.729 * [exit]simplify: Simplified to (log1p x) 1536754036.729 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536754036.748 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536754036.750 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.751 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.752 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536754036.755 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.759 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.763 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536754036.765 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.772 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.780 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536754036.782 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.797 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.813 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536754036.816 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.832 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.855 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536754036.857 * * * * [misc]points: Setting MPFR precision to 1088 1536754036.916 * * * * [misc]points: Setting MPFR precision to 1344 1536754036.979 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536754036.992 * * * * [misc]points: Setting MPFR precision to 1088 1536754037.070 * * * * [misc]points: Setting MPFR precision to 1344 1536754037.173 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536754037.176 * * * * [misc]points: Setting MPFR precision to 1088 1536754037.363 * * * * [misc]points: Setting MPFR precision to 1344 1536754037.650 * * * * [misc]points: Computing exacts for 8000 points 1536754037.656 * * * * [misc]points: Setting MPFR precision to 1088 1536754038.361 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.041 * * * * [misc]points: Filtering points with unrepresentable outputs 1536754039.043 * * * * [misc]points: Sampling 1963 additional inputs, on iter 1 have 6037 / 8000 1536754039.048 * * * * [misc]points: Computing exacts on every 122 of 1963 points to ramp up precision 1536754039.049 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.050 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.052 * * * * [misc]points: Computing exacts on every 61 of 1963 points to ramp up precision 1536754039.053 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.055 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.057 * * * * [misc]points: Computing exacts on every 30 of 1963 points to ramp up precision 1536754039.058 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.062 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.067 * * * * [misc]points: Computing exacts on every 15 of 1963 points to ramp up precision 1536754039.068 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.075 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.082 * * * * [misc]points: Computing exacts on every 7 of 1963 points to ramp up precision 1536754039.084 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.097 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.112 * * * * [misc]points: Computing exacts on every 3 of 1963 points to ramp up precision 1536754039.114 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.146 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.205 * * * * [misc]points: Computing exacts for 1963 points 1536754039.233 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.406 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.628 * * * * [misc]points: Filtering points with unrepresentable outputs 1536754039.628 * * * * [misc]points: Sampling 502 additional inputs, on iter 2 have 7498 / 8000 1536754039.631 * * * * [misc]points: Computing exacts on every 31 of 502 points to ramp up precision 1536754039.633 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.634 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.636 * * * * [misc]points: Computing exacts on every 15 of 502 points to ramp up precision 1536754039.638 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.641 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.645 * * * * [misc]points: Computing exacts on every 7 of 502 points to ramp up precision 1536754039.647 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.652 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.659 * * * * [misc]points: Computing exacts on every 3 of 502 points to ramp up precision 1536754039.660 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.667 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.675 * * * * [misc]points: Computing exacts for 502 points 1536754039.677 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.746 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.808 * * * * [misc]points: Filtering points with unrepresentable outputs 1536754039.809 * * * * [misc]points: Sampling 130 additional inputs, on iter 3 have 7870 / 8000 1536754039.809 * * * * [misc]points: Computing exacts on every 8 of 130 points to ramp up precision 1536754039.812 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.813 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.815 * * * * [misc]points: Computing exacts on every 4 of 130 points to ramp up precision 1536754039.817 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.820 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.823 * * * * [misc]points: Computing exacts on every 2 of 130 points to ramp up precision 1536754039.826 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.829 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.833 * * * * [misc]points: Computing exacts for 130 points 1536754039.834 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.843 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.852 * * * * [misc]points: Filtering points with unrepresentable outputs 1536754039.852 * * * * [misc]points: Sampling 32 additional inputs, on iter 4 have 7968 / 8000 1536754039.853 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1536754039.854 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.855 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.855 * * * * [misc]points: Computing exacts for 32 points 1536754039.856 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.858 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.861 * * * * [misc]points: Filtering points with unrepresentable outputs 1536754039.861 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 7993 / 8000 1536754039.861 * * * * [misc]points: Computing exacts for 7 points 1536754039.862 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.862 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.863 * * * * [misc]points: Filtering points with unrepresentable outputs 1536754039.863 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 7998 / 8000 1536754039.863 * * * * [misc]points: Computing exacts for 4 points 1536754039.865 * * * * [misc]points: Setting MPFR precision to 1088 1536754039.865 * * * * [misc]points: Setting MPFR precision to 1344 1536754039.865 * * * * [misc]points: Filtering points with unrepresentable outputs 1536754039.865 * * * * [exit]points: Sampled 8001 points with exact outputs