Mul x0 Pow sqrt Mul csc x0 atanh asec acos x6 sec x0 
Add Pow sqrt Mul csc x0 atanh asec acos x6 sec x0 Mul x0 Mul Pow sqrt Mul csc x0 atanh asec acos x6 Add sec x0 -1 Add Mul sec x0 Mul Pow Mul 2 sqrt Mul csc x0 atanh asec acos x6 -1 Mul atanh asec acos x6 Mul Mul -1 cot x0 csc x0 Mul Mul sqrt Mul csc x0 atanh asec acos x6 log sqrt Mul csc x0 atanh asec acos x6 Mul tan x0 sec x0 