How do you verify #(sin(x)+cos(x))^2=1+sin^2(x)#?