Mul x0 acos Mul E Pow sqrt x0 coth pi 
Add acos Mul E Pow sqrt x0 coth pi Mul x0 Mul -1 Mul Mul E Mul Pow sqrt x0 Add coth pi -1 Mul coth pi Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul E Pow sqrt x0 coth pi Mul E Pow sqrt x0 coth pi -1 