Principal range of sin x