verify 1ulp error bound in exp precomputation