Add Mul Pow x0 cot Pow Pow x0 Pow x0 asec x7 x7 acoth x0 Add log Mul x0 4 x5 
Add Add Mul acoth x0 Mul Pow x0 Add cot Pow Pow x0 Pow x0 asec x7 x7 -1 Add cot Pow Pow x0 Pow x0 asec x7 x7 Mul Mul x0 log x0 Mul Mul -1 Pow csc Pow Pow x0 Pow x0 asec x7 x7 2 Mul Pow Pow x0 Pow x0 asec x7 Add x7 -1 Mul x7 Mul Pow x0 Add Pow x0 asec x7 -1 Add Pow x0 asec x7 Mul Mul x0 log x0 Mul Pow x0 Add asec x7 -1 asec x7 Mul Pow x0 cot Pow Pow x0 Pow x0 asec x7 x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul 4 Pow Mul x0 4 -1 