atanh Pow cbrt acoth pi Add x1 cbrt x0 
Mul Mul Pow cbrt acoth pi Add Add x1 cbrt x0 -1 Mul Mul cbrt acoth pi log cbrt acoth pi Pow Mul Mul 3 cbrt x0 cbrt x0 -1 Pow Add 1 Mul -1 Mul Pow cbrt acoth pi Add x1 cbrt x0 Pow cbrt acoth pi Add x1 cbrt x0 -1 