Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks.