prove that:
[tex]\int_{}^{}tan(x) dx = ln|sec(x)| + C[/tex] ​