Add Pow E acot Add 2.38629436111989 x0 Pow Pow Mul x0 Mul -1 x0 4 Mul x0 x3 
Add Mul Pow E Add acot Add 2.38629436111989 x0 -1 Mul Mul E log E Mul -1 Pow Add 1 Mul Add 2.38629436111989 x0 Add 2.38629436111989 x0 -1 Mul Pow Pow Mul x0 Mul -1 x0 4 Add Mul x0 x3 -1 Add Mul Mul x0 x3 Mul Pow Mul x0 Mul -1 x0 3 Mul 4 Add Mul -1 x0 Mul x0 -1 Mul Mul Pow Mul x0 Mul -1 x0 4 log Pow Mul x0 Mul -1 x0 4 x3 