Mul Mul x0 Pow x2 cosh x6 Pow Mul x0 acos x0 8165619676597680 
Add Mul Pow Mul x0 acos x0 8165619676597680 Pow x2 cosh x6 Mul Mul x0 Pow x2 cosh x6 Mul Pow Mul x0 acos x0 8165619676597679 Mul 8165619676597680 Add acos x0 Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 