Mul Add -3 Mul Pow acsch Mul Mul acos x0 x5 3 x0 x0 x0 
Add Mul x0 Add Mul x0 Mul Pow acsch Mul Mul acos x0 x5 3 Add x0 -1 Add Mul x0 Mul Mul -1 Mul 3 Mul x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Mul Mul acos x0 x5 3 Mul Mul acos x0 x5 3 sqrt Add 1 Mul -1 Pow Mul Mul Mul acos x0 x5 3 Mul Mul acos x0 x5 3 -1 -1 Mul acsch Mul Mul acos x0 x5 3 log acsch Mul Mul acos x0 x5 3 Pow acsch Mul Mul acos x0 x5 3 x0 Add -3 Mul Pow acsch Mul Mul acos x0 x5 3 x0 x0 