acosh Mul Pow x0 -4 84711261846430038194889221472256 
Mul Mul 84711261846430038194889221472256 Mul Pow x0 5 -4 Pow Mul sqrt Add Mul Pow x0 -4 84711261846430038194889221472256 -1 sqrt Add 1 Mul Pow x0 -4 84711261846430038194889221472256 -1 