x + sinx = pi2