Fehler beim Auffinden von KCL und KVL in der Operationsverstärkerschaltung

Ich habe die folgende Operationsverstärkerschaltung:

^{Simulieren Sie diese Schaltung – Mit CircuitLab erstellter Schaltplan}

ich weiß, dass$\text{V}_1=0$Und$\text{V}_3=0$im Fall einer idealen Operationsverstärkerschaltung. Ich habe die folgenden KCL-Gleichungen geschrieben:

$$\begin{cases} \text{I}_0=\text{I}_1+\text{I}_3\\ \\ \text{I}_4=\text{I}_1+\text{I}_2\\ \\ \text{I}_7=\text{I}_3+\text{I}_4\\ \\ \text{I}_7=\text{I}_5+\text{I}_6\\ \\ 0=\text{I}_5+\text{I}_6+\text{I}_8 \end{cases}\tag1$$

Und die folgenden KVL-Gleichungen:

$$\begin{cases} \text{I}_1=\frac{\text{V}_\text{i}-\text{V}_1}{\text{R}_1}\\ \\ \text{I}_2=\frac{\text{V}_1-\text{V}_2}{\text{R}_2}\\ \\ \text{I}_3=\frac{\text{V}_\text{i}-\text{V}_3}{\text{R}_3}\\ \\ \text{I}_4=\frac{\text{V}_2-\text{V}_3}{\text{R}_4}\\ \\ \text{I}_5=\frac{\text{V}_3-\text{V}_4}{\text{R}_5}\\ \\ \text{I}_6=\frac{\text{V}_3-\text{V}_4}{\text{R}_6} \end{cases}\tag2$$

Jetzt habe ich versucht, LTspice zu verwenden, um diese Schaltung für mich zu simulieren, und ich habe Mathematica verwendet, um das mathematische Ergebnis zu finden. Aber sie gaben nicht das gleiche Ergebnis. Gibt es einen Fehler in meinen Gleichungen?

Vielen Dank.