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