;;; -*- Mode: LISP; Package: Macsyma; -*- Saved by RWG
(SETQ SAVENO 3020.) 
(MDEFPROP $OBFAC ((LAMBDA) ((MLIST) $Z $FPPREC) ((MPROG) ((MLIST) ((MSETQ) $PRODHACK $TRUE) ((MSETQ) $Y ((MPLUS) $Z ((MMINUS) (($ENTIER) $Z)))) ((MSETQ) $X (($ENTIER) ((MQUOTIENT) ((MTIMES) 7. $FPPREC) 3.))) ((MSETQ) $M 0.)) ((MDO) $K (($ENTIER) ((MQUOTIENT) ((MTIMES) 26. $FPPREC) 3.)) ((MMINUS) 1.) NIL 1. NIL ((MSETQ) $M ((MTIMES) $X ((MPLUS) ((MQUOTIENT) 1. ((MPLUS) $Y $K)) ((MMINUS) ((MQUOTIENT) $M $K)))))) ((MTIMES) (($BFLOAT) $M) ((MEXPT) $X $Y) (($PRODUCT) ((MPLUS) $Z ((MMINUS) $I) 1.) $I 1. (($ENTIER) $Z))))) MEXPR) 
(ARGS (QUOTE $OBFAC) (QUOTE (NIL . 2.))) 
(MDEFPROP $AZETB ((LAMBDA) ((MLIST) $S $FPP) ((MPROG) ((MLIST) ((MSETQ) $FPPREC 15.)) ((MCOND) ((MGREATERP) $S 0.) ((MPROG) ((MLIST) ((MSETQ) $M 0.) ((MSETQ) $P (($PRINT) (($ENTIER) ((MQUOTIENT) ((%LOG) ((MQUOTIENT) ((MTIMES) ((MEXPT) (($BFLOAT) ((MTIMES) 2. $%PI)) $S) ((MEXPT) (($BFLOAT) 10.) ((MSETQ) $FPP (($ENTIER) $FPP)))) (($BFLOAT) ((MTIMES) $%PI ((MFACTORIAL) ((MPLUS) $S ((MMINUS) 1.))))))) (($BFLOAT) ((MTIMES) 2. $%PI))))))) ((MSETQ) $FPPREC $FPP) ((MDO) $K (($ENTIER) (($EV) ((MTIMES) $%PI $P) $NUMER)) ((MMINUS) 1.) NIL 0. NIL ((MSETQ) $M ((MPLUS) ((MQUOTIENT) ((MTIMES) ((MPLUS) $S ((MTIMES) 2. $K)) ((MPLUS) $S ((MTIMES) 2. $K) ((MMINUS) 1.)) $M) ((MTIMES) ((MPLUS) ((MTIMES) 2. $K) 1.) ((MPLUS) ((MTIMES) 2. $K) 2.) ((MEXPT) $P 2.))) ((MQUOTIENT) ((MTIMES) $P (($BERN) ((MTIMES) 2. $K))) ((MPLUS) $S ((MMINUS) 1.)))))) ((MPLUS) ((MQUOTIENT) ((MPLUS) ((MQUOTIENT) 1. 2.) $M) ((MEXPT) $P $S)) (($SUM) ((MEXPT) $K ((MMINUS) $S)) $K 1. ((MPLUS) $P ((MMINUS) 1.)))) (($BFLOAT) $%%)) T ((MCOND) ((MEQUAL) $S 0.) ((MMINUS) ((MQUOTIENT) 1. 2.)) T ((MPROGN) ((MQUOTIENT) ((MTIMES) ((MEXPT) ((MTIMES) 2. $%PI) $S) ((%SIN) ((MQUOTIENT) ((MTIMES) $%PI $S) 2.)) (($BFAC) ((MMINUS) $S) $FPPREC) (($BZETA) ((MPLUS) 1. ((MMINUS) $S)) $FPPREC)) $%PI) (($BFLOAT) $%%)))))) MEXPR) 
(ARGS (QUOTE $AZETB) (QUOTE (NIL . 2.))) 
(MDEFPROP $VONSCHTOONK ((LAMBDA) ((MLIST) $P) (($APPLY) &* (($SUBSTITUTE) ((MLIST) ((MEQUAL) &* ((LAMBDA) ((MLIST) ((MLIST) $L)) 1.)) ((MEQUAL) &^ ((LAMBDA) ((MLIST) ((MLIST) $L)) 1.))) (($FACTOR) ((MPLUS) 1. (($DIVRLST) $P)))))) MEXPR) 
(ARGS (QUOTE $VONSCHTOONK) (QUOTE (NIL . 1.))) 
(MDEFPROP $DIVRLST ((LAMBDA) ((MLIST) $P) ((MPROGN) (($ARGS) (($EXPAND) (($RATSIMP) (($SUBSTITUTE) ((MEQUAL) &^ ((LAMBDA) ((MLIST) $A $B) ((MQUOTIENT) ((MPLUS) 1. ((MMINUS) ((MEXPT) ((%PART) $A) ((MPLUS) ((MQUOTIENT) $B 2.) 1.)))) ((MPLUS) 1. ((MMINUS) ((%PART) $A)))))) (($FACTOR) ((MEXPT) $P 2.)))))) (($EV) $%% $PART))) MEXPR) 
(ARGS (QUOTE $DIVRLST) (QUOTE (NIL . 1.))) 
(MDEFPROP $BURN ((LAMBDA) ((MLIST) $P) ((MCOND SIMP) (($EVENP SIMP) $P) ((MTIMES SIMP) ((MPROG SIMP) ((MLIST SIMP) ((MSETQ SIMP) $D (($VONSCHTOONK SIMP) $P))) ((MPROG SIMP) ((MLIST SIMP) ((MSETQ SIMP) $FPPREC ((MPLUS SIMP) 1. (($ENTIER SIMP) (($EV SIMP) ((MTIMES SIMP) ((MEXPT SIMP) ((%LOG SIMP) 10.) -1.) ((MPLUS SIMP) ((MTIMES SIMP) 2. ((%LOG SIMP) $D)) ((MTIMES SIMP) $P ((MPLUS SIMP) -1. ((%LOG SIMP) ((MTIMES SIMP) ((RAT SIMP) 1. 2.) ((MEXPT SIMP) $%PI -1.) $P)))) ((MTIMES SIMP) ((RAT SIMP) 1. 2.) ((%LOG SIMP) ((MTIMES SIMP) 8. $%PI $P))))) $NUMER))))) ((MPROG SIMP) ((MLIST SIMP) ((MSETQ SIMP) $PI (($BFLOAT SIMP) $%PI))) ((MTIMES SIMP) ((MEXPT SIMP) $D -1.) (($ENTIER SIMP) ((MPLUS SIMP) ((RAT SIMP) 1. 2.) ((MTIMES SIMP) 2. $D ((MEXPT SIMP) 2. ((MTIMES SIMP) -1. $P)) ((MFACTORIAL SIMP) $P) (($BFZETA SIMP) $P $FPPREC) ((MEXPT SIMP) $PI ((MTIMES SIMP) -1. $P))))))))) ((MEXPT SIMP) -1. ((MPLUS SIMP) -1. ((MTIMES SIMP) ((RAT SIMP) 1. 2.) $P)))) T (($BERN SIMP) $P))) MEXPR) 
(ARGS (QUOTE $BURN) (QUOTE (NIL . 1.))) 
(MDEFPROP $OBZETA ((LAMBDA) ((MLIST) $S $FPPREC) ((MCOND) ((MGREATERP) $S 0.) ((MPROG) ((MLIST) ((MSETQ) $M 0.) ((MSETQ) $P (($ENTIER) (($EV) ((MQUOTIENT) ((MPLUS) ((MTIMES) ((%LOG) ((MTIMES) 2. $%PI)) $S) ((MTIMES) ((%LOG) 10.) $FPPREC) ((MMINUS) ((%LOG) ((MTIMES) $%PI ((MFACTORIAL) ((MPLUS) $S ((MMINUS) 1.))))))) ((MTIMES) 2. $%PI)) $NUMER)))) ((MDO) $K (($ENTIER) (($EV) ((MTIMES) $%PI $P) $NUMER)) ((MMINUS) 1.) NIL 0. NIL ((MSETQ) $M ((MPLUS) ((MQUOTIENT) ((MTIMES) ((MPLUS) $S ((MTIMES) 2. $K)) ((MPLUS) $S ((MTIMES) 2. $K) ((MMINUS) 1.)) $M) ((MTIMES) ((MPLUS) ((MTIMES) 2. $K) 1.) ((MPLUS) ((MTIMES) 2. $K) 2.) ((MEXPT) $P 2.))) ((MQUOTIENT) ((MTIMES) $P (($BERN) ((MTIMES) 2. $K))) ((MPLUS) $S ((MMINUS) 1.)))))) ((MPLUS) ((MQUOTIENT) ((MPLUS) ((MQUOTIENT) 1. 2.) $M) ((MEXPT) $P $S)) (($SUM) ((MEXPT) $K ((MMINUS) $S)) $K 1. ((MPLUS) $P ((MMINUS) 1.)))) (($BFLOAT) $%%)) T ((MCOND) ((MEQUAL) $S 0.) ((MMINUS) ((MQUOTIENT) 1. 2.)) T ((DOLIST) ((MQUOTIENT) ((MTIMES) ((MEXPT) ((MTIMES) 2. $%PI) $S) ((%SIN) ((MQUOTIENT) ((MTIMES) $%PI $S) 2.)) (($BFAC) ((MMINUS) $S) $FPPREC) (($BZETA) ((MPLUS) 1. ((MMINUS) $S)) $FPPREC)) $%PI) (($BFLOAT) $%%))))) MEXPR) 
(ARGS (QUOTE $OBZETA) (QUOTE (NIL . 2.))) 
(MDEFPROP $BZETA ((LAMBDA) ((MLIST) $S $FPP) ((MCOND) ((MGREATERP) $S 0.) ((MPROG) ((MLIST) ((MSETQ) $FPPREC 7.) ((MSETQ) $M 0.) ((MSETQ) $T ((BIGFLOAT SIMP 56.) 0. 0.)) $P ((MSETQ) $K ((MTIMES) 2. (($MAX) 1. (($ENTIER) ((MQUOTIENT) (($EV) ((MPLUS) ((MQUOTIENT) 3. 2.) ((MMINUS) ((MTIMES) ((MPLUS) $S ((MMINUS) ((MQUOTIENT) 1. 2.))) ((%LOG) ((MQUOTIENT) $S ((MTIMES) 2. $%PI))))) ((MTIMES) ((%LOG) 10.) $FPP) ((MMINUS) ((%LOG) $%PI))) $NUMER) 2.)))))) ((MSETQ) $P ((MPLUS) 1. (($ENTIER) (($BFLOAT) ((MEXPT) ((MQUOTIENT) ((MTIMES) 2. ((MEXPT) 10. $FPP) (($PRODUCT) ((MPLUS) $S $K ((MMINUS) $I) ((MMINUS) 2.)) $I 0. ((MPLUS) $K ((MMINUS) 2.)))) ((MEXPT) ((MTIMES) 2. ((BIGFLOAT SIMP 56.) 56593901951559556. 2.)) $K)) ((MQUOTIENT) ((BIGFLOAT SIMP 56.) 36028797018963968. 1.) ((MPLUS) $S $K ((MMINUS) 1.)))))))) ((MSETQ) $FPPREC $FPP) ((MDO) $K ((MQUOTIENT) $K 2.) ((MMINUS) 1.) NIL 0. NIL ((MSETQ) $M ((MPLUS) ((MQUOTIENT) ((MTIMES) ((MPLUS) $S ((MTIMES) 2. $K)) ((MPLUS) $S ((MTIMES) 2. $K) ((MMINUS) 1.)) $M) ((MTIMES) ((MPLUS) ((MTIMES) 2. $K) 1.) ((MPLUS) ((MTIMES) 2. $K) 2.) ((MEXPT) $P 2.))) ((MQUOTIENT) ((MTIMES) $P (($BERN) ((MTIMES) 2. $K))) ((MPLUS) $S ((MMINUS) 1.)))))) ((MCOND) ((MLESSP) $S 25.) ((MSETQ) $T (($SUM) ((MEXPT) $K ((MMINUS) $S)) $K 1. ((MPLUS) $P ((MMINUS) 1.)))) T ((MDO) $K ((MPLUS) $P ((MMINUS) 1.)) ((MMINUS) 1.) NIL 1. NIL ((MPROGN) ((MSETQ) $FPPREC ((MPLUS) $FPP ((MMINUS) (($ENTIER) (($EV) ((MQUOTIENT) ((MTIMES) $S ((%LOG) $K)) ((%LOG) 10.)) $NUMER))))) ((MSETQ) $T ((MPLUS) $T ((MEXPT) $K ((MMINUS) $S))))))) (($BFLOAT) ((MPLUS) ((MQUOTIENT) ((MPLUS) ((MQUOTIENT) 1. 2.) $M) ((MEXPT) $P $S)) $T))) T ((MCOND) ((MEQUAL) $S 0.) ((MMINUS) ((MQUOTIENT) 1. 2.)) T ((MPROGN) ((MQUOTIENT) ((MTIMES) ((MEXPT) ((MTIMES) 2. $%PI) $S) ((%SIN) ((MQUOTIENT) ((MTIMES) $%PI $S) 2.)) (($BFAC) ((MMINUS) $S) $FPPREC) (($BZETA) ((MPLUS) 1. ((MMINUS) $S)) $FPPREC)) $%PI) (($BFLOAT) $%%))))) MEXPR) 
(ARGS (QUOTE $BZETA) (QUOTE (NIL . 2.))) 
(MDEFPROP $BFPSI ((LAMBDA) ((MLIST) $N $Z $FPPREC) ((MCOND) (($EQUAL) $N 0.) (($BFPSI0) $Z $FPPREC) T ((MTIMES) (($BFHZETA) ((MPLUS) $N 1.) $Z $FPPREC) ((MEXPT) ((MMINUS) 1.) ((MPLUS) $N ((MMINUS) 1.))) ((MFACTORIAL) $N)))) MEXPR) 
(ARGS (QUOTE $BFPSI) (QUOTE (NIL . 3.))) 
(MDEFPROP $BFFAC ((LAMBDA) ((MLIST) $Z $FPPREC) ((MCOND SIMP) ((MLESSP SIMP) $Z 0.) ((MTIMES SIMP) ((MEXPT SIMP) (($BFFAC SIMP) ((MTIMES SIMP) -1. $Z) $FPPREC) -1.) (($BFLOAT SIMP) ((MTIMES SIMP) $%PI $Z ((MEXPT SIMP) ((%SIN SIMP) ((MTIMES SIMP) $%PI $Z)) -1.)))) T ((MPROG SIMP) ((MLIST SIMP) ((MSETQ SIMP) $K ((MTIMES SIMP) 2. ((MPLUS SIMP) 1. (($ENTIER SIMP) ((MTIMES SIMP) 0.41 $FPPREC)))))) ((MPROG SIMP) ((MLIST SIMP) ((MSETQ SIMP) $M 1.) ((MSETQ SIMP) $Y ((MEXPT SIMP) ((MPLUS SIMP) $K $Z) 2.)) ((MSETQ SIMP) $X ((BIGFLOAT SIMP 56.) 0. 0.))) ((MDO SIMP) $I NIL NIL NIL ((MTIMES SIMP) ((RAT SIMP) 1. 2.) $K) NIL ((MPROGN SIMP) ((MSETQ SIMP) $M ((MTIMES SIMP) $M ((MPLUS SIMP) -1. ((MTIMES SIMP) 2. $I) $Z) ((MPLUS SIMP) ((MTIMES SIMP) 2. $I) $Z))) ((MSETQ SIMP) $X ((MTIMES SIMP) ((MPLUS SIMP) ((MTIMES SIMP) ((MEXPT SIMP) ((MPLUS SIMP) 1. ((MTIMES SIMP) -2. $I) $K) -1.) ((MEXPT SIMP) ((MPLUS SIMP) 2. ((MTIMES SIMP) -2. $I) $K) -1.) (($BERN SIMP) ((MPLUS SIMP) 2. ((MTIMES SIMP) -2. $I) $K))) $X) ((MEXPT SIMP) $Y -1.))))) ((MTIMES SIMP) ((MEXPT SIMP) $M -1.) (($BFLOAT SIMP) ((MTIMES SIMP) ((MEXPT SIMP) 2. ((RAT SIMP) 1. 2.)) ((MEXPT SIMP) $%PI ((RAT SIMP) 1. 2.)) ((MEXPT SIMP) ((MPLUS SIMP) $K $Z) ((RAT SIMP) 1. 2.)) ((MEXPT SIMP) $%E ((MTIMES SIMP) ((MPLUS SIMP) $K $Z) ((MPLUS SIMP) -1. $X ((%LOG SIMP) ((MPLUS SIMP) $K $Z)))))))))))) MEXPR) 
(ARGS (QUOTE $BFFAC) (QUOTE (NIL . 2.))) 
(MDEFPROP $BFHZETA ((LAMBDA) ((MLIST) $S $H $FPPREC) ((MCOND) ((MGREATERP) $S 0.) ((MPROG) ((MLIST) ((MSETQ) $M 0.) $P ((MSETQ) $Q ((MPLUS) (($ENTIER) (($EV) ((MPLUS) ((MQUOTIENT) ((MPLUS) ((MMINUS) ((%LOG) ((MTIMES) $%PI ((MFACTORIAL) ((MPLUS) $S ((MMINUS) 1.)))))) ((MTIMES) ((%LOG) ((MTIMES) 2. $%PI)) $S) ((MTIMES) ((%LOG) 10.) $FPPREC)) ((MTIMES) 2. $%PI)) ((MMINUS) $H) 1.) $NUMER)) $H))) ((MSETQ) $P (($MAX) $Q ((MPLUS) $H 1.))) ((MDO) $K (($ENTIER) (($EV) ((MTIMES) $%PI $Q) $NUMER)) ((MMINUS) 1.) NIL 0. NIL ((MSETQ) $M ((MPLUS) ((MQUOTIENT) ((MTIMES) $M ((MPLUS) $S ((MTIMES) 2. $K) ((MMINUS) 1.)) ((MPLUS) $S ((MTIMES) 2. $K))) ((MTIMES) ((MPLUS) ((MTIMES) 2. $K) 1.) ((MPLUS) ((MTIMES) 2. $K) 2.) ((MEXPT) ((MPLUS) $P ((MMINUS) 1.)) 2.))) ((MQUOTIENT) ((MTIMES) (($BERN) ((MTIMES) 2. $K)) ((MPLUS) $P ((MMINUS) 1.))) ((MPLUS) $S ((MMINUS) 1.)))))) ((MPLUS) ((MQUOTIENT) ((MPLUS) $M ((MQUOTIENT) 1. 2.)) ((MEXPT) ((MPLUS) $P ((MMINUS) 1.)) $S)) (($SUM) ((MQUOTIENT) 1. ((MEXPT) ((MPLUS) $K $H) $S)) $K 0. (($ENTIER) ((MPLUS) $P ((MMINUS) $H) ((MMINUS) ((BIGFLOAT SIMP 56.) 68454714336031539. 1.)))))) (($BFLOAT) $%%)) T ((MCOND) ((MEQUAL) $S 0.) ((MPLUS) ((MQUOTIENT) 1. 2.) ((MMINUS) $H)) T (($FUNMAKE) ((MQUOTE) $BFHZETA) ((MLIST) $S $H $FPPREC))))) MEXPR) 
(ARGS (QUOTE $BFHZETA) (QUOTE (NIL . 3.))) 
(MDEFPROP $CBFFAC ((LAMBDA) ((MLIST) $Z $FPPREC) (($RECTFORM SIMP) ((MCOND SIMP) ((MLESSP SIMP) (($REALPART SIMP) ((MSETQ SIMP) $Z (($RECTFORM SIMP) $Z))) 0.) ((MTIMES SIMP) ((MEXPT SIMP) (($CBFFAC SIMP) ((MTIMES SIMP) -1. $Z) $FPPREC) -1.) (($BFLOAT SIMP) ((MTIMES SIMP) $%PI $Z ((MEXPT SIMP) ((%SIN SIMP) ((MTIMES SIMP) $%PI $Z)) -1.)))) T ((MPROG SIMP) ((MLIST SIMP) ((MSETQ SIMP) $K ((MTIMES SIMP) 2. ((MPLUS SIMP) 1. (($ENTIER SIMP) ((MTIMES SIMP) 0.41 $FPPREC)))))) ((MPROG SIMP) ((MLIST SIMP) ((MSETQ SIMP) $M 1.) ((MSETQ SIMP) $Y (($RECTFORM SIMP) ((MEXPT SIMP) ((MPLUS SIMP) $K $Z) -2.))) ((MSETQ SIMP) $X ((BIGFLOAT SIMP 56.) 0. 0.))) ((MDO SIMP) $I NIL NIL NIL ((MTIMES SIMP) ((RAT SIMP) 1. 2.) $K) NIL ((MPROGN SIMP) ((MSETQ SIMP) $M (($EXPAND SIMP) ((MTIMES SIMP) $M ((MPLUS SIMP) -1. ((MTIMES SIMP) 2. $I) $Z) ((MPLUS SIMP) ((MTIMES SIMP) 2. $I) $Z)))) ((MSETQ SIMP) $X (($EXPAND SIMP) ((MTIMES SIMP) ((MPLUS SIMP) ((MTIMES SIMP) ((MEXPT SIMP) ((MPLUS SIMP) 1. ((MTIMES SIMP) -2. $I) $K) -1.) ((MEXPT SIMP) ((MPLUS SIMP) 2. ((MTIMES SIMP) -2. $I) $K) -1.) (($BERN SIMP) ((MPLUS SIMP) 2. ((MTIMES SIMP) -2. $I) $K))) $X) $Y))))) ((MTIMES SIMP) ((MEXPT SIMP) $M -1.) (($BFLOAT SIMP) ((MTIMES SIMP) ((MEXPT SIMP) 2. ((RAT SIMP) 1. 2.)) ((MEXPT SIMP) $%PI ((RAT SIMP) 1. 2.)) ((MEXPT SIMP) ((MPLUS SIMP) $K $Z) ((RAT SIMP) 1. 2.)) ((MEXPT SIMP) $%E ((MTIMES SIMP) ((MPLUS SIMP) $K $Z) ((MPLUS SIMP) -1. $X ((%LOG SIMP) ((MPLUS SIMP) $K $Z))))))))))))) MEXPR) 
(ARGS (QUOTE $CBFFAC) (QUOTE (NIL . 2.))) 
(MDEFPROP $BFPSI0 ((LAMBDA) ((MLIST) $Z $FPPREC) ((MCOND SIMP) ((MLESSP SIMP) $Z 0.) ((MPLUS SIMP) (($BFPSI0 SIMP) ((MTIMES SIMP) -1. $Z) $FPPREC) (($BFLOAT SIMP) ((MTIMES SIMP) $%PI ((%COT SIMP) ((MTIMES SIMP) $%PI $Z))))) T ((MPROG SIMP) ((MLIST SIMP) ((MSETQ SIMP) $K ((MTIMES SIMP) 2. ((MPLUS SIMP) 1. (($ENTIER SIMP) ((MTIMES SIMP) 0.41 $FPPREC)))))) ((MPROG SIMP) ((MLIST SIMP) ((MSETQ SIMP) $M 0.) ((MSETQ SIMP) $Y ((MEXPT SIMP) ((MPLUS SIMP) $K $Z) 2.)) ((MSETQ SIMP) $X ((BIGFLOAT SIMP 56.) 0. 0.))) ((MDO SIMP) $I NIL NIL NIL ((MTIMES SIMP) ((RAT SIMP) 1. 2.) $K) NIL ((MPROGN SIMP) ((MSETQ SIMP) $M ((MPLUS SIMP) $M ((MEXPT SIMP) ((MPLUS SIMP) -2. ((MTIMES SIMP) 2. $I) $Z) -1.) ((MEXPT SIMP) ((MPLUS SIMP) -1. ((MTIMES SIMP) 2. $I) $Z) -1.))) ((MSETQ SIMP) $X ((MTIMES SIMP) ((MPLUS SIMP) ((MTIMES SIMP) ((MEXPT SIMP) ((MPLUS SIMP) 2. ((MTIMES SIMP) -2. $I) $K) -1.) (($BERN SIMP) ((MPLUS SIMP) 2. ((MTIMES SIMP) -2. $I) $K))) $X) ((MEXPT SIMP) $Y -1.))))) (($BFLOAT SIMP) ((MPLUS SIMP) ((MTIMES SIMP) -1. $M) ((MTIMES SIMP) -1. $X) ((MTIMES SIMP) ((RAT SIMP) -1. 2.) ((MEXPT SIMP) ((MPLUS SIMP) $K $Z) -1.)) ((%LOG SIMP) ((MPLUS SIMP) $K $Z)))))))) MEXPR) 
(ARGS (QUOTE $BFPSI0) (QUOTE (NIL . 2.))) 
(MDEFPROP $BFZETA ((LAMBDA) ((MLIST) $S $FPP) ((MCOND SIMP) ((MGREATERP SIMP) $S 0.) ((MPROG SIMP) ((MLIST SIMP) ((MSETQ SIMP) $FPPREC 7.) ((MSETQ SIMP) $M 0.) ((MSETQ SIMP) $T ((BIGFLOAT SIMP 56.) 0. 0.)) $P ((MSETQ SIMP) $K ((MTIMES SIMP) 2. (($MAX SIMP) 1. (($ENTIER SIMP) ((MTIMES SIMP) ((RAT SIMP) 1. 2.) (($EV SIMP) ((MPLUS SIMP) ((RAT SIMP) 3. 2.) ((MTIMES SIMP) -1. ((%LOG SIMP) $%PI)) ((MTIMES SIMP) ((%LOG SIMP) 10.) $FPP) ((MTIMES SIMP) -1. ((MPLUS SIMP) ((RAT SIMP) -1. 2.) $S) ((%LOG SIMP) ((MTIMES SIMP) ((RAT SIMP) 1. 2.) ((MEXPT SIMP) $%PI -1.) $S)))) $NUMER))))))) ((MSETQ SIMP) $P ((MPLUS SIMP) 1. (($ENTIER SIMP) (($BFLOAT SIMP) ((MTIMES SIMP) ((MEXPT SIMP) ((BIGFLOAT SIMP 56.) 56593901951559556. 3.) ((MTIMES SIMP) -1. $K ((MEXPT SIMP) ((MPLUS SIMP) -1. $K $S) -1.))) ((MEXPT SIMP) 2. ((MEXPT SIMP) ((MPLUS SIMP) -1. $K $S) -1.)) ((MEXPT SIMP) 10. ((MTIMES SIMP) $FPP ((MEXPT SIMP) ((MPLUS SIMP) -1. $K $S) -1.))) ((MEXPT SIMP) (($PRODUCT SIMP) ((MPLUS SIMP) -2. ((MTIMES SIMP) -1. $I) $K $S) $I 0. ((MPLUS SIMP) -2. $K)) ((MEXPT SIMP) ((MPLUS SIMP) -1. $K $S) -1.))))))) ((MSETQ SIMP) $FPPREC $FPP) ((MDO SIMP) $K ((MTIMES SIMP) ((RAT SIMP) 1. 2.) $K) -1. NIL 0. NIL ((MSETQ SIMP) $M ((MPLUS SIMP) ((MTIMES SIMP) (($BERN SIMP) ((MTIMES SIMP) 2. $K)) $P ((MEXPT SIMP) ((MPLUS SIMP) -1. $S) -1.)) ((MTIMES SIMP) ((MEXPT SIMP) ((MPLUS SIMP) 1. ((MTIMES SIMP) 2. $K)) -1.) ((MEXPT SIMP) ((MPLUS SIMP) 2. ((MTIMES SIMP) 2. $K)) -1.) $M ((MEXPT SIMP) $P -2.) ((MPLUS SIMP) -1. ((MTIMES SIMP) 2. $K) $S) ((MPLUS SIMP) ((MTIMES SIMP) 2. $K) $S))))) ((MCOND SIMP) ((MLESSP SIMP) $S 25.) ((MSETQ SIMP) $T (($SUM SIMP) ((MEXPT SIMP) $K ((MTIMES SIMP) -1. $S)) $K 1. ((MPLUS SIMP) -1. $P))) T ((MDO SIMP) $K ((MPLUS SIMP) -1. $P) -1. NIL 1. NIL ((MPROGN SIMP) ((MSETQ SIMP) $FPPREC ((MPLUS SIMP) $FPP ((MTIMES SIMP) -1. (($ENTIER SIMP) (($EV SIMP) ((MTIMES SIMP) ((MEXPT SIMP) ((%LOG SIMP) 10.) -1.) ((%LOG SIMP) $K) $S) $NUMER))))) ((MSETQ SIMP) $T ((MPLUS SIMP) ((MEXPT SIMP) $K ((MTIMES SIMP) -1. $S)) $T))))) (($BFLOAT SIMP) ((MPLUS SIMP) ((MTIMES SIMP) ((MPLUS SIMP) ((RAT SIMP) 1. 2.) $M) ((MEXPT SIMP) $P ((MTIMES SIMP) -1. $S))) $T))) T ((MCOND SIMP) ((MEQUAL SIMP) $S 0.) ((RAT SIMP) -1. 2.) T ((MPROGN SIMP) ((MTIMES SIMP) (($BFZETA SIMP) ((MPLUS SIMP) 1. ((MTIMES SIMP) -1. $S)) $FPPREC) ((MEXPT SIMP) $%PI ((MPLUS SIMP) -1. $S)) ((MEXPT SIMP) 2. $S) (($BFAC SIMP) ((MTIMES SIMP) -1. $S) $FPPREC) ((%SIN SIMP) ((MTIMES SIMP) ((RAT SIMP) 1. 2.) $%PI $S))) (($BFLOAT SIMP) $%%))))) MEXPR) 
(ARGS (QUOTE $BFZETA) (QUOTE (NIL . 2.))) 
