matlab代码返回结果为什么不是1

syms a b;

f1=sym(cos(a)+cos(b));
f2=sym(2*cos((a+b)/2)*cos((a-b)/2));
f1==f2

ans =

cos(a) + cos(b) == 2*cos(a/2 - b/2)*cos(a/2 + b/2)
上面是代码
问题：用符号计算验证三角等式cos(a)+cos(b)=2cos((a+b)/2)*cos((a-b)/2)

第一：在Matlab里，==只能用于数值比较，不能比较带符号式子
第二：Matlab自动化简一般只能用于多项式的同类型合并，不会进行三角函数的和差化积等运算，比如下面的例子