Simplifying a very long symbolic expression by automatically introducing temporal variables
Simplifying a very long symbolic expression by automatically introducing temporal variables or in any other way