acos Add Mul Mul x0 x0 3 acoth Mul Add Pow x4 x0 x0 2 
Mul -1 Mul Add Mul 3 Add x0 x0 Mul Mul 2 Add Mul Pow x4 Add x0 -1 Mul x4 log x4 1 Pow Add 1 Mul -1 Mul Mul Add Pow x4 x0 x0 2 Mul Add Pow x4 x0 x0 2 -1 Pow sqrt Add 1 Mul -1 Mul Add Mul Mul x0 x0 3 acoth Mul Add Pow x4 x0 x0 2 Add Mul Mul x0 x0 3 acoth Mul Add Pow x4 x0 x0 2 -1 