Pow Pow Mul Mul x0 acoth x3 x0 -4 Pow x0 -4 
Mul Pow Pow Mul Mul x0 acoth x3 x0 -4 Add Pow x0 -4 -1 Add Mul Pow x0 -4 Mul Pow Mul Mul x0 acoth x3 x0 5 Mul -4 Add Mul x0 acoth x3 Mul x0 acoth x3 Mul Mul Pow Mul Mul x0 acoth x3 x0 -4 log Pow Mul Mul x0 acoth x3 x0 -4 Mul Pow x0 5 -4 