Add acoth Add x3 x0 sin coth acot Pow pi sech x0 
Add Pow Add 1 Mul -1 Mul Add x3 x0 Add x3 x0 -1 Mul cos coth acot Pow pi sech x0 Mul Mul -1 Pow csch acot Pow pi sech x0 2 Mul -1 Mul Mul Pow pi Add sech x0 -1 Mul Mul pi log pi Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul Pow pi sech x0 Pow pi sech x0 -1 