Mul x0 Pow Mul 0.841470984807897 asec coth pi x0 
Add Pow Mul 0.841470984807897 asec coth pi x0 Mul x0 Mul Pow Mul 0.841470984807897 asec coth pi Add x0 -1 Mul Mul 0.841470984807897 asec coth pi log Mul 0.841470984807897 asec coth pi 