Use the subtraction formula for sine to verify this identity:
Sin (pi/2 - x) = cosx