Pow x4 Add Add Mul x0 3 x5 Mul Pow x0 Mul acot x6 x5 Add x0 x1 
Mul Pow x4 Add Add Add Mul x0 3 x5 Mul Pow x0 Mul acot x6 x5 Add x0 x1 -1 Mul Mul x4 log x4 Add 3 Add Mul Add x0 x1 Mul Pow x0 Add Mul acot x6 x5 -1 Mul acot x6 x5 Pow x0 Mul acot x6 x5 