solve x J_1(2 x) (1 - x%5E2) J_0(x) %3D 1