Zaslat SMS: Theory of variational quantum simulation