Mul x0 Pow Mul Pow Pow x6 acoth Mul x0 Pow 1.75674909868689 x0 x1 Mul x3 8 x0 
Add Pow Mul Pow Pow x6 acoth Mul x0 Pow 1.75674909868689 x0 x1 Mul x3 8 x0 Mul x0 Mul Pow Mul Pow Pow x6 acoth Mul x0 Pow 1.75674909868689 x0 x1 Mul x3 8 Add x0 -1 Add Mul x0 Mul Mul x3 8 Mul Pow Pow x6 acoth Mul x0 Pow 1.75674909868689 x0 Add x1 -1 Mul x1 Mul Pow x6 Add acoth Mul x0 Pow 1.75674909868689 x0 -1 Mul Mul x6 log x6 Mul Add Pow 1.75674909868689 x0 Mul x0 Mul Pow 1.75674909868689 Add x0 -1 2.32021409671979 Pow Add 1 Mul -1 Mul Mul x0 Pow 1.75674909868689 x0 Mul x0 Pow 1.75674909868689 x0 -1 Mul Mul Pow Pow x6 acoth Mul x0 Pow 1.75674909868689 x0 x1 Mul x3 8 log Mul Pow Pow x6 acoth Mul x0 Pow 1.75674909868689 x0 x1 Mul x3 8 