add boolean expression and differential equation