1538417802.673 * [misc]progress: [Phase 1 of 3] Setting up. 1538417802.673 * * * [misc]progress: [1/2] Preparing points 1538417802.673 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538417802.674 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538417802.674 * * * * [misc]points: Setting MPFR precision to 64 1538417802.675 * * * * [misc]points: Setting MPFR precision to 320 1538417802.675 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538417802.676 * * * * [misc]points: Setting MPFR precision to 64 1538417802.677 * * * * [misc]points: Setting MPFR precision to 320 1538417802.677 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538417802.678 * * * * [misc]points: Setting MPFR precision to 64 1538417802.679 * * * * [misc]points: Setting MPFR precision to 320 1538417802.680 * * * * [misc]points: Setting MPFR precision to 576 1538417802.682 * * * * [misc]points: Setting MPFR precision to 832 1538417802.684 * * * * [misc]points: Setting MPFR precision to 1088 1538417802.686 * * * * [misc]points: Setting MPFR precision to 1344 1538417802.691 * * * * [misc]points: Setting MPFR precision to 1600 1538417802.698 * * * * [misc]points: Setting MPFR precision to 1856 1538417802.706 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.716 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.726 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538417802.727 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.741 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.757 * * * * [misc]points: Computing exacts for 256 points 1538417802.758 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.812 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.841 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417802.841 * * * * [misc]points: Sampling 196 additional inputs, on iter 1 have 60 / 256 1538417802.841 * * * * [misc]points: Computing exacts on every 12 of 196 points to ramp up precision 1538417802.842 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.844 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.846 * * * * [misc]points: Computing exacts on every 6 of 196 points to ramp up precision 1538417802.847 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.849 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.851 * * * * [misc]points: Computing exacts on every 3 of 196 points to ramp up precision 1538417802.851 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.856 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.860 * * * * [misc]points: Computing exacts for 196 points 1538417802.861 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.879 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.899 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417802.899 * * * * [misc]points: Sampling 140 additional inputs, on iter 2 have 116 / 256 1538417802.900 * * * * [misc]points: Computing exacts on every 8 of 140 points to ramp up precision 1538417802.900 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.902 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.903 * * * * [misc]points: Computing exacts on every 4 of 140 points to ramp up precision 1538417802.904 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.907 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.910 * * * * [misc]points: Computing exacts on every 2 of 140 points to ramp up precision 1538417802.911 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.915 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.921 * * * * [misc]points: Computing exacts for 140 points 1538417802.921 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.933 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.946 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417802.946 * * * * [misc]points: Sampling 114 additional inputs, on iter 3 have 142 / 256 1538417802.946 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1538417802.947 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.948 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.949 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1538417802.950 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.952 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.954 * * * * [misc]points: Computing exacts for 114 points 1538417802.955 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.964 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.974 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417802.974 * * * * [misc]points: Sampling 89 additional inputs, on iter 4 have 167 / 256 1538417802.974 * * * * [misc]points: Computing exacts on every 5 of 89 points to ramp up precision 1538417802.975 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.977 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.978 * * * * [misc]points: Computing exacts on every 2 of 89 points to ramp up precision 1538417802.979 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.982 * * * * [misc]points: Setting MPFR precision to 2368 1538417802.984 * * * * [misc]points: Computing exacts for 89 points 1538417802.985 * * * * [misc]points: Setting MPFR precision to 2112 1538417802.992 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.001 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.001 * * * * [misc]points: Sampling 72 additional inputs, on iter 5 have 184 / 256 1538417803.001 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1538417803.003 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.004 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.006 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1538417803.007 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.008 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.010 * * * * [misc]points: Computing exacts for 72 points 1538417803.010 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.016 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.042 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.043 * * * * [misc]points: Sampling 56 additional inputs, on iter 6 have 200 / 256 1538417803.043 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1538417803.044 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.045 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.046 * * * * [misc]points: Computing exacts for 56 points 1538417803.047 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.053 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.060 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.060 * * * * [misc]points: Sampling 38 additional inputs, on iter 7 have 218 / 256 1538417803.060 * * * * [misc]points: Computing exacts on every 2 of 38 points to ramp up precision 1538417803.061 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.062 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.063 * * * * [misc]points: Computing exacts for 38 points 1538417803.064 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.068 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.074 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.075 * * * * [misc]points: Sampling 28 additional inputs, on iter 8 have 228 / 256 1538417803.075 * * * * [misc]points: Computing exacts for 28 points 1538417803.076 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.082 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.088 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.088 * * * * [misc]points: Sampling 20 additional inputs, on iter 9 have 236 / 256 1538417803.088 * * * * [misc]points: Computing exacts for 20 points 1538417803.090 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.093 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.096 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.097 * * * * [misc]points: Sampling 17 additional inputs, on iter 10 have 239 / 256 1538417803.097 * * * * [misc]points: Computing exacts for 17 points 1538417803.098 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.101 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.104 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.104 * * * * [misc]points: Sampling 11 additional inputs, on iter 11 have 245 / 256 1538417803.104 * * * * [misc]points: Computing exacts for 11 points 1538417803.105 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.106 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.107 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.107 * * * * [misc]points: Sampling 7 additional inputs, on iter 12 have 249 / 256 1538417803.107 * * * * [misc]points: Computing exacts for 7 points 1538417803.108 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.108 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.109 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.109 * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 1538417803.109 * * * * [misc]points: Computing exacts for 6 points 1538417803.110 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.111 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.111 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.112 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1538417803.112 * * * * [misc]points: Computing exacts for 5 points 1538417803.112 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.113 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.113 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.113 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1538417803.113 * * * * [misc]points: Computing exacts for 5 points 1538417803.114 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.114 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.115 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.115 * * * * [misc]points: Sampling 5 additional inputs, on iter 16 have 251 / 256 1538417803.115 * * * * [misc]points: Computing exacts for 5 points 1538417803.116 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.117 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.117 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.117 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 254 / 256 1538417803.117 * * * * [misc]points: Computing exacts for 4 points 1538417803.118 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.119 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.119 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.119 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 254 / 256 1538417803.119 * * * * [misc]points: Computing exacts for 4 points 1538417803.120 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.120 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.121 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.121 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 254 / 256 1538417803.121 * * * * [misc]points: Computing exacts for 4 points 1538417803.121 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.122 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.122 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.122 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 254 / 256 1538417803.122 * * * * [misc]points: Computing exacts for 4 points 1538417803.123 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.123 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.123 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.123 * * * * [misc]points: Sampling 4 additional inputs, on iter 21 have 254 / 256 1538417803.123 * * * * [misc]points: Computing exacts for 4 points 1538417803.124 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.124 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.125 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.125 * * * * [misc]points: Sampling 4 additional inputs, on iter 22 have 254 / 256 1538417803.125 * * * * [misc]points: Computing exacts for 4 points 1538417803.125 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.126 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.126 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.126 * * * * [misc]points: Sampling 4 additional inputs, on iter 23 have 255 / 256 1538417803.126 * * * * [misc]points: Computing exacts for 4 points 1538417803.127 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.128 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.129 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417803.129 * * * * [exit]points: Sampled 257 points with exact outputs 1538417803.129 * * * [misc]progress: [2/2] Setting up program. 1538417803.131 * [misc]progress: [Phase 2 of 3] Improving. 1538417803.132 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538417803.132 * * [misc]simplify: iters left: 4 (6 enodes) 1538417803.133 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538417803.138 * * [misc]progress: iteration 1 / 4 1538417803.138 * * * [misc]progress: picking best candidate 1538417803.141 * * * * [misc]pick: Picked # 1538417803.141 * * * [misc]progress: localizing error 1538417803.237 * * * [misc]progress: generating rewritten candidates 1538417803.237 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1538417803.238 * * * [misc]progress: generating series expansions 1538417803.238 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1538417803.238 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538417803.238 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1538417803.238 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538417803.239 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538417803.239 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538417803.239 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538417803.239 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538417803.240 * [misc]backup-simplify: Simplify 0 into 0 1538417803.240 * [misc]backup-simplify: Simplify 0 into 0 1538417803.240 * [misc]backup-simplify: Simplify 0 into 0 1538417803.240 * [misc]backup-simplify: Simplify 0 into 0 1538417803.240 * [misc]backup-simplify: Simplify 0 into 0 1538417803.240 * [misc]backup-simplify: Simplify 0 into 0 1538417803.240 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538417803.240 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538417803.240 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1538417803.240 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538417803.240 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538417803.240 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538417803.240 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538417803.240 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538417803.241 * [misc]backup-simplify: Simplify 0 into 0 1538417803.241 * [misc]backup-simplify: Simplify 0 into 0 1538417803.241 * [misc]backup-simplify: Simplify 0 into 0 1538417803.241 * [misc]backup-simplify: Simplify 0 into 0 1538417803.241 * [misc]backup-simplify: Simplify 0 into 0 1538417803.241 * [misc]backup-simplify: Simplify 0 into 0 1538417803.241 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1538417803.241 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538417803.241 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1538417803.241 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538417803.241 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538417803.241 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538417803.241 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538417803.242 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538417803.242 * [misc]backup-simplify: Simplify 0 into 0 1538417803.242 * [misc]backup-simplify: Simplify 0 into 0 1538417803.242 * [misc]backup-simplify: Simplify 0 into 0 1538417803.242 * [misc]backup-simplify: Simplify 0 into 0 1538417803.242 * [misc]backup-simplify: Simplify 0 into 0 1538417803.242 * [misc]backup-simplify: Simplify 0 into 0 1538417803.242 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1538417803.242 * * * [misc]progress: simplifying candidates 1538417803.242 * * * * [misc]progress: [ 1 / 10 ] simplifiying candidate # 1538417803.242 * * * * [misc]progress: [ 2 / 10 ] simplifiying candidate # 1538417803.242 * * * * [misc]progress: [ 3 / 10 ] simplifiying candidate # 1538417803.242 * * * * [misc]progress: [ 4 / 10 ] simplifiying candidate # 1538417803.242 * * * * [misc]progress: [ 5 / 10 ] simplifiying candidate # 1538417803.242 * * * * [misc]progress: [ 6 / 10 ] simplifiying candidate # 1538417803.242 * * * * [misc]progress: [ 7 / 10 ] simplifiying candidate # 1538417803.242 * * * * [misc]progress: [ 8 / 10 ] simplifiying candidate # 1538417803.243 * [enter]simplify: Simplifying (fmod a (asin a)) 1538417803.243 * * [misc]simplify: iters left: 2 (3 enodes) 1538417803.243 * [exit]simplify: Simplified to (fmod a (asin a)) 1538417803.243 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538417803.243 * * * * [misc]progress: [ 9 / 10 ] simplifiying candidate # 1538417803.244 * [enter]simplify: Simplifying (fmod a (asin a)) 1538417803.244 * * [misc]simplify: iters left: 2 (3 enodes) 1538417803.244 * [exit]simplify: Simplified to (fmod a (asin a)) 1538417803.244 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538417803.244 * * * * [misc]progress: [ 10 / 10 ] simplifiying candidate # 1538417803.244 * [enter]simplify: Simplifying (fmod a (asin a)) 1538417803.244 * * [misc]simplify: iters left: 2 (3 enodes) 1538417803.245 * [exit]simplify: Simplified to (fmod a (asin a)) 1538417803.245 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538417803.245 * * * [misc]progress: adding candidates to table 1538417803.640 * [misc]progress: [Phase 3 of 3] Extracting. 1538417803.643 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538417803.643 * * [misc]simplify: iters left: 4 (6 enodes) 1538417803.643 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538417803.643 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538417803.661 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538417803.662 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.665 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.668 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538417803.669 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.671 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.673 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538417803.674 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.683 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.693 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538417803.694 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.705 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.716 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538417803.717 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.741 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.775 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538417803.776 * * * * [misc]points: Setting MPFR precision to 2112 1538417803.852 * * * * [misc]points: Setting MPFR precision to 2368 1538417803.903 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538417803.905 * * * * [misc]points: Setting MPFR precision to 2112 1538417804.009 * * * * [misc]points: Setting MPFR precision to 2368 1538417804.133 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538417804.134 * * * * [misc]points: Setting MPFR precision to 2112 1538417804.343 * * * * [misc]points: Setting MPFR precision to 2368 1538417804.589 * * * * [misc]points: Computing exacts for 8000 points 1538417804.590 * * * * [misc]points: Setting MPFR precision to 2112 1538417805.790 * * * * [misc]points: Setting MPFR precision to 2368 1538417807.153 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417807.154 * * * * [misc]points: Sampling 6017 additional inputs, on iter 1 have 1983 / 8000 1538417807.172 * * * * [misc]points: Computing exacts on every 376 of 6017 points to ramp up precision 1538417807.173 * * * * [misc]points: Setting MPFR precision to 2112 1538417807.198 * * * * [misc]points: Setting MPFR precision to 2368 1538417807.202 * * * * [misc]points: Computing exacts on every 188 of 6017 points to ramp up precision 1538417807.205 * * * * [misc]points: Setting MPFR precision to 2112 1538417807.209 * * * * [misc]points: Setting MPFR precision to 2368 1538417807.214 * * * * [misc]points: Computing exacts on every 94 of 6017 points to ramp up precision 1538417807.216 * * * * [misc]points: Setting MPFR precision to 2112 1538417807.228 * * * * [misc]points: Setting MPFR precision to 2368 1538417807.240 * * * * [misc]points: Computing exacts on every 47 of 6017 points to ramp up precision 1538417807.242 * * * * [misc]points: Setting MPFR precision to 2112 1538417807.259 * * * * [misc]points: Setting MPFR precision to 2368 1538417807.278 * * * * [misc]points: Computing exacts on every 23 of 6017 points to ramp up precision 1538417807.279 * * * * [misc]points: Setting MPFR precision to 2112 1538417807.314 * * * * [misc]points: Setting MPFR precision to 2368 1538417807.352 * * * * [misc]points: Computing exacts on every 11 of 6017 points to ramp up precision 1538417807.353 * * * * [misc]points: Setting MPFR precision to 2112 1538417807.409 * * * * [misc]points: Setting MPFR precision to 2368 1538417807.476 * * * * [misc]points: Computing exacts on every 5 of 6017 points to ramp up precision 1538417807.477 * * * * [misc]points: Setting MPFR precision to 2112 1538417807.607 * * * * [misc]points: Setting MPFR precision to 2368 1538417807.738 * * * * [misc]points: Computing exacts on every 2 of 6017 points to ramp up precision 1538417807.740 * * * * [misc]points: Setting MPFR precision to 2112 1538417808.086 * * * * [misc]points: Setting MPFR precision to 2368 1538417808.362 * * * * [misc]points: Computing exacts for 6017 points 1538417808.364 * * * * [misc]points: Setting MPFR precision to 2112 1538417809.256 * * * * [misc]points: Setting MPFR precision to 2368 1538417810.520 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417810.522 * * * * [misc]points: Sampling 4527 additional inputs, on iter 2 have 3473 / 8000 1538417810.542 * * * * [misc]points: Computing exacts on every 282 of 4527 points to ramp up precision 1538417810.543 * * * * [misc]points: Setting MPFR precision to 2112 1538417810.544 * * * * [misc]points: Setting MPFR precision to 2368 1538417810.546 * * * * [misc]points: Computing exacts on every 141 of 4527 points to ramp up precision 1538417810.546 * * * * [misc]points: Setting MPFR precision to 2112 1538417810.549 * * * * [misc]points: Setting MPFR precision to 2368 1538417810.553 * * * * [misc]points: Computing exacts on every 70 of 4527 points to ramp up precision 1538417810.554 * * * * [misc]points: Setting MPFR precision to 2112 1538417810.560 * * * * [misc]points: Setting MPFR precision to 2368 1538417810.568 * * * * [misc]points: Computing exacts on every 35 of 4527 points to ramp up precision 1538417810.568 * * * * [misc]points: Setting MPFR precision to 2112 1538417810.583 * * * * [misc]points: Setting MPFR precision to 2368 1538417810.602 * * * * [misc]points: Computing exacts on every 17 of 4527 points to ramp up precision 1538417810.603 * * * * [misc]points: Setting MPFR precision to 2112 1538417810.634 * * * * [misc]points: Setting MPFR precision to 2368 1538417810.678 * * * * [misc]points: Computing exacts on every 8 of 4527 points to ramp up precision 1538417810.679 * * * * [misc]points: Setting MPFR precision to 2112 1538417810.757 * * * * [misc]points: Setting MPFR precision to 2368 1538417810.810 * * * * [misc]points: Computing exacts on every 4 of 4527 points to ramp up precision 1538417810.811 * * * * [misc]points: Setting MPFR precision to 2112 1538417810.928 * * * * [misc]points: Setting MPFR precision to 2368 1538417811.084 * * * * [misc]points: Computing exacts on every 2 of 4527 points to ramp up precision 1538417811.085 * * * * [misc]points: Setting MPFR precision to 2112 1538417811.258 * * * * [misc]points: Setting MPFR precision to 2368 1538417811.448 * * * * [misc]points: Computing exacts for 4527 points 1538417811.449 * * * * [misc]points: Setting MPFR precision to 2112 1538417812.048 * * * * [misc]points: Setting MPFR precision to 2368 1538417813.079 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417813.080 * * * * [misc]points: Sampling 3376 additional inputs, on iter 3 have 4624 / 8000 1538417813.089 * * * * [misc]points: Computing exacts on every 211 of 3376 points to ramp up precision 1538417813.090 * * * * [misc]points: Setting MPFR precision to 2112 1538417813.091 * * * * [misc]points: Setting MPFR precision to 2368 1538417813.093 * * * * [misc]points: Computing exacts on every 105 of 3376 points to ramp up precision 1538417813.093 * * * * [misc]points: Setting MPFR precision to 2112 1538417813.096 * * * * [misc]points: Setting MPFR precision to 2368 1538417813.098 * * * * [misc]points: Computing exacts on every 52 of 3376 points to ramp up precision 1538417813.099 * * * * [misc]points: Setting MPFR precision to 2112 1538417813.104 * * * * [misc]points: Setting MPFR precision to 2368 1538417813.109 * * * * [misc]points: Computing exacts on every 26 of 3376 points to ramp up precision 1538417813.110 * * * * [misc]points: Setting MPFR precision to 2112 1538417813.123 * * * * [misc]points: Setting MPFR precision to 2368 1538417813.136 * * * * [misc]points: Computing exacts on every 13 of 3376 points to ramp up precision 1538417813.137 * * * * [misc]points: Setting MPFR precision to 2112 1538417813.166 * * * * [misc]points: Setting MPFR precision to 2368 1538417813.187 * * * * [misc]points: Computing exacts on every 6 of 3376 points to ramp up precision 1538417813.188 * * * * [misc]points: Setting MPFR precision to 2112 1538417813.245 * * * * [misc]points: Setting MPFR precision to 2368 1538417813.323 * * * * [misc]points: Computing exacts on every 3 of 3376 points to ramp up precision 1538417813.324 * * * * [misc]points: Setting MPFR precision to 2112 1538417813.430 * * * * [misc]points: Setting MPFR precision to 2368 1538417813.566 * * * * [misc]points: Computing exacts for 3376 points 1538417813.568 * * * * [misc]points: Setting MPFR precision to 2112 1538417814.075 * * * * [misc]points: Setting MPFR precision to 2368 1538417814.503 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417814.504 * * * * [misc]points: Sampling 2491 additional inputs, on iter 4 have 5509 / 8000 1538417814.511 * * * * [misc]points: Computing exacts on every 155 of 2491 points to ramp up precision 1538417814.512 * * * * [misc]points: Setting MPFR precision to 2112 1538417814.515 * * * * [misc]points: Setting MPFR precision to 2368 1538417814.518 * * * * [misc]points: Computing exacts on every 77 of 2491 points to ramp up precision 1538417814.519 * * * * [misc]points: Setting MPFR precision to 2112 1538417814.524 * * * * [misc]points: Setting MPFR precision to 2368 1538417814.529 * * * * [misc]points: Computing exacts on every 38 of 2491 points to ramp up precision 1538417814.530 * * * * [misc]points: Setting MPFR precision to 2112 1538417814.540 * * * * [misc]points: Setting MPFR precision to 2368 1538417814.550 * * * * [misc]points: Computing exacts on every 19 of 2491 points to ramp up precision 1538417814.551 * * * * [misc]points: Setting MPFR precision to 2112 1538417814.570 * * * * [misc]points: Setting MPFR precision to 2368 1538417814.591 * * * * [misc]points: Computing exacts on every 9 of 2491 points to ramp up precision 1538417814.593 * * * * [misc]points: Setting MPFR precision to 2112 1538417814.633 * * * * [misc]points: Setting MPFR precision to 2368 1538417814.708 * * * * [misc]points: Computing exacts on every 4 of 2491 points to ramp up precision 1538417814.709 * * * * [misc]points: Setting MPFR precision to 2112 1538417814.756 * * * * [misc]points: Setting MPFR precision to 2368 1538417814.822 * * * * [misc]points: Computing exacts on every 2 of 2491 points to ramp up precision 1538417814.823 * * * * [misc]points: Setting MPFR precision to 2112 1538417814.912 * * * * [misc]points: Setting MPFR precision to 2368 1538417815.058 * * * * [misc]points: Computing exacts for 2491 points 1538417815.059 * * * * [misc]points: Setting MPFR precision to 2112 1538417815.362 * * * * [misc]points: Setting MPFR precision to 2368 1538417815.750 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417815.755 * * * * [misc]points: Sampling 1851 additional inputs, on iter 5 have 6149 / 8000 1538417815.763 * * * * [misc]points: Computing exacts on every 115 of 1851 points to ramp up precision 1538417815.764 * * * * [misc]points: Setting MPFR precision to 2112 1538417815.767 * * * * [misc]points: Setting MPFR precision to 2368 1538417815.768 * * * * [misc]points: Computing exacts on every 57 of 1851 points to ramp up precision 1538417815.769 * * * * [misc]points: Setting MPFR precision to 2112 1538417815.774 * * * * [misc]points: Setting MPFR precision to 2368 1538417815.778 * * * * [misc]points: Computing exacts on every 28 of 1851 points to ramp up precision 1538417815.779 * * * * [misc]points: Setting MPFR precision to 2112 1538417815.787 * * * * [misc]points: Setting MPFR precision to 2368 1538417815.792 * * * * [misc]points: Computing exacts on every 14 of 1851 points to ramp up precision 1538417815.793 * * * * [misc]points: Setting MPFR precision to 2112 1538417815.803 * * * * [misc]points: Setting MPFR precision to 2368 1538417815.813 * * * * [misc]points: Computing exacts on every 7 of 1851 points to ramp up precision 1538417815.814 * * * * [misc]points: Setting MPFR precision to 2112 1538417815.834 * * * * [misc]points: Setting MPFR precision to 2368 1538417815.867 * * * * [misc]points: Computing exacts on every 3 of 1851 points to ramp up precision 1538417815.869 * * * * [misc]points: Setting MPFR precision to 2112 1538417815.916 * * * * [misc]points: Setting MPFR precision to 2368 1538417815.989 * * * * [misc]points: Computing exacts for 1851 points 1538417815.990 * * * * [misc]points: Setting MPFR precision to 2112 1538417816.589 * * * * [misc]points: Setting MPFR precision to 2368 1538417816.843 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417816.843 * * * * [misc]points: Sampling 1411 additional inputs, on iter 6 have 6589 / 8000 1538417816.846 * * * * [misc]points: Computing exacts on every 88 of 1411 points to ramp up precision 1538417816.847 * * * * [misc]points: Setting MPFR precision to 2112 1538417816.849 * * * * [misc]points: Setting MPFR precision to 2368 1538417816.851 * * * * [misc]points: Computing exacts on every 44 of 1411 points to ramp up precision 1538417816.852 * * * * [misc]points: Setting MPFR precision to 2112 1538417816.855 * * * * [misc]points: Setting MPFR precision to 2368 1538417816.858 * * * * [misc]points: Computing exacts on every 22 of 1411 points to ramp up precision 1538417816.859 * * * * [misc]points: Setting MPFR precision to 2112 1538417816.864 * * * * [misc]points: Setting MPFR precision to 2368 1538417816.870 * * * * [misc]points: Computing exacts on every 11 of 1411 points to ramp up precision 1538417816.871 * * * * [misc]points: Setting MPFR precision to 2112 1538417816.882 * * * * [misc]points: Setting MPFR precision to 2368 1538417816.893 * * * * [misc]points: Computing exacts on every 5 of 1411 points to ramp up precision 1538417816.894 * * * * [misc]points: Setting MPFR precision to 2112 1538417816.916 * * * * [misc]points: Setting MPFR precision to 2368 1538417816.940 * * * * [misc]points: Computing exacts on every 2 of 1411 points to ramp up precision 1538417816.941 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.014 * * * * [misc]points: Setting MPFR precision to 2368 1538417817.059 * * * * [misc]points: Computing exacts for 1411 points 1538417817.060 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.197 * * * * [misc]points: Setting MPFR precision to 2368 1538417817.365 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417817.365 * * * * [misc]points: Sampling 1031 additional inputs, on iter 7 have 6969 / 8000 1538417817.368 * * * * [misc]points: Computing exacts on every 64 of 1031 points to ramp up precision 1538417817.369 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.370 * * * * [misc]points: Setting MPFR precision to 2368 1538417817.370 * * * * [misc]points: Computing exacts on every 32 of 1031 points to ramp up precision 1538417817.371 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.374 * * * * [misc]points: Setting MPFR precision to 2368 1538417817.377 * * * * [misc]points: Computing exacts on every 16 of 1031 points to ramp up precision 1538417817.377 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.383 * * * * [misc]points: Setting MPFR precision to 2368 1538417817.389 * * * * [misc]points: Computing exacts on every 8 of 1031 points to ramp up precision 1538417817.390 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.402 * * * * [misc]points: Setting MPFR precision to 2368 1538417817.421 * * * * [misc]points: Computing exacts on every 4 of 1031 points to ramp up precision 1538417817.422 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.453 * * * * [misc]points: Setting MPFR precision to 2368 1538417817.489 * * * * [misc]points: Computing exacts on every 2 of 1031 points to ramp up precision 1538417817.490 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.533 * * * * [misc]points: Setting MPFR precision to 2368 1538417817.618 * * * * [misc]points: Computing exacts for 1031 points 1538417817.619 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.730 * * * * [misc]points: Setting MPFR precision to 2368 1538417817.859 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417817.859 * * * * [misc]points: Sampling 789 additional inputs, on iter 8 have 7211 / 8000 1538417817.863 * * * * [misc]points: Computing exacts on every 49 of 789 points to ramp up precision 1538417817.864 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.900 * * * * [misc]points: Setting MPFR precision to 2368 1538417817.903 * * * * [misc]points: Computing exacts on every 24 of 789 points to ramp up precision 1538417817.904 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.911 * * * * [misc]points: Setting MPFR precision to 2368 1538417817.920 * * * * [misc]points: Computing exacts on every 12 of 789 points to ramp up precision 1538417817.921 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.929 * * * * [misc]points: Setting MPFR precision to 2368 1538417817.939 * * * * [misc]points: Computing exacts on every 6 of 789 points to ramp up precision 1538417817.941 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.957 * * * * [misc]points: Setting MPFR precision to 2368 1538417817.977 * * * * [misc]points: Computing exacts on every 3 of 789 points to ramp up precision 1538417817.978 * * * * [misc]points: Setting MPFR precision to 2112 1538417817.995 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.015 * * * * [misc]points: Computing exacts for 789 points 1538417818.016 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.090 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.195 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417818.195 * * * * [misc]points: Sampling 599 additional inputs, on iter 9 have 7401 / 8000 1538417818.196 * * * * [misc]points: Computing exacts on every 37 of 599 points to ramp up precision 1538417818.197 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.223 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.224 * * * * [misc]points: Computing exacts on every 18 of 599 points to ramp up precision 1538417818.225 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.228 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.232 * * * * [misc]points: Computing exacts on every 9 of 599 points to ramp up precision 1538417818.234 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.245 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.253 * * * * [misc]points: Computing exacts on every 4 of 599 points to ramp up precision 1538417818.254 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.268 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.285 * * * * [misc]points: Computing exacts on every 2 of 599 points to ramp up precision 1538417818.286 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.303 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.321 * * * * [misc]points: Computing exacts for 599 points 1538417818.322 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.397 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.455 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417818.455 * * * * [misc]points: Sampling 460 additional inputs, on iter 10 have 7540 / 8000 1538417818.456 * * * * [misc]points: Computing exacts on every 28 of 460 points to ramp up precision 1538417818.457 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.459 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.460 * * * * [misc]points: Computing exacts on every 14 of 460 points to ramp up precision 1538417818.461 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.463 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.465 * * * * [misc]points: Computing exacts on every 7 of 460 points to ramp up precision 1538417818.465 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.471 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.477 * * * * [misc]points: Computing exacts on every 3 of 460 points to ramp up precision 1538417818.478 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.513 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.525 * * * * [misc]points: Computing exacts for 460 points 1538417818.526 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.572 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.623 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417818.623 * * * * [misc]points: Sampling 356 additional inputs, on iter 11 have 7644 / 8000 1538417818.624 * * * * [misc]points: Computing exacts on every 22 of 356 points to ramp up precision 1538417818.625 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.626 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.628 * * * * [misc]points: Computing exacts on every 11 of 356 points to ramp up precision 1538417818.628 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.631 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.633 * * * * [misc]points: Computing exacts on every 5 of 356 points to ramp up precision 1538417818.634 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.639 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.644 * * * * [misc]points: Computing exacts on every 2 of 356 points to ramp up precision 1538417818.644 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.654 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.665 * * * * [misc]points: Computing exacts for 356 points 1538417818.666 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.717 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.778 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417818.778 * * * * [misc]points: Sampling 265 additional inputs, on iter 12 have 7735 / 8000 1538417818.779 * * * * [misc]points: Computing exacts on every 16 of 265 points to ramp up precision 1538417818.781 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.782 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.783 * * * * [misc]points: Computing exacts on every 8 of 265 points to ramp up precision 1538417818.784 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.788 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.829 * * * * [misc]points: Computing exacts on every 4 of 265 points to ramp up precision 1538417818.830 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.841 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.848 * * * * [misc]points: Computing exacts on every 2 of 265 points to ramp up precision 1538417818.849 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.864 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.882 * * * * [misc]points: Computing exacts for 265 points 1538417818.884 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.926 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.965 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417818.965 * * * * [misc]points: Sampling 195 additional inputs, on iter 13 have 7805 / 8000 1538417818.965 * * * * [misc]points: Computing exacts on every 12 of 195 points to ramp up precision 1538417818.966 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.968 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.969 * * * * [misc]points: Computing exacts on every 6 of 195 points to ramp up precision 1538417818.970 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.972 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.975 * * * * [misc]points: Computing exacts on every 3 of 195 points to ramp up precision 1538417818.975 * * * * [misc]points: Setting MPFR precision to 2112 1538417818.979 * * * * [misc]points: Setting MPFR precision to 2368 1538417818.984 * * * * [misc]points: Computing exacts for 195 points 1538417818.985 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.001 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.028 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417819.028 * * * * [misc]points: Sampling 147 additional inputs, on iter 14 have 7853 / 8000 1538417819.029 * * * * [misc]points: Computing exacts on every 9 of 147 points to ramp up precision 1538417819.030 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.033 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.035 * * * * [misc]points: Computing exacts on every 4 of 147 points to ramp up precision 1538417819.037 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.042 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.046 * * * * [misc]points: Computing exacts on every 2 of 147 points to ramp up precision 1538417819.047 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.053 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.060 * * * * [misc]points: Computing exacts for 147 points 1538417819.060 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.082 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.107 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417819.108 * * * * [misc]points: Sampling 94 additional inputs, on iter 15 have 7906 / 8000 1538417819.108 * * * * [misc]points: Computing exacts on every 5 of 94 points to ramp up precision 1538417819.109 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.110 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.111 * * * * [misc]points: Computing exacts on every 2 of 94 points to ramp up precision 1538417819.112 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.115 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.119 * * * * [misc]points: Computing exacts for 94 points 1538417819.119 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.128 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.138 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417819.138 * * * * [misc]points: Sampling 66 additional inputs, on iter 16 have 7934 / 8000 1538417819.139 * * * * [misc]points: Computing exacts on every 4 of 66 points to ramp up precision 1538417819.139 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.140 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.141 * * * * [misc]points: Computing exacts on every 2 of 66 points to ramp up precision 1538417819.142 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.516 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.518 * * * * [misc]points: Computing exacts for 66 points 1538417819.519 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.528 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.534 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417819.534 * * * * [misc]points: Sampling 53 additional inputs, on iter 17 have 7947 / 8000 1538417819.534 * * * * [misc]points: Computing exacts on every 3 of 53 points to ramp up precision 1538417819.535 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.537 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.539 * * * * [misc]points: Computing exacts for 53 points 1538417819.540 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.547 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.556 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417819.556 * * * * [misc]points: Sampling 46 additional inputs, on iter 18 have 7954 / 8000 1538417819.556 * * * * [misc]points: Computing exacts on every 2 of 46 points to ramp up precision 1538417819.558 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.559 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.561 * * * * [misc]points: Computing exacts for 46 points 1538417819.562 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.568 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.572 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417819.572 * * * * [misc]points: Sampling 37 additional inputs, on iter 19 have 7963 / 8000 1538417819.572 * * * * [misc]points: Computing exacts on every 2 of 37 points to ramp up precision 1538417819.573 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.574 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.575 * * * * [misc]points: Computing exacts for 37 points 1538417819.576 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.579 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.582 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417819.582 * * * * [misc]points: Sampling 28 additional inputs, on iter 20 have 7972 / 8000 1538417819.583 * * * * [misc]points: Computing exacts for 28 points 1538417819.583 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.586 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.589 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417819.589 * * * * [misc]points: Sampling 22 additional inputs, on iter 21 have 7978 / 8000 1538417819.590 * * * * [misc]points: Computing exacts for 22 points 1538417819.590 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.592 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.594 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417819.594 * * * * [misc]points: Sampling 16 additional inputs, on iter 22 have 7984 / 8000 1538417819.594 * * * * [misc]points: Computing exacts for 16 points 1538417819.595 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.599 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.603 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417819.603 * * * * [misc]points: Sampling 11 additional inputs, on iter 23 have 7989 / 8000 1538417819.603 * * * * [misc]points: Computing exacts for 11 points 1538417819.605 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.606 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.608 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417819.608 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1538417819.608 * * * * [misc]points: Computing exacts for 9 points 1538417819.609 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.610 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.611 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417819.611 * * * * [misc]points: Sampling 4 additional inputs, on iter 25 have 7997 / 8000 1538417819.611 * * * * [misc]points: Computing exacts for 4 points 1538417819.612 * * * * [misc]points: Setting MPFR precision to 2112 1538417819.612 * * * * [misc]points: Setting MPFR precision to 2368 1538417819.613 * * * * [misc]points: Filtering points with unrepresentable outputs 1538417819.613 * * * * [exit]points: Sampled 8000 points with exact outputs 1538417819.816 * [misc]regime-testing: Baseline error score: 31.046044157696564 1538417819.817 * [misc]regime-testing: End program error score: 31.046044157696564 1538417819.818 * [misc]regime-testing: Oracle error score: 31.046044157696564