asinh Add Mul Add x0 5 -4 Add x0 acoth sqrt Add x0 x1 
Mul Add -4 Add 1 Mul Pow Mul 2 sqrt Add x0 x1 -1 Pow Add 1 Mul -1 Mul sqrt Add x0 x1 sqrt Add x0 x1 -1 Pow sqrt Add 1 Mul Add Mul Add x0 5 -4 Add x0 acoth sqrt Add x0 x1 Add Mul Add x0 5 -4 Add x0 acoth sqrt Add x0 x1 -1 