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