Mul sech x0 Add Pow x0 exp acoth Pow Mul 3 acoth E x0 -5 
Add Mul Add Pow x0 exp acoth Pow Mul 3 acoth E x0 -5 Mul tanh x0 Mul -1 sech x0 Mul sech x0 Mul Pow x0 Add exp acoth Pow Mul 3 acoth E x0 -1 Add exp acoth Pow Mul 3 acoth E x0 Mul Mul x0 log x0 Mul exp acoth Pow Mul 3 acoth E x0 Mul Mul Pow Mul 3 acoth E Add x0 -1 Mul Mul 3 acoth E log Mul 3 acoth E Pow Add 1 Mul -1 Mul Pow Mul 3 acoth E x0 Pow Mul 3 acoth E x0 -1 