Mul 2 Pow Add acoth x0 pi Mul -4 asinh x0 
Mul 2 Mul Pow Add acoth x0 pi Add Mul -4 asinh x0 -1 Add Mul Mul -4 asinh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add acoth x0 pi log Add acoth x0 pi Mul -4 Pow sqrt Add 1 Mul x0 x0 -1 