Add Mul x6 E Pow Add x0 x7 Pow Pow x6 Mul Mul x0 -4 Mul E acot sinh x1 x4 
Mul Pow Add x0 x7 Add Pow Pow x6 Mul Mul x0 -4 Mul E acot sinh x1 x4 -1 Add Pow Pow x6 Mul Mul x0 -4 Mul E acot sinh x1 x4 Mul Mul Add x0 x7 log Add x0 x7 Mul Pow Pow x6 Mul Mul x0 -4 Mul E acot sinh x1 Add x4 -1 Mul x4 Mul Pow x6 Add Mul Mul x0 -4 Mul E acot sinh x1 -1 Mul Mul x6 log x6 Mul Mul E acot sinh x1 -4 