Non ideal op-amp equivalent circuit output voltage
The node voltage equations are not so difficult. But it's really a tedious work to type the equations. I got the same result with you, maybe we are both wrong :).