tan(x)*[sin(x) - cot(x)*cos(x)] = sec(x)