exponential inverse and tidying
domain for inverse operators
derivative of inverse operations
inverse value ranges