acot Add Pow Pow E x0 atan Mul 3 Mul x0 log sqrt acsc x7 x0 
Mul -1 Mul Add Mul Pow Pow E x0 Add atan Mul 3 Mul x0 log sqrt acsc x7 -1 Add Mul atan Mul 3 Mul x0 log sqrt acsc x7 Mul Pow E Add x0 -1 Mul E log E Mul Mul Pow E x0 log Pow E x0 Mul Mul 3 log sqrt acsc x7 Pow Add 1 Mul Mul 3 Mul x0 log sqrt acsc x7 Mul 3 Mul x0 log sqrt acsc x7 -1 1 Pow Add 1 Mul Add Pow Pow E x0 atan Mul 3 Mul x0 log sqrt acsc x7 x0 Add Pow Pow E x0 atan Mul 3 Mul x0 log sqrt acsc x7 x0 -1 