Mul x0 acot Mul Add x7 Pow x6 exp x0 x7 
Add acot Mul Add x7 Pow x6 exp x0 x7 Mul x0 Mul -1 Mul Mul x7 Mul Pow x6 Add exp x0 -1 Mul Mul x6 log x6 exp x0 Pow Add 1 Mul Mul Add x7 Pow x6 exp x0 x7 Mul Add x7 Pow x6 exp x0 x7 -1 