Add Mul acosh Add Pow x7 4 x2 Add acos x0 Add Mul atan Add 3 sec x0 Mul acosh x5 Add -2 x0 -4 x0 
Add Mul acosh Add Pow x7 4 x2 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Add Mul Mul acosh x5 Add -2 x0 Mul Mul tan x0 sec x0 Pow Add 1 Mul Add 3 sec x0 Add 3 sec x0 -1 Mul atan Add 3 sec x0 acosh x5 1 