Mul x0 Mul atan Pow Mul 2 exp Add Add cosh x0 x0 5 -7.01525255143453 Mul E Pow Mul x5 x0 -4 
Add Mul atan Pow Mul 2 exp Add Add cosh x0 x0 5 -7.01525255143453 Mul E Pow Mul x5 x0 -4 Mul x0 Add Mul Mul E Pow Mul x5 x0 -4 Mul Mul Pow Mul 2 exp Add Add cosh x0 x0 5 -8.01525255143453 Mul -7.01525255143453 Mul 2 Mul exp Add Add cosh x0 x0 5 Add sinh x0 1 Pow Add 1 Mul Pow Mul 2 exp Add Add cosh x0 x0 5 -7.01525255143453 Pow Mul 2 exp Add Add cosh x0 x0 5 -7.01525255143453 -1 Mul atan Pow Mul 2 exp Add Add cosh x0 x0 5 -7.01525255143453 Mul E Mul Pow Mul x5 x0 5 Mul -4 x5 