acoth Mul Add x0 pi tan Mul Pow pi x1 x0 
Mul Add tan Mul Pow pi x1 x0 Mul Add x0 pi Mul Pow sec Mul Pow pi x1 x0 2 Pow pi x1 Pow Add 1 Mul -1 Mul Mul Add x0 pi tan Mul Pow pi x1 x0 Mul Add x0 pi tan Mul Pow pi x1 x0 -1 