Pow x2 Mul x0 Pow acot x0 Mul Pow Add exp x0 x0 acos x0 x0 
Mul Pow x2 Add Mul x0 Pow acot x0 Mul Pow Add exp x0 x0 acos x0 x0 -1 Mul Mul x2 log x2 Add Pow acot x0 Mul Pow Add exp x0 x0 acos x0 x0 Mul x0 Mul Pow acot x0 Add Mul Pow Add exp x0 x0 acos x0 x0 -1 Add Mul Mul Pow Add exp x0 x0 acos x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Add Mul x0 Mul Pow Add exp x0 x0 Add acos x0 -1 Add Mul acos x0 Add exp x0 1 Mul Mul Add exp x0 x0 log Add exp x0 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add exp x0 x0 acos x0 