Pow Mul log x0 Mul -4 Mul x0 x0 cosh Mul sec Pow x0 x6 1.85081571768093 
Mul Pow Mul log x0 Mul -4 Mul x0 x0 Add cosh Mul sec Pow x0 x6 1.85081571768093 -1 Add Mul cosh Mul sec Pow x0 x6 1.85081571768093 Add Mul Mul -4 Mul x0 x0 Pow x0 -1 Mul log x0 Mul -4 Add x0 x0 Mul Mul Mul log x0 Mul -4 Mul x0 x0 log Mul log x0 Mul -4 Mul x0 x0 Mul sinh Mul sec Pow x0 x6 1.85081571768093 Mul 1.85081571768093 Mul Mul tan Pow x0 x6 sec Pow x0 x6 Mul Pow x0 Add x6 -1 x6 