∫ √((-t sin(t))^2 + (t cos(t))^2) from -π to (π/2)