Mul Pow Add x0 Pow Mul 2 Pow 2 atanh Mul -4 x0 x6 3 Pow Mul x0 4 Mul Add 5 atanh x0 pi 
Add Mul Pow Mul x0 4 Mul Add 5 atanh x0 pi Mul Pow Add x0 Pow Mul 2 Pow 2 atanh Mul -4 x0 x6 2 Mul 3 Add 1 Mul Pow Mul 2 Pow 2 atanh Mul -4 x0 Add x6 -1 Mul x6 Mul 2 Mul Pow 2 Add atanh Mul -4 x0 -1 Mul 2.69314718055995 Mul -4 Pow Add 1 Mul -1 Mul Mul -4 x0 Mul -4 x0 -1 Mul Pow Add x0 Pow Mul 2 Pow 2 atanh Mul -4 x0 x6 3 Mul Pow Mul x0 4 Add Mul Add 5 atanh x0 pi -1 Add Mul Mul Add 5 atanh x0 pi 4 Mul Mul Mul x0 4 log Mul x0 4 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 