sec Pow x1 Mul cot log Mul x0 3 x0 
Mul Mul tan Pow x1 Mul cot log Mul x0 3 x0 sec Pow x1 Mul cot log Mul x0 3 x0 Mul Pow x1 Add Mul cot log Mul x0 3 x0 -1 Mul Mul x1 log x1 Add Mul x0 Mul Mul -1 Pow csc log Mul x0 3 2 Mul 3 Pow Mul x0 3 -1 cot log Mul x0 3 