Mul x0 Add Pow Mul x0 5 Pow 5 x0 Add acot Add 4 x0 1.55740772465490 
Add Add Pow Mul x0 5 Pow 5 x0 Add acot Add 4 x0 1.55740772465490 Mul x0 Add Mul Pow Mul x0 5 Add Pow 5 x0 -1 Add Mul Pow 5 x0 5 Mul Mul Mul x0 5 log Mul x0 5 Mul Pow 5 Add x0 -1 6.60943791243410 Mul -1 Pow Add 1 Mul Add 4 x0 Add 4 x0 -1 