[math-fun] Further toward automating 𝜗 function special values