cbrt exp Pow acosh Mul x0 x0 Pow Pow x0 acoth x2 x0 
Mul Pow Mul Mul 3 cbrt exp Pow acosh Mul x0 x0 Pow Pow x0 acoth x2 x0 cbrt exp Pow acosh Mul x0 x0 Pow Pow x0 acoth x2 x0 -1 Mul exp Pow acosh Mul x0 x0 Pow Pow x0 acoth x2 x0 Mul Pow acosh Mul x0 x0 Add Pow Pow x0 acoth x2 x0 -1 Add Mul Pow Pow x0 acoth x2 x0 Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 Mul Mul acosh Mul x0 x0 log acosh Mul x0 x0 Mul Pow Pow x0 acoth x2 Add x0 -1 Add Mul x0 Mul Pow x0 Add acoth x2 -1 acoth x2 Mul Pow x0 acoth x2 log Pow x0 acoth x2 