(- 1) (#) cos is_integral_of sin , REAL