Symbolic_simulation