Mul acot Mul Pow Mul log Add -2 Mul x0 x0 acot asec acsc pi -2 Add x5 x0 Pow x0 4 
Add Mul Pow x0 4 Mul -1 Mul Add Mul Add x5 x0 Mul Pow Mul log Add -2 Mul x0 x0 acot asec acsc pi 3 Mul -2 Mul acot asec acsc pi Mul Add x0 x0 Pow Add -2 Mul x0 x0 -1 Pow Mul log Add -2 Mul x0 x0 acot asec acsc pi -2 Pow Add 1 Mul Mul Pow Mul log Add -2 Mul x0 x0 acot asec acsc pi -2 Add x5 x0 Mul Pow Mul log Add -2 Mul x0 x0 acot asec acsc pi -2 Add x5 x0 -1 Mul acot Mul Pow Mul log Add -2 Mul x0 x0 acot asec acsc pi -2 Add x5 x0 Mul Pow x0 3 4 