The *tetraroot* or *hyperroot*^{[1]} of order n of x, ^{1/n}x is defined by the rule:

^{1/n}x=y <=> x=^{n}y, or equivalently:
^{n}(^{1/n}x)=^{1/n}(^{n}x)=x.

There appears to be a process based on *continued fraction* decomposition which allows the reduction of any rational hyperexponent in tetration to a tetraroot hyperexponent (a unit fraction). The process for the interval (0,1) can be summarized as follows:

Given m/n with GCD(m,n)=1 and 0<m/n<1:

- mirror m/n into n/m using the definition of tetraroot.
- use definition of tetration until the resultant hyperexponent falls inside (0,1).
- repeat 1) and 2) until all tetration hyperexponents are unit fractions.

Let's see an example:

What is ^{7/11}e? Call it a_{1}. Then, applying the algorithm above:

^{7/11}e=a_{1}=>

e=^{11/7}a_{1} (mirror)=>

e=a_{1}^{(4/7a1)} (use definition)

Now we are looking for ^{4/7}a_{1}:

^{4/7}a_{1}=a_{2}=>

a_{1}=^{7/4}a_{2} (mirror)=>

a_{1}=a_{2}^{(3/4a2)} (use definition)

Now we are looking for ^{3/4}a_{2}:

^{3/4}a_{2}=a_{3}=>

a_{2}=^{4/3}a_{3} (mirror)=>

a_{2}=a_{3}^{(1/3a3)} (use definition)

We now back substitute everything, to obtain:

e=a_{1}^{a2}=>

e=(a_{2}^{(3/4a2)})^{a2}=>

e=(a_{2}^{a3})^{a2}=>

e=((a_{3}^{(1/3a3)})^{a3})^{(a3(1/3a3))}

Now we only need solve the last equation for a_{3}. Solving with Maple, we get:
a_{3}=1.418200508

We remember that we are looking for a_{1}, and using again back substitution, we get:

a_{1}=a_{2}^{a3}=>

a_{1}=(a_{3}^{(1/3a3)})^{a3}

Substituting a_{3}=1.418200508 into the above, we get:

a_{1}=1.892317939 =>

^{7/11}e=a_{1}=1.892317939.

The algorithm 1-3 can easily be seen to be equivalent to the Maple code:

> reduce:=proc(m,n)

> local T,M,N;

> M:=m;N:=n;

> print(M,N);

> while M>1 and M<>N do

> T:=M;M:=N;N:=T;#flip

> print(M,N);

> M:=M mod N;#reduce

> print(M,N);

> od;

> end:

In the above example, the reduction was:

> reduce(7,11);

7, 11

11, 7

4, 7

7, 4

3, 4

4, 3

1, 3

It is easy to see that for any fraction m/n, with GCD(m,n)=1 and m/n<1, this algorithm always terminates on a unit fraction, hence tetrating to any rational can be expressed in terms of tetrating with tetraroots.

Let us see what happens with all the rational numbers m/10, m in {0,1,...,10}. Calculating the corresponding values for m/10, we find:

^{0/10}e=1^{1/10}e=1.463958247^{2/10}e=^{1/5}e=1.509672003^{3/10}e=1.560286647^{4/10}e=^{2/5}e=1.641090369^{5/10}e=^{1/2}e=1.763222834^{6/10}e=^{3/5}e=1.884498279^{7/10}e=1.957858227^{8/10}e=^{4/5}e=1.996820345^{9/10}e=2.022406784^{10/10}e=e=2.718281828

Plotting the values:

The function appears^{[2]} to be monotone increasing (although this is no actual proof). Although it looks discontinuous at 0 and 1, no statements can be made about its monotonicity, continuity, differentiability on (n,n+1), for Narural n including 0.

- For more details on tetraroots, consult the article A Detailed Look at the Hyperroot Functions Using Lambert's W Function.
- The function looks suspiciously similar to the function which Gus Weissman plots in his Mathematics page. Because Gus has a graph of a plot of the tetrate decomposition function in his next section and this graph is identical to the tetration timing graph which this author found when he executed the tetration algorithm presented here, the author tends to believe that Gus is using the same algorithm, although the author is not sure.