Symbolic Cholesky decomposition