Sixteenth-Order Optimal Iterative Scheme Based on Inverse Interpolatory Rational Function for Nonlinear Equations

Abstract

The principal motivation of this paper is to propose a general scheme that is applicable to every existing multi-point optimal eighth-order method/family of methods to produce a further sixteenth-order scheme. By adopting our technique, we can extend all the existing optimal eighth-order schemes whose first sub-step employs Newton’s method for sixteenth-order convergence. The developed technique has an optimal convergence order regarding classical Kung-Traub conjecture. In addition, we fully investigated the computational and theoretical properties along with a main theorem that demonstrates the convergence order and asymptotic error constant term. By using Mathematica-11 with its high-precision computability, we checked the efficiency of our methods and compared them with existing robust methods with same convergence order.

1. Introduction

The formation of high-order multi-point iterative techniques for the approximate solution of nonlinear equations has always been a crucial problem in computational mathematics and numerical analysis. Such types of methods provide the utmost and effective imprecise solution up to the specific accuracy degree of

$$\Omega \left(x\right)=0,$$

(1)

where $\Omega :\mathbb{C}\to \mathbb{C}$ is holomorphic map/function in the neighborhood of required $\xi$. A certain recognition has been given to the construction of sixteenth-order iterative methods in the last two decades. There are several reasons behind this. However, some of them are advanced digital computer arithmetic, symbolic computation, desired accuracy of the required solution with in a small number of iterations, smaller residual errors, CPU time, smaller difference between two iterations, etc. (for more details please see Traub [1] and Petković et al. [2]).

We have a handful of optimal iterative methods of order sixteen [3,4,5,6,7,8,9]. Among these methods most probably are the improvement or extension of some classical methods e.g., Newton’s method or Newton-like method, Ostrowski’s method at the liability of further values of function/s and/or 1st-order derivative/s or extra numbers of sub-steps of the native schemes.

In addition, we have very few such techniques [5,10] that are applicable to every optimal 8-order method (whose first sub-step employs Newton’s method) to further obtain 16-order convergence optimal scheme, according to our knowledge. Presently, optimal schemes suitable to every iterative method of particular order to obtain further high-order methods have more importance than obtaining a high-order version of a native method. Finding such general schemes are a more attractive and harder chore in the area of numerical analysis.

Therefore, in this manuscript we pursue the development of a scheme that is suitable to every optimal 8-order scheme whose first sub-step should be the classical Newton’s method, in order to have further optimal 16-order convergence, rather than applying the technique only to a certain method. The construction of our technique is based on the rational approximation approach. The main advantage of the constructed technique is that it is suitable to every optimal 8-order scheme whose first sub-step employs Newton’s method. Therefore, we can choose any iterative method/family of methods from [5,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25], etc. to obtain further 16-order optimal scheme. The effectiveness of our technique is illustrated by several numerical examples and it is found that our methods execute superior results than the existing optimal methods with the same convergence order.

2. Construction of the Proposed Optimal Scheme

Here, we present an optimal 16-order general iterative scheme that is the main contribution of this study. In this regard, we consider a general 8-order scheme, which is defined as follows:

$$\left\{\begin{array}{cc}\hfill w_r=& x_r-\frac{\Omega \left(x_r\right)}{{\Omega }^{\prime }\left(x_r\right)},\hfill \\ \hfill z_r=& {\varphi }_4(x_r,w_r),\hfill \\ \hfill t_r=& {\psi }_8(x_r,w_r,z_r),\hfill \end{array}\right.$$

(2)

where ${\varphi }_4$ and ${\psi }_8$ are optimal scheme of order four and eight, respectively.

We adopt Newton’s method as a fourth sub-step to obtain a 16-order scheme, which is given by

$$x_{r+1}=t_r-\frac{\Omega \left(t_r\right)}{{\Omega }^{\prime }\left(t_r\right)},$$

(3)

that is non-optimal in the regard of conjecture given by Kung-Traub [5] because of six functional values at each step. We can decrease the number of functional values with the help of following $\gamma \left(x\right)$ third-order rational functional

$$\gamma \left(x\right)=\gamma \left(x_r\right)+\frac{(x-x_r)+b_1}{b_2{(x-x_r)}^3+b_3{(x-x_r)}^2+b_4(x-x_r)+b_5},$$

(4)

where the values of disposable parameters $b_i(1\le i\le 5)$ can be found with the help of following tangency constraints

$$\gamma \left(x_r\right)=\Omega \left(x_r\right),{\gamma }^{\prime }\left(x_r\right)={\Omega }^{\prime }\left(x_r\right),\gamma \left(w_r\right)=\Omega \left(w_r\right),\gamma \left(z_r\right)=\Omega \left(z_r\right).$$

(5)

Then, the last sub-step iteration is replaced by

$$x_{r+1}=t_r-\frac{\Omega \left(t_r\right)}{{\gamma }^{\prime }\left(t_r\right)},$$

(6)

that does not require ${\Omega }^{\prime }\left(t_r\right)$. Expressions (2) and (6) yield an optimal sixteenth-order scheme. It is vital to note that the $\gamma \left(x\right)$ in (4) plays a significant role in the construction of an optimal 16-order scheme.

In this paper, we adopt a different last sub-step iteration, which is defined as follows:

$$x_{r+1}=x_r-Q_{\Omega }(x_r,w_r,z_r),$$

(7)

where $Q_{\Omega }$ can be considered to be a correction term to be called naturally as “error corrector”. The last sub-step of this type is handier for the convergence analysis and additionally in the dynamics study through basins of attraction. The easy way of obtaining such a fourth sub-step iteration with a feasible error corrector is to apply the Inverse Function Theorem [26] to (5). Since $\xi$ is a simple root (i.e., ${\gamma }^{\prime }\left(\xi \right)\ne 0$), then we have a unique map $\tau \left(x\right)$ satisfying $\gamma \left(\tau \right(x\left)\right)=x$ in the certain neighborhood of $\gamma \left(\xi \right)$. Hence, we adopt such an inverse map $\tau \left(x\right)$ to obtain the needed last sub-step of the form (7) instead of using $\gamma \left(x\right)$ in (5).

With the help of Inverse Function Theorem, we will yield the final sub-step iteration from the expression (5):

$$x=x_r-\frac{\phi \left(x\right)-\phi \left(x_r\right)+b_1}{b_2{\left(\phi \left(x\right)-\phi \left(x_r\right)\right)}^3+b_3{\left(\phi \left(x\right)-\phi \left(x_r\right)\right)}^2+b_4\left(\phi \left(x\right)-\phi \left(x_r\right)\right)+b_5},$$

(8)

where $b_i,i=1,2,\cdots ,5$ are disposable constants. We can find them by adopting the following tangency conditions

$$\phi \left(x_r\right)=\Omega \left(x_r\right),{\phi }^{\prime }\left(x_r\right)={\Omega }^{\prime }\left(x_r\right),\phi \left(w_r\right)=\Omega \left(w_r\right),\phi \left(z_r\right)=\Omega \left(z_r\right),\phi \left(t_r\right)=\Omega \left(t_r\right).$$

(9)

One should note that the rational function on the right side of (8) is regarded as an error corrector. Indeed, the desired last sub-step iteration (8) is obtained using the inverse interpolatory function approach meeting the tangency constraints (9). Clearly, the last sub-step iteration (6) looks more suitable than (3) in the error analysis. It remains for us to determine parameters $b_i(1\le i\le 5)$ in (8)

By using the first two tangency conditions, we obtain

$$b_1=0,b_5={\Omega }^{\prime }\left(x_r\right).$$

(10)

By adopting last three tangency constraints and the expression (10), we have the following three independent relations

$$\begin{array}{c}{b}_2{(\Omega \left(w_r\right)-\Omega \left(x_r\right))}^2+b_3(\Omega \left(w_r\right)-\Omega \left(x_r\right))+b_4=\frac{1}{w_r-x_r}-\frac{{\Omega }^{\prime }\left(x_r\right)}{\Omega \left(w_r\right)-\Omega \left(x_r\right)},\hfill \\ b_2{(\Omega \left(z_r\right)-\Omega \left(x_r\right))}^2+b_3(\Omega \left(z_r\right)-\Omega \left(x_r\right))+b_4=\frac{1}{z_r-x_r}-\frac{{\Omega }^{\prime }\left(x_r\right)}{\Omega \left(z_r\right)-\Omega \left(x_r\right)},\hfill \\ b_2{(\Omega \left(t_r\right)-\Omega \left(x_r\right))}^2+b_3(\Omega \left(t_r\right)-\Omega \left(x_r\right))+b_4=\frac{1}{t_r-x_r}-\frac{{\Omega }^{\prime }\left(x_r\right)}{\Omega \left(t_r\right)-\Omega \left(x_r\right)},\hfill \end{array}$$

(11)

which further yield

$$\begin{array}{cc}\hfill b_2& =-{\displaystyle \frac{{\theta }_1+{\theta }_2\left\{\Omega \left(t_r\right)(t_r-x_r)+\Omega \left(w_r\right)(z_r-t_r)+\Omega \left(z_r\right)(x_r-z_r)\right\}}{{\theta }_2(\Omega \left(t_r\right)-\Omega \left(w_r\right))(\Omega \left(t_r\right)-\Omega \left(z_r\right))(\Omega \left(w_r\right)-\Omega \left(z_r\right))(t_r-x_r)(x_r-z_r)}},\hfill \\ \hfill b_3& ={\displaystyle \frac{b_2(\Omega \left(w_r\right)-\Omega \left(z_r\right))(\Omega \left(w_r\right)-2\Omega \left(x_r\right)+\Omega \left(z_r\right))+{\displaystyle \frac{{\Omega }^{\prime }\left(x_r\right)}{\Omega \left(w_r\right)-\Omega \left(x_r\right)}}+{\displaystyle \frac{{\Omega }^{\prime }\left(x_r\right)(2\Omega \left(x_r\right)-\Omega \left(z_r\right))}{\Omega \left(x_r\right)(\Omega \left(x_r\right)-\Omega \left(z_r\right))}}+{\displaystyle \frac{1}{z_r-x_r}}}{\Omega \left(z_r\right)-\Omega \left(w_r\right)}}\hfill \\ \hfill b_4& ={\displaystyle \frac{b_2\Omega \left(x_r\right){(\Omega \left(w_r\right)-\Omega \left(x_r\right))}^3+b_3\Omega \left(x_r\right){(\Omega \left(w_r\right)-\Omega \left(x_r\right))}^2+{\Omega }^{\prime }\left(x_r\right)\Omega \left(w_r\right)}{\Omega \left(x_r\right)(\Omega \left(x_r\right)-\Omega \left(w_r\right))}},\hfill \end{array}$$

(12)

where ${\theta }_1={\Omega }^{\prime }\left(x_r\right)(\Omega \left(t_r\right)-\Omega \left(z_r\right))(t_r-x_r)(x_r-z_r)\left[(\Omega \left(x_r\right)-\Omega \left(w_r\right))(\Omega \left(t_r\right)(\Omega \left(z_r\right)-2\Omega \left(x_r\right))+\Omega \left(x_r\right)(\Omega \left(w_r\right)+2\Omega \left(x_r\right)-2\Omega \left(z_r\right)))+\Omega \left(x_r\right)(\Omega \left(t_r\right)-\Omega \left(x_r\right))(\Omega \left(x_r\right)-\Omega \left(z_r\right))\right],{\theta }_2=\Omega \left(x_r\right)(\Omega \left(t_r\right)-\Omega \left(x_r\right))(\Omega \left(x_r\right)-\Omega \left(w_r\right))(\Omega \left(x_r\right)-\Omega \left(z_r\right))$.

Let us consider that the rational Function (8) cuts the x – axis at $x=x_{r+1}$, in order to obtain the next estimation $x_{r+1}$. Then, we obtain

$$\phi \left(x_{r+1}\right)=0,$$

(13)

which further yield by using the above values of $b_1,b_2$ and $b_3$

$$\begin{array}{c}\hfill x_{r+1}=x_r+\frac{{\theta }_2(\Omega \left(t_r\right)-\Omega \left(w_r\right))(\Omega \left(t_r\right)-\Omega \left(z_r\right))(\Omega \left(w_r\right)-\Omega \left(z_r\right))(t_r-x_r)(z_r-x_r)}{{\theta }_3+{\theta }_2\Omega \left(w_r\right)\left\{\Omega \left(t_r\right)(t_r-x_r)(\Omega \left(t_r\right)-\Omega \left(w_r\right))-\Omega \left(z_r\right)(\Omega \left(w_r\right)-\Omega \left(z_r\right))(x_r-z_r)\right\}},\end{array}$$

(14)

where ${\theta }_3={\Omega }^{\prime }\left(x_r\right)\Omega \left(t_r\right)\Omega \left(z_r\right)(\Omega \left(t_r\right)-\Omega \left(z_r\right))(t_r-x_r)(x_r-z_r)\left[(\Omega \left(x_r\right)-\Omega \left(w_r\right))\left\{-\Omega \left(t_r\right)(\Omega \left(w_r\right)+2\Omega \left(x_r\right)-2\Omega \left(z_r\right))+\Omega {\left(w_r\right)}^2+(\Omega \left(w_r\right)+2\Omega \left(x_r\right))(\Omega \left(x_r\right)-\Omega \left(z_r\right))\right\}+\Omega \left(x_r\right)(\Omega \left(t_r\right)-\Omega \left(x_r\right))(\Omega \left(x_r\right)-\Omega \left(z_r\right))\right]$.

Finally, by using expressions (2) and (14), we have

$$\left\{\begin{array}{cc}\hfill w_r=& x_r-\frac{\Omega \left(x_r\right)}{{\Omega }^{\prime }\left(x_r\right)},\hfill \\ \hfill z_r=& {\varphi }_4(x_r,w_r),\hfill \\ \hfill t_r=& {\psi }_8(x_r,w_r,z_r),\hfill \\ \hfill x_{r+1}=& x_r+\frac{{\theta }_2(\Omega \left(t_r\right)-\Omega \left(w_r\right))(\Omega \left(t_r\right)-\Omega \left(z_r\right))(\Omega \left(w_r\right)-\Omega \left(z_r\right))(t_r-x_r)(z_r-x_r)}{{\theta }_3+{\theta }_2\Omega \left(w_r\right)\left\{\Omega \left(t_r\right)(t_r-x_r)(\Omega \left(t_r\right)-\Omega \left(w_r\right))-\Omega \left(z_r\right)(\Omega \left(w_r\right)-\Omega \left(z_r\right))(x_r-z_r)\right\}},\hfill \end{array}\right.$$

(15)

where ${\theta }_2$ and ${\theta }_3$ are defined earlier. We illustrate that convergence order reach at optimal 16-order without adopting any additional functional evaluations in the next Theorem 1. It is vital to note that only coefficients $A_0$ and $B_0$ from ${\varphi }_4(x_r,w_r)$ and ${\psi }_8(x_r,w_r,z_r)$, respectively, contribute to its important character in the development of the needed asymptotic error constant, which can be found in Theorem 1.

Theorem 1.

Let $\Omega :\mathbb{C}\to \mathbb{C}$ be an analytic function in the region containing the simple zero ξ and initial guess $x=x_0$ is sufficiently close to ξ for guaranteed convergence. In addition, we consider that ${\varphi }_4(x_r,w_r)$ and ${\psi }_8(x_r,w_r,z_r)$ are any optimal 4- and 8-order schemes, respectively. Then, the proposed scheme (15) has an optimal 16-order convergence.

Proof. 

Let us consider $e_r=x_r-\xi$ be the error at rth step. With the help of the Taylor’s series expansion, we expand the functions $\Omega \left(x_r\right)$ and ${\Omega }^{\prime }\left(x_r\right)$ around $x=\xi$ with the assumption ${\Omega }^{\prime }\left(\xi \right)\ne 0$ which leads us to:

$$\Omega \left(x_r\right)={\Omega }^{\prime }\left(\xi \right)\left[e_r+\sum _{k=2}^{16}{c}_k{e}_r^k+O\left(e_r^{17}\right)\right]$$

(16)

and

$${\Omega }^{\prime }\left(x_r\right)={\Omega }^{\prime }\left(\xi \right)\left[1+\sum _{k=2}^{16}k{c}_k{e}_r^{k-1}+O\left(e_r^{17}\right)\right],$$

(17)

where $c_j=\frac{{\Omega }^{\left(j\right)}\left(\xi \right)}{j!{\Omega }^{\prime }\left(\xi \right)}$ for $j=2,3,\cdots ,16$, respectively.

By inserting the expressions (16) and (17) in the first sub-step (15), we have

$$\begin{array}{cc}\hfill w_r-\xi =& c_2{e}_r^2+2(c_3-c_2^2)e_r^3+(4c_2^3-7c_3{c}_2+3c_4)e_r^4+(20c_3{c}_2^2-8c_2^4-10c_4{c}_2\hfill \\ & -6c_3^2+4c_5)e_r^5+\sum _{k=1}^{11}{G}_k{e}_r^{k+4}+O\left(e_r^{17}\right),\hfill \end{array}$$

(18)

where $G_k=G_k(c_2,c_3,\cdots ,c_{16})$ are given in terms of $c_2,c_3,\cdots ,c_i$ with explicitly written two coefficients $G_1=16c_2^5-52c_3{c}_2^3+28c_4{c}_2^2+(33c_3^2-13c_5)c_2-17c_3{c}_4+5c_6,G_2=2\left\{16c_2^6-64c_3{c}_2^4+36c_4{c}_2^3+9(7c_3^2-2c_5)c_2^2+(8c_6-46c_3{c}_4)c_2-9c_3^3+6c_4^2+11c_3{c}_5-3c_7\right\}$, etc.

The following expansion of $\Omega \left(w_r\right)$ about a point $x=\xi$ with the help of Taylor series

$$\begin{array}{cc}\hfill \Omega \left(w_r\right)=& {\Omega }^{\prime }\left(\xi \right)[c_2{e}_r^2+2(c_3-c_2^2)e_r^3+(5c_2^3-7c_3{c}_2+3c_4)e_r^4+2(6c_2^4-12c_3{c}_2^2\hfill \\ & +5c_4{c}_2+3c_3^2-2c_5)e_r^5+\sum _{k=1}^{11}{\overline{G}}_k{e}_r^{k+4}+O(e_r^{17})].\hfill \end{array}$$

(19)

As in the beginning, we consider that ${\varphi }_4(x_r,w_r)$ and ${\varphi }_8(x_r,w_r,z_r)$ are optimal schemes of order four and eight, respectively. Then, it is obvious that they will satisfy the error equations of the following forms

$$z_r-\xi =\sum _{m=0}^{12}{A}_m{e}_r^{m+4}+O\left(e_r^{17}\right)$$

(20)

and

$$t_r-\xi =\sum _{m=0}^8{B}_m{e}_r^{m+8}+O\left(e_r^{17}\right),$$

(21)

respectively, where $A_0,B_0\ne 0$. By using the Taylor series expansion, we further obtain

$$\begin{array}{cc}\hfill \Omega \left(z_r\right)=& {\Omega }^{\prime }\left(\xi \right)[A_0{e}_r^4+A_1{e}_r^5+A_2{e}_r^6+A_3{e}_r^7+(A_0^2{c}_2+A_4)e_r^8+(2A_0{A}_1{c}_2+A_5)e_r^9+\{(A_1^2+2A_0{A}_2)c_2\hfill \\ & +A_6\}{e}_r^{10}+\{2(A_1{A}_2+A_0{A}_3)c_2+A_7\}{e}_r^{11}+(A_0^3{c}_3+2A_4{A}_0{c}_2+A_2^2{c}_2+2A_1{A}_3{c}_2+A_8)e_r^{12}\hfill \\ & +(3A_1{A}_0^2{c}_3+2A_5{A}_0{c}_2+2A_2{A}_3{c}_2+2A_1{A}_4{c}_2+A_9)e_r^{13}+H_1{e}_r^{14}+H_2{e}_r^{15}+H_3{e}_r^{16}+O\left(e_n^{17}\right)]\hfill \end{array}$$

(22)

and

$$\begin{array}{cc}\hfill \Omega \left(t_r\right)=& {\Omega }^{\prime }\left(\xi \right)[B_0{e}_r^8+B_1{e}_r^9+B_2{e}_r^{10}+B_3{e}_r^{11}+B_4{e}_r^{12}+B_5{e}_r^{13}+B_6{e}_r^{14}+B_7{e}_r^{15}\hfill \\ & +(A_2{B}_0^2+B_8)e^{16}+O(e_r^{17})],\hfill \end{array}$$

(23)

where $H_1=3A_2{A}_0^2{c}_3+2A_6{A}_0{c}_2+3A_1^2{A}_0{c}_3+A_3^2{c}_2+2A_2{A}_4{c}_2+2A_1{A}_5{c}_2+A_{10},H_2=A_1^3{c}_3+6A_0{A}_2{A}_1{c}_3+2(A_3{A}_4+A_2{A}_5+A_1{A}_6+A_0{A}_7)c_2+3A_0^2{A}_3{c}_3+A_{11}$ and $H_3=A_0^4{c}_4+3A_4{A}_0^2{c}_3+2A_8{A}_0{c}_2+3A_2^2{A}_0{c}_3+6A_1{A}_3{A}_0{c}_3+A_4^2{c}_2+2A_3{A}_5{c}_2+2A_2{A}_6{c}_2+2A_1{A}_7{c}_2+3A_1^2{A}_2{c}_3+A_{12}$.

With the help of expressions (16)–(23), we have

$$\begin{array}{c}\frac{{\theta }_2(\Omega \left(t_r\right)-\Omega \left(w_r\right))(\Omega \left(t_r\right)-\Omega \left(z_r\right))(\Omega \left(w_r\right)-\Omega \left(z_r\right))(t_r-x_r)(z_r-x_r)}{{\theta }_3+{\theta }_2\Omega \left(w_r\right)\left\{\Omega \left(t_r\right)(t_r-x_r)(\Omega \left(t_r\right)-\Omega \left(w_r\right))-\Omega \left(z_r\right)(\Omega \left(w_r\right)-\Omega \left(z_r\right))(x_r-z_r)\right\}}\hfill \\ =e_r-A_0{B}_0(5c_2^4-10c_2^2{c}_3+2c_3^2+4c_2{c}_4-c_5)c_2{e}_r^{16}+O\left(e_r^{17}\right).\hfill \end{array}$$

(24)

Finally, we obtain

$$e_{n+1}=A_0{B}_0(5c_2^4-10c_2^2{c}_3+2c_3^2+4c_2{c}_4-c_5)c_2{e}_r^{16}+O\left(e_r^{17}\right).$$

(25)

The above expression (25) claims that our scheme (15) reaches the 16-order convergence. The expression (15) is also an optimal scheme in the regard of Kung-Traub conjecture since it uses only five functional values at each step. Hence, this completes the proof.  □

Remark 1.

Generally, we naturally expect that the presented general scheme (15) should contain other terms from $A_0,A_1,\cdots A_{12}$ and $B_0,B_1,\cdots ,B_8$. However, there is no doubt from the expression (25) that the asymptotic error constant involves only on $A_0$ and $B_0$. This simplicity of the asymptotic error constant is because of adopting the inverse interpolatory function with the tangency constraints.

Special Cases

This is section is devoted to the discussion of some important cases of the proposed scheme. Therefore, we consider

• We assume an optimal eighth-order technique suggested scheme by Cordero et al. [13]. By using this scheme, we obtain the following new optimal 16-order scheme

  $$\left\{\begin{array}{cc}\hfill w_r& =x_r-{\displaystyle \frac{\Omega \left(x_r\right)}{{\Omega }^{\prime }\left(x_r\right)}},\hfill \\ \hfill z_r& =x_r-{\displaystyle \frac{\Omega \left(x_r\right)}{{\Omega }^{\prime }\left(x_r\right)}}\left[{\displaystyle \frac{\Omega \left(x_r\right)-\Omega \left(w_r\right)}{\Omega \left(x_r\right)-2\Omega \left(w_r\right)}}\right],\hfill \\ \hfill u_r& =z_r-{\displaystyle \frac{\Omega \left(z_r\right)\left({\displaystyle \frac{\Omega \left(x_r\right)-\Omega \left(w_r\right)}{\Omega \left(x_r\right)-2\Omega \left(w_r\right)}}+{\displaystyle \frac{\Omega \left(z_r\right)}{2\left(\Omega \left(w_r\right)-2\Omega \left(z_r\right)\right)}}\right){}^2}{{\Omega }^{\prime }\left(x_r\right)}},\hfill \\ \hfill t_r& =u_r-{\displaystyle \frac{3(b_2+b_3)\Omega \left(z_r\right)\left(u_r-z_r\right)}{{\Omega }^{\prime }\left(x_r\right)\left(b_1\left(u_r-z_r\right)+b_2\left(w_r-x_r\right)+b_3\left(z_r-x_r\right)\right)}},\hfill \\ \hfill x_{r+1}=& x_r+{\displaystyle \frac{{\theta }_2(\Omega \left(t_r\right)-\Omega \left(w_r\right))(\Omega \left(t_r\right)-\Omega \left(z_r\right))(\Omega \left(w_r\right)-\Omega \left(z_r\right))(t_r-x_r)(z_r-x_r)}{{\theta }_3+{\theta }_2\Omega \left(w_r\right)\left\{\Omega \left(t_r\right)(t_r-x_r)(\Omega \left(t_r\right)-\Omega \left(w_r\right))-\Omega \left(z_r\right)(\Omega \left(w_r\right)-\Omega \left(z_r\right))(x_r-z_r)\right\}}},\hfill \end{array}\right.$$

  (26)

  where $b_1,b_2,b_3\in \mathbb{R}$, provided $b_2+b_3\ne 0$. Let us consider $b_1=b_2=1$ and $b_3=2$ in the above scheme, recalled by $\left(OM1\right)$.
• Again, we consider another optimal 8-order scheme presented by Behl and Motsa in [11]. In this way, we obtain another new optimal family of 16-order methods, which is given by

  $$\left\{\begin{array}{cc}\hfill w_r& =x_r-{\displaystyle \frac{\Omega \left(x_r\right)}{{\Omega }^{\prime }\left(x_r\right)}},\hfill \\ \hfill z_n& =w_r-{\displaystyle \frac{\Omega \left(x_r\right)\Omega \left(w_r\right)}{{\Omega }^{\prime }\left(x_r\right)(\Omega \left(x_r\right)-2\Omega \left(w_r\right))}},\hfill \\ \hfill t_r& =z_r-{\displaystyle \frac{\Omega \left(x_r\right)\Omega \left(w_r\right)\Omega \left(z_r\right)\left(1-{\displaystyle \frac{\Omega \left(w_r\right)}{2\Omega \left(x_r\right)}}-{\displaystyle \frac{b\Omega \left(x_r\right)(\Omega \left(w_r\right)+4\Omega \left(z_r\right))}{2(2\Omega \left(w_r\right)-\Omega \left(x_r\right))(b\Omega \left(x_r\right)-\Omega \left(z_r\right))}}\right)}{{\Omega }^{\prime }\left(x_r\right)(-2\Omega \left(w_r\right)+\Omega \left(x_r\right))(\Omega \left(w_r\right)-\Omega \left(z_r\right))}},\hfill \\ \hfill x_{r+1}=& x_r+{\displaystyle \frac{{\theta }_2(\Omega \left(t_r\right)-\Omega \left(w_r\right))(\Omega \left(t_r\right)-\Omega \left(z_r\right))(\Omega \left(w_r\right)-\Omega \left(z_r\right))(t_r-x_r)(z_r-x_r)}{{\theta }_3+{\theta }_2\Omega \left(w_r\right)\left\{\Omega \left(t_r\right)(t_r-x_r)(\Omega \left(t_r\right)-\Omega \left(w_r\right))-\Omega \left(z_r\right)(\Omega \left(w_r\right)-\Omega \left(z_r\right))(x_r-z_r)\right\}}},\hfill \end{array}\right.$$

  (27)

  where $b\in \mathbb{R}$. We chose $b=-\frac{1}{2}$ in this expression, called by $\left(OM2\right)$.
• Let us choose one more optimal 8-order scheme proposed by Džuníc and Petkovíc [15]. Therefore, we have

  $$\left\{\begin{array}{cc}\hfill w_r& =x_r-\frac{\Omega \left(x_r\right)}{{\Omega }^{\prime }\left(x_r\right)},\hfill \\ \hfill z_n& =w_r-\frac{\Omega \left(w_r\right)}{{\Omega }^{\prime }\left(x_r\right)}\left[\frac{\Omega \left(x_r\right)}{\Omega \left(x_r\right)-2\Omega \left(w_r\right)}\right],\hfill \\ \hfill t_r& =z_r+\frac{\Omega \left(x_r\right)\Omega \left(z_r\right)\left(\Omega \left(x_r\right)+2\Omega \left(z_r\right)\right)\left(\Omega \left(w_r\right)+\Omega \left(z_r\right)\right)}{{\Omega }^{\prime }\left(x_r\right)\Omega \left(w_r\right)\left(2\Omega \left(x_r\right)\Omega \left(w_r\right)-\Omega \left(x_r\right){}^2+\Omega \left(w_r\right){}^2\right)},\hfill \\ \hfill x_{r+1}=& x_r+\frac{{\theta }_2(\Omega \left(t_r\right)-\Omega \left(w_r\right))(\Omega \left(t_r\right)-\Omega \left(z_r\right))(\Omega \left(w_r\right)-\Omega \left(z_r\right))(t_r-x_r)(z_r-x_r)}{{\theta }_3+{\theta }_2\Omega \left(w_r\right)\left\{\Omega \left(t_r\right)(t_r-x_r)(\Omega \left(t_r\right)-\Omega \left(w_r\right))-\Omega \left(z_r\right)(\Omega \left(w_r\right)-\Omega \left(z_r\right))(x_r-z_r)\right\}}.\hfill \end{array}\right.$$

  (28)

  Let us call the above scheme by $\left(OM3\right)$.
• Now, we pick another optimal family of eighth-order iterative methods given by Bi et al. in [12]. By adopting this scheme, we further have

  $$\left\{\begin{array}{cc}\hfill w_r& =x_r-{\displaystyle \frac{\Omega \left(x_r\right)}{{\Omega }^{\prime }\left(x_r\right)}},\hfill \\ \hfill z_r& =w_r-{\displaystyle \frac{\Omega \left(w_r\right)}{{\Omega }^{\prime }\left(x_r\right)}}\left[{\displaystyle \frac{2\Omega \left(x_r\right)-\Omega \left(w_r\right)}{2\Omega \left(x_r\right)-5\Omega \left(w_r\right)}}\right],\hfill \\ \hfill t_r& =z_r-{\displaystyle \frac{\Omega \left(x_r\right)+(\alpha +2)\Omega \left(z_r\right)}{\Omega \left(x_r\right)+\alpha \Omega \left(z_r\right)}}\left[{\displaystyle \frac{\Omega \left(z_r\right)}{\Omega [z_r,w_r]+{\displaystyle \frac{\Omega [z_r,x_r]-{\Omega }^{\prime }\left(x_r\right)}{z_r-x_r}}(z_r-w_r)}}\right],\hfill \\ \hfill x_{r+1}=& x_r+{\displaystyle \frac{{\theta }_2(\Omega \left(t_r\right)-\Omega \left(w_r\right))(\Omega \left(t_r\right)-\Omega \left(z_r\right))(\Omega \left(w_r\right)-\Omega \left(z_r\right))(t_r-x_r)(z_r-x_r)}{{\theta }_3+{\theta }_2\Omega \left(w_r\right)\left\{\Omega \left(t_r\right)(t_r-x_r)(\Omega \left(t_r\right)-\Omega \left(w_r\right))-\Omega \left(z_r\right)(\Omega \left(w_r\right)-\Omega \left(z_r\right))(x_r-z_r)\right\}}},\hfill \end{array}\right.$$

  (29)

  where $\alpha \in \mathbb{R}$ and $\Omega [·,·]$ is finite difference of first order. Let us consider $\alpha =1$ in the above scheme, denoted by $\left(OM4\right)$.
  In similar fashion, we can develop several new and interesting optimal sixteenth-order schemes by considering any optimal eighth-order scheme from the literature whose first sub-step employs the classical Newton’s method.

3. Numerical Experiments

This section is dedicated to examining the convergence behavior of particular methods which are mentioned in the Special Cases section. Therefore, we shall consider some standard test functions, which are given as follows:

${\Omega }_1\left(x\right)=10xexp\left(-x^2\right)-1;$ [11]	$\xi =1.679630610428449940674920$
${\Omega }_2\left(z\right)=x^5+x^4+4x^2-15;$ [16]	$\xi =1.347428098968304981506715$
${\Omega }_3\left(x\right)=x^4+sin\left(\frac{\pi }{x^2}\right)-5;$ [18]	$\xi =\sqrt{2}$
${\Omega }_4\left(x\right)=exp\left(-x^2+x+2\right)+x^3-cos(x+1)+1;$ [20]	$\xi =-1$
${\Omega }_5\left(x\right)=cos\left(x^2-2x+\frac{16}{9}\right)-log\left(x^2-2x+\frac{25}{9}\right)-1;$[4]	$\xi =1+\frac{\sqrt{7}}{3}i$
${\Omega }_6\left(x\right)={sin}^{-1}(x^2-1)-\frac{x}{2}+1;$ [12]	$\xi =0.5948109683983691775226562$
${\Omega }_7\left(x\right)=x^3+log(x+1);$ [6]	$\xi =0$
${\Omega }_8\left(x\right)={tan}^{-1}\left(x\right)-x+1;$ [2]	$\xi =2.132267725272885131625421$

Here, we confirm the theoretical results of the earlier sections on the basis of gained results $\left|{\displaystyle \frac{x_{r+1}-x_r}{{(x_r-x_{r-1})}^{16}}}\right|$ and computational convergence order. We displayed the number of iteration indexes $\left(n\right)$, approximated zeros $\left(x_r\right)$, absolute residual error of the corresponding function $\left(\right|\Omega \left(x_r\right)\left|\right)$, error in the consecutive iterations $|x_{r+1}-x_r|$, $\left|{\displaystyle \frac{x_{r+1}-x_r}{{(x_r-x_{r-1})}^{16}}}\right|$, the asymptotic error constant ${\displaystyle \eta =\underset{n\to \infty }{lim}\left|{\displaystyle \frac{x_{r+1}-x_r}{{(x_r-x_{r-1})}^{16}}}\right|}$ and the computational convergence order $\left(\rho \right)$ in Table 1. To calculate $\left(\rho \right)$, we adopt the following method

$$\rho =\left|\frac{(x_{r+1}-x_r)/\eta }{(x_r-x_{r-1})}\right|,n=1,2,3.$$

Table 1. Convergence behavior of methods $OM1$, $OM2$, $OM3$ and $OM4$ on ${\Omega }_1\left(x\right)$–${\Omega }_8\left(x\right)$.

Cases	$\mathbf{\Omega }\left(\mathit{x}\right)$	n	${\mathit{x}}_{\mathit{r}}$	$\left|\mathbf{\Omega }\right({\mathit{x}}_{\mathit{r}}\left)\right|$	$|{\mathit{x}}_{\mathit{r}+1}-{\mathit{x}}_{\mathit{r}}|$	$\left|{\displaystyle \frac{{\mathit{x}}_{\mathit{r}+1}-{\mathit{x}}_{\mathit{r}}}{{({\mathit{x}}_{\mathit{r}}-{\mathit{x}}_{\mathit{r}-1})}^{\mathit{p}}}}\right|$	$\mathit{\eta }$	$\mathit{\rho }$
		0	$1.7$	$5.5(-2)$	$2.0(-2)$
$OM1$	${\Omega }_1$	1	$1.679630610428449940674920$	$1.0(-26)$	$3.8(-27)$	$4.299293162$	$3.402712013$	15.940
		2	$1.679630610428449940674920$	$1.6(-422)$	$5.8(-423)$	$3.402712013$		16.000
		0	$1.1$	$7.1$	$2.5(-1)$
$OM1$	${\Omega }_2$	1	$1.347428099532342545074013$	$2.1(-8)$	$5.6(-10)$	$2.858404704$	$0.6398089109$	14.928
		2	$1.347428098968304981506715$	$2.5(-147)$	$6.7(-149)$	$0.6398089109$		16.000
		0	$1.3$	$1.2$	$1.1(-1)$
$OM2$	${\Omega }_3$	1	$1.414213562373095736525797$	$7.8(-15)$	$6.9(-16)$	$0.8202219879$	$0.1956950645$	15.340
		2	$1.414213562373095048801689$	$5.5(-243)$	$4.9(-244)$	$0.1956950645$		16.000
		0	$-0.7$	$1.9$	$3.0(-1)$
$OM2$	${\Omega }_4$	1	$-1.000000000000007093884377$	$4.3(-14)$	$7.1(-15)$	$1.647949998(-6)$	$6.821618098(-6)$	17.180
		2	$-1.000000000000000000000000$	$1.7(-231)$	$2.8(-232)$	$6.821618098(-6)$		16.000
		0	$0.9+0.8i$	$2.2(-1)$	$1.3(-1)$
$OM3$	${\Omega }_5$	1	$0.99999999\cdots +0.88191710\cdots i$	$5.3(-17)$	$3.0(-17)$	$0.004949317501$	$0.04805746878$	17.111
		2	$1.0000000\cdots +0.88191710\cdots i$	$3.8(-266)$	$2.2(-266)$	$0.04805746878$		16.000
		0	$0.5$	$9.8(-2)$	$9.5(-2)$
$OM3$	${\Omega }_6$	1	$0.5948109683983691775226557$	$5.5(-25)$	$5.2(-25)$	$1.216280520(-8)$	$2.864980977(-8)$	16.364
		2	$0.5948109683983691775226562$	$8.3(-397)$	$7.8(-397)$	$2.864980977(-8)$		16.000
		0	$0.5$	$5.3(-1)$	$5.0(-1)$
$OM4$	${\Omega }_7$	1	$0.00001072560410679202312616917$	$1.1(-5)$	$1.1(-5)$	$0.7031544881$	$0.1352418133$	13.6218
		2	$4.148195228902998294111344(-81)$	$4.1(-81)$	$4.1(-81)$	$0.1352418133$		16.000
		0	$2.2$	$5.6(-2)$	$6.8(-2)$
$OM4$	${\Omega }_8$	1	$2.132267725272885131625421$	$6.7(-31)$	$8.1(-31)$	$4.147660854(-12)$	$6.197625624(-12)$	16.1492
		2	$2.132267725272885131625421$	$1.9(-493)$	$2.3(-493)$	$6.197625624(-12)$		16.000

It is straightforward to say that our proposed methods not only converge very fast towards the required zero, but they have also small asymptotic error constant.

We calculate $\left(\rho \right)$, asymptotic error term and other remaining parameters up to a high number of significant digits (minimum 1000 significant digits) to reduce the rounding-off error. However, due to the restricted paper capacity, we depicted the values of $x_r$ and $\rho$ up to 25 and 5 significant figures, respectively. Additionally, we mentioned $\left|{\displaystyle \frac{x_{r+1}-x_r}{{(x_r-x_{r-1})}^{16}}}\right|$ and $\eta$ by 10 significant figures. In addition to this, the absolute residual error in the function $|\Omega (x_r\left)\right|$ and error in the consecutive iterations $|x_{r+1}-x_r|$ are depicted up to 2 significant digits with exponent power that can be seen in Table 1, Table 2 and Table 3.

Table 2. Comparison of residual error on the test examples ${\Omega }_9\left(x\right)$–${\Omega }_{12}\left(x\right)$.

$\mathbf{\Omega }\left(\mathit{x}\right)$	$\left|\mathbf{\Omega }\right({\mathit{x}}_{\mathit{r}}\left)\right|$	$\mathit{SM}$	$\mathit{GK}1$	$\mathit{GK}2$	$\mathit{MM}$	$\mathit{OM}1$	$\mathit{OM}2$	$\mathit{OM}3$	$\mathit{OM}4$
	$|\Omega (x_0\left)\right|$	$2.5(-1)$	$2.5(-1){}^{*}$	$2.5(-1){}^{\#}$	$2.5(-1)$	$2.5(-1)$	$2.5(-1)$	$2.5(-1)$	$2.5(-1)$
${\Omega }_9$	$|\Omega (x_1\left)\right|$	$3.7(-7)$	$2.8{}^{*}$	$7.6(-2){}^{\#}$	$1.7(-4)$	$8.1(-7)$	$9.3(-8)$	$1.2(-7)$	$2.1(-7)$
	$|\Omega (x_2\left)\right|$	$8.1(-105)$	$2.0(-4){}^{*}$	$1.9(-19){}^{\#}$	$6.1(-62)$	$9.3(-99)$	$7.7(-116)$	$3.9(-112)$	$6.5(-110)$
	$|\Omega (x_0\left)\right|$	$1.0$	$1.0$	$1.0$	$1.0$	$1.0$	$1.0$	$1.0$	$1.0$
${\Omega }_{10}$	$|\Omega (x_1\left)\right|$	$7.9(-14)$	$7.6(-13)$	$3.0(-12)$	$4.4(-12)$	$4.1(-14)$	$2.7(-14)$	$3.4(-14)$	$2.1(-13)$
	$|\Omega (x_2\left)\right|$	$7.3(-224)$	$5.3(-209)$	$2.1(-199)$	$1.1(-194)$	$4.0(-227)$	$3.7(-231)$	$2.1(-231)$	$3.1(-216)$
	$|\Omega (x_0\left)\right|$	$3.8(-1)$	$3.8(-1)$	$3.8(-1)$	$3.8(-1)$	$3.8(-1)$	3.8$(1-)$	$3.8(-1)$	$3.8(-1)$
${\Omega }_{11}$	$|\Omega (x_1\left)\right|$	$3.5(-12)$	$1.3(-12)$	$1.6(-10)$	$7.4(-11)$	$1.5(-12)$	$1.1(-12)$	$1.9(-12)$	$5.9(-13)$
	$|\Omega (x_2\left)\right|$	$2.1(-186)$	$1.9(-193)$	$1.3(-156)$	$1.4(-163)$	$1.5(-193)$	$2.4(-195)$	$7.6(-192)$	$2.7(-199)$
	$|\Omega (x_0\left)\right|$	$1.4(-1)$	$1.4(-1)$	$1.4(-1)$	$1.4(-1)$	$1.4(-1)$	$1.4(-1)$	$1.4(-1)$	$1.4(-1)$
${\Omega }_{12}$	$|\Omega (x_1\left)\right|$	$2.3(-11)$	$8.6(-5)$	$1.7(-4)$	$2.8(-7)$	$5.4(-11)$	$8.4(-12)$	$1.3(-11)$	$1.5(-11)$
	$|\Omega (x_2\left)\right|$	$1.4(-170)$	$1.2(-63)$	$9.3(-57)$	$1.0(-109)$	$5.5(-164)$	$2.6(-178)$	$2.2(-174)$	$3.1(-174)$
	$|\Omega (x_0\left)\right|$	$1.9(+1)$	$1.9(+1)$	$1.9(+1)$	$1.9(+1)$	$1.9(+1)$	$1.9(+1)$	$1.9(+1)$	$1.9(+1)$
${\Omega }_{13}$	$|\Omega (x_1\left)\right|$	$1.7(-26)$	$8.2(-26)$	$6.0(-23)$	$1.3(-28)$	$4.5(-26)$	$7.9(-28)$	$2.9(-26)$	$1.2(-29)$
	$|\Omega (x_2\left)\right|$	$2.8(-459)$	$1.3(-446)$	$1.3(-398)$	$6.7(-501)$	$5.4(-452)$	$4.8(-484)$	$3.8(-455)$	$8.2(-517)$

${}^{*}$ and ${}^{\#}$ stand for converge to undesired roots $-1.89549\cdots$ and 0, respectively.

Table 3. Comparison of error in the consecutive iterations on the test examples ${\Omega }_9\left(x\right)$–${\Omega }_{13}\left(x\right)$.

$\mathbf{\Omega }\left(\mathit{x}\right)$	$|{\mathit{x}}_{\mathit{r}+1}-{\mathit{x}}_{\mathit{r}}|$	$\mathit{SM}$	$\mathit{GK}1$	$\mathit{GK}2$	$\mathit{MM}$	$\mathit{OM}1$	$\mathit{OM}2$	$\mathit{OM}3$	$\mathit{OM}4$
	$|x_1-x_0|$	$4.0(-1)$	$5.5{}^{*}$	$1.7{}^{\#}$	$4.0(-1)$	$4.0(-1)$	$4.0(-1)$	$4.0(-1)$	$4.0(-1)$
${\Omega }_9$	$|x_2-x_1|$	$4.5(-7)$	$2.1{}^{*}$	$1.5(-1){}^{\#}$	$2.1(-4)$	$9.9(-7)$	$1.1(-7)$	$1.5(-7)$	$2.6(-7)$
	$|x_3-x_2|$	$9.9(-105)$	$2.4(-4){}^{*}$	$3.8(-19){}^{\#}$	$7.4(-62)$	$1.1(-98)$	$9.4(-116)$	$4.8(-112)$	$8.0(-110)$
	$|x_1-x_0|$	$1.4(-1)$	$1.4(-1)$	$1.4(-1)$	$1.4(-1)$	$1.4(-1)$	$1.4(-1)$	$1.4(-1)$	$1.4(-1)$
${\Omega }_{10}$	$|x_2-x_1|$	$1.2(-14)$	$1.2(-13)$	$4.6(-13)$	$6.7(-13)$	$6.3(-15)$	$4.1(-15)$	$5.2(-15)$	$3.2(-14)$
	$|x_3-x_2|$	$1.1(-224)$	$8.2(-210)$	$3.3(-200)$	$1.7(-195)$	$6.1(-228)$	$5.7(-232)$	$3.3(-232)$	$4.8(-217)$
	$|x_1-x_0|$	$2.8(-1)$	$2.8(-1)$	$2.8(-1)$	$2.8(-1)$	$2.8(-1)$	$2.8(-1)$	$2.8(-1)$	$2.8(-1)$
${\Omega }_{11}$	$|x_2-x_1|$	$3.0(-12)$	$1.2(-12)$	$1.4(-10)$	$6.4(-11)$	$1.3(-12)$	$9.6(-13)$	$1.6(-12)$	$5.1(-13)$
	$|x_3-x_2|$	$1.8(-186)$	$1.7(-193)$	$1.2(-156)$	$1.3(-163)$	$1.3(-193)$	$2.1(-195)$	$6.6(-192)$	$2.4(-199)$
	$|x_1-x_0|$	$1.7(-1)$	$1.7(-1)$	$1.7(-1)$	$1.7(-1)$	$1.7(-1)$	$1.7(-1)$	$1.7(-1)$	$1.7(-1)$
${\Omega }_{12}$	$|x_2-x_1|$	$2.3(-11)$	$8.5(-5)$	$1.7(-4)$	$2.8(-7)$	$5.4(-11)$	$8.4(-12)$	$1.3(-11)$	$1.5(-11)$
	$|x_3-x_2|$	$1.4(-170)$	$1.2(-63)$	$9.3(-57)$	$1.0(-109)$	$5.5(-164)$	$2.6(-178)$	$2.2(-174)$	$3.1(-174)$
	$|x_1-x_0|$	$5.1(-1)$	$5.1(-1)$	$5.1(-1)$	$5.1(-1)$	$5.1(-1)$	$5.1(-1)$	$5.1(-1)$	$5.1(-1)$
${\Omega }_{13}$	$|x_2-x_1|$	$4.5(-28)$	$2.2(-27)$	$1.6(-24)$	$3.5(-30)$	$1.2(-27)$	$2.1(-29)$	$7.9(-28)$	$3.1(-31)$
	$|x_3-x_2|$	$7.6(-461)$	$3.5(-448)$	$3.5(-400)$	$1.8(-502)$	$1.5(-453)$	$1.3(-485)$	$1.0(-456)$	$2.2(-518)$

${}^{*}$ and ${}^{\#}$ stand for converge to undesired roots $-1.89549\cdots$ and 0, respectively.

Furthermore, the estimated zeros by 25 significant figures are also mentioned in Table 1.

Now, we compare our 16-order methods with optimal 16-order families of iterative schemes that were proposed by Sharma et al. [7], Geum and Kim [3,4] and Ullah et al. [8]. Among these schemes, we pick the iterative methods namely expression (29), expression (Y1) (for more detail please see Table 1 of Geum and Kim [3]) and expression (K2) (please have look at Table 1 of Geum and Kim [4] for more details) and expression (9), respectively called by $SM,GK1$, $GK2$ and $MM$. The numbering and titles of the methods (used for comparisons) are taken from their original research papers.

We want to demonstrate that our methods perform better than the existing ones. Therefore, instead of manipulating the results by considering self-made examples or/and cherry-picking among the starting points, we assume 4 numerical examples; the first one is taken from Sharma et al. [7]; the second one is considered from Geum and Kim [3]; the third one is picked from Geum and Kim [4] and the fourth one is considered from Ullah et al. [8] with the same starting points that are mentioned in their research articles. Additionally, we want to check what the outcomes will be if we assume different numerical examples and staring guesses that are not suggested in their articles. Therefore, we assume another numerical example from Behl et al. [27]. For the detailed information of the considered examples or test functions, please see Table 4.

Table 4. Test problems.

$\mathbf{\Omega }\left(\mathit{x}\right)$	${\mathit{x}}_0$	$\mathit{Root}\left(\mathit{r}\right)$
${\Omega }_9\left(x\right)=sinx-\frac{x}{2};$ [7]	$1.5$	$1.895494267033980947144036$
${\Omega }_{10}\left(x\right)=sin\left(\frac{2}{x}\right)+3x^2+e^{-x^2}-3;$ [3]	$0.65$	$0.7929384316301793741678596$
${\Omega }_{11}\left(x\right)=e^{-x}cos\left(3x\right)+x-2;$ [4]	$1.6$	$1.878179124117988404113719$
${\Omega }_{12}\left(x\right)=e^{-x}-cosx;$ [8]	$\frac{1}{6}$	0
${\Omega }_{13}\left(z\right)={(x-2)}^2-logx-33x;$ [27]	$37.5$	$36.98947358294466986534473$

We have suggested two comparison tables for every test function. The first one is associated with $\left(\right|\Omega \left(x_r\right)\left|\right)$ mentioned in Table 2. On the other hand, the second one is related to $|x_{r+1}-x_r|$ and the corresponding results are depicted in Table 3. In addition, we assume the estimated zero of considered functions in the case where exact zero is not available, i.e., corrected by 1000 significant figures to calculate $|x_r-\xi |$. All the computations have been executed by adopting the programming package $Mathematica11$ with multiple precision arithmetic. Finally, $b_1(\pm b_2)$ stands for $b_1\times {10}^{(\pm b_2)}$ in Table 1, Table 2 and Table 3.

4. Conclusions

We constructed a general optimal scheme of 16-order that is suitable for every optimal 8-order iterative method/family of iterative methods provided the first sub-step employs classical Newton’s method, unlike the earlier studies, where researchers suggested a high-order version or extension of certain existing methods such as Ostrowski’s method or King’s method [28], etc. This means that we can choose any iterative method/family of methods from [5,11,12,13,14,15,16,17,18,19,20,21], etc. to obtain further optimal 16-order scheme. The construction of the presented technique is based on the inverse interpolatory approach. Our scheme also satisfies the conjecture of optimality of iterative methods given by Kung-Traub. In addition, we compare our methods with the existing methods with same convergence order on several of the nonlinear scalar problems. The obtained results in Table 2 and Table 3 also illustrate the superiority of our methods to the existing methods, despite choosing the same test problem and same initial guess. Table 1, Table 2 and Table 3 confirm that smaller $|\Omega (x_r\left)\right|$, $|x_{r+1}-x_r|$ and simple asymptotic error terms are related to our iterative methods. The superiority of our methods over the existing robust methods may be due to the inherent structure of our technique with simple asymptotic error constants and inverse interpolatory approach.