Pow Mul Add acosh x0 Add Add x0 Mul -3 x0 x0 Pow x0 asech log x3 -0.964027580075817 
Mul Pow Mul Add acosh x0 Add Add x0 Mul -3 x0 x0 Pow x0 asech log x3 -1.96402758007582 Mul -0.964027580075817 Add Mul Pow x0 asech log x3 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 3 Mul Add acosh x0 Add Add x0 Mul -3 x0 x0 Mul Pow x0 Add asech log x3 -1 asech log x3 