What is the derivative of arctan(x3)?