Weird. There are some impressive examples and then it fails spectacularly e.g. by simply removing all square root signs at one step.
Given that type of failure I must conclude the model didnt learn essential fundamentals of math reasoning (i guess it was clear from the start it is not built to do so).
I would like to have an interactive demo where I can type tasks for it.