acsch exp Pow atan sinh x0 -3 
Mul Mul -1 Mul exp Pow atan sinh x0 -3 Mul Pow atan sinh x0 4 Mul -3 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 Pow Mul Mul exp Pow atan sinh x0 -3 exp Pow atan sinh x0 -3 sqrt Add 1 Mul -1 Pow Mul exp Pow atan sinh x0 -3 exp Pow atan sinh x0 -3 -1 -1 