The programming parts are very tempting, but I find the philosophy of the math mode input simplification to be questionable. E.g. automatically generating fractions from "/", or removing parentheses depending on whether they are redundant with other grouping. Those are all choices that I want explicit control over, and the most readable choice depends strongly on the details of the expressions. After some digging it's clear that all of that can be overridden without too much effort, but it still seems like a poor default for my use cases.