sin x %2B cos x %3D 1