| /dports/science/libxc/libxc-5.0.0/src/maple2c/gga_exc/ |
| H A D | gga_x_g96.c | 396 double t492, t494, t496, t498, t499, t501, t504, t505; in func_pol() local
904 t504 = t4 * t6 * t423; in func_pol()
906 t507 = t504 * t199 * t505; in func_pol()
959 t603 = t504 * t199 * t601; in func_pol()
1261 …1233e4 * t17 * t367 / t992 + 0.560e3 / 0.3699e4 * t1009 + 0.2e1 / 0.3e1 * t504 * t199 * t129 * t14… in func_pol()
1321 t1235 = t504 * t509 * t505; in func_pol()
1369 … 0.3699e4 * t984 + 0.40e2 / 0.3699e4 * t999 + 0.28e2 / 0.3699e4 * t1001 + t504 * t199 * t245 * t14… in func_pol()
1371 t1470 = t504 * t509 * t601; in func_pol()
1375 …9 * t199 * t245 * t129 + 0.2e1 / 0.27e2 * t1470 + 0.7e1 / 0.9e1 * t1473 + t504 * t199 * t251 * t12… in func_pol()
1400 …699e4 * t1626 - 0.4e1 / 0.9e1 * t519 * t498 * t222 * t8 + 0.4e1 / 0.9e1 * t504 * t513 * t200 * t8 … in func_pol()
[all …]
|
| H A D | gga_xc_th2.c | 842 t504 = -t496; in func_pol()
843 t505 = t195 * t504; in func_pol()
858 t566 = t57 * t504; in func_pol()
1106 t1280 = t1279 * t504; in func_pol()
1134 t1357 = t1356 * t504; in func_pol()
1201 t1537 = t658 * t504; in func_pol()
1225 t1601 = t705 * t504; in func_pol()
1408 t2326 = t1002 * t504; in func_pol()
1623 t3058 = t504 * t504; in func_pol()
1728 t3409 = t2526 * t504; in func_pol()
[all …]
|
| H A D | gga_c_op_xalpha.c | 320 double t481, t491, t493, t494, t497, t501, t502, t504; in func_pol() local
686 t504 = t50 * t28; in func_pol()
705 …t543 = -0.10000000000000000000e1 * t504 * t224 - 0.10000000000000000000e1 * t222 * t508 - 0.500000… in func_pol()
914 …t823 * t39 - 0.12000000000000000000e2 * t880 - 0.60000000000000000000e1 * t504 * t377 + 0.90000000… in func_pol()
983 ….45000000000000000000e1 * t504 * t518 + 0.45000000000000000000e1 * t222 * t294 * t238 * t159 - 0.3… in func_pol()
990 …t1183 = -0.15000000000000000000e1 * t123 * t28 * t224 - 0.15000000000000000000e1 * t504 * t511 - 0… in func_pol()
1095 …00000000e1 * t504 * t655 - 0.20000000000000000000e1 * t658 * t508 + 0.30000000000000000000e1 * t50… in func_pol()
1129 ….45000000000000000000e1 * t222 * t647 * t238 - 0.15000000000000000000e1 * t504 * t720 - 0.15000000… in func_pol()
|
| H A D | gga_c_tca.c | 1335 t504 = t196 * t503; in func_pol()
1336 t506 = t34 * t504 * t321; in func_pol()
1492 t829 = t105 * t504 * t827; in func_pol()
1569 t924 = t105 * t504 * t922; in func_pol()
1659 t1016 = t105 * t504 * t1014; in func_pol()
2005 t2251 = t2243 * t504 * t44; in func_pol()
2078 t2393 = t504 * t515; in func_pol()
2091 t2423 = t105 * t504 * t2418; in func_pol()
2239 t2785 = t2777 * t504 * t106; in func_pol()
2253 t2809 = t105 * t504 * t2807; in func_pol()
[all …]
|
| H A D | gga_x_hjs.c | 539 t504 = t219 * t503; in func_unpol()
2733 t504 = t10 * t249; in func_ferr()
2919 t1039 = t504 * t1036 * t1037; in func_ferr()
3199 t1939 = t504 * t1036 * t1937; in func_ferr()
3388 t2737 = t504 * t2668 * t1037; in func_ferr()
3391 t2744 = t504 * t2650 * t2742; in func_ferr()
3393 t2748 = t504 * t1036 * t2746; in func_ferr()
3395 t2752 = t504 * t1036 * t2750; in func_ferr()
3576 t3453 = t504 * t2650 * t3451; in func_ferr()
3577 t3456 = t504 * t1036 * t3158; in func_ferr()
[all …]
|
| H A D | gga_x_kt.c | 395 double t502, t503, t504, t505, t507, t510, t511, t513; in func_pol() local
841 t504 = t238 * t32; in func_pol()
843 t507 = t224 * t504 * t505; in func_pol()
907 t643 = t224 * t504 * t641; in func_pol()
1192 …t504 * t8 * t146 / 0.3e1 - 0.5e1 / 0.27e2 * t1199 * t248 * t108 * t389 + t1205 / 0.9e1 + t495 * t5… in func_pol()
1239 … t1096 + t1100 - 0.4e1 / 0.9e1 * t510 * t531 * t249 * t8 + 0.4e1 / 0.9e1 * t495 * t504 * t226 * t8; in func_pol()
1250 …t1627 = -t1572 / 0.6e1 + t495 * t504 * t272 * t8 / 0.3e1 - t1579 / 0.6e1 - t224 * t504 * t8 * t278… in func_pol()
|
| H A D | gga_c_revtca.c | 2061 t504 = t503 * t190; in func_pol()
2062 t506 = 0.16e2 / 0.9e1 * t504 * t206; in func_pol()
2100 t565 = 0.16e2 / 0.9e1 * t504 * t214; in func_pol()
2657 t1558 = 0.32e2 / 0.9e1 * t504 * t536; in func_pol()
2658 t1560 = 0.32e2 / 0.9e1 * t504 * t556; in func_pol()
4254 t5590 = t504 * t1539; in func_pol()
4261 t5599 = t504 * t1567; in func_pol()
4271 t5617 = t504 * t1563; in func_pol()
4437 t6007 = t504 * t1757; in func_pol()
4442 t6015 = t504 * t1745; in func_pol()
[all …]
|
| H A D | gga_x_sfat.c | 1543 double t477, t481, t489, t503, t504, t506, t508, t509; in func_ferr() local
1915 t504 = t75 * t503; in func_ferr()
1919 t511 = -0.2e1 * t196 * t203 * t205 + t75 * t506 * t509 - t504 * t205 - t489 * t83; in func_ferr()
2966 double t501, t504, t505, t507, t512, t513, t514, t518; in func_pol() local
3656 t504 = t501 * t25 * t63 * t1; in func_pol()
3667 t528 = -0.3e1 * t504 * t507 + t279 * t497 / 0.16e2 + t48 * t525 / 0.8e1; in func_pol()
4047 …= -0.54e2 * t1319 * t1324 - t1329 * t507 + 0.9e1 * t504 * t1334 - 0.3e1 * t504 * t1339 + 0.3e1 * t… in func_pol()
4219 …t1791 = -0.54e2 * t1730 * t1733 + 0.9e1 * t504 * t1738 - 0.3e1 * t504 * t1743 - 0.144e3 * t1749 * … in func_pol()
4906 …7 = 0.9e1 * t504 * t3513 + 0.6e1 * t504 * t3518 + 0.3e1 * t504 * t3522 + 0.9e1 / 0.16e2 * t2216 * … in func_pol()
5285 …4577 - 0.36e2 * t504 * t4581 + 0.18e2 * t504 * t4585 - 0.9e1 * t504 * t4589 - t815 * t1723 / 0.8e1… in func_pol()
[all …]
|
| H A D | gga_x_dk87.c | 385 double t469, t476, t481, t486, t488, t495, t503, t504; in func_ferr() local
618 t504 = t31 / t299 / t35 * t503; in func_ferr()
625 …0.14336e5 / 0.19683e5 * t19 * t5 * t293 * sigma[0] / t7 / t495 / rho[0] * t504 + 0.25375e5 / 0.118… in func_ferr()
635 …83e5 * t19 * t565 * t521 - 0.1792e4 / 0.6561e4 * t19 * t294 / t7 / t495 * t504 - 0.539e3 / 0.19683… in func_ferr()
640 …* t31 * t548 * t67 + 0.224e3 / 0.2187e4 * t19 * t146 / t7 / t147 / t125 * t504 + 0.35e2 / 0.8748e4… in func_ferr()
644 …t408 * params->a1 * t29 * t628 * t302 * sigma[0] - 0.28e2 / 0.729e3 * t19 * t68 / t7 / t486 * t504; in func_ferr()
649 …2e3 * t59 * t447 * params->a1 * t29 * t628 * t302 + 0.7e1 / 0.486e3 * t19 * t20 / t7 / t295 * t504; in func_ferr()
716 double t492, t494, t502, t503, t504, t508, t509, t514; in func_pol() local
1127 t504 = t503 * t43; in func_pol()
1130 … 0.7e1 / 0.17496e5 * t28 * t488 * t299 + 0.7e1 / 0.4374e4 * t114 * t502 * t504 - 0.7e1 / 0.2187e4 … in func_pol()
[all …]
|
| H A D | gga_x_2d_b86_mgc.c | 429 double t491, t493, t495, t496, t501, t504, t505, t507; in func_pol() local
861 t504 = 0.1e1 / t12 / t160; in func_pol()
862 t505 = t504 * t45; in func_pol()
867 t517 = t504 * t25; in func_pol()
1211 t1137 = t51 * t504 * t77 * t3; in func_pol()
1222 t1187 = t149 * t504; in func_pol()
1235 t1221 = t198 * t504; in func_pol()
1262 t1341 = t81 * t504 * t113 * t3; in func_pol()
|
| H A D | gga_x_pbetrans.c | 347 t504 = t29 * t257; in func_unpol()
348 t505 = t65 * t504; in func_unpol()
391 t641 = t99 * t504; in func_unpol()
1717 t504 = 0.1e1 / t185 / t85; in func_pol()
1718 t505 = t77 * t504; in func_pol()
2090 t1332 = t504 * t506; in func_pol()
2219 t1688 = t504 * t246; in func_pol()
2338 t2013 = t504 * t754; in func_pol()
2646 t3370 = t504 * t197 * t520; in func_pol()
2828 t4392 = t504 * t668 * t197; in func_pol()
[all …]
|
| H A D | gga_x_q2d.c | 55 double t492, t496, t497, t498, t499, t504, t510, t513; in func_unpol() local
323 t504 = t161 * t1 * t3; in func_unpol()
519 double t482, t490, t492, t493, t497, t504, t506, t509; in func_ferr() local
790 t504 = t403 * t492; in func_ferr()
997 double t502, t504, t505, t507, t510, t512, t515, t518; in func_pol() local
1582 t504 = t488 * t113; in func_pol()
1584 t507 = t197 * t504 * t505; in func_pol()
2011 t1157 = t452 * t504 * t1155; in func_pol()
2101 t1325 = t452 * t504 * t1323; in func_pol()
2949 t2775 = t504 * t200; in func_pol()
[all …]
|
| /dports/science/libxc/libxc-5.0.0/src/maple2c/lda_exc/ |
| H A D | lda_c_chachiyo.c | 295 double t494, t499, t501, t502, t504, t529, t547, t556; in func_pol() local
564 t504 = t72 * t316 * t50; in func_pol()
568 …t401 + t404 - t408 - t414 + t439 + 0.3e1 * t441 + 0.3e1 * t444 + t447 + t499 + t502 + 0.3e1 * t504; in func_pol()
577 …t414 + t439 + 0.2e1 * t441 + t444 + 0.2e1 * t499 + 0.4e1 * t501 + 0.2e1 * t504 + t573 + 0.2e1 * t5… in func_pol()
|
| H A D | lda_c_hl.c | 363 double t493, t497, t499, t500, t504, t505, t510, t511; in func_pol() local
627 t504 = 0.1e1 / t29 / t289; in func_pol()
628 t505 = t2 * t504; in func_pol()
634 t537 = t18 * t504; in func_pol()
|
| H A D | lda_c_chachiyo_mod.c | 301 double t489, t491, t493, t499, t500, t502, t504, t506; in func_pol() local
613 t504 = t72 * t265; in func_pol()
624 …8e2 * t136 * t85 * t299 + t470 - 0.24e2 * t500 - 0.36e2 * t502 - 0.48e2 * t504 - 0.24e2 * t506 - 0… in func_pol()
635 …85 - 0.36e2 * t361 * t322 - t472 + t475 + t487 - 0.36e2 * t491 - 0.12e2 * t504 - t565 - 0.72e2 * t… in func_pol()
|
| H A D | lda_x_1d_exponential.c | 263 double t503, t504, t506, t507, t509, t511, t512, t513; in func_pol() local
597 t504 = 0.2e1 * t225 * t78 * t91 + 0.2e1 * t492 * t75 * t78 + 0.8e1 * t497 + t503; in func_pol()
598 t506 = t504 * t20 * t3; in func_pol()
615 t544 = t224 * t504; in func_pol()
|
| H A D | lda_c_vwn_1.c | 58 double t472, t478, t482, t486, t489, t502, t504, t508; in func_unpol() local
318 t504 = t104 * t104; in func_unpol()
330 … t38 * t223 * t237 + t38 * t97 * t260 / 0.3e1 + 0.6e1 * t38 * t8 * t502 * t504 - 0.9e1 * t38 * t23… in func_unpol()
331 …* t478 + 0.16e2 / 0.3e1 * t74 * t535 - t78 * t543 + 0.24e2 * t28 * t502 * t504 + 0.6e1 * t183 * t5… in func_unpol()
405 double t504, t508, t512, t518, t519, t520, t522, t526; in func_ferr() local
666 t504 = t124 * t124; in func_ferr()
676 … * t494 * t496 - 0.9e1 * t38 * t232 * t500 + 0.3e1 / 0.2e1 * t38 * t103 * t504 + 0.2e1 * t38 * t10… in func_ferr()
677 …t470 + 0.16e2 / 0.3e1 * t74 * t527 - t78 * t535 + 0.24e2 * t28 * t494 * t496 + 0.6e1 * t183 * t504; in func_ferr()
|
| H A D | lda_c_vwn_rpa.c | 58 double t472, t478, t482, t486, t489, t502, t504, t508; in func_unpol() local
318 t504 = t104 * t104; in func_unpol()
330 … t38 * t223 * t237 + t38 * t97 * t260 / 0.3e1 + 0.6e1 * t38 * t8 * t502 * t504 - 0.9e1 * t38 * t23… in func_unpol()
331 …* t478 + 0.16e2 / 0.3e1 * t74 * t535 - t78 * t543 + 0.24e2 * t28 * t502 * t504 + 0.6e1 * t183 * t5… in func_unpol()
405 double t504, t508, t512, t518, t519, t520, t522, t526; in func_ferr() local
666 t504 = t124 * t124; in func_ferr()
676 … * t494 * t496 - 0.9e1 * t38 * t232 * t500 + 0.3e1 / 0.2e1 * t38 * t103 * t504 + 0.2e1 * t38 * t10… in func_ferr()
677 …t470 + 0.16e2 / 0.3e1 * t74 * t527 - t78 * t535 + 0.24e2 * t28 * t494 * t496 + 0.6e1 * t183 * t504; in func_ferr()
|
| /dports/science/libxc/libxc-5.0.0/src/maple2c/mgga_exc/ |
| H A D | mgga_x_pkzb.c | 1059 double t500, t504, t505, t511, t513, t514, t517, t519; in func_pol() local
1538 t504 = t16 * t311; in func_pol()
1547 …00000000000000e0 * t498 * t499 * t500 + 0.48481200000000000000e0 * t498 * t504 * t505 - 0.24240600… in func_pol()
1598 …00000000000000e0 * t498 * t499 * t563 + 0.48481200000000000000e0 * t498 * t504 * t567 - 0.24240600… in func_pol()
1668 t629 = t504 * t628; in func_pol()
2198 t1509 = t504 * t226 * t519; in func_pol()
2327 t1595 = t504 * t1594; in func_pol()
2329 t1599 = t504 * t1598; in func_pol()
2445 t1671 = t504 * t253 * t575; in func_pol()
4070 …4169e-2 * t1523 * t790 * t608 * t614 + 0.22883266508952456952e-5 * t498 * t504 * t5323 / t27 / t73… in func_pol()
[all …]
|
| /dports/science/buddy/buddy-2.4/examples/bddcalc/examples/ |
| H A D | c1908.cal | 516 t504 = not t265;
517 t505 = t501 nand t504;
524 t512 = t509 nand t504;
|
| /dports/math/spot/spot-2.10.2/buddy/examples/bddcalc/examples/ |
| H A D | c1908.cal | 516 t504 = not t265;
517 t505 = t501 nand t504;
524 t512 = t509 nand t504;
|
| /dports/math/py-spot/spot-2.10.2/buddy/examples/bddcalc/examples/ |
| H A D | c1908.cal | 516 t504 = not t265;
517 t505 = t501 nand t504;
524 t512 = t509 nand t504;
|
| /dports/science/buddy/buddy-2.4/examples/bddcalc/ |
| H A D | expected | 18 Formula t504 is a tautology!
|
| /dports/science/cp2k/cp2k-2e995eec7fd208c8a72d9544807bd8b8ba8cd1cc/src/xc/ |
| H A D | xc_xwpbe.F | 696 t504 = t15*t245
697 t505 = t504*t149
893 t1347 = -t147*t397*t510 - 2._dp*t501*t402 - t147*t504*t401 &
1326 t678 = t154*t504
1349 *t812*t253 - (t113*t114*t317*t504) + (2._dp*t113 &
1844 t504 = t503*t117
4008 t504 = t93*t456
4009 t505 = t504*t462
4085 t664 = t504*t637
4272 *(t1214)*(t1216) + (10._dp*t499*t504*t1220) &
[all …]
|
| /dports/science/cp2k-data/cp2k-7.1.0/src/xc/ |
| H A D | xc_xwpbe.F | 696 t504 = t15*t245
697 t505 = t504*t149
893 t1347 = -t147*t397*t510 - 2._dp*t501*t402 - t147*t504*t401 &
1326 t678 = t154*t504
1349 *t812*t253 - (t113*t114*t317*t504) + (2._dp*t113 &
1844 t504 = t503*t117
4008 t504 = t93*t456
4009 t505 = t504*t462
4085 t664 = t504*t637
4272 *(t1214)*(t1216) + (10._dp*t499*t504*t1220) &
[all …]
|