int(4sin(phi), 0, pi)