Differentiate Cot2xpi3