acot Add -2 Pow x7 Mul Pow exp x0 x0 0.693147180559945 
Mul -1 Mul Mul Pow x7 Add Mul Pow exp x0 x0 0.693147180559945 -1 Mul Mul x7 log x7 Mul 0.693147180559945 Mul Pow exp x0 Add x0 -1 Add Mul x0 exp x0 Mul exp x0 log exp x0 Pow Add 1 Mul Add -2 Pow x7 Mul Pow exp x0 x0 0.693147180559945 Add -2 Pow x7 Mul Pow exp x0 x0 0.693147180559945 -1 