Searched refs:notinvolve (Results 1 – 2 of 2) sorted by relevance
542 (notinvolve exp '(%log))1458 (notinvolve exp '(%sinh %cosh %tanh))2444 ((and (notinvolve exp '(%sin %cos %tan %atan %asin %acos))2808 (pin%ex0 (cond ((notinvolve exp '(%sinh %cosh %tanh))
2173 (defun notinvolve (exp nn*) function2177 ((every #'(lambda (j) (notinvolve j nn*))