acot(cot45deg*sin30deg)