if `a3` is an additive constant then you should use `as_independent(sin(t), cos(t), as_Add=True)[0]`