\sin x+\cos x=1