https://keroseneheaterreview.blogspot.com/2022/11/diagonalize-symbolic-matrix.html