Trigonometric identities verification