Trigonometric identities for 90 - x