Add acot Pow Add 3 sec tan x0 x0 Mul Mul cosh sin x0 x0 x0 
Add Mul -1 Mul Mul Pow Add 3 sec tan x0 Add x0 -1 Add Mul x0 Mul Mul tan tan x0 sec tan x0 Pow sec x0 2 Mul Add 3 sec tan x0 log Add 3 sec tan x0 Pow Add 1 Mul Pow Add 3 sec tan x0 x0 Pow Add 3 sec tan x0 x0 -1 Add Mul x0 Add Mul x0 Mul sinh sin x0 cos x0 cosh sin x0 Mul cosh sin x0 x0 