Pow acot Add x0 Add x0 x0 Mul Pow sqrt x0 x0 Pow Pow x4 x0 x0 
Mul Pow acot Add x0 Add x0 x0 Add Mul Pow sqrt x0 x0 Pow Pow x4 x0 x0 -1 Add Mul Mul Pow sqrt x0 x0 Pow Pow x4 x0 x0 Mul -1 Mul 3 Pow Add 1 Mul Add x0 Add x0 x0 Add x0 Add x0 x0 -1 Mul Mul acot Add x0 Add x0 x0 log acot Add x0 Add x0 x0 Add Mul Pow Pow x4 x0 x0 Mul Pow sqrt x0 Add x0 -1 Add Mul x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 log sqrt x0 Mul Pow sqrt x0 x0 Mul Pow Pow x4 x0 Add x0 -1 Add Mul x0 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Pow x4 x0 log Pow x4 x0 