Mul x6 Pow sec Mul Pow x3 cot x0 x0 Add Pow x1 -4 pi 
Mul x6 Mul Pow sec Mul Pow x3 cot x0 x0 Add Add Pow x1 -4 pi -1 Mul Add Pow x1 -4 pi Mul Mul tan Mul Pow x3 cot x0 x0 sec Mul Pow x3 cot x0 x0 Add Mul x0 Mul Pow x3 Add cot x0 -1 Mul Mul x3 log x3 Mul -1 Pow csc x0 2 Pow x3 cot x0 