Mul Mul Mul asinh asech Mul Pow acoth E sech x0 2 acoth x0 3 -2 
Mul -2 Mul 3 Add Mul acoth x0 Mul Mul Mul 2 Mul Pow acoth E Add sech x0 -1 Mul Mul acoth E log acoth E Mul tanh x0 Mul -1 sech x0 Pow Mul Mul Mul Pow acoth E sech x0 2 Mul Pow acoth E sech x0 2 sqrt Add 1 Mul -1 Pow Mul Mul Pow acoth E sech x0 2 Mul Pow acoth E sech x0 2 -1 -1 Pow sqrt Add 1 Mul asech Mul Pow acoth E sech x0 2 asech Mul Pow acoth E sech x0 2 -1 Mul asinh asech Mul Pow acoth E sech x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 