Add asech Add -5 x0 Mul x0 Add Pow x3 Pow Add Pow acosh x6 x0 x5 -1 x2 
Add Pow Mul Mul Add -5 x0 Add -5 x0 sqrt Add 1 Mul -1 Pow Mul Add -5 x0 Add -5 x0 -1 -1 Add Add Pow x3 Pow Add Pow acosh x6 x0 x5 -1 x2 Mul x0 Mul Pow x3 Add Pow Add Pow acosh x6 x0 x5 -1 -1 Mul Mul x3 log x3 Mul Pow Add Pow acosh x6 x0 x5 2 Mul -1 Mul Pow acosh x6 Add x0 -1 Mul acosh x6 log acosh x6 