trig differentiation and integration rules