@Sphinx dear
goodness, a "puzzle" that admits it's a modified version of an
open-ended question, and tries to cover that up by "allowing" proofs of optimality in answers. Proofs that I don't think are possible, seeing as any number of pis and operations may be used.