What is the derivative of tan3(x4)?