Mul x0 Mul sin acosh Mul cosh Mul Pow x0 x6 5 x0 4 
Add Mul sin acosh Mul cosh Mul Pow x0 x6 5 x0 4 Mul x0 Mul 4 Mul cos acosh Mul cosh Mul Pow x0 x6 5 x0 Mul Add Mul x0 Mul sinh Mul Pow x0 x6 5 Mul 5 Mul Pow x0 Add x6 -1 x6 cosh Mul Pow x0 x6 5 Pow Mul sqrt Add Mul cosh Mul Pow x0 x6 5 x0 -1 sqrt Add 1 Mul cosh Mul Pow x0 x6 5 x0 -1 