integral(Pi-2*arcsin(y^(1/y)),y = 0 .. 1))