5.24.6 Expand powers :
powexpand
powexpand
rewrites a power of a sum as a product of powers.
Input :
powexpand(a
^
(x+y))
Output :
a
^
x*a
^
y