int Sqrt[t^2+2] dt