Mul x0 Add x0 Pow Pow sqrt acsc x7 x0 cosh cosh Pow -4 x6 
Add Add x0 Pow Pow sqrt acsc x7 x0 cosh cosh Pow -4 x6 Mul x0 Add 1 Mul Pow Pow sqrt acsc x7 x0 Add cosh cosh Pow -4 x6 -1 Mul cosh cosh Pow -4 x6 Mul Pow sqrt acsc x7 Add x0 -1 Mul sqrt acsc x7 log sqrt acsc x7 