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