Add Mul asech x0 Pow Pow x0 sqrt x0 Mul Add acot Pow Add Mul x0 Mul x0 5 x0 -5 x0 Mul x5 x6 x0 
Add Add Mul Pow Pow x0 sqrt x0 Mul Add acot Pow Add Mul x0 Mul x0 5 x0 -5 x0 Mul x5 x6 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul Pow Pow x0 sqrt x0 Add Mul Add acot Pow Add Mul x0 Mul x0 5 x0 -5 x0 Mul x5 x6 -1 Add Mul Mul Add acot Pow Add Mul x0 Mul x0 5 x0 -5 x0 Mul x5 x6 Mul Pow x0 Add sqrt x0 -1 Add sqrt x0 Mul Mul x0 log x0 Pow Mul 2 sqrt x0 -1 Mul Mul Pow x0 sqrt x0 log Pow x0 sqrt x0 Mul Mul x5 x6 Add Mul -1 Mul Mul Pow Add Mul x0 Mul x0 5 x0 6 Mul -5 Add Add Mul x0 5 Mul x0 5 1 Pow Add 1 Mul Pow Add Mul x0 Mul x0 5 x0 -5 Pow Add Mul x0 Mul x0 5 x0 -5 -1 1 1 