acot Mul Pow sin x0 x0 Mul x4 acot Pow x5 x5 
Mul -1 Mul Mul Mul x4 acot Pow x5 x5 Mul Pow sin x0 Add x0 -1 Add Mul x0 cos x0 Mul sin x0 log sin x0 Pow Add 1 Mul Mul Pow sin x0 x0 Mul x4 acot Pow x5 x5 Mul Pow sin x0 x0 Mul x4 acot Pow x5 x5 -1 