Mul x3 Add -1 Pow acos x7 csc acsch x0 
Mul x3 Mul Pow acos x7 Add csc acsch x0 -1 Mul Mul acos x7 log acos x7 Mul Mul Mul -1 cot acsch x0 csc acsch x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 