Mul x2 Add atanh Mul cosh log Add Mul x0 -2 x0 x0 4 
Mul x2 Mul Add Mul x0 Mul sinh log Add Mul x0 -2 x0 Pow Add Mul x0 -2 x0 -1 cosh log Add Mul x0 -2 x0 Pow Add 1 Mul -1 Mul Mul cosh log Add Mul x0 -2 x0 x0 Mul cosh log Add Mul x0 -2 x0 x0 -1 