Pow Add csch Pow x0 3 Mul Mul x0 -1 acosh x1 x0 
Mul Pow Add csch Pow x0 3 Mul Mul x0 -1 acosh x1 Add x0 -1 Add Mul x0 Add Mul Mul Mul -1 coth Pow x0 3 csch Pow x0 3 Mul Pow x0 2 3 Mul acosh x1 -1 Mul Add csch Pow x0 3 Mul Mul x0 -1 acosh x1 log Add csch Pow x0 3 Mul Mul x0 -1 acosh x1 