asec exp Add Mul -3 x0 Mul x0 Add cosh Mul x0 Mul -4 Pow x5 4 x4 
Mul Mul exp Add Mul -3 x0 Mul x0 Add cosh Mul x0 Mul -4 Pow x5 4 x4 Add -3 Add Add cosh Mul x0 Mul -4 Pow x5 4 x4 Mul x0 Mul sinh Mul x0 Mul -4 Pow x5 4 Mul -4 Pow x5 4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul exp Add Mul -3 x0 Mul x0 Add cosh Mul x0 Mul -4 Pow x5 4 x4 exp Add Mul -3 x0 Mul x0 Add cosh Mul x0 Mul -4 Pow x5 4 x4 -1 exp Add Mul -3 x0 Mul x0 Add cosh Mul x0 Mul -4 Pow x5 4 x4 exp Add Mul -3 x0 Mul x0 Add cosh Mul x0 Mul -4 Pow x5 4 x4 -1 