Pow acoth sech cosh x0 Pow x0 Add Pow x0 sqrt pi x1 
Mul Pow acoth sech cosh x0 Add Pow x0 Add Pow x0 sqrt pi x1 -1 Add Mul Pow x0 Add Pow x0 sqrt pi x1 Mul Mul Mul tanh cosh x0 Mul -1 sech cosh x0 sinh x0 Pow Add 1 Mul -1 Mul sech cosh x0 sech cosh x0 -1 Mul Mul acoth sech cosh x0 log acoth sech cosh x0 Mul Pow x0 Add Add Pow x0 sqrt pi x1 -1 Add Add Pow x0 sqrt pi x1 Mul Mul x0 log x0 Mul Pow x0 Add sqrt pi -1 sqrt pi 