acoth Pow Pow Add x3 x0 asec E x0 
Mul Mul Pow Pow Add x3 x0 asec E Add x0 -1 Add Mul x0 Mul Pow Add x3 x0 Add asec E -1 asec E Mul Pow Add x3 x0 asec E log Pow Add x3 x0 asec E Pow Add 1 Mul -1 Mul Pow Pow Add x3 x0 asec E x0 Pow Pow Add x3 x0 asec E x0 -1 