Add x0 Mul Add x0 x0 Mul Pow x3 x7 Mul log acsch exp E Mul Add -1 x0 Add log Mul Add 2 x0 x0 -3 
Add 1 Add Mul Mul Pow x3 x7 Mul log acsch exp E Mul Add -1 x0 Add log Mul Add 2 x0 x0 -3 2 Mul Add x0 x0 Mul Pow x3 x7 Mul log acsch exp E Add Add log Mul Add 2 x0 x0 -3 Mul Add -1 x0 Mul Add x0 Add 2 x0 Pow Mul Add 2 x0 x0 -1 