Mul asech asech Mul x0 -5 Mul x3 Pow x0 Mul Mul x0 Mul 4 x0 acot pi 
Add Mul Mul x3 Pow x0 Mul Mul x0 Mul 4 x0 acot pi Mul Mul -5 Pow Mul Mul Mul x0 -5 Mul x0 -5 sqrt Add 1 Mul -1 Pow Mul Mul x0 -5 Mul x0 -5 -1 -1 Pow Mul Mul asech Mul x0 -5 asech Mul x0 -5 sqrt Add 1 Mul -1 Pow Mul asech Mul x0 -5 asech Mul x0 -5 -1 -1 Mul asech asech Mul x0 -5 Mul x3 Mul Pow x0 Add Mul Mul x0 Mul 4 x0 acot pi -1 Add Mul Mul x0 Mul 4 x0 acot pi Mul Mul x0 log x0 Mul acot pi Add Mul 4 x0 Mul x0 4 