Mul Add Pow acoth Pow x0 Pow x0 coth E Add Add x0 x0 pi x0 Add 4 Add x7 x0 
Add Mul Add 4 Add x7 x0 Add Mul Pow acoth Pow x0 Pow x0 coth E Add Add Add x0 x0 pi -1 Add Mul Add Add x0 x0 pi Mul Mul Pow x0 Add Pow x0 coth E -1 Add Pow x0 coth E Mul Mul x0 log x0 Mul Pow x0 Add coth E -1 coth E Pow Add 1 Mul -1 Mul Pow x0 Pow x0 coth E Pow x0 Pow x0 coth E -1 Mul Mul acoth Pow x0 Pow x0 coth E log acoth Pow x0 Pow x0 coth E 2 1 Add Pow acoth Pow x0 Pow x0 coth E Add Add x0 x0 pi x0 