Implemented `exp` as a reduction