solve(tan(x)*(√2)*sin(x) tan(x)-1-(√2)*cos(x)=0)