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