;;; -*- Mode: Lisp; Package: Macsyma -*- ;;; Translated code for DSK:SHARE1;ATRIG1 1 ;;; Written on "Wednesday, Jan 26, 1983 4:58pm", from MACSYMA 303 ;;; Translated for ASB ;;; TRANSL-AUTOLOAD version by GJC on THURSDAY, October 28, 1982, at 4:09:07 ;;; TRHOOK version 5 TRMODE version 73 DCL version 5/29/82 8:19:42 ;;; MCOMPI version NIL TRDATA version 68 ACALL version NIL ;;; FCALL version NIL TRANSQ version NIL MDEFUN version NIL ;;; MTAGS version NIL TRPRED version NIL TROPER version 15 ;;; TRANSF version NIL TRANS5 version NIL TRANS4 version 28 ;;; TRANS3 version NIL TRANS2 version 39 TRANS1 version NIL ;;; TRUTIL version 26 TRANSL version 1157 TRANSS version 80 (includef (cond ((status feature ITS) '|DSK:LIBMAX;TPRELU >|) ((status feature Multics) '|translate|) ((status feature Unix) '|libmax/tprelu.l|) (t (error '|Unknown system, see GJC@MIT-MC|)))) (eval-when (compile eval) (or (status feature lispm) (setq *infile-name-key* ((lambda (file-name) ;; temp crock for multics. (cond ((eq (typep file-name) 'list) (namestring file-name)) (t file-name))) (truename infile))))) (eval-when (compile) (setq $tr_semicompile 'NIL) (setq forms-to-compile-queue ())) (comment |DSK:SHARE1;ATRIG1 1|) (DECLARE (SPECIAL *AFTERFLAG $ANGLES_KNOWN_FOR_ATRIG $SQRT2 $SQRT3 $PIOVER6 $PIOVER3 $PIOVER4)) (DECLARE (SPECIAL $PIOVER4)) (DECLARE (SPECIAL $PIOVER3)) (DECLARE (SPECIAL $PIOVER6)) (DECLARE (SPECIAL $SQRT3)) (DECLARE (SPECIAL $SQRT2)) (DECLARE (SPECIAL $ANGLES_KNOWN_FOR_ATRIG)) (DEF-MTRVAR *AFTERFLAG (QUOTE *AFTERFLAG) 1.) (SIMPLIFY ($PUT (QUOTE $ATRIG1) 1. (QUOTE $VERSION))) (MEVAL* (QUOTE (($MODEDECLARE) $PIOVER4 $ANY))) (MEVAL* (QUOTE (($DECLARE) $PIOVER4 $SPECIAL))) (DEF-MTRVAR $PIOVER4 (DIV (QUOTE $%PI) 4.)) (MEVAL* (QUOTE (($MODEDECLARE) $PIOVER3 $ANY))) (MEVAL* (QUOTE (($DECLARE) $PIOVER3 $SPECIAL))) (DEF-MTRVAR $PIOVER3 (DIV (QUOTE $%PI) 3.)) (MEVAL* (QUOTE (($MODEDECLARE) $PIOVER6 $ANY))) (MEVAL* (QUOTE (($DECLARE) $PIOVER6 $SPECIAL))) (DEF-MTRVAR $PIOVER6 (DIV (QUOTE $%PI) 6.)) (MEVAL* (QUOTE (($MODEDECLARE) $SQRT3 $ANY))) (MEVAL* (QUOTE (($DECLARE) $SQRT3 $SPECIAL))) (DEF-MTRVAR $SQRT3 (SIMPLIFY (LIST (QUOTE (%SQRT)) 3.))) (MEVAL* (QUOTE (($MODEDECLARE) $SQRT2 $ANY))) (MEVAL* (QUOTE (($DECLARE) $SQRT2 $SPECIAL))) (DEF-MTRVAR $SQRT2 (SIMPLIFY (LIST (QUOTE (%SQRT)) 2.))) (MEVAL* (QUOTE (($MODEDECLARE) $ANGLES_KNOWN_FOR_ATRIG $ANY))) (MEVAL* (QUOTE (($DECLARE) $ANGLES_KNOWN_FOR_ATRIG $SPECIAL))) (DEF-MTRVAR $ANGLES_KNOWN_FOR_ATRIG (LIST (QUOTE (MLIST)) 0. (TRD-MSYMEVAL $PIOVER6 (QUOTE $PIOVER6)) (TRD-MSYMEVAL $PIOVER4 (QUOTE $PIOVER4)) (TRD-MSYMEVAL $PIOVER3 (QUOTE $PIOVER3)) (DIV (QUOTE $%PI) 2.))) (MDEFPROP $ACOSRULE1 %ACOS RULEOF) (ADD2LNC (QUOTE $ACOSRULE1) $RULES) (MDEFPROP %ACOS 2. RULENUM) (DEFUN $ACOSRULE1 (X ANS A3) (SETQ X (SIMP-%ACOS X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0017 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ACOS)))) (RETURN X))) (SETQ G0017 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0018) (SETQ G0018 (KAR G0017)) (COND ((NOT (ALIKE1 G0018 (POWER (TRD-MSYMEVAL $SQRT2 (QUOTE $SQRT2)) -1.))) (MATCHERR))) (COND ((NTHKDR G0017 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER4 (QUOTE $PIOVER4)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ACOSRULE1 ((MEQUAL) ((%ACOS SIMP) ((MEXPT SIMP) $SQRT2 -1.)) $PIOVER4) $RULE) (MDEFPROP %ACOS (SIMP-%ACOS) OLDRULES) (DEFPROP %ACOS $ACOSRULE1 OPERATORS) (MDEFPROP %ACOS ($ACOSRULE1 SIMP-%ACOS) OLDRULES) (MDEFPROP $ACOSRULE2 %ACOS RULEOF) (ADD2LNC (QUOTE $ACOSRULE2) $RULES) (MDEFPROP %ACOS 3. RULENUM) (DEFUN $ACOSRULE2 (X ANS A3) (SETQ X ($ACOSRULE1 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0019 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ACOS)))) (RETURN X))) (SETQ G0019 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0020) (SETQ G0020 (KAR G0019)) (COND ((NOT (ALIKE1 G0020 (MUL* (QUOTE ((RAT SIMP) 1. 2.)) (TRD-MSYMEVAL $SQRT2 (QUOTE $SQRT2))))) (MATCHERR))) (COND ((NTHKDR G0019 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER4 (QUOTE $PIOVER4)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ACOSRULE2 ((MEQUAL) ((%ACOS SIMP) ((MTIMES SIMP) ((RAT SIMP) 1. 2.) $SQRT2)) $PIOVER4) $RULE) (DEFPROP %ACOS $ACOSRULE2 OPERATORS) (MDEFPROP %ACOS ($ACOSRULE2 $ACOSRULE1 SIMP-%ACOS) OLDRULES) (MDEFPROP $ASECRULE1 %ASEC RULEOF) (ADD2LNC (QUOTE $ASECRULE1) $RULES) (MDEFPROP %ASEC 2. RULENUM) (DEFUN $ASECRULE1 (X ANS A3) (SETQ X (SIMP-%ASEC X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0021 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ASEC)))) (RETURN X))) (SETQ G0021 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0022) (SETQ G0022 (KAR G0021)) (COND ((NOT (ALIKE1 G0022 (TRD-MSYMEVAL $SQRT2 (QUOTE $SQRT2)))) (MATCHERR))) (COND ((NTHKDR G0021 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER4 (QUOTE $PIOVER4)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ASECRULE1 ((MEQUAL) ((%ASEC SIMP) $SQRT2) $PIOVER4) $RULE) (MDEFPROP %ASEC (SIMP-%ASEC) OLDRULES) (DEFPROP %ASEC $ASECRULE1 OPERATORS) (MDEFPROP %ASEC ($ASECRULE1 SIMP-%ASEC) OLDRULES) (MDEFPROP $ACSCRULE1 %ACSC RULEOF) (ADD2LNC (QUOTE $ACSCRULE1) $RULES) (MDEFPROP %ACSC 2. RULENUM) (DEFUN $ACSCRULE1 (X ANS A3) (SETQ X (SIMP-%ACSC X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0023 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ACSC)))) (RETURN X))) (SETQ G0023 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0024) (SETQ G0024 (KAR G0023)) (COND ((NOT (ALIKE1 G0024 (TRD-MSYMEVAL $SQRT2 (QUOTE $SQRT2)))) (MATCHERR))) (COND ((NTHKDR G0023 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER4 (QUOTE $PIOVER4)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ACSCRULE1 ((MEQUAL) ((%ACSC SIMP) $SQRT2) $PIOVER4) $RULE) (MDEFPROP %ACSC (SIMP-%ACSC) OLDRULES) (DEFPROP %ACSC $ACSCRULE1 OPERATORS) (MDEFPROP %ACSC ($ACSCRULE1 SIMP-%ACSC) OLDRULES) (MDEFPROP $ASINRULE1 %ASIN RULEOF) (ADD2LNC (QUOTE $ASINRULE1) $RULES) (MDEFPROP %ASIN 2. RULENUM) (DEFUN $ASINRULE1 (X ANS A3) (SETQ X (SIMP-%ASIN X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0025 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ASIN)))) (RETURN X))) (SETQ G0025 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0026) (SETQ G0026 (KAR G0025)) (COND ((NOT (ALIKE1 G0026 (POWER (TRD-MSYMEVAL $SQRT2 (QUOTE $SQRT2)) -1.))) (MATCHERR))) (COND ((NTHKDR G0025 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER4 (QUOTE $PIOVER4)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ASINRULE1 ((MEQUAL) ((%ASIN SIMP) ((MEXPT SIMP) $SQRT2 -1.)) $PIOVER4) $RULE) (MDEFPROP %ASIN (SIMP-%ASIN) OLDRULES) (DEFPROP %ASIN $ASINRULE1 OPERATORS) (MDEFPROP %ASIN ($ASINRULE1 SIMP-%ASIN) OLDRULES) (MDEFPROP $ASINRULE2 %ASIN RULEOF) (ADD2LNC (QUOTE $ASINRULE2) $RULES) (MDEFPROP %ASIN 3. RULENUM) (DEFUN $ASINRULE2 (X ANS A3) (SETQ X ($ASINRULE1 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0027 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ASIN)))) (RETURN X))) (SETQ G0027 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0028) (SETQ G0028 (KAR G0027)) (COND ((NOT (ALIKE1 G0028 (MUL* (QUOTE ((RAT SIMP) 1. 2.)) (TRD-MSYMEVAL $SQRT2 (QUOTE $SQRT2))))) (MATCHERR))) (COND ((NTHKDR G0027 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER4 (QUOTE $PIOVER4)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ASINRULE2 ((MEQUAL) ((%ASIN SIMP) ((MTIMES SIMP) ((RAT SIMP) 1. 2.) $SQRT2)) $PIOVER4) $RULE) (DEFPROP %ASIN $ASINRULE2 OPERATORS) (MDEFPROP %ASIN ($ASINRULE2 $ASINRULE1 SIMP-%ASIN) OLDRULES) (MDEFPROP $ASINRULE3 %ASIN RULEOF) (ADD2LNC (QUOTE $ASINRULE3) $RULES) (MDEFPROP %ASIN 4. RULENUM) (DEFUN $ASINRULE3 (X ANS A3) (SETQ X ($ASINRULE2 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0029 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ASIN)))) (RETURN X))) (SETQ G0029 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0030) (SETQ G0030 (KAR G0029)) (COND ((NOT (ALIKE1 G0030 (MUL* (QUOTE ((RAT SIMP) 1. 2.)) (TRD-MSYMEVAL $SQRT3 (QUOTE $SQRT3))))) (MATCHERR))) (COND ((NTHKDR G0029 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER3 (QUOTE $PIOVER3)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ASINRULE3 ((MEQUAL) ((%ASIN SIMP) ((MTIMES SIMP) ((RAT SIMP) 1. 2.) $SQRT3)) $PIOVER3) $RULE) (DEFPROP %ASIN $ASINRULE3 OPERATORS) (MDEFPROP %ASIN ($ASINRULE3 $ASINRULE2 $ASINRULE1 SIMP-%ASIN) OLDRULES) (MDEFPROP $ATANRULE1 %ATAN RULEOF) (ADD2LNC (QUOTE $ATANRULE1) $RULES) (MDEFPROP %ATAN 2. RULENUM) (DEFUN $ATANRULE1 (X ANS A3) (SETQ X (SIMP-%ATAN X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0031 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ATAN)))) (RETURN X))) (SETQ G0031 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0032) (SETQ G0032 (KAR G0031)) (COND ((NOT (ALIKE1 G0032 (TRD-MSYMEVAL $SQRT3 (QUOTE $SQRT3)))) (MATCHERR))) (COND ((NTHKDR G0031 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER3 (QUOTE $PIOVER3)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ATANRULE1 ((MEQUAL) ((%ATAN SIMP) $SQRT3) $PIOVER3) $RULE) (MDEFPROP %ATAN (SIMP-%ATAN) OLDRULES) (DEFPROP %ATAN $ATANRULE1 OPERATORS) (MDEFPROP %ATAN ($ATANRULE1 SIMP-%ATAN) OLDRULES) (MDEFPROP $ACOTRULE1 %ACOT RULEOF) (ADD2LNC (QUOTE $ACOTRULE1) $RULES) (MDEFPROP %ACOT 2. RULENUM) (DEFUN $ACOTRULE1 (X ANS A3) (SETQ X (SIMP-%ACOT X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0033 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ACOT)))) (RETURN X))) (SETQ G0033 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0034) (SETQ G0034 (KAR G0033)) (COND ((NOT (ALIKE1 G0034 (POWER (TRD-MSYMEVAL $SQRT3 (QUOTE $SQRT3)) -1.))) (MATCHERR))) (COND ((NTHKDR G0033 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER3 (QUOTE $PIOVER3)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ACOTRULE1 ((MEQUAL) ((%ACOT SIMP) ((MEXPT SIMP) $SQRT3 -1.)) $PIOVER3) $RULE) (MDEFPROP %ACOT (SIMP-%ACOT) OLDRULES) (DEFPROP %ACOT $ACOTRULE1 OPERATORS) (MDEFPROP %ACOT ($ACOTRULE1 SIMP-%ACOT) OLDRULES) (MDEFPROP $ACOTRULE2 %ACOT RULEOF) (ADD2LNC (QUOTE $ACOTRULE2) $RULES) (MDEFPROP %ACOT 3. RULENUM) (DEFUN $ACOTRULE2 (X ANS A3) (SETQ X ($ACOTRULE1 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0035 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ACOT)))) (RETURN X))) (SETQ G0035 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0036) (SETQ G0036 (KAR G0035)) (COND ((NOT (ALIKE1 G0036 (MUL* (QUOTE ((RAT SIMP) 1. 3.)) (TRD-MSYMEVAL $SQRT3 (QUOTE $SQRT3))))) (MATCHERR))) (COND ((NTHKDR G0035 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER3 (QUOTE $PIOVER3)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ACOTRULE2 ((MEQUAL) ((%ACOT SIMP) ((MTIMES SIMP) ((RAT SIMP) 1. 3.) $SQRT3)) $PIOVER3) $RULE) (DEFPROP %ACOT $ACOTRULE2 OPERATORS) (MDEFPROP %ACOT ($ACOTRULE2 $ACOTRULE1 SIMP-%ACOT) OLDRULES) (MDEFPROP $ACSCRULE2 %ACSC RULEOF) (ADD2LNC (QUOTE $ACSCRULE2) $RULES) (MDEFPROP %ACSC 3. RULENUM) (DEFUN $ACSCRULE2 (X ANS A3) (SETQ X ($ACSCRULE1 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0037 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ACSC)))) (RETURN X))) (SETQ G0037 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0038) (SETQ G0038 (KAR G0037)) (COND ((NOT (ALIKE1 G0038 (MUL* (QUOTE ((RAT SIMP) 2. 3.)) (TRD-MSYMEVAL $SQRT3 (QUOTE $SQRT3))))) (MATCHERR))) (COND ((NTHKDR G0037 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER3 (QUOTE $PIOVER3)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ACSCRULE2 ((MEQUAL) ((%ACSC SIMP) ((MTIMES SIMP) ((RAT SIMP) 2. 3.) $SQRT3)) $PIOVER3) $RULE) (DEFPROP %ACSC $ACSCRULE2 OPERATORS) (MDEFPROP %ACSC ($ACSCRULE2 $ACSCRULE1 SIMP-%ACSC) OLDRULES) (MDEFPROP $ACSCRULE3 %ACSC RULEOF) (ADD2LNC (QUOTE $ACSCRULE3) $RULES) (MDEFPROP %ACSC 4. RULENUM) (DEFUN $ACSCRULE3 (X ANS A3) (SETQ X ($ACSCRULE2 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0039 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ACSC)))) (RETURN X))) (SETQ G0039 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0040) (SETQ G0040 (KAR G0039)) (COND ((NOT (ALIKE1 G0040 (MUL* 2. (POWER (TRD-MSYMEVAL $SQRT3 (QUOTE $SQRT3)) -1.)))) (MATCHERR))) (COND ((NTHKDR G0039 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER3 (QUOTE $PIOVER3)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ACSCRULE3 ((MEQUAL) ((%ACSC SIMP) ((MTIMES SIMP) 2. ((MEXPT SIMP) $SQRT3 -1.))) $PIOVER3) $RULE) (DEFPROP %ACSC $ACSCRULE3 OPERATORS) (MDEFPROP %ACSC ($ACSCRULE3 $ACSCRULE2 $ACSCRULE1 SIMP-%ACSC) OLDRULES) (MDEFPROP $ASECRULE2 %ASEC RULEOF) (ADD2LNC (QUOTE $ASECRULE2) $RULES) (MDEFPROP %ASEC 3. RULENUM) (DEFUN $ASECRULE2 (X ANS A3) (SETQ X ($ASECRULE1 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0041 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ASEC)))) (RETURN X))) (SETQ G0041 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0042) (SETQ G0042 (KAR G0041)) (COND ((NOT (ALIKE1 G0042 2.)) (MATCHERR))) (COND ((NTHKDR G0041 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER3 (QUOTE $PIOVER3)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ASECRULE2 ((MEQUAL) ((%ASEC SIMP) 2.) $PIOVER3) $RULE) (DEFPROP %ASEC $ASECRULE2 OPERATORS) (MDEFPROP %ASEC ($ASECRULE2 $ASECRULE1 SIMP-%ASEC) OLDRULES) (MDEFPROP $ACOSRULE3 %ACOS RULEOF) (ADD2LNC (QUOTE $ACOSRULE3) $RULES) (MDEFPROP %ACOS 4. RULENUM) (DEFUN $ACOSRULE3 (X ANS A3) (SETQ X ($ACOSRULE2 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0043 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ACOS)))) (RETURN X))) (SETQ G0043 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0044) (SETQ G0044 (KAR G0043)) (COND ((NOT (ALIKE1 G0044 (MUL* (QUOTE ((RAT SIMP) 1. 2.)) (TRD-MSYMEVAL $SQRT3 (QUOTE $SQRT3))))) (MATCHERR))) (COND ((NTHKDR G0043 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER6 (QUOTE $PIOVER6)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ACOSRULE3 ((MEQUAL) ((%ACOS SIMP) ((MTIMES SIMP) ((RAT SIMP) 1. 2.) $SQRT3)) $PIOVER6) $RULE) (DEFPROP %ACOS $ACOSRULE3 OPERATORS) (MDEFPROP %ACOS ($ACOSRULE3 $ACOSRULE2 $ACOSRULE1 SIMP-%ACOS) OLDRULES) (MDEFPROP $ATANRULE2 %ATAN RULEOF) (ADD2LNC (QUOTE $ATANRULE2) $RULES) (MDEFPROP %ATAN 3. RULENUM) (DEFUN $ATANRULE2 (X ANS A3) (SETQ X ($ATANRULE1 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0045 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ATAN)))) (RETURN X))) (SETQ G0045 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0046) (SETQ G0046 (KAR G0045)) (COND ((NOT (ALIKE1 G0046 (MUL* (QUOTE ((RAT SIMP) 1. 3.)) (TRD-MSYMEVAL $SQRT3 (QUOTE $SQRT3))))) (MATCHERR))) (COND ((NTHKDR G0045 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER6 (QUOTE $PIOVER6)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ATANRULE2 ((MEQUAL) ((%ATAN SIMP) ((MTIMES SIMP) ((RAT SIMP) 1. 3.) $SQRT3)) $PIOVER6) $RULE) (DEFPROP %ATAN $ATANRULE2 OPERATORS) (MDEFPROP %ATAN ($ATANRULE2 $ATANRULE1 SIMP-%ATAN) OLDRULES) (MDEFPROP $ATANRULE3 %ATAN RULEOF) (ADD2LNC (QUOTE $ATANRULE3) $RULES) (MDEFPROP %ATAN 4. RULENUM) (DEFUN $ATANRULE3 (X ANS A3) (SETQ X ($ATANRULE2 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0047 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ATAN)))) (RETURN X))) (SETQ G0047 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0048) (SETQ G0048 (KAR G0047)) (COND ((NOT (ALIKE1 G0048 (POWER (TRD-MSYMEVAL $SQRT3 (QUOTE $SQRT3)) -1.))) (MATCHERR))) (COND ((NTHKDR G0047 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER6 (QUOTE $PIOVER6)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ATANRULE3 ((MEQUAL) ((%ATAN SIMP) ((MEXPT SIMP) $SQRT3 -1.)) $PIOVER6) $RULE) (DEFPROP %ATAN $ATANRULE3 OPERATORS) (MDEFPROP %ATAN ($ATANRULE3 $ATANRULE2 $ATANRULE1 SIMP-%ATAN) OLDRULES) (MDEFPROP $ACOTRULE3 %ACOT RULEOF) (ADD2LNC (QUOTE $ACOTRULE3) $RULES) (MDEFPROP %ACOT 4. RULENUM) (DEFUN $ACOTRULE3 (X ANS A3) (SETQ X ($ACOTRULE2 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0049 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ACOT)))) (RETURN X))) (SETQ G0049 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0050) (SETQ G0050 (KAR G0049)) (COND ((NOT (ALIKE1 G0050 (TRD-MSYMEVAL $SQRT3 (QUOTE $SQRT3)))) (MATCHERR))) (COND ((NTHKDR G0049 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER6 (QUOTE $PIOVER6)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ACOTRULE3 ((MEQUAL) ((%ACOT SIMP) $SQRT3) $PIOVER6) $RULE) (DEFPROP %ACOT $ACOTRULE3 OPERATORS) (MDEFPROP %ACOT ($ACOTRULE3 $ACOTRULE2 $ACOTRULE1 SIMP-%ACOT) OLDRULES) (MDEFPROP $ASECRULE3 %ASEC RULEOF) (ADD2LNC (QUOTE $ASECRULE3) $RULES) (MDEFPROP %ASEC 4. RULENUM) (DEFUN $ASECRULE3 (X ANS A3) (SETQ X ($ASECRULE2 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0051 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ASEC)))) (RETURN X))) (SETQ G0051 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0052) (SETQ G0052 (KAR G0051)) (COND ((NOT (ALIKE1 G0052 (MUL* 2. (POWER (TRD-MSYMEVAL $SQRT3 (QUOTE $SQRT3)) -1.)))) (MATCHERR))) (COND ((NTHKDR G0051 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER6 (QUOTE $PIOVER6)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ASECRULE3 ((MEQUAL) ((%ASEC SIMP) ((MTIMES SIMP) 2. ((MEXPT SIMP) $SQRT3 -1.))) $PIOVER6) $RULE) (DEFPROP %ASEC $ASECRULE3 OPERATORS) (MDEFPROP %ASEC ($ASECRULE3 $ASECRULE2 $ASECRULE1 SIMP-%ASEC) OLDRULES) (MDEFPROP $ASECRULE4 %ASEC RULEOF) (ADD2LNC (QUOTE $ASECRULE4) $RULES) (MDEFPROP %ASEC 5. RULENUM) (DEFUN $ASECRULE4 (X ANS A3) (SETQ X ($ASECRULE3 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0053 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ASEC)))) (RETURN X))) (SETQ G0053 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0054) (SETQ G0054 (KAR G0053)) (COND ((NOT (ALIKE1 G0054 (MUL* (QUOTE ((RAT SIMP) 2. 3.)) (TRD-MSYMEVAL $SQRT3 (QUOTE $SQRT3))))) (MATCHERR))) (COND ((NTHKDR G0053 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER6 (QUOTE $PIOVER6)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ASECRULE4 ((MEQUAL) ((%ASEC SIMP) ((MTIMES SIMP) ((RAT SIMP) 2. 3.) $SQRT3)) $PIOVER6) $RULE) (DEFPROP %ASEC $ASECRULE4 OPERATORS) (MDEFPROP %ASEC ($ASECRULE4 $ASECRULE3 $ASECRULE2 $ASECRULE1 SIMP-%ASEC) OLDRULES) (MDEFPROP $ACSCRULE4 %ACSC RULEOF) (ADD2LNC (QUOTE $ACSCRULE4) $RULES) (MDEFPROP %ACSC 5. RULENUM) (DEFUN $ACSCRULE4 (X ANS A3) (SETQ X ($ACSCRULE3 X ANS A3)) (COND ((TRD-MSYMEVAL *AFTERFLAG (QUOTE *AFTERFLAG)) X) (T (PROG (G0055 *AFTERFLAG) (SETQ *AFTERFLAG T) (COND ((OR (ATOM X) (NOT (EQ (CAAR X) (QUOTE %ACSC)))) (RETURN X))) (SETQ G0055 (CDR X)) (SETQ ANS (*CATCH (QUOTE MATCH) (PROG (G0056) (SETQ G0056 (KAR G0055)) (COND ((NOT (ALIKE1 G0056 2.)) (MATCHERR))) (COND ((NTHKDR G0055 1.) (MATCHERR))) (RETURN (TRD-MSYMEVAL $PIOVER6 (QUOTE $PIOVER6)))))) (RETURN (OR ANS (EQTEST X X))))))) (MDEFPROP $ACSCRULE4 ((MEQUAL) ((%ACSC SIMP) 2.) $PIOVER6) $RULE) (DEFPROP %ACSC $ACSCRULE4 OPERATORS) (MDEFPROP %ACSC ($ACSCRULE4 $ACSCRULE3 $ACSCRULE2 $ACSCRULE1 SIMP-%ACSC) OLDRULES) (compile-forms-to-compile-queue)