Mul Pow Mul 2 Add x0 x2 exp Mul Pow Add x0 Mul x0 cbrt x4 acot exp sqrt x1 x0 x7 
Mul x7 Mul Pow Mul 2 Add x0 x2 Add exp Mul Pow Add x0 Mul x0 cbrt x4 acot exp sqrt x1 x0 -1 Add Mul exp Mul Pow Add x0 Mul x0 cbrt x4 acot exp sqrt x1 x0 2 Mul Mul Mul 2 Add x0 x2 log Mul 2 Add x0 x2 Mul exp Mul Pow Add x0 Mul x0 cbrt x4 acot exp sqrt x1 x0 Add Mul x0 Mul Pow Add x0 Mul x0 cbrt x4 Add acot exp sqrt x1 -1 Mul acot exp sqrt x1 Add 1 cbrt x4 Pow Add x0 Mul x0 cbrt x4 acot exp sqrt x1 