Mul Mul Add x1 sinh x0 -3 sinh Mul Add 4 acoth Pow acos x0 -4 atanh Add -4 x0 
Add Mul sinh Mul Add 4 acoth Pow acos x0 -4 atanh Add -4 x0 Mul -3 cosh x0 Mul Mul Add x1 sinh x0 -3 Mul cosh Mul Add 4 acoth Pow acos x0 -4 atanh Add -4 x0 Add Mul atanh Add -4 x0 Mul Mul Pow acos x0 5 Mul -4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow acos x0 -4 Pow acos x0 -4 -1 Mul Add 4 acoth Pow acos x0 -4 Pow Add 1 Mul -1 Mul Add -4 x0 Add -4 x0 -1 