Mul Pow x0 Mul Pow Mul -1 x0 2 Mul x0 Add acoth E Add pi x5 Add x0 E 
Add Mul Add x0 E Mul Pow x0 Add Mul Pow Mul -1 x0 2 Mul x0 Add acoth E Add pi x5 -1 Add Mul Pow Mul -1 x0 2 Mul x0 Add acoth E Add pi x5 Mul Mul x0 log x0 Add Mul Mul x0 Add acoth E Add pi x5 Mul -1 x0 Mul Pow Mul -1 x0 2 Add acoth E Add pi x5 Pow x0 Mul Pow Mul -1 x0 2 Mul x0 Add acoth E Add pi x5 