Pow acos E Pow Pow Pow x4 E Mul x0 Mul 4 x0 x5 
Mul Pow acos E Add Pow Pow Pow x4 E Mul x0 Mul 4 x0 x5 -1 Mul Mul acos E log acos E Mul Pow Pow Pow x4 E Mul x0 Mul 4 x0 Add x5 -1 Mul x5 Mul Pow Pow x4 E Add Mul x0 Mul 4 x0 -1 Mul Mul Pow x4 E log Pow x4 E Add Mul 4 x0 Mul x0 4 