exp Add Pow Mul x1 x0 Add x6 1 Pow acot x6 Add pi Mul x0 x2 
Mul exp Add Pow Mul x1 x0 Add x6 1 Pow acot x6 Add pi Mul x0 x2 Add Mul Pow Mul x1 x0 Add Add x6 1 -1 Mul Add x6 1 x1 Mul Pow acot x6 Add Add pi Mul x0 x2 -1 Mul Mul acot x6 log acot x6 x2 