replace tr_a_dagger_b with inner_product
replace tr_a_dagger_b with inner_product
replace tr_a_dagger_b with inner_product