I guess I'm over-selling by implying it's a solution from scratch. Thanks to the nearby integrals that the software is able to serve up results for instantly, the tool is what lets you quickly explore until you run into something that will support a slight modification, as well as still be beautiful even after the modification. And of course, selection of the interesting questions is perfectly permissible in the ethic they were going for. Thinking about it like this, I could probably do the trick myself... time to refresh on my rusty calculus.
Yeah! It sounds like a pretty interesting and rewarding design process, but very much searching for a variant of a known problem that works, as opposed to somehow finding a crazy expression from nowhere that also happens to have a beautiful, simple integral, and then solving it without help although even the computers can't.