Add Pow asec x0 Add x0 Add Pow x2 acoth Mul acos x5 x0 x0 acot cot x0 
Add Mul Pow asec x0 Add Add x0 Add Pow x2 acoth Mul acos x5 x0 x0 -1 Add Mul Add x0 Add Pow x2 acoth Mul acos x5 x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul asec x0 log asec x0 Add 1 Add Mul Pow x2 Add acoth Mul acos x5 x0 -1 Mul Mul x2 log x2 Mul acos x5 Pow Add 1 Mul -1 Mul Mul acos x5 x0 Mul acos x5 x0 -1 1 Mul -1 Mul Mul -1 Pow csc x0 2 Pow Add 1 Mul cot x0 cot x0 -1 