Pow exp Add Pow Mul asec x6 Mul Add x0 Mul x6 x0 x0 asin x2 Pow cosh acoth x0 x0 3 
Mul Pow exp Add Pow Mul asec x6 Mul Add x0 Mul x6 x0 x0 asin x2 Pow cosh acoth x0 x0 2 Mul 3 Mul exp Add Pow Mul asec x6 Mul Add x0 Mul x6 x0 x0 asin x2 Pow cosh acoth x0 x0 Add Mul Pow Mul asec x6 Mul Add x0 Mul x6 x0 x0 Add asin x2 -1 Mul asin x2 Mul asec x6 Add Mul x0 Add 1 x6 Add x0 Mul x6 x0 Mul Pow cosh acoth x0 Add x0 -1 Add Mul x0 Mul sinh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul cosh acoth x0 log cosh acoth x0 