Mul x2 asech cosh Mul acos x3 sin Mul asin acos x0 x0 
Mul x2 Mul Mul sinh Mul acos x3 sin Mul asin acos x0 x0 Mul acos x3 Mul cos Mul asin acos x0 x0 Add Mul x0 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acos x0 acos x0 -1 asin acos x0 Pow Mul Mul cosh Mul acos x3 sin Mul asin acos x0 x0 cosh Mul acos x3 sin Mul asin acos x0 x0 sqrt Add 1 Mul -1 Pow Mul cosh Mul acos x3 sin Mul asin acos x0 x0 cosh Mul acos x3 sin Mul asin acos x0 x0 -1 -1 