\(
\def\pml{{ ‰}}
\def\pmf{{ ‰ \phantom.}}
\def\pmm{{ ‰ \! ‰}}
\def\pmmf{{ ‰ \! ‰ \phantom\%}}
\DeclareMathOperator {\arccot} {arccot}
\DeclareMathOperator {\arcsec} {arcsec}
\DeclareMathOperator {\arccsc} {arccsc}
\DeclareMathOperator {\sech} {sech}
\DeclareMathOperator {\csch} {csch}
\DeclareMathOperator {\arsinh} {arsinh}
\DeclareMathOperator {\arcosh} {arcosh}
\DeclareMathOperator {\artanh} {artanh}
\DeclareMathOperator {\arcoth} {arcoth}
\DeclareMathOperator {\arsech} {arsech}
\DeclareMathOperator {\arcsch} {arcsch}
\)
Integermania!
Expert Tips
To become an expert at solving Integermania-style problems (or to write software to do the same), there are some topics that are worth learning:
Operations
There are basically three types of operations you will encounter when playing Integermania. We shall call them binary operations, unary operations, and limited operations.
Binary operations are those mathematical operations which require two inputs to produce a result. All four basic operations of mathematics are binary: addition, subtraction, multiplication, and division. Another common binary operation is exponentiation. Also in this category are nth roots, base-b logarithms, combinations, and permutations.
Unary operations are mathematical operations which use only one input to produce a result. The most common unary operations are factorials, square roots, and percents. Other unary operations include per mille, base 10 logarithms, natural logarithms, trig and inverse trig functions, hyperbolic and inverse hyperbolic functions, the Gamma function, and various sequences.
Limited operations are those operations which, if used, must be done before any binary or unary operation. There are three such operations, each affecting the place value of the digit. They are:
- Juxtaposition of digits, such as $25$, which is a binary operation.
- Use of a decimal point, such as $2.5$ (which is binary) or $.5$ (which is unary). Note that $.25$ is still unary, since the two digits are not joined by the decimal point.
- Use of the bar for a repeating decimal, such as $.\overline{2} = .222222222222...$, which is a unary operation.
Levels and Surcharges
In order to identify the simplest, most exquisite solutions, each specific operation is assigned a level. They are grouped as follows:
- The four basic operations.
- The common operations involving place value. These include all three limited operations, plus percents. Although per mille is essentially a place value operation, it is not a common mathematical symbol, so was assigned into the next higher level.
- Exponents, radicals, factorials, and per mille.
- Basic algebraic functions. These include the logarithmic and exponential functions, trigonometric and inverse trigonometric functions, and hyperbolic and inverse hyperbolic functions. The gamma function was assigned into the next level as it is typically not encountered as early as the algebraic functions of this level.
- Some arithmetic operations. The most commonly encountered functions of this category include combinations, permutations, and the gamma function.
- Some basic sequence and number theory functions.
- Other advanced functions.
Surcharges are added for unary operations, but not for binary operations. The number of binary operations you can have with $n$ digits is exactly $n - 1$, but the number of unary operations that can be used is limitless. Therefore, to recognize that the use of an excessive number of unary operations can lead to very ugly results, a surcharge is applied for each unary operation (even those unary limited operations). The following table illustrates some of the possibilities for creating $6$ from the set $\{1,2,3,4\}$, so that you may see how the levels and surcharges interact:
Level 1.0 $4 + 3 - 2 + 1$ |
Level 1.2 $-2 + 4 + 3 + 1$ |
Level 1.4 $\dfrac{(-4) \times (-3)}{2} \times 1$ |
Level 1.6 $\dfrac{(-4) \times (-3)}{-2 + 1}$ |
Level 1.8 $\dfrac{(-4) \times (-3)}{-2} \times (-1)$ |
Level 2.0 $\dfrac{24}{3 + 1}$ |
Level 2.2 $\dfrac{1}{.2} + 4 - 3$ |
Level 2.4 $\dfrac{4}{2 \times .\overline{3}} \times 1$ |
Level 2.6 $\dfrac{.4 - .3}{2\%} + 1$ |
Level 2.8 $\dfrac{.4 \times .1}{2 \times .\overline{3}}$ |
Level 3.0 $3^2 - 4 + 1$ |
Level 3.2 $2^3 - 1 \times \sqrt{4}$ |
Level 3.4 $\dfrac{4!}{3!} + \sqrt[1]{2}$ |
Level 3.6 $\dfrac{(4 + 1^3 )!\pmf}{2\%}$ |
Level 3.8 $\dfrac{4^1 \%}{2 \times .\overline{3}\%}$ |
Level 4.0 $3 + 1 + \log_2(4)$ |
Level 4.2 $\dfrac{4 \times 3}{2} + \log(1)$ |
Level 4.4 $\cot\arctan \left(\dfrac{1 \times 2}{3 \times 4}\right)$ |
Level 4.6 $\dfrac{4 \times 1}{\tanh\ln\sqrt{3}} - 2$ |
Level 4.8 $\dfrac{3 \times 1}{\sinh\ln 2 - \cot\arctan 4}$ |
Level 5.0 $1^3 \times {}_4 C_2$ |
Level 5.2 $(3 - 2 \times 1) \times \Gamma(4)$ |
Level 5.4 $\dfrac{-\log(1\%\%\%)}{\dfrac{3!}{2} - \sqrt{4}}$ |
Level 5.6 ${}_4 P_2 - 3! \times \cot\arctan 1$ |
Level 5.8 $\dfrac{\ln\sqrt{\exp 24}}{\Gamma(3)} \times 1$ |
Integers are always exact values, and the use of rounding indicates a certain sloppiness in obtaining a result. If through unary operations on a single digit, the number $1$ is obtainable, then every positive integer is obtainable by the formula $n = -\log\sqrt{1\%\%...\%}$, using $n$ percent signs. Therefore, rounding is really unnecessary, and heavily discouraged by additional surcharges.
On this site, the best solutions (at the lowest level) are sought.
Repeating Decimals
A rational number is a number that can be written as a quotient of two integers. In decimal form, every rational number either terminates or eventually has an eternally repeating group of digits. Any decimal which neither terminates nor eternally repeats is an irrational number.
Being able to convert a repeating decimal to fraction form, or vice versa, is useful. A single digit with a repeating bar is always ninths, as, for example:
- $.\overline{2} = \dfrac29$.
- $.\overline{9} = \dfrac99 = 1$. This special case is useful for converting a $9$ into a $1$.
With multiple digits behind the decimal point, and possibly multiple digits under the bar, the results are slightly more involved, but really quite similar. Here are a few examples.
- $0.2345 = \dfrac{2345}{10000}$
- $0.234\overline{5} = \dfrac{234}{1000} + \dfrac{5}{9000} = \dfrac{2111}{9000}$
- $0.23\overline{45} = \dfrac{23}{100} + \dfrac{45}{9900} = \dfrac{2322}{9900}$
- $0.2\overline{345} = \dfrac{2}{10} + \dfrac{345}{9990} = \dfrac{2343}{9990}$
- $0.\overline{2345} = \dfrac{2345}{9999}$
Percent and Per Mille
The percent sign, $\%$, means "out of 100", and the per mille sign, $\pml$, means "out of 1000". Both are very useful in creating larger integers. Percent is a level 2 unary operation, while per mille is a level 3 unary operation.
Although $\dfrac74 = 1.75$ may not seem useful since the result is not an integer, every fraction will give rise to a whole sequence of values. If the fraction produced a terminating decimal, then larger integers can also be obtained. Consider the following related values:
- $\dfrac{7}{4\%} = 175$
- $\dfrac{7}{.4\%} = \dfrac{7}{4\pmf} = 1750$. The first gives a better (lower) level itself, but if level 3 functions are already in use, the second will produce the lower level.
- $\dfrac{7}{4\%\%} = 17500$
- $\dfrac{7}{4\%\pmf} = 175000$
Note that division by repeating decimals will also generate a sequence of solutions.
If division is used on quantities that already involve other operations, more creativity might be needed. For example, $\dfrac{7!}{\sqrt{4}} = 2520$. This gives rise to a sequence of values both larger and smaller:
- $\dfrac{7!\pmf}{(\sqrt{4})\%} = \dfrac{7!\%}{\sqrt{4\%}} = 252$. Both of these are actually at the same level, but sometimes the form of the solution cannot "absorb" a modification as happened in the second solution. The modification used in the first solution is always possible.
- $\dfrac{7!}{\sqrt{4}} = 2520$
- $\dfrac{7!\%}{(\sqrt{4})\pmf} = \dfrac{7!}{\sqrt{4\%}} = 25200$. In this particular example, the second solution is better, but the form of the first is sometimes necessary when the modification to the denominator cannot be absorbed into a square root, or another unary operation.
- $\dfrac{7!}{(\sqrt{4})\%} = 252000$
Note how the use of both percent and per mille in the same fraction allowed us to multiply or divide a result by 10. This may not be possible with a decimal point alone, when other operations have occurred in the numerator or denominator, as the decimal point is a limited operation.
Square and nth Roots
A square root, such as $\sqrt{5}$, is a special case of an nth root, $\sqrt[2]{5}$. The index $2$ indicates that if the root is raised to the second power (i.e., squared), the value underneath the radical sign will result. Square roots can be written with or without the index; they are unary operations when written without an index, and binary when written with the index. Other roots always require an explicit index. Both square roots and nth roots are level 3 operations.
The most useful square roots are:
- $\sqrt{4} = 2$. Also $\sqrt{4\%} = .2$
- $\sqrt{9} = 3$. Also $\sqrt{9\%} = .3$
- $\sqrt{.\overline{4}} = .\overline{6}$. In fractional form, this says $\sqrt{\dfrac49} = \sqrt{\dfrac23} = \sqrt{\dfrac69}$.
The most useful specific nth root is probably:
- $\sqrt[3]{8} = 2$, which would be a slightly better solution than $8 - 3! = 2$.
Some general nth root rules are worth noting:
- $\sqrt[n]{x} = x^{1/n}$, true for all nonzero values of $n$.
- $\sqrt[2]{x} = \sqrt{x}$, useful when an extra $2$ needs to be used.
- $\sqrt[.5]{x} = x^2$, so squaring can be done with a $5$ as well as a $2$.
- $\sqrt[\sqrt{.\overline{1}}]{x} = x^3$, an alternative form of a cube.
- $\sqrt[-n]{x} = \dfrac{1}{\sqrt[n]{x}}$, the reciprocal of an nth root.
- $\sqrt[1]{x} = x$, a bit of an oddity that you should not use, as it can always be written at a lower level.
Factorials
The factorial of the integer $x$ is written $x!$. It is defined to be the product of all of the integers from $1$ to $x$ inclusive. In other words: $x! = (x)(x-1)(x-2)...(3)(2)(1)$. Factorials are not defined for non-integers (in spite of some calculators computing them, what they are actually giving you is related to a gamma function). The factorial is a level 3 unary operation.
Factorials are very useful in finding Integermania solutions. Those factorials involving single digits include:
- $0! = 1$, extremely useful to "create something out of nothing".
- $3! = 6$, so also $(\sqrt{9})! = 6$.
- $4! = 24$
- $5! = 120$
- $6! = 720$, so also $(3!)! = 720$ and $((\sqrt{9})!)! = 720$.
- $7! = 5040$
- $8! = 40320$
- $9! = 362880$
For some factorial computations, percents can also be useful. For example:
- $10!\% = 36288$
- $(8! - 6!)\% = 396$
After $1! = 1$, factorials are never perfect squares, but a few of them come close. They give rise to the following potentially useful results:
- $\sqrt{4! \times 6} = 12$
- $\sqrt{5! + 1} = 11$, and also $\sqrt{\dfrac{5!}{.3}} = 20$
- $\sqrt{6! + 9} = 27$, and also $\sqrt{6! \times 5} = 60$
- $\sqrt{8! \times .7} = 168$, and also $\sqrt{\dfrac{8!}{.7}} = 240$
- $\sqrt{9! \times .7} = 504$, and also $\sqrt{\dfrac{9!}{.7}} = 720$
- $\sqrt{10! \times 7} = 5040$, and also $\sqrt{\dfrac{10!}{7}} = 720$
A word of caution, the expression $x!!$ is actually different than $(x!)!$. The first is a "double factorial", which is a level 7 operation. The second is the factorial of a factorial, a pair of level 3 operations, which we used above when we gave the example $(3!)! = 720$.
Some Strategies
If you want to become an Integermania expert, you will need to go beyond randomly selecting some operations and seeing what occurs. Here are some strategies, and for each of our examples, we will assume that our initial set of digits is $\{3, 4, 6, 7\}$.
- Know your singles and pairs. You should be able to quickly recognize the values that can be obtained from any two digits in your initial set, using level 3 or better (lower level) operations. For example, given the pair of digits $4$ and $7$, you should immediately recognize $11$, $3$, $28$, $\dfrac47 = 0.\overline{571428}$, $\dfrac74 = 1.75$, $47$, $74$, and if you were looking for some large values, $16384$ and $2401$. And the use of factorials and/or square roots on either the digits or one of these pairs will allow you to include $9$, $5$, $14$, $\dfrac27$, $\dfrac72$, $128$, $49$, $31$, $17$, $168$, $\dfrac{24}{7}$, $\dfrac{7}{24}$, $6$, $720$, and $120$. (Can you create each of these from $4$ and $7$?)
- Exhaust a pattern. If you find $6^3 = 216$ is in the neighborhood of your goal, then use the list of pairs you generated from $4$ and $7$ to obtain solutions. These might include $205$, $207$, $210$, $211$, $213$, $219$, $221$, $222$, $225$, and $227$. (Can you determine how we obtained each of these?)
- Keep a record of each hundred solutions. List the numbers from 1 to 100 (or 201 to 300, or similar). Each time you find a result in that range, add the solution to your list. If you find a better solution by another method, keep the new solution.
- Factor your goal. If your goal is $228$, its prime factorization is $2^2 \times 57$, so $2 \times 114$ and $4 \times 57$ are the different ways it factors into two values. Since we already have a $4$ in our initial set, we would need to create $57$ from whats left. (It is possible. Can you do it?)
- Consider powers near to your goal. One way to find them is to take a square root, a cube root, a fourth root, etc. For $228$, we would find it is near $15^2 = 225$, $6^3 = 216$, $4^4 = 256$, and $3^5 = 243$. (Can you get to $228$ from here?)
- Multiply and divide your goal by tenths, and by ninths. This will give you four lists. Scan the lists for the digits of your initial set, and/or those which are close to easily obtainable numbers. For the goal of $228$, we get:
- $22.8, 45.6, 68.4, 91.2, 114, 136.8, 159.6, 182.4, 205.2$
- $2280, 1140, 760, 570, 456, 380, 325.714..., 285, 253.333...$
- $25.333..., 50.666..., 76, 101.333..., 101.333..., 126.666..., 152, 177.333... 202.666...$
- $2052, 1026, 684, 513, 410.4, 342, 293.142..., 256.5$
In this list, $760 = \dfrac{228}{.3}$ and $76 = 228 \times .\overline{3}$ jump out. (Can you create $228$ from these clues, being sure to use the digit $4$ as well?)
- Divide your goal by the factorials. How is your goal related to $24$, $120$, $720$, or $5040$? We find it interesting that $\dfrac{228}{4!} = 9.5$, $\dfrac{228}{5!} = 1.9$, and $\dfrac{228}{6!} = 0.31\overline{6}$. So maybe our goal is near $4! \times 10$, or $5! \times 2$, or $6! \times .3$. (Can you find a way to $228$ from here?)
- Tweak nearby solutions. If a nearby solution is "stuff $+ 9$", and you would like to have "stuff $+ 6$", just write "stuff $+ (\sqrt{9})!$. (Could you do something similar if you needed "stuff $+ 2$?)
- Computerize your methods.
Negative Exponents
Mathematically, the use of negative exponents is another form of division by decimals, but there is no explicitly written numerator. As exponents, these are still level 3 operations. Although we would not normally write $(.5)^{-3} = 8$ because $5 + 3 = 8$ is at a better level, it does give rise to the following sequence of solutions:
- $(5\%)^{-3} \% = 80$
- $(5\pml)^{-3} \%\% = 800$
- $(5\%)^{-3} = 8000$
- $(5\pml)^{-3} \% = 80000$
- $(5\%\%)^{-3} \%\% = 800000$
- $(5\pml)^{-3} = 8000000$
Logarithms
Logarithms are level 4 operations, and can be either binary or unary, depending on whether the base is explicitly stated or not. Of those that are binary operations involving single digits, the most useful are probably
- $\log_2(8) = 3$ and its reciprocal $\log_8(2) = .\overline{3}$
- $\log_3(9) = 2$ and its reciprocal $\log_9(3) = .5$. However, be aware that a lower level solution does exist, although it uses more surcharges, in $\dfrac{3!}{\sqrt{9}} = 2$.
- $\log_4(8) = 1.5$ and its reciprocal $\log_8(4) = .\overline{6}$
Using a unary logarithm, we offer the first few terms of the following very useful infinite sequence:
- $-\log(1\%) = 2$
- $-\log(1\pml) = 3$
- $-\log(1\%\%) = 4$
- $-\log(1\%\pml) = 5$
Although $\log(1) = 0$ may appear useful in ridding yourself of an unwanted $1$, most likely multiplying by $1$ will achieve the same result.
Natural logarithms can also be used with the exponential function to obtain some special results:
- $\ln\sqrt{\exp x} = \dfrac12 x$, so one-half of any quantity can be found. Similarly, $\ln\sqrt{\sqrt{\exp x}} = \dfrac14 x$, and so on.
- $\ln\sqrt{\exp (x + y)} = \dfrac{x + y}{2}$, so the average (arithmetic mean) of any two numbers can be found.
Trigonometric Functions
All of the trigonometric functions are level 4 operations. Since some calculators do not have some of the six standard trigonometric functions built in, it is hoped that you are familiar with the following identities:
- $\cot x = \dfrac{1}{\tan x}$, $\sec x = \dfrac{1}{\cos x}$, and $\csc x = \dfrac{1}{\sin x}$
In the mathematical world, trigonometric functions are assumed to use radians, unless degrees are explicitly stated. Therefore, $\sin(30) = -0.9880316...$, but $\sin(30^{\circ}) = 0.5$. In a sense, the symbol ${}^{\circ}$ is acting like the conversion factor $\dfrac{\pi}{180}$.
If $\pi$ is not a permitted "digit", nice rational results will typically need the use of degree measure, and then probably using multiples of $30^{\circ}$ or $45^{\circ}$. Here are some examples:
- $\sin(30^{\circ}) = .5$, and $\csc(30^{\circ}) = 2$
- $\tan(45^{\circ}) = \cot(45^{\circ}) = 1$
- $\cos(60^{\circ}) = .5$, and $\sec(60^{\circ}) = 2$
- $\sec(5!^{\circ}) = -2$
- When $x \ge 6$ is an integer, $\sin(x!^{\circ}) = 0$. This provides a nice way of getting rid of an unwanted large integer.
Inverse Trigonometric Functions
The inverse trigonometric functions are also level 4 operations. They are trickier to define, because the domain of the trig function has to be restricted before a unique inverse can be obtained. For three of the inverse trig functions, $\arcsin x$, $\arccos x$, and $\arctan x$, there is common agreement on the restriction. For the other three, disagreement exists, which affects the range of each of the functions, although first quadrant results are never affected. We shall use those definitions that satisfy the following identities:
- $\arccot x = \dfrac{\pi}{2} - \arctan x$, which produces results between $0$ and $\pi$. This definition gives a continuous arccotangent function, but makes a reciprocal identity more difficult.
- $\arcsec x = \arccos \dfrac{1}{x}$, which produces results between $0$ and $\pi$.
- $\arccsc x = \arcsin \dfrac{1}{x}$, which produces results between $-\dfrac{\pi}{2}$ and $\dfrac{\pi}{2}$.
To convert the radian measure result of an inverse trig function to degree measure, you typically divide by the conversion factor $\dfrac{\pi}{180}$. Without a $\pi$, a ratio can be used. For example:
- $\dfrac{\arccos(.5)}{6^{\circ}} = 10$
The composition of a trig function and an inverse trig function can create many new possibilities. Some special results include:
- $\cot\arctan x = \dfrac{1}{x}$. Therefore the reciprocal of any nonzero expression can be obtained without fractions or exponents.
- $\cot\arctan\ln\sqrt{\exp \cot\arctan x} = 2x$. Therefore any nonzero expression can be doubled without a $2$.
Here are some other useful general formulas. These may produce rational results when $x$ is the ratio of two values from a Pythagorean triple.
- $\cos\arcsin x = \sqrt{1 - x^2}$, $\tan\arcsin x = \dfrac{x}{\sqrt{1 - x^2}}$, $\cot\arcsin x = \dfrac{\sqrt{1 - x^2}}{x}$, and $\sec\arcsin x = \dfrac{1}{\sqrt{1 - x^2}}$. Rational results will occur when $x$ is the ratio of a leg to the hypotenuse from a Pythagorean triple.
- $\sin\arctan x = \dfrac{x}{\sqrt{x^2 + 1}}$, $\cos\arctan x = \dfrac{1}{\sqrt{x^2 + 1}}$, $\sec\arctan x = \sqrt{x^2 + 1}$, and $\csc\arctan x = \dfrac{\sqrt{x^2 + 1}}{x}$. Rational results will occur when $x$ is the ratio of two legs in a Pythagorean triple.
- $\tan\arcsec x = \sqrt{x^2 - 1}$. Rational results will occur when $x$ is the ratio of the hypotenuse to a leg from a Pythagorean triple.
They give rise to the following (incomplete) list of results:
- $\tan\arcsec\sqrt{2} = 1$
- $\sec\arctan\sqrt{3} = 2$, and also $\cos\arctan\sqrt{3} = .5$
- $\tan\arcsec\sqrt{\sqrt{4}} = 1$
- $\tan\arcsec\sqrt{5} = 2$, and also $\tan\arcsin\sqrt{.5} = 1$
- $\tan\arcsin(.6) = .75$, $\cos\arcsin(.6) = .8$, $\sec\arcsin(.6) = 1.25$, and $\cot\arcsin(.6) = 1.\overline{3}$
- $\tan\arcsin\sqrt{.8} = 2$, $\sec\arctan\sqrt{8} = 3$, and also $\cos\arctan\sqrt{8} = .\overline{3}$, $\cot\arcsin\sqrt{.8} = .5$, $\cos\arcsin(.8) = .6$, $\sin\arctan\sqrt{.8} = .\overline{6}$, $\cot\arcsin(.8) = .75$, $\tan\arcsin(.8) = 1.\overline{3}$, $\csc\arctan\sqrt{.8} = 1.5$, and $\sec\arcsin(.8) = 1.\overline{6}$
- $\sec\arctan\sqrt{\sqrt{9}} = 2$
For producing a particular value, the following results may be useful:
- $\sec\arctan\sqrt{x^2 - 1} = x$, valid for $|x| \ge 1$
- $\tan\arcsec\sqrt{x^2 + 1} = x$, valid for all real numbers
- $\cos\arcsin\sqrt{1 - x^2} = x$, valid for $|x| \le 1$
Hyperbolic Functions
All of the hyperbolic and inverse hyperbolic functions are level 4 operations. Not as well known as the trig functions, they are in some respects similar to them. The definitions of the two basic hyperbolic functions are:
- $\sinh x = \dfrac{e^x - e^{-x}}{2}$ and $\cosh x = \dfrac{e^x + e^{-x}}{2}$
The other four hyperbolic functions are related to these two original functions in the same way that the other four trig functions are related to sine and cosine:
- $\tanh x = \dfrac{\sinh x}{\cosh x}$, $\coth x = \dfrac{1}{\tanh x}$, $\sech x = \dfrac{1}{\cosh x}$, and $\csch x = \dfrac{1}{\sinh x}$
By themselves these functions would not produce many useful results. But combined with a natural logarithm, integer input will produce rational values.
- $\sinh\ln x = \dfrac{x^2 - 1}{2x}$, $\cosh\ln x = \dfrac{x^2 + 1}{2x}$, and $\tanh\ln x = \dfrac{x^2 - 1}{x^2 + 1}$
- Their reciprocals: $\coth\ln x = \dfrac{x^2 + 1}{x^2 - 1}$, $\sech\ln x = \dfrac{2x}{x^2 + 1}$ and $\csch\ln x = \dfrac{2x}{x^2 - 1}$
- Additionally worth noting: $\tanh\ln\sqrt{x} = \dfrac{x - 1}{x + 1}$ and $\coth\ln\sqrt{x} = \dfrac{x + 1}{x - 1}$
The integer solutions from these formulas most often involve $\coth\ln\sqrt{x}$, and they include:
- $\coth\ln\sqrt{2} = 3$
- $\coth\ln\sqrt{3} = 2$
- $\coth\ln\sqrt{\sqrt{4}} = 3$
- $-\coth\ln\sqrt{.5} = 3$
- $-\coth\ln\sqrt{.6} = 4$ and $-\coth\ln\sqrt{.\overline{6}} = 5$
- $-\coth\ln\sqrt{.\overline{7}} = 8$
- $-\coth\ln\sqrt{.8} = 9$ and $-\coth\ln\sqrt{.\overline{8}} = 17$
- $\coth\ln\sqrt{\sqrt{9}} = 2$ and $-\coth\ln\sqrt{.9} = 19$
Additionally, the following results are certainly interesting, and may also be useful:
- $\coth\ln\sqrt{\dfrac{.\overline{x}}{.x}} = 19$ for any digit $x$ from $1$ to $9$
- $x \coth\ln\sqrt{x + 1} = x + 2$, so two consecutive integers can be used to produce the next one
- $x \tanh\ln\sqrt{x - 1} = x - 2$, so two consecutive integers can be used to produce the previous one
- $\coth\ln\sqrt{\coth\ln x} = x^2$, so any quantity can be squared without the digit $2$. This also implies that all of the trig inverse trig compositions in the previous section can be rationalized.
Inverse Hyperbolic Functions
Just as the hyperbolic functions were defined in terms of exponential functions, the inverse hyperbolic functions are found to be related to the natural logarithm functions. They are also level 4 operations.
- $\arsinh x = \ln\left(x + \sqrt{x^2 + 1}\right)$, and $\arcosh x = \ln\left(x + \sqrt{x^2 - 1}\right)$.
- $\artanh x = \ln\sqrt{\dfrac{1 + x}{1 - x}}$, and $\arcoth x = \ln\sqrt{\dfrac{x + 1}{x - 1}}$.
- $\arsech x = \ln\left(\dfrac{1}{x} + \sqrt{\dfrac{1}{x^2} - 1}\right)$, and $\arcsch x = \ln\left(\dfrac{1}{x} + \sqrt{\dfrac{1}{x^2} + 1}\right)$.
With the formulas above, we would not expect many integer results, or even rational results, for any nonzero inputs. But a composition of these functions with the exponential function can give some usable results.
- $\exp\arsinh x = x + \sqrt{x^2 + 1}$, and $\exp\arcosh x = x + \sqrt{x^2 - 1}$.
- $\exp\artanh x = \sqrt{\dfrac{1 + x}{1 - x}}$, and $\exp\arcoth x = \sqrt{\dfrac{x + 1}{x - 1}}$.
- $\exp\arsech x = \dfrac{1}{x} + \sqrt{\dfrac{1}{x^2} - 1}$, and $\exp\arcsch x = \dfrac{1}{x} + \sqrt{\dfrac{1}{x^2} + 1}$.
From these, we learn that:
- $\exp\artanh(.6) = 2$, and $\exp\arsech(.6) = 3$.
- $\exp\artanh(.8) = 3$, and $\exp\arsech(.8) = 2$.
Given that we had so much success with $\coth\ln\sqrt{x}$, we would probably expect great things from its inverse, which is $\left(\exp\arcoth x\right)^2 = \dfrac{x + 1}{x - 1} = \coth\ln\sqrt{x}$. In other words, $\coth\ln\sqrt{x}$ is its own inverse, which puts us in the paradoxical position that inverses of a very useful function will not be very useful!