Add Add x0 x4 csch Pow Mul x0 sqrt Mul Add x0 x0 x7 x4 
Add 1 Mul Mul Mul -1 coth Pow Mul x0 sqrt Mul Add x0 x0 x7 x4 csch Pow Mul x0 sqrt Mul Add x0 x0 x7 x4 Mul Pow Mul x0 sqrt Mul Add x0 x0 x7 Add x4 -1 Mul x4 Add sqrt Mul Add x0 x0 x7 Mul x0 Mul Pow Mul 2 sqrt Mul Add x0 x0 x7 -1 Mul x7 2 