How do you evaluate int (1) / (sqrt(1 + x)) for [0, 3]?