Pow Mul -5 Pow atan sqrt cosh Mul x0 Mul x0 x2 Mul Add Pow 4 Mul x5 x0 Mul x0 -2 2 x0 
Mul Pow Mul -5 Pow atan sqrt cosh Mul x0 Mul x0 x2 Mul Add Pow 4 Mul x5 x0 Mul x0 -2 2 Add x0 -1 Add Mul x0 Mul -5 Mul Pow atan sqrt cosh Mul x0 Mul x0 x2 Add Mul Add Pow 4 Mul x5 x0 Mul x0 -2 2 -1 Add Mul Mul Add Pow 4 Mul x5 x0 Mul x0 -2 2 Mul Mul Pow Mul 2 sqrt cosh Mul x0 Mul x0 x2 -1 Mul sinh Mul x0 Mul x0 x2 Add Mul x0 x2 Mul x0 x2 Pow Add 1 Mul sqrt cosh Mul x0 Mul x0 x2 sqrt cosh Mul x0 Mul x0 x2 -1 Mul Mul atan sqrt cosh Mul x0 Mul x0 x2 log atan sqrt cosh Mul x0 Mul x0 x2 Mul 2 Add Mul Pow 4 Add Mul x5 x0 -1 Mul 5.38629436111989 x5 -2 Mul Mul -5 Pow atan sqrt cosh Mul x0 Mul x0 x2 Mul Add Pow 4 Mul x5 x0 Mul x0 -2 2 log Mul -5 Pow atan sqrt cosh Mul x0 Mul x0 x2 Mul Add Pow 4 Mul x5 x0 Mul x0 -2 2 