tanh Mul asinh Pow acoth E x0 Mul exp x0 Add pi -2 
Mul Pow sech Mul asinh Pow acoth E x0 Mul exp x0 Add pi -2 2 Add Mul Mul exp x0 Add pi -2 Mul Mul Pow acoth E Add x0 -1 Mul acoth E log acoth E Pow sqrt Add 1 Mul Pow acoth E x0 Pow acoth E x0 -1 Mul asinh Pow acoth E x0 Mul Add pi -2 exp x0 