Add Add acosh acsch x0 Add acsch exp Mul cosh Mul x0 -5 Pow exp x0 x7 Pow acoth Add x0 4 5 x0 
Add Add Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add acsch x0 -1 sqrt Add 1 acsch x0 -1 Add Mul Mul -1 Mul exp Mul cosh Mul x0 -5 Pow exp x0 x7 Add Mul Pow exp x0 x7 Mul sinh Mul x0 -5 -5 Mul cosh Mul x0 -5 Mul Pow exp x0 Add x7 -1 Mul x7 exp x0 Pow Mul Mul exp Mul cosh Mul x0 -5 Pow exp x0 x7 exp Mul cosh Mul x0 -5 Pow exp x0 x7 sqrt Add 1 Mul -1 Pow Mul exp Mul cosh Mul x0 -5 Pow exp x0 x7 exp Mul cosh Mul x0 -5 Pow exp x0 x7 -1 -1 Mul Pow acoth Add x0 4 4 Mul 5 Pow Add 1 Mul -1 Mul Add x0 4 Add x0 4 -1 1 