Pow sqrt x4 Pow Add 1 Mul x0 Mul x0 acos exp E x4 
Mul Pow sqrt x4 Add Pow Add 1 Mul x0 Mul x0 acos exp E x4 -1 Mul Mul sqrt x4 log sqrt x4 Mul Pow Add 1 Mul x0 Mul x0 acos exp E Add x4 -1 Mul x4 Add Mul x0 acos exp E Mul x0 acos exp E 