acoth asech Mul Mul pi x0 x0 
Mul Mul Add Mul x0 pi Mul pi x0 Pow Mul Mul Mul Mul pi x0 x0 Mul Mul pi x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul Mul pi x0 x0 Mul Mul pi x0 x0 -1 -1 Pow Add 1 Mul -1 Mul asech Mul Mul pi x0 x0 asech Mul Mul pi x0 x0 -1 