Pow Add x0 x0 asin Mul acoth x0 2 
Mul Pow Add x0 x0 Add asin Mul acoth x0 2 -1 Add Mul asin Mul acoth x0 2 2 Mul Mul Add x0 x0 log Add x0 x0 Mul Mul 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul acoth x0 2 Mul acoth x0 2 -1 