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