acot(cot45deg*cos60deg)