Pow coth acosh pi Mul x0 csch Mul -3 atanh Pow x0 sinh x7 
Mul Pow coth acosh pi Add Mul x0 csch Mul -3 atanh Pow x0 sinh x7 -1 Mul Mul coth acosh pi log coth acosh pi Add csch Mul -3 atanh Pow x0 sinh x7 Mul x0 Mul Mul Mul -1 coth Mul -3 atanh Pow x0 sinh x7 csch Mul -3 atanh Pow x0 sinh x7 Mul -3 Mul Mul Pow x0 Add sinh x7 -1 sinh x7 Pow Add 1 Mul -1 Mul Pow x0 sinh x7 Pow x0 sinh x7 -1 