Mul Pow Mul atanh x0 Add E x0 Add cosh x0 x1 -2 
Mul -2 Mul Pow Mul atanh x0 Add E x0 Add Add cosh x0 x1 -1 Add Mul Add cosh x0 x1 Add Mul Add E x0 Pow Add 1 Mul -1 Mul x0 x0 -1 atanh x0 Mul Mul Mul atanh x0 Add E x0 log Mul atanh x0 Add E x0 sinh x0 