Mul Pow Add coth acos x0 E Pow Mul -4 x0 x0 x5 
Mul x5 Mul Pow Add coth acos x0 E Add Pow Mul -4 x0 x0 -1 Add Mul Pow Mul -4 x0 x0 Mul Mul -1 Pow csch acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add coth acos x0 E log Add coth acos x0 E Mul Pow Mul -4 x0 Add x0 -1 Add Mul x0 -4 Mul Mul -4 x0 log Mul -4 x0 