This is exact, but not simplifiable. However, in context, perhaps the model yields rational output? Try numerical exactness: - Leaselab