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