Add -5 Mul x0 Pow acos Add x5 Pow x0 pi Pow Pow asech x0 Pow sec x5 x2 Add cosh x7 x3 
Add Pow acos Add x5 Pow x0 pi Pow Pow asech x0 Pow sec x5 x2 Add cosh x7 x3 Mul x0 Mul Pow acos Add x5 Pow x0 pi Add Pow Pow asech x0 Pow sec x5 x2 Add cosh x7 x3 -1 Add Mul Pow Pow asech x0 Pow sec x5 x2 Add cosh x7 x3 Mul -1 Mul Mul Pow x0 Add pi -1 pi Pow sqrt Add 1 Mul -1 Mul Add x5 Pow x0 pi Add x5 Pow x0 pi -1 Mul Mul acos Add x5 Pow x0 pi log acos Add x5 Pow x0 pi Mul Pow Pow asech x0 Pow sec x5 x2 Add Add cosh x7 x3 -1 Mul Add cosh x7 x3 Mul Pow asech x0 Add Pow sec x5 x2 -1 Mul Pow sec x5 x2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 