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