Pow acos Add Pow x1 log acosh x0 Add E Pow x0 Mul -4 x6 asech x5 
Mul Pow acos Add Pow x1 log acosh x0 Add E Pow x0 Mul -4 x6 Add asech x5 -1 Mul asech x5 Mul -1 Mul Add Mul Pow x1 Add log acosh x0 -1 Mul Mul x1 log x1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow acosh x0 -1 Mul Pow x0 Add Mul -4 x6 -1 Mul -4 x6 Pow sqrt Add 1 Mul -1 Mul Add Pow x1 log acosh x0 Add E Pow x0 Mul -4 x6 Add Pow x1 log acosh x0 Add E Pow x0 Mul -4 x6 -1 