;;; -*- 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)

