cot Add Add Add x0 atanh pi Mul sech Add Add x0 sech x1 tanh x1 x0 pi 
Mul Mul -1 Pow csc Add Add Add x0 atanh pi Mul sech Add Add x0 sech x1 tanh x1 x0 pi 2 Add 1 Add Mul x0 Mul tanh Add Add x0 sech x1 tanh x1 Mul -1 sech Add Add x0 sech x1 tanh x1 sech Add Add x0 sech x1 tanh x1 