How to solve identities of trigonometry cos tan=sin?