Mul acot Add 3 exp Mul x0 Mul x0 x1 Mul Pow x7 x3 Mul x6 pi 
Mul Mul Pow x7 x3 Mul x6 pi Mul -1 Mul Mul exp Mul x0 Mul x0 x1 Add Mul x0 x1 Mul x0 x1 Pow Add 1 Mul Add 3 exp Mul x0 Mul x0 x1 Add 3 exp Mul x0 Mul x0 x1 -1 