1538425431.025 * [misc]progress: [Phase 1 of 3] Setting up. 1538425431.025 * * * [misc]progress: [1/2] Preparing points 1538425431.025 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538425431.027 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538425431.029 * * * * [misc]points: Setting MPFR precision to 64 1538425431.030 * * * * [misc]points: Setting MPFR precision to 320 1538425431.032 * * * * [misc]points: Setting MPFR precision to 576 1538425431.033 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538425431.035 * * * * [misc]points: Setting MPFR precision to 320 1538425431.037 * * * * [misc]points: Setting MPFR precision to 576 1538425431.039 * * * * [misc]points: Setting MPFR precision to 832 1538425431.042 * * * * [misc]points: Setting MPFR precision to 1088 1538425431.046 * * * * [misc]points: Setting MPFR precision to 1344 1538425431.050 * * * * [misc]points: Setting MPFR precision to 1600 1538425431.057 * * * * [misc]points: Setting MPFR precision to 1856 1538425431.066 * * * * [misc]points: Setting MPFR precision to 2112 1538425431.080 * * * * [misc]points: Setting MPFR precision to 2368 1538425431.094 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538425431.096 * * * * [misc]points: Setting MPFR precision to 2112 1538425431.121 * * * * [misc]points: Setting MPFR precision to 2368 1538425431.147 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538425431.149 * * * * [misc]points: Setting MPFR precision to 2112 1538425431.183 * * * * [misc]points: Setting MPFR precision to 2368 1538425431.222 * * * * [misc]points: Computing exacts for 256 points 1538425431.224 * * * * [misc]points: Setting MPFR precision to 2112 1538425431.337 * * * * [misc]points: Setting MPFR precision to 2368 1538425431.432 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425431.432 * * * * [exit]points: Sampled 256 points with exact outputs 1538425431.432 * * * [misc]progress: [2/2] Setting up program. 1538425431.436 * [misc]progress: [Phase 2 of 3] Improving. 1538425431.436 * [enter]simplify: Simplifying (/ (- 1 (cos x)) (sin x)) 1538425431.437 * * [misc]simplify: iters left: 5 (6 enodes) 1538425431.438 * * [misc]simplify: iters left: 4 (16 enodes) 1538425431.441 * * [misc]simplify: iters left: 3 (19 enodes) 1538425431.443 * * [misc]simplify: iters left: 2 (21 enodes) 1538425431.446 * [exit]simplify: Simplified to (tan (/ x 2)) 1538425431.462 * * [misc]progress: iteration 1 / 4 1538425431.463 * * * [misc]progress: picking best candidate 1538425431.467 * * * * [misc]pick: Picked # 1538425431.468 * * * [misc]progress: localizing error 1538425431.537 * * * [misc]progress: generating rewritten candidates 1538425431.537 * * * [misc]progress: generating series expansions 1538425431.537 * * * [misc]progress: simplifying candidates 1538425431.537 * * * [misc]progress: adding candidates to table 1538425431.537 * [misc]progress: [Phase 3 of 3] Extracting. 1538425431.539 * [enter]simplify: Simplifying (tan (/ x 2)) 1538425431.540 * * [misc]simplify: iters left: 3 (4 enodes) 1538425431.540 * [exit]simplify: Simplified to (tan (/ x 2)) 1538425431.540 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538425431.573 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538425431.575 * * * * [misc]points: Setting MPFR precision to 2112 1538425431.585 * * * * [misc]points: Setting MPFR precision to 2368 1538425431.596 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538425431.597 * * * * [misc]points: Setting MPFR precision to 2112 1538425431.609 * * * * [misc]points: Setting MPFR precision to 2368 1538425431.623 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538425431.625 * * * * [misc]points: Setting MPFR precision to 2112 1538425431.655 * * * * [misc]points: Setting MPFR precision to 2368 1538425431.674 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538425431.675 * * * * [misc]points: Setting MPFR precision to 2112 1538425431.724 * * * * [misc]points: Setting MPFR precision to 2368 1538425431.783 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538425431.785 * * * * [misc]points: Setting MPFR precision to 2112 1538425431.865 * * * * [misc]points: Setting MPFR precision to 2368 1538425431.963 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538425431.966 * * * * [misc]points: Setting MPFR precision to 2112 1538425432.129 * * * * [misc]points: Setting MPFR precision to 2368 1538425432.336 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538425432.338 * * * * [misc]points: Setting MPFR precision to 2112 1538425432.648 * * * * [misc]points: Setting MPFR precision to 2368 1538425432.955 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538425432.956 * * * * [misc]points: Setting MPFR precision to 2112 1538425433.543 * * * * [misc]points: Setting MPFR precision to 2368 1538425434.773 * * * * [misc]points: Computing exacts for 8000 points 1538425434.775 * * * * [misc]points: Setting MPFR precision to 2112 1538425437.685 * * * * [misc]points: Setting MPFR precision to 2368 1538425440.856 * * * * [misc]points: Setting MPFR precision to 2624 1538425444.168 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425444.174 * * * * [exit]points: Sampled 8000 points with exact outputs