acot(cot30deg*sin45deg)