| /dports/science/buddy/buddy-2.4/examples/bddcalc/ |
| H A D | expected | 107 Formula t1497 is a tautology!
|
| /dports/science/libxc/libxc-5.0.0/src/maple2c/gga_exc/ |
| H A D | gga_c_zvpbeloc.c | 3767 t1497 = t127 * t138; in func_pol()
3770 t1500 = t1497 * t1499; in func_pol()
3857 t1636 = t1497 * t1635; in func_pol()
5092 t4448 = t1497 * t4447; in func_pol()
5096 t4453 = t1497 * t4452; in func_pol()
5099 t4457 = t1497 * t4456; in func_pol()
5366 t5014 = t1497 * t5013; in func_pol()
5369 t5018 = t1497 * t5017; in func_pol()
5372 t5022 = t1497 * t5021; in func_pol()
5583 t5486 = t1497 * t5485; in func_pol()
[all …]
|
| H A D | gga_c_op_xalpha.c | 354 double t1488, t1491, t1496, t1497, t1501, t1503, t1505, t1507; in func_pol() local
1048 t1497 = t1496 * t60; in func_pol()
1052 …42 - 0.72277769629629629630e-1 * t1219 * t90 - 0.14455553925925925926e0 * t1497 + 0.48185179753086… in func_pol()
1109 …0 - 0.24092589876543209877e-1 * t1180 * t258 - 0.21683330888888888889e0 * t1497 - 0.43366661777777… in func_pol()
|
| H A D | gga_x_hcth_a.c | 672 double t1483, t1487, t1494, t1497, t1500, t1504, t1506, t1510; in func_pol() local
1512 …t1497 = 0.94500000000000000000e-2 * t1483 * t61 * t63 - 0.94500000000000000000e-2 * t1487 * t57 * … in func_pol()
1514 t1504 = t174 * t1497; in func_pol()
1515 …t1506 = 0.1507038e2 * t450 * t1477 - 0.1507038e2 * t228 * t622 + 0.251173e1 * t70 * t1497 - 0.8927… in func_pol()
1911 …66957000000000000000e2 * t554 * t1413 + 0.22319000000000000000e2 * t450 * t1497 * t170 - 0.7439666… in func_pol()
1964 …t1497 + 0.251173e1 * t70 * t3481 + 0.44638000000000000000e3 * t2487 * t3452 - 0.535656000000000000… in func_pol()
|
| H A D | gga_x_optx.c | 530 double t1497, t1503, t1510, t1516, t1531, t1536, t1538, t1541; in func_pol() local
1348 t1497 = t4 * t6 * t1220; in func_pol()
1352 …628 * t649 * t8 * t250 / 0.3e1 - 0.7e1 / 0.6e1 * t1494 - 0.5e1 / 0.27e2 * t1497 * t272 * t121 * t4… in func_pol()
1368 … - t1612 / 0.9e1 - 0.2e1 / 0.3e1 * t271 * t1474 * t742 - 0.5e1 / 0.27e2 * t1497 * t272 * t319 * t1… in func_pol()
1396 …t1870 = -0.5e1 / 0.27e2 * t1497 * t272 * t816 * t75 - t271 * t637 * t821 / 0.2e1 - t271 * t272 * t… in func_pol()
|
| H A D | gga_x_lag.c | 754 double t1487, t1488, t1490, t1492, t1493, t1495, t1497, t1498; in func_pol() local
2047 t1497 = t154 * t130; in func_pol()
2048 t1498 = t1497 * t99; in func_pol()
2116 t1579 = t1497 * t116; in func_pol()
3014 t4543 = t1497 * t267; in func_pol()
3019 t4558 = t1497 * t258; in func_pol()
3078 t4797 = t1497 * t8; in func_pol()
3082 t4827 = t1497 * t1471; in func_pol()
3115 t5020 = t1497 * t357; in func_pol()
3116 t5027 = t1497 * t372; in func_pol()
|
| H A D | gga_x_fd_lb94.c | 654 double t1483, t1484, t1486, t1487, t1489, t1497, t1500, t1503; in func_pol() local
1532 t1497 = t7 * t44 * t1463 * t307; in func_pol()
1535 … 0.2e1 * t1489 - 0.3e1 / 0.2e1 * t7 * t289 * t246 * t8 + 0.25e2 / 0.6e1 * t1497 - t1500 / 0.2e1 - … in func_pol()
1584 … t1483 + 0.4e1 / 0.9e1 * t1486 - 0.2e1 / 0.3e1 * t1489 + 0.41e2 / 0.9e1 * t1497 - t1500 / 0.3e1 - … in func_pol()
1610 …e1 - 0.5e1 / 0.9e1 * t1460 + t1466 / 0.3e1 - 0.5e1 / 0.9e1 * t1473 + t1484 + t1487 - t1497 / 0.3e1; in func_pol()
|
| H A D | gga_x_c09x.c | 565 double t1467, t1471, t1478, t1493, t1494, t1495, t1497, t1499; in func_pol() local
1391 t1497 = t287 * t1495 * t706; in func_pol()
1392 …1 - t287 * t678 * t682 / 0.2e1 - t287 * t288 * t124 * t560 / 0.6e1 + t1494 + 0.7e1 / 0.6e1 * t1497; in func_pol()
1437 … t1471 / 0.9e1 - t1478 / 0.9e1 + 0.4e1 / 0.27e2 * t1493 - 0.2e1 / 0.9e1 * t1497 + 0.4e1 / 0.27e2 *… in func_pol()
|
| H A D | gga_x_pbepow.c | 686 double t1486, t1491, t1494, t1497, t1508, t1522, t1524, t1526; in func_pol() local
1559 t1497 = t7 * t248 * t293; in func_pol()
1572 ….3e1 / 0.8e1 * t7 * t17 * t1486 - t1491 / 0.2e1 - 0.5e1 / 0.9e1 * t1494 + t1497 / 0.2e1 - 0.2e1 / … in func_pol()
1635 …t1809 = t1406 + t1410 - t1491 / 0.8e1 - 0.5e1 / 0.12e2 * t1494 + t1497 / 0.4e1 + t732 * t756 * t73… in func_pol()
1674 …0.18e2 * t1763 + t1766 / 0.3e1 + t1406 + t1410 - 0.5e1 / 0.18e2 * t1494 + t1497 / 0.12e2 - 0.2e1 /… in func_pol()
|
| H A D | gga_k_thakkar.c | 781 double t1490, t1492, t1494, t1497, t1500, t1502, t1505, t1506; in func_pol() local
1660 t1497 = t83 * t678 * t250; in func_pol()
1674 … * t668 + 0.8e1 / 0.3e1 * t1490 - 0.4e1 / 0.3e1 * t1494 - 0.2e1 / 0.3e1 * t1497 - 0.2e1 / 0.3e1 * … in func_pol()
1729 …+ 0.4e1 / 0.9e1 * t1484 + 0.2e1 / 0.3e1 * t1490 - 0.2e1 / 0.3e1 * t1494 - t1497 / 0.3e1 - t1500 / … in func_pol()
1773 …0.8e1 / 0.27e2 * t1474 + 0.8e1 / 0.27e2 * t1484 - 0.2e1 / 0.9e1 * t1494 - t1497 / 0.9e1 - t1500 / … in func_pol()
|
| H A D | gga_x_lcgau.c | 587 double t1497, t1515, t1520, t1536, t1563, t1564, t1599, t1603; in func_ferr() local
992 t1497 = t1496 * t100; in func_ferr()
995 …t1497 - t1217 * t1218 * t1397 / 0.3e1 + t275 * t276 * t1404 / 0.12e2 - t447 * t1195 * t1497 + t447… in func_ferr()
|
| H A D | gga_x_pbeint.c | 750 double t1464, t1467, t1469, t1479, t1482, t1488, t1497, t1498; in func_pol() local
1653 …t1497 = t1488 * t65 / 0.24e2 - t625 * t198 / 0.9e1 + t571 * t236 / 0.12e2 - 0.2e1 / 0.9e1 * t249 *… in func_pol()
1654 t1498 = t174 * t1497; in func_pol()
2103 … t211 * t536 * t631 * t439 / 0.2e1 + 0.3e1 / 0.2e1 * t211 * t235 * t446 * t1497 * t201 + 0.3e1 / 0… in func_pol()
2173 …0.4e1 * t211 * t235 * t1331 * t630 + 0.9e1 / 0.4e1 * t211 * t235 * t550 * t1497 - t3876 - t211 * t… in func_pol()
|
| H A D | gga_x_ev93.c | 888 double t1489, t1492, t1495, t1497, t1499, t1504, t1505, t1506; in func_pol() local
1942 t1497 = t411 * t243; in func_pol()
1943 t1499 = t115 * t1497 * t413; in func_pol()
2636 …8 + t772 * t527 * t974 / 0.9e1 - t4157 - t292 * t1497 * t981 / 0.3e1 - t115 * t527 * t986 + t115 *… in func_pol()
2685 … + t4143 + t4146 - t4157 - 0.2e1 / 0.9e1 * t4166 + t4169 / 0.3e1 - t292 * t1497 * t1167 / 0.3e1 + … in func_pol()
2823 … - t4992 / 0.6e1 - t4999 + t5229 + t5110 / 0.6e1 + t5233 / 0.3e1 + t115 * t1497 * t1522 - t5238 / … in func_pol()
|
| H A D | gga_x_pbea.c | 453 double t1474, t1479, t1484, t1488, t1494, t1497, t1501, t1506; in func_pol() local
1354 …t1497 = t9 * (t1331 + t1381 + t1432 + t1484) + t1488 + 0.50600317090006111471e-3 * t512 + 0.144487… in func_pol()
1361 v4rho4[1] = t1497 + t1501 + t1511 + t1516; in func_pol()
|
| H A D | gga_x_mpbe.c | 768 double t1472, t1486, t1487, t1489, t1490, t1493, t1494, t1497; in func_pol() local
1589 t1497 = t1335 * t749; in func_pol()
1592 v3rhosigma2[5] = -t255 * t1499 / 0.2e1 - t1497 / 0.2e1; in func_pol()
1622 v3rhosigma2[11] = -t1497 / 0.2e1 - t255 * t1508 / 0.2e1 - 0.3e1 / 0.8e1 * t255 * t1556; in func_pol()
|
| H A D | gga_x_s12.c | 760 double t1475, t1480, t1482, t1485, t1491, t1494, t1497, t1504; in func_pol() local
1662 t1497 = t83 * t227 * t564; in func_pol()
1687 …221 * t84 * t286 * t222 - 0.2e1 * t1491 - 0.2e1 * t1494 - 0.2e1 / 0.3e1 * t1497 - 0.2e1 * t221 * t… in func_pol()
1708 … 0.9e1 + t1482 / 0.27e2 + t1485 / 0.9e1 - t1491 / 0.2e1 - t1494 / 0.2e1 - t1497 / 0.6e1 - t1504 / … in func_pol()
|
| H A D | gga_x_wc.c | 726 double t1472, t1474, t1477, t1478, t1487, t1491, t1495, t1497; in func_pol() local
1637 t1497 = t192 * t111 * t1495; in func_pol()
1639 …* t191 * t1474 + 0.14544360000000000000e1 * t476 * t1478 - 0.24240600000000000000e0 * t191 * t1497; in func_pol()
2066 t3764 = 0.32320800000000000000e0 * t1272 * t1497; in func_pol()
|
| H A D | gga_k_apbeint.c | 739 double t1497, t1513, t1521, t1525, t1530, t1532, t1561, t1565; in func_pol() local
1675 t1497 = 0.1e1 / t26 / t122; in func_pol()
1695 …t1497 * t34 - 0.3047e4 / 0.972e3 * t116 * t120 / t25 / t489 * t126 + 0.2563e4 / 0.1458e4 * t307 * … in func_pol()
|
| H A D | gga_x_bayesian.c | 809 double t1492, t1493, t1497, t1504, t1507, t1510, t1513, t1514; in func_pol() local
1680 t1497 = t211 * t30 * t31; in func_pol()
1686 … * t1483 / 0.64e2 + t23 * t597 / 0.8e1 - t1491 * t1493 / 0.384e3 + t583 * t1497 / 0.128e3 - t201 *… in func_pol()
2095 …* t32 / 0.256e3 + 0.3e1 / 0.8e1 * t481 * t1479 - 0.7e1 / 0.96e2 * t1351 * t1497 - 0.3e1 / 0.32e2 *… in func_pol()
|
| H A D | gga_c_wi.c | 856 double t1484, t1485, t1486, t1491, t1492, t1493, t1494, t1497; in func_pol() local
1659 …t1497 = t1485 - t1486 - 0.35e2 / 0.16e2 * t1378 - 0.35e2 / 0.8e1 * t1380 + 0.7e1 / 0.4e1 * t1382 -… in func_pol()
1676 v4rhosigma3[1] = t1484 + t1497 + t1529 + t1547; in func_pol()
|
| H A D | gga_k_lc94.c | 974 double t1496, t1497, t1499, t1509, t1512, t1516, t1525, t1527; in func_pol() local
1825 …t1497 = -0.5e1 / 0.864e3 * t362 * t579 * t30 * sigma[0] + t1482 * t1484 / 0.20736e5 + t129 * t574 … in func_pol()
1833 …t1532 = -0.2e1 * t1296 * t283 + 0.4e1 * t1299 * t596 + t1497 * t59 - t1499 * t177 - 0.6e1 * t890 *… in func_pol()
2271 t3293 = t1497 * t155; in func_pol()
|
| /dports/science/libxc/libxc-5.0.0/src/maple2c/mgga_exc/ |
| H A D | mgga_c_revscan.c | 3836 double t1485, t1486, t1489, t1490, t1493, t1494, t1497, t1504; in func_pol() local
6770 t1497 = t662 * t198; in func_pol()
7025 …333333e0 * t1998 * t207 + 0.12566666666666666667e1 * t1497 * t667 + 0.12566666666666666667e1 * t14… in func_pol()
8828 …333333e0 * t1497 * t860 + 0.62833333333333333333e0 * t1497 * t882 - 0.12566666666666666667e1 * t14… in func_pol()
9003 …3334e1 * t1497 * t1505 - 0.12566666666666666667e1 * t1497 * t1509 - 0.12566666666666666667e1 * t14… in func_pol()
9312 …t1497 * t2036 + 0.62833333333333333333e0 * t507 * t6223 + 0.62833333333333333333e0 * t507 * t6271 … in func_pol()
14728 …0002e1 * t1497 * t5142 + 0.25133333333333333334e1 * t1497 * t5069 + 0.25133333333333333334e1 * t14… in func_pol()
14784 …t1497 * t5466 - 0.37700000000000000001e1 * t5120 * t2010 - 0.37700000000000000001e1 * t1497 * t547… in func_pol()
14785 …t1497 * t5481 - 0.18850000000000000000e1 * t1497 * t5485 + 0.37700000000000000001e1 * t839 * t6283… in func_pol()
14793 …t1494 * t2029 + 0.10e2 * t1497 * t5561 - 0.20e2 / 0.3e1 * t1497 * t5564 + 0.5e1 / 0.3e1 * t1494 * … in func_pol()
[all …]
|
| H A D | mgga_x_rtpss.c | 1533 double t1461, t1464, t1465, t1477, t1481, t1497, t1502, t1504; in func_ferr() local
2221 t1497 = t297 * t32; in func_ferr()
2279 …t1668 = 0.5e1 / 0.4e1 * t739 + 0.9e1 / 0.8e1 * t1497 * t1232 - 0.3e1 / 0.4e1 * t297 * t1235 + 0.9e… in func_ferr()
2384 …t1942 = 0.9e1 / 0.8e1 * t1497 * t1508 + 0.75e2 / 0.16e2 * t1928 - 0.9e1 / 0.128e3 * t1930 - 0.81e2… in func_ferr()
2601 …* t2218 * t741 * t382 + 0.9e1 / 0.8e1 * t1497 * t2459 + 0.9e1 / 0.16e2 * t1497 * t2462 - 0.45e2 / … in func_ferr()
2629 …1 * t2937 * t1661 - 0.45e2 / 0.16e2 * t1497 * t2710 + 0.45e2 / 0.8e1 * t1374 * t809 * t2981 + 0.9e… in func_ferr()
2687 …t3947 = -0.15e2 / 0.16e2 * t1753 - 0.45e2 / 0.32e2 * t1497 * t2959 + 0.9e1 / 0.8e1 * t1497 * t2962… in func_ferr()
2712 ….15e2 / 0.8e1 * t1836 - 0.45e2 / 0.16e2 * t1497 * t3258 + 0.9e1 / 0.8e1 * t1497 * t3240 + 0.9e1 / … in func_ferr()
2741 …t4466 = -0.45e2 / 0.16e2 * t1930 - 0.135e3 / 0.32e2 * t1497 * t3484 + 0.27e2 / 0.8e1 * t1497 * t34… in func_ferr()
2954 double t1492, t1497, t1499, t1501, t1504, t1505, t1506, t1508; in func_pol() local
[all …]
|
| H A D | mgga_k_pc07.c | 1153 t1497 = t157 * t371; in func_unpol()
1154 t1498 = t147 * t1497; in func_unpol()
1863 t4001 = t1497 * t3993; in func_unpol()
2454 t6972 = t1497 * t6840; in func_unpol()
2872 t9727 = t1497 * t9395; in func_unpol()
2941 t10184 = t1497 * t10183; in func_unpol()
9647 t1497 = t429 * t429; in func_pol()
10928 t4580 = t1497 * t330; in func_pol()
11657 t6563 = t1497 * t429; in func_pol()
11804 t7027 = t1320 * t1497; in func_pol()
[all …]
|
| /dports/science/libxc/libxc-5.0.0/src/maple2c/lda_exc/ |
| H A D | lda_c_vwn.c | 820 double t1490, t1491, t1493, t1494, t1495, t1496, t1497, t1499; in func_pol() local
1714 t1497 = t282 * t558; in func_pol()
1719 …1481 - t1482 / 0.24e2 - t1484 / 0.12e2 - t1491 / 0.24e2 - t1494 - t1496 - t1497 / 0.24e2 + 0.8e1 *… in func_pol()
2157 …22 - t3123 - t1482 / 0.8e1 - t1484 / 0.4e1 - t1491 / 0.8e1 - t3127 - t3128 - t1497 / 0.8e1 + t1635; in func_pol()
2171 …0.12e2 - t1484 / 0.6e1 - t1491 / 0.12e2 - t1493 / 0.3e1 - t1495 / 0.3e1 - t1497 / 0.12e2 + 0.16e2 … in func_pol()
|