arctan(x) dx = arccot(y) dy