acot(cot60deg*sin30deg)