derivative of a*arccot(ln(arctan(b*x))