Pow acoth Add Pow x0 Mul Pow cosh log x0 x4 x0 acoth atanh exp x0 x0 
Mul Pow acoth Add Pow x0 Mul Pow cosh log x0 x4 x0 acoth atanh exp x0 Add x0 -1 Add Mul x0 Mul Add Mul Pow x0 Add Mul Pow cosh log x0 x4 x0 -1 Add Mul Pow cosh log x0 x4 x0 Mul Mul x0 log x0 Add Mul x0 Mul Pow cosh log x0 Add x4 -1 Mul x4 Mul sinh log x0 Pow x0 -1 Pow cosh log x0 x4 Mul Mul exp x0 Pow Add 1 Mul -1 Mul exp x0 exp x0 -1 Pow Add 1 Mul -1 Mul atanh exp x0 atanh exp x0 -1 Pow Add 1 Mul -1 Mul Add Pow x0 Mul Pow cosh log x0 x4 x0 acoth atanh exp x0 Add Pow x0 Mul Pow cosh log x0 x4 x0 acoth atanh exp x0 -1 Mul acoth Add Pow x0 Mul Pow cosh log x0 x4 x0 acoth atanh exp x0 log acoth Add Pow x0 Mul Pow cosh log x0 x4 x0 acoth atanh exp x0 