Pow tan acos Pow cosh x0 tan x0 x5 
Mul Pow tan acos Pow cosh x0 tan x0 Add x5 -1 Mul x5 Mul Pow sec acos Pow cosh x0 tan x0 2 Mul -1 Mul Mul Pow cosh x0 Add tan x0 -1 Add Mul tan x0 sinh x0 Mul Mul cosh x0 log cosh x0 Pow sec x0 2 Pow sqrt Add 1 Mul -1 Mul Pow cosh x0 tan x0 Pow cosh x0 tan x0 -1 