sin is_integral_of cos , REAL