Just a simple toy function that uses symbolic arithmetic to "derive" basic elementary bounds of a function.