Mul Pow acosh x0 acos Mul x0 Mul -1.00067115040168 x0 Mul Add x0 acsch x0 Pow x7 Mul pi Add pi x0 
Add Mul Mul Add x0 acsch x0 Pow x7 Mul pi Add pi x0 Mul Pow acosh x0 Add acos Mul x0 Mul -1.00067115040168 x0 -1 Add Mul acos Mul x0 Mul -1.00067115040168 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul -1 Mul Add Mul -1.00067115040168 x0 Mul x0 -1.00067115040168 Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul -1.00067115040168 x0 Mul x0 Mul -1.00067115040168 x0 -1 Mul Pow acosh x0 acos Mul x0 Mul -1.00067115040168 x0 Add Mul Pow x7 Mul pi Add pi x0 Add 1 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Add x0 acsch x0 Mul Pow x7 Add Mul pi Add pi x0 -1 Mul Mul x7 log x7 pi 