Here are examples of how Formula Search can be used. Click the arrow next to each description to see the completed formula search page.

	Find all formulas that are transformations of the inverse cosine function and contain square roots. Results will be ordered so identities with a minimal number of functions in addition to Sqrt and ArcCos appear first.
	Find all formulas that contain the constants Pi and E, and are continued fraction expansions.
	Find all series expansions of any of the six trigonometric functions that do not contain Infinity.
	Find limit representations of the Dirac delta function.
	Find the singularities of the twelve Jacobi elliptic functions.
	Find the position and type of the branch points of the six inverse hyperbolic functions.
	Find all integrals that contain powers of cos and sin under the integrand and that can be expressed using only elementary functions.
	Find all formulas that contain the number 1728.
	Find all special cases of hypergeometric functions that mathematically match the pattern 2F2[a, a + 1; 1 - a , b - 1; z].
	Find all formulas that contain derivatives of incomplete elliptic integrals.
	Find inequalities for the divisor sigma function.
	Find all formulas that contain any hypergeometric function and the error function.
	Find all integral representations of the four Airy functions.
	Find infinite product representations of the twelve Jacobi functions.
	Find all series-type formulas that have Log[Log[...]] constructs within them.
	Find functional equations of the dilogarithm function.
	Find all series expansions of the hypergeometric function 3F2.
	Find all special values of Cosine for numeric arguments.
	Find addition-type formulas for the cosine function.
	Find all formulas that contain Log[Exp[...]].