Mul x0 Add Pow coth Add x3 -3 Pow x0 sec atanh Add x0 x0 x3 
Add Add Pow coth Add x3 -3 Pow x0 sec atanh Add x0 x0 x3 Mul x0 Mul Pow coth Add x3 -3 Add Pow x0 sec atanh Add x0 x0 -1 Mul Mul coth Add x3 -3 log coth Add x3 -3 Mul Pow x0 Add sec atanh Add x0 x0 -1 Add sec atanh Add x0 x0 Mul Mul x0 log x0 Mul Mul tan atanh Add x0 x0 sec atanh Add x0 x0 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 