Mul 4 sqrt Mul Add x0 x0 Add Pow acosh x0 -3 Pow x0 -3 
Mul 4 Mul Pow Mul 2 sqrt Mul Add x0 x0 Add Pow acosh x0 -3 Pow x0 -3 -1 Add Mul Add Pow acosh x0 -3 Pow x0 -3 2 Mul Add x0 x0 Add Mul Pow acosh x0 4 Mul -3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow x0 4 -3 