Solve for x ( square root of 2)/2csc(x)-1=0