acos Pow tan x0 Pow acosh exp asech x0 acos sqrt Add Mul 4 sec x5 2 
Mul -1 Mul Mul Pow tan x0 Add Pow acosh exp asech x0 acos sqrt Add Mul 4 sec x5 2 -1 Add Mul Pow acosh exp asech x0 acos sqrt Add Mul 4 sec x5 2 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul Pow acosh exp asech x0 Add acos sqrt Add Mul 4 sec x5 2 -1 Mul acos sqrt Add Mul 4 sec x5 2 Mul Mul exp asech x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add exp asech x0 -1 sqrt Add 1 exp asech x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow tan x0 Pow acosh exp asech x0 acos sqrt Add Mul 4 sec x5 2 Pow tan x0 Pow acosh exp asech x0 acos sqrt Add Mul 4 sec x5 2 -1 