acot(cot60deg*cos30deg)