cot Pow Mul x4 asec asec Pow x0 x1 x5 
Mul Mul -1 Pow csc Pow Mul x4 asec asec Pow x0 x1 x5 2 Mul Pow Mul x4 asec asec Pow x0 x1 Add x5 -1 Mul x5 Mul x4 Mul Mul Mul Pow x0 Add x1 -1 x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 x1 Pow x0 x1 -1 Pow x0 x1 Pow x0 x1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asec Pow x0 x1 asec Pow x0 x1 -1 asec Pow x0 x1 asec Pow x0 x1 -1 