Comment by oliculipolicula

It's most likely based on the Poor Man's Integrator (amongst other tricks)

https://mathoverflow.net/questions/67727/the-easiest-symboli...

Treasure trove for people into this sort of thing https://www.researchgate.net/profile/Robert-Dr-Kragler