Mul x0 Pow Mul acot asech Mul Add x2 x0 Pow 0.447902185680125 sqrt pi x0 Pow Mul x0 Mul x4 x0 x1 
Add Pow Mul acot asech Mul Add x2 x0 Pow 0.447902185680125 sqrt pi x0 Pow Mul x0 Mul x4 x0 x1 Mul x0 Mul Pow Mul acot asech Mul Add x2 x0 Pow 0.447902185680125 sqrt pi x0 Add Pow Mul x0 Mul x4 x0 x1 -1 Add Mul Pow Mul x0 Mul x4 x0 x1 Add Mul x0 Mul -1 Mul Mul Pow 0.447902185680125 sqrt pi Pow Mul Mul Mul Add x2 x0 Pow 0.447902185680125 sqrt pi Mul Add x2 x0 Pow 0.447902185680125 sqrt pi sqrt Add 1 Mul -1 Pow Mul Mul Add x2 x0 Pow 0.447902185680125 sqrt pi Mul Add x2 x0 Pow 0.447902185680125 sqrt pi -1 -1 Pow Add 1 Mul asech Mul Add x2 x0 Pow 0.447902185680125 sqrt pi asech Mul Add x2 x0 Pow 0.447902185680125 sqrt pi -1 acot asech Mul Add x2 x0 Pow 0.447902185680125 sqrt pi Mul Mul Mul acot asech Mul Add x2 x0 Pow 0.447902185680125 sqrt pi x0 log Mul acot asech Mul Add x2 x0 Pow 0.447902185680125 sqrt pi x0 Mul Pow Mul x0 Mul x4 x0 Add x1 -1 Mul x1 Add Mul x4 x0 Mul x0 x4 