Use benchmarks to estimate the sum 13/15 + 1/8