Pow x2 acosh atanh Mul acoth x0 acosh Pow csc x6 2 
Mul Pow x2 Add acosh atanh Mul acoth x0 acosh Pow csc x6 2 -1 Mul Mul x2 log x2 Mul Mul Mul acosh Pow csc x6 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul acoth x0 acosh Pow csc x6 2 Mul acoth x0 acosh Pow csc x6 2 -1 Pow Mul sqrt Add atanh Mul acoth x0 acosh Pow csc x6 2 -1 sqrt Add 1 atanh Mul acoth x0 acosh Pow csc x6 2 -1 