atanh Pow Add Pow cosh x0 x0 2 Pow Add Pow acos x1 Add acosh pi Add Pow x0 -4 3 Add x0 x0 x0 
Mul Mul Pow Add Pow cosh x0 x0 2 Add Pow Add Pow acos x1 Add acosh pi Add Pow x0 -4 3 Add x0 x0 x0 -1 Add Mul Pow Add Pow acos x1 Add acosh pi Add Pow x0 -4 3 Add x0 x0 x0 Mul Pow cosh x0 Add x0 -1 Add Mul x0 sinh x0 Mul cosh x0 log cosh x0 Mul Mul Add Pow cosh x0 x0 2 log Add Pow cosh x0 x0 2 Mul Pow Add Pow acos x1 Add acosh pi Add Pow x0 -4 3 Add x0 x0 Add x0 -1 Add Mul x0 Add Mul Pow acos x1 Add Add acosh pi Add Pow x0 -4 3 -1 Mul Mul acos x1 log acos x1 Mul Pow x0 5 -4 2 Mul Add Pow acos x1 Add acosh pi Add Pow x0 -4 3 Add x0 x0 log Add Pow acos x1 Add acosh pi Add Pow x0 -4 3 Add x0 x0 Pow Add 1 Mul -1 Mul Pow Add Pow cosh x0 x0 2 Pow Add Pow acos x1 Add acosh pi Add Pow x0 -4 3 Add x0 x0 x0 Pow Add Pow cosh x0 x0 2 Pow Add Pow acos x1 Add acosh pi Add Pow x0 -4 3 Add x0 x0 x0 -1 