Add Add Pow x2 acoth tanh x0 Add Mul x0 x1 Pow x0 sqrt x7 x0 
Add Add Mul Pow x2 Add acoth tanh x0 -1 Mul Mul x2 log x2 Mul Pow sech x0 2 Pow Add 1 Mul -1 Mul tanh x0 tanh x0 -1 Add x1 Mul Pow x0 Add sqrt x7 -1 sqrt x7 1 