asinh Add x0 Pow cosh acot exp x0 E 
Mul Add 1 Mul Pow cosh acot exp x0 Add E -1 Mul E Mul sinh acot exp x0 Mul -1 Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 Pow sqrt Add 1 Mul Add x0 Pow cosh acot exp x0 E Add x0 Pow cosh acot exp x0 E -1 