Mul Pow x0 Pow 2 acoth x6 Add atan x0 Pow Add x0 sinh acoth Add x0 Mul x7 asec x0 atanh asec x0 
Add Mul Add atan x0 Pow Add x0 sinh acoth Add x0 Mul x7 asec x0 atanh asec x0 Mul Pow x0 Add Pow 2 acoth x6 -1 Pow 2 acoth x6 Mul Pow x0 Pow 2 acoth x6 Add Pow Add 1 Mul x0 x0 -1 Mul Pow Add x0 sinh acoth Add x0 Mul x7 asec x0 Add atanh asec x0 -1 Add Mul atanh asec x0 Add 1 Mul cosh acoth Add x0 Mul x7 asec x0 Mul Add 1 Mul x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul -1 Mul Add x0 Mul x7 asec x0 Add x0 Mul x7 asec x0 -1 Mul Mul Add x0 sinh acoth Add x0 Mul x7 asec x0 log Add x0 sinh acoth Add x0 Mul x7 asec x0 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul -1 Mul asec x0 asec x0 -1 