reduced some exponentiations