[charcircuit]

Even brute force from something like autoresearch could be able to find ways to squeeze out extra space by trying different ways to express things and rewrite it.