log Mul Pow Mul x0 Mul x2 x6 x0 Mul cosh sqrt x0 x0 
Mul Add Mul Mul cosh sqrt x0 x0 Mul Pow Mul x0 Mul x2 x6 Add x0 -1 Add Mul x0 Mul x2 x6 Mul Mul x0 Mul x2 x6 log Mul x0 Mul x2 x6 Mul Pow Mul x0 Mul x2 x6 x0 Add Mul x0 Mul sinh sqrt x0 Pow Mul 2 sqrt x0 -1 cosh sqrt x0 Pow Mul Pow Mul x0 Mul x2 x6 x0 Mul cosh sqrt x0 x0 -1 