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