trexp for A.SeqExp.