Pow Add Mul Pow x0 x3 csch E -4 sinh Add Mul x0 x7 x0 
Mul Pow Add Mul Pow x0 x3 csch E -4 Add sinh Add Mul x0 x7 x0 -1 Add Mul sinh Add Mul x0 x7 x0 Mul csch E Mul Pow x0 Add x3 -1 x3 Mul Mul Add Mul Pow x0 x3 csch E -4 log Add Mul Pow x0 x3 csch E -4 Mul cosh Add Mul x0 x7 x0 Add x7 1 