Pow Add Pow x0 2 1 sqrt Pow acoth Mul -1 Pow x1 x0 atanh acoth Pow x0 -3 
Mul Pow Add Pow x0 2 1 Add sqrt Pow acoth Mul -1 Pow x1 x0 atanh acoth Pow x0 -3 -1 Add Mul sqrt Pow acoth Mul -1 Pow x1 x0 atanh acoth Pow x0 -3 Mul x0 2 Mul Mul Add Pow x0 2 1 log Add Pow x0 2 1 Mul Pow Mul 2 sqrt Pow acoth Mul -1 Pow x1 x0 atanh acoth Pow x0 -3 -1 Mul Pow acoth Mul -1 Pow x1 x0 Add atanh acoth Pow x0 -3 -1 Add Mul atanh acoth Pow x0 -3 Mul Mul -1 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow Add 1 Mul -1 Mul Mul -1 Pow x1 x0 Mul -1 Pow x1 x0 -1 Mul Mul acoth Mul -1 Pow x1 x0 log acoth Mul -1 Pow x1 x0 Mul Mul Mul Pow x0 4 -3 Pow Add 1 Mul -1 Mul Pow x0 -3 Pow x0 -3 -1 Pow Add 1 Mul -1 Mul acoth Pow x0 -3 acoth Pow x0 -3 -1 