To the tune of "Kill Bill" by SZA:
Second derivative's a log to the base e Plugged around the first diff'rential, both are on dt Plug it in for these t and it should be alignin'
Elementary, elementary Elementary I can see the problem is, less obvious on future steps No letters plain, order reduce The order's now one, integrate, I might
I might solve for x, need some new ideas y and z are next, once that part's clear I might solve for x from a diffeq Need an ansatz rule to assume
I get the sense that it's a lost cause I get the sense that this'll take the long haul This integration is by parts, layer two too is by parts I try procedure of R.H. Risch, quite the defeater So, look, it goes out of scope Gonna need the help of boron-phosphorus as dope Now I've opened Octave, old computer's locked stiff Now it's makin' progress, got me singin' over a beat
Elementary, elementary Elementary I can see the problem is, less obvious on future steps No letters plain, order reduce The order's now one, integrate, I might
I might solve for x, need some new ideas y and z are next, once that part's clear I might solve for x from a diffeq Need an ansatz rule to assume
I did it all applied Numbers alone, I did find All without a real closed-form I did without AI, oh I did it all applied Numbers alone, I did find All without a real closed-form Don't you know I did without AI, oh
I just solved for x, knowledge there's a sham Can't solve y or z, need much more RAM I just solved for x from a diffeq Function out of Liouville's purview
x''(t) = ln(x'(t)) does have a non-elementary closed form. WolframAlpha gives Ei(2 ln(li-1(t))).