6.421 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.006 * * * * [points]: Setting MPFR precision to 64 0.008 * * * * [points]: Setting MPFR precision to 320 0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.011 * * * * [points]: Setting MPFR precision to 64 0.013 * * * * [points]: Setting MPFR precision to 320 0.015 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.017 * * * * [points]: Setting MPFR precision to 64 0.021 * * * * [points]: Setting MPFR precision to 320 0.025 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.026 * * * * [points]: Setting MPFR precision to 64 0.033 * * * * [points]: Setting MPFR precision to 320 0.040 * * * * [points]: Computing exacts for 256 points 0.042 * * * * [points]: Setting MPFR precision to 64 0.060 * * * * [points]: Setting MPFR precision to 320 0.082 * * * * [points]: Filtering points with unrepresentable outputs 0.082 * * * * [points]: Sampling 134 additional inputs, on iter 1 have 122 / 256 0.084 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision 0.085 * * * * [points]: Setting MPFR precision to 64 0.086 * * * * [points]: Setting MPFR precision to 320 0.088 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision 0.089 * * * * [points]: Setting MPFR precision to 64 0.095 * * * * [points]: Setting MPFR precision to 320 0.098 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision 0.099 * * * * [points]: Setting MPFR precision to 64 0.103 * * * * [points]: Setting MPFR precision to 320 0.107 * * * * [points]: Computing exacts for 134 points 0.108 * * * * [points]: Setting MPFR precision to 64 0.118 * * * * [points]: Setting MPFR precision to 320 0.130 * * * * [points]: Filtering points with unrepresentable outputs 0.130 * * * * [points]: Sampling 72 additional inputs, on iter 2 have 184 / 256 0.131 * * * * [points]: Computing exacts on every 4 of 72 points to ramp up precision 0.133 * * * * [points]: Setting MPFR precision to 64 0.134 * * * * [points]: Setting MPFR precision to 320 0.135 * * * * [points]: Computing exacts on every 2 of 72 points to ramp up precision 0.136 * * * * [points]: Setting MPFR precision to 64 0.138 * * * * [points]: Setting MPFR precision to 320 0.140 * * * * [points]: Computing exacts for 72 points 0.141 * * * * [points]: Setting MPFR precision to 64 0.146 * * * * [points]: Setting MPFR precision to 320 0.152 * * * * [points]: Filtering points with unrepresentable outputs 0.152 * * * * [points]: Sampling 32 additional inputs, on iter 3 have 224 / 256 0.153 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision 0.154 * * * * [points]: Setting MPFR precision to 64 0.155 * * * * [points]: Setting MPFR precision to 320 0.156 * * * * [points]: Computing exacts for 32 points 0.157 * * * * [points]: Setting MPFR precision to 64 0.160 * * * * [points]: Setting MPFR precision to 320 0.163 * * * * [points]: Filtering points with unrepresentable outputs 0.163 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256 0.163 * * * * [points]: Computing exacts for 15 points 0.165 * * * * [points]: Setting MPFR precision to 64 0.166 * * * * [points]: Setting MPFR precision to 320 0.168 * * * * [points]: Filtering points with unrepresentable outputs 0.168 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256 0.168 * * * * [points]: Computing exacts for 7 points 0.169 * * * * [points]: Setting MPFR precision to 64 0.170 * * * * [points]: Setting MPFR precision to 320 0.171 * * * * [points]: Filtering points with unrepresentable outputs 0.171 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256 0.171 * * * * [points]: Computing exacts for 4 points 0.172 * * * * [points]: Setting MPFR precision to 64 0.172 * * * * [points]: Setting MPFR precision to 320 0.173 * * * * [points]: Filtering points with unrepresentable outputs 0.173 * * * * [points]: Sampled 257 points with exact outputs 0.173 * * * [progress]: [2/2] Setting up program. 0.175 * [progress]: [Phase 2 of 3] Improving. 0.175 * [simplify]: Simplifying using # : (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.178 * * [simplify]: iteration 0 : 16 enodes (cost 7 ) 0.179 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 0.179 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.179 * * [progress]: iteration 1 / 4 0.179 * * * [progress]: picking best candidate 0.181 * * * * [pick]: Picked # 0.181 * * * [progress]: localizing error 0.212 * * * [progress]: generating rewritten candidates 0.212 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.213 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 0.213 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.213 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.214 * * * [progress]: generating series expansions 0.214 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.214 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 0.214 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 0.214 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.215 * * * [progress]: simplifying candidates 0.215 * [simplify]: Simplifying using # : (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2.0 0.0)) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.217 * * [simplify]: iteration 0 : 21 enodes (cost 35 ) 0.218 * * [simplify]: iteration 1 : 21 enodes (cost 35 ) 0.218 * [simplify]: Simplified to: (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2.0 0.0)) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.218 * * * [progress]: adding candidates to table 0.222 * [progress]: [Phase 3 of 3] Extracting. 0.224 * [simplify]: Simplifying using # : (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.225 * * [simplify]: iteration 0 : 13 enodes (cost 7 ) 0.225 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 0.225 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.225 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.296 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.297 * * * * [points]: Setting MPFR precision to 64 0.298 * * * * [points]: Setting MPFR precision to 320 0.300 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.301 * * * * [points]: Setting MPFR precision to 64 0.304 * * * * [points]: Setting MPFR precision to 320 0.307 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.308 * * * * [points]: Setting MPFR precision to 64 0.313 * * * * [points]: Setting MPFR precision to 320 0.318 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.320 * * * * [points]: Setting MPFR precision to 64 0.329 * * * * [points]: Setting MPFR precision to 320 0.343 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 0.345 * * * * [points]: Setting MPFR precision to 64 0.363 * * * * [points]: Setting MPFR precision to 320 0.384 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 0.386 * * * * [points]: Setting MPFR precision to 64 0.423 * * * * [points]: Setting MPFR precision to 320 0.465 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 0.467 * * * * [points]: Setting MPFR precision to 64 0.541 * * * * [points]: Setting MPFR precision to 320 0.625 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 0.627 * * * * [points]: Setting MPFR precision to 64 0.772 * * * * [points]: Setting MPFR precision to 320 0.939 * * * * [points]: Computing exacts for 8000 points 0.940 * * * * [points]: Setting MPFR precision to 64 1.521 * * * * [points]: Setting MPFR precision to 320 2.174 * * * * [points]: Filtering points with unrepresentable outputs 2.181 * * * * [points]: Sampling 3939 additional inputs, on iter 1 have 4061 / 8000 2.213 * * * * [points]: Computing exacts on every 246 of 3939 points to ramp up precision 2.215 * * * * [points]: Setting MPFR precision to 64 2.216 * * * * [points]: Setting MPFR precision to 320 2.218 * * * * [points]: Computing exacts on every 123 of 3939 points to ramp up precision 2.219 * * * * [points]: Setting MPFR precision to 64 2.222 * * * * [points]: Setting MPFR precision to 320 2.224 * * * * [points]: Computing exacts on every 61 of 3939 points to ramp up precision 2.226 * * * * [points]: Setting MPFR precision to 64 2.230 * * * * [points]: Setting MPFR precision to 320 2.235 * * * * [points]: Computing exacts on every 30 of 3939 points to ramp up precision 2.237 * * * * [points]: Setting MPFR precision to 64 2.246 * * * * [points]: Setting MPFR precision to 320 2.261 * * * * [points]: Computing exacts on every 15 of 3939 points to ramp up precision 2.263 * * * * [points]: Setting MPFR precision to 64 2.281 * * * * [points]: Setting MPFR precision to 320 2.302 * * * * [points]: Computing exacts on every 7 of 3939 points to ramp up precision 2.304 * * * * [points]: Setting MPFR precision to 64 2.339 * * * * [points]: Setting MPFR precision to 320 2.379 * * * * [points]: Computing exacts on every 3 of 3939 points to ramp up precision 2.381 * * * * [points]: Setting MPFR precision to 64 2.452 * * * * [points]: Setting MPFR precision to 320 2.533 * * * * [points]: Computing exacts for 3939 points 2.535 * * * * [points]: Setting MPFR precision to 64 2.811 * * * * [points]: Setting MPFR precision to 320 3.130 * * * * [points]: Filtering points with unrepresentable outputs 3.133 * * * * [points]: Sampling 1984 additional inputs, on iter 2 have 6016 / 8000 3.149 * * * * [points]: Computing exacts on every 124 of 1984 points to ramp up precision 3.151 * * * * [points]: Setting MPFR precision to 64 3.152 * * * * [points]: Setting MPFR precision to 320 3.154 * * * * [points]: Computing exacts on every 62 of 1984 points to ramp up precision 3.155 * * * * [points]: Setting MPFR precision to 64 3.157 * * * * [points]: Setting MPFR precision to 320 3.160 * * * * [points]: Computing exacts on every 31 of 1984 points to ramp up precision 3.161 * * * * [points]: Setting MPFR precision to 64 3.165 * * * * [points]: Setting MPFR precision to 320 3.170 * * * * [points]: Computing exacts on every 15 of 1984 points to ramp up precision 3.172 * * * * [points]: Setting MPFR precision to 64 3.180 * * * * [points]: Setting MPFR precision to 320 3.190 * * * * [points]: Computing exacts on every 7 of 1984 points to ramp up precision 3.192 * * * * [points]: Setting MPFR precision to 64 3.213 * * * * [points]: Setting MPFR precision to 320 3.233 * * * * [points]: Computing exacts on every 3 of 1984 points to ramp up precision 3.234 * * * * [points]: Setting MPFR precision to 64 3.269 * * * * [points]: Setting MPFR precision to 320 3.310 * * * * [points]: Computing exacts for 1984 points 3.311 * * * * [points]: Setting MPFR precision to 64 3.453 * * * * [points]: Setting MPFR precision to 320 3.616 * * * * [points]: Filtering points with unrepresentable outputs 3.618 * * * * [points]: Sampling 978 additional inputs, on iter 3 have 7022 / 8000 3.627 * * * * [points]: Computing exacts on every 61 of 978 points to ramp up precision 3.628 * * * * [points]: Setting MPFR precision to 64 3.630 * * * * [points]: Setting MPFR precision to 320 3.631 * * * * [points]: Computing exacts on every 30 of 978 points to ramp up precision 3.632 * * * * [points]: Setting MPFR precision to 64 3.634 * * * * [points]: Setting MPFR precision to 320 3.637 * * * * [points]: Computing exacts on every 15 of 978 points to ramp up precision 3.639 * * * * [points]: Setting MPFR precision to 64 3.643 * * * * [points]: Setting MPFR precision to 320 3.648 * * * * [points]: Computing exacts on every 7 of 978 points to ramp up precision 3.650 * * * * [points]: Setting MPFR precision to 64 3.658 * * * * [points]: Setting MPFR precision to 320 3.669 * * * * [points]: Computing exacts on every 3 of 978 points to ramp up precision 3.671 * * * * [points]: Setting MPFR precision to 64 3.691 * * * * [points]: Setting MPFR precision to 320 3.711 * * * * [points]: Computing exacts for 978 points 3.712 * * * * [points]: Setting MPFR precision to 64 3.781 * * * * [points]: Setting MPFR precision to 320 3.860 * * * * [points]: Filtering points with unrepresentable outputs 3.861 * * * * [points]: Sampling 489 additional inputs, on iter 4 have 7511 / 8000 3.866 * * * * [points]: Computing exacts on every 30 of 489 points to ramp up precision 3.867 * * * * [points]: Setting MPFR precision to 64 3.868 * * * * [points]: Setting MPFR precision to 320 3.870 * * * * [points]: Computing exacts on every 15 of 489 points to ramp up precision 3.871 * * * * [points]: Setting MPFR precision to 64 3.873 * * * * [points]: Setting MPFR precision to 320 3.876 * * * * [points]: Computing exacts on every 7 of 489 points to ramp up precision 3.877 * * * * [points]: Setting MPFR precision to 64 3.882 * * * * [points]: Setting MPFR precision to 320 3.887 * * * * [points]: Computing exacts on every 3 of 489 points to ramp up precision 3.888 * * * * [points]: Setting MPFR precision to 64 3.897 * * * * [points]: Setting MPFR precision to 320 3.907 * * * * [points]: Computing exacts for 489 points 3.908 * * * * [points]: Setting MPFR precision to 64 3.943 * * * * [points]: Setting MPFR precision to 320 3.984 * * * * [points]: Filtering points with unrepresentable outputs 3.984 * * * * [points]: Sampling 266 additional inputs, on iter 5 have 7734 / 8000 3.987 * * * * [points]: Computing exacts on every 16 of 266 points to ramp up precision 3.991 * * * * [points]: Setting MPFR precision to 64 3.992 * * * * [points]: Setting MPFR precision to 320 3.993 * * * * [points]: Computing exacts on every 8 of 266 points to ramp up precision 3.995 * * * * [points]: Setting MPFR precision to 64 3.997 * * * * [points]: Setting MPFR precision to 320 3.999 * * * * [points]: Computing exacts on every 4 of 266 points to ramp up precision 4.001 * * * * [points]: Setting MPFR precision to 64 4.004 * * * * [points]: Setting MPFR precision to 320 4.009 * * * * [points]: Computing exacts on every 2 of 266 points to ramp up precision 4.011 * * * * [points]: Setting MPFR precision to 64 4.017 * * * * [points]: Setting MPFR precision to 320 4.024 * * * * [points]: Computing exacts for 266 points 4.026 * * * * [points]: Setting MPFR precision to 64 4.045 * * * * [points]: Setting MPFR precision to 320 4.067 * * * * [points]: Filtering points with unrepresentable outputs 4.067 * * * * [points]: Sampling 141 additional inputs, on iter 6 have 7859 / 8000 4.069 * * * * [points]: Computing exacts on every 8 of 141 points to ramp up precision 4.070 * * * * [points]: Setting MPFR precision to 64 4.071 * * * * [points]: Setting MPFR precision to 320 4.073 * * * * [points]: Computing exacts on every 4 of 141 points to ramp up precision 4.074 * * * * [points]: Setting MPFR precision to 64 4.076 * * * * [points]: Setting MPFR precision to 320 4.078 * * * * [points]: Computing exacts on every 2 of 141 points to ramp up precision 4.080 * * * * [points]: Setting MPFR precision to 64 4.083 * * * * [points]: Setting MPFR precision to 320 4.087 * * * * [points]: Computing exacts for 141 points 4.088 * * * * [points]: Setting MPFR precision to 64 4.098 * * * * [points]: Setting MPFR precision to 320 4.109 * * * * [points]: Filtering points with unrepresentable outputs 4.110 * * * * [points]: Sampling 65 additional inputs, on iter 7 have 7935 / 8000 4.110 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision 4.112 * * * * [points]: Setting MPFR precision to 64 4.113 * * * * [points]: Setting MPFR precision to 320 4.114 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision 4.115 * * * * [points]: Setting MPFR precision to 64 4.117 * * * * [points]: Setting MPFR precision to 320 4.119 * * * * [points]: Computing exacts for 65 points 4.120 * * * * [points]: Setting MPFR precision to 64 4.125 * * * * [points]: Setting MPFR precision to 320 4.130 * * * * [points]: Filtering points with unrepresentable outputs 4.130 * * * * [points]: Sampling 38 additional inputs, on iter 8 have 7962 / 8000 4.130 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision 4.135 * * * * [points]: Setting MPFR precision to 64 4.136 * * * * [points]: Setting MPFR precision to 320 4.137 * * * * [points]: Computing exacts for 38 points 4.138 * * * * [points]: Setting MPFR precision to 64 4.141 * * * * [points]: Setting MPFR precision to 320 4.144 * * * * [points]: Filtering points with unrepresentable outputs 4.144 * * * * [points]: Sampling 20 additional inputs, on iter 9 have 7980 / 8000 4.144 * * * * [points]: Computing exacts for 20 points 4.146 * * * * [points]: Setting MPFR precision to 64 4.147 * * * * [points]: Setting MPFR precision to 320 4.149 * * * * [points]: Filtering points with unrepresentable outputs 4.149 * * * * [points]: Sampling 11 additional inputs, on iter 10 have 7989 / 8000 4.149 * * * * [points]: Computing exacts for 11 points 4.150 * * * * [points]: Setting MPFR precision to 64 4.151 * * * * [points]: Setting MPFR precision to 320 4.152 * * * * [points]: Filtering points with unrepresentable outputs 4.152 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 4.152 * * * * [points]: Computing exacts for 5 points 4.154 * * * * [points]: Setting MPFR precision to 64 4.154 * * * * [points]: Setting MPFR precision to 320 4.155 * * * * [points]: Filtering points with unrepresentable outputs 4.155 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 4.155 * * * * [points]: Computing exacts for 4 points 4.156 * * * * [points]: Setting MPFR precision to 64 4.156 * * * * [points]: Setting MPFR precision to 320 4.157 * * * * [points]: Filtering points with unrepresentable outputs 4.157 * * * * [points]: Sampled 8000 points with exact outputs 4.228 * [regime-testing]: End program error score: 0.011