Pow Add Pow Add E 1 -2 cot acos x7 atanh Mul Add acos acot x0 Mul -2 x0 x0 
Mul Pow Add Pow Add E 1 -2 cot acos x7 Add atanh Mul Add acos acot x0 Mul -2 x0 x0 -1 Mul Mul Add Pow Add E 1 -2 cot acos x7 log Add Pow Add E 1 -2 cot acos x7 Mul Add Mul x0 Add Mul -1 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acot x0 acot x0 -1 -2 Add acos acot x0 Mul -2 x0 Pow Add 1 Mul -1 Mul Mul Add acos acot x0 Mul -2 x0 x0 Mul Add acos acot x0 Mul -2 x0 x0 -1 