[a1k0n]

Yeah, that one wasn't too hard but it's nice to have it to check your work. I didn't go into it in the post, but the real power of SymPy is its cse() function, which I used to do all the common subexpression elimination for the integer math version at the bottom.

[Donald]

do you have an example?

[creata]

You can find a small example for generating CSE'd C code for a sympy expression at https://stackoverflow.com/questions/22665990/optimize-code-g... .

I think the built-in code generator is a bit strange, though: for example, it always prints integers as integers, and not as floats depending on the context, so code often doesn't typecheck.

[a1k0n]

I tweeted a screenshot of the Jupyter Notebook session I used to create the code at the bottom: https://twitter.com/a1k0n/status/1301261285800030208