Simplification Methods for Sum-of-Squares Programs