Pow asech acot x3 Mul tan x3 Pow Add Mul Add x0 x0 Mul x0 2 x0 x3 
Mul Pow asech acot x3 Add Mul tan x3 Pow Add Mul Add x0 x0 Mul x0 2 x0 x3 -1 Mul Mul asech acot x3 log asech acot x3 Mul tan x3 Mul Pow Add Mul Add x0 x0 Mul x0 2 x0 Add x3 -1 Mul x3 Add Add Mul Mul x0 2 2 Mul Add x0 x0 2 1 