Pow Pow E Pow acos coth x2 x0 log Mul pi E 
Mul Pow Pow E Pow acos coth x2 x0 Add log Mul pi E -1 Mul log Mul pi E Mul Pow E Add Pow acos coth x2 x0 -1 Mul Mul E log E Mul Pow acos coth x2 Add x0 -1 Mul acos coth x2 log acos coth x2 