atanh Add 2 Pow x4 sinh Pow Add Mul x4 Pow acoth x0 x0 x0 Mul x0 x7 
Mul Mul Pow x4 Add sinh Pow Add Mul x4 Pow acoth x0 x0 x0 Mul x0 x7 -1 Mul Mul x4 log x4 Mul cosh Pow Add Mul x4 Pow acoth x0 x0 x0 Mul x0 x7 Mul Pow Add Mul x4 Pow acoth x0 x0 x0 Add Mul x0 x7 -1 Add Mul Mul x0 x7 Add Mul x4 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 1 Mul Mul Add Mul x4 Pow acoth x0 x0 x0 log Add Mul x4 Pow acoth x0 x0 x0 x7 Pow Add 1 Mul -1 Mul Add 2 Pow x4 sinh Pow Add Mul x4 Pow acoth x0 x0 x0 Mul x0 x7 Add 2 Pow x4 sinh Pow Add Mul x4 Pow acoth x0 x0 x0 Mul x0 x7 -1 