Logismos Computational Optimization: Exploiting Mathematical Structure in VFR Arithmetic for High-Performance Exact Computation | Synapse