Pow Add x0 acoth Mul 3 x0 log Add Add asin x0 x2 x0 
Mul Pow Add x0 acoth Mul 3 x0 Add log Add Add asin x0 x2 x0 -1 Add Mul log Add Add asin x0 x2 x0 Add 1 Mul 3 Pow Add 1 Mul -1 Mul Mul 3 x0 Mul 3 x0 -1 Mul Mul Add x0 acoth Mul 3 x0 log Add x0 acoth Mul 3 x0 Mul Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Add Add asin x0 x2 x0 -1 