Add Pow atanh Pow Pow x0 0.693147180559945 acot Add -1 x0 x2 tan acot x0 
Add Mul Pow atanh Pow Pow x0 0.693147180559945 acot Add -1 x0 Add x2 -1 Mul x2 Mul Mul Pow Pow x0 0.693147180559945 Add acot Add -1 x0 -1 Add Mul acot Add -1 x0 Mul Pow x0 -0.306852819440055 0.693147180559945 Mul Mul Pow x0 0.693147180559945 log Pow x0 0.693147180559945 Mul -1 Pow Add 1 Mul Add -1 x0 Add -1 x0 -1 Pow Add 1 Mul -1 Mul Pow Pow x0 0.693147180559945 acot Add -1 x0 Pow Pow x0 0.693147180559945 acot Add -1 x0 -1 Mul Pow sec acot x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 