Add x7 Pow acot sin x0 Pow Add Mul x3 x0 x0 -2 
Mul Pow acot sin x0 Add Pow Add Mul x3 x0 x0 -2 -1 Add Mul Pow Add Mul x3 x0 x0 -2 Mul -1 Mul cos x0 Pow Add 1 Mul sin x0 sin x0 -1 Mul Mul acot sin x0 log acot sin x0 Mul Pow Add Mul x3 x0 x0 3 Mul -2 Add x3 1 