cot Add Add Add exp x0 cot Pow x5 Mul csc atan sqrt x0 2 x0 x0 
Mul Mul -1 Pow csc Add Add Add exp x0 cot Pow x5 Mul csc atan sqrt x0 2 x0 x0 2 Add Add Add exp x0 Mul Mul -1 Pow csc Pow x5 Mul csc atan sqrt x0 2 2 Mul Pow x5 Add Mul csc atan sqrt x0 2 -1 Mul Mul x5 log x5 Mul 2 Mul Mul Mul -1 cot atan sqrt x0 csc atan sqrt x0 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 1 1 