Add Pow x0 x5 Add Mul x0 Mul Pow csch acsch x7 Mul E x0 x0 x0 
Add Mul Pow x0 Add x5 -1 x5 Add Add Mul Pow csch acsch x7 Mul E x0 x0 Mul x0 Add Mul x0 Mul Pow csch acsch x7 Add Mul E x0 -1 Mul Mul csch acsch x7 log csch acsch x7 E Pow csch acsch x7 Mul E x0 1 