Pow x7 csch Add 4 Mul 4 Add x0 Add x0 Add x0 Mul 5 Add Add -1 acsch x4 x0 
Mul Pow x7 Add csch Add 4 Mul 4 Add x0 Add x0 Add x0 Mul 5 Add Add -1 acsch x4 x0 -1 Mul Mul x7 log x7 Mul Mul Mul -1 coth Add 4 Mul 4 Add x0 Add x0 Add x0 Mul 5 Add Add -1 acsch x4 x0 csch Add 4 Mul 4 Add x0 Add x0 Add x0 Mul 5 Add Add -1 acsch x4 x0 12 