https://platoaistream.net/plato-data/how-to-solve-equations-that-are-stubborn-as-a-goat/