I could type this into a solver, which MIGHT help, but would also mean I have to get a lot of parentheses right…
