Add Mul -3 Pow Pow x0 4 Pow x0 atanh Pow acos x4 2 -5 
Mul -3 Mul Pow Pow x0 4 Add Pow x0 atanh Pow acos x4 2 -1 Add Mul Pow x0 atanh Pow acos x4 2 Mul Pow x0 3 4 Mul Mul Pow x0 4 log Pow x0 4 Mul Pow x0 Add atanh Pow acos x4 2 -1 atanh Pow acos x4 2 