How do you integrate int tanx using substitution?