Pow Mul x0 acosh Pow Add x0 asech x4 -5 Add 4 Add x0 8 
Mul Pow Mul x0 acosh Pow Add x0 asech x4 -5 Add Add 4 Add x0 8 -1 Add Mul Add 4 Add x0 8 Add acosh Pow Add x0 asech x4 -5 Mul x0 Mul Mul Pow Add x0 asech x4 6 -5 Pow Mul sqrt Add Pow Add x0 asech x4 -5 -1 sqrt Add 1 Pow Add x0 asech x4 -5 -1 Mul Mul x0 acosh Pow Add x0 asech x4 -5 log Mul x0 acosh Pow Add x0 asech x4 -5 