с помощью PowerExpand, корректны, вообще
Пример 8

Действия со степенями
Функция PowerExpand приводит (а*b) ^с к виду а^с * b^с. Преобразования, сделанные с помощью PowerExpand, корректны, вообще говоря, только если с целое, а а и b положительные.
Кроме того, PowerExpand приводит Log[а^b] к виду b*Log [а].
PowerExpand [Log [ (ab)n] ]
n (Log[a]+Log[b])
Квадратный корень тоже рассматривается как степень.