exp Pow atan sinh x0 Add asech Mul 3 Pow x2 -4 x0 
Mul exp Pow atan sinh x0 Add asech Mul 3 Pow x2 -4 x0 Mul Pow atan sinh x0 Add Add asech Mul 3 Pow x2 -4 x0 -1 Add Mul Add asech Mul 3 Pow x2 -4 x0 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 Mul atan sinh x0 log atan sinh x0 