integral of 2x from 10 to 13