Add acot Add x7 Add Mul x0 Pow 3 Mul Mul x0 x0 Add acosh x7 2 Pow x0 Mul pi Pow Mul x1 3 x0 0.265802228834080 
Mul -1 Mul Add Add Pow 3 Mul Mul x0 x0 Add acosh x7 2 Mul x0 Mul Pow 3 Add Mul Mul x0 x0 Add acosh x7 2 -1 Mul 4.09861228866811 Mul Add acosh x7 2 Add x0 x0 Mul Pow x0 Add Mul pi Pow Mul x1 3 x0 -1 Add Mul pi Pow Mul x1 3 x0 Mul Mul x0 log x0 Mul pi Mul Pow Mul x1 3 Add x0 -1 Mul Mul x1 3 log Mul x1 3 Pow Add 1 Mul Add x7 Add Mul x0 Pow 3 Mul Mul x0 x0 Add acosh x7 2 Pow x0 Mul pi Pow Mul x1 3 x0 Add x7 Add Mul x0 Pow 3 Mul Mul x0 x0 Add acosh x7 2 Pow x0 Mul pi Pow Mul x1 3 x0 -1 