Pow acosh Mul 4 Pow x3 -4 Mul Pow Mul Add x0 x0 x0 -5 -0.247466461547263 
Mul Pow acosh Mul 4 Pow x3 -4 Add Mul Pow Mul Add x0 x0 x0 -5 -0.247466461547263 -1 Mul Mul acosh Mul 4 Pow x3 -4 log acosh Mul 4 Pow x3 -4 Mul -0.247466461547263 Mul Pow Mul Add x0 x0 x0 6 Mul -5 Add Mul x0 2 Add x0 x0 