Function butterfly_sub_asym 

fn butterfly_sub_asym<T: TxOperations>(p0: (T, T), p1h: T) -> (T, T)