Title: Algorithms for symbolic circuit analysis based on determinant calculations