How do you evaluate 4 cos^2(-pi/2)?