asech Mul Add x5 Add x0 Add Mul pi Pow x5 x0 x0 acosh x0 
Mul Add Mul acosh x0 Add 1 Add Mul pi Mul Pow x5 Add x0 -1 Mul x5 log x5 1 Mul Add x5 Add x0 Add Mul pi Pow x5 x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul Mul Add x5 Add x0 Add Mul pi Pow x5 x0 x0 acosh x0 Mul Add x5 Add x0 Add Mul pi Pow x5 x0 x0 acosh x0 sqrt Add 1 Mul -1 Pow Mul Mul Add x5 Add x0 Add Mul pi Pow x5 x0 x0 acosh x0 Mul Add x5 Add x0 Add Mul pi Pow x5 x0 x0 acosh x0 -1 -1 