| Natural logarithm | 0044CPHJBV | definition | 33B10, 26A09 |
| The logarithm grows slower than any power | 00DGYY10FV | statement | 26A12, 33B10 |
| Complex sine and cosine | 00NZKRSWNX | concept | 33B10 |
| Derivative of sine | 00R4MWW532 | statement | 33B10, 26A24 |
| Arcsine | 00Z1YBJJW8 | concept | 33B10 |
| 1 + x is at most exp x | 012C7GFF20 | statement | 33B10, 26D15 |
| exp z = 1 iff z is an integer multiple of 2πi | 013AHC4DRT | statement | 33B10 |
| Derivative of the complex exponential | 019H1Z6419 | statement | 33B10 |
| cos pi = -1 | 01A8JGR4JM | statement | 33B10 |
| Hyperbolic functions | 01PPDSDP2N | concept | 33B10 |
| sin x / x tends to 1 | 01QSSKS5C1 | statement | 33B10 |
| Angle addition formulas | 028XEQCE88 | statement | 33B10 |
| Inverse trigonometric functions | 02HTDK1FBD | definition | 33B10 |
| Power series of sine | 02KTRHQMHN | statement | 33B10, 30B10 |
| The complex exponential is 2πi-periodic | 02P2PYH3X3 | statement | 33B10 |
| Complex logarithm | 02QGGD5G87 | concept | 33B10 |
| Branch of the logarithm | 02YSJPQYQH | concept | 33B10 |
| Hyperbolic cosine | 036696EMG2 | concept | 33B10 |
| Pythagorean trigonometric identity | 03H7WZ4T3K | statement | 33B10 |
| de Moivre's formula | 03MTBVG3VE | statement | 33B10 |
| log x is at most x - 1 | 04CBRA4JRK | statement | 33B10, 26D15 |
| Inverse hyperbolic functions | 04D7CHT5V1 | definition | 33B10 |
| Natural logarithm | 04DXAFN2ES | concept | 33B10, 26A09 |
| Euler's formula | 04R3CY41VJ | statement | 33B10 |
| Complex exponential | 054VXHMCA3 | definition | 33B10 |
| Tangent function | 05CG0S20S3 | concept | 33B10 |
| Derivative of arctangent | 05P4B4Q22V | statement | 33B10, 26A24 |
| Inverse trigonometric functions | 05WEYX99X4 | concept | 33B10 |
| Arctangent | 065XW2V6C3 | definition | 33B10 |
| Power series of the exponential function | 06JZGMYTYD | statement | 33B10 |
| cosh^2 - sinh^2 = 1 | 06QCTRFBM0 | statement | 33B10 |
| Tangent function | 06T0HS14PP | definition | 33B10 |
| Complex exponential | 07GJV36896 | concept | 33B10 |
| Derivatives of the hyperbolic functions | 07T2TKGZ4J | statement | 33B10, 26A24 |
| Derivative of the logarithm | 07X1QA6BRW | statement | 33B10, 26A24 |
| Power series of cosine | 08W5RN375X | statement | 33B10, 30B10 |
| Sine and cosine | 08WFZP6P89 | concept | 33B10, 26A09 |
| Real exponentiation | 091AV9YHZY | concept | 26A09, 33B10 |
| Euler's identity | 09285XX7AE | statement | 33B10 |
| Complex sine and cosine | 0A7YDKRNR6 | definition | 33B10 |
| Arcsine | 0B89D93YA1 | definition | 33B10 |
| pi | 0C1VYVNV2N | object | 11Y60, 33B10 |
| Arctangent | 0CE768XNVP | concept | 33B10 |
| Exponential growth beats polynomial growth | 0CT6CBGTYY | statement | 26A12, 33B10 |
| Arccosine | 0CWDVN132S | concept | 33B10 |
| Exponential of a sum | 0E8HNVBCSP | statement | 33B10 |
| Hyperbolic cosine | 0EQFWKJ37J | definition | 33B10 |
| The exponential function is its own derivative | 0EX9GFJ0B3 | statement | 33B10, 26A24 |
| The gamma function extends the factorial | 0FDCW77H44 | statement | 33B15 |
| The complex exponential is entire | 0G2YJN0H5S | statement | 33B10 |
| Derivative of arcsine | 0GA6G43EA9 | statement | 33B10, 26A24 |
| Addition formulas for hyperbolic functions | 0GJZCE87WP | statement | 33B10 |
| Hyperbolic sine | 0GWD21EWRW | definition | 33B10 |
| Hyperbolic sine | 0H1JFKE7H4 | concept | 33B10 |
| Gamma function | 0H5SYBSED9 | concept | 33B15 |
| Exponential function | 0J0FCWV32D | concept | 33B10, 26A09 |
| Hyperbolic functions | 0J6M03WSS6 | definition | 33B10 |
| Logarithm of a quotient | 0J7PHRBNNS | statement | 33B10 |
| Logarithm of a product | 0K2FNY6DYV | statement | 33B10 |
| The exponential function is strictly increasing | 0KN2V7840E | statement | 33B10 |
| Hyperbolic tangent | 0MWYQTZ07Z | definition | 33B10 |
| Sine is 2π-periodic | 0P4NQD746K | statement | 33B10 |
| The exponential function is positive | 0P9BNBW2W3 | statement | 33B10 |
| The exponential series has infinite radius of convergence | 0PVJRACB9H | statement | 30B10, 33B10 |
| Arccosine | 0RDP2HEFEW | definition | 33B10 |
| Logarithm is the inverse of the exponential | 0RKW2X63YR | statement | 33B10 |
| Exponential function | 0RMVS7RXZX | definition | 33B10, 26A09 |
| Complex power | 0RNGDMHT7M | concept | 33B10 |
| Power-reduction formula for cosine | 0S049HG1W5 | statement | 33B10 |
| Derivative of tangent | 0SAMR34WXC | statement | 33B10, 26A24 |
| Branch of the logarithm | 0SQ1F2BEDS | definition | 33B10 |
| Power series of arctangent | 0T32ME0A6H | statement | 30B10, 33B10 |
| Real exponentiation | 0TV07AQT62 | definition | 26A09, 33B10 |
| Derivative of cosine | 0V2DV29EGT | statement | 33B10, 26A24 |
| Gamma function | 0V3FZMVB4K | definition | 33B15 |
| Logarithm of a power | 0V948DE5KA | statement | 33B10 |
| Sine and cosine | 0WB57D9488 | definition | 33B10, 26A09 |
| Inverse hyperbolic functions | 0WFZX06698 | concept | 33B10 |
| Product of exponentials | 0WM7DJCM6G | statement | 33B10 |
| Complex logarithm | 0X2FY491PF | definition | 33B10 |
| Hyperbolic tangent | 0X6C0MAF84 | concept | 33B10 |
| The principal logarithm is holomorphic off the branch cut | 0XVGJE7Q04 | statement | 33B10 |
| Mercator series | 0YZXNE3HFR | statement | 30B10, 33B10 |
| Power series of complex cosine | 0Z1G2F8DGY | statement | 33B10 |
| Complex power | 0ZV9A7EV0F | definition | 33B10 |
