Question 429069
{{{int(sin^2(2x), dx) = int((1-cos(4x))/2, dx)

= (1/2)int((1-cos(4x)), dx)
=(1/2)(x - (1/4)sin(4x)) + K
= x/2 - (1/8)sin(4x) + K }}}, where K is an arbitrary constant.