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