Fixes up symbolic integration, leaves only coefficient calculation
Working (but untested) version of symbolic integrator over Haar measure