Ok, thanks. I can do that. I didn’t think ModelingToolkit had that. I was just trying to see if there was a way that I could get at the stuff inside a sum, or use a limit tool like forward diff.
I’m also not sure what to use to test inequalities
f(x)<1 for example