added example derivations for expressions