Add x0 Mul x0 Pow sec Mul atanh atanh x2 x0 Pow acos x0 tan x0 
Add 1 Add Pow sec Mul atanh atanh x2 x0 Pow acos x0 tan x0 Mul x0 Mul Pow sec Mul atanh atanh x2 x0 Add Pow acos x0 tan x0 -1 Add Mul Pow acos x0 tan x0 Mul Mul tan Mul atanh atanh x2 x0 sec Mul atanh atanh x2 x0 atanh atanh x2 Mul Mul sec Mul atanh atanh x2 x0 log sec Mul atanh atanh x2 x0 Mul Pow acos x0 Add tan x0 -1 Add Mul tan x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 log acos x0 Pow sec x0 2 