coth atan Pow sqrt Add x0 x0 4 
Mul Mul -1 Pow csch atan Pow sqrt Add x0 x0 4 2 Mul Mul Pow sqrt Add x0 x0 3 Mul 4 Mul Pow Mul 2 sqrt Add x0 x0 -1 2 Pow Add 1 Mul Pow sqrt Add x0 x0 4 Pow sqrt Add x0 x0 4 -1 