atanh Add sin Pow cosh Mul x0 x0 Pow x0 x6 Mul -2 acosh Pow x0 x6 
Mul Add Mul cos Pow cosh Mul x0 x0 Pow x0 x6 Mul Pow cosh Mul x0 x0 Add Pow x0 x6 -1 Add Mul Pow x0 x6 Mul sinh Mul x0 x0 Add x0 x0 Mul Mul cosh Mul x0 x0 log cosh Mul x0 x0 Mul Pow x0 Add x6 -1 x6 Mul -2 Mul Mul Pow x0 Add x6 -1 x6 Pow Mul sqrt Add Pow x0 x6 -1 sqrt Add 1 Pow x0 x6 -1 Pow Add 1 Mul -1 Mul Add sin Pow cosh Mul x0 x0 Pow x0 x6 Mul -2 acosh Pow x0 x6 Add sin Pow cosh Mul x0 x0 Pow x0 x6 Mul -2 acosh Pow x0 x6 -1 