Add Pow sech x0 Pow exp x1 acoth Add x0 x0 x0 
Add Mul Pow sech x0 Add Pow exp x1 acoth Add x0 x0 -1 Add Mul Pow exp x1 acoth Add x0 x0 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 Mul Pow exp x1 Add acoth Add x0 x0 -1 Mul Mul exp x1 log exp x1 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 1 