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