Which of the following would be a valid post-condition of the following Hoare triple? x = = (i+1)!. 3i-¹) ^ (i ‡ 0) {x=x*i} (???) | (x = (4+1)!¹. 3 (÷-¹)) ^ (i ‡ 0) (±−1)) 24 .3²i-¹) ^ (i = 0) x * i = (i+1)! . 3i-¹) ^ (i ‡ 0) + x = (zi+1)! 2xi ○ (x = (i+1)!. 3i-¹), (i+1)!. O 3i-¹) ^ (i = 0)

Q: (1) Sinx-26 2. (20) f(x)%=Sinx-Gx

A: (19) fx=sin2x−2cos2xsin2x−2cos2x≥02sinxcosx−2cos2x≥02cosxsinx−cosx≥0Case 1:2cosx=0 and…

Q: Evaluate 2x In(т)dz

A:

Q: [- 12 * sin(6t)]^2 equals ??

A:

Q: Lax' + xv9 – x² dx

A:

Q: –2x x- -dx x2+e-2r A (x-e-2r) x²+e-2x xp- B -2 (х—е -2) x²+e-2x xp- e -2r dx x²+e-2r x²+e -2x D E)…

A:

Q: c) cuc (sec sx)

A: Given : cos-1(sec5x)

Q: =120stasint) (-sintuast)+: 20sst-sint) (-sint -cost)

A:

Q: The function re* sin(8x) is annihilated by the operator

A:

Q: The term 0.5(1-cos2x) is equal to

A: Given,          The term is 0.51-cos2x .

Q: S csc? 5x dx = (- cot 5x)/5 + c * False true Page 2

A:

Q: prove thati- Exi 2. (Exi) 2. (xi-X

A: Solution-: We prove that,

Q: 3 S (sin x)*.dx

A: Please refer the attached image for complete solution.

Q: "풍 2 secx dx tan³x + 4 tanx

A:

Q: *cosx= 24 sinxyo, cos (x+5") 25

A: Given: cosα=2425, sinα>0 To determine: cosα+5π6

Q: Integrate x² √6 +25 1 dx + C

A:

Q: d [sin? (ln x)] dx

A: ddxln =1xddxsinx = cosx In this question we use chain rule         ddxf(g(x)) = f'(g'(x))

Q: 1) Evaluate / Vx-1 dx

A:

Q: 8. f2*Inx dx(ו1 + In)x

A:

Q: * Evaluate. [6x² arcsin(x)]dx

A: