derivative of tan4x