1536828018.558 * [misc]progress: [Phase 1 of 3] Setting up. 1536828018.558 * * * [misc]progress: [1/2] Preparing points 1536828018.558 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536828018.559 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536828018.561 * * * * [misc]points: Setting MPFR precision to 64 1536828018.561 * * * * [misc]points: Setting MPFR precision to 320 1536828018.562 * * * * [misc]points: Setting MPFR precision to 576 1536828018.563 * * * * [misc]points: Setting MPFR precision to 832 1536828018.564 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.565 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.566 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536828018.568 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.570 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.572 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536828018.574 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.585 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.589 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536828018.591 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.598 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.605 * * * * [misc]points: Computing exacts for 256 points 1536828018.608 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.629 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.650 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828018.651 * * * * [misc]points: Sampling 88 additional inputs, on iter 1 have 168 / 256 1536828018.651 * * * * [misc]points: Computing exacts on every 5 of 88 points to ramp up precision 1536828018.653 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.654 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.655 * * * * [misc]points: Computing exacts on every 2 of 88 points to ramp up precision 1536828018.656 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.659 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.661 * * * * [misc]points: Computing exacts for 88 points 1536828018.663 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.670 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.677 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828018.677 * * * * [misc]points: Sampling 28 additional inputs, on iter 2 have 228 / 256 1536828018.677 * * * * [misc]points: Computing exacts for 28 points 1536828018.679 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.681 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.683 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828018.683 * * * * [misc]points: Sampling 10 additional inputs, on iter 3 have 246 / 256 1536828018.684 * * * * [misc]points: Computing exacts for 10 points 1536828018.685 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.686 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.687 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828018.687 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 254 / 256 1536828018.687 * * * * [misc]points: Computing exacts for 4 points 1536828018.689 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.689 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.689 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828018.689 * * * * [exit]points: Sampled 257 points with exact outputs 1536828018.690 * * * [misc]progress: [2/2] Setting up program. 1536828018.694 * [misc]progress: [Phase 2 of 3] Improving. 1536828018.694 * [enter]simplify: Simplifying (- (exp x) 1) 1536828018.695 * * [misc]simplify: iters left: 3 (4 enodes) 1536828018.697 * * [misc]simplify: iters left: 2 (10 enodes) 1536828018.700 * [exit]simplify: Simplified to (expm1 x) 1536828018.711 * * [misc]progress: iteration 1 / 4 1536828018.711 * * * [misc]progress: picking best candidate 1536828018.714 * * * * [misc]pick: Picked # 1536828018.714 * * * [misc]progress: localizing error 1536828018.770 * * * [misc]progress: generating rewritten candidates 1536828018.770 * * * [misc]progress: generating series expansions 1536828018.770 * * * [misc]progress: simplifying candidates 1536828018.770 * * * [misc]progress: adding candidates to table 1536828018.770 * [misc]progress: [Phase 3 of 3] Extracting. 1536828018.772 * [enter]simplify: Simplifying (expm1 x) 1536828018.772 * * [misc]simplify: iters left: 1 (2 enodes) 1536828018.772 * [exit]simplify: Simplified to (expm1 x) 1536828018.773 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536828018.803 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536828018.805 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.807 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.808 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536828018.810 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.828 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.830 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536828018.832 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.839 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.844 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536828018.846 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.856 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.867 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536828018.868 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.880 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.891 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536828018.892 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.914 * * * * [misc]points: Setting MPFR precision to 1344 1536828018.936 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536828018.937 * * * * [misc]points: Setting MPFR precision to 1088 1536828018.994 * * * * [misc]points: Setting MPFR precision to 1344 1536828019.070 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536828019.072 * * * * [misc]points: Setting MPFR precision to 1088 1536828019.243 * * * * [misc]points: Setting MPFR precision to 1344 1536828019.338 * * * * [misc]points: Computing exacts for 8000 points 1536828019.339 * * * * [misc]points: Setting MPFR precision to 1088 1536828019.954 * * * * [misc]points: Setting MPFR precision to 1344 1536828020.546 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828020.549 * * * * [misc]points: Sampling 2611 additional inputs, on iter 1 have 5389 / 8000 1536828020.561 * * * * [misc]points: Computing exacts on every 163 of 2611 points to ramp up precision 1536828020.563 * * * * [misc]points: Setting MPFR precision to 1088 1536828020.565 * * * * [misc]points: Setting MPFR precision to 1344 1536828020.566 * * * * [misc]points: Computing exacts on every 81 of 2611 points to ramp up precision 1536828020.567 * * * * [misc]points: Setting MPFR precision to 1088 1536828020.570 * * * * [misc]points: Setting MPFR precision to 1344 1536828020.572 * * * * [misc]points: Computing exacts on every 40 of 2611 points to ramp up precision 1536828020.574 * * * * [misc]points: Setting MPFR precision to 1088 1536828020.615 * * * * [misc]points: Setting MPFR precision to 1344 1536828020.621 * * * * [misc]points: Computing exacts on every 20 of 2611 points to ramp up precision 1536828020.625 * * * * [misc]points: Setting MPFR precision to 1088 1536828020.636 * * * * [misc]points: Setting MPFR precision to 1344 1536828020.647 * * * * [misc]points: Computing exacts on every 10 of 2611 points to ramp up precision 1536828020.648 * * * * [misc]points: Setting MPFR precision to 1088 1536828020.668 * * * * [misc]points: Setting MPFR precision to 1344 1536828020.687 * * * * [misc]points: Computing exacts on every 5 of 2611 points to ramp up precision 1536828020.689 * * * * [misc]points: Setting MPFR precision to 1088 1536828020.706 * * * * [misc]points: Setting MPFR precision to 1344 1536828020.728 * * * * [misc]points: Computing exacts on every 2 of 2611 points to ramp up precision 1536828020.730 * * * * [misc]points: Setting MPFR precision to 1088 1536828020.800 * * * * [misc]points: Setting MPFR precision to 1344 1536828020.866 * * * * [misc]points: Computing exacts for 2611 points 1536828020.868 * * * * [misc]points: Setting MPFR precision to 1088 1536828021.062 * * * * [misc]points: Setting MPFR precision to 1344 1536828021.292 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828021.293 * * * * [misc]points: Sampling 888 additional inputs, on iter 2 have 7112 / 8000 1536828021.297 * * * * [misc]points: Computing exacts on every 55 of 888 points to ramp up precision 1536828021.299 * * * * [misc]points: Setting MPFR precision to 1088 1536828021.305 * * * * [misc]points: Setting MPFR precision to 1344 1536828021.306 * * * * [misc]points: Computing exacts on every 27 of 888 points to ramp up precision 1536828021.308 * * * * [misc]points: Setting MPFR precision to 1088 1536828021.312 * * * * [misc]points: Setting MPFR precision to 1344 1536828021.315 * * * * [misc]points: Computing exacts on every 13 of 888 points to ramp up precision 1536828021.316 * * * * [misc]points: Setting MPFR precision to 1088 1536828021.323 * * * * [misc]points: Setting MPFR precision to 1344 1536828021.329 * * * * [misc]points: Computing exacts on every 6 of 888 points to ramp up precision 1536828021.331 * * * * [misc]points: Setting MPFR precision to 1088 1536828021.343 * * * * [misc]points: Setting MPFR precision to 1344 1536828021.355 * * * * [misc]points: Computing exacts on every 3 of 888 points to ramp up precision 1536828021.357 * * * * [misc]points: Setting MPFR precision to 1088 1536828021.376 * * * * [misc]points: Setting MPFR precision to 1344 1536828021.394 * * * * [misc]points: Computing exacts for 888 points 1536828021.395 * * * * [misc]points: Setting MPFR precision to 1088 1536828021.438 * * * * [misc]points: Setting MPFR precision to 1344 1536828021.489 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828021.489 * * * * [misc]points: Sampling 293 additional inputs, on iter 3 have 7707 / 8000 1536828021.491 * * * * [misc]points: Computing exacts on every 18 of 293 points to ramp up precision 1536828021.492 * * * * [misc]points: Setting MPFR precision to 1088 1536828021.494 * * * * [misc]points: Setting MPFR precision to 1344 1536828021.495 * * * * [misc]points: Computing exacts on every 9 of 293 points to ramp up precision 1536828021.497 * * * * [misc]points: Setting MPFR precision to 1088 1536828021.499 * * * * [misc]points: Setting MPFR precision to 1344 1536828021.502 * * * * [misc]points: Computing exacts on every 4 of 293 points to ramp up precision 1536828021.503 * * * * [misc]points: Setting MPFR precision to 1088 1536828021.508 * * * * [misc]points: Setting MPFR precision to 1344 1536828021.512 * * * * [misc]points: Computing exacts on every 2 of 293 points to ramp up precision 1536828021.514 * * * * [misc]points: Setting MPFR precision to 1088 1536828021.522 * * * * [misc]points: Setting MPFR precision to 1344 1536828021.531 * * * * [misc]points: Computing exacts for 293 points 1536828021.533 * * * * [misc]points: Setting MPFR precision to 1088 1536828021.558 * * * * [misc]points: Setting MPFR precision to 1344 1536828022.075 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828022.075 * * * * [misc]points: Sampling 111 additional inputs, on iter 4 have 7889 / 8000 1536828022.075 * * * * [misc]points: Computing exacts on every 6 of 111 points to ramp up precision 1536828022.080 * * * * [misc]points: Setting MPFR precision to 1088 1536828022.081 * * * * [misc]points: Setting MPFR precision to 1344 1536828022.082 * * * * [misc]points: Computing exacts on every 3 of 111 points to ramp up precision 1536828022.083 * * * * [misc]points: Setting MPFR precision to 1088 1536828022.085 * * * * [misc]points: Setting MPFR precision to 1344 1536828022.088 * * * * [misc]points: Computing exacts for 111 points 1536828022.089 * * * * [misc]points: Setting MPFR precision to 1088 1536828022.097 * * * * [misc]points: Setting MPFR precision to 1344 1536828022.106 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828022.106 * * * * [misc]points: Sampling 39 additional inputs, on iter 5 have 7961 / 8000 1536828022.106 * * * * [misc]points: Computing exacts on every 2 of 39 points to ramp up precision 1536828022.108 * * * * [misc]points: Setting MPFR precision to 1088 1536828022.109 * * * * [misc]points: Setting MPFR precision to 1344 1536828022.110 * * * * [misc]points: Computing exacts for 39 points 1536828022.111 * * * * [misc]points: Setting MPFR precision to 1088 1536828022.115 * * * * [misc]points: Setting MPFR precision to 1344 1536828022.118 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828022.118 * * * * [misc]points: Sampling 15 additional inputs, on iter 6 have 7985 / 8000 1536828022.118 * * * * [misc]points: Computing exacts for 15 points 1536828022.120 * * * * [misc]points: Setting MPFR precision to 1088 1536828022.122 * * * * [misc]points: Setting MPFR precision to 1344 1536828022.123 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828022.123 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 7997 / 8000 1536828022.124 * * * * [misc]points: Computing exacts for 4 points 1536828022.125 * * * * [misc]points: Setting MPFR precision to 1088 1536828022.126 * * * * [misc]points: Setting MPFR precision to 1344 1536828022.126 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828022.126 * * * * [exit]points: Sampled 8001 points with exact outputs