Add x0 Add Add -5 Mul Mul coth Mul Pow x0 x0 x5 Mul Add x0 4 asech x7 x0 -4 
Add 1 Add Mul x0 Add Mul Mul Add x0 4 asech x7 Mul Mul -1 Pow csch Mul Pow x0 x0 x5 2 Mul x5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul coth Mul Pow x0 x0 x5 asech x7 Mul coth Mul Pow x0 x0 x5 Mul Add x0 4 asech x7 