id = expr; diff(var, tvar) = expr;where tvar is the time variable and expr is a valid mathematical expression made from numbers, the time variable, the state variables, elementary functions
a = sin(1) + log(1 + exp(-0.5)); b = a + cos(0.1); c = a+b; ff = sin(x+t) * exp(-x*x); diff(x,t) = c * ff - tan(t);are all valid statements.
Taylor also understands if-else expressions and non-nested sums. For example, taylor accepts the following statements:
ss = sum( i*sin(i * x)+ i *cos(i*t), i=1,10); diff(x,t) = ss; diff(y,t) = if(y>t) { if(y>0.0) { y } else { 1-y } } else { y+t};
The detailed input syntax is given in Appendix A.