Pow x0 Add Pow x0 Pow Add x6 coth acoth Add x7 pi Mul x0 5 E 
Mul Pow x0 Add Add Pow x0 Pow Add x6 coth acoth Add x7 pi Mul x0 5 E -1 Add Add Pow x0 Pow Add x6 coth acoth Add x7 pi Mul x0 5 E Mul Mul x0 log x0 Mul Pow x0 Add Pow Add x6 coth acoth Add x7 pi Mul x0 5 -1 Add Pow Add x6 coth acoth Add x7 pi Mul x0 5 Mul Mul x0 log x0 Mul Pow Add x6 coth acoth Add x7 pi Add Mul x0 5 -1 Mul Mul Add x6 coth acoth Add x7 pi log Add x6 coth acoth Add x7 pi 5 