75(cot (10) - cot (17))