Pow Mul Mul x0 Pow Mul pi acoth x0 4 csc x7 x0 
Mul Pow Mul Mul x0 Pow Mul pi acoth x0 4 csc x7 Add x0 -1 Add Mul x0 Mul csc x7 Add Pow Mul pi acoth x0 4 Mul x0 Mul Pow Mul pi acoth x0 3 Mul 4 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul x0 Pow Mul pi acoth x0 4 csc x7 log Mul Mul x0 Pow Mul pi acoth x0 4 csc x7 