Mul Pow cbrt Pow Mul x0 cosh Mul Mul x0 x0 3 exp Add x0 x0 Mul sec cbrt Mul acot x0 5 -4 x0 
Add Mul x0 Mul Pow cbrt Pow Mul x0 cosh Mul Mul x0 x0 3 exp Add x0 x0 Add Mul sec cbrt Mul acot x0 5 -4 -1 Add Mul Mul sec cbrt Mul acot x0 5 -4 Mul Pow Mul Mul 3 cbrt Pow Mul x0 cosh Mul Mul x0 x0 3 exp Add x0 x0 cbrt Pow Mul x0 cosh Mul Mul x0 x0 3 exp Add x0 x0 -1 Mul Pow Mul x0 cosh Mul Mul x0 x0 3 Add exp Add x0 x0 -1 Add Mul exp Add x0 x0 Add cosh Mul Mul x0 x0 3 Mul x0 Mul sinh Mul Mul x0 x0 3 Mul 3 Add x0 x0 Mul Mul Mul x0 cosh Mul Mul x0 x0 3 log Mul x0 cosh Mul Mul x0 x0 3 Mul exp Add x0 x0 2 Mul Mul cbrt Pow Mul x0 cosh Mul Mul x0 x0 3 exp Add x0 x0 log cbrt Pow Mul x0 cosh Mul Mul x0 x0 3 exp Add x0 x0 Mul -4 Mul Mul tan cbrt Mul acot x0 5 sec cbrt Mul acot x0 5 Mul Pow Mul Mul 3 cbrt Mul acot x0 5 cbrt Mul acot x0 5 -1 Mul 5 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow cbrt Pow Mul x0 cosh Mul Mul x0 x0 3 exp Add x0 x0 Mul sec cbrt Mul acot x0 5 -4 