Mul x1 Add Mul 3 Pow acosh Add acsch Mul x1 5 x5 Mul Mul asec x3 2 x0 -1 
Mul x1 Mul 3 Mul Pow acosh Add acsch Mul x1 5 x5 Add Mul Mul asec x3 2 x0 -1 Mul Mul acosh Add acsch Mul x1 5 x5 log acosh Add acsch Mul x1 5 x5 Mul asec x3 2 