\int_o^{\pi/2} {(\sin{t})^2 * (\cos{t})^2}