acot(cot60deg*cos45deg)