Mul Pow Pow x0 csch x5 x7 Add x0 Add Mul x0 x0 asin Mul E x7 
Add Mul Add x0 Add Mul x0 x0 asin Mul E x7 Mul Pow Pow x0 csch x5 Add x7 -1 Mul x7 Mul Pow x0 Add csch x5 -1 csch x5 Mul Pow Pow x0 csch x5 x7 Add 1 Add x0 x0 