Mul Mul asech Mul cosh x0 cbrt x2 5 x0 
Add Mul x0 Mul 5 Mul Mul cbrt x2 sinh x0 Pow Mul Mul Mul cosh x0 cbrt x2 Mul cosh x0 cbrt x2 sqrt Add 1 Mul -1 Pow Mul Mul cosh x0 cbrt x2 Mul cosh x0 cbrt x2 -1 -1 Mul asech Mul cosh x0 cbrt x2 5 