Mul Pow Mul x6 x0 Mul 5 x7 Mul -3 Pow acot log x4 x0 
Add Mul Mul -3 Pow acot log x4 x0 Mul Pow Mul x6 x0 Add Mul 5 x7 -1 Mul Mul 5 x7 x6 Mul Pow Mul x6 x0 Mul 5 x7 Mul -3 Mul Pow acot log x4 Add x0 -1 Mul acot log x4 log acot log x4 