acot(cot45deg*cos30deg)