atanh tanh Mul asinh x0 tanh acos x6 
Mul Mul Pow sech Mul asinh x0 tanh acos x6 2 Mul tanh acos x6 Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul tanh Mul asinh x0 tanh acos x6 tanh Mul asinh x0 tanh acos x6 -1 