Pow Pow x0 -3 Pow cosh Pow sinh x2 4 sqrt x0 
Mul Pow Pow x0 -3 Add Pow cosh Pow sinh x2 4 sqrt x0 -1 Add Mul Pow cosh Pow sinh x2 4 sqrt x0 Mul Pow x0 4 -3 Mul Mul Pow x0 -3 log Pow x0 -3 Mul Pow cosh Pow sinh x2 4 Add sqrt x0 -1 Mul Mul cosh Pow sinh x2 4 log cosh Pow sinh x2 4 Pow Mul 2 sqrt x0 -1 