Pow x3 Mul Mul -5 Pow acot cos x0 x0 x4 
Mul Pow x3 Add Mul Mul -5 Pow acot cos x0 x0 x4 -1 Mul Mul x3 log x3 Mul x4 Mul -5 Mul Pow acot cos x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul -1 sin x0 Pow Add 1 Mul cos x0 cos x0 -1 Mul acot cos x0 log acot cos x0 