https://keroseneheaterreview.blogspot.com/2023/05/diagonalize-symbolic-matrix.html