atanh Mul 1.82347658193698 Pow Add -2 Mul Pow Mul acot x0 Pow Mul Mul x0 Mul x1 2 x0 5 Add x0 x0 x7 -1 
Mul Mul 1.82347658193698 Mul Pow Add -2 Mul Pow Mul acot x0 Pow Mul Mul x0 Mul x1 2 x0 5 Add x0 x0 x7 2 Mul -1 Mul x7 Mul Pow Mul acot x0 Pow Mul Mul x0 Mul x1 2 x0 5 Add Add x0 x0 -1 Add Mul Add x0 x0 Add Mul Pow Mul Mul x0 Mul x1 2 x0 5 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow Mul Mul x0 Mul x1 2 x0 4 Mul 5 Add Mul x0 Mul x1 2 Mul x0 Mul x1 2 Mul Mul Mul acot x0 Pow Mul Mul x0 Mul x1 2 x0 5 log Mul acot x0 Pow Mul Mul x0 Mul x1 2 x0 5 2 Pow Add 1 Mul -1 Mul Mul 1.82347658193698 Pow Add -2 Mul Pow Mul acot x0 Pow Mul Mul x0 Mul x1 2 x0 5 Add x0 x0 x7 -1 Mul 1.82347658193698 Pow Add -2 Mul Pow Mul acot x0 Pow Mul Mul x0 Mul x1 2 x0 5 Add x0 x0 x7 -1 -1 