Pow Mul Mul sqrt x0 acot x0 4.12310562561766 atan Mul x0 x3 
Mul Pow Mul Mul sqrt x0 acot x0 4.12310562561766 Add atan Mul x0 x3 -1 Add Mul atan Mul x0 x3 Mul 4.12310562561766 Add Mul acot x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul Mul sqrt x0 acot x0 4.12310562561766 log Mul Mul sqrt x0 acot x0 4.12310562561766 Mul x3 Pow Add 1 Mul Mul x0 x3 Mul x0 x3 -1 