Example of composition given symbolic representations of two functions and an unknown input value