Efficient Simulation and Reformulation of Lithium-Ion Battery Models for Enabling Electric Transportation | Synapse