CaΣoS: A nonlinear sum-of-squares optimization suite | Synapse