Mul csch Mul Mul Add Pow x0 x0 Pow acoth Mul x7 4 x0 log Mul 5 x7 x5 acosh x7 
Mul acosh x7 Mul Mul Mul -1 coth Mul Mul Add Pow x0 x0 Pow acoth Mul x7 4 x0 log Mul 5 x7 x5 csch Mul Mul Add Pow x0 x0 Pow acoth Mul x7 4 x0 log Mul 5 x7 x5 Mul x5 Mul log Mul 5 x7 Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow acoth Mul x7 4 Add x0 -1 Mul acoth Mul x7 4 log acoth Mul x7 4 