-
Notifications
You must be signed in to change notification settings - Fork 10
/
Copy pathl104_sin_cos6
19 lines (19 loc) · 5.93 KB
/
l104_sin_cos6
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
C * * c= * ck2_funct_1 ck4_sin_cos6 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 ck6_numbers ck32_sin_cos
+ * ! / b0 * ! / b1 * ! / b2 * * c=> * * cm1_subset_1 b2 * ck1_zfmisc_1 * * ck2_zfmisc_1 b0 b1 * cv1_relat_1 b2
+ * * c= ck4_sin_cos6 * * * ck2_partfun2 ck1_numbers ck1_numbers * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 ck6_numbers ck32_sin_cos
+ * * c& * cv1_funct_1 ck19_sin_cos * * c& * * * cv1_funct_2 ck19_sin_cos ck1_numbers ck1_numbers * * cm1_subset_1 ck19_sin_cos * ck1_zfmisc_1 * * ck2_zfmisc_1 ck1_numbers ck1_numbers
+ * ! / b0 * ! / b1 * ! / b2 * ! / b3 * * c=> * * cm1_subset_1 b2 * ck1_zfmisc_1 * * ck2_zfmisc_1 b0 b1 * * cm1_subset_1 * * * * ck5_relset_1 b0 b1 b2 b3 * ck1_zfmisc_1 * * ck2_zfmisc_1 b0 b1
+ * * c& * cv1_relat_1 * * ck5_relat_1 ck19_sin_cos * * ck1_rcomp_1 ck6_numbers ck32_sin_cos * cv2_funct_1 * * ck5_relat_1 ck19_sin_cos * * ck1_rcomp_1 ck6_numbers ck32_sin_cos
+ * ! / b0 * ! / b1 * * c=> * * c& * cv1_relat_1 b0 * cv1_funct_1 b0 * * c& * cv1_relat_1 * * ck5_relat_1 b0 b1 * cv1_funct_1 * * ck5_relat_1 b0 b1
+ * ! / b0 * ! / b1 * ! / b2 * * c=> * * c& * cv1_funct_1 b2 * * c& * cv2_funct_1 b2 * * cm1_subset_1 b2 * ck1_zfmisc_1 * * ck2_zfmisc_1 b0 b1 * * c= * * * ck2_partfun2 b0 b1 b2 * ck2_funct_1 b2
+ * ! / b0 * ! / b1 * ! / b2 * ! / b3 * * c=> * * cm1_subset_1 b2 * ck1_zfmisc_1 * * ck2_zfmisc_1 b0 b1 * * c= * * * * ck5_relset_1 b0 b1 b2 b3 * * ck5_relat_1 b2 b3
+ * ! / b0 * * c=> * * c& * cv1_relat_1 b0 * cv1_funct_1 b0 * * c=> * cv2_funct_1 b0 * * c= * ck2_funct_1 * ck2_funct_1 b0 b0
- * ! / b0 * * c=> * cv1_int_1 b0 * cv6_valued_0 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0 * * ck7_real_1 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0
- * ! / b0 * * c=> * cv1_int_1 b0 * cv5_valued_0 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 * * ck7_real_1 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0 * * ck7_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0
- * * c= * ck2_funct_1 ck1_sin_cos6 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck16_sin_cos * * ck1_rcomp_1 * ck1_real_1 * * ck10_real_1 ck32_sin_cos c2 * * ck10_real_1 ck32_sin_cos c2
- * ! / b0 * ! / b1 * ! / b2 * ! / b3 * * c=> * * c& * cv1_funct_1 b2 * * cm1_subset_1 b2 * ck1_zfmisc_1 * * ck2_zfmisc_1 b0 b1 * * c= * * * * ck2_partfun1 b0 b1 b2 b3 * * ck5_relat_1 b2 b3
- * * c= * ck10_xtuple_0 * * * * ck2_partfun1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 ck6_numbers ck32_sin_cos * * ck1_rcomp_1 * ck1_real_1 c1 c1
- * ! / b0 * ! / b1 * * c=> * * c& * cv1_funct_1 b1 * * cm1_subset_1 b1 * ck1_zfmisc_1 * * ck2_zfmisc_1 ck1_numbers ck1_numbers * * c=> * * c| * cv5_valued_0 * * * * ck2_partfun1 ck1_numbers ck1_numbers b1 b0 * cv6_valued_0 * * * * ck2_partfun1 ck1_numbers ck1_numbers b1 b0 * cv2_funct_1 * * * * ck2_partfun1 ck1_numbers ck1_numbers b1 b0
- * * c=> * * c& * cv6_valued_0 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos ck6_numbers * * ck7_real_1 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos ck6_numbers * ! / b0 * * c=> * cv1_int_1 b0 * * c=> * cv6_valued_0 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0 * * ck7_real_1 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0 * * c& * cv6_valued_0 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck5_real_1 b0 c1 * * ck7_real_1 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck5_real_1 b0 c1 * cv6_valued_0 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck3_real_1 b0 c1 * * ck7_real_1 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck3_real_1 b0 c1 * ! / b0 * * c=> * cv1_int_1 b0 * cv6_valued_0 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0 * * ck7_real_1 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0
- * * c=> * * c& * cv5_valued_0 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 * * ck7_real_1 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos ck6_numbers * * ck7_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos ck6_numbers * ! / b0 * * c=> * cv1_int_1 b0 * * c=> * cv5_valued_0 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 * * ck7_real_1 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0 * * ck7_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0 * * c& * cv5_valued_0 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 * * ck7_real_1 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck5_real_1 b0 c1 * * ck7_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck5_real_1 b0 c1 * cv5_valued_0 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 * * ck7_real_1 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck3_real_1 b0 c1 * * ck7_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck3_real_1 b0 c1 * ! / b0 * * c=> * cv1_int_1 b0 * cv5_valued_0 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 * * ck7_real_1 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0 * * ck7_real_1 * * ck8_real_1 c2 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0
- * ! / b0 * * c=> * cv1_int_1 b0 * cv2_funct_1 * * * * ck5_relset_1 ck1_numbers ck1_numbers ck19_sin_cos * * ck1_rcomp_1 * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0 * * ck7_real_1 ck32_sin_cos * * ck8_real_1 * * ck8_real_1 c2 ck32_sin_cos b0