acot Mul Pow x0 acosh Pow exp Pow Add 1 x0 x6 acoth x0 x0 
Mul -1 Mul Add Mul x0 Mul Pow x0 Add acosh Pow exp Pow Add 1 x0 x6 acoth x0 -1 Add acosh Pow exp Pow Add 1 x0 x6 acoth x0 Mul Mul x0 log x0 Mul Mul Pow exp Pow Add 1 x0 x6 Add acoth x0 -1 Add Mul acoth x0 Mul exp Pow Add 1 x0 x6 Mul Pow Add 1 x0 Add x6 -1 x6 Mul Mul exp Pow Add 1 x0 x6 log exp Pow Add 1 x0 x6 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Pow exp Pow Add 1 x0 x6 acoth x0 -1 sqrt Add 1 Pow exp Pow Add 1 x0 x6 acoth x0 -1 Pow x0 acosh Pow exp Pow Add 1 x0 x6 acoth x0 Pow Add 1 Mul Mul Pow x0 acosh Pow exp Pow Add 1 x0 x6 acoth x0 x0 Mul Pow x0 acosh Pow exp Pow Add 1 x0 x6 acoth x0 x0 -1 