Lines Matching +refs:add +refs:expr +refs:infinities
213 (defun simplim%expintegral_e (expr var val)
215 (let ((a (limit (cadr expr) var val 'think))
216 (z (limit (caddr expr) var val 'think)))
224 ((member ($sign (add ($realpart a) -1)) '($neg $nz $zero))
243 (defun simp-expintegral-e (expr ignored z)
245 (twoargcheck expr)
246 (let ((order (simpcheck (cadr expr) z))
247 (arg (simpcheck (caddr expr) z))
257 (let ((sgn ($sign (add ($realpart order) -1))))
261 (inv (add order -1)))
267 (t (eqtest (list '(%expintegral_e) order arg) expr)))))
269 ((or (and (symbolp order) (member order infinities))
270 (and (symbolp arg) (member arg infinities)))
273 (eqtest (list '(%expintegral_e) order arg) expr))
287 (div (mul (power '$%e (mul -1 arg)) (add arg 1)) (mul arg arg)))
313 (carg (add ($bfloat ($realpart arg))
316 (add ($realpart result) (mul '$%i ($imagpart result)))))
324 (add (take '(%expintegral_ei) (mul -1 arg))
332 (div (power arg (add index -1))
342 (eqtest (list '(%expintegral_e) order arg) expr))))
370 (carg (add ($bfloat ($realpart arg))
373 (add ($realpart result)
378 (corder (add ($bfloat ($realpart order))
380 (carg (add ($bfloat ($realpart arg))
383 (add ($realpart result)
400 (add
410 (add
417 (power arg (add index '((rat simp) 1 2)))
420 (add index n 1)))
421 index 0 (mul -1 (add n 1)) t)))
427 (power arg (add index '((rat simp) 1 2)))
430 (add index n 1)))
439 (eqtest (list '(%expintegral_e) order arg) expr)))))
694 (bigfloattwo (add bigfloatone bigfloatone))
711 (let* ((b (add z n))
723 (setq b (add b bigfloattwo))
724 (setq d (cdiv bigfloatone (add (mul a d) b)))
725 (setq c (add b (cdiv a c)))
752 (setq psi (add psi (cdiv bigfloatone (+ ii 1)))))
756 (setq r (add r e))
774 (bigfloattwo (add bigfloatone bigfloatone))
790 (let* ((b (add z n))
797 (a (mul -1 n) (cmul (- i) (add n1 i))))
802 (setq b (add b bigfloattwo))
803 (setq d (cdiv bigfloatone (add (mul a d) b)))
804 (setq c (add b (cdiv a c)))
845 (setq r (add r e))
915 (defun simplim%expintegral_e1 (expr var val)
917 (let ((z (limit (cadr expr) var val 'think)))
931 (defun simp-expintegral_e1 (expr ignored z)
933 (oneargcheck expr)
934 (let ((arg (simpcheck (cadr expr) z)))
953 (carg (add ($bfloat ($realpart arg))
956 (add ($realpart result)
960 ((taylorize (mop expr) (second expr)))
969 (add (mul -1 (take '(%expintegral_ei) (mul -1 arg)))
975 (add (mul -1 (take '(%expintegral_li) (power '$%e (mul -1 arg))))
981 (add (mul -1 '$%i (take '(%expintegral_si) (mul '$%i arg)))
989 (eqtest (list '(%expintegral_e1) arg) expr))))
992 (eqtest (list '(%expintegral_e1) arg) expr)))))
1046 (defun simplim%expintegral_ei (expr var val)
1048 (let ((z (limit (cadr expr) var val 'think)))
1061 (defun simp-expintegral-ei (expr ignored z)
1063 (oneargcheck expr)
1064 (let ((arg (simpcheck (cadr expr) z)))
1091 (carg (add ($bfloat ($realpart arg))
1094 (add ($realpart result)
1098 ((taylorize (mop expr) (second expr)))
1105 (add (mul -1 (take '(%gamma_incomplete) 0 (mul -1 arg)))
1111 (add (mul -1 (take '(%expintegral_e1) (mul -1 arg)))
1119 (add (take '(%expintegral_ci) (mul '$%i arg))
1126 (add (take '(%expintegral_chi) arg)
1129 (add (take '(%log) (inv arg))
1133 (eqtest (list '(%expintegral_ei) arg) expr)))))
1174 (add (cmul (mul -1 bigfloatone)
1243 (defun simplim%expintegral_li (expr var val)
1245 (let ((z (limit (cadr expr) var val 'think)))
1255 (defun simp-expintegral-li (expr ignored z)
1257 (oneargcheck expr)
1258 (let ((arg (simpcheck (cadr expr) z)))
1275 (carg (add ($bfloat ($realpart arg))
1278 (add (mul '$%i ($imagpart result))
1282 ((taylorize (mop expr) (second expr)))
1290 (add (mul -1 (take '(%gamma_incomplete) 0 (mul -1 logarg)))
1296 (add (mul -1 (take '(%expintegral_e1) (mul -1 logarg)))
1304 (add (take '(%expintegral_ci) (mul '$%i logarg))
1311 (add (take '(%expintegral_chi) logarg)
1314 (add (take '(%log) (inv logarg))
1318 (eqtest (list '(%expintegral_li) arg) expr)))))
1389 (defun simplim%expintegral_si (expr var val)
1391 (let ((z (limit (cadr expr) var val 'think)))
1397 (defun simp-expintegral-si (expr ignored z)
1399 (oneargcheck expr)
1400 (let ((arg (simpcheck (cadr expr) z)))
1418 (carg (add ($bfloat ($realpart arg))
1421 (add (mul '$%i ($imagpart result))
1425 ((taylorize (mop expr) (second expr)))
1426 ((apply-reflection-simp (mop expr) arg $trigsign))
1434 (add (take '(%gamma_incomplete) 0 (mul -1 '$%i arg))
1440 (add (take '(%expintegral_e1) (mul -1 '$%i arg))
1446 (add (mul 2
1455 (add (take '(%expintegral_li) (power '$%e (mul '$%i arg)))
1465 (eqtest (list '(%expintegral_si) arg) expr)))))
1492 (add
1554 (defun simplim%expintegral_shi (expr var val)
1556 (let ((z (limit (cadr expr) var val 'think)))
1569 (defun simp-expintegral-shi (expr ignored z)
1571 (oneargcheck expr)
1572 (let ((arg (simpcheck (cadr expr) z)))
1593 (carg (add ($bfloat ($realpart arg))
1596 (add (mul '$%i ($imagpart result))
1600 ((taylorize (mop expr) (second expr)))
1601 ((apply-reflection-simp (mop expr) arg $trigsign))
1609 (add (take '(%gamma_incomplete) 0 arg)
1615 (add (take '(%expintegral_e1) arg)
1621 (add (mul 2
1629 (add (mul (inv 2)
1638 (eqtest (list '(%expintegral_shi) arg) expr)))))
1662 (add
1730 (defun simplim%expintegral_ci (expr var val)
1732 (let ((z (limit (cadr expr) var val 'think)))
1745 (defun simp-expintegral-ci (expr ignored z)
1747 (oneargcheck expr)
1748 (let ((arg (simpcheck (cadr expr) z)))
1768 (carg (add ($bfloat ($realpart arg))
1771 (add (mul '$%i ($imagpart result))
1775 ((taylorize (mop expr) (second expr)))
1784 (add (take '(%gamma_incomplete) 0 (mul -1 '$%i arg))
1789 (add (mul (inv -2)
1790 (add (take '(%expintegral_e1) (mul -1 '$%i arg))
1796 (add (mul (inv 4)
1797 (add (mul 2
1798 (add (take '(%expintegral_ei) (mul -1 '$%i arg))
1806 (add (mul (inv 2)
1807 (add (take '(%expintegral_li)
1815 (add (take '(%expintegral_chi) (mul '$%i arg))
1820 (eqtest (list '(%expintegral_ci) arg) expr)))))
1843 (add
1846 (add
1915 (defun simplim%expintegral_chi (expr var val)
1917 (let ((z (limit (cadr expr) var val 'think)))
1933 (defun simp-expintegral-chi (expr ignored z)
1935 (oneargcheck expr)
1936 (let ((arg (simpcheck (cadr expr) z)))
1958 (carg (add ($bfloat ($realpart arg))
1961 (add (mul '$%i ($imagpart result))
1965 ((taylorize (mop expr) (second expr)))
1973 (add (take '(%gamma_incomplete) 0 (mul -1 arg))
1979 (add (take '(%expintegral_e1) (mul -1 arg))
1985 (add (mul 2
1986 (add (take '(%expintegral_ei) (mul -1 arg))
1993 (add (mul (inv 2)
1994 (add (take '(%expintegral_li) (power '$%e (mul -1 arg)))
1999 (add (take '(%log) (inv arg))
2002 (add (take '(%expintegral_ci) (mul '$%i arg))
2007 (eqtest (list '(%expintegral_chi) arg) expr)))))
2031 (add