Validate equations against Serguei's
Regenerate code