Implicit relations and their derivatives for symbolic state space generation