Mul Pow pi x0 Mul Mul pi coth pi Mul Pow Mul x0 Mul -2 Add x0 x4 Add acoth Pow acot E 2 5 x1 
Add Mul Mul Mul pi coth pi Mul Pow Mul x0 Mul -2 Add x0 x4 Add acoth Pow acot E 2 5 x1 Mul Pow pi Add x0 -1 Mul pi log pi Mul Pow pi x0 Mul Mul pi coth pi Mul x1 Mul Pow Mul x0 Mul -2 Add x0 x4 Add Add acoth Pow acot E 2 5 -1 Mul Add acoth Pow acot E 2 5 Add Mul -2 Add x0 x4 Mul x0 -2 