sec Mul Pow Pow acos E Mul cosh Pow x0 Mul x2 -1 x0 x0 -4 
Mul Mul tan Mul Pow Pow acos E Mul cosh Pow x0 Mul x2 -1 x0 x0 -4 sec Mul Pow Pow acos E Mul cosh Pow x0 Mul x2 -1 x0 x0 -4 Mul -4 Mul Pow Pow acos E Mul cosh Pow x0 Mul x2 -1 x0 Add x0 -1 Add Mul x0 Mul Pow acos E Add Mul cosh Pow x0 Mul x2 -1 x0 -1 Mul Mul acos E log acos E Add Mul x0 Mul sinh Pow x0 Mul x2 -1 Mul Pow x0 Add Mul x2 -1 -1 Mul x2 -1 cosh Pow x0 Mul x2 -1 Mul Pow acos E Mul cosh Pow x0 Mul x2 -1 x0 log Pow acos E Mul cosh Pow x0 Mul x2 -1 x0 