Mul Pow Pow Mul acoth x0 1.00067115040168 asec Mul x0 Pow 3 pi acoth Add x0 x0 4 
Mul 4 Mul Pow Pow Mul acoth x0 1.00067115040168 asec Mul x0 Pow 3 pi Add acoth Add x0 x0 -1 Add Mul acoth Add x0 x0 Mul Pow Mul acoth x0 1.00067115040168 Add asec Mul x0 Pow 3 pi -1 Add Mul asec Mul x0 Pow 3 pi Mul 1.00067115040168 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul acoth x0 1.00067115040168 log Mul acoth x0 1.00067115040168 Mul Pow 3 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 Pow 3 pi Mul x0 Pow 3 pi -1 Mul x0 Pow 3 pi Mul x0 Pow 3 pi -1 Mul Mul Pow Mul acoth x0 1.00067115040168 asec Mul x0 Pow 3 pi log Pow Mul acoth x0 1.00067115040168 asec Mul x0 Pow 3 pi Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 