A re-implementation of "A fully automatic problem solver with human-style output", arXiv:1309.4501