[math-fun] 12 exponentials conjecture