Add Mul -4 Add acot x0 Mul asech log Mul Pow Mul x0 pi x0 3 x0 1.82347658193698 
Mul -4 Add Mul -1 Pow Add 1 Mul x0 x0 -1 Add Mul x0 Mul Mul Mul 3 Mul Pow Mul x0 pi Add x0 -1 Add Mul x0 pi Mul Mul x0 pi log Mul x0 pi Pow Mul Pow Mul x0 pi x0 3 -1 Pow Mul Mul log Mul Pow Mul x0 pi x0 3 log Mul Pow Mul x0 pi x0 3 sqrt Add 1 Mul -1 Pow Mul log Mul Pow Mul x0 pi x0 3 log Mul Pow Mul x0 pi x0 3 -1 -1 asech log Mul Pow Mul x0 pi x0 3 