sech Pow x0 atanh Add x6 Mul cosh Mul acoth E log asin x2 x1 
Mul Mul tanh Pow x0 atanh Add x6 Mul cosh Mul acoth E log asin x2 x1 Mul -1 sech Pow x0 atanh Add x6 Mul cosh Mul acoth E log asin x2 x1 Mul Pow x0 Add atanh Add x6 Mul cosh Mul acoth E log asin x2 x1 -1 atanh Add x6 Mul cosh Mul acoth E log asin x2 x1 