Mul 3 sinh Add Mul acosh Mul x0 Mul x0 x5 x0 x3 
Mul 3 Mul cosh Add Mul acosh Mul x0 Mul x0 x5 x0 x3 Add Mul x0 Mul Add Mul x0 x5 Mul x0 x5 Pow Mul sqrt Add Mul x0 Mul x0 x5 -1 sqrt Add 1 Mul x0 Mul x0 x5 -1 acosh Mul x0 Mul x0 x5 