Add Mul Pow x2 x2 acsc Mul Add pi Pow 3 x0 pi acoth x0 
Add Mul Pow x2 x2 Mul -1 Mul Mul pi Mul Pow 3 Add x0 -1 4.09861228866811 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Add pi Pow 3 x0 pi Mul Add pi Pow 3 x0 pi -1 Mul Add pi Pow 3 x0 pi Mul Add pi Pow 3 x0 pi -1 Pow Add 1 Mul -1 Mul x0 x0 -1 