acot(cot45deg*cos45deg)