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