Mul cosh Mul Pow acos x0 x2 acos Mul E x1 Pow pi cos x5 
Mul Pow pi cos x5 Mul sinh Mul Pow acos x0 x2 acos Mul E x1 Mul acos Mul E x1 Mul Pow acos x0 Add x2 -1 Mul x2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 