[math-fun] 𝜗₃(𝕖^(-20π))