Mul -2 Pow Pow sqrt x0 x0 atanh Mul Mul -2 x0 Add Mul -2 Add x0 3 3 
Mul -2 Mul Pow Pow sqrt x0 x0 Add atanh Mul Mul -2 x0 Add Mul -2 Add x0 3 3 -1 Add Mul atanh Mul Mul -2 x0 Add Mul -2 Add x0 3 3 Mul Pow sqrt x0 Add x0 -1 Add Mul x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 log sqrt x0 Mul Mul Pow sqrt x0 x0 log Pow sqrt x0 x0 Mul Add Mul Add Mul -2 Add x0 3 3 -2 Mul Mul -2 x0 -2 Pow Add 1 Mul -1 Mul Mul Mul -2 x0 Add Mul -2 Add x0 3 3 Mul Mul -2 x0 Add Mul -2 Add x0 3 3 -1 