atan Pow acot Pow tan x2 x0 sin Pow Pow x0 1.54308063481524 sqrt asec x0 
Mul Mul Pow acot Pow tan x2 x0 Add sin Pow Pow x0 1.54308063481524 sqrt asec x0 -1 Add Mul sin Pow Pow x0 1.54308063481524 sqrt asec x0 Mul -1 Mul Mul Pow tan x2 Add x0 -1 Mul tan x2 log tan x2 Pow Add 1 Mul Pow tan x2 x0 Pow tan x2 x0 -1 Mul Mul acot Pow tan x2 x0 log acot Pow tan x2 x0 Mul cos Pow Pow x0 1.54308063481524 sqrt asec x0 Mul Pow Pow x0 1.54308063481524 Add sqrt asec x0 -1 Add Mul sqrt asec x0 Mul Pow x0 0.543080634815244 1.54308063481524 Mul Mul Pow x0 1.54308063481524 log Pow x0 1.54308063481524 Mul Pow Mul 2 sqrt asec x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul Pow acot Pow tan x2 x0 sin Pow Pow x0 1.54308063481524 sqrt asec x0 Pow acot Pow tan x2 x0 sin Pow Pow x0 1.54308063481524 sqrt asec x0 -1 