Mul tan asech atanh tanh Add x0 x0 x6 
Mul x6 Mul Pow sec asech atanh tanh Add x0 x0 2 Mul Mul Mul Pow sech Add x0 x0 2 2 Pow Add 1 Mul -1 Mul tanh Add x0 x0 tanh Add x0 x0 -1 Pow Mul Mul atanh tanh Add x0 x0 atanh tanh Add x0 x0 sqrt Add 1 Mul -1 Pow Mul atanh tanh Add x0 x0 atanh tanh Add x0 x0 -1 -1 