Deep Learning for Symbolic Mathematics | Synapse