shorttrick for definite integral