Add Mul x0 coth Add Mul Pow x0 Add 7 Add x2 1 Mul x5 acsch pi pi -4 
Add coth Add Mul Pow x0 Add 7 Add x2 1 Mul x5 acsch pi pi Mul x0 Mul Mul -1 Pow csch Add Mul Pow x0 Add 7 Add x2 1 Mul x5 acsch pi pi 2 Mul Mul x5 acsch pi Mul Pow x0 Add Add 7 Add x2 1 -1 Add 7 Add x2 1 