Add Add Mul x0 Pow Mul x1 Mul Mul 3125 Pow x2 acoth x0 asec x3 x0 -1 tanh x2 
Add Pow Mul x1 Mul Mul 3125 Pow x2 acoth x0 asec x3 x0 Mul x0 Mul Pow Mul x1 Mul Mul 3125 Pow x2 acoth x0 asec x3 Add x0 -1 Add Mul x0 Mul x1 Mul asec x3 Mul 3125 Mul Pow x2 Add acoth x0 -1 Mul Mul x2 log x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x1 Mul Mul 3125 Pow x2 acoth x0 asec x3 log Mul x1 Mul Mul 3125 Pow x2 acoth x0 asec x3 