Pow Mul sqrt log Mul acos acot x2 x0 x0 csc x0 
Mul Pow Mul sqrt log Mul acos acot x2 x0 x0 Add csc x0 -1 Add Mul csc x0 Add Mul x0 Mul Pow Mul 2 sqrt log Mul acos acot x2 x0 -1 Mul acos acot x2 Pow Mul acos acot x2 x0 -1 sqrt log Mul acos acot x2 x0 Mul Mul Mul sqrt log Mul acos acot x2 x0 x0 log Mul sqrt log Mul acos acot x2 x0 x0 Mul Mul -1 cot x0 csc x0 