Its fascinating to see how people use AI for advanced maths, is there any tool to simplify differential equations