Mul Mul Add x2 sinh Mul Pow acoth x0 x0 x0 x0 sech x0 
Add Mul sech x0 Add Mul x0 Mul cosh Mul Pow acoth x0 x0 x0 Add Mul x0 Mul Pow acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 Pow acoth x0 x0 Add x2 sinh Mul Pow acoth x0 x0 x0 Mul Mul Add x2 sinh Mul Pow acoth x0 x0 x0 x0 Mul tanh x0 Mul -1 sech x0 