sech acot Pow Add x1 3 acoth x0 
Mul Mul tanh acot Pow Add x1 3 acoth x0 Mul -1 sech acot Pow Add x1 3 acoth x0 Mul -1 Mul Mul Pow Add x1 3 Add acoth x0 -1 Mul Mul Add x1 3 log Add x1 3 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow Add x1 3 acoth x0 Pow Add x1 3 acoth x0 -1 