ev(taylor(f(x), x, 0, 2), f(0)==1);
を実行しても、f(0) に 1 が代入されないんだけど、これってバグ?
maxima 5.18.1 (sbcl 1.0.19) です。

 eq: taylor(f(x), x, 0, 2);
 ev(eq, f(0)==1);
みたいに、一度変数に束縛すれば、ちゃんと置き換わったんだけど、