(trig_rewnil 3507028921 ("" (rewrite "cos_0" ) nil nil )nil trig_basic nil )) nil ))nil 3507028921 ("" (rewrite "sin_0" ) nil nil )nil trig_basic nil )) nil ))nil 3507028921 ("" (rewrite "sin_pi2" ) nil nil )nil trig_basic nil )) nil ))nil 3507028921 ("" (rewrite "cos_pi2" ) nil nil )nil trig_basic nil )) nil ))nil 3507028921"" (expand "Tan?" )"" (rewrite "cos_0" ) (("" (assert ) nil nil )) nil )) nil )nil trig_basic nil )"bool" trig_basic nil ))nil ))nil 3507028921 ("" (rewrite "tan_0" ) nil nil )nil trig_basic nil )) nil ))nil 3507028921 ("" (rewrite "sin_pi" ) nil nil )nil trig_basic nil )) nil ))nil 3507028921 ("" (rewrite "cos_pi" ) nil nil )nil trig_basic nil )) nil ))nil 3507028921"" (expand "Tan?" )"" (rewrite "cos_pi" ) (("" (assert ) nil nil )) nil )) nil )nil trig_basic nil )"odd_int" integers nil )"bool" trig_basic nil ))nil ))nil 3507028921 ("" (rewrite "tan_pi" ) nil nil )nil trig_basic nil )) nil ))nil 3507028921 ("" (rewrite "sin_3pi2" ) nil nil )nil trig_basic nil )"posreal" nil ))nil ))nil 3507028921 ("" (rewrite "cos_3pi2" ) nil nil )nil trig_basic nil )"posreal" nil ))nil ))nil 3507028921 ("" (rewrite "sin_2pi" ) nil nil )nil trig_basic nil )) nil ))nil 3507028921 ("" (rewrite "cos_2pi" ) nil nil )nil trig_basic nil )) nil ))nil 3507028921"" (expand "Tan?" )"" (rewrite "cos_2pi" ) (("" (assert ) nil nil )) nil )) nil )nil trig_basic nil )"bool" trig_basic nil ))nil ))nil 3507028921 ("" (rewrite "tan_2pi" ) nil nil )nil trig_basic nil )) nil ))nil 3507028921"" (skosimp*) (("" (rewrite "sin_shift" ) nil nil )) nil )nil trig_basic nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil ))nil ))nil 3507028921"" (skosimp*) (("" (rewrite "cos_shift" ) nil nil )) nil )nil trig_basic nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil ))nil ))nil 3507028921"" (skosimp*) (("" (rewrite "sin_k_pi" ) nil nil )) nil )nil trig_basic nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil ))nil ))nil 3507028921"" (skosimp*) (("" (rewrite "cos_2k_pi" ) nil nil )) nil )nil trig_basic nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil ))nil ))nil 3507028921"" (skosimp*)"" (expand "Tan?" )"" (rewrite "cos_k_pi" ) (("" (rewrite "expt_nonzero" ) nil nil ))nil ))nil ))nil )"bool" trig_basic nil )nil exponentiation nil )nil integers nil )"boolean" notequal nil )nil reals nil )nil number_fields nil )"[numfield -> numfield]" number_fields nil )"rat" exponentiation nil )"nzreal" exponentiation nil )"odd_int" integers nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil trig_basic nil ))nil ))nil 3507028921"" (skosimp*) (("" (rewrite "tan_k_pi" ) nil nil )) nil )nil trig_basic nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil ))nil ))nil 3507028921"" (skosimp*) (("" (rewrite "sin_neg" ) nil nil )) nil )nil trig_basic nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil ))nil ))nil 3507028921"" (skosimp*) (("" (rewrite "cos_neg" ) nil nil )) nil )nil trig_basic nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil ))nil ))nil 3507028921"" (skosimp*)"" (typepred "a!1" )"" (expand "Tan?" ) (("" (rewrite "cos_neg" ) nil nil )) nil ))nil ))nil )"bool" trig_basic nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil numbers nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"trig_range" trig_basic nil )nil trig_basic nil ))nil ))nil 3507028921"" (skosimp*) (("" (rewrite "tan_neg" ) nil nil )) nil )nil trig_basic nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )nil booleans nil )"bool" trig_basic nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
