cot(2x)-tan(78)=1/2*sec(x)*sec(78)