atan Pow Pow acot x1 pi Add 0.761594155955765 x0 
Mul Mul Pow Pow acot x1 pi Add Add 0.761594155955765 x0 -1 Mul Pow acot x1 pi log Pow acot x1 pi Pow Add 1 Mul Pow Pow acot x1 pi Add 0.761594155955765 x0 Pow Pow acot x1 pi Add 0.761594155955765 x0 -1 