added the SICP example on symbolic differetiation