What is the derivative of (arctanx)3?