Add a test for PowerMultiplyReduce