exp Mul Pow x0 Pow Pow x6 5 atanh x5 sinh Mul x0 exp x0 
Mul exp Mul Pow x0 Pow Pow x6 5 atanh x5 sinh Mul x0 exp x0 Add Mul sinh Mul x0 exp x0 Mul Pow x0 Add Pow Pow x6 5 atanh x5 -1 Pow Pow x6 5 atanh x5 Mul Pow x0 Pow Pow x6 5 atanh x5 Mul cosh Mul x0 exp x0 Add exp x0 Mul x0 exp x0 