Trigonometric identities of 90 + x