Mul Add Pow x0 5 Mul x4 Pow Mul Pow x0 4 Add Mul x6 -3 E Add pi Mul x0 acoth x1 x0 
Add Mul x0 Add Mul Pow x0 4 5 Mul x4 Mul Pow Mul Pow x0 4 Add Mul x6 -3 E Add Add pi Mul x0 acoth x1 -1 Add Mul Add pi Mul x0 acoth x1 Mul Add Mul x6 -3 E Mul Pow x0 3 4 Mul Mul Mul Pow x0 4 Add Mul x6 -3 E log Mul Pow x0 4 Add Mul x6 -3 E acoth x1 Add Pow x0 5 Mul x4 Pow Mul Pow x0 4 Add Mul x6 -3 E Add pi Mul x0 acoth x1 