(f \circ g)^{-1}