Pow Add cosh Mul x7 -5 Mul x0 acos cosh x0 atan Add Add sec x4 x0 3 
Mul Pow Add cosh Mul x7 -5 Mul x0 acos cosh x0 Add atan Add Add sec x4 x0 3 -1 Add Mul atan Add Add sec x4 x0 3 Add acos cosh x0 Mul x0 Mul -1 Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Mul Mul Add cosh Mul x7 -5 Mul x0 acos cosh x0 log Add cosh Mul x7 -5 Mul x0 acos cosh x0 Pow Add 1 Mul Add Add sec x4 x0 3 Add Add sec x4 x0 3 -1 