| /dports/science/libxc/libxc-5.0.0/src/maple2c/gga_exc/ |
| H A D | gga_x_cap.c | 47 double t343, t344, t345, t347, t353, t359, t362, t364; in func_unpol() local
259 t359 = t149 * sigma[0] * t285; in func_unpol()
270 …t347 / 0.162e3 - t130 * t344 * t72 * t353 / 0.54e2 - t130 * t344 * t147 * t359 / 0.54e2 + t364 * t… in func_unpol()
363 …62e3 * t130 * t627 * t72 * t353 + 0.49e2 / 0.162e3 * t130 * t627 * t147 * t359 - 0.11e2 / 0.243e3 … in func_unpol()
818 double t344, t346, t348, t351, t352, t353, t355, t359; in func_pol() local
1178 t359 = t6 * t314; in func_pol()
1179 t360 = t4 * t359; in func_pol()
1613 …v3rho2sigma[2] = -0.4e1 / 0.3e1 * t1216 - t1220 - t181 * t359 * t1221 / 0.6e1 - t181 * t507 * t122… in func_pol()
1649 t1279 = t359 * t224 * t396; in func_pol()
2073 …38 / 0.6e1 + t1246 * t507 * t224 / 0.2e1 - t2919 / 0.6e1 - t2922 - t181 * t359 * t554 * t316 / 0.6… in func_pol()
[all …]
|
| H A D | gga_x_lb.c | 235 double t315, t319, t359, t366, t367, t377, t417, t427; in func_ferr() local
385 t359 = t291 * t295; in func_ferr()
386 …8 - 0.62e2 / 0.3e1 * params->beta * t140 * t187 + 0.8e1 * params->beta / t279 / t18 * t359 * t136); in func_ferr()
393 …t216 * t65 + 0.5e1 * t185 * t186 - 0.3e1 * params->beta / t279 / rho[0] * t359 * sigma[0]), 0.1111… in func_ferr()
399 …0.8e1 * t216 * t222 * t141 * t144 + 0.9e1 / 0.8e1 * params->beta / t279 * t359), 0.125000000000000… in func_ferr()
|
| H A D | gga_x_pw86.c | 301 double t318, t319, t327, t358, t359, t360, t424, t489; in func_ferr() local
477 t359 = t52 * t358; in func_ferr()
480 …5 + 0.2233e4 / 0.16875e5 * t53 * t318 * t92 * t189 - 0.203e3 / 0.1500e4 * t359 * t360 * t193 - t21… in func_ferr()
484 … + 0.2233e4 / 0.16875e5 * t53 * t318 * t154 * t109 - 0.203e3 / 0.1125e4 * t359 * t360 * t228 - 0.2… in func_ferr()
488 … t188 * t154 * t150 + 0.7e1 / 0.75e2 * t134 * t280 - 0.203e3 / 0.1500e4 * t359 * t360 * t261 + 0.7… in func_ferr()
550 double t356, t357, t358, t359, t361, t364, t366, t369; in func_pol() local
907 t359 = t185 * t140; in func_pol()
908 t361 = t357 * t358 * t359; in func_pol()
1156 t747 = t357 * t745 * t359; in func_pol()
1575 t1724 = t357 * t1722 * t359; in func_pol()
|
| H A D | gga_k_pearson.c | 499 double t348, t349, t352, t354, t359, t361, t362, t363; in func_pol() local
816 …t359 = 0.55e2 / 0.729e3 * t20 * sigma[2] * t335 * t66 - 0.215e3 / 0.559872e6 * t142 * t342 * t147 … in func_pol()
817 t361 = t6 * t50 * t359; in func_pol()
1013 t693 = t6 * t119 * t359; in func_pol()
1023 t722 = t17 * t359; in func_pol()
1364 t1485 = t6 * t267 * t359; in func_pol()
1382 t1654 = t86 * t359; in func_pol()
1412 … t782 / 0.2e1 + t76 * t77 * t1825 / 0.2e1 - 0.3e1 / 0.2e1 * t113 * t284 * t359 * t7 + 0.3e1 / 0.2e… in func_pol()
|
| H A D | gga_x_lcgau.c | 49 double t351, t355, t359, t364, t367, t368, t369, t372; in func_unpol() local
289 t359 = t129 * t294; in func_unpol()
290 t364 = -t359 * t227 / 0.2e1 + t130 * t230 / 0.3e1; in func_unpol()
415 … * t147 / 0.6e1 + 0.2e1 * t140 * (0.9e1 * t129 * t668 * t671 - t359 * t675 / 0.3e1 - t359 * t678 /… in func_unpol()
1051 double t347, t350, t351, t357, t358, t359, t360, t361; in func_pol() local
1358 t359 = t40 * t40; in func_pol()
1359 t360 = 0.1e1 / t359; in func_pol()
1673 t1146 = 0.1e1 / t46 / t1138 / t5 / t359 / t1141 / 0.4e1; in func_pol()
1685 t1186 = 0.1e1 / t359 / t40; in func_pol()
1942 t2997 = t359 * t359; in func_pol()
|
| H A D | gga_x_c09x.c | 46 double t355, t359, t363, t391, t395, t420, t439; in func_unpol() local
219 t359 = t190 * t55; in func_unpol()
222 …t359 * t28 + 0.10891797462238924789e-8 * t363 * t201 - 0.39406278458886896427e-12 * t194 / t10 / t… in func_unpol()
511 double t352, t354, t355, t356, t358, t359, t360, t362; in func_pol() local
839 t359 = t358 / 0.2e1; in func_pol()
853 t391 = -t339 - t340 - t345 + t229 - t350 - t351 - t354 - t359 + t283 - t360 - t390; in func_pol()
1093 …t823 = t495 - t298 + t322 - t327 - t330 / 0.2e1 - t345 - t354 - t359 - t232 - t390 + t9 * (t784 + … in func_pol()
|
| H A D | gga_x_wc.c | 365 double t342, t343, t349, t353, t358, t359, t365, t366; in func_ferr() local
549 t359 = t107 * t358; in func_ferr()
558 …0.32320800000000000000e0 * t158 * t216 + 0.48481200000000000000e0 * t51 * t359 - 0.242406000000000… in func_ferr()
597 ….10773600000000000000e0 * t294 * t216 + 0.12928320000000000000e1 * t158 * t359 - 0.646416000000000… in func_ferr()
662 double t351, t353, t355, t358, t359, t360, t362, t367; in func_pol() local
1020 t359 = t14 * t358; in func_pol()
1022 t362 = t7 * t359 * t360; in func_pol()
1283 t802 = t7 * t359 * t54; in func_pol()
1724 t1740 = t7 * t359 * t100; in func_pol()
1779 t1964 = t7 * t359 * t151; in func_pol()
[all …]
|
| H A D | gga_x_n12.c | 1485 t359 = 0.1e1 / t358; in func_pol()
1486 t360 = t193 * t359; in func_pol()
1715 t906 = t180 * t359; in func_pol()
1779 t1053 = t483 * t359; in func_pol()
1891 t1400 = t639 * t359; in func_pol()
1997 t1748 = t163 * t359; in func_pol()
2249 t2341 = t464 * t359; in func_pol()
2334 t2647 = t1267 * t359; in func_pol()
2547 t3295 = t622 * t359; in func_pol()
3004 t5288 = t441 * t359; in func_pol()
[all …]
|
| H A D | gga_k_lc94.c | 49 double t343, t345, t350, t354, t355, t356, t358, t359; in func_unpol() local
273 t359 = t184 * t355; in func_unpol()
274 t361 = 0.16e2 / 0.3e1 * t39 * t359; in func_unpol()
399 t791 = 0.4e1 / 0.3e1 * t39 * t359 * t131; in func_unpol()
913 double t351, t353, t358, t359, t360, t361, t362, t363; in func_pol() local
1269 t359 = params->d * t358; in func_pol()
1272 t362 = t359 * t361; in func_pol()
1901 t1629 = -t850 * t1611 * t1613 / 0.55296e5 + t359 * t1616 * t30 / 0.768e3 - t1623 + t1626 - t1628; in func_pol()
1947 t1683 = -t850 * t1665 * t1667 / 0.55296e5 + t359 * t1670 * t79 / 0.768e3 - t1677 + t1680 - t1682; in func_pol()
2353 … t1482 * t1613 - t1853 * t361 / t23 / t1845 * t405 * t1483 / 0.497664e6 - t359 * t1525 * t30 / 0.9… in func_pol()
[all …]
|
| H A D | gga_x_s12.c | 47 double t352, t353, t354, t359, t362, t369, t370, t380; in func_unpol() local
250 t359 = t85 * t16 * t63; in func_unpol()
254 … * t181 * t60 * t36 - 0.64e2 / 0.3e1 * t181 * t354 * t32 - 0.4e1 * t280 * t359 + 0.2e1 * t362 * t1… in func_unpol()
314 … 0.1024e4 / 0.9e1 * t50 * params->D * t687 * t369 * t690 - 0.8e1 * t616 * t359 - 0.4e1 * t280 * t5… in func_unpol()
327 …1 * t386 * t63 + 0.128e3 * t389 * t390 * t60 - 0.64e2 * t677 * t166 + 0.18e2 * t739 * t359 + t828); in func_unpol()
699 double t359, t360, t361, t362, t363, t365, t366, t367; in func_pol() local
1057 t359 = t221 * t84 * t357; in func_pol()
1058 t360 = t359 / 0.6e1; in func_pol()
1413 ….3e1 * t375 - 0.3e1 / 0.2e1 * t379 - 0.9e1 / 0.8e1 * t419 - t319 - t339 - t359 / 0.2e1 - t370 / 0.… in func_pol()
|
| H A D | gga_c_wi.c | 431 double t349, t352, t354, t357, t359, t364, t365, t367; in func_ferr() local
648 t359 = 0.1e1 / t4 / t357; in func_ferr()
649 …3 / 0.9e1 * t349 * t164 + 0.136e3 / 0.3e1 * t352 * t354 - 0.64e2 / 0.9e1 * t118 * t359 * t270 * t9; in func_ferr()
752 …9 * t201 + 0.1336e4 / 0.9e1 * t352 * t401 - 0.200e3 / 0.3e1 * params->b * t359 * t270 * t49 * t9 +… in func_ferr()
815 double t359, t361, t362, t369, t370, t371, t373, t374; in func_pol() local
1138 t359 = t94 * t358; in func_pol()
1140 t362 = t359 * t361; in func_pol()
1513 t1096 = t359 * t97 * t253 * t141; in func_pol()
|
| /dports/math/spot/spot-2.10.2/buddy/examples/bddcalc/examples/ |
| H A D | c499.cal | 338 t359 = t356 biimp t358;
402 tautology t359;
|
| H A D | c1908.cal | 371 t359 = t323 and t358;
372 t360 = t359 nand t338;
|
| /dports/science/buddy/buddy-2.4/examples/bddcalc/examples/ |
| H A D | c499.cal | 338 t359 = t356 biimp t358;
402 tautology t359;
|
| H A D | c1908.cal | 371 t359 = t323 and t358;
372 t360 = t359 nand t338;
|
| H A D | c1355.cal | 372 t359 = t280 and t358;
373 t360 = t359 and t348;
564 t631 = t347 and t359;
|
| /dports/math/py-spot/spot-2.10.2/buddy/examples/bddcalc/examples/ |
| H A D | c499.cal | 338 t359 = t356 biimp t358;
402 tautology t359;
|
| H A D | c1908.cal | 371 t359 = t323 and t358;
372 t360 = t359 nand t338;
|
| /dports/science/libxc/libxc-5.0.0/src/maple2c/mgga_exc/ |
| H A D | mgga_x_vt84.c | 3838 t360 = t359 * t94; in func_ferr()
3839 t362 = t359 * t97; in func_ferr()
3841 t366 = t214 * t359; in func_ferr()
3842 t368 = t359 * t107; in func_ferr()
3845 t373 = t93 * t359; in func_ferr()
4046 t838 = t359 * t199; in func_ferr()
4051 t853 = t219 * t359; in func_ferr()
4053 t860 = t359 * t31; in func_ferr()
4058 t868 = t530 * t359; in func_ferr()
4070 t897 = t92 * t359; in func_ferr()
[all …]
|
| /dports/science/buddy/buddy-2.4/examples/bddcalc/ |
| H A D | expected | 175 Formula t359 is a tautology!
|
| /dports/science/cp2k/cp2k-2e995eec7fd208c8a72d9544807bd8b8ba8cd1cc/src/xc/ |
| H A D | xc_xbecke_roussel.F | 1205 REAL(KIND=dp) :: t331, t335, t338, t34, t340, t356, t358, t359, t361, t363, t364, t366, & local
1400 t359 = t3*t5
1402 t363 = t359*t319*t361/0.9e1_dp
1453 t516 = -0.4e1_dp/0.3e1_dp*t499*t359*t134*t141 + 0.3e1_dp*t240* &
1546 REAL(KIND=dp) :: t332, t336, t339, t34, t341, t342, t359, t362, t368, t369, t37, t38, t383, & local
1738 t359 = -t67*t5*t315/0.9e1_dp - 0.4e1_dp/0.27e2_dp*t70*t153*t324 &
1741 t362 = t200*t102*R*t359
1746 t387 = t66*t199*t359
1748 t242*t97*t10*t339 - 0.3e1_dp*t249*t97*t10*t359 + t94* &
1761 /0.9e1_dp - t109*t409*t102 + t280*t281*t101*t359 + t280 &
[all …]
|
| /dports/science/cp2k-data/cp2k-7.1.0/src/xc/ |
| H A D | xc_xbecke_roussel.F | 1205 REAL(KIND=dp) :: t331, t335, t338, t34, t340, t356, t358, t359, t361, t363, t364, t366, & local
1400 t359 = t3*t5
1402 t363 = t359*t319*t361/0.9e1_dp
1453 t516 = -0.4e1_dp/0.3e1_dp*t499*t359*t134*t141 + 0.3e1_dp*t240* &
1546 REAL(KIND=dp) :: t332, t336, t339, t34, t341, t342, t359, t362, t368, t369, t37, t38, t383, & local
1738 t359 = -t67*t5*t315/0.9e1_dp - 0.4e1_dp/0.27e2_dp*t70*t153*t324 &
1741 t362 = t200*t102*R*t359
1746 t387 = t66*t199*t359
1748 t242*t97*t10*t339 - 0.3e1_dp*t249*t97*t10*t359 + t94* &
1761 /0.9e1_dp - t109*t409*t102 + t280*t281*t101*t359 + t280 &
[all …]
|
| /dports/science/libxc/libxc-5.0.0/src/maple2c/lda_exc/ |
| H A D | lda_xc_teter93.c | 363 double t347, t349, t350, t352, t353, t355, t358, t359; in func_pol() local
610 t359 = t163 * t79; in func_pol()
620 …t384 = (-0.8e1 / 0.27e2 * t358 * t359 + 0.4e1 / 0.3e1 * t362 * t170 + 0.4e1 / 0.3e1 * t6 * t369 - … in func_pol()
814 ….9e1 * t249 * t380 + 0.16e2 * t9 * t366 + 0.40e2 / 0.81e2 * t764 * t130 * t359 - 0.8e1 * t485 * t3… in func_pol()
|
| H A D | lda_c_vwn_4.c | 51 double t334, t335, t336, t340, t341, t345, t359, t360; in func_unpol() local
275 t359 = t1 * t277 * t6; in func_unpol()
279 ….2e1 / 0.3e1 * t170 * t46 * t92 * t50 + t170 * t46 * t33 * t124 / 0.2e1 + t359 * t360 * t15 / 0.43… in func_unpol()
329 …94 / 0.12e2 - 0.11e2 / 0.648e3 * t359 * t513 * t2 * t15 + 0.8e1 / 0.3e1 * t169 * t246 * t285 * t50… in func_unpol()
398 double t334, t335, t336, t340, t341, t345, t359, t360; in func_ferr() local
622 t359 = t1 * t277 * t6; in func_ferr()
626 ….2e1 / 0.3e1 * t170 * t46 * t92 * t50 + t170 * t46 * t33 * t124 / 0.2e1 + t359 * t360 * t15 / 0.43… in func_ferr()
676 …/ 0.648e3 * t359 * t510 * t2 * t15 + 0.8e1 / 0.3e1 * t169 * t246 * t285 * t50 + t599 / 0.6e1 + 0.1… in func_ferr()
|
| H A D | lda_c_vwn.c | 51 double t334, t335, t336, t340, t341, t345, t359, t360; in func_unpol() local
275 t359 = t1 * t277 * t6; in func_unpol()
279 ….2e1 / 0.3e1 * t170 * t46 * t92 * t50 + t170 * t46 * t33 * t124 / 0.2e1 + t359 * t360 * t15 / 0.43… in func_unpol()
327 …20 / 0.12e2 - 0.11e2 / 0.648e3 * t359 * t425 * t2 * t15 + 0.8e1 / 0.3e1 * t169 * t246 * t285 * t50… in func_unpol()
398 double t334, t335, t336, t340, t341, t345, t359, t360; in func_ferr() local
622 t359 = t1 * t277 * t6; in func_ferr()
626 ….2e1 / 0.3e1 * t170 * t46 * t92 * t50 + t170 * t46 * t33 * t124 / 0.2e1 + t359 * t360 * t15 / 0.43… in func_ferr()
676 …/ 0.648e3 * t359 * t510 * t2 * t15 + 0.8e1 / 0.3e1 * t169 * t246 * t285 * t50 + t599 / 0.6e1 + 0.1… in func_ferr()
|