1 | initial version |

On the other hand, I do think it could be useful to apply some simplification rules via substitution. For instance, you have lots of `e^(I*sqrt(cos(l) - 1)*sqrt(2))`

guys.

```
var('T')
C = B.substitute_expression(e^(sqrt(-2*cos(l) + 2))==T)
```

This isn't ideal, but better, I guess. Sometimes this sort of thing is quite helpful, though.

Also, sometimes using `factor`

or `expand`

proves useful.

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.