Add acot Mul x0 x0 Mul 2 Pow Pow E acot Pow Add cos sin x0 x0 x0 sqrt x0 
Add Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Mul 2 Mul Pow Pow E acot Pow Add cos sin x0 x0 x0 Add sqrt x0 -1 Add Mul sqrt x0 Mul Pow E Add acot Pow Add cos sin x0 x0 x0 -1 Mul Mul E log E Mul -1 Mul Mul Pow Add cos sin x0 x0 Add x0 -1 Add Mul x0 Add Mul Mul -1 sin sin x0 cos x0 1 Mul Add cos sin x0 x0 log Add cos sin x0 x0 Pow Add 1 Mul Pow Add cos sin x0 x0 x0 Pow Add cos sin x0 x0 x0 -1 Mul Mul Pow E acot Pow Add cos sin x0 x0 x0 log Pow E acot Pow Add cos sin x0 x0 x0 Pow Mul 2 sqrt x0 -1 