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