Mul Mul x0 Add Mul sqrt x0 x5 Pow Mul acos csch x5 sec x7 x0 x0 
Add Mul x0 Add Add Mul sqrt x0 x5 Pow Mul acos csch x5 sec x7 x0 Mul x0 Add Mul x5 Pow Mul 2 sqrt x0 -1 Mul Pow Mul acos csch x5 sec x7 Add x0 -1 Mul Mul acos csch x5 sec x7 log Mul acos csch x5 sec x7 Mul x0 Add Mul sqrt x0 x5 Pow Mul acos csch x5 sec x7 x0 