Symbolic mathematics-based simulation of cylinder spaces for regenerative gas cycles