It's so hard to get Grok to help simplify even reasonable math equations. I've gotten pretty frustrated at trying to get AI to help, so something better would very much be welcome. I remain a bit skeptical, but something like this would be really fun to play with and use.