cot Mul Pow sec Mul x0 Pow x0 -1 sech x7 x7 
Mul Mul -1 Pow csc Mul Pow sec Mul x0 Pow x0 -1 sech x7 x7 2 Mul x7 Mul Pow sec Mul x0 Pow x0 -1 Add sech x7 -1 Mul sech x7 Mul Mul tan Mul x0 Pow x0 -1 sec Mul x0 Pow x0 -1 Add Pow x0 -1 Mul x0 Mul Pow x0 2 -1 