Mul 3 Pow asinh Mul sinh x0 E x0 
Mul 3 Mul Pow asinh Mul sinh x0 E Add x0 -1 Add Mul x0 Mul Mul E cosh x0 Pow sqrt Add 1 Mul Mul sinh x0 E Mul sinh x0 E -1 Mul asinh Mul sinh x0 E log asinh Mul sinh x0 E 