Add atan Pow 4 pi asech sqrt acot Mul x0 -1 
Mul Mul Pow Mul 2 sqrt acot Mul x0 -1 -1 Mul -1 Mul -1 Pow Add 1 Mul Mul x0 -1 Mul x0 -1 -1 Pow Mul Mul sqrt acot Mul x0 -1 sqrt acot Mul x0 -1 sqrt Add 1 Mul -1 Pow Mul sqrt acot Mul x0 -1 sqrt acot Mul x0 -1 -1 -1 