微分の右下にx=0とかついてるのは微分して代入するという意味でしょうか？
たとえば、
d(x^2)/dx|_[x=a] = 2a
ですか？