Mul x0 Add Pow acot Add x0 Pow x0 pi atanh x0 Pow sin Add x0 x0 x2 
Add Add Pow acot Add x0 Pow x0 pi atanh x0 Pow sin Add x0 x0 x2 Mul x0 Add Mul Pow acot Add x0 Pow x0 pi Add atanh x0 -1 Add Mul atanh x0 Mul -1 Mul Add 1 Mul Pow x0 Add pi -1 pi Pow Add 1 Mul Add x0 Pow x0 pi Add x0 Pow x0 pi -1 Mul Mul acot Add x0 Pow x0 pi log acot Add x0 Pow x0 pi Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow sin Add x0 x0 Add x2 -1 Mul x2 Mul cos Add x0 x0 2 