Mul atanh Add cosh x0 x0 Mul x0 Pow x3 sinh x0 
Add Mul Mul x0 Pow x3 sinh x0 Mul Add sinh x0 1 Pow Add 1 Mul -1 Mul Add cosh x0 x0 Add cosh x0 x0 -1 Mul atanh Add cosh x0 x0 Add Pow x3 sinh x0 Mul x0 Mul Pow x3 Add sinh x0 -1 Mul Mul x3 log x3 cosh x0 