Mul x0 atanh Add Pow x0 csch Pow acoth x0 Add 5 x2 x0 
Add atanh Add Pow x0 csch Pow acoth x0 Add 5 x2 x0 Mul x0 Mul Add Mul Pow x0 Add csch Pow acoth x0 Add 5 x2 -1 Add csch Pow acoth x0 Add 5 x2 Mul Mul x0 log x0 Mul Mul Mul -1 coth Pow acoth x0 Add 5 x2 csch Pow acoth x0 Add 5 x2 Mul Pow acoth x0 Add Add 5 x2 -1 Mul Add 5 x2 Pow Add 1 Mul -1 Mul x0 x0 -1 1 Pow Add 1 Mul -1 Mul Add Pow x0 csch Pow acoth x0 Add 5 x2 x0 Add Pow x0 csch Pow acoth x0 Add 5 x2 x0 -1 