Add cosh x0 Mul sqrt log Add sinh x0 Pow Pow x0 -1 x1 x0 
Add sinh x0 Add Mul x0 Mul Pow Mul 2 sqrt log Add sinh x0 Pow Pow x0 -1 x1 -1 Mul Add cosh x0 Mul Pow Pow x0 -1 Add x1 -1 Mul x1 Mul Pow x0 2 -1 Pow Add sinh x0 Pow Pow x0 -1 x1 -1 sqrt log Add sinh x0 Pow Pow x0 -1 x1 