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