Mul Add Add x4 Mul x0 Pow x0 x4 Add acosh acosh x0 x0 asech x0 
Add Mul asech x0 Add Add Pow x0 x4 Mul x0 Mul Pow x0 Add x4 -1 x4 Add Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add acosh x0 -1 sqrt Add 1 acosh x0 -1 1 Mul Add Add x4 Mul x0 Pow x0 x4 Add acosh acosh x0 x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 