Pow Mul Mul Pow exp Mul -4 x0 Mul x2 x0 Pow x0 acoth x1 -4 5 
Mul Pow Mul Mul Pow exp Mul -4 x0 Mul x2 x0 Pow x0 acoth x1 -4 4 Mul 5 Mul -4 Add Mul Pow x0 acoth x1 Mul Pow exp Mul -4 x0 Add Mul x2 x0 -1 Add Mul Mul x2 x0 Mul exp Mul -4 x0 -4 Mul Mul exp Mul -4 x0 log exp Mul -4 x0 x2 Mul Pow exp Mul -4 x0 Mul x2 x0 Mul Pow x0 Add acoth x1 -1 acoth x1 