log Add x0 Mul x0 atanh Pow Mul x0 x0 cosh x5 
Mul Add 1 Add atanh Pow Mul x0 x0 cosh x5 Mul x0 Mul Mul Pow Mul x0 x0 Add cosh x5 -1 Mul cosh x5 Add x0 x0 Pow Add 1 Mul -1 Mul Pow Mul x0 x0 cosh x5 Pow Mul x0 x0 cosh x5 -1 Pow Add x0 Mul x0 atanh Pow Mul x0 x0 cosh x5 -1 