substitute (Pow   a b) x value = Pow   (substitute a x value) (substitute b x value)
substitute (Pow   a b) x value = Pow   (substitute a x value) (substitute b x value)
substitute (Pow   a b) x value = Pow   (substitute a x value) (substitute b x value)