Pow acot Pow x4 2 Mul exp Pow x0 x5 Mul x0 x0 
Mul Pow acot Pow x4 2 Add Mul exp Pow x0 x5 Mul x0 x0 -1 Mul Mul acot Pow x4 2 log acot Pow x4 2 Add Mul Mul x0 x0 Mul exp Pow x0 x5 Mul Pow x0 Add x5 -1 x5 Mul exp Pow x0 x5 Add x0 x0 