Mul acot log Mul x0 Add 2 Mul 5 Pow sqrt Mul x1 x3 -2 Mul Pow x1 x0 x0 
Add Mul Mul Pow x1 x0 x0 Mul -1 Mul Mul Add 2 Mul 5 Pow sqrt Mul x1 x3 -2 Pow Mul x0 Add 2 Mul 5 Pow sqrt Mul x1 x3 -2 -1 Pow Add 1 Mul log Mul x0 Add 2 Mul 5 Pow sqrt Mul x1 x3 -2 log Mul x0 Add 2 Mul 5 Pow sqrt Mul x1 x3 -2 -1 Mul acot log Mul x0 Add 2 Mul 5 Pow sqrt Mul x1 x3 -2 Add Mul x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow x1 x0 