Add x2 Add 2 asec Mul Pow acoth asech x0 Pow x2 Pow tanh x0 -2 exp x7 
Mul Mul exp x7 Mul Pow acoth asech x0 Add Pow x2 Pow tanh x0 -2 -1 Add Mul Pow x2 Pow tanh x0 -2 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul -1 Mul asech x0 asech x0 -1 Mul Mul acoth asech x0 log acoth asech x0 Mul Pow x2 Add Pow tanh x0 -2 -1 Mul Mul x2 log x2 Mul Pow tanh x0 3 Mul -2 Pow sech x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow acoth asech x0 Pow x2 Pow tanh x0 -2 exp x7 Mul Pow acoth asech x0 Pow x2 Pow tanh x0 -2 exp x7 -1 Mul Pow acoth asech x0 Pow x2 Pow tanh x0 -2 exp x7 Mul Pow acoth asech x0 Pow x2 Pow tanh x0 -2 exp x7 -1 