Mul x0 sqrt Add Mul acosh sqrt x0 pi -5 
Add sqrt Add Mul acosh sqrt x0 pi -5 Mul x0 Mul Pow Mul 2 sqrt Add Mul acosh sqrt x0 pi -5 -1 Mul pi Mul Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add sqrt x0 -1 sqrt Add 1 sqrt x0 -1 