Dear Vladimir, On 16.10.19 14:48, Vladimir V. Kisil wrote: > I have expected that mul(x,x).hold() will return x*x instead of > x^2. Is it the planned behaviour and my expectations were wrong? This is the intended behavior in GiNaC's term rewriting system. All my best, -richy.