Finding Inverse of a 4*4 matrix Find the inverse of the following matrix
$$
\begin{array}{c}
{\left[\begin{array}{cccc}
c_{0} & c_{1} & c_{2} & c_{3} \\
c_{2} & c_{3} & c_{0} & c_{1} \\
c_{3} & -c_{2} & c_{1} & -c_{0} \\
c_{1} & -c_{0} & c_{3} & -c_{2}
\end{array}\right]} \\
\text { where } c_{0}=\frac{1+\sqrt{3}}{4 \sqrt{2}}, c_{1}=\frac{3+\sqrt{3}}{4 \sqrt{2}}, c_{2}=\frac{3-\sqrt{3}}{4 \sqrt{2}} \text { and } c_{3}=\frac{1-\sqrt{3}}{4 \sqrt{2}}
\end{array}
$$
I had thought of replacing the values with trigonometric values like Sin 15 , cos 15 .... But it seems very lengthy. Any shorter approach?

The columns are pairwise orthogonal to each other.
So, with
$$A=
{\left[\begin{array}{cccc}
c_{0} & c_{1} & c_{2} & c_{3} \\
c_{2} & c_{3} & c_{0} & c_{1} \\
c_{3} & -c_{2} & c_{1} & -c_{0} \\
c_{1} & -c_{0} & c_{3} & -c_{2}
\end{array}\right]} \\
$$
You have
$$A^TA = qI_{4\times 4} \text{ with } q= \sum_{k=0}^3c_k^2 =1$$
Hence,
$$A^{-1} = A^T$$
So, the columns of matrix $A$ form an orthonormal basis.
