acot(cot45deg*sin60deg)