Mul Mul x0 x5 cosh atanh Pow Add x2 x0 3 
Add Mul cosh atanh Pow Add x2 x0 3 x5 Mul Mul x0 x5 Mul sinh atanh Pow Add x2 x0 3 Mul Mul Pow Add x2 x0 2 3 Pow Add 1 Mul -1 Mul Pow Add x2 x0 3 Pow Add x2 x0 3 -1 