Add Pow Add Mul asec x1 x0 E Mul x0 Add acoth Add x0 x0 pi Add Add x0 x3 x0 
Add Mul Pow Add Mul asec x1 x0 E Add Mul x0 Add acoth Add x0 x0 pi -1 Add Mul Mul x0 Add acoth Add x0 x0 pi asec x1 Mul Mul Add Mul asec x1 x0 E log Add Mul asec x1 x0 E Add Add acoth Add x0 x0 pi Mul x0 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 2 