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