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