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