"Then, thinking further, are there any programming languages that rely on the sorts of math where f(f^-1(x)) is simplified to x without being evaluated?" Mathe

"Then, thinking further, are there any programming languages that rely on the sorts of math where f(f^-1(x)) is simplified to x without being evaluated?" Mathematica?