tan(x) dx = cot(y) dy