acot asec Pow x0 Pow x4 Mul -3 sqrt pi 
Mul -1 Mul Mul Mul Pow x0 Add Pow x4 Mul -3 sqrt pi -1 Pow x4 Mul -3 sqrt pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 Pow x4 Mul -3 sqrt pi Pow x0 Pow x4 Mul -3 sqrt pi -1 Pow x0 Pow x4 Mul -3 sqrt pi Pow x0 Pow x4 Mul -3 sqrt pi -1 Pow Add 1 Mul asec Pow x0 Pow x4 Mul -3 sqrt pi asec Pow x0 Pow x4 Mul -3 sqrt pi -1 