Erasing the difference between symbolic computing and compiler optimizations in Julia

Chris Rackauckas says: "In 2022, the difference between symbolic computing and compiler optimizations will be erased in Julia. Anyone who can come up with a set of symbolic mathematical rules will automatically receive an optimized compiler pass to build better code."

Details in the comments.