Add Mul Pow x0 acos E Pow atanh Mul 3 Pow x0 8 x0 Pow x1 x0 
Add Add Mul Pow atanh Mul 3 Pow x0 8 x0 Mul Pow x0 Add acos E -1 acos E Mul Pow x0 acos E Mul Pow atanh Mul 3 Pow x0 8 Add x0 -1 Add Mul x0 Mul Mul 3 Mul Pow x0 7 8 Pow Add 1 Mul -1 Mul Mul 3 Pow x0 8 Mul 3 Pow x0 8 -1 Mul atanh Mul 3 Pow x0 8 log atanh Mul 3 Pow x0 8 Mul Pow x1 Add x0 -1 Mul x1 log x1 