integration of sin²x cos²x​