TrueQ[sin ^2 x + cos ^2 x = 1]