Mul Pow acosh Add x0 3 acot Mul x2 x4 asech Pow Pow x0 acos exp sec x0 -5 
Add Mul asech Pow Pow x0 acos exp sec x0 -5 Mul Pow acosh Add x0 3 Add acot Mul x2 x4 -1 Mul acot Mul x2 x4 Pow Mul sqrt Add Add x0 3 -1 sqrt Add 1 Add x0 3 -1 Mul Pow acosh Add x0 3 acot Mul x2 x4 Mul Mul Pow Pow x0 acos exp sec x0 6 Mul -5 Mul Pow x0 Add acos exp sec x0 -1 Add acos exp sec x0 Mul Mul x0 log x0 Mul -1 Mul Mul exp sec x0 Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul exp sec x0 exp sec x0 -1 Pow Mul Mul Pow Pow x0 acos exp sec x0 -5 Pow Pow x0 acos exp sec x0 -5 sqrt Add 1 Mul -1 Pow Mul Pow Pow x0 acos exp sec x0 -5 Pow Pow x0 acos exp sec x0 -5 -1 -1 