Error bound for reduced system model by Pade approximation via the Lanczos process | Synapse