For example, FriCAS appears to give a wrong answer for this.
@oneofvalts Welp FriCAS uses a somewhat awkward mechanism for ODE, that the function symbol needs to be constructed differently. I took the result as an equation meaning XXX = 0 and try solve it and it turns out the result should be correct.
"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko