Symbolic_circuit_analysis