Mul x3 Mul x4 Mul Pow x0 Mul csc cot x0 cot sech x4 x0 
Mul x3 Mul x4 Add Mul x0 Mul Pow x0 Add Mul csc cot x0 cot sech x4 -1 Add Mul csc cot x0 cot sech x4 Mul Mul x0 log x0 Mul cot sech x4 Mul Mul Mul -1 cot cot x0 csc cot x0 Mul -1 Pow csc x0 2 Pow x0 Mul csc cot x0 cot sech x4 