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