acot(cot60deg*sin45deg)