Pow Pow x0 x1 atan Pow Add 3 x0 csch pi 
Mul Pow Pow x0 x1 Add atan Pow Add 3 x0 csch pi -1 Add Mul atan Pow Add 3 x0 csch pi Mul Pow x0 Add x1 -1 x1 Mul Mul Pow x0 x1 log Pow x0 x1 Mul Mul Pow Add 3 x0 Add csch pi -1 csch pi Pow Add 1 Mul Pow Add 3 x0 csch pi Pow Add 3 x0 csch pi -1 