Mul sec asech Add x0 Pow x0 Pow x0 x2 Mul log x0 acot tan x4 
Add Mul Mul log x0 acot tan x4 Mul Mul tan asech Add x0 Pow x0 Pow x0 x2 sec asech Add x0 Pow x0 Pow x0 x2 Mul Add 1 Mul Pow x0 Add Pow x0 x2 -1 Add Pow x0 x2 Mul Mul x0 log x0 Mul Pow x0 Add x2 -1 x2 Pow Mul Mul Add x0 Pow x0 Pow x0 x2 Add x0 Pow x0 Pow x0 x2 sqrt Add 1 Mul -1 Pow Mul Add x0 Pow x0 Pow x0 x2 Add x0 Pow x0 Pow x0 x2 -1 -1 Mul sec asech Add x0 Pow x0 Pow x0 x2 Mul acot tan x4 Pow x0 -1 