Mul Pow x0 Mul Mul Add x0 x0 asec x0 coth x5 Mul sec x0 acos x0 
Add Mul Mul sec x0 acos x0 Mul Pow x0 Add Mul Mul Add x0 x0 asec x0 coth x5 -1 Add Mul Mul Add x0 x0 asec x0 coth x5 Mul Mul x0 log x0 Mul coth x5 Add Mul asec x0 2 Mul Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Pow x0 Mul Mul Add x0 x0 asec x0 coth x5 Add Mul acos x0 Mul tan x0 sec x0 Mul sec x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 