5 - Quaternary - complex vector veclib library version 2.0.0

Header file: qnasvec_cj.h Performance library: libqnasvec_cj Development library: libDqnasvec_cj

times times times

bctcbtbctcb : (complex times complex) times (complex times complex) bctcbtbctjb : (complex times complex) times (complex times complex_conjugate) bctcbtbjtcb : (complex times complex) times (complex_conjugate times complex) bctcbtbjtjb : (complex times complex) times (complex_conjugate times complex_conjugate) bctjbtbctcb : (complex times complex_conjugate) times (complex times complex) bctjbtbctjb : (complex times complex_conjugate) times (complex times complex_conjugate) bctjbtbjtcb : (complex times complex_conjugate) times (complex_conjugate times complex) bctjbtbjtjb : (complex times complex_conjugate) times (complex_conjugate times complex_conjugate) bjtcbtbctcb : (complex_conjugate times complex) times (complex times complex) bjtcbtbctjb : (complex_conjugate times complex) times (complex times complex_conjugate) bjtcbtbjtcb : (complex_conjugate times complex) times (complex_conjugate times complex) bjtcbtbjtjb : (complex_conjugate times complex) times (complex_conjugate times complex_conjugate) bjtjbtbctcb : (complex_conjugate times complex_conjugate) times (complex times complex) bjtjbtbctjb : (complex_conjugate times complex_conjugate) times (complex times complex_conjugate) bjtjbtbjtcb : (complex_conjugate times complex_conjugate) times (complex_conjugate times complex) bjtjbtbjtjb : (complex_conjugate times complex_conjugate) times (complex_conjugate times complex_conjugate)

divide times times

bcdcbtbctcb : (complex divide complex) times (complex times complex) bcdcbtbctjb : (complex divide complex) times (complex times complex_conjugate) bcdcbtbjtcb : (complex divide complex) times (complex_conjugate times complex) bcdcbtbjtjb : (complex divide complex) times (complex_conjugate times complex_conjugate) bcdjbtbctcb : (complex divide complex_conjugate) times (complex times complex) bcdjbtbctjb : (complex divide complex_conjugate) times (complex times complex_conjugate) bcdjbtbjtcb : (complex divide complex_conjugate) times (complex_conjugate times complex) bcdjbtbjtjb : (complex divide complex_conjugate) times (complex_conjugate times complex_conjugate) bjdcbtbctcb : (complex_conjugate divide complex) times (complex times complex) bjdcbtbctjb : (complex_conjugate divide complex) times (complex times complex_conjugate) bjdcbtbjtcb : (complex_conjugate divide complex) times (complex_conjugate times complex) bjdcbtbjtjb : (complex_conjugate divide complex) times (complex_conjugate times complex_conjugate) bjdjbtbctcb : (complex_conjugate divide complex_conjugate) times (complex times complex) bjdjbtbctjb : (complex_conjugate divide complex_conjugate) times (complex times complex_conjugate) bjdjbtbjtcb : (complex_conjugate divide complex_conjugate) times (complex_conjugate times complex) bjdjbtbjtjb : (complex_conjugate divide complex_conjugate) times (complex_conjugate times complex_conjugate)

plus times times

bcpcbtbctcb : (complex plus complex) times (complex times complex) bcpcbtbctjb : (complex plus complex) times (complex times complex_conjugate) bcpcbtbjtcb : (complex plus complex) times (complex_conjugate times complex) bcpcbtbjtjb : (complex plus complex) times (complex_conjugate times complex_conjugate) bcpjbtbctcb : (complex plus complex_conjugate) times (complex times complex) bcpjbtbctjb : (complex plus complex_conjugate) times (complex times complex_conjugate) bcpjbtbjtcb : (complex plus complex_conjugate) times (complex_conjugate times complex) bcpjbtbjtjb : (complex plus complex_conjugate) times (complex_conjugate times complex_conjugate) bjpcbtbctcb : (complex_conjugate plus complex) times (complex times complex) bjpcbtbctjb : (complex_conjugate plus complex) times (complex times complex_conjugate) bjpcbtbjtcb : (complex_conjugate plus complex) times (complex_conjugate times complex) bjpcbtbjtjb : (complex_conjugate plus complex) times (complex_conjugate times complex_conjugate) bjpjbtbctcb : (complex_conjugate plus complex_conjugate) times (complex times complex) bjpjbtbctjb : (complex_conjugate plus complex_conjugate) times (complex times complex_conjugate) bjpjbtbjtcb : (complex_conjugate plus complex_conjugate) times (complex_conjugate times complex) bjpjbtbjtjb : (complex_conjugate plus complex_conjugate) times (complex_conjugate times complex_conjugate)

minus times times

bcmcbtbctcb : (complex minus complex) times (complex times complex) bcmcbtbctjb : (complex minus complex) times (complex times complex_conjugate) bcmcbtbjtcb : (complex minus complex) times (complex_conjugate times complex) bcmcbtbjtjb : (complex minus complex) times (complex_conjugate times complex_conjugate) bcmjbtbctcb : (complex minus complex_conjugate) times (complex times complex) bcmjbtbctjb : (complex minus complex_conjugate) times (complex times complex_conjugate) bcmjbtbjtcb : (complex minus complex_conjugate) times (complex_conjugate times complex) bcmjbtbjtjb : (complex minus complex_conjugate) times (complex_conjugate times complex_conjugate) bjmcbtbctcb : (complex_conjugate minus complex) times (complex times complex) bjmcbtbctjb : (complex_conjugate minus complex) times (complex times complex_conjugate) bjmcbtbjtcb : (complex_conjugate minus complex) times (complex_conjugate times complex) bjmcbtbjtjb : (complex_conjugate minus complex) times (complex_conjugate times complex_conjugate) bjmjbtbctcb : (complex_conjugate minus complex_conjugate) times (complex times complex) bjmjbtbctjb : (complex_conjugate minus complex_conjugate) times (complex times complex_conjugate) bjmjbtbjtcb : (complex_conjugate minus complex_conjugate) times (complex_conjugate times complex) bjmjbtbjtjb : (complex_conjugate minus complex_conjugate) times (complex_conjugate times complex_conjugate)

times divide times

bctcbdbctcb : (complex times complex) divide (complex times complex) bctcbdbctjb : (complex times complex) divide (complex times complex_conjugate) bctcbdbjtcb : (complex times complex) divide (complex_conjugate times complex) bctcbdbjtjb : (complex times complex) divide (complex_conjugate times complex_conjugate) bctjbdbctcb : (complex times complex_conjugate) divide (complex times complex) bctjbdbctjb : (complex times complex_conjugate) divide (complex times complex_conjugate) bctjbdbjtcb : (complex times complex_conjugate) divide (complex_conjugate times complex) bctjbdbjtjb : (complex times complex_conjugate) divide (complex_conjugate times complex_conjugate) bjtcbdbctcb : (complex_conjugate times complex) divide (complex times complex) bjtcbdbctjb : (complex_conjugate times complex) divide (complex times complex_conjugate) bjtcbdbjtcb : (complex_conjugate times complex) divide (complex_conjugate times complex) bjtcbdbjtjb : (complex_conjugate times complex) divide (complex_conjugate times complex_conjugate) bjtjbdbctcb : (complex_conjugate times complex_conjugate) divide (complex times complex) bjtjbdbctjb : (complex_conjugate times complex_conjugate) divide (complex times complex_conjugate) bjtjbdbjtcb : (complex_conjugate times complex_conjugate) divide (complex_conjugate times complex) bjtjbdbjtjb : (complex_conjugate times complex_conjugate) divide (complex_conjugate times complex_conjugate)

divide divide times

bcdcbdbctcb : (complex divide complex) divide (complex times complex) bcdcbdbctjb : (complex divide complex) divide (complex times complex_conjugate) bcdcbdbjtcb : (complex divide complex) divide (complex_conjugate times complex) bcdcbdbjtjb : (complex divide complex) divide (complex_conjugate times complex_conjugate) bcdjbdbctcb : (complex divide complex_conjugate) divide (complex times complex) bcdjbdbctjb : (complex divide complex_conjugate) divide (complex times complex_conjugate) bcdjbdbjtcb : (complex divide complex_conjugate) divide (complex_conjugate times complex) bcdjbdbjtjb : (complex divide complex_conjugate) divide (complex_conjugate times complex_conjugate) bjdcbdbctcb : (complex_conjugate divide complex) divide (complex times complex) bjdcbdbctjb : (complex_conjugate divide complex) divide (complex times complex_conjugate) bjdcbdbjtcb : (complex_conjugate divide complex) divide (complex_conjugate times complex) bjdcbdbjtjb : (complex_conjugate divide complex) divide (complex_conjugate times complex_conjugate) bjdjbdbctcb : (complex_conjugate divide complex_conjugate) divide (complex times complex) bjdjbdbctjb : (complex_conjugate divide complex_conjugate) divide (complex times complex_conjugate) bjdjbdbjtcb : (complex_conjugate divide complex_conjugate) divide (complex_conjugate times complex) bjdjbdbjtjb : (complex_conjugate divide complex_conjugate) divide (complex_conjugate times complex_conjugate)

plus divide times

bcpcbdbctcb : (complex plus complex) divide (complex times complex) bcpcbdbctjb : (complex plus complex) divide (complex times complex_conjugate) bcpcbdbjtcb : (complex plus complex) divide (complex_conjugate times complex) bcpcbdbjtjb : (complex plus complex) divide (complex_conjugate times complex_conjugate) bcpjbdbctcb : (complex plus complex_conjugate) divide (complex times complex) bcpjbdbctjb : (complex plus complex_conjugate) divide (complex times complex_conjugate) bcpjbdbjtcb : (complex plus complex_conjugate) divide (complex_conjugate times complex) bcpjbdbjtjb : (complex plus complex_conjugate) divide (complex_conjugate times complex_conjugate) bjpcbdbctcb : (complex_conjugate plus complex) divide (complex times complex) bjpcbdbctjb : (complex_conjugate plus complex) divide (complex times complex_conjugate) bjpcbdbjtcb : (complex_conjugate plus complex) divide (complex_conjugate times complex) bjpcbdbjtjb : (complex_conjugate plus complex) divide (complex_conjugate times complex_conjugate) bjpjbdbctcb : (complex_conjugate plus complex_conjugate) divide (complex times complex) bjpjbdbctjb : (complex_conjugate plus complex_conjugate) divide (complex times complex_conjugate) bjpjbdbjtcb : (complex_conjugate plus complex_conjugate) divide (complex_conjugate times complex) bjpjbdbjtjb : (complex_conjugate plus complex_conjugate) divide (complex_conjugate times complex_conjugate)

minus divide times

bcmcbdbctcb : (complex minus complex) divide (complex times complex) bcmcbdbctjb : (complex minus complex) divide (complex times complex_conjugate) bcmcbdbjtcb : (complex minus complex) divide (complex_conjugate times complex) bcmcbdbjtjb : (complex minus complex) divide (complex_conjugate times complex_conjugate) bcmjbdbctcb : (complex minus complex_conjugate) divide (complex times complex) bcmjbdbctjb : (complex minus complex_conjugate) divide (complex times complex_conjugate) bcmjbdbjtcb : (complex minus complex_conjugate) divide (complex_conjugate times complex) bcmjbdbjtjb : (complex minus complex_conjugate) divide (complex_conjugate times complex_conjugate) bjmcbdbctcb : (complex_conjugate minus complex) divide (complex times complex) bjmcbdbctjb : (complex_conjugate minus complex) divide (complex times complex_conjugate) bjmcbdbjtcb : (complex_conjugate minus complex) divide (complex_conjugate times complex) bjmcbdbjtjb : (complex_conjugate minus complex) divide (complex_conjugate times complex_conjugate) bjmjbdbctcb : (complex_conjugate minus complex_conjugate) divide (complex times complex) bjmjbdbctjb : (complex_conjugate minus complex_conjugate) divide (complex times complex_conjugate) bjmjbdbjtcb : (complex_conjugate minus complex_conjugate) divide (complex_conjugate times complex) bjmjbdbjtjb : (complex_conjugate minus complex_conjugate) divide (complex_conjugate times complex_conjugate)

times plus times

bctcbpbctcb : (complex times complex) plus (complex times complex) bctcbpbctjb : (complex times complex) plus (complex times complex_conjugate) bctcbpbjtcb : (complex times complex) plus (complex_conjugate times complex) bctcbpbjtjb : (complex times complex) plus (complex_conjugate times complex_conjugate) bctjbpbctcb : (complex times complex_conjugate) plus (complex times complex) bctjbpbctjb : (complex times complex_conjugate) plus (complex times complex_conjugate) bctjbpbjtcb : (complex times complex_conjugate) plus (complex_conjugate times complex) bctjbpbjtjb : (complex times complex_conjugate) plus (complex_conjugate times complex_conjugate) bjtcbpbctcb : (complex_conjugate times complex) plus (complex times complex) bjtcbpbctjb : (complex_conjugate times complex) plus (complex times complex_conjugate) bjtcbpbjtcb : (complex_conjugate times complex) plus (complex_conjugate times complex) bjtcbpbjtjb : (complex_conjugate times complex) plus (complex_conjugate times complex_conjugate) bjtjbpbctcb : (complex_conjugate times complex_conjugate) plus (complex times complex) bjtjbpbctjb : (complex_conjugate times complex_conjugate) plus (complex times complex_conjugate) bjtjbpbjtcb : (complex_conjugate times complex_conjugate) plus (complex_conjugate times complex) bjtjbpbjtjb : (complex_conjugate times complex_conjugate) plus (complex_conjugate times complex_conjugate)

divide plus times

bcdcbpbctcb : (complex divide complex) plus (complex times complex) bcdcbpbctjb : (complex divide complex) plus (complex times complex_conjugate) bcdcbpbjtcb : (complex divide complex) plus (complex_conjugate times complex) bcdcbpbjtjb : (complex divide complex) plus (complex_conjugate times complex_conjugate) bcdjbpbctcb : (complex divide complex_conjugate) plus (complex times complex) bcdjbpbctjb : (complex divide complex_conjugate) plus (complex times complex_conjugate) bcdjbpbjtcb : (complex divide complex_conjugate) plus (complex_conjugate times complex) bcdjbpbjtjb : (complex divide complex_conjugate) plus (complex_conjugate times complex_conjugate) bjdcbpbctcb : (complex_conjugate divide complex) plus (complex times complex) bjdcbpbctjb : (complex_conjugate divide complex) plus (complex times complex_conjugate) bjdcbpbjtcb : (complex_conjugate divide complex) plus (complex_conjugate times complex) bjdcbpbjtjb : (complex_conjugate divide complex) plus (complex_conjugate times complex_conjugate) bjdjbpbctcb : (complex_conjugate divide complex_conjugate) plus (complex times complex) bjdjbpbctjb : (complex_conjugate divide complex_conjugate) plus (complex times complex_conjugate) bjdjbpbjtcb : (complex_conjugate divide complex_conjugate) plus (complex_conjugate times complex) bjdjbpbjtjb : (complex_conjugate divide complex_conjugate) plus (complex_conjugate times complex_conjugate)

plus plus times

bcpcbpbctcb : (complex plus complex) plus (complex times complex) bcpcbpbctjb : (complex plus complex) plus (complex times complex_conjugate) bcpcbpbjtcb : (complex plus complex) plus (complex_conjugate times complex) bcpcbpbjtjb : (complex plus complex) plus (complex_conjugate times complex_conjugate) bcpjbpbctcb : (complex plus complex_conjugate) plus (complex times complex) bcpjbpbctjb : (complex plus complex_conjugate) plus (complex times complex_conjugate) bcpjbpbjtcb : (complex plus complex_conjugate) plus (complex_conjugate times complex) bcpjbpbjtjb : (complex plus complex_conjugate) plus (complex_conjugate times complex_conjugate) bjpcbpbctcb : (complex_conjugate plus complex) plus (complex times complex) bjpcbpbctjb : (complex_conjugate plus complex) plus (complex times complex_conjugate) bjpcbpbjtcb : (complex_conjugate plus complex) plus (complex_conjugate times complex) bjpcbpbjtjb : (complex_conjugate plus complex) plus (complex_conjugate times complex_conjugate) bjpjbpbctcb : (complex_conjugate plus complex_conjugate) plus (complex times complex) bjpjbpbctjb : (complex_conjugate plus complex_conjugate) plus (complex times complex_conjugate) bjpjbpbjtcb : (complex_conjugate plus complex_conjugate) plus (complex_conjugate times complex) bjpjbpbjtjb : (complex_conjugate plus complex_conjugate) plus (complex_conjugate times complex_conjugate)

minus plus times

bcmcbpbctcb : (complex minus complex) plus (complex times complex) bcmcbpbctjb : (complex minus complex) plus (complex times complex_conjugate) bcmcbpbjtcb : (complex minus complex) plus (complex_conjugate times complex) bcmcbpbjtjb : (complex minus complex) plus (complex_conjugate times complex_conjugate) bcmjbpbctcb : (complex minus complex_conjugate) plus (complex times complex) bcmjbpbctjb : (complex minus complex_conjugate) plus (complex times complex_conjugate) bcmjbpbjtcb : (complex minus complex_conjugate) plus (complex_conjugate times complex) bcmjbpbjtjb : (complex minus complex_conjugate) plus (complex_conjugate times complex_conjugate) bjmcbpbctcb : (complex_conjugate minus complex) plus (complex times complex) bjmcbpbctjb : (complex_conjugate minus complex) plus (complex times complex_conjugate) bjmcbpbjtcb : (complex_conjugate minus complex) plus (complex_conjugate times complex) bjmcbpbjtjb : (complex_conjugate minus complex) plus (complex_conjugate times complex_conjugate) bjmjbpbctcb : (complex_conjugate minus complex_conjugate) plus (complex times complex) bjmjbpbctjb : (complex_conjugate minus complex_conjugate) plus (complex times complex_conjugate) bjmjbpbjtcb : (complex_conjugate minus complex_conjugate) plus (complex_conjugate times complex) bjmjbpbjtjb : (complex_conjugate minus complex_conjugate) plus (complex_conjugate times complex_conjugate)

times minus times

bctcbmbctcb : (complex times complex) minus (complex times complex) bctcbmbctjb : (complex times complex) minus (complex times complex_conjugate) bctcbmbjtcb : (complex times complex) minus (complex_conjugate times complex) bctcbmbjtjb : (complex times complex) minus (complex_conjugate times complex_conjugate) bctjbmbctcb : (complex times complex_conjugate) minus (complex times complex) bctjbmbctjb : (complex times complex_conjugate) minus (complex times complex_conjugate) bctjbmbjtcb : (complex times complex_conjugate) minus (complex_conjugate times complex) bctjbmbjtjb : (complex times complex_conjugate) minus (complex_conjugate times complex_conjugate) bjtcbmbctcb : (complex_conjugate times complex) minus (complex times complex) bjtcbmbctjb : (complex_conjugate times complex) minus (complex times complex_conjugate) bjtcbmbjtcb : (complex_conjugate times complex) minus (complex_conjugate times complex) bjtcbmbjtjb : (complex_conjugate times complex) minus (complex_conjugate times complex_conjugate) bjtjbmbctcb : (complex_conjugate times complex_conjugate) minus (complex times complex) bjtjbmbctjb : (complex_conjugate times complex_conjugate) minus (complex times complex_conjugate) bjtjbmbjtcb : (complex_conjugate times complex_conjugate) minus (complex_conjugate times complex) bjtjbmbjtjb : (complex_conjugate times complex_conjugate) minus (complex_conjugate times complex_conjugate)

divide minus times

bcdcbmbctcb : (complex divide complex) minus (complex times complex) bcdcbmbctjb : (complex divide complex) minus (complex times complex_conjugate) bcdcbmbjtcb : (complex divide complex) minus (complex_conjugate times complex) bcdcbmbjtjb : (complex divide complex) minus (complex_conjugate times complex_conjugate) bcdjbmbctcb : (complex divide complex_conjugate) minus (complex times complex) bcdjbmbctjb : (complex divide complex_conjugate) minus (complex times complex_conjugate) bcdjbmbjtcb : (complex divide complex_conjugate) minus (complex_conjugate times complex) bcdjbmbjtjb : (complex divide complex_conjugate) minus (complex_conjugate times complex_conjugate) bjdcbmbctcb : (complex_conjugate divide complex) minus (complex times complex) bjdcbmbctjb : (complex_conjugate divide complex) minus (complex times complex_conjugate) bjdcbmbjtcb : (complex_conjugate divide complex) minus (complex_conjugate times complex) bjdcbmbjtjb : (complex_conjugate divide complex) minus (complex_conjugate times complex_conjugate) bjdjbmbctcb : (complex_conjugate divide complex_conjugate) minus (complex times complex) bjdjbmbctjb : (complex_conjugate divide complex_conjugate) minus (complex times complex_conjugate) bjdjbmbjtcb : (complex_conjugate divide complex_conjugate) minus (complex_conjugate times complex) bjdjbmbjtjb : (complex_conjugate divide complex_conjugate) minus (complex_conjugate times complex_conjugate)

plus minus times

bcpcbmbctcb : (complex plus complex) minus (complex times complex) bcpcbmbctjb : (complex plus complex) minus (complex times complex_conjugate) bcpcbmbjtcb : (complex plus complex) minus (complex_conjugate times complex) bcpcbmbjtjb : (complex plus complex) minus (complex_conjugate times complex_conjugate) bcpjbmbctcb : (complex plus complex_conjugate) minus (complex times complex) bcpjbmbctjb : (complex plus complex_conjugate) minus (complex times complex_conjugate) bcpjbmbjtcb : (complex plus complex_conjugate) minus (complex_conjugate times complex) bcpjbmbjtjb : (complex plus complex_conjugate) minus (complex_conjugate times complex_conjugate) bjpcbmbctcb : (complex_conjugate plus complex) minus (complex times complex) bjpcbmbctjb : (complex_conjugate plus complex) minus (complex times complex_conjugate) bjpcbmbjtcb : (complex_conjugate plus complex) minus (complex_conjugate times complex) bjpcbmbjtjb : (complex_conjugate plus complex) minus (complex_conjugate times complex_conjugate) bjpjbmbctcb : (complex_conjugate plus complex_conjugate) minus (complex times complex) bjpjbmbctjb : (complex_conjugate plus complex_conjugate) minus (complex times complex_conjugate) bjpjbmbjtcb : (complex_conjugate plus complex_conjugate) minus (complex_conjugate times complex) bjpjbmbjtjb : (complex_conjugate plus complex_conjugate) minus (complex_conjugate times complex_conjugate)

minus minus times

bcmcbmbctcb : (complex minus complex) minus (complex times complex) bcmcbmbctjb : (complex minus complex) minus (complex times complex_conjugate) bcmcbmbjtcb : (complex minus complex) minus (complex_conjugate times complex) bcmcbmbjtjb : (complex minus complex) minus (complex_conjugate times complex_conjugate) bcmjbmbctcb : (complex minus complex_conjugate) minus (complex times complex) bcmjbmbctjb : (complex minus complex_conjugate) minus (complex times complex_conjugate) bcmjbmbjtcb : (complex minus complex_conjugate) minus (complex_conjugate times complex) bcmjbmbjtjb : (complex minus complex_conjugate) minus (complex_conjugate times complex_conjugate) bjmcbmbctcb : (complex_conjugate minus complex) minus (complex times complex) bjmcbmbctjb : (complex_conjugate minus complex) minus (complex times complex_conjugate) bjmcbmbjtcb : (complex_conjugate minus complex) minus (complex_conjugate times complex) bjmcbmbjtjb : (complex_conjugate minus complex) minus (complex_conjugate times complex_conjugate) bjmjbmbctcb : (complex_conjugate minus complex_conjugate) minus (complex times complex) bjmjbmbctjb : (complex_conjugate minus complex_conjugate) minus (complex times complex_conjugate) bjmjbmbjtcb : (complex_conjugate minus complex_conjugate) minus (complex_conjugate times complex) bjmjbmbjtjb : (complex_conjugate minus complex_conjugate) minus (complex_conjugate times complex_conjugate)

times times divide

bctcbtbcdcb : (complex times complex) times (complex divide complex) bctcbtbcdjb : (complex times complex) times (complex divide complex_conjugate) bctcbtbjdcb : (complex times complex) times (complex_conjugate divide complex) bctcbtbjdjb : (complex times complex) times (complex_conjugate divide complex_conjugate) bctjbtbcdcb : (complex times complex_conjugate) times (complex divide complex) bctjbtbcdjb : (complex times complex_conjugate) times (complex divide complex_conjugate) bctjbtbjdcb : (complex times complex_conjugate) times (complex_conjugate divide complex) bctjbtbjdjb : (complex times complex_conjugate) times (complex_conjugate divide complex_conjugate) bjtcbtbcdcb : (complex_conjugate times complex) times (complex divide complex) bjtcbtbcdjb : (complex_conjugate times complex) times (complex divide complex_conjugate) bjtcbtbjdcb : (complex_conjugate times complex) times (complex_conjugate divide complex) bjtcbtbjdjb : (complex_conjugate times complex) times (complex_conjugate divide complex_conjugate) bjtjbtbcdcb : (complex_conjugate times complex_conjugate) times (complex divide complex) bjtjbtbcdjb : (complex_conjugate times complex_conjugate) times (complex divide complex_conjugate) bjtjbtbjdcb : (complex_conjugate times complex_conjugate) times (complex_conjugate divide complex) bjtjbtbjdjb : (complex_conjugate times complex_conjugate) times (complex_conjugate divide complex_conjugate)

divide times divide

bcdcbtbcdcb : (complex divide complex) times (complex divide complex) bcdcbtbcdjb : (complex divide complex) times (complex divide complex_conjugate) bcdcbtbjdcb : (complex divide complex) times (complex_conjugate divide complex) bcdcbtbjdjb : (complex divide complex) times (complex_conjugate divide complex_conjugate) bcdjbtbcdcb : (complex divide complex_conjugate) times (complex divide complex) bcdjbtbcdjb : (complex divide complex_conjugate) times (complex divide complex_conjugate) bcdjbtbjdcb : (complex divide complex_conjugate) times (complex_conjugate divide complex) bcdjbtbjdjb : (complex divide complex_conjugate) times (complex_conjugate divide complex_conjugate) bjdcbtbcdcb : (complex_conjugate divide complex) times (complex divide complex) bjdcbtbcdjb : (complex_conjugate divide complex) times (complex divide complex_conjugate) bjdcbtbjdcb : (complex_conjugate divide complex) times (complex_conjugate divide complex) bjdcbtbjdjb : (complex_conjugate divide complex) times (complex_conjugate divide complex_conjugate) bjdjbtbcdcb : (complex_conjugate divide complex_conjugate) times (complex divide complex) bjdjbtbcdjb : (complex_conjugate divide complex_conjugate) times (complex divide complex_conjugate) bjdjbtbjdcb : (complex_conjugate divide complex_conjugate) times (complex_conjugate divide complex) bjdjbtbjdjb : (complex_conjugate divide complex_conjugate) times (complex_conjugate divide complex_conjugate)

plus times divide

bcpcbtbcdcb : (complex plus complex) times (complex divide complex) bcpcbtbcdjb : (complex plus complex) times (complex divide complex_conjugate) bcpcbtbjdcb : (complex plus complex) times (complex_conjugate divide complex) bcpcbtbjdjb : (complex plus complex) times (complex_conjugate divide complex_conjugate) bcpjbtbcdcb : (complex plus complex_conjugate) times (complex divide complex) bcpjbtbcdjb : (complex plus complex_conjugate) times (complex divide complex_conjugate) bcpjbtbjdcb : (complex plus complex_conjugate) times (complex_conjugate divide complex) bcpjbtbjdjb : (complex plus complex_conjugate) times (complex_conjugate divide complex_conjugate) bjpcbtbcdcb : (complex_conjugate plus complex) times (complex divide complex) bjpcbtbcdjb : (complex_conjugate plus complex) times (complex divide complex_conjugate) bjpcbtbjdcb : (complex_conjugate plus complex) times (complex_conjugate divide complex) bjpcbtbjdjb : (complex_conjugate plus complex) times (complex_conjugate divide complex_conjugate) bjpjbtbcdcb : (complex_conjugate plus complex_conjugate) times (complex divide complex) bjpjbtbcdjb : (complex_conjugate plus complex_conjugate) times (complex divide complex_conjugate) bjpjbtbjdcb : (complex_conjugate plus complex_conjugate) times (complex_conjugate divide complex) bjpjbtbjdjb : (complex_conjugate plus complex_conjugate) times (complex_conjugate divide complex_conjugate)

minus times divide

bcmcbtbcdcb : (complex minus complex) times (complex divide complex) bcmcbtbcdjb : (complex minus complex) times (complex divide complex_conjugate) bcmcbtbjdcb : (complex minus complex) times (complex_conjugate divide complex) bcmcbtbjdjb : (complex minus complex) times (complex_conjugate divide complex_conjugate) bcmjbtbcdcb : (complex minus complex_conjugate) times (complex divide complex) bcmjbtbcdjb : (complex minus complex_conjugate) times (complex divide complex_conjugate) bcmjbtbjdcb : (complex minus complex_conjugate) times (complex_conjugate divide complex) bcmjbtbjdjb : (complex minus complex_conjugate) times (complex_conjugate divide complex_conjugate) bjmcbtbcdcb : (complex_conjugate minus complex) times (complex divide complex) bjmcbtbcdjb : (complex_conjugate minus complex) times (complex divide complex_conjugate) bjmcbtbjdcb : (complex_conjugate minus complex) times (complex_conjugate divide complex) bjmcbtbjdjb : (complex_conjugate minus complex) times (complex_conjugate divide complex_conjugate) bjmjbtbcdcb : (complex_conjugate minus complex_conjugate) times (complex divide complex) bjmjbtbcdjb : (complex_conjugate minus complex_conjugate) times (complex divide complex_conjugate) bjmjbtbjdcb : (complex_conjugate minus complex_conjugate) times (complex_conjugate divide complex) bjmjbtbjdjb : (complex_conjugate minus complex_conjugate) times (complex_conjugate divide complex_conjugate)

times divide divide

bctcbdbcdcb : (complex times complex) divide (complex divide complex) bctcbdbcdjb : (complex times complex) divide (complex divide complex_conjugate) bctcbdbjdcb : (complex times complex) divide (complex_conjugate divide complex) bctcbdbjdjb : (complex times complex) divide (complex_conjugate divide complex_conjugate) bctjbdbcdcb : (complex times complex_conjugate) divide (complex divide complex) bctjbdbcdjb : (complex times complex_conjugate) divide (complex divide complex_conjugate) bctjbdbjdcb : (complex times complex_conjugate) divide (complex_conjugate divide complex) bctjbdbjdjb : (complex times complex_conjugate) divide (complex_conjugate divide complex_conjugate) bjtcbdbcdcb : (complex_conjugate times complex) divide (complex divide complex) bjtcbdbcdjb : (complex_conjugate times complex) divide (complex divide complex_conjugate) bjtcbdbjdcb : (complex_conjugate times complex) divide (complex_conjugate divide complex) bjtcbdbjdjb : (complex_conjugate times complex) divide (complex_conjugate divide complex_conjugate) bjtjbdbcdcb : (complex_conjugate times complex_conjugate) divide (complex divide complex) bjtjbdbcdjb : (complex_conjugate times complex_conjugate) divide (complex divide complex_conjugate) bjtjbdbjdcb : (complex_conjugate times complex_conjugate) divide (complex_conjugate divide complex) bjtjbdbjdjb : (complex_conjugate times complex_conjugate) divide (complex_conjugate divide complex_conjugate)

divide divide divide

bcdcbdbcdcb : (complex divide complex) divide (complex divide complex) bcdcbdbcdjb : (complex divide complex) divide (complex divide complex_conjugate) bcdcbdbjdcb : (complex divide complex) divide (complex_conjugate divide complex) bcdcbdbjdjb : (complex divide complex) divide (complex_conjugate divide complex_conjugate) bcdjbdbcdcb : (complex divide complex_conjugate) divide (complex divide complex) bcdjbdbcdjb : (complex divide complex_conjugate) divide (complex divide complex_conjugate) bcdjbdbjdcb : (complex divide complex_conjugate) divide (complex_conjugate divide complex) bcdjbdbjdjb : (complex divide complex_conjugate) divide (complex_conjugate divide complex_conjugate) bjdcbdbcdcb : (complex_conjugate divide complex) divide (complex divide complex) bjdcbdbcdjb : (complex_conjugate divide complex) divide (complex divide complex_conjugate) bjdcbdbjdcb : (complex_conjugate divide complex) divide (complex_conjugate divide complex) bjdcbdbjdjb : (complex_conjugate divide complex) divide (complex_conjugate divide complex_conjugate) bjdjbdbcdcb : (complex_conjugate divide complex_conjugate) divide (complex divide complex) bjdjbdbcdjb : (complex_conjugate divide complex_conjugate) divide (complex divide complex_conjugate) bjdjbdbjdcb : (complex_conjugate divide complex_conjugate) divide (complex_conjugate divide complex) bjdjbdbjdjb : (complex_conjugate divide complex_conjugate) divide (complex_conjugate divide complex_conjugate)

plus divide divide

bcpcbdbcdcb : (complex plus complex) divide (complex divide complex) bcpcbdbcdjb : (complex plus complex) divide (complex divide complex_conjugate) bcpcbdbjdcb : (complex plus complex) divide (complex_conjugate divide complex) bcpcbdbjdjb : (complex plus complex) divide (complex_conjugate divide complex_conjugate) bcpjbdbcdcb : (complex plus complex_conjugate) divide (complex divide complex) bcpjbdbcdjb : (complex plus complex_conjugate) divide (complex divide complex_conjugate) bcpjbdbjdcb : (complex plus complex_conjugate) divide (complex_conjugate divide complex) bcpjbdbjdjb : (complex plus complex_conjugate) divide (complex_conjugate divide complex_conjugate) bjpcbdbcdcb : (complex_conjugate plus complex) divide (complex divide complex) bjpcbdbcdjb : (complex_conjugate plus complex) divide (complex divide complex_conjugate) bjpcbdbjdcb : (complex_conjugate plus complex) divide (complex_conjugate divide complex) bjpcbdbjdjb : (complex_conjugate plus complex) divide (complex_conjugate divide complex_conjugate) bjpjbdbcdcb : (complex_conjugate plus complex_conjugate) divide (complex divide complex) bjpjbdbcdjb : (complex_conjugate plus complex_conjugate) divide (complex divide complex_conjugate) bjpjbdbjdcb : (complex_conjugate plus complex_conjugate) divide (complex_conjugate divide complex) bjpjbdbjdjb : (complex_conjugate plus complex_conjugate) divide (complex_conjugate divide complex_conjugate)

minus divide divide

bcmcbdbcdcb : (complex minus complex) divide (complex divide complex) bcmcbdbcdjb : (complex minus complex) divide (complex divide complex_conjugate) bcmcbdbjdcb : (complex minus complex) divide (complex_conjugate divide complex) bcmcbdbjdjb : (complex minus complex) divide (complex_conjugate divide complex_conjugate) bcmjbdbcdcb : (complex minus complex_conjugate) divide (complex divide complex) bcmjbdbcdjb : (complex minus complex_conjugate) divide (complex divide complex_conjugate) bcmjbdbjdcb : (complex minus complex_conjugate) divide (complex_conjugate divide complex) bcmjbdbjdjb : (complex minus complex_conjugate) divide (complex_conjugate divide complex_conjugate) bjmcbdbcdcb : (complex_conjugate minus complex) divide (complex divide complex) bjmcbdbcdjb : (complex_conjugate minus complex) divide (complex divide complex_conjugate) bjmcbdbjdcb : (complex_conjugate minus complex) divide (complex_conjugate divide complex) bjmcbdbjdjb : (complex_conjugate minus complex) divide (complex_conjugate divide complex_conjugate) bjmjbdbcdcb : (complex_conjugate minus complex_conjugate) divide (complex divide complex) bjmjbdbcdjb : (complex_conjugate minus complex_conjugate) divide (complex divide complex_conjugate) bjmjbdbjdcb : (complex_conjugate minus complex_conjugate) divide (complex_conjugate divide complex) bjmjbdbjdjb : (complex_conjugate minus complex_conjugate) divide (complex_conjugate divide complex_conjugate)

times plus divide

bctcbpbcdcb : (complex times complex) plus (complex divide complex) bctcbpbcdjb : (complex times complex) plus (complex divide complex_conjugate) bctcbpbjdcb : (complex times complex) plus (complex_conjugate divide complex) bctcbpbjdjb : (complex times complex) plus (complex_conjugate divide complex_conjugate) bctjbpbcdcb : (complex times complex_conjugate) plus (complex divide complex) bctjbpbcdjb : (complex times complex_conjugate) plus (complex divide complex_conjugate) bctjbpbjdcb : (complex times complex_conjugate) plus (complex_conjugate divide complex) bctjbpbjdjb : (complex times complex_conjugate) plus (complex_conjugate divide complex_conjugate) bjtcbpbcdcb : (complex_conjugate times complex) plus (complex divide complex) bjtcbpbcdjb : (complex_conjugate times complex) plus (complex divide complex_conjugate) bjtcbpbjdcb : (complex_conjugate times complex) plus (complex_conjugate divide complex) bjtcbpbjdjb : (complex_conjugate times complex) plus (complex_conjugate divide complex_conjugate) bjtjbpbcdcb : (complex_conjugate times complex_conjugate) plus (complex divide complex) bjtjbpbcdjb : (complex_conjugate times complex_conjugate) plus (complex divide complex_conjugate) bjtjbpbjdcb : (complex_conjugate times complex_conjugate) plus (complex_conjugate divide complex) bjtjbpbjdjb : (complex_conjugate times complex_conjugate) plus (complex_conjugate divide complex_conjugate)

divide plus divide

bcdcbpbcdcb : (complex divide complex) plus (complex divide complex) bcdcbpbcdjb : (complex divide complex) plus (complex divide complex_conjugate) bcdcbpbjdcb : (complex divide complex) plus (complex_conjugate divide complex) bcdcbpbjdjb : (complex divide complex) plus (complex_conjugate divide complex_conjugate) bcdjbpbcdcb : (complex divide complex_conjugate) plus (complex divide complex) bcdjbpbcdjb : (complex divide complex_conjugate) plus (complex divide complex_conjugate) bcdjbpbjdcb : (complex divide complex_conjugate) plus (complex_conjugate divide complex) bcdjbpbjdjb : (complex divide complex_conjugate) plus (complex_conjugate divide complex_conjugate) bjdcbpbcdcb : (complex_conjugate divide complex) plus (complex divide complex) bjdcbpbcdjb : (complex_conjugate divide complex) plus (complex divide complex_conjugate) bjdcbpbjdcb : (complex_conjugate divide complex) plus (complex_conjugate divide complex) bjdcbpbjdjb : (complex_conjugate divide complex) plus (complex_conjugate divide complex_conjugate) bjdjbpbcdcb : (complex_conjugate divide complex_conjugate) plus (complex divide complex) bjdjbpbcdjb : (complex_conjugate divide complex_conjugate) plus (complex divide complex_conjugate) bjdjbpbjdcb : (complex_conjugate divide complex_conjugate) plus (complex_conjugate divide complex) bjdjbpbjdjb : (complex_conjugate divide complex_conjugate) plus (complex_conjugate divide complex_conjugate)

plus plus divide

bcpcbpbcdcb : (complex plus complex) plus (complex divide complex) bcpcbpbcdjb : (complex plus complex) plus (complex divide complex_conjugate) bcpcbpbjdcb : (complex plus complex) plus (complex_conjugate divide complex) bcpcbpbjdjb : (complex plus complex) plus (complex_conjugate divide complex_conjugate) bcpjbpbcdcb : (complex plus complex_conjugate) plus (complex divide complex) bcpjbpbcdjb : (complex plus complex_conjugate) plus (complex divide complex_conjugate) bcpjbpbjdcb : (complex plus complex_conjugate) plus (complex_conjugate divide complex) bcpjbpbjdjb : (complex plus complex_conjugate) plus (complex_conjugate divide complex_conjugate) bjpcbpbcdcb : (complex_conjugate plus complex) plus (complex divide complex) bjpcbpbcdjb : (complex_conjugate plus complex) plus (complex divide complex_conjugate) bjpcbpbjdcb : (complex_conjugate plus complex) plus (complex_conjugate divide complex) bjpcbpbjdjb : (complex_conjugate plus complex) plus (complex_conjugate divide complex_conjugate) bjpjbpbcdcb : (complex_conjugate plus complex_conjugate) plus (complex divide complex) bjpjbpbcdjb : (complex_conjugate plus complex_conjugate) plus (complex divide complex_conjugate) bjpjbpbjdcb : (complex_conjugate plus complex_conjugate) plus (complex_conjugate divide complex) bjpjbpbjdjb : (complex_conjugate plus complex_conjugate) plus (complex_conjugate divide complex_conjugate)

minus plus divide

bcmcbpbcdcb : (complex minus complex) plus (complex divide complex) bcmcbpbcdjb : (complex minus complex) plus (complex divide complex_conjugate) bcmcbpbjdcb : (complex minus complex) plus (complex_conjugate divide complex) bcmcbpbjdjb : (complex minus complex) plus (complex_conjugate divide complex_conjugate) bcmjbpbcdcb : (complex minus complex_conjugate) plus (complex divide complex) bcmjbpbcdjb : (complex minus complex_conjugate) plus (complex divide complex_conjugate) bcmjbpbjdcb : (complex minus complex_conjugate) plus (complex_conjugate divide complex) bcmjbpbjdjb : (complex minus complex_conjugate) plus (complex_conjugate divide complex_conjugate) bjmcbpbcdcb : (complex_conjugate minus complex) plus (complex divide complex) bjmcbpbcdjb : (complex_conjugate minus complex) plus (complex divide complex_conjugate) bjmcbpbjdcb : (complex_conjugate minus complex) plus (complex_conjugate divide complex) bjmcbpbjdjb : (complex_conjugate minus complex) plus (complex_conjugate divide complex_conjugate) bjmjbpbcdcb : (complex_conjugate minus complex_conjugate) plus (complex divide complex) bjmjbpbcdjb : (complex_conjugate minus complex_conjugate) plus (complex divide complex_conjugate) bjmjbpbjdcb : (complex_conjugate minus complex_conjugate) plus (complex_conjugate divide complex) bjmjbpbjdjb : (complex_conjugate minus complex_conjugate) plus (complex_conjugate divide complex_conjugate)

times minus divide

bctcbmbcdcb : (complex times complex) minus (complex divide complex) bctcbmbcdjb : (complex times complex) minus (complex divide complex_conjugate) bctcbmbjdcb : (complex times complex) minus (complex_conjugate divide complex) bctcbmbjdjb : (complex times complex) minus (complex_conjugate divide complex_conjugate) bctjbmbcdcb : (complex times complex_conjugate) minus (complex divide complex) bctjbmbcdjb : (complex times complex_conjugate) minus (complex divide complex_conjugate) bctjbmbjdcb : (complex times complex_conjugate) minus (complex_conjugate divide complex) bctjbmbjdjb : (complex times complex_conjugate) minus (complex_conjugate divide complex_conjugate) bjtcbmbcdcb : (complex_conjugate times complex) minus (complex divide complex) bjtcbmbcdjb : (complex_conjugate times complex) minus (complex divide complex_conjugate) bjtcbmbjdcb : (complex_conjugate times complex) minus (complex_conjugate divide complex) bjtcbmbjdjb : (complex_conjugate times complex) minus (complex_conjugate divide complex_conjugate) bjtjbmbcdcb : (complex_conjugate times complex_conjugate) minus (complex divide complex) bjtjbmbcdjb : (complex_conjugate times complex_conjugate) minus (complex divide complex_conjugate) bjtjbmbjdcb : (complex_conjugate times complex_conjugate) minus (complex_conjugate divide complex) bjtjbmbjdjb : (complex_conjugate times complex_conjugate) minus (complex_conjugate divide complex_conjugate)

divide minus divide

bcdcbmbcdcb : (complex divide complex) minus (complex divide complex) bcdcbmbcdjb : (complex divide complex) minus (complex divide complex_conjugate) bcdcbmbjdcb : (complex divide complex) minus (complex_conjugate divide complex) bcdcbmbjdjb : (complex divide complex) minus (complex_conjugate divide complex_conjugate) bcdjbmbcdcb : (complex divide complex_conjugate) minus (complex divide complex) bcdjbmbcdjb : (complex divide complex_conjugate) minus (complex divide complex_conjugate) bcdjbmbjdcb : (complex divide complex_conjugate) minus (complex_conjugate divide complex) bcdjbmbjdjb : (complex divide complex_conjugate) minus (complex_conjugate divide complex_conjugate) bjdcbmbcdcb : (complex_conjugate divide complex) minus (complex divide complex) bjdcbmbcdjb : (complex_conjugate divide complex) minus (complex divide complex_conjugate) bjdcbmbjdcb : (complex_conjugate divide complex) minus (complex_conjugate divide complex) bjdcbmbjdjb : (complex_conjugate divide complex) minus (complex_conjugate divide complex_conjugate) bjdjbmbcdcb : (complex_conjugate divide complex_conjugate) minus (complex divide complex) bjdjbmbcdjb : (complex_conjugate divide complex_conjugate) minus (complex divide complex_conjugate) bjdjbmbjdcb : (complex_conjugate divide complex_conjugate) minus (complex_conjugate divide complex) bjdjbmbjdjb : (complex_conjugate divide complex_conjugate) minus (complex_conjugate divide complex_conjugate)

plus minus divide

bcpcbmbcdcb : (complex plus complex) minus (complex divide complex) bcpcbmbcdjb : (complex plus complex) minus (complex divide complex_conjugate) bcpcbmbjdcb : (complex plus complex) minus (complex_conjugate divide complex) bcpcbmbjdjb : (complex plus complex) minus (complex_conjugate divide complex_conjugate) bcpjbmbcdcb : (complex plus complex_conjugate) minus (complex divide complex) bcpjbmbcdjb : (complex plus complex_conjugate) minus (complex divide complex_conjugate) bcpjbmbjdcb : (complex plus complex_conjugate) minus (complex_conjugate divide complex) bcpjbmbjdjb : (complex plus complex_conjugate) minus (complex_conjugate divide complex_conjugate) bjpcbmbcdcb : (complex_conjugate plus complex) minus (complex divide complex) bjpcbmbcdjb : (complex_conjugate plus complex) minus (complex divide complex_conjugate) bjpcbmbjdcb : (complex_conjugate plus complex) minus (complex_conjugate divide complex) bjpcbmbjdjb : (complex_conjugate plus complex) minus (complex_conjugate divide complex_conjugate) bjpjbmbcdcb : (complex_conjugate plus complex_conjugate) minus (complex divide complex) bjpjbmbcdjb : (complex_conjugate plus complex_conjugate) minus (complex divide complex_conjugate) bjpjbmbjdcb : (complex_conjugate plus complex_conjugate) minus (complex_conjugate divide complex) bjpjbmbjdjb : (complex_conjugate plus complex_conjugate) minus (complex_conjugate divide complex_conjugate)

minus minus divide

bcmcbmbcdcb : (complex minus complex) minus (complex divide complex) bcmcbmbcdjb : (complex minus complex) minus (complex divide complex_conjugate) bcmcbmbjdcb : (complex minus complex) minus (complex_conjugate divide complex) bcmcbmbjdjb : (complex minus complex) minus (complex_conjugate divide complex_conjugate) bcmjbmbcdcb : (complex minus complex_conjugate) minus (complex divide complex) bcmjbmbcdjb : (complex minus complex_conjugate) minus (complex divide complex_conjugate) bcmjbmbjdcb : (complex minus complex_conjugate) minus (complex_conjugate divide complex) bcmjbmbjdjb : (complex minus complex_conjugate) minus (complex_conjugate divide complex_conjugate) bjmcbmbcdcb : (complex_conjugate minus complex) minus (complex divide complex) bjmcbmbcdjb : (complex_conjugate minus complex) minus (complex divide complex_conjugate) bjmcbmbjdcb : (complex_conjugate minus complex) minus (complex_conjugate divide complex) bjmcbmbjdjb : (complex_conjugate minus complex) minus (complex_conjugate divide complex_conjugate) bjmjbmbcdcb : (complex_conjugate minus complex_conjugate) minus (complex divide complex) bjmjbmbcdjb : (complex_conjugate minus complex_conjugate) minus (complex divide complex_conjugate) bjmjbmbjdcb : (complex_conjugate minus complex_conjugate) minus (complex_conjugate divide complex) bjmjbmbjdjb : (complex_conjugate minus complex_conjugate) minus (complex_conjugate divide complex_conjugate)

times times plus

bctcbtbcpcb : (complex times complex) times (complex plus complex) bctcbtbcpjb : (complex times complex) times (complex plus complex_conjugate) bctcbtbjpcb : (complex times complex) times (complex_conjugate plus complex) bctcbtbjpjb : (complex times complex) times (complex_conjugate plus complex_conjugate) bctjbtbcpcb : (complex times complex_conjugate) times (complex plus complex) bctjbtbcpjb : (complex times complex_conjugate) times (complex plus complex_conjugate) bctjbtbjpcb : (complex times complex_conjugate) times (complex_conjugate plus complex) bctjbtbjpjb : (complex times complex_conjugate) times (complex_conjugate plus complex_conjugate) bjtcbtbcpcb : (complex_conjugate times complex) times (complex plus complex) bjtcbtbcpjb : (complex_conjugate times complex) times (complex plus complex_conjugate) bjtcbtbjpcb : (complex_conjugate times complex) times (complex_conjugate plus complex) bjtcbtbjpjb : (complex_conjugate times complex) times (complex_conjugate plus complex_conjugate) bjtjbtbcpcb : (complex_conjugate times complex_conjugate) times (complex plus complex) bjtjbtbcpjb : (complex_conjugate times complex_conjugate) times (complex plus complex_conjugate) bjtjbtbjpcb : (complex_conjugate times complex_conjugate) times (complex_conjugate plus complex) bjtjbtbjpjb : (complex_conjugate times complex_conjugate) times (complex_conjugate plus complex_conjugate)

divide times plus

bcdcbtbcpcb : (complex divide complex) times (complex plus complex) bcdcbtbcpjb : (complex divide complex) times (complex plus complex_conjugate) bcdcbtbjpcb : (complex divide complex) times (complex_conjugate plus complex) bcdcbtbjpjb : (complex divide complex) times (complex_conjugate plus complex_conjugate) bcdjbtbcpcb : (complex divide complex_conjugate) times (complex plus complex) bcdjbtbcpjb : (complex divide complex_conjugate) times (complex plus complex_conjugate) bcdjbtbjpcb : (complex divide complex_conjugate) times (complex_conjugate plus complex) bcdjbtbjpjb : (complex divide complex_conjugate) times (complex_conjugate plus complex_conjugate) bjdcbtbcpcb : (complex_conjugate divide complex) times (complex plus complex) bjdcbtbcpjb : (complex_conjugate divide complex) times (complex plus complex_conjugate) bjdcbtbjpcb : (complex_conjugate divide complex) times (complex_conjugate plus complex) bjdcbtbjpjb : (complex_conjugate divide complex) times (complex_conjugate plus complex_conjugate) bjdjbtbcpcb : (complex_conjugate divide complex_conjugate) times (complex plus complex) bjdjbtbcpjb : (complex_conjugate divide complex_conjugate) times (complex plus complex_conjugate) bjdjbtbjpcb : (complex_conjugate divide complex_conjugate) times (complex_conjugate plus complex) bjdjbtbjpjb : (complex_conjugate divide complex_conjugate) times (complex_conjugate plus complex_conjugate)

plus times plus

bcpcbtbcpcb : (complex plus complex) times (complex plus complex) bcpcbtbcpjb : (complex plus complex) times (complex plus complex_conjugate) bcpcbtbjpcb : (complex plus complex) times (complex_conjugate plus complex) bcpcbtbjpjb : (complex plus complex) times (complex_conjugate plus complex_conjugate) bcpjbtbcpcb : (complex plus complex_conjugate) times (complex plus complex) bcpjbtbcpjb : (complex plus complex_conjugate) times (complex plus complex_conjugate) bcpjbtbjpcb : (complex plus complex_conjugate) times (complex_conjugate plus complex) bcpjbtbjpjb : (complex plus complex_conjugate) times (complex_conjugate plus complex_conjugate) bjpcbtbcpcb : (complex_conjugate plus complex) times (complex plus complex) bjpcbtbcpjb : (complex_conjugate plus complex) times (complex plus complex_conjugate) bjpcbtbjpcb : (complex_conjugate plus complex) times (complex_conjugate plus complex) bjpcbtbjpjb : (complex_conjugate plus complex) times (complex_conjugate plus complex_conjugate) bjpjbtbcpcb : (complex_conjugate plus complex_conjugate) times (complex plus complex) bjpjbtbcpjb : (complex_conjugate plus complex_conjugate) times (complex plus complex_conjugate) bjpjbtbjpcb : (complex_conjugate plus complex_conjugate) times (complex_conjugate plus complex) bjpjbtbjpjb : (complex_conjugate plus complex_conjugate) times (complex_conjugate plus complex_conjugate)

minus times plus

bcmcbtbcpcb : (complex minus complex) times (complex plus complex) bcmcbtbcpjb : (complex minus complex) times (complex plus complex_conjugate) bcmcbtbjpcb : (complex minus complex) times (complex_conjugate plus complex) bcmcbtbjpjb : (complex minus complex) times (complex_conjugate plus complex_conjugate) bcmjbtbcpcb : (complex minus complex_conjugate) times (complex plus complex) bcmjbtbcpjb : (complex minus complex_conjugate) times (complex plus complex_conjugate) bcmjbtbjpcb : (complex minus complex_conjugate) times (complex_conjugate plus complex) bcmjbtbjpjb : (complex minus complex_conjugate) times (complex_conjugate plus complex_conjugate) bjmcbtbcpcb : (complex_conjugate minus complex) times (complex plus complex) bjmcbtbcpjb : (complex_conjugate minus complex) times (complex plus complex_conjugate) bjmcbtbjpcb : (complex_conjugate minus complex) times (complex_conjugate plus complex) bjmcbtbjpjb : (complex_conjugate minus complex) times (complex_conjugate plus complex_conjugate) bjmjbtbcpcb : (complex_conjugate minus complex_conjugate) times (complex plus complex) bjmjbtbcpjb : (complex_conjugate minus complex_conjugate) times (complex plus complex_conjugate) bjmjbtbjpcb : (complex_conjugate minus complex_conjugate) times (complex_conjugate plus complex) bjmjbtbjpjb : (complex_conjugate minus complex_conjugate) times (complex_conjugate plus complex_conjugate)

times divide plus

bctcbdbcpcb : (complex times complex) divide (complex plus complex) bctcbdbcpjb : (complex times complex) divide (complex plus complex_conjugate) bctcbdbjpcb : (complex times complex) divide (complex_conjugate plus complex) bctcbdbjpjb : (complex times complex) divide (complex_conjugate plus complex_conjugate) bctjbdbcpcb : (complex times complex_conjugate) divide (complex plus complex) bctjbdbcpjb : (complex times complex_conjugate) divide (complex plus complex_conjugate) bctjbdbjpcb : (complex times complex_conjugate) divide (complex_conjugate plus complex) bctjbdbjpjb : (complex times complex_conjugate) divide (complex_conjugate plus complex_conjugate) bjtcbdbcpcb : (complex_conjugate times complex) divide (complex plus complex) bjtcbdbcpjb : (complex_conjugate times complex) divide (complex plus complex_conjugate) bjtcbdbjpcb : (complex_conjugate times complex) divide (complex_conjugate plus complex) bjtcbdbjpjb : (complex_conjugate times complex) divide (complex_conjugate plus complex_conjugate) bjtjbdbcpcb : (complex_conjugate times complex_conjugate) divide (complex plus complex) bjtjbdbcpjb : (complex_conjugate times complex_conjugate) divide (complex plus complex_conjugate) bjtjbdbjpcb : (complex_conjugate times complex_conjugate) divide (complex_conjugate plus complex) bjtjbdbjpjb : (complex_conjugate times complex_conjugate) divide (complex_conjugate plus complex_conjugate)

divide divide plus

bcdcbdbcpcb : (complex divide complex) divide (complex plus complex) bcdcbdbcpjb : (complex divide complex) divide (complex plus complex_conjugate) bcdcbdbjpcb : (complex divide complex) divide (complex_conjugate plus complex) bcdcbdbjpjb : (complex divide complex) divide (complex_conjugate plus complex_conjugate) bcdjbdbcpcb : (complex divide complex_conjugate) divide (complex plus complex) bcdjbdbcpjb : (complex divide complex_conjugate) divide (complex plus complex_conjugate) bcdjbdbjpcb : (complex divide complex_conjugate) divide (complex_conjugate plus complex) bcdjbdbjpjb : (complex divide complex_conjugate) divide (complex_conjugate plus complex_conjugate) bjdcbdbcpcb : (complex_conjugate divide complex) divide (complex plus complex) bjdcbdbcpjb : (complex_conjugate divide complex) divide (complex plus complex_conjugate) bjdcbdbjpcb : (complex_conjugate divide complex) divide (complex_conjugate plus complex) bjdcbdbjpjb : (complex_conjugate divide complex) divide (complex_conjugate plus complex_conjugate) bjdjbdbcpcb : (complex_conjugate divide complex_conjugate) divide (complex plus complex) bjdjbdbcpjb : (complex_conjugate divide complex_conjugate) divide (complex plus complex_conjugate) bjdjbdbjpcb : (complex_conjugate divide complex_conjugate) divide (complex_conjugate plus complex) bjdjbdbjpjb : (complex_conjugate divide complex_conjugate) divide (complex_conjugate plus complex_conjugate)

plus divide plus

bcpcbdbcpcb : (complex plus complex) divide (complex plus complex) bcpcbdbcpjb : (complex plus complex) divide (complex plus complex_conjugate) bcpcbdbjpcb : (complex plus complex) divide (complex_conjugate plus complex) bcpcbdbjpjb : (complex plus complex) divide (complex_conjugate plus complex_conjugate) bcpjbdbcpcb : (complex plus complex_conjugate) divide (complex plus complex) bcpjbdbcpjb : (complex plus complex_conjugate) divide (complex plus complex_conjugate) bcpjbdbjpcb : (complex plus complex_conjugate) divide (complex_conjugate plus complex) bcpjbdbjpjb : (complex plus complex_conjugate) divide (complex_conjugate plus complex_conjugate) bjpcbdbcpcb : (complex_conjugate plus complex) divide (complex plus complex) bjpcbdbcpjb : (complex_conjugate plus complex) divide (complex plus complex_conjugate) bjpcbdbjpcb : (complex_conjugate plus complex) divide (complex_conjugate plus complex) bjpcbdbjpjb : (complex_conjugate plus complex) divide (complex_conjugate plus complex_conjugate) bjpjbdbcpcb : (complex_conjugate plus complex_conjugate) divide (complex plus complex) bjpjbdbcpjb : (complex_conjugate plus complex_conjugate) divide (complex plus complex_conjugate) bjpjbdbjpcb : (complex_conjugate plus complex_conjugate) divide (complex_conjugate plus complex) bjpjbdbjpjb : (complex_conjugate plus complex_conjugate) divide (complex_conjugate plus complex_conjugate)

minus divide plus

bcmcbdbcpcb : (complex minus complex) divide (complex plus complex) bcmcbdbcpjb : (complex minus complex) divide (complex plus complex_conjugate) bcmcbdbjpcb : (complex minus complex) divide (complex_conjugate plus complex) bcmcbdbjpjb : (complex minus complex) divide (complex_conjugate plus complex_conjugate) bcmjbdbcpcb : (complex minus complex_conjugate) divide (complex plus complex) bcmjbdbcpjb : (complex minus complex_conjugate) divide (complex plus complex_conjugate) bcmjbdbjpcb : (complex minus complex_conjugate) divide (complex_conjugate plus complex) bcmjbdbjpjb : (complex minus complex_conjugate) divide (complex_conjugate plus complex_conjugate) bjmcbdbcpcb : (complex_conjugate minus complex) divide (complex plus complex) bjmcbdbcpjb : (complex_conjugate minus complex) divide (complex plus complex_conjugate) bjmcbdbjpcb : (complex_conjugate minus complex) divide (complex_conjugate plus complex) bjmcbdbjpjb : (complex_conjugate minus complex) divide (complex_conjugate plus complex_conjugate) bjmjbdbcpcb : (complex_conjugate minus complex_conjugate) divide (complex plus complex) bjmjbdbcpjb : (complex_conjugate minus complex_conjugate) divide (complex plus complex_conjugate) bjmjbdbjpcb : (complex_conjugate minus complex_conjugate) divide (complex_conjugate plus complex) bjmjbdbjpjb : (complex_conjugate minus complex_conjugate) divide (complex_conjugate plus complex_conjugate)

times plus plus

bctcbpbcpcb : (complex times complex) plus (complex plus complex) bctcbpbcpjb : (complex times complex) plus (complex plus complex_conjugate) bctcbpbjpcb : (complex times complex) plus (complex_conjugate plus complex) bctcbpbjpjb : (complex times complex) plus (complex_conjugate plus complex_conjugate) bctjbpbcpcb : (complex times complex_conjugate) plus (complex plus complex) bctjbpbcpjb : (complex times complex_conjugate) plus (complex plus complex_conjugate) bctjbpbjpcb : (complex times complex_conjugate) plus (complex_conjugate plus complex) bctjbpbjpjb : (complex times complex_conjugate) plus (complex_conjugate plus complex_conjugate) bjtcbpbcpcb : (complex_conjugate times complex) plus (complex plus complex) bjtcbpbcpjb : (complex_conjugate times complex) plus (complex plus complex_conjugate) bjtcbpbjpcb : (complex_conjugate times complex) plus (complex_conjugate plus complex) bjtcbpbjpjb : (complex_conjugate times complex) plus (complex_conjugate plus complex_conjugate) bjtjbpbcpcb : (complex_conjugate times complex_conjugate) plus (complex plus complex) bjtjbpbcpjb : (complex_conjugate times complex_conjugate) plus (complex plus complex_conjugate) bjtjbpbjpcb : (complex_conjugate times complex_conjugate) plus (complex_conjugate plus complex) bjtjbpbjpjb : (complex_conjugate times complex_co