Searched refs:augmult (Results 1 – 1 of 1) sorted by relevance
416 (return (augmult (mul d427 (return (augmult (mul d439 (augmult (mul d445 (augmult (mul d878 (defun augmult (x) function1021 (augmult (mul 8 c (1- p)1081 ,(augmult (mul exp2 exp31404 (augmult (mul -1 b1571 (augmult (mul c ea-11660 (augmult (mul coef[all …]