cot78*cot18+1/cot78-cot18=