I tried not to use simplify but when I wrote ```sol22 = Eq(f(x), -(C2 + x**2)/(-C1 + x**2))``` then it itself converted it into ```f(x) == (-C2 - x**2)/(-C1 + x**2)``` while dsolve gives the first one as output because of that assertion was failing.