acot exp Add x0 Mul Pow acot x1 x0 Add x0 x3 
Mul -1 Mul Mul exp Add x0 Mul Pow acot x1 x0 Add x0 x3 Add 1 Add Mul Add x0 x3 Mul Pow acot x1 Add x0 -1 Mul acot x1 log acot x1 Pow acot x1 x0 Pow Add 1 Mul exp Add x0 Mul Pow acot x1 x0 Add x0 x3 exp Add x0 Mul Pow acot x1 x0 Add x0 x3 -1 