integral sin²x * cos²x dx