acosh Mul sinh x0 Mul x0 Pow Add x0 x0 x1 
Mul Add Mul Mul x0 Pow Add x0 x0 x1 cosh x0 Mul sinh x0 Add Pow Add x0 x0 x1 Mul x0 Mul Pow Add x0 x0 Add x1 -1 Mul x1 2 Pow Mul sqrt Add Mul sinh x0 Mul x0 Pow Add x0 x0 x1 -1 sqrt Add 1 Mul sinh x0 Mul x0 Pow Add x0 x0 x1 -1 