sec Add x0 Mul cosh x1 log Pow Mul x0 -3 acos x6 
Mul Mul tan Add x0 Mul cosh x1 log Pow Mul x0 -3 acos x6 sec Add x0 Mul cosh x1 log Pow Mul x0 -3 acos x6 Add 1 Mul cosh x1 Mul Mul Pow Mul x0 -3 Add acos x6 -1 Mul acos x6 -3 Pow Pow Mul x0 -3 acos x6 -1 