pub fn formal_derivative(cos: &mut [Additive], size: usize)
Formal derivative of polynomial in the new?? basis