Symbolic analysis of large analog circuits with determinant decision diagrams