trigamma(11/12)-trigamma(5/12)=4sqrt3pi^2-80Catalan