In the study of a statistical physics problem, I need to know the orthogonal polynomials with respect to the weight $$2\cosh(\beta x)e^{-x^2},$$ where $\beta \in \mathbb{R}^+$. Is this already known?
There is also a related but probably harder problem: what are the the orthogonal polynomials with respect to the weight $$\ln [2\cosh(\beta x)]e^{-x^2},$$ where $\beta \in \mathbb{R}^+$?