Mul Pow Add Add Mul -3 x0 acot Mul x1 4 cot Mul x3 x0 Pow Mul Pow x7 sec Mul x0 4 x0 x0 x0 
Add Mul x0 Mul Pow Add Add Mul -3 x0 acot Mul x1 4 cot Mul x3 x0 Add Pow Mul Pow x7 sec Mul x0 4 x0 x0 -1 Add Mul Pow Mul Pow x7 sec Mul x0 4 x0 x0 Add -3 Mul Mul -1 Pow csc Mul x3 x0 2 x3 Mul Mul Add Add Mul -3 x0 acot Mul x1 4 cot Mul x3 x0 log Add Add Mul -3 x0 acot Mul x1 4 cot Mul x3 x0 Mul Pow Mul Pow x7 sec Mul x0 4 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul Pow x7 Add sec Mul x0 4 -1 Mul Mul x7 log x7 Mul Mul tan Mul x0 4 sec Mul x0 4 4 Pow x7 sec Mul x0 4 Mul Mul Pow x7 sec Mul x0 4 x0 log Mul Pow x7 sec Mul x0 4 x0 Pow Add Add Mul -3 x0 acot Mul x1 4 cot Mul x3 x0 Pow Mul Pow x7 sec Mul x0 4 x0 x0 