Pow Mul 2 Mul exp Add sec Mul x0 3 x0 Mul Add cosh Mul x7 x0 x1 x0 x0 
Mul Pow Mul 2 Mul exp Add sec Mul x0 3 x0 Mul Add cosh Mul x7 x0 x1 x0 Add x0 -1 Add Mul x0 Mul 2 Add Mul Mul Add cosh Mul x7 x0 x1 x0 Mul exp Add sec Mul x0 3 x0 Add Mul Mul tan Mul x0 3 sec Mul x0 3 3 1 Mul exp Add sec Mul x0 3 x0 Add Mul x0 Mul sinh Mul x7 x0 x7 Add cosh Mul x7 x0 x1 Mul Mul 2 Mul exp Add sec Mul x0 3 x0 Mul Add cosh Mul x7 x0 x1 x0 log Mul 2 Mul exp Add sec Mul x0 3 x0 Mul Add cosh Mul x7 x0 x1 x0 