Yeah, not for these tasks. This concerns learning something new and analyzing an algorithm. It's new ground for me. And the algorithm looks deceptively simple, but some of the tooling fails its analysis procedure on what is clearly bug. So I can't "rely on a successful analysis".
Also, you only find out how many details there are to consider, until you start writing it down. Not that it's difficult, but takes time to be structured and thorough.