Input is AC line, R7, R9 connected to neutral ? And for purposes of sim
circuit ground is at same potential as Neutral ?
The mathematical approach is write node/loop equations and model, for your
purposes, the OpAmp as (where A is quite large, 25,000 min for LM258A, Zin also
quite large, I would ignore, eg. let it be infinity) :
After you write the equations you will see that large A (gain) in the opamp many
terms in the equations drop out in the limit, and simple equations are left. Do
a simple case to get a feel, ground + input, place a R output to - input, place a R
from input V source to - input, and solve with that model. Then evaluate the
resulting equation letting A go to infinity. Assume Zin infinity (not even in the circuit),
and Zout 0 for simplicity. More exact analysis takes into account those effects,
especially as A drop with increased frequency, and has large effects on OpAmp
circuit at high frequency as OpAmp gain approaches 0. The AC model for OpAmp looks like
a high DC A (gain) followed by a low pass filter, eg, A rolls off as freq increases.
But dont tackle the AC effects as you seem to be doing AC line freq work where
A is still quite large.