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