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