Add Pow cosh x0 Mul x0 Pow x0 0.250000000000000 x0 
Add Mul Pow cosh x0 Add Mul x0 Pow x0 0.250000000000000 -1 Add Mul Mul x0 Pow x0 0.250000000000000 sinh x0 Mul Mul cosh x0 log cosh x0 Add Pow x0 0.250000000000000 Mul x0 Mul Pow x0 -0.750000000000000 0.250000000000000 1 