Add sqrt Mul csch x7 x0 asin Pow x0 Pow -1 x3 
Add Mul Pow Mul 2 sqrt Mul csch x7 x0 -1 csch x7 Mul Mul Pow x0 Add Pow -1 x3 -1 Pow -1 x3 Pow sqrt Add 1 Mul -1 Mul Pow x0 Pow -1 x3 Pow x0 Pow -1 x3 -1 