Statistics for Static Analysis for Efficient Affine Arithmetic on GPUs