Real sine and cosine function/Derivative/Fact