Mul Pow Add Pow x0 coth Pow x1 x4 Mul atanh x0 acos x0 Pow acoth x0 Add Mul x3 -3 x1 -5 
Mul -5 Mul Pow Add Pow x0 coth Pow x1 x4 Mul atanh x0 acos x0 Add Pow acoth x0 Add Mul x3 -3 x1 -1 Add Mul Pow acoth x0 Add Mul x3 -3 x1 Add Mul Pow x0 Add coth Pow x1 x4 -1 coth Pow x1 x4 Add Mul acos x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add Pow x0 coth Pow x1 x4 Mul atanh x0 acos x0 log Add Pow x0 coth Pow x1 x4 Mul atanh x0 acos x0 Mul Pow acoth x0 Add Add Mul x3 -3 x1 -1 Mul Add Mul x3 -3 x1 Pow Add 1 Mul -1 Mul x0 x0 -1 