Mul acot Add Pow x0 Mul x2 Mul x5 x1 1 x0 
Add Mul x0 Mul -1 Mul Mul Pow x0 Add Mul x2 Mul x5 x1 -1 Mul x2 Mul x5 x1 Pow Add 1 Mul Add Pow x0 Mul x2 Mul x5 x1 1 Add Pow x0 Mul x2 Mul x5 x1 1 -1 acot Add Pow x0 Mul x2 Mul x5 x1 1 