it shouldn’t be too hard to come up with a well-behaved function that doesn’t have an analytical inverse that sympy can find.