Mul pi Add Mul x0 Mul Pow acos exp atan x5 x0 Mul pi Mul x7 x4 -3 
Mul pi Add Mul Pow acos exp atan x5 x0 Mul pi Mul x7 x4 Mul x0 Mul Mul pi Mul x7 x4 Mul Pow acos exp atan x5 Add x0 -1 Mul acos exp atan x5 log acos exp atan x5 