acos cot Pow Pow x0 asec E x0 
Mul -1 Mul Mul Mul -1 Pow csc Pow Pow x0 asec E x0 2 Mul Pow Pow x0 asec E Add x0 -1 Add Mul x0 Mul Pow x0 Add asec E -1 asec E Mul Pow x0 asec E log Pow x0 asec E Pow sqrt Add 1 Mul -1 Mul cot Pow Pow x0 asec E x0 cot Pow Pow x0 asec E x0 -1 