Mul 4 Add Mul Add Mul 3 x6 1 Pow pi Pow x0 acosh Pow x7 -5 Pow coth x6 x0 
Mul 4 Add Mul Add Mul 3 x6 1 Mul Pow pi Add Pow x0 acosh Pow x7 -5 -1 Mul Mul pi log pi Mul Pow x0 Add acosh Pow x7 -5 -1 acosh Pow x7 -5 Mul Pow coth x6 Add x0 -1 Mul coth x6 log coth x6 