generate-integral-exprs.sage.py
