Pow x6 Mul exp Add 4 Mul x1 Mul pi acot Mul Add E x0 5 x4 
Mul Pow x6 Add Mul exp Add 4 Mul x1 Mul pi acot Mul Add E x0 5 x4 -1 Mul Mul x6 log x6 Mul x4 Mul exp Add 4 Mul x1 Mul pi acot Mul Add E x0 5 Mul x1 Mul pi Mul -1 Mul 5 Pow Add 1 Mul Mul Add E x0 5 Mul Add E x0 5 -1 