acot(cot30deg*cos45deg)