Pow Add log Pow acos E x0 5 x0 
Mul Pow Add log Pow acos E x0 5 Add x0 -1 Add Mul x0 Mul Mul Pow acos E Add x0 -1 Mul acos E log acos E Pow Pow acos E x0 -1 Mul Add log Pow acos E x0 5 log Add log Pow acos E x0 5 