Mul exp csch Add Add Pow x3 Pow x0 atanh Mul acosh x7 x0 x0 x7 -2 
Mul -2 Mul exp csch Add Add Pow x3 Pow x0 atanh Mul acosh x7 x0 x0 x7 Mul Mul Mul -1 coth Add Add Pow x3 Pow x0 atanh Mul acosh x7 x0 x0 x7 csch Add Add Pow x3 Pow x0 atanh Mul acosh x7 x0 x0 x7 Add Mul Pow x3 Add Pow x0 atanh Mul acosh x7 x0 -1 Mul Mul x3 log x3 Mul Pow x0 Add atanh Mul acosh x7 x0 -1 Add atanh Mul acosh x7 x0 Mul Mul x0 log x0 Mul acosh x7 Pow Add 1 Mul -1 Mul Mul acosh x7 x0 Mul acosh x7 x0 -1 1 