What is the derivative of (arctan x)^3 ?