atan Mul x0 Mul Pow Mul x1 Pow sec x0 Add cosh E x0 5 x0 
Mul Add Mul Pow Mul x1 Pow sec x0 Add cosh E x0 5 x0 Mul x0 Add Mul x0 Mul Pow Mul x1 Pow sec x0 Add cosh E x0 4 Mul 5 Mul x1 Mul Pow sec x0 Add Add cosh E x0 -1 Add Mul Add cosh E x0 Mul tan x0 sec x0 Mul sec x0 log sec x0 Pow Mul x1 Pow sec x0 Add cosh E x0 5 Pow Add 1 Mul Mul x0 Mul Pow Mul x1 Pow sec x0 Add cosh E x0 5 x0 Mul x0 Mul Pow Mul x1 Pow sec x0 Add cosh E x0 5 x0 -1 