Mul Pow x0 atanh Pow cosh x5 Mul x0 -2 x5 
Mul x5 Mul Pow x0 Add atanh Pow cosh x5 Mul x0 -2 -1 Add atanh Pow cosh x5 Mul x0 -2 Mul Mul x0 log x0 Mul Mul Pow cosh x5 Add Mul x0 -2 -1 Mul Mul cosh x5 log cosh x5 -2 Pow Add 1 Mul -1 Mul Pow cosh x5 Mul x0 -2 Pow cosh x5 Mul x0 -2 -1 