Eventually we will have a full-blown symbolic math package on par with mathematica written from the ground up in Julia, it’s just going to take a really long time. It’s an intimidating problem. Maybe Sylvia would be a good base for that, it looks like a good start at least.