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