Mul Add exp Mul x0 acosh Pow Pow cosh x0 x0 x7 x0 -4 
Mul -4 Add Mul exp Mul x0 acosh Pow Pow cosh x0 x0 x7 Add acosh Pow Pow cosh x0 x0 x7 Mul x0 Mul Mul Pow Pow cosh x0 x0 Add x7 -1 Mul x7 Mul Pow cosh x0 Add x0 -1 Add Mul x0 sinh x0 Mul cosh x0 log cosh x0 Pow Mul sqrt Add Pow Pow cosh x0 x0 x7 -1 sqrt Add 1 Pow Pow cosh x0 x0 x7 -1 1 