coth Pow Add x0 1 sqrt Add Add x0 x0 3 
Mul Mul -1 Pow csch Pow Add x0 1 sqrt Add Add x0 x0 3 2 Mul Pow Add x0 1 Add sqrt Add Add x0 x0 3 -1 Add sqrt Add Add x0 x0 3 Mul Mul Add x0 1 log Add x0 1 Mul Pow Mul 2 sqrt Add Add x0 x0 3 -1 2 