Symbolic expression generation via Variational Auto-Encoder