Mul x4 Mul Add Pow x6 x0 Pow x1 x0 Mul asec x2 Mul x1 cot Add x0 3 
Mul x4 Add Mul Mul asec x2 Mul x1 cot Add x0 3 Add Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Add Pow x6 x0 Pow x1 x0 Mul asec x2 Mul x1 Mul -1 Pow csc Add x0 3 2 