(cotg18*cotg12)/(sqrt(3))-(cotg18+cotg12)