Additional transformations for mul and power [Sheplyakov].