atanh Add Mul Pow cosh Mul x0 4 2 Mul cbrt x7 Pow x5 Add x0 2 Add x0 x0 
Mul Add Add Mul Mul cbrt x7 Pow x5 Add x0 2 Mul cosh Mul x0 4 Mul 2 Mul sinh Mul x0 4 4 Mul Pow cosh Mul x0 4 2 Mul cbrt x7 Mul Pow x5 Add Add x0 2 -1 Mul x5 log x5 2 Pow Add 1 Mul -1 Mul Add Mul Pow cosh Mul x0 4 2 Mul cbrt x7 Pow x5 Add x0 2 Add x0 x0 Add Mul Pow cosh Mul x0 4 2 Mul cbrt x7 Pow x5 Add x0 2 Add x0 x0 -1 