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