((eq (op e) 'sin) (make-prod (list 'cos e) (diff e))