atanh Add x0 Pow x3 Mul -2 Mul Add -3 x0 Mul 4 Pow Add x0 Add cosh x0 3 E 
Mul Add 1 Mul Pow x3 Add Mul -2 Mul Add -3 x0 Mul 4 Pow Add x0 Add cosh x0 3 E -1 Mul Mul x3 log x3 Mul -2 Add Mul 4 Pow Add x0 Add cosh x0 3 E Mul Add -3 x0 Mul 4 Mul Pow Add x0 Add cosh x0 3 Add E -1 Mul E Add 1 sinh x0 Pow Add 1 Mul -1 Mul Add x0 Pow x3 Mul -2 Mul Add -3 x0 Mul 4 Pow Add x0 Add cosh x0 3 E Add x0 Pow x3 Mul -2 Mul Add -3 x0 Mul 4 Pow Add x0 Add cosh x0 3 E -1 