Mul Pow Mul x6 Add x0 5 sec Mul sinh acos x0 x4 8 
Mul 8 Mul Pow Mul x6 Add x0 5 Add sec Mul sinh acos x0 x4 -1 Add Mul sec Mul sinh acos x0 x4 x6 Mul Mul Mul x6 Add x0 5 log Mul x6 Add x0 5 Mul Mul tan Mul sinh acos x0 x4 sec Mul sinh acos x0 x4 Mul x4 Mul cosh acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 