asinh Mul Pow Mul cos coth sqrt E Mul -4 x1 x0 Add x3 -3 
Mul Mul Add x3 -3 Mul Pow Mul cos coth sqrt E Mul -4 x1 Add x0 -1 Mul Mul cos coth sqrt E Mul -4 x1 log Mul cos coth sqrt E Mul -4 x1 Pow sqrt Add 1 Mul Mul Pow Mul cos coth sqrt E Mul -4 x1 x0 Add x3 -3 Mul Pow Mul cos coth sqrt E Mul -4 x1 x0 Add x3 -3 -1 