1538734100.929 * [misc]progress: [Phase 1 of 3] Setting up. 1538734100.929 * * * [misc]progress: [1/2] Preparing points 1538734100.929 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538734100.931 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538734100.933 * * * * [misc]points: Setting MPFR precision to 64 1538734100.935 * * * * [misc]points: Setting MPFR precision to 320 1538734100.937 * * * * [misc]points: Setting MPFR precision to 576 1538734100.938 * * * * [misc]points: Setting MPFR precision to 832 1538734100.939 * * * * [misc]points: Setting MPFR precision to 1088 1538734100.941 * * * * [misc]points: Setting MPFR precision to 1344 1538734100.944 * * * * [misc]points: Setting MPFR precision to 1600 1538734100.946 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538734100.948 * * * * [misc]points: Setting MPFR precision to 1344 1538734100.951 * * * * [misc]points: Setting MPFR precision to 1600 1538734100.955 * * * * [misc]points: Setting MPFR precision to 1856 1538734100.959 * * * * [misc]points: Setting MPFR precision to 2112 1538734100.963 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538734100.965 * * * * [misc]points: Setting MPFR precision to 1856 1538734100.973 * * * * [misc]points: Setting MPFR precision to 2112 1538734100.983 * * * * [misc]points: Setting MPFR precision to 2368 1538734100.993 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538734100.995 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.009 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.023 * * * * [misc]points: Computing exacts for 256 points 1538734101.025 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.060 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.089 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.089 * * * * [misc]points: Sampling 190 additional inputs, on iter 1 have 66 / 256 1538734101.090 * * * * [misc]points: Computing exacts on every 11 of 190 points to ramp up precision 1538734101.092 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.094 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.097 * * * * [misc]points: Computing exacts on every 5 of 190 points to ramp up precision 1538734101.099 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.104 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.108 * * * * [misc]points: Computing exacts on every 2 of 190 points to ramp up precision 1538734101.110 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.120 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.126 * * * * [misc]points: Computing exacts for 190 points 1538734101.127 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.146 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.175 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.175 * * * * [misc]points: Sampling 146 additional inputs, on iter 2 have 110 / 256 1538734101.176 * * * * [misc]points: Computing exacts on every 9 of 146 points to ramp up precision 1538734101.178 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.180 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.183 * * * * [misc]points: Computing exacts on every 4 of 146 points to ramp up precision 1538734101.185 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.190 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.195 * * * * [misc]points: Computing exacts on every 2 of 146 points to ramp up precision 1538734101.197 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.208 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.220 * * * * [misc]points: Computing exacts for 146 points 1538734101.221 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.245 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.261 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.261 * * * * [misc]points: Sampling 109 additional inputs, on iter 3 have 147 / 256 1538734101.261 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision 1538734101.262 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.287 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.290 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision 1538734101.291 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.293 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.297 * * * * [misc]points: Computing exacts for 109 points 1538734101.298 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.317 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.337 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.337 * * * * [misc]points: Sampling 80 additional inputs, on iter 4 have 176 / 256 1538734101.338 * * * * [misc]points: Computing exacts on every 5 of 80 points to ramp up precision 1538734101.340 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.341 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.343 * * * * [misc]points: Computing exacts on every 2 of 80 points to ramp up precision 1538734101.344 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.347 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.351 * * * * [misc]points: Computing exacts for 80 points 1538734101.352 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.366 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.380 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.380 * * * * [misc]points: Sampling 63 additional inputs, on iter 5 have 193 / 256 1538734101.381 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1538734101.382 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.385 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.388 * * * * [misc]points: Computing exacts for 63 points 1538734101.390 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.400 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.412 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.412 * * * * [misc]points: Sampling 48 additional inputs, on iter 6 have 208 / 256 1538734101.413 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1538734101.414 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.417 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.419 * * * * [misc]points: Computing exacts for 48 points 1538734101.421 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.428 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.436 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.437 * * * * [misc]points: Sampling 32 additional inputs, on iter 7 have 224 / 256 1538734101.437 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1538734101.439 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.442 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.444 * * * * [misc]points: Computing exacts for 32 points 1538734101.446 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.452 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.456 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.456 * * * * [misc]points: Sampling 20 additional inputs, on iter 8 have 236 / 256 1538734101.457 * * * * [misc]points: Computing exacts for 20 points 1538734101.458 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.460 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.462 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.462 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 239 / 256 1538734101.462 * * * * [misc]points: Computing exacts for 17 points 1538734101.463 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.465 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.466 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.466 * * * * [misc]points: Sampling 11 additional inputs, on iter 10 have 245 / 256 1538734101.467 * * * * [misc]points: Computing exacts for 11 points 1538734101.467 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.469 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.472 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.472 * * * * [misc]points: Sampling 9 additional inputs, on iter 11 have 247 / 256 1538734101.472 * * * * [misc]points: Computing exacts for 9 points 1538734101.473 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.475 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.478 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.478 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 252 / 256 1538734101.478 * * * * [misc]points: Computing exacts for 4 points 1538734101.479 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.480 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.481 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.481 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 253 / 256 1538734101.481 * * * * [misc]points: Computing exacts for 4 points 1538734101.483 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.483 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.483 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.483 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 253 / 256 1538734101.484 * * * * [misc]points: Computing exacts for 4 points 1538734101.485 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.486 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.487 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.487 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 255 / 256 1538734101.487 * * * * [misc]points: Computing exacts for 4 points 1538734101.489 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.490 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.490 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734101.490 * * * * [exit]points: Sampled 257 points with exact outputs 1538734101.491 * * * [misc]progress: [2/2] Setting up program. 1538734101.499 * [misc]progress: [Phase 2 of 3] Improving. 1538734101.499 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538734101.500 * * [misc]simplify: iters left: 4 (6 enodes) 1538734101.502 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538734101.519 * * [misc]progress: iteration 1 / 4 1538734101.519 * * * [misc]progress: picking best candidate 1538734101.527 * * * * [misc]pick: Picked # 1538734101.527 * * * [misc]progress: localizing error 1538734101.675 * * * [misc]progress: generating rewritten candidates 1538734101.675 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1538734101.677 * * * [misc]progress: generating series expansions 1538734101.677 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1538734101.677 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538734101.677 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1538734101.677 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538734101.678 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538734101.678 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538734101.678 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538734101.678 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538734101.678 * [misc]backup-simplify: Simplify 0 into 0 1538734101.678 * [misc]backup-simplify: Simplify 0 into 0 1538734101.678 * [misc]backup-simplify: Simplify 0 into 0 1538734101.678 * [misc]backup-simplify: Simplify 0 into 0 1538734101.678 * [misc]backup-simplify: Simplify 0 into 0 1538734101.678 * [misc]backup-simplify: Simplify 0 into 0 1538734101.678 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538734101.678 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538734101.678 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1538734101.678 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538734101.679 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538734101.679 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538734101.679 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538734101.679 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538734101.679 * [misc]backup-simplify: Simplify 0 into 0 1538734101.679 * [misc]backup-simplify: Simplify 0 into 0 1538734101.679 * [misc]backup-simplify: Simplify 0 into 0 1538734101.679 * [misc]backup-simplify: Simplify 0 into 0 1538734101.679 * [misc]backup-simplify: Simplify 0 into 0 1538734101.679 * [misc]backup-simplify: Simplify 0 into 0 1538734101.679 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1538734101.680 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538734101.680 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1538734101.680 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538734101.680 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538734101.680 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538734101.680 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538734101.680 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538734101.680 * [misc]backup-simplify: Simplify 0 into 0 1538734101.680 * [misc]backup-simplify: Simplify 0 into 0 1538734101.680 * [misc]backup-simplify: Simplify 0 into 0 1538734101.680 * [misc]backup-simplify: Simplify 0 into 0 1538734101.680 * [misc]backup-simplify: Simplify 0 into 0 1538734101.680 * [misc]backup-simplify: Simplify 0 into 0 1538734101.681 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1538734101.681 * * * [misc]progress: simplifying candidates 1538734101.681 * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # 1538734101.681 * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # 1538734101.681 * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # 1538734101.681 * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # 1538734101.681 * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # 1538734101.681 * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # 1538734101.681 * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # 1538734101.681 * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # 1538734101.681 * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # 1538734101.681 * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # 1538734101.681 * [enter]simplify: Simplifying (fmod a (asin a)) 1538734101.682 * * [misc]simplify: iters left: 2 (3 enodes) 1538734101.683 * [exit]simplify: Simplified to (fmod a (asin a)) 1538734101.683 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538734101.683 * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # 1538734101.683 * [enter]simplify: Simplifying (fmod a (asin a)) 1538734101.684 * * [misc]simplify: iters left: 2 (3 enodes) 1538734101.685 * [exit]simplify: Simplified to (fmod a (asin a)) 1538734101.685 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538734101.685 * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # 1538734101.685 * [enter]simplify: Simplifying (fmod a (asin a)) 1538734101.685 * * [misc]simplify: iters left: 2 (3 enodes) 1538734101.686 * [exit]simplify: Simplified to (fmod a (asin a)) 1538734101.686 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538734101.687 * * * [misc]progress: adding candidates to table 1538734101.920 * [misc]progress: [Phase 3 of 3] Extracting. 1538734101.930 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538734101.932 * * [misc]simplify: iters left: 4 (6 enodes) 1538734101.933 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538734101.933 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538734101.972 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538734101.974 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.977 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.980 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538734101.982 * * * * [misc]points: Setting MPFR precision to 2112 1538734101.988 * * * * [misc]points: Setting MPFR precision to 2368 1538734101.994 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538734101.996 * * * * [misc]points: Setting MPFR precision to 2112 1538734102.008 * * * * [misc]points: Setting MPFR precision to 2368 1538734102.021 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538734102.023 * * * * [misc]points: Setting MPFR precision to 2112 1538734102.045 * * * * [misc]points: Setting MPFR precision to 2368 1538734102.072 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538734102.074 * * * * [misc]points: Setting MPFR precision to 2112 1538734102.123 * * * * [misc]points: Setting MPFR precision to 2368 1538734102.176 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538734102.178 * * * * [misc]points: Setting MPFR precision to 2112 1538734102.285 * * * * [misc]points: Setting MPFR precision to 2368 1538734102.366 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538734102.368 * * * * [misc]points: Setting MPFR precision to 2112 1538734102.529 * * * * [misc]points: Setting MPFR precision to 2368 1538734102.764 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538734102.766 * * * * [misc]points: Setting MPFR precision to 2112 1538734103.069 * * * * [misc]points: Setting MPFR precision to 2368 1538734103.754 * * * * [misc]points: Computing exacts for 8000 points 1538734103.755 * * * * [misc]points: Setting MPFR precision to 2112 1538734105.039 * * * * [misc]points: Setting MPFR precision to 2368 1538734106.367 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734106.370 * * * * [misc]points: Sampling 5967 additional inputs, on iter 1 have 2033 / 8000 1538734106.398 * * * * [misc]points: Computing exacts on every 372 of 5967 points to ramp up precision 1538734106.400 * * * * [misc]points: Setting MPFR precision to 2112 1538734106.432 * * * * [misc]points: Setting MPFR precision to 2368 1538734106.435 * * * * [misc]points: Computing exacts on every 186 of 5967 points to ramp up precision 1538734106.437 * * * * [misc]points: Setting MPFR precision to 2112 1538734106.445 * * * * [misc]points: Setting MPFR precision to 2368 1538734106.450 * * * * [misc]points: Computing exacts on every 93 of 5967 points to ramp up precision 1538734106.452 * * * * [misc]points: Setting MPFR precision to 2112 1538734106.462 * * * * [misc]points: Setting MPFR precision to 2368 1538734106.473 * * * * [misc]points: Computing exacts on every 46 of 5967 points to ramp up precision 1538734106.475 * * * * [misc]points: Setting MPFR precision to 2112 1538734106.497 * * * * [misc]points: Setting MPFR precision to 2368 1538734106.517 * * * * [misc]points: Computing exacts on every 23 of 5967 points to ramp up precision 1538734106.518 * * * * [misc]points: Setting MPFR precision to 2112 1538734106.543 * * * * [misc]points: Setting MPFR precision to 2368 1538734106.570 * * * * [misc]points: Computing exacts on every 11 of 5967 points to ramp up precision 1538734106.571 * * * * [misc]points: Setting MPFR precision to 2112 1538734106.637 * * * * [misc]points: Setting MPFR precision to 2368 1538734106.702 * * * * [misc]points: Computing exacts on every 5 of 5967 points to ramp up precision 1538734106.704 * * * * [misc]points: Setting MPFR precision to 2112 1538734106.850 * * * * [misc]points: Setting MPFR precision to 2368 1538734106.961 * * * * [misc]points: Computing exacts on every 2 of 5967 points to ramp up precision 1538734106.963 * * * * [misc]points: Setting MPFR precision to 2112 1538734107.634 * * * * [misc]points: Setting MPFR precision to 2368 1538734107.980 * * * * [misc]points: Computing exacts for 5967 points 1538734107.982 * * * * [misc]points: Setting MPFR precision to 2112 1538734108.724 * * * * [misc]points: Setting MPFR precision to 2368 1538734109.759 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734109.761 * * * * [misc]points: Sampling 4485 additional inputs, on iter 2 have 3515 / 8000 1538734109.779 * * * * [misc]points: Computing exacts on every 280 of 4485 points to ramp up precision 1538734109.780 * * * * [misc]points: Setting MPFR precision to 2112 1538734109.781 * * * * [misc]points: Setting MPFR precision to 2368 1538734109.783 * * * * [misc]points: Computing exacts on every 140 of 4485 points to ramp up precision 1538734109.784 * * * * [misc]points: Setting MPFR precision to 2112 1538734109.789 * * * * [misc]points: Setting MPFR precision to 2368 1538734109.796 * * * * [misc]points: Computing exacts on every 70 of 4485 points to ramp up precision 1538734109.798 * * * * [misc]points: Setting MPFR precision to 2112 1538734109.810 * * * * [misc]points: Setting MPFR precision to 2368 1538734109.819 * * * * [misc]points: Computing exacts on every 35 of 4485 points to ramp up precision 1538734109.821 * * * * [misc]points: Setting MPFR precision to 2112 1538734109.834 * * * * [misc]points: Setting MPFR precision to 2368 1538734109.860 * * * * [misc]points: Computing exacts on every 17 of 4485 points to ramp up precision 1538734109.861 * * * * [misc]points: Setting MPFR precision to 2112 1538734109.908 * * * * [misc]points: Setting MPFR precision to 2368 1538734109.943 * * * * [misc]points: Computing exacts on every 8 of 4485 points to ramp up precision 1538734109.945 * * * * [misc]points: Setting MPFR precision to 2112 1538734110.045 * * * * [misc]points: Setting MPFR precision to 2368 1538734110.117 * * * * [misc]points: Computing exacts on every 4 of 4485 points to ramp up precision 1538734110.119 * * * * [misc]points: Setting MPFR precision to 2112 1538734110.258 * * * * [misc]points: Setting MPFR precision to 2368 1538734110.415 * * * * [misc]points: Computing exacts on every 2 of 4485 points to ramp up precision 1538734110.416 * * * * [misc]points: Setting MPFR precision to 2112 1538734110.649 * * * * [misc]points: Setting MPFR precision to 2368 1538734111.350 * * * * [misc]points: Computing exacts for 4485 points 1538734111.351 * * * * [misc]points: Setting MPFR precision to 2112 1538734112.027 * * * * [misc]points: Setting MPFR precision to 2368 1538734112.740 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734112.741 * * * * [misc]points: Sampling 3365 additional inputs, on iter 3 have 4635 / 8000 1538734112.792 * * * * [misc]points: Computing exacts on every 210 of 3365 points to ramp up precision 1538734112.793 * * * * [misc]points: Setting MPFR precision to 2112 1538734112.799 * * * * [misc]points: Setting MPFR precision to 2368 1538734112.801 * * * * [misc]points: Computing exacts on every 105 of 3365 points to ramp up precision 1538734112.802 * * * * [misc]points: Setting MPFR precision to 2112 1538734112.807 * * * * [misc]points: Setting MPFR precision to 2368 1538734112.812 * * * * [misc]points: Computing exacts on every 52 of 3365 points to ramp up precision 1538734112.814 * * * * [misc]points: Setting MPFR precision to 2112 1538734112.823 * * * * [misc]points: Setting MPFR precision to 2368 1538734112.834 * * * * [misc]points: Computing exacts on every 26 of 3365 points to ramp up precision 1538734112.836 * * * * [misc]points: Setting MPFR precision to 2112 1538734112.860 * * * * [misc]points: Setting MPFR precision to 2368 1538734112.887 * * * * [misc]points: Computing exacts on every 13 of 3365 points to ramp up precision 1538734112.889 * * * * [misc]points: Setting MPFR precision to 2112 1538734112.923 * * * * [misc]points: Setting MPFR precision to 2368 1538734112.947 * * * * [misc]points: Computing exacts on every 6 of 3365 points to ramp up precision 1538734112.948 * * * * [misc]points: Setting MPFR precision to 2112 1538734113.007 * * * * [misc]points: Setting MPFR precision to 2368 1538734113.075 * * * * [misc]points: Computing exacts on every 3 of 3365 points to ramp up precision 1538734113.076 * * * * [misc]points: Setting MPFR precision to 2112 1538734113.265 * * * * [misc]points: Setting MPFR precision to 2368 1538734113.412 * * * * [misc]points: Computing exacts for 3365 points 1538734113.413 * * * * [misc]points: Setting MPFR precision to 2112 1538734113.917 * * * * [misc]points: Setting MPFR precision to 2368 1538734114.553 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734114.553 * * * * [misc]points: Sampling 2502 additional inputs, on iter 4 have 5498 / 8000 1538734114.559 * * * * [misc]points: Computing exacts on every 156 of 2502 points to ramp up precision 1538734114.560 * * * * [misc]points: Setting MPFR precision to 2112 1538734114.562 * * * * [misc]points: Setting MPFR precision to 2368 1538734114.566 * * * * [misc]points: Computing exacts on every 78 of 2502 points to ramp up precision 1538734114.568 * * * * [misc]points: Setting MPFR precision to 2112 1538734114.572 * * * * [misc]points: Setting MPFR precision to 2368 1538734114.577 * * * * [misc]points: Computing exacts on every 39 of 2502 points to ramp up precision 1538734114.579 * * * * [misc]points: Setting MPFR precision to 2112 1538734114.591 * * * * [misc]points: Setting MPFR precision to 2368 1538734114.599 * * * * [misc]points: Computing exacts on every 19 of 2502 points to ramp up precision 1538734114.600 * * * * [misc]points: Setting MPFR precision to 2112 1538734114.613 * * * * [misc]points: Setting MPFR precision to 2368 1538734114.631 * * * * [misc]points: Computing exacts on every 9 of 2502 points to ramp up precision 1538734114.633 * * * * [misc]points: Setting MPFR precision to 2112 1538734114.667 * * * * [misc]points: Setting MPFR precision to 2368 1538734115.116 * * * * [misc]points: Computing exacts on every 4 of 2502 points to ramp up precision 1538734115.118 * * * * [misc]points: Setting MPFR precision to 2112 1538734115.182 * * * * [misc]points: Setting MPFR precision to 2368 1538734115.270 * * * * [misc]points: Computing exacts on every 2 of 2502 points to ramp up precision 1538734115.271 * * * * [misc]points: Setting MPFR precision to 2112 1538734115.413 * * * * [misc]points: Setting MPFR precision to 2368 1538734115.627 * * * * [misc]points: Computing exacts for 2502 points 1538734115.628 * * * * [misc]points: Setting MPFR precision to 2112 1538734116.023 * * * * [misc]points: Setting MPFR precision to 2368 1538734116.437 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734116.438 * * * * [misc]points: Sampling 1887 additional inputs, on iter 5 have 6113 / 8000 1538734116.447 * * * * [misc]points: Computing exacts on every 117 of 1887 points to ramp up precision 1538734116.449 * * * * [misc]points: Setting MPFR precision to 2112 1538734116.452 * * * * [misc]points: Setting MPFR precision to 2368 1538734116.456 * * * * [misc]points: Computing exacts on every 58 of 1887 points to ramp up precision 1538734116.458 * * * * [misc]points: Setting MPFR precision to 2112 1538734116.465 * * * * [misc]points: Setting MPFR precision to 2368 1538734116.473 * * * * [misc]points: Computing exacts on every 29 of 1887 points to ramp up precision 1538734116.474 * * * * [misc]points: Setting MPFR precision to 2112 1538734116.485 * * * * [misc]points: Setting MPFR precision to 2368 1538734116.498 * * * * [misc]points: Computing exacts on every 14 of 1887 points to ramp up precision 1538734116.499 * * * * [misc]points: Setting MPFR precision to 2112 1538734116.521 * * * * [misc]points: Setting MPFR precision to 2368 1538734116.543 * * * * [misc]points: Computing exacts on every 7 of 1887 points to ramp up precision 1538734116.545 * * * * [misc]points: Setting MPFR precision to 2112 1538734116.580 * * * * [misc]points: Setting MPFR precision to 2368 1538734116.613 * * * * [misc]points: Computing exacts on every 3 of 1887 points to ramp up precision 1538734116.615 * * * * [misc]points: Setting MPFR precision to 2112 1538734116.680 * * * * [misc]points: Setting MPFR precision to 2368 1538734116.793 * * * * [misc]points: Computing exacts for 1887 points 1538734116.795 * * * * [misc]points: Setting MPFR precision to 2112 1538734117.025 * * * * [misc]points: Setting MPFR precision to 2368 1538734117.357 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734117.357 * * * * [misc]points: Sampling 1394 additional inputs, on iter 6 have 6606 / 8000 1538734117.360 * * * * [misc]points: Computing exacts on every 87 of 1394 points to ramp up precision 1538734117.361 * * * * [misc]points: Setting MPFR precision to 2112 1538734117.364 * * * * [misc]points: Setting MPFR precision to 2368 1538734117.366 * * * * [misc]points: Computing exacts on every 43 of 1394 points to ramp up precision 1538734117.367 * * * * [misc]points: Setting MPFR precision to 2112 1538734117.372 * * * * [misc]points: Setting MPFR precision to 2368 1538734117.376 * * * * [misc]points: Computing exacts on every 21 of 1394 points to ramp up precision 1538734117.377 * * * * [misc]points: Setting MPFR precision to 2112 1538734117.384 * * * * [misc]points: Setting MPFR precision to 2368 1538734117.392 * * * * [misc]points: Computing exacts on every 10 of 1394 points to ramp up precision 1538734117.393 * * * * [misc]points: Setting MPFR precision to 2112 1538734117.407 * * * * [misc]points: Setting MPFR precision to 2368 1538734117.421 * * * * [misc]points: Computing exacts on every 5 of 1394 points to ramp up precision 1538734117.422 * * * * [misc]points: Setting MPFR precision to 2112 1538734117.445 * * * * [misc]points: Setting MPFR precision to 2368 1538734117.525 * * * * [misc]points: Computing exacts on every 2 of 1394 points to ramp up precision 1538734117.527 * * * * [misc]points: Setting MPFR precision to 2112 1538734117.605 * * * * [misc]points: Setting MPFR precision to 2368 1538734117.672 * * * * [misc]points: Computing exacts for 1394 points 1538734117.673 * * * * [misc]points: Setting MPFR precision to 2112 1538734117.851 * * * * [misc]points: Setting MPFR precision to 2368 1538734118.077 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734118.077 * * * * [misc]points: Sampling 1009 additional inputs, on iter 7 have 6991 / 8000 1538734118.082 * * * * [misc]points: Computing exacts on every 63 of 1009 points to ramp up precision 1538734118.084 * * * * [misc]points: Setting MPFR precision to 2112 1538734118.084 * * * * [misc]points: Setting MPFR precision to 2368 1538734118.085 * * * * [misc]points: Computing exacts on every 31 of 1009 points to ramp up precision 1538734118.086 * * * * [misc]points: Setting MPFR precision to 2112 1538734118.089 * * * * [misc]points: Setting MPFR precision to 2368 1538734118.091 * * * * [misc]points: Computing exacts on every 15 of 1009 points to ramp up precision 1538734118.092 * * * * [misc]points: Setting MPFR precision to 2112 1538734118.098 * * * * [misc]points: Setting MPFR precision to 2368 1538734118.105 * * * * [misc]points: Computing exacts on every 7 of 1009 points to ramp up precision 1538734118.106 * * * * [misc]points: Setting MPFR precision to 2112 1538734118.118 * * * * [misc]points: Setting MPFR precision to 2368 1538734118.132 * * * * [misc]points: Computing exacts on every 3 of 1009 points to ramp up precision 1538734118.133 * * * * [misc]points: Setting MPFR precision to 2112 1538734118.173 * * * * [misc]points: Setting MPFR precision to 2368 1538734118.259 * * * * [misc]points: Computing exacts for 1009 points 1538734118.261 * * * * [misc]points: Setting MPFR precision to 2112 1538734118.416 * * * * [misc]points: Setting MPFR precision to 2368 1538734118.575 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734118.575 * * * * [misc]points: Sampling 769 additional inputs, on iter 8 have 7231 / 8000 1538734118.577 * * * * [misc]points: Computing exacts on every 48 of 769 points to ramp up precision 1538734118.578 * * * * [misc]points: Setting MPFR precision to 2112 1538734118.580 * * * * [misc]points: Setting MPFR precision to 2368 1538734118.581 * * * * [misc]points: Computing exacts on every 24 of 769 points to ramp up precision 1538734118.582 * * * * [misc]points: Setting MPFR precision to 2112 1538734118.585 * * * * [misc]points: Setting MPFR precision to 2368 1538734118.590 * * * * [misc]points: Computing exacts on every 12 of 769 points to ramp up precision 1538734118.591 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.032 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.047 * * * * [misc]points: Computing exacts on every 6 of 769 points to ramp up precision 1538734119.049 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.071 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.094 * * * * [misc]points: Computing exacts on every 3 of 769 points to ramp up precision 1538734119.096 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.128 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.166 * * * * [misc]points: Computing exacts for 769 points 1538734119.167 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.282 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.426 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734119.426 * * * * [misc]points: Sampling 564 additional inputs, on iter 9 have 7436 / 8000 1538734119.429 * * * * [misc]points: Computing exacts on every 35 of 564 points to ramp up precision 1538734119.430 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.433 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.438 * * * * [misc]points: Computing exacts on every 17 of 564 points to ramp up precision 1538734119.440 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.444 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.486 * * * * [misc]points: Computing exacts on every 8 of 564 points to ramp up precision 1538734119.488 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.502 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.514 * * * * [misc]points: Computing exacts on every 4 of 564 points to ramp up precision 1538734119.515 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.535 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.556 * * * * [misc]points: Computing exacts on every 2 of 564 points to ramp up precision 1538734119.557 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.589 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.624 * * * * [misc]points: Computing exacts for 564 points 1538734119.626 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.696 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.784 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734119.784 * * * * [misc]points: Sampling 430 additional inputs, on iter 10 have 7570 / 8000 1538734119.785 * * * * [misc]points: Computing exacts on every 26 of 430 points to ramp up precision 1538734119.786 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.787 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.789 * * * * [misc]points: Computing exacts on every 13 of 430 points to ramp up precision 1538734119.790 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.793 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.797 * * * * [misc]points: Computing exacts on every 6 of 430 points to ramp up precision 1538734119.798 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.809 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.822 * * * * [misc]points: Computing exacts on every 3 of 430 points to ramp up precision 1538734119.824 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.841 * * * * [misc]points: Setting MPFR precision to 2368 1538734119.897 * * * * [misc]points: Computing exacts for 430 points 1538734119.899 * * * * [misc]points: Setting MPFR precision to 2112 1538734119.965 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.043 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.043 * * * * [misc]points: Sampling 321 additional inputs, on iter 11 have 7679 / 8000 1538734120.045 * * * * [misc]points: Computing exacts on every 20 of 321 points to ramp up precision 1538734120.047 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.049 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.052 * * * * [misc]points: Computing exacts on every 10 of 321 points to ramp up precision 1538734120.054 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.059 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.065 * * * * [misc]points: Computing exacts on every 5 of 321 points to ramp up precision 1538734120.067 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.075 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.083 * * * * [misc]points: Computing exacts on every 2 of 321 points to ramp up precision 1538734120.085 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.104 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.122 * * * * [misc]points: Computing exacts for 321 points 1538734120.124 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.181 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.229 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.229 * * * * [misc]points: Sampling 254 additional inputs, on iter 12 have 7746 / 8000 1538734120.230 * * * * [misc]points: Computing exacts on every 15 of 254 points to ramp up precision 1538734120.231 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.233 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.234 * * * * [misc]points: Computing exacts on every 7 of 254 points to ramp up precision 1538734120.235 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.238 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.242 * * * * [misc]points: Computing exacts on every 3 of 254 points to ramp up precision 1538734120.243 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.250 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.257 * * * * [misc]points: Computing exacts for 254 points 1538734120.258 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.307 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.336 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.336 * * * * [misc]points: Sampling 188 additional inputs, on iter 13 have 7812 / 8000 1538734120.337 * * * * [misc]points: Computing exacts on every 11 of 188 points to ramp up precision 1538734120.339 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.341 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.344 * * * * [misc]points: Computing exacts on every 5 of 188 points to ramp up precision 1538734120.346 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.353 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.359 * * * * [misc]points: Computing exacts on every 2 of 188 points to ramp up precision 1538734120.360 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.367 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.375 * * * * [misc]points: Computing exacts for 188 points 1538734120.376 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.395 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.416 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.416 * * * * [misc]points: Sampling 133 additional inputs, on iter 14 have 7867 / 8000 1538734120.417 * * * * [misc]points: Computing exacts on every 8 of 133 points to ramp up precision 1538734120.418 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.419 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.420 * * * * [misc]points: Computing exacts on every 4 of 133 points to ramp up precision 1538734120.421 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.424 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.428 * * * * [misc]points: Computing exacts on every 2 of 133 points to ramp up precision 1538734120.429 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.434 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.439 * * * * [misc]points: Computing exacts for 133 points 1538734120.441 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.454 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.468 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.468 * * * * [misc]points: Sampling 99 additional inputs, on iter 15 have 7901 / 8000 1538734120.469 * * * * [misc]points: Computing exacts on every 6 of 99 points to ramp up precision 1538734120.470 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.471 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.472 * * * * [misc]points: Computing exacts on every 3 of 99 points to ramp up precision 1538734120.473 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.475 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.477 * * * * [misc]points: Computing exacts for 99 points 1538734120.478 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.486 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.495 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.496 * * * * [misc]points: Sampling 79 additional inputs, on iter 16 have 7921 / 8000 1538734120.496 * * * * [misc]points: Computing exacts on every 4 of 79 points to ramp up precision 1538734120.497 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.498 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.499 * * * * [misc]points: Computing exacts on every 2 of 79 points to ramp up precision 1538734120.500 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.503 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.505 * * * * [misc]points: Computing exacts for 79 points 1538734120.506 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.513 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.522 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.522 * * * * [misc]points: Sampling 60 additional inputs, on iter 17 have 7940 / 8000 1538734120.522 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1538734120.523 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.546 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.547 * * * * [misc]points: Computing exacts for 60 points 1538734120.548 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.554 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.562 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.563 * * * * [misc]points: Sampling 45 additional inputs, on iter 18 have 7955 / 8000 1538734120.563 * * * * [misc]points: Computing exacts on every 2 of 45 points to ramp up precision 1538734120.564 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.565 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.567 * * * * [misc]points: Computing exacts for 45 points 1538734120.568 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.572 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.577 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.577 * * * * [misc]points: Sampling 35 additional inputs, on iter 19 have 7965 / 8000 1538734120.577 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1538734120.579 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.580 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.581 * * * * [misc]points: Computing exacts for 35 points 1538734120.582 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.585 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.588 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.588 * * * * [misc]points: Sampling 25 additional inputs, on iter 20 have 7975 / 8000 1538734120.589 * * * * [misc]points: Computing exacts for 25 points 1538734120.590 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.592 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.595 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.595 * * * * [misc]points: Sampling 16 additional inputs, on iter 21 have 7984 / 8000 1538734120.595 * * * * [misc]points: Computing exacts for 16 points 1538734120.596 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.597 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.599 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.599 * * * * [misc]points: Sampling 13 additional inputs, on iter 22 have 7987 / 8000 1538734120.599 * * * * [misc]points: Computing exacts for 13 points 1538734120.600 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.603 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.606 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.606 * * * * [misc]points: Sampling 10 additional inputs, on iter 23 have 7990 / 8000 1538734120.606 * * * * [misc]points: Computing exacts for 10 points 1538734120.608 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.611 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.614 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.614 * * * * [misc]points: Sampling 5 additional inputs, on iter 24 have 7995 / 8000 1538734120.614 * * * * [misc]points: Computing exacts for 5 points 1538734120.616 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.616 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.617 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.617 * * * * [misc]points: Sampling 4 additional inputs, on iter 25 have 7996 / 8000 1538734120.617 * * * * [misc]points: Computing exacts for 4 points 1538734120.619 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.619 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.620 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.620 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 1538734120.620 * * * * [misc]points: Computing exacts for 4 points 1538734120.621 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.621 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.621 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.622 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 1538734120.622 * * * * [misc]points: Computing exacts for 4 points 1538734120.623 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.623 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.625 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.625 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7999 / 8000 1538734120.625 * * * * [misc]points: Computing exacts for 4 points 1538734120.626 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.628 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.629 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.629 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7999 / 8000 1538734120.629 * * * * [misc]points: Computing exacts for 4 points 1538734120.630 * * * * [misc]points: Setting MPFR precision to 2112 1538734120.630 * * * * [misc]points: Setting MPFR precision to 2368 1538734120.631 * * * * [misc]points: Filtering points with unrepresentable outputs 1538734120.631 * * * * [exit]points: Sampled 8001 points with exact outputs