Add Mul Pow acosh Mul x1 x3 Mul x0 0.265802228834080 Add E x0 x1 
Add Mul Add E x0 Mul Pow acosh Mul x1 x3 Add Mul x0 0.265802228834080 -1 Mul Mul acosh Mul x1 x3 log acosh Mul x1 x3 0.265802228834080 Pow acosh Mul x1 x3 Mul x0 0.265802228834080 