Love this!

You can mark as fixed. But I just want to congratulate you for making this.

I had a similar idea of writing C++ macros to create arithmetic identities using a combination of trig, algebriac geometry, discrete math, and linear algebra.