What is the integral of int tan (5x)dx?