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