Pow asec x3 sinh Pow acos Mul x7 acos x0 2 
Mul Pow asec x3 Add sinh Pow acos Mul x7 acos x0 2 -1 Mul Mul asec x3 log asec x3 Mul cosh Pow acos Mul x7 acos x0 2 Mul acos Mul x7 acos x0 Mul 2 Mul -1 Mul Mul x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul x7 acos x0 Mul x7 acos x0 -1 