The RandomExpand command produces a new expression in "expanded" form that is equivalent to the given expr.

To avoid simplification, the output of this command uses % inert form operators.  For example, RandomExpand(4) could produce 2 %+ 2.  The standard interface will display this expression with a grey plus symbol.  The value command can be used to turn the inert form back into standard form, which will evaluate and incur simplification, turning it back into 4.

The operations option by default includes all arithmetic operations,  [`+`,`*`, `-`, `^`, `/`].  Specify a subset of these operations in order to limit the kind of expansions that will be applied.  For example, RandomExpand(4,operations=[*]) will find 2 %* 2, but not generate 2 %+ 2 because + is omitted from the list of expansions.  

Expansions involving ^ may also include * whether or not times is included as part of the operations list.

The coeffs option specifies the range of integer coefficients that will be used in the expansion.  Numbers outside this range may be present in the generated expression if the original expr started with coefficients outside the specified range.  Restricting the coeffs range too tightly might cause the command to be unable to generate equivalent expressions; in which case the original expression may be returned, or fewer than numterms generated.  The default is coeffs = -10..10.

The exponent option specifies the range of integers that can be used in formulating integer exponents.   This is distinct from the case of expanding an expression like x^y, where both x and y can be expanded using the coeffs range.  The default is exponent = 1..3.

The numterms option gives a target for the number of additional terms in the result expression.  No more than numterms+2 new terms will be introduced into the result expression.  The bound accommodates a single expansion that introduces multiple terms at once.  Bound restrictions and initial input can restrict the result to less than numterms, including cases where the original expression is returned without change.  The default is numterms = 3.

The allowzero option controls whether or not to allow zero terms in the expansion, such as 4 = 0 %+ 4.  The default is allowzero = false.

The scramble option enables a final step in which terms are randomly reordered.  The default is scramble = true.

$\mathrm{with}\left(\mathrm{RandomTools}\right)\:$

$\mathrm{RandomExpand}\left(4\right)$

${\left(\mathrm{-2}+4\right)}^2$

$\mathrm{RandomExpand}\left(4\,\mathrm{operations}=\left[\mathrm{`^`}\right]\right)$

$2^2$

$\mathrm{RandomExpand}\left(4\,\mathrm{operations}=\left[\mathrm{`-`}\,\mathrm{`*`}\,\mathrm{`/`}\right]\right)$

$\frac{6}{3}\ast 2$

$\mathrm{RandomExpand}\left(4\,\mathrm{operations}=\left[\mathrm{`-`}\,\mathrm{`*`}\,\mathrm{`/`}\right]\,\mathrm{numterms}=10\right)$

$6-\left(5-\left(\mathrm{-5}\right)\right)-\left(\mathrm{-3}\right)-\left(\mathrm{-1}-\left(\mathrm{-3}\right)\right)-\left(6-7-2\ast 3\right)$

$\mathrm{RandomExpand}\left(10x^2\,\mathrm{coeffs}=-100..0\right)$

${\left(\mathrm{-3}\right)}^3\ast x^2-\left(-48x^2\right)-11x^2$

$\mathrm{RandomExpand}\left(x+y\,\mathrm{numterms}=10\,\mathrm{operations}=\left[\mathrm{`^`}\,\mathrm{`*`}\right]\,\mathrm{exponent}=-100..100\right)$

${\left(\mathrm{-7}\right)}^{49}\ast y\ast {\left(\mathrm{-7}\right)}^{\mathrm{-49}}+x\ast {\left(\mathrm{-6}\right)}^{11}\ast {\left(\mathrm{-6}\right)}^{\mathrm{-11}}$

$\mathrm{RandomExpand}\left(90\,\mathrm{coeffs}=-100..100\,\mathrm{exponent}=-100..100\,\mathrm{operations}=\left[\mathrm{`^`}\,\mathrm{`*`}\right]\,\mathrm{numterms}=10\right)$

$5\ast 2^{\mathrm{-56}}\ast 2^{57}\ast {\left(3\ast 1\right)}^{2^{61}\ast 2^{\mathrm{-60}}}$

$\mathrm{RandomExpand}\left(1\,\mathrm{coeffs}=0..10\,\mathrm{operations}=\left[\mathrm{`+`}\right]\,\mathrm{numterms}=2\,\mathrm{allowzero}\right)$

$1+0$

$\mathrm{RandomExpand}\left(x+y+z\,\mathrm{numterms}=9\,\mathrm{scramble}=\mathrm{false}\right)$

${\left(-z\right)}^3{\left(\mathrm{-1}\right)}^0{z}^{\mathrm{-2}}-\left(-2z\right)+3\ast \left(\frac{8}{3}\right)x-7x+\frac{6y}{6}$

$\mathrm{RandomExpand}\left(x+y+z\,\mathrm{numterms}=9\right)$

$3\ast 3\ast x+y\ast {\left(\mathrm{-2}\right)}^3+\frac{10y}{2}+4y+3\ast \left(-\frac{8}{3}\right)\ast x+5z-4z$

The RandomTools[RandomExpand] command was introduced in Maple 2018.

For more information on Maple 2018 changes, see Updates in Maple 2018.