# recognize form sin(x)^2 + cos(x)^2 = 1

Is there a way to tell sage that expressions like sin(x)^2 + cos(x)^2 are equivalent to 1? So, for instance, sage would replace/simplify an expression like sin(t+1)^2 + cos(t+1)^2 with 1.