Mul Pow x6 Mul Mul x0 -4 Pow Add x7 x0 Pow Add x1 x0 Add x6 csch x7 5 
Mul 5 Mul Pow x6 Add Mul Mul x0 -4 Pow Add x7 x0 Pow Add x1 x0 Add x6 csch x7 -1 Mul Mul x6 log x6 Add Mul Pow Add x7 x0 Pow Add x1 x0 Add x6 csch x7 -4 Mul Mul x0 -4 Mul Pow Add x7 x0 Add Pow Add x1 x0 Add x6 csch x7 -1 Add Pow Add x1 x0 Add x6 csch x7 Mul Mul Add x7 x0 log Add x7 x0 Mul Pow Add x1 x0 Add Add x6 csch x7 -1 Add x6 csch x7 