I think it already does. 

```py
In [21]: (sin(x)**2 + cos(x)**2).equals(1)
Out[21]: True
```