Parametric, Polar and Vector-Valued Functions · Superchallenge problem

Find the exact length of the involute $x=\cos t+t\sin t,\ y=\sin t-t\cos t$ for $0\le t\le\pi$.