solve(tan(x)*(√2)*sin(x)+tan(x)-1-(√2)*cos(x)=0)&(0<=x<2*π)for x real