Pow Add -5 acsc atanh pi Pow atanh x0 Pow x1 -3 
Mul Pow Add -5 acsc atanh pi Add Pow atanh x0 Pow x1 -3 -1 Mul Mul Add -5 acsc atanh pi log Add -5 acsc atanh pi Mul Pow atanh x0 Add Pow x1 -3 -1 Mul Pow x1 -3 Pow Add 1 Mul -1 Mul x0 x0 -1 