acot Mul sqrt Pow Add 0.503773126422319 Pow x0 acos x4 Mul x2 pi x0 
Mul -1 Mul Add Mul x0 Mul Pow Mul 2 sqrt Pow Add 0.503773126422319 Pow x0 acos x4 Mul x2 pi -1 Mul Pow Add 0.503773126422319 Pow x0 acos x4 Add Mul x2 pi -1 Mul Mul x2 pi Mul Pow x0 Add acos x4 -1 acos x4 sqrt Pow Add 0.503773126422319 Pow x0 acos x4 Mul x2 pi Pow Add 1 Mul Mul sqrt Pow Add 0.503773126422319 Pow x0 acos x4 Mul x2 pi x0 Mul sqrt Pow Add 0.503773126422319 Pow x0 acos x4 Mul x2 pi x0 -1 