In the calculations of tetragonal BaTiO 3 , some exchange-correlation (XC) energy functionals such as local density approximation (LDA) have shown good agreement with experiments at room temperature (RT), e.g., spontaneous polarization (P S), and superiority compared with other XC functionals. This is due to the error compensation of the RT effect and, hence, will be ineffective in the heavily strained case such as domain boundaries. Here, ferroelectrics under large strain at RT are approximated as those at 0 K because the strain effect surpasses the RT effects. To find effective XC energy functionals for strained BaTiO 3 , we propose a new comparison, i.e., a criterion. This criterion is the properties at 0 K given by the Ginzburg-Landau (GL) theory because GL theory is a thermodynamic description of experiments working under the same symmetry-constraints as ab initio calculations. With this criterion, we examine LDA, generalized gradient approximations (GGA), meta-GGA, meta-GGA + local correlation potential (U), and hybrid functionals, which reveals the high accuracy of some XC functionals superior to XC functionals that have been regarded as accurate. This result is examined directly by the calculations of homogenously strained tetragonal BaTiO 3 , confirming the validity of the new criterion. In addition, the data points of theoretical P S vs. certain crystallographic parameters calculated with different XC functionals are found to lie on a single curve, despite their wide variations. Regarding these theoretical data points as corresponding to the experimental results, analytical expressions of the local P S using crystallographic parameters are uncovered. These expressions show the primary origin of BaTiO 3 ferroelectricity as oxygen displacements. Elastic compliance and electrostrictive coefficients are estimated. For the comparison of strained results, we show that the effective critical temperature T C under strain <0.01 is >1000 K from an approximate method combining ab initio results with GL theory. In addition, in a definite manner, the present results show much more enhanced ferroelectricity at large strain than the previous reports.