Pow Add acot x0 Mul x0 x7 Pow Pow pi -4 sqrt x0 
Mul Pow Add acot x0 Mul x0 x7 Add Pow Pow pi -4 sqrt x0 -1 Add Mul Pow Pow pi -4 sqrt x0 Add Mul -1 Pow Add 1 Mul x0 x0 -1 x7 Mul Mul Add acot x0 Mul x0 x7 log Add acot x0 Mul x0 x7 Mul Pow Pow pi -4 Add sqrt x0 -1 Mul Mul Pow pi -4 log Pow pi -4 Pow Mul 2 sqrt x0 -1 