Mul x0 Add Mul Mul x0 Pow acosh Mul 2 x5 x0 -0.201357920790331 x0 
Add Add Mul Mul x0 Pow acosh Mul 2 x5 x0 -0.201357920790331 x0 Mul x0 Add Mul -0.201357920790331 Add Pow acosh Mul 2 x5 x0 Mul x0 Mul Pow acosh Mul 2 x5 Add x0 -1 Mul acosh Mul 2 x5 log acosh Mul 2 x5 1 