Integration involving trigonometric functions