Example of composition given symbolic representations of two functions and a known input value