Mul 5 Add Pow Mul Mul Pow x7 acoth x0 Pow pi x0 Add x0 4 x5 x0 
Mul 5 Add Mul Pow Mul Mul Pow x7 acoth x0 Pow pi x0 Add x0 4 Add x5 -1 Mul x5 Add Mul Add x0 4 Add Mul Pow pi x0 Mul Pow x7 Add acoth x0 -1 Mul Mul x7 log x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x7 acoth x0 Mul Pow pi Add x0 -1 Mul pi log pi Mul Pow x7 acoth x0 Pow pi x0 1 