Computing and understanding compositions of functions and their domains