acot Mul x0 Pow sin x0 Add Add x1 1 x0 
Mul -1 Mul Add Pow sin x0 Add Add x1 1 x0 Mul x0 Mul Pow sin x0 Add Add Add x1 1 x0 -1 Add Mul Add Add x1 1 x0 cos x0 Mul sin x0 log sin x0 Pow Add 1 Mul Mul x0 Pow sin x0 Add Add x1 1 x0 Mul x0 Pow sin x0 Add Add x1 1 x0 -1 