%%HP: T(3)A(R)F(.);
\<< DUP RE EXPAND SWAP
IM EXPAND i * + { '&A
-(&B*i)' '&A+((-&B)*i
)' } \|^MATCH DROP { '
&A+i' '&A+(1*i)' }
\|^MATCH DROP
\>>