Hello, I've started building a small library which implements automatic simplification of C# expressions: https://github.com/dharmatech/Symbolism I guess this is mostly off-topic, so sorry about that. I wanted to mention the library here because GiNaC has been hugely influential (as has SymbolicC++). It's a very limited library, but I think it might be useful for someone wanting to experiment with building GiNaC type functionality in C# without starting from scratch. Ed