What is the derivative of arctan (x/2)arctan(x2)?