atanh Add Pow Pow -3 x2 cosh x0 x0 
Mul Add Mul Pow Pow -3 x2 Add cosh x0 -1 Mul Mul Pow -3 x2 log Pow -3 x2 sinh x0 1 Pow Add 1 Mul -1 Mul Add Pow Pow -3 x2 cosh x0 x0 Add Pow Pow -3 x2 cosh x0 x0 -1 