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