Question: How to make use of maple function to do this

if there is a set of identities, such as a+b = b+a, a^2 = 2*a + 1

and one input or a few input,

how to make use of these identities to derive some output?

any algorithm can do this?

Please Wait...