log Pow Pow csc x0 asec x3 x0 
Mul Mul Pow Pow csc x0 asec x3 Add x0 -1 Add Mul x0 Mul Pow csc x0 Add asec x3 -1 Mul asec x3 Mul Mul -1 cot x0 csc x0 Mul Pow csc x0 asec x3 log Pow csc x0 asec x3 Pow Pow Pow csc x0 asec x3 x0 -1 