Add acot Pow cos Add Pow tan x0 x3 2 atanh sqrt x0 -2 
Mul -1 Mul Mul Pow cos Add Pow tan x0 x3 2 Add atanh sqrt x0 -1 Add Mul atanh sqrt x0 Mul Mul -1 sin Add Pow tan x0 x3 2 Mul Pow tan x0 Add x3 -1 Mul x3 Pow sec x0 2 Mul Mul cos Add Pow tan x0 x3 2 log cos Add Pow tan x0 x3 2 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Pow Add 1 Mul Pow cos Add Pow tan x0 x3 2 atanh sqrt x0 Pow cos Add Pow tan x0 x3 2 atanh sqrt x0 -1 