Added simultaneous exponentiation with Barrett reduction.