Pow atan asech Add Mul Mul Pow Pow x0 acot x3 16 x0 x0 Mul x0 -3 pi 
Mul Pow atan asech Add Mul Mul Pow Pow x0 acot x3 16 x0 x0 Mul x0 -3 Add pi -1 Mul pi Mul Mul Add Add Mul x0 Add Mul x0 Mul Pow Pow x0 acot x3 15 Mul 16 Mul Pow x0 Add acot x3 -1 acot x3 Pow Pow x0 acot x3 16 Mul Pow Pow x0 acot x3 16 x0 -3 Pow Mul Mul Add Mul Mul Pow Pow x0 acot x3 16 x0 x0 Mul x0 -3 Add Mul Mul Pow Pow x0 acot x3 16 x0 x0 Mul x0 -3 sqrt Add 1 Mul -1 Pow Mul Add Mul Mul Pow Pow x0 acot x3 16 x0 x0 Mul x0 -3 Add Mul Mul Pow Pow x0 acot x3 16 x0 x0 Mul x0 -3 -1 -1 Pow Add 1 Mul asech Add Mul Mul Pow Pow x0 acot x3 16 x0 x0 Mul x0 -3 asech Add Mul Mul Pow Pow x0 acot x3 16 x0 x0 Mul x0 -3 -1 