Mul x7 Pow Mul Add Add atan x5 x0 Add Add Mul x0 x0 x0 acos x3 -4 Add x0 x0 
Mul x7 Mul Pow Mul Add Add atan x5 x0 Add Add Mul x0 x0 x0 acos x3 -4 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul -4 Add 1 Add Add x0 x0 1 Mul Mul Mul Add Add atan x5 x0 Add Add Mul x0 x0 x0 acos x3 -4 log Mul Add Add atan x5 x0 Add Add Mul x0 x0 x0 acos x3 -4 2 