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