Add Mul Pow pi Add x0 1 x0 Mul exp Mul cbrt acot Mul 4 x0 Mul x1 sec sin x1 4 
Add Add Mul x0 Mul Pow pi Add Add x0 1 -1 Mul pi log pi Pow pi Add x0 1 Mul 4 Mul exp Mul cbrt acot Mul 4 x0 Mul x1 sec sin x1 Mul Mul x1 sec sin x1 Mul Pow Mul Mul 3 cbrt acot Mul 4 x0 cbrt acot Mul 4 x0 -1 Mul -1 Mul 4 Pow Add 1 Mul Mul 4 x0 Mul 4 x0 -1 