Mul atanh Pow csch Add pi x0 x1 x0 
Add Mul x0 Mul Mul Pow csch Add pi x0 Add x1 -1 Mul x1 Mul Mul -1 coth Add pi x0 csch Add pi x0 Pow Add 1 Mul -1 Mul Pow csch Add pi x0 x1 Pow csch Add pi x0 x1 -1 atanh Pow csch Add pi x0 x1 