Definition:Real Sine Function