exp acoth Mul asec Pow Mul Add coth x3 Add x0 x6 x3 x0 Add exp Mul 4 Add x0 Mul x5 x0 3 
Mul exp acoth Mul asec Pow Mul Add coth x3 Add x0 x6 x3 x0 Add exp Mul 4 Add x0 Mul x5 x0 3 Mul Add Mul Add exp Mul 4 Add x0 Mul x5 x0 3 Mul Mul Pow Mul Add coth x3 Add x0 x6 x3 Add x0 -1 Add Mul x0 x3 Mul Mul Add coth x3 Add x0 x6 x3 log Mul Add coth x3 Add x0 x6 x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul Add coth x3 Add x0 x6 x3 x0 Pow Mul Add coth x3 Add x0 x6 x3 x0 -1 Pow Mul Add coth x3 Add x0 x6 x3 x0 Pow Mul Add coth x3 Add x0 x6 x3 x0 -1 Mul asec Pow Mul Add coth x3 Add x0 x6 x3 x0 Mul exp Mul 4 Add x0 Mul x5 x0 Mul 4 Add 1 x5 Pow Add 1 Mul -1 Mul Mul asec Pow Mul Add coth x3 Add x0 x6 x3 x0 Add exp Mul 4 Add x0 Mul x5 x0 3 Mul asec Pow Mul Add coth x3 Add x0 x6 x3 x0 Add exp Mul 4 Add x0 Mul x5 x0 3 -1 