Multivalued functions
Typed inverse
Some one simplifications
Multivalued roots