[OT] xkcd 2117: Differentiation and Integration

[oldk1331]

I find this very interesting (it even mentions Risch algorithm!):

https://xkcd.com/2117/

https://imgs.xkcd.com/comics/differentiation_and_integration.png

Image caption:
"Symbolic integration" is when you theatrically go through the motions
of finding integrals, but the actual result you get doesn't matter
because it's purely symbolic.