Question 857795
That's an identity.
{{{(sin(x))^2+(cos(x))^2=1}}}
for any x.