Get the simplifications pretty much done
Debug problem in mathjax