Composite functions with restrictive domains and inverse