Pow acot x2 Add Pow Mul x0 cos x0 Mul -2 x2 x0 
Mul Pow acot x2 Add Add Pow Mul x0 cos x0 Mul -2 x2 x0 -1 Mul Mul acot x2 log acot x2 Add Mul Pow Mul x0 cos x0 Add Mul -2 x2 -1 Mul Mul -2 x2 Add cos x0 Mul x0 Mul -1 sin x0 1 