Add Mul acos x1 -1 Mul x4 Mul pi Add Mul Pow sec Mul x7 Mul cosh Pow x0 4 x2 x0 x0 x0 
Mul x4 Mul pi Add Add Mul x0 Mul Pow sec Mul x7 Mul cosh Pow x0 4 x2 Add x0 -1 Add Mul x0 Mul Mul tan Mul x7 Mul cosh Pow x0 4 x2 sec Mul x7 Mul cosh Pow x0 4 x2 Mul x7 Mul x2 Mul sinh Pow x0 4 Mul Pow x0 3 4 Mul sec Mul x7 Mul cosh Pow x0 4 x2 log sec Mul x7 Mul cosh Pow x0 4 x2 Pow sec Mul x7 Mul cosh Pow x0 4 x2 x0 1 