Pow Mul acoth x0 -3 Pow x5 Pow sqrt Mul asech x7 x0 x0 
Mul Pow Mul acoth x0 -3 Add Pow x5 Pow sqrt Mul asech x7 x0 x0 -1 Add Mul Pow x5 Pow sqrt Mul asech x7 x0 x0 Mul -3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul acoth x0 -3 log Mul acoth x0 -3 Mul Pow x5 Add Pow sqrt Mul asech x7 x0 x0 -1 Mul Mul x5 log x5 Mul Pow sqrt Mul asech x7 x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Mul asech x7 x0 -1 asech x7 Mul sqrt Mul asech x7 x0 log sqrt Mul asech x7 x0 