How do you solve sqrt2tanxcosx-tanx=0?