How to see Sum-of-Squares decomposotion in the optimization over domain?

Hello everyone!

I am looking through the example of polynomial optimization over the domain. Just before [the maxdegree keyword argument](https://docs.juliahub.com/SumOfSquares/VZKsW/0.6.3/generated/Polynomial%20Optimization/polynomial_optimization/#The-maxdegree-keyword-argument) subsection, it is explained how the algorithm works. But how can we look at the expressions for polynomials `s0`-`s3` that the algorithm has found?

Thank you in advance.

Start with the Polynomial Optimization example and the subsection immediately before “The maxdegree keyword argument” in the linked documentation. Trace how the expressions named s0 through s3 are produced or returned, and confirm the documented way to inspect them. Done when the documentation or example clearly explains how users can view those expressions.

Written by the indexing model from the issue text.