integral t from a to x