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