acot Mul csc x0 Pow x0 tan Mul x0 acos x7 
Mul -1 Mul Add Mul Pow x0 tan Mul x0 acos x7 Mul Mul -1 cot x0 csc x0 Mul csc x0 Mul Pow x0 Add tan Mul x0 acos x7 -1 Add tan Mul x0 acos x7 Mul Mul x0 log x0 Mul Pow sec Mul x0 acos x7 2 acos x7 Pow Add 1 Mul Mul csc x0 Pow x0 tan Mul x0 acos x7 Mul csc x0 Pow x0 tan Mul x0 acos x7 -1 