acot(cot45deg*sin45deg)