Mul x7 Mul x0 Pow sqrt x0 Mul Add sech cosh x0 x7 x0 
Mul x7 Add Pow sqrt x0 Mul Add sech cosh x0 x7 x0 Mul x0 Mul Pow sqrt x0 Add Mul Add sech cosh x0 x7 x0 -1 Add Mul Mul Add sech cosh x0 x7 x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Add Mul x0 Mul Mul tanh cosh x0 Mul -1 sech cosh x0 sinh x0 Add sech cosh x0 x7 