How does ∫ sin(x)/cos(x)dx become