Pow Add Mul Mul Mul 2 acsch pi Pow x6 x0 x0 Mul -1 sech x3 x7 
Mul Pow Add Mul Mul Mul 2 acsch pi Pow x6 x0 x0 Mul -1 sech x3 Add x7 -1 Mul x7 Add Mul x0 Mul Mul 2 acsch pi Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Mul 2 acsch pi Pow x6 x0 