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