Mul acot Add x0 acos Mul Add x0 4 Pow Pow x4 Pow Pow x0 25 -0.850918128239322 x2 Pow x0 x1 
Add Mul Pow x0 x1 Mul -1 Mul Add 1 Mul -1 Mul Add Pow Pow x4 Pow Pow x0 25 -0.850918128239322 x2 Mul Add x0 4 Mul Pow Pow x4 Pow Pow x0 25 -0.850918128239322 Add x2 -1 Mul x2 Mul Pow x4 Add Pow Pow x0 25 -0.850918128239322 -1 Mul Mul x4 log x4 Mul Pow Pow x0 25 -1.85091812823932 Mul -0.850918128239322 Mul Pow x0 24 25 Pow sqrt Add 1 Mul -1 Mul Mul Add x0 4 Pow Pow x4 Pow Pow x0 25 -0.850918128239322 x2 Mul Add x0 4 Pow Pow x4 Pow Pow x0 25 -0.850918128239322 x2 -1 Pow Add 1 Mul Add x0 acos Mul Add x0 4 Pow Pow x4 Pow Pow x0 25 -0.850918128239322 x2 Add x0 acos Mul Add x0 4 Pow Pow x4 Pow Pow x0 25 -0.850918128239322 x2 -1 Mul acot Add x0 acos Mul Add x0 4 Pow Pow x4 Pow Pow x0 25 -0.850918128239322 x2 Mul Pow x0 Add x1 -1 x1 